A first countable linearly Lindelöf not Lindelöf topological space

A topological space X is called linearly Lindelöf if every increasing open cover of X has a countable subcover. It is well known that every Lindelöf space is linearly Lindelöf. The converse implication holds only in particular cases, such as X being countably paracompact or if nw(X)<ℵω.Arhangel?skii and Buzyakova proved that the cardinality of a first countable linearly Lindelöf space does not exceed ℵ₀². Consequently, a first countable linearly Lindelöf space is Lindelöf if ℵω>ℵ₀². They asked whether every linearly Lindelöf first countable space is Lindelöf in ZFC. This question is supported by the fact that all known linearly Lindelöf not Lindelöf spaces are of character at least ℵω. We answer this question in the negative by constructing a counterexample from MA+ℵω<ℵ₀².A modification of Alster?s Michael space that is first countable is presented.     

Nagata's conjecture and countably compact hulls in generic extensions

Nagata conjectured that every M-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. Although this conjecture was refuted by Burke and van Douwen, and A. Kato, independently, but we can show that there is a c.c.c. poset P of size ω² such that in VP Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space X∈V is an M-space in VP then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in VP). By a result of Morita, it is enough to show that every first countable regular space from the ground model has a first countable countably compact extension in VP. As a corollary, we also obtain that every first countable regular space from the ground model has a maximal first countable extension in model VP.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.     

Sacks forcing and the total failure of Martin's Axiom

Using side-by-side Sacks forcing, it is proved relatively consistent that the continuum is large and Martin's Axiom fails totally, that is, every c.c.c. space is the union of ?₁ nowhere dense sets (equivelently, if P is a nontrivial partial ordering with the countable chain condition, then there are ?₁ dense sets in P such that no filter in P meets them all).     

On topological spaces of singular density and minimal weight

We introduce a weakening of the generalized continuum hypothesis, which we will refer to as the prevalent singular cardinals hypothesis, and show it implies that every topological space of density and weight ℵω₁ is not hereditarily Lindelöf.The assumption PSH is very weak, and in fact holds in all currently known models of ZFC.     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

A note on monotonically metacompact spaces

We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO) spaces. We show, for example, that a generalized ordered space with a σ-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S.G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact.     

On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.

     

The cardinal characteristic for relative γ-sets

For X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X which is not a relative γ-set in X, i.e., there exists an ω-cover of X with no γ-subcover of Z. We give a characterization of p(ω²) and p(ωω) in terms of definable free filters on ω which is related to the pseudo-intersection number p. We show that for every uncountable standard analytic space X that either p(X)=p(ω²) or p(X)=p(ωω). We show that the following statements are each relatively consistent with ZFC: (a) p=p(ωω)<p(ω²) and (b) p<p(ωω)=p(ω²)     

Set-theoretic constructions of nonshrinking open covers

A family {M_α|α?A} is a shrinking of a cover {O_α|α?A} of a topological space if {M_α|α?A} also covers and M_α?O_α for all α?A.?⁺⁺ implies that there is a normal space such that every increasing open cover of it has a clopen shrinking but there is an open cover having no closed shrinking.? implies that there is a P-space (i.e. a space having a normal product with every metric space), which has an increasing open cover having no closed shrinking. This space is used in [17] to show that any space which has a normal product with every P-space is metrizable.     

The orderability of nonarchimedean spaces

Let X be a nonarchimedean space and C be the union of all compact open subsets of X. The following conditions are listed in increasing order of generality. (Conditions 2 and 3 are equivalent.) 1. X is perfect; 2. C is an F_σ in X; 3. C? is metrizable; 4. X is orderable. It is also shown that X is orderable if $\text{C}\text{?}\text{?C}$ is scattered or X is a GO space with countably many pseudogaps. An example is given of a non-orderable, totally disconnected, GO space with just one pseudogap.     

More on perfectly normal non-realcompact spaces

We use the space associated with a guessing sequence on ω₁ to show that it is consistent with CH that there exists a locally countable, first-countable, locally compact, perfectly normal, non-realcompact space of size ℵ₁ which does not contain any sub-Ostaszewski spaces. By a similar technique, it is shown to be consistent with that there exists a locally countable, first-countable, perfectly normal, non-realcompact space of size ℵ₁.     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

