The Tychonoff plank is the product space , that is, the Tychonoff Plank is the product of the successor of the first uncountable ordinal and the successor of the first infinite ordinal. The deleted Tychonoff plank is , i.e., the Tychonoff plank minus the corner point . This is another famous example of topological spaces that often appear in first year topology courses. My goal here is to present two facts. The deleted Tychonoff plank is not normal, thus showing that the Tychonoff plank not hereditarily normal. The second point is that for the deleted Tychonoff plank, the one-point compactification and the Stone-Cech compactification conincide. This is due to the fact that any continuous real-valued function defined on the deleted Tychonoff plank can be extended to a continuous function on the product space (see Theorem 19.12 in [Willard]).

First we show the deleted Tychonoff plank is not normal. Let and . These are two disjoint closed sets in . Let and where and are open in . I will show .

First define a pressing down function on . For each limit ordinal , there is an integer and there is a countable ordinal such that . By the pressing down lemma, there is and there is a stationary set such that all points in are mapped to by . Choose an uncountable such that for each , for some . Consider .

Claim. where is the closure operator. Fix . Fix an open set containing , say where . Choose such that . Based on how is obtained, . It follows that and . So any open set containing contains points of . Thus the claim is established.

Since , would contain points of . Thus the deleted Tychonoff plank is not normal.

To established the second point, let a continuous function. Then can be extended to include the corner point. Consider the restriction of to the following horizontal segments of the deleted Tychonoff plank.

for each .

Any continuous function is eventually constant on these horizontal segments. For the proof, see this post. So there is such that for all . For each , there is such that for all . Choose some for all .

It is clear that the sequence converges to . So by defining , is still a continuous function.

**Reference**

[Willard] Willard, S., [1970] *General Topology*, Addison-Wesley Publishing Company, Inc.

### Like this:

Like Loading...

*Related*