Rothberger space

In mathematics, a Rothberger space is a topological space that satisfies a certain a basic selection principle. A Rothberger space is a space in which for every sequence of open covers $𝒰_{1}, 𝒰_{2}, \dots$ of the space there are sets $U_{1} \in 𝒰_{1}, U_{2} \in 𝒰_{2}, \dots$ such that the family ${U_{n} : n \in ℕ}$ covers the space.

History

In 1938, Fritz Rothberger introduced his property known as $C^{″}$ .

Characterizations

Combinatorial characterization

For subsets of the real line, the Rothberger property can be characterized using continuous functions into the Baire space $ℕ^{ℕ}$ . A subset $A$ of $ℕ^{ℕ}$ is guessable if there is a function $g \in A$ such that the sets ${n : f (n) = g (n)}$ are infinite for all functions $f \in A$ . A subset of the real line is Rothberger iff every continuous image of that space into the Baire space is guessable. In particular, every subset of the real line of cardinality less than $c o v (ℳ)$ is Rothberger.

Topological game characterization

Let $X$ be a topological space. The Rothberger game $G_{1} (𝐎, 𝐎)$ played on $X$ is a topological game with two players Alice and Bob.

1st round: Alice chooses an open cover $𝒰_{1}$ of $X$ . Bob chooses a set $U_{1} \in 𝒰_{1}$ .

2nd round: Alice chooses an open cover $𝒰_{2}$ of $X$ . Bob chooses a set $U_{2} \in 𝒰_{2}$ .

etc.

If the family ${U_{n} : n \in ℕ}$ is a cover of the space $X$ , then Bob wins the game $G_{1} (𝐎, 𝐎)$ . Otherwise, Alice wins.

A player has a winning strategy if he knows how to play in order to win the game $G_{1} (𝐎, 𝐎)$ (formally, a winning strategy is a function).

A topological space is Rothberger iff Alice has no winning strategy in the game $G_{1} (𝐎, 𝐎)$ played on this space.
Let $X$ be a metric space. Bob has a winning strategy in the game $G_{1} (𝐎, 𝐎)$ played on the space $X$ iff the space $X$ is countable.

Properties

Every countable topological space is Rothberger.
Every Luzin set is Rothberger.
Every Rothberger subset of the real line has strong measure zero.
In the Laver model for the consistency of the Borel conjecture every Rothberger subset of the real line is countable.

References

1 2 3 Rothberger, Fritz (1938-01-01). "Eine Verschärfung der Eigenschaft C". Fundamenta Mathematicae (in German). 30 (1): 50–55. doi:10.4064/fm-30-1-50-55. ISSN 0016-2736.
↑ Bartoszynski, Tomek; Judah, Haim (1995-08-15). Set Theory: On the Structure of the Real Line. Taylor & Francis. ISBN 9781568810447.
1 2 Pawlikowski, Janusz (1994). "Undetermined sets of point-open games". Fundamenta Mathematicae. 144 (3): 279–285. doi:10.4064/fm-144-3-279-285. ISSN 0016-2736.
↑ Scheepers, Marion (1995-01-01). "A direct proof of a theorem of Telgársky". Proceedings of the American Mathematical Society. 123 (11): 3483–3485. doi:10.1090/S0002-9939-1995-1273523-1. ISSN 0002-9939.
↑ Telgársky, Rastislav (1984-06-01). "On games of Topsoe". Mathematica Scandinavica. 54: 170–176. doi:10.7146/math.scand.a-12050. ISSN 1903-1807.

[:1-1] 1 2 3 Rothberger, Fritz (1938-01-01). "Eine Verschärfung der Eigenschaft C". Fundamenta Mathematicae (in German). 30 (1): 50–55. doi:10.4064/fm-30-1-50-55. ISSN 0016-2736.

[2] Bartoszynski, Tomek; Judah, Haim (1995-08-15). Set Theory: On the Structure of the Real Line. Taylor & Francis. ISBN 9781568810447.

[:0-3] 1 2 Pawlikowski, Janusz (1994). "Undetermined sets of point-open games". Fundamenta Mathematicae. 144 (3): 279–285. doi:10.4064/fm-144-3-279-285. ISSN 0016-2736.

[4] Scheepers, Marion (1995-01-01). "A direct proof of a theorem of Telgársky". Proceedings of the American Mathematical Society. 123 (11): 3483–3485. doi:10.1090/S0002-9939-1995-1273523-1. ISSN 0002-9939.

[5] Telgársky, Rastislav (1984-06-01). "On games of Topsoe". Mathematica Scandinavica. 54: 170–176. doi:10.7146/math.scand.a-12050. ISSN 1903-1807.

v t e Topology
Fields	General/Point-set set-theoretic continuum Pointless Algebraic combinatorial homology cohomology homotopy Differential Geometric low-dimensional knot Digital
Key concepts	Open set / Closed set Interior Continuity Space compact connected Hausdorff metric uniform second-countable Homotopy homotopy group fundamental group Simplicial complex CW complex Polyhedral complex Manifold topological smooth Bundle (mathematics) Cobordism
Metrics and properties	Euler characteristic Betti number Winding number Chern number Orientability
Key results	Banach fixed-point theorem De Rham cohomology Invariance of domain Poincaré conjecture Tychonoff's theorem Urysohn's lemma
Category Mathematics portal Wikibook Wikiversity Topics general algebraic geometric Publications