# Difference between revisions of "Hilbert cube"

en>Faizan (Reverted good faith edit(s) by 83.29.109.224 using STiki) |
|||

Line 9: | Line 9: | ||

==The Hilbert cube as a metric space== | ==The Hilbert cube as a metric space== | ||

It | It is sometimes convenient to think of the Hilbert cube as a [[metric space]], indeed as a specific subset of a separable [[Hilbert space]] (i.e. a Hilbert space with a countably infinite Hilbert basis). | ||

For these purposes, it is best not to think of it as a product of copies of [0,1], but instead as | For these purposes, it is best not to think of it as a product of copies of [0,1], but instead as | ||

Line 23: | Line 23: | ||

:0 ≤ ''x''<sub>''n''</sub> ≤ 1/''n''. | :0 ≤ ''x''<sub>''n''</sub> ≤ 1/''n''. | ||

Any such sequence belongs to the Hilbert space [[ | Any such sequence belongs to the Hilbert space [[Lp_space#The_p-norm_in_countably_infinite_dimensions|ℓ<sub>2</sub>]], so the Hilbert cube inherits a metric from there. One can show that the topology induced by the metric is the same as the [[product topology]] in the above definition. | ||

==Properties== | ==Properties== | ||

As a product of [[compact (topology)|compact]] [[Hausdorff space]]s, the Hilbert cube is itself a compact Hausdorff space as a result of the [[Tychonoff theorem]]. | As a product of [[compact (topology)|compact]] [[Hausdorff space]]s, the Hilbert cube is itself a compact Hausdorff space as a result of the [[Tychonoff theorem]]. | ||

The compactness of the Hilbert cube can also be proved without the Axiom of Choice by constructing a continuous function from the usual [[Cantor set]] onto the Hilbert cube. | |||

In ℓ<sub>2</sub>, no point has a compact [[neighbourhood (topology)|neighbourhood]] (thus, ℓ<sub>2</sub> is not [[locally compact]]). One might expect that all of the compact subsets of ℓ<sub>2</sub> are finite-dimensional. | In ℓ<sub>2</sub>, no point has a compact [[neighbourhood (topology)|neighbourhood]] (thus, ℓ<sub>2</sub> is not [[locally compact]]). One might expect that all of the compact subsets of ℓ<sub>2</sub> are finite-dimensional. | ||

Line 34: | Line 35: | ||

Every subset of the Hilbert cube inherits from the Hilbert cube the properties of being both metrizable (and therefore [[Normal space|T4]]) and [[second countable]]. It is more interesting that the converse also holds: Every [[second countable]] [[Normal space|T4]] space is homeomorphic to a subset of the Hilbert cube. | Every subset of the Hilbert cube inherits from the Hilbert cube the properties of being both metrizable (and therefore [[Normal space|T4]]) and [[second countable]]. It is more interesting that the converse also holds: Every [[second countable]] [[Normal space|T4]] space is homeomorphic to a subset of the Hilbert cube. | ||

Every G<sub>δ</sub>-subset of the Hilbert cube is a [[Polish space]], a topological space homeomorphic to a separable and complete metric space. Conversely, every Polish space is homeomorphic to a [[Gδ set|G<sub>δ</sub>-subset]] of the Hilbert cube.<ref>[[#Srivastava|Srivastava]], pp. 55</ref> | |||

== Notes == | == Notes == | ||

Line 43: | Line 44: | ||

* {{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | id={{MathSciNet|id=507446}} | year=1995 | postscript=<!--None-->}} | * {{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | id={{MathSciNet|id=507446}} | year=1995 | postscript=<!--None-->}} | ||

[[Category:Topological spaces]] | [[Category:Topological spaces]] | ||

## Revision as of 11:41, 6 May 2013

In mathematics, the **Hilbert cube**, named after David Hilbert, is a topological space that provides an instructive example of some ideas in topology. Furthermore, many interesting topological spaces can be embedded in the Hilbert cube; that is, can be viewed as subspaces of the Hilbert cube (see below).

## Definition

The Hilbert cube is best defined as the topological product of the intervals [0, 1/*n*] for *n* = 1, 2, 3, 4, ... That is, it is a cuboid of countably infinite dimension, where the lengths of the edges in each orthogonal direction form the sequence .

The Hilbert cube is homeomorphic to the product of countably infinitely many copies of the unit interval [0, 1]. In other words, it is topologically indistinguishable from the unit cube of countably infinite dimension.

If a point in the Hilbert cube is specified by a sequence with , then a homeomorphism to the infinite dimensional unit cube is given by .

## The Hilbert cube as a metric space

It is sometimes convenient to think of the Hilbert cube as a metric space, indeed as a specific subset of a separable Hilbert space (i.e. a Hilbert space with a countably infinite Hilbert basis). For these purposes, it is best not to think of it as a product of copies of [0,1], but instead as

- [0,1] × [0,1/2] × [0,1/3] × ···;

as stated above, for topological properties, this makes no difference. That is, an element of the Hilbert cube is an infinite sequence

- (
*x*_{n})

that satisfies

- 0 ≤
*x*_{n}≤ 1/*n*.

Any such sequence belongs to the Hilbert space ℓ_{2}, so the Hilbert cube inherits a metric from there. One can show that the topology induced by the metric is the same as the product topology in the above definition.

## Properties

As a product of compact Hausdorff spaces, the Hilbert cube is itself a compact Hausdorff space as a result of the Tychonoff theorem. The compactness of the Hilbert cube can also be proved without the Axiom of Choice by constructing a continuous function from the usual Cantor set onto the Hilbert cube.

In ℓ_{2}, no point has a compact neighbourhood (thus, ℓ_{2} is not locally compact). One might expect that all of the compact subsets of ℓ_{2} are finite-dimensional.
The Hilbert cube shows that this is not the case.
But the Hilbert cube fails to be a neighbourhood of any point *p* because its side becomes smaller and smaller in each dimension, so that an open ball around *p* of any fixed radius *e* > 0 must go outside the cube in some dimension.

Every subset of the Hilbert cube inherits from the Hilbert cube the properties of being both metrizable (and therefore T4) and second countable. It is more interesting that the converse also holds: Every second countable T4 space is homeomorphic to a subset of the Hilbert cube.

Every G_{δ}-subset of the Hilbert cube is a Polish space, a topological space homeomorphic to a separable and complete metric space. Conversely, every Polish space is homeomorphic to a G_{δ}-subset of the Hilbert cube.^{[1]}

## Notes

- ↑ Srivastava, pp. 55

## References

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}