Some strong versions of the Fréchet-Urysohn property are introduced and studied. We also strengthen the concept of countable tightness and generalize the notions of first-countability and countable base. A construction of a topological space is described which results, in particular, in a Tychonoff countable Fréchet-Urysohn space which is not first-countable at any point. It is shown that this space can be represented as the image of a countable metrizable space under a continuous pseudoopen mapping....
It is established that a remainder of a non-locally compact topological group has the Baire property if and only if the space is not Čech-complete. We also show that if is a non-locally compact topological group of countable tightness, then either is submetrizable, or is the Čech-Stone remainder of an arbitrary remainder of . It follows that if and are non-submetrizable topological groups of countable tightness such that some remainders of and are homeomorphic, then the spaces...
We prove a Dichotomy Theorem: for each Hausdorff compactification of an arbitrary topological group , the remainder is either pseudocompact or Lindelöf. It follows that if a remainder of a topological group is paracompact or Dieudonne complete, then the remainder is Lindelöf, and the group is a paracompact -space. This answers a question in A.V. Arhangel’skii, , Moscow Univ. Math. Bull. 54:3 (1999), 1–6. It is shown that every Tychonoff space can be embedded as a closed subspace in a pseudocompact...
Given a space , its -subsets form a basis of a new space , called the -modification of . We study how the assumption that the -modification is homogeneous influences properties of . If is first countable, then is discrete and, hence, homogeneous. Thus, is much more often homogeneous than itself. We prove that if is a compact Hausdorff space of countable tightness such that the -modification of is homogeneous, then the weight of does not exceed (Theorem 1). We also establish...
The following general question is considered. Suppose that is a topological group, and , are subspaces of such that . Under these general assumptions, how are the properties of and related to the properties of ? For example, it is observed that if is closed metrizable and is compact, then is a paracompact -space. Furthermore, if is closed and first countable, is a first countable compactum, and , then is also metrizable. Several other results of this kind are obtained....
We study topological spaces that can be represented as the union of a finite collection of dense metrizable subspaces. The assumption that the subspaces are dense in the union plays a crucial role below. In particular, Example 3.1 shows that a paracompact space which is the union of two dense metrizable subspaces need not be a -space. However, if a normal space is the union of a finite family of dense subspaces each of which is metrizable by a complete metric, then is also metrizable by...
The class of -spaces is studied in detail. It includes, in particular, all Čech-complete spaces, Lindelöf -spaces, metrizable spaces with the weight , but countable non-metrizable spaces and some metrizable spaces are not in it. It is shown that -spaces are in a duality with Lindelöf -spaces: is an -space if and only if some (every) remainder of in a compactification is a Lindelöf -space [Arhangel’skii A.V., Remainders of metrizable and close to metrizable spaces, Fund. Math. 220 (2013),...
It is shown that there exists a -compact topological group which cannot be represented as a continuous image of a Lindelöf -group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf -groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space is a continuous image of a Lindelöf -group, then there exists a covering of by dyadic compacta such that . We also show that if a homogeneous compact space is a continuous...
Starting with a very simple proof of Frol’ık’s theorem on homeomorphisms of extremally disconnected spaces, we show how this theorem implies a well known result of Malychin: that every extremally disconnected topological group contains an open and closed subgroup, consisting of elements of order . We also apply Frol’ık’s theorem to obtain some further theorems on the structure of extremally disconnected topological groups and of semitopological groups with continuous inverse. In particular, every...
Relative versions of many important theorems on cardinal invariants of topological spaces are formulated and proved on the basis of a general technical result, which provides an algorithm for such proofs. New relative cardinal invariants are defined, and open problems are discussed.
A well known theorem of W.W. Comfort and K.A. Ross, stating that every pseudocompact group is -embedded in its Weil completion [5] (which is a compact group), is extended to some new classes of topological groups, and the proofs are very transparent, short and elementary (the key role in the proofs belongs to Lemmas 1.1 and 4.1). In particular, we introduce a new notion of canonical uniform tightness of a topological group and prove that every -dense subspace of a topological group , such...
We show that there exists an Abelian topological group such that the operations in cannot be extended to the Dieudonné completion of the space in such a way that becomes a topological subgroup of the topological group . This provides a complete answer to a question of V.G. Pestov and M.G. Tkačenko, dating back to 1985. We also identify new large classes of topological groups for which such an extension is possible. The technique developed also allows to find many new solutions to the...
We define two natural normality type properties, -normality and -normality, and compare these notions to normality. A natural weakening of Jones Lemma immediately leads to generalizations of some important results on normal spaces. We observe that every -normal, pseudocompact space is countably compact, and show that if is a dense subspace of a product of metrizable spaces, then is normal if and only if is -normal. All hereditarily separable spaces are -normal. A space is normal if and...
Download Results (CSV)