Semi separation axioms and hyperspaces.
It is known that all subspaces of ω₁² have the property that every pair of disjoint closed sets can be separated by disjoint -sets (see [4]). It has been conjectured that all subspaces of ω₁ⁿ also have this property for each n < ω. We exhibit a subspace of ⟨α,β,γ⟩ ∈ ω₁³: α ≤ β ≤ γ which does not have this property, thus disproving the conjecture. On the other hand, we prove that all subspaces of ⟨α,β,γ⟩ ∈ ω₁³: α < β < γ have this property.
In this note we characterize the c-paracompact and c-collectionwise normal spaces in terms of continuous selections. We include the usual techniques with the required modifications by the cardinality.
We complement the literature by proving that for a fixed-point free map the statements (1) admits a finite functionally closed cover with for all (i.e., a coloring) and (2) is fixed-point free are equivalent. When functionally closed is weakened to closed, we show that normality is sufficient to prove equivalence, and give an example to show it cannot be omitted. We also show that a theorem due to van Mill is sharp: for every we construct a strongly zero-dimensional Tychonov space...
We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of ℝ1 (that is the real line with the usual topology) are Lindel¨of. We utilize this result in the proof that the Sorgenfrey line is Lindel¨of, which is based on the proof found in [8]. Next, we construct the Sorgenfrey plane, as the product topology of the Sorgenfrey line and itself. We prove that the Sorgenfrey plane...