Girish Mahajan (Editor)

Tychonoff plank

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In topology, the Tychonoff plank is a topological space defined using ordinal spaces that is a counterexample to several plausible-sounding conjectures. It is defined as the topological product of the two ordinal spaces [ 0 , ω ] and [ 0 , ω 1 ] , where ω is the first infinite ordinal and ω 1 the first uncountable ordinal. The deleted Tychonoff plank is obtained by deleting the point = ( ω , ω 1 ) .

Properties

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 { } is closed but not a Gδ set.

References

Tychonoff plank Wikipedia