We show that if an uncountable regular cardinal τ and τ + 1 embed in a topological group G as closed subspaces then G is not normal. We also prove that an uncountable regular cardinal cannot be embedded in a torsion free Abelian group that is hereditarily normal. These results are corollaries to our main results about ordinals in topological groups. To state the main results, let τ be an uncountable regular cardinal and G a T₁ topological group. We prove, among others, the following statements:...
We investigate spaces over LOTS (linearly ordered topological spaces). We find natural necessary conditions for linear Lindelöfness of over LOTS. We also characterize countably compact LOTS whose is linearly Lindelöf for each n. Both the necessary conditions and the characterization are given in terms of the topology of the Dedekind completion of a LOTS.
It is shown that every strong space is a -space. In particular, it follows that every paracompact space is a -space.
We investigate how the Lindelöf property of the function space is influenced by slight changes in and/or .
We show that if is first-countable, of countable extent, and a subspace of some ordinal, then is Lindelöf.
The results concern clopen sets in products of topological spaces. It is shown that a clopen subset of the product of two separable metrizable (or locally compact) spaces is not always a union of clopen boxes. It is also proved that any clopen subset of the product of two spaces, one of which is compact, can always be represented as a union of clopen boxes.
We show that if has countable extent and has a zeroset diagonal then is submetrizable. We also make a couple of observations regarding spaces with a regular -diagonal.
We introduce a notion of absolute submetrizability (= ``every Tychonoff subtopology is submetrizable'') and investigate its behavior under basic topological operations. The main result is an example of an absolutely submetrizable space that contains an uncountable set of isolated points (hence the space is neither separable nor hereditarily Lindelöf). This example is used to show that absolute submetrizability is not preserved by some topological operations, in particular, by free sums.
It is shown that if is a first-countable countably compact subspace of ordinals then is Lindelöf. This result is used to construct an example of a countably compact space such that the extent of is less than the Lindelöf number of . This example answers negatively Reznichenko’s question whether Baturov’s theorem holds for countably compact spaces.
It is proved that if a regular space is the union of a finite family of metrizable subspaces then is a -space in the sense of E. van Douwen. It follows that if a regular space of countable extent is the union of a finite collection of metrizable subspaces then is Lindelöf. The proofs are based on a principal result of this paper: every space with a point-countable base is a -space. Some other new results on the properties of spaces which are unions of a finite collection of nice subspaces...
Several topological properties lying between the submetrizability and the -diagonal property are studied. We are mostly interested in their relationship to each other and to the submetrizability. The first example of a Tychonoff space with a regular -diagonal but without a zero-set diagonal is given. The same example shows that a Tychonoff separable space with a regular -diagonal need not be submetrizable. We give a necessary and sufficient condition for submetrizability of a regular separable...
Let be an uncountable regular cardinal and a topological group. We prove the following statements: (1) If is homeomorphic to a closed subspace of , is Abelian, and the order of every non-neutral element of is greater than then embeds in as a closed subspace. (2) If is Abelian, algebraically generated by , and the order of every element does not exceed then is not embeddable in . (3) There exists an Abelian topological group such that is homeomorphic to a closed subspace...
Let be a compact Hausdorff space with a point such that is linearly Lindelöf. Is then first countable at ? What if this is true for every in ? We consider these and some related questions, and obtain partial answers; in particular, we prove that the answer to the second question is “yes” when is, in addition, -monolithic. We also prove that if is compact, Hausdorff, and is strongly discretely Lindelöf, for every in , then is first countable. An example of linearly Lindelöf...
Given a topological property (or a class) , the class dual to (with respect to neighbourhood assignments) consists of spaces such that for any neighbourhood assignment there is with and . The spaces from are called . We continue the study of this duality which constitutes a development of an idea of E. van Douwen used to define -spaces. We prove a number of results on duals of some general classes of spaces establishing, in particular, that any generalized ordered space of countable...
Download Results (CSV)