Loading [MathJax]/extensions/MathZoom.js
We extend van Mill-Wattel's results and show that each countably compact completely regular space with a continuous selection on couples is suborderable. The result extends also to pseudocompact spaces if they are either scattered, first countable, or connected. An infinite pseudocompact topological group with such a continuous selection is homeomorphic to the Cantor set. A zero-selection is a selection on the hyperspace of closed sets which chooses always an isolated point of a set. Extending Fujii-Nogura...
In this paper, we continue the study of s-topological and irresolute-topological groups. We define semi-quotient mappings which are stronger than semi-continuous mappings, and then consider semi-quotient spaces and groups. It is proved that for some classes of irresolute-topological groups (G, *, τ) the semi-quotient space G/H is regular. Semi-isomorphisms of s-topological groups are also discussed.
We study conditions under which sequentially continuous functions on topological spaces and sequentially continuous homomorphisms of topological groups are continuous.
In this paper the partially ordered set Conv of all sequential convergences on is investigated, where is either a free lattice ordered group or a free abelian lattice ordered group.
For any a countable sequential topological group of sequential order α is constructed using CH.
A rotoid is a space X with a special point e ∈ X and a homeomorphism F: X² → X² having F(x,x) = (x,e) and F(e,x) = (e,x) for every x ∈ X. If any point of X can be used as the point e, then X is called a strong rotoid. We study some general properties of rotoids and prove that the Sorgenfrey line is a strong rotoid, thereby answering several questions posed by A. V. Arhangel'skii, and we pose further questions.
We show that every subgroup of an -factorizable abelian -group is topologically isomorphic to a closed subgroup of another -factorizable abelian -group. This implies that closed subgroups of -factorizable -groups are not necessarily -factorizable. We also prove that if a Hausdorff space of countable pseudocharacter is a continuous image of a product of -spaces and the space is pseudo--compact, then . In particular, direct products of -factorizable -groups are -factorizable and...
The properties of -factorizable groups and their subgroups are studied. We show that a locally compact group is -factorizable if and only if is -compact. It is proved that a subgroup of an -factorizable group is -factorizable if and only if is -embedded in . Therefore, a subgroup of an -factorizable group need not be -factorizable, and we present a method for constructing non--factorizable dense subgroups of a special class of -factorizable groups. Finally, we construct a closed...
Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [22], [7]. In this paper we present our formalization of this theory in Mizar [6]. First, we compare the notions of the limit of a family indexed by a directed set, or a sequence, in a metric space [30], a real normed linear space [29] and a linear topological space [14] with the concept of the limit of an image filter [16]. Then, following Bourbaki [9], [10] (TG.III, §5.1 Familles sommables...
Currently displaying 1 –
17 of
17