Jump to content

Hurewicz space

From Wikipedia, the free encyclopedia

In mathematics, a Hurewicz space is a topological space that satisfies a certain basic selection principle that generalizes σ-compactness. A Hurewicz space is a space in which for every sequence of open covers of the space there are finite sets such that every point of the space belongs to all but finitely many sets .

History

[edit]

In 1926, Witold Hurewicz[1] introduced the above property of topological spaces that is formally stronger than the Menger property. He didn't know whether Menger's conjecture is true, and whether his property is strictly stronger than the Menger property, but he conjectured that in the class of metric spaces his property is equivalent to -compactness.

Hurewicz's conjecture

[edit]

Hurewicz conjectured that in ZFC every Hurewicz metric space is σ-compact. Just, Miller, Scheepers, and Szeptycki[2] proved that Hurewicz's conjecture is false, by showing that there is, in ZFC, a set of real numbers that is Menger but not σ-compact. Their proof was dichotomic, and the set witnessing the failure of the conjecture heavily depends on whether a certain (undecidable) axiom holds or not.

Bartoszyński and Shelah[3] (see also Tsaban's solution based on their work [4] ) gave a uniform ZFC example of a Hurewicz subset of the real line that is not σ-compact.

Hurewicz's problem

[edit]

Hurewicz asked whether in ZFC his property is strictly stronger than the Menger property. In 2002, Chaber and Pol in unpublished note, using dichotomy proof, showed that there is a Hurewicz subset of the real line that is not Menger. In 2008, Tsaban and Zdomskyy[5] gave a uniform example of a Hurewicz subset of the real line that is Menger but not Hurewicz.

Characterizations

[edit]

Combinatorial characterization

[edit]

For subsets of the real line, the Hurewicz property can be characterized using continuous functions into the Baire space . For functions , write if for all but finitely many natural numbers . A subset of is bounded if there is a function such that for all functions . A subset of is unbounded if it is not bounded. Hurewicz proved that a subset of the real line is Hurewicz iff every continuous image of that space into the Baire space is unbounded. In particular, every subset of the real line of cardinality less than the bounding number is Hurewicz.

Topological game characterization

[edit]

Let be a topological space. The Hurewicz game played on is a game with two players Alice and Bob.

1st round: Alice chooses an open cover of . Bob chooses a finite set .

2nd round: Alice chooses an open cover of . Bob chooses a finite set .

etc.

If every point of the space belongs to all but finitely many sets , then Bob wins the Hurewicz game. Otherwise, Alice wins.

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

A topological space is Hurewicz iff Alice has no winning strategy in the Hurewicz game played on this space.[6]

-neighborhood characterization

[edit]

A Tychonoff space is Hurewicz iff for every compact space containing the space , and a subset G of containing the space , there is a -compact set with .[2]

Properties

[edit]
  • Every compact, and even σ-compact, space is Hurewicz.
  • Every Hurewicz space is a Menger space, and thus it is a Lindelöf space
  • Continuous image of a Hurewicz space is Hurewicz
  • The Hurewicz property is closed under taking subsets
  • Hurewicz's property characterizes filters whose Mathias forcing notion does not add unbounded functions.[7]

References

[edit]
  1. ^ Hurewicz, Witold (1926). "Über eine Verallgemeinerung des Borelschen Theorems". Mathematische Zeitschrift (in German). 24 (1): 401–421. doi:10.1007/BF01216792. ISSN 0025-5874. S2CID 119867793.
  2. ^ a b Just, Winfried; Miller, Arnold W.; Scheepers, Marion; Szeptycki, Paul J. (1996-11-11). "The combinatorics of open covers II". Topology and Its Applications. 73 (3): 241–266. arXiv:math/9509211. doi:10.1016/S0166-8641(96)00075-2. S2CID 14946860.
  3. ^ Bartoszynski, Tomek; Shelah, Saharon (2001-11-15). "Continuous images of sets of reals". Topology and Its Applications. 116 (2): 243–253. arXiv:math/0001051. doi:10.1016/S0166-8641(00)00079-1. S2CID 14343145.
  4. ^ Boaz Tsaban (2011), 'Menger's and Hurewicz's Problems: Solutions from "The Book" and refinements', in "Set Theory and its Applications" Contemporary Mathematics 533, 211–226. https://arxiv.org/abs/0909.5645
  5. ^ Tsaban, Boaz; Zdomskyy, Lyubomyr (2008-01-01). "Scales, fields, and a problem of Hurewicz". Journal of the European Mathematical Society. 10 (3): 837–866. arXiv:math/0507043. doi:10.4171/jems/132. ISSN 1435-9855. S2CID 13902742.
  6. ^ Scheepers, Marion (1996). "Combinatorics of open covers I: Ramsey theory". Topology and Its Applications. 69: 31–62. doi:10.1016/0166-8641(95)00067-4.
  7. ^ Chodounský, David; Repovš, Dušan; Zdomskyy, Lyubomyr (2015-12-01). "Mathias Forcing and Combinatorial Covering Properties of Filters". The Journal of Symbolic Logic. 80 (4): 1398–1410. arXiv:1401.2283. doi:10.1017/jsl.2014.73. ISSN 0022-4812. S2CID 15867466.