Rational spaces and the property of universality
We give a construction of Wallman-type realcompactifications of a frame by considering regular sub -frames the join of which generates . In particular, we show that the largest such regular sub -frame gives rise to the universal realcompactification of .
It is shown that the existence of a biseparating map between a large class of spaces of vector-valued continuous functions A(X,E) and A(Y,F) implies that some compactifications of X and Y are homeomorphic. In some cases, conditions are given to warrant the existence of a homeomorphism between the realcompactifications of X and Y; in particular we find remarkable differences with respect to the scalar context: namely, if E and F are infinite-dimensional and T: C*(X,E) → C*(Y,F) is a biseparating...
We give a characterization of a paracompact -space to have a -diagonal in terms of three rectangular covers of . Moreover, we show that a local property and a global property of a space are given by the orthocompactness of .
We say that a cardinal function reflects an infinite cardinal , if given a topological space with , there exists with . We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences with...
We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging ω-sequence or a non-trivial converging ω₁-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging ω₁-sequences is first-countable and, in addition,...
Let S(X) denote the set of all closed subsets of a topological space X, and C(X) the set of all continuous mappings f:X → X. A family 𝓐 ⊆ S(X) is called reflexive if there exists ℱ ⊆ C(X) such that 𝓐 = {A ∈ S(X): f(A) ⊆ A for every f ∈ ℱ}. We investigate conditions ensuring that a family of closed subsets is reflexive.
∗ This work was partially supported by the National Foundation for Scientific Researches at the Bulgarian Ministry of Education and Science under contract no. MM-427/94.In this paper the notion of SR-proximity is introduced and in virtue of it some new proximity-type descriptions of the ordered sets of all (up to equivalence) regular, resp. completely regular, resp. locally compact extensions of a topological space are obtained. New proofs of the Smirnov Compactification Theorem [31] and of the...