Polish space

Polish space

In mathematics, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively studied by Polish topologists and logicians — Sierpiński, Kuratowski, Tarski and others. However, Polish spaces are primarily studied today because they are the primary setting for descriptive set theory, including the study of Borel equivalence relations.

Common examples of Polish spaces are the real line, the Cantor space, and Baire space.

Between any two uncountable Polish spaces, there is a Borel isomorphism; that is, a bijection that preserves the Borel structure. In particular, every uncountable Polish space has the cardinality of the continuum.

Lusin spaces, Suslin spaces, and Radon spaces are generalizations of Polish spaces.

Properties

# (Alexandrov's theorem) If "X" is Polish then so is any "G"δ subset of "X".
# (Cantor-Bendixson theorem) If "X" is Polish then any closed subset of "X" can be written as the disjoint union of a perfect subset and a countable subset.

The converse of Alexandrov's theorem is true as well: if a subspace "S" of a Polish space "X" is Polish, then it is a "G"δ subset of "X".

Characterization

There are numerous characterizations that tell when a second countable topological space is metrizable, such as Urysohn's metrization theorem. The problem of determining whether a metrizable space is completely metrizable is more difficult. Topological spaces such as the open unit interval (0,1) can be given both complete metrics and incomplete metrics generating their topology.

There is a characterization of complete separable metric spaces in terms of a game known as the strong Choquet game. A separable metric space is completely metrizable if and only if the second player has a winning strategy in this game.

A second characterization follows from Alexandrov's theorem. It states that a separable metric space is completely metrizable if and only if it is a $G_delta$ subset of its completion in the original metric.

Polish metric spaces

Although Polish spaces are metrizable, they are not in and of themselves metric spaces; each Polish space admits many complete metrics giving rise to the same topology, but no one of these is singled out or distinguished. A Polish space with a distinguished complete metric is called a "Polish metric space". An alternative approach, equivalent to the one given here, is first to define "Polish metric space" to mean "complete separable metric space", and then to define a "Polish space" as the topological space obtained from a Polish metric space by forgetting the metric.

Generalizations of Polish spaces

Lusin spaces

A Lusin space is a topological space such that some weaker topology makes it into a Polish space.

There are many ways to form Lusin spaces. In particular:
*Every Polish space is Lusin.
*A subspace of a Lusin space is Lusin if and only if it is a Borel set.
*Any countable union or intersection of Lusin subspaces of a Hausdorff space is Lusin.
*The product of a countable number of Lusin spaces is Lusin.
*The disjoint union of a countable number of Lusin spaces is Lusin.

uslin spaces

A Suslin space is the image of a Polish space under a continuous mapping. So every Lusin space is Suslin.In a Polish space, a subset is a Suslin space if and only if it is a Suslin set (an image of the Suslin operation).

A Radon space is a topological space such that every finite Borel measure is inner regular (so a Radon measure). Every Suslin space is Radon.

References

*cite book | last=Arveson | first=William | authorlink=William Arveson | title=An Invitation to C*-Algebras | edition = Graduate Texts in Mathematics 39 | publisher=Springer-Verlag| location=New York | year=1981 | isbn=0-387-90176-0
*cite book | author=Bourbaki, Nicolas | title=Elements of Mathematics: General Topology | publisher=Adison-Wesley | year=1966 | id=
*
*cite book|author =Kuratowski, K.|publisher=Academic Press |year =1966|title=Topology Vol. I|id =ISBN 012429202X
*

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Polish space — noun a separable, completely metrizable topological space is a …   Wiktionary

• Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia

• space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… …   Wiktionary

• Polish School of Mathematics — The Polish School of Mathematics was the remarkably creative mathematics community that flourished in Poland in the 20th century, particularly during the Interbellum between World Wars I and II. Overview The Polish School of Mathematics subsumed …   Wikipedia

• Space of Freedom — was a concert performed by French musician Jean Michel Jarre in Poland, at the Gdańsk Shipyard, on August 26, 2005, to celebrate the 25th anniversary of the Solidarity trade union s foundation. Jarre was invited by Lech Wałęsa s son to hold this… …   Wikipedia

• Space Quest — is a series of six science fiction computer games that follow the adventures of a hapless janitor named Roger Wilco, as he campaigns through the galaxy for truth, justice and really clean floors. Initially created for Sierra On Line by Mark Crowe …   Wikipedia

• Space Race (TV series) — Infobox Television show name = Space Race caption = BBC DVD Cover aka = genre = Docudrama creator = writer = Christopher Spencer director = Mark Everest creat director = developer = presenter = starring = nowrap beginRichard Dillane·wrap John… …   Wikipedia

• Polish rabbit — The Polish Rabbit is a breed of rabbit. It is a compact breed with a lot of personality. The breed was developed in Belgium as food; however as time progressed, it became more popular as a pet. History and origin Despite the name, the Polish… …   Wikipedia

• Polish–Lithuanian Commonwealth — Kingdom of Poland and the Grand Duchy of Lithuania[a] ← …   Wikipedia

• Polish–Soviet War in 1920 — oviet Forces in early 1920Soviet forces had recently been very successful against the White Russians, defeating Denikin, and had signed peace treaties with Latvia and Estonia. The Polish front became the most important war theater and majority of …   Wikipedia