Normality in products with a countable factor

The class of normal spaces that have normal product with every countable space is considered. A countably compact normal space X and a countable Y such that X×Y is not normal is constructed assuming CH. Also, ? is used to construct a perfectly normal countably compact X and a countable Y such that X×Y is not normal. The question whether a Dowker space can have normal product with itself is considered. It is shown that if X is Dowker and contains any countable non-discrete subspace, then X² is not normal. It follows that a product of a Dowker space and a countable space is normal if and only if the countable space is discrete. If X is Rudin's ZFC Dowker space, then X² is normal. An example of a Dowker space of cardinality ℵ₂ with normal square is constructed assuming .     

On some classes of Lindelöf Σ-spaces

We consider special subclasses of the class of Lindelöf Σ-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space X is in the class LΣ(?κ) if it admits a cover by compact subspaces of weight κ and a countable network for the cover. We restrict our attention to κ?ω. In the case κ=ω, the class includes the class of metrizably fibered spaces considered by Tkachuk, and the P-approximable spaces considered by Tka?enko. The case κ=1 corresponds to the spaces of countable network weight, but even the case κ=2 gives rise to a nontrivial class of spaces. The relation of known classes of compact spaces to these classes is considered. It is shown that not every Corson compact of weight ℵ₁ is in the class LΣ(?ω), answering a question of Tkachuk. As well, we study whether certain compact spaces in LΣ(?ω) have dense metrizable subspaces, partially answering a question of Tka?enko. Other interesting results and examples are obtained, and we conclude the paper with a number of open questions.     

How many miles to βX? II — Approximations to βX versus cofinal types of sets of metrics

Kada, Tomoyasu and Yoshinobu proved that the Stone-?ech compactification of a locally compact separable metrizable space is approximated by the collection of d-many Smirnov compactifications, where d is the dominating number. By refining the proof of this result, we will show that the collection of compatible metrics on a locally compact separable metrizable space has the same cofinal type, in the sense of Tukey relation, as the set of functions from ω to ω with respect to eventually dominating order.     

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].     

Some generalizations of the concept of a p-space

In this article, some generalizations of the concept of a p-space are introduced and studied. The notion of a source of a space in a larger space and the concepts of partial plumage, s-embedding, p-embedding, p^?-embedding, s-space, and p^?-space are defined and studied in depth (see Theorems 2.6, 2.7, 3.2, 4.3, 4.4, 4.10 and their corollaries). An example of a hereditarily p^?-space which is not a p-space and is a perfect image of a hereditarily p-space is indicated (Example 2.9). Among the main results, we establish that if a paracompact space X is p-embedded in a pseudocompact space as a dense subspace, then X is a p-space (Corollary 4.8), and that if X has a countable network and is p^?-embedded in a pseudocompact space, then X is metrizable (Corollary 4.11). The following problem is posed: is every paracompact Gδ-subspace of a pseudocompact space ?ech-complete?     

Tychonoff expansions with prescribed resolvability properties

The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) [3] and to Comfort and García-Ferreira (2001) [5]: (1) Is every ω-resolvable space maximally resolvable? (2) Is every maximally resolvable space extraresolvable? Now using the method of KID expansion, the authors show that every suitably restricted Tychonoff topological space (X,T) admits a larger Tychonoff topology (that is, an “expansion”) witnessing such failure. Specifically the authors show in ZFC that if (X,T) is a maximally resolvable Tychonoff space with S(X,T)?Δ(X,T)=κ, then (X,T) has Tychonoff expansions U=Ui (1?i?5), with Δ(X,Ui)=Δ(X,T) and S(X,Ui)?Δ(X,Ui), such that (X,Ui) is: (i=1) ω-resolvable but not maximally resolvable; (i=2) [if κ^′ is regular, with S(X,T)?κ^′?κ] τ-resolvable for all τ<κ^′, but not κ^′-resolvable; (i=3) maximally resolvable, but not extraresolvable; (i=4) extraresolvable, but not maximally resolvable; (i=5) maximally resolvable and extraresolvable, but not strongly extraresolvable.