Tychonoff plank

In topology, the Tychonoff plank is a topological space that is a counterexample to several plausible-sounding conjectures. It is defined as the product of the two ordinal space

$[0,\omega_1]\times[0,\omega]$

where ω is the first infinite ordinal and ω₁ the first uncountable ordinal.

The deleted Tychonoff plank is obtained by deleting the point $\infty = (\omega_1,\omega)$.

The Tychonoff plank is a compact Hausdorff space and is therefore a normal space. However, the deleted Tychonoff plank is non-normal. Therefore the Tychonoff plank is not completely normal. This shows that a subspace of a normal space need not be normal. The Tychonoff plank is not perfectly normal because it is not a Gδ space: the singleton $\{\infty\}$ is closed but not a Gδ set.

References

• Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR507446 

External links

• Barile, Margherita, "Tychonoff Plank" from MathWorld.

This topology-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Topology stubs Mathematical examples Topological spaces Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? ASC Socogim Timeline of Mary Wollstonecraft Look at other dictionaries: Counterexamples in Topology —   Author(s) Lynn Arthur Steen J. Ar …   Wikipedia List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia Normal space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology and related branches of mathematics, a no …   Wikipedia Order topology — In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If X is a totally ordered set, the order …   Wikipedia Subnet (mathematics) — In topology and related areas of mathematics, a subnet is a generalization of the concept of subsequence to the case of nets. The definition is not completely straightforward, but is designed to allow as many theorems about subsequences to… …   Wikipedia Metacompact space — In mathematics, in the field of general topology, a topological space is said to be metacompact if every open cover has a point finite open refinement. That is, given any open cover of the topological space, there is a refinement which is again… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”