The degree of subsequentiality of a subsequential filter

A space is called subsequential if it is a subspace of a sequential space. A free filter F on ω is called subsequential if the space ω∪{F} is subsequential. The purpose of this paper is to introduce the degree of subsequentiality of a subsequential filter in a similar way as it is done in the realm of sequential spaces. A method to produce subsequential filters with arbitrary subsequential degree is given.     

o-Boundedness of free topological groups

Assuming the absence of Q-points (which is consistent with ZFC) we prove that the free topological group F(X) over a Tychonov space X is o-bounded if and only if every continuous metrizable image T of X satisfies the selection principle fin_?(O,Ω) (the latter means that for every sequence 〈un〉_n∈ω of open covers of T there exists a sequence 〈vn〉_n∈ω such that vn∈[un]^<ω and for every F∈[X]^<ω there exists n∈ω with F⊂?vn). This characterization gives a consistent answer to a problem posed by C. Hernándes, D. Robbie, and M. Tkachenko in 2000.     

Examples from trees, related to discrete subsets, pseudo-radiality and ω-boundedness

We construct some examples using trees. Some of them are consistent counterexamples for the discrete reflection of certain topological properties. All the properties dealt with here were already known to be non-discretely reflexive if we assume CH and we show that the same is true assuming the existence of a Suslin tree. In some cases we actually get some ZFC results. We construct also, using a Suslin tree, a compact space that is pseudo-radial but it is not discretely generated. With a similar construction, but using an Aronszajn tree, we present a ZFC space that is first countable, ω-bounded but is not strongly ω-bounded, answering a question of Peter Nyikos.     

Selective separability and its variations

A space X is said to be selectively separable (=M-separable) if for each sequence {Dn:n∈ω} of dense subsets of X, there are finite sets Fn⊂Dn (n∈ω) such that ?{Fn:n∈ω} is dense in X. On selective separability and its variations, we show the following: (1) Selective separability, R-separability and GN-separability are preserved under finite unions; (2) Assuming CH (the continuum hypothesis), there is a countable regular maximal R-separable space X such that X² is not selectively separable; (3) c{0,1} has a selectively separable, countable and dense subset S such that the group generated by S is not selectively separable. These answer some questions posed in Bella et al. (2008) [7].     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Products without remote points

It is shown that ω × Y^ω does not have remote points if Y is a compact space with cellularity larger than ω₁. It is also shown that it is consistent that ω × Y^ω does not have remote points if Y is compact with uncountable cellularity. As an application we construct a compact space with weight ω₂ · c which can be covered by nowhere dense P-sets and a compact space with weight c for which it is independent that it can be covered by nowhere dense P-sets.     

Metrization of Fpp-spaces

A Hausdorff space each subspace of which is a paracompact p-space is an F_pp-space. A space X is a closed hereditary Baire space if each closed subspace of X is a Baire space. Using a delicate theorem of Z. Balogh it is shown that a first-countable F_pp-space that is a closed hereditary Baire space is metrizable.     

On a problem concerning generalizations of realcompact spaces

PF-compact spaces are defined. Every almost realcompact space is PF-compact and every separable PF-compact space is almost realcompact. Nonetheless in the constructible universe V = L, a space of cardinality ?₁ is PF-compact if, and only if, the closure of each of its countable subsets is almost realcompact, and ω₁ is hereditarily PF-compact.     

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.     

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.     

On box products

We prove two theorems about box products. The first theorem says that the box product of countable spaces is pseudonormal, i.e. any two disjoint closed sets one of which is countable can be separated by open sets. The second theorem says that assuming CH a certain uncountable box product is normal (i.e. <_ω1?□_α<ω1X_α where each Xα is a compact metric space).     

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 isometrically universal spaces, mappings, and actions of groups

In this paper we first consider some well-known classes of separable metric spaces which are isometrically ω-saturated (see [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Mathematics Studies, vol. 198, Elsevier, 2005, xvi+559]) and, therefore, contain isometrically universal spaces. We put some problems concerning such spaces most of which are related with the properties of the isometrically universal Urysohn space. Furthermore, using the defined notions of isometrically universal mappings and G-spaces (which are analogies of the notion of isometrically universal spaces) we introduce the notions of an isometrically ω-saturated class of mappings and an isometrically ω-saturated class of G-spaces (in which there are “many” isometrically universal elements). We prove that all results of Sections 6.1 and 7.1 of [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Mathematics Studies, vol. 198, Elsevier, 2005, xvi+559] can be reformulated for isometrically ω-saturated classes of spaces and G-spaces, respectively. In particular, we prove that if D and R are isometrically ω-saturated classes of spaces, then the class of all mappings with the domain in D and range in R is an isometrically ω-saturated class of mappings and, therefore, in this class there are isometrically universal elements. As a corollary of this result we have that since the class of all mappings is isometrically ω-saturated, in this class there are isometrically universal mappings. Similarly, if G is an arbitrary separable metric group and P is an isometrically ω-saturated class of spaces, then the class of all G-spaces (X,F), where X is an element of P, is an isometrically ω-saturated class of G-spaces and, therefore, in this class there are isometrically universal elements. In particular, for any separable metric group G, in the class of all G-spaces there are isometrically universal G-spaces. We also pose some problems concerning isometrically universal mappings and G-spaces some of which concern the Urysohn space.     

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.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

Embedding paratopological groups into topological products

We show that a Hausdorff paratopological group G admits a topological embedding as a subgroup into a topological product of Hausdorff first-countable (second-countable) paratopological groups if and only if G is ω-balanced (totally ω-narrow) and the Hausdorff number of G is countable, i.e., for every neighbourhood U of the neutral element e of G there exists a countable family γ of neighbourhoods of e such that _?V∈γVV−1⊆U. Similarly, we prove that a regular paratopological group G can be topologically embedded as a subgroup into a topological product of regular first-countable (second-countable) paratopological groups if and only if G is ω-balanced (totally ω-narrow) and the index of regularity of G is countable.As a by-product, we show that a regular totally ω-narrow paratopological group with countable index of regularity is Tychonoff.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.