Page 1 Next

Displaying 1 – 20 of 30

Showing per page

Separating by G δ -sets in finite powers of ω₁

Yasushi Hirata, Nobuyuki Kemoto (2003)

Fundamenta Mathematicae

It is known that all subspaces of ω₁² have the property that every pair of disjoint closed sets can be separated by disjoint G δ -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.

Some examples related to colorings

Michael van Hartskamp, Jan van Mill (2000)

Commentationes Mathematicae Universitatis Carolinae

We complement the literature by proving that for a fixed-point free map f : X X the statements (1) f admits a finite functionally closed cover 𝒜 with f [ A ] A = for all A 𝒜 (i.e., a coloring) and (2) β f 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 n 2 we construct a strongly zero-dimensional Tychonov space...

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

Adam St. Arnaud, Piotr Rudnicki (2013)

Formalized Mathematics

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...

Currently displaying 1 – 20 of 30

Page 1 Next