When finely continuous functions are of the first class of Baire
Theorem. In ZF (i.e., Zermelo-Fraenkel set theory without the axiom of choice) the following conditions are equivalent: (1) is a Lindelöf space, (2) is a Lindelöf space, (3) is a Lindelöf space, (4) every topological space with a countable base is a Lindelöf space, (5) every subspace of is separable, (6) in , a point is in the closure of a set iff there exists a sequence in that converges to , (7) a function is continuous at a point iff is sequentially continuous at , (8)...
Let be a completely regular Hausdorff space and, as usual, let denote the ring of real-valued continuous functions on . The lattice of -ideals of has been shown by Martínez and Zenk (2005) to be a frame. We show that the spectrum of this lattice is (homeomorphic to) precisely when is a -space. This we actually show to be true not only in spaces, but in locales as well. Recall that an ideal of a commutative ring is called a -ideal if whenever two elements have the same annihilator and...
The problem, whether every topological space has a weak compact reflection, was answered by M. Hušek in the negative. Assuming normality, M. Hušek fully characterized the spaces having a weak reflection in compact spaces as the spaces with the finite Wallman remainder. In this paper we prove that the assumption of normality may be omitted. On the other hand, we show that some covering properties kill the weak reflectivity of a noncompact topological space in compact spaces.
Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology . It is known that is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces.