One more topological equivalent of CH

It is noted that CH is equivalent to the assumption that every dense pseudocompact subspace of c² contains a dense Lindelöf subspace.     

Some aspects of topological descent

The paper deals with (effective) descent morphisms for subfibrations X of the basic fibration Top/X, for topological spaces X and classes of continuous functions stable under pullback. For a category with pullbacks, we prove the stability under pullback of effective -descent morphisms for a class satisfying some suitable conditions. This plays a rôle in relating effective -descent to effective global-descent and enables us to obtain a criterion for effective étale-descent. We also show that the inclusion of the class of effective global-descent maps in the class surjective effective étale-descent is strict.Partial financial support by Centro de Matemática da Universidade de Coimbra is gratefully acknowledged.     

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.     

Expanding topological space,study and applications

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to any fractal family of topological spaces is expanding. In particular, we prove that the more a topological space expands, the finer the topology of its indexed states is. Using multi-homeomorphisms over associated coproduct topological spaces, we define a locally expandable topological space and we prove that a locally expandable topological space has a topological expansion. Specifically, we prove that the fractal manifold is locally expandable and has a topological expansion.     

A note on effective descent morphisms of topological spaces and relational algebras

We formulate two open problems related to and, in a sense, suggested by the Reiterman-Tholen characterization of effective descent morphisms of topological spaces.     

Products of monotonically normal spaces with factors defined by topological games

Recently, it has been proved that orthocompactness implies normality for the products of a monotonically normal space and a compact space. It had been known that normality, collectionwise normality and the shrinking property are equivalent for the same products. We extend these two results for the products replacing the compact factor with a factor defined by topological games. Moreover, we prove the equivalence of orthocompactness and weak suborthocompactness in these products.     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

Fréchetness of inverse limits and products

Let X be a Suslin-Borel set in a compact space. It is proved that X is either σ-scattered or contains a compact perfect set. If X is first countable, the result remains valid when X is a Suslin-Borel set in a Prohorov space. It is also proved that every first countable Prohorov space is a Baire space.     

Weak covering properties and selection principles

No convenient internal characterization of spaces that are productively Lindelöf is known. Perhaps the best general result known is Alster?s internal characterization, under the Continuum Hypothesis, of productively Lindelöf spaces which have a basis of cardinality at most _ℵ1${\aleph }_1$. It turns out that topological spaces having Alster?s property are also productively weakly Lindelöf. The weakly Lindelöf spaces form a much larger class of spaces than the Lindelöf spaces. In many instances spaces having Alster?s property satisfy a seemingly stronger version of Alster?s property and consequently are productively X, where X is a covering property stronger than the Lindelöf property. This paper examines the question: When is it the case that a space that is productively X is also productively Y, where X and Y are covering properties related to the Lindelöf 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.     

Interior operators and topological separation

A notion of separation with respect to an interior operator in topology is introduced and some basic properties are presented. In particular, it is shown that this notion of separation with respect to an interior operator gives rise to a Galois connection between the collection of all subclasses of the class of topological spaces and the collection of all interior operators in topology. Characterizations of the fixed points of this Galois connection are given and examples are provided.     

More generalizations of pseudocompactness

We introduce a covering notion depending on two cardinals, which we call O-[μ,λ]-compactness, and which encompasses both pseudocompactness and many other known generalizations of pseudocompactness. For Tychonoff spaces, pseudocompactness turns out to be equivalent to O-[ω,ω]-compactness.We provide several characterizations of O-[μ,λ]-compactness, and we discuss its connection with D-pseudocompactness, for D an ultrafilter. The connection turns out to be rather strict when the above notions are considered with respect to products. In passing, we provide some conditions equivalent to D-pseudocompactness.Finally, we show that our methods provide a unified treatment both for O-[μ,λ]-compactness and for [μ,λ]-compactness.     

Ordered topological structures

The paper discusses interactions between order and topology on a given set which do not presuppose any separation conditions for either of the two structures, but which lead to the existing notions established by Nachbin in more special situations. We pursue this discussion at the much more general level of lax algebras, so that our categories do not concern just ordered topological spaces, but also sets with two interacting orders, approach spaces with an additional metric, etc.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

Subsequential filters

Following N. Noble, we say that a space is subsequential if it is a subspace of a sequential space. A free filter F on ω is called subsequential if the space ω∪{F} is subsequential. In this paper, we state several properties of these filters.     

Hereditary normality-type properties of hyperspaces

Let X be a Hausdorff topological space and exp(X) be the space of all (nonempty) closed subsets of a space X with the Vietoris topology. We consider hereditary normality-type properties of exp(X). In particular, we prove that if exp(X) is hereditarily D-normal, then X is a metrizable compact space.     

Countably compact hyperspaces and Frolík sums

Let H⁰(X) (H(X)) denote the set of all (nonempty) closed subsets of X endowed with the Vietoris topology. A basic problem concerning H(X) is to characterize those X for which H(X) is countably compact. We conjecture that u-compactness of X for some u∈ω^∗ (or equivalently: all powers of X are countably compact) may be such a characterization. We give some results that point into this direction.We define the property R(κ): for every family of closed subsets of X separated by pairwise disjoint open sets and any family of natural numbers, the product is countably compact, and prove that if H(X) is countably compact for a T₂-space X then X satisfies R(κ) for all κ. A space has R(1) iff all its finite powers are countably compact, so this generalizes a theorem of J. Ginsburg: if X is T₂ and H(X) is countably compact, then so is Xn for all n<ω. We also prove that, for κ<t, if the T₃ space X satisfies a weak form of R(κ), the orbit of every point in X is dense, and X contains κ pairwise disjoint open sets, then Xκ is countably compact. This generalizes the following theorem of J. Cao, T. Nogura, and A. Tomita: if X is T₃, homogeneous, and H(X) is countably compact, then so is Xω.Then we study the Frolík sum (also called “one-point countable-compactification”) of a family . We use the Frolík sum to produce countably compact spaces with additional properties (like first countability) whose hyperspaces are not countably compact. We also prove that any product _∏α<κH⁰(Xα) embeds into .     

Note on initial topologies on rational vector spaces induced by realvalued linear mappings

LetG be a vector space over the field of rational numbers andf, g:G -linear mappings. equipped with the usual norm topology. Denote by _f , _g the initial topologies onG induced byf respectivelyg.Then the following result holds: If there is a nonvoid open setU whose complement contains at least one inner point such thatf ^–1 U _g , then there is ac withf=cg. In particular, iff0, the topologies coincide.Furthermore, a -linear mappingh: (G, _f )(G, _g ) is continuous if and only if there is a real constantc withg ^o h=cf.Dedicated to Professor János Aczél on his 60th birthday     

Maximal elements in topological and generalized metric spaces

In this note, some problems concerning existence of maximal elements in a topological as well as in a generalized metric space, equipped with an ordering, are studied. The results presented here may be considered as a partial refinement of those established in [2] for uniform structures.