On Urysohn's universal separable metric space
We show that if T is an uncountable Polish space, 𝓧 is a metrizable space and f:T→ 𝓧 is a weakly Baire measurable function, then we can find a meagre set M ⊆ T such that f[T∖M] is a separable space. We also give an example showing that "metrizable" cannot be replaced by "normal".
In this paper, we give some characterizations of metric spaces under weak-open -mappings, which prove that a space is -developable (or Cauchy) if and only if it is a weak-open -image of a metric space.
In the main result, partially answering a question of Telgársky, the following is proven: if X is a first countable R₀-space, then player β (i.e. the EMPTY player) has a winning strategy in the strong Choquet game on X if and only if X contains a nonempty -subspace which is of the first category in itself.
A space is said to be -metrizable if it has a -discrete -base. The behavior of -metrizable spaces under certain types of mappings is studied. In particular we characterize strongly -separable spaces as those which are the image of a -metrizable space under a perfect mapping. Each Tychonoff space can be represented as the image of a -metrizable space under an open continuous mapping. A question posed by Arhangel’skii regarding if a -metrizable topological group must be metrizable receives...
We continue the study of almost--resolvable spaces beginning in A. Tamariz-Mascar’ua, H. Villegas-Rodr’ıguez, Spaces of continuous functions, box products and almost--resoluble spaces, Comment. Math. Univ. Carolin. 43 (2002), no. 4, 687–705. We prove in ZFC: (1) every crowded space with countable tightness and every space with -weight is hereditarily almost--resolvable, (2) every crowded paracompact space which is the closed preimage of a crowded Fréchet space in such a way that the...
We prove that every 3-generalized metric space is metrizable. We also show that for any ʋ with ʋ ≥ 4, not every ʋ-generalized metric space has a compatible symmetric topology.