Lindelöf spaces which are indestructible, productive, or D

We discuss relationships in Lindelöf spaces among the properties “indestructible”, “productive”, “D”, and related properties.     

Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or D

We discuss relationships in Lindelöf spaces among the properties “Menger”, “Hurewicz”, “Alster”, “productive”, and “D”.     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

An extension theorem for D-normal spaces

A second countable developable T₁-space $\text{D}$₁ is defined which has the following properties: (1) $\text{D}$₁ is an absolute extensor for the class of perfect spaces. (2) $\text{D}$₁^?₀ is a universal space for second countable developable T₁-spaces.     

On metric spaces with the Haver property which are Menger spaces

A metric space (X,d) has the Haver property if for each sequence ?₁,?₂,… of positive numbers there exist disjoint open collections V₁,V₂,… of open subsets of X, with diameters of members of Vi less than ?i and covering X, and the Menger property is a classical covering counterpart to σ-compactness. We show that, under Martin's Axiom MA, the metric square (X,d)×(X,d) of a separable metric space with the Haver property can fail this property, even if X² is a Menger space, and that there is a separable normed linear Menger space M such that (M,d) has the Haver property for every translation invariant metric d generating the topology of M, but not for every metric generating the topology. These results answer some questions by L. Babinkostova [L. Babinkostova, When does the Haver property imply selective screenability? Topology Appl. 154 (2007) 1971-1979; L. Babinkostova, Selective screenability in topological groups, Topology Appl. 156 (1) (2008) 2-9].     

Minimal KC spaces are compact

We show that every KC space (X,τ), such that τ is minimal among the KC topologies on X, must be compact (not necessarily T₂). This solves a long-standing question, first raised by R. Larson in 1973.     

The D-property of some Lindelöf spaces and related conclusions

It is shown that the space Cp(τω) is a D-space for any ordinal number τ, where . This conclusion gives a positive answer to R.Z. Buzyakova's question. We also prove that another special example of Lindelöf space is a D-space. We discuss the D-property of spaces with point-countable weak bases. We prove that if a space X has a point-countable weak base, then X is a D-space. By this conclusion and one of T. Hoshina's conclusion, we have that if X is a countably compact space with a point-countable weak base, then X is a compact metrizable space. In the last part, we show that if a space X is a finite union of θ-refinable spaces, then X is a αD-space.     

On some questions about KC and related spaces

Answering questions raised by O.T. Alas and R.G. Wilson, or by these two authors together with M.G. Tkachenko and V.V. Tkachuk, we show that every minimal SC space must be sequentially compact, and we produce the following examples:

-

a KC space which cannot be embedded in any compact KC space;

-

a countable KC space which does not admit any coarser compact KC topology;

-

a minimal Hausdorff space which is not a k-space.

We also give an example of a compact KC space such that every nonempty open subset of it is dense, even if, as pointed out to us by the referee, a completely different construction carried out by E.K. van Douwen in 1993 leads to a space with the same properties.     

D-spaces and thick covers

The following results are obtained.

-

An open neighbornet U of X has a closed discrete kernel if X has an almost thick cover by countably U-close sets.

-

Every hereditarily thickly covered space is aD and linearly D.

-

Every t-metrizable space is a D-space.

-

X is a D-space if X has a cover {Xα:α<λ} by D-subspaces such that, for each β<λ, the set ?{Xα:α<β} is closed.

     

A note on D-spaces

We introduce notions of nearly good relations and N-sticky modulo a relation as tools for proving that spaces are D-spaces. As a corollary to general results about such relations, we show that Cp(X) is hereditarily a D-space whenever X is a Lindelöf Σ-space. This answers a question of Matveev, and improves a result of Buzyakova, who proved the same result for X compact.We also prove that if a space X is the union of finitely many D-spaces, and has countable extent, then X is linearly Lindelöf. It follows that if X is in addition countably compact, then X must be compact. We also show that Corson compact spaces are hereditarily D-spaces. These last two results answer recent questions of Arhangel'skii. Finally, we answer a question of van Douwen by showing that a perfectly normal collectionwise-normal non-paracompact space constructed by R. Pol is a D-space.     

A note on D-spaces

We show that every regular T₁ submeta-Lindelöf space of cardinality ω₁ is D under MA+¬CH, which answers a question posed by Gruenhage (2011) [9]. Borges (1991) [5] asked if every monotonically normal paracompact space is a D-space, we give a characterization of paracompactness for monotonically normal spaces, which may be of some use in solving this problem.     

Monolithic spaces and D-spaces revisited

We introduce the classes of monotonically monolithic and strongly monotonically monolithic spaces. They turn out to be reasonably large and with some nice categorical properties. We prove, in particular, that any strongly monotonically monolithic countably compact space is metrizable and any monotonically monolithic space is a hereditary D-space. We show that some classes of monolithic spaces which were earlier proved to be contained in the class of D-spaces are monotonically monolithic. In particular, Cp(X) is monotonically monolithic for any Lindelöf Σ-space X. This gives a broader view of the results of Buzyakova and Gruenhage on hereditary D-property in function spaces.     

On spaces which are linearly D

We introduce a generalization of D-spaces, which we call linearly D-spaces. The following results are obtained for a T₁-space X.

– X is linearly Lindelöf if, and only if, X is a linearly D-space of countable extent.

– X is linearly D provided that X is submetaLindelöf.

– X is linearly D provided that X is the union of finitely many linearly D-subspaces.

– X is compact provided that X is countably compact and X is the union of countably many linearly D-subspaces.

On selections and classes of spaces

Strong paracompactness, Lindelöf number and degree of compactness are characterized in terms of selections of set-valued mappings.     

Characterizations of spaces by embeddings in βX

In this paper we obtain characterizations of metrizable spaces, paracompact M-spaces, Moore spaces and semimetrizable spaces in terms of the way those spaces are embedded in their Stone-?ech compactification. In addition, we give an internal characterization of paracompact M-spaces which we use in the proof of the embedding characterization.     

Paracompactness of paratopological groups which are GO-spaces

Let G be a paratopological group which is a GO-space. We have showed that if the multiplication in G preserves the order on G, then G is paracompact.     

Topological characterizations of linearly uniformizable spaces

The spaces having uniformities with a totally ordered base are characterized in bigger classes of non-archimedean spaces and suborderable spaces. Consequently, several new metrization results are obtained. By examples, we show that the conditions used in our main theorem cannot be weakened essentially. Our examples may be interesting elsewhere, too.     

On sieve-complete and compact-like spaces

It is shown that a completely regular space X is sieve-complete (or, equivalenty, X is the open image of a paracompact ?ech-complete space) iff βX?X is compact-like, i.e., Player I has a winning strategy in the topological game G(C, βX?X) of [13].