# Definition:Tychonoff Plank

## Definition

Let $\omega$ be the first transfinite ordinal.

Let $\Omega$ be the first uncountable ordinal.

Let $\closedint 0 \Omega$ and $\closedint 0 \omega$ be closed ordinal spaces which have both been given the interval topology.

The Tychonoff plank is the topological space defined as:

$T = \closedint 0 \Omega \times \closedint 0 \omega$

### Deleted Tychonoff Plank

Let $S = \closedint 0 \Omega$ and $\closedint 0 \omega$ be closed ordinal spaces which have both been given the interval topology.

Hence let $T = \struct {S, \tau}$ denote the Tychonoff plank.

The deleted Tychonoff plank is the topological subspace defined as:

$T_\infty = \struct {S \setminus \set {\tuple {\Omega, \omega} }, \tau}$

## Also see

• Results about the Tychonoff plank can be found here.

## Source of Name

This entry was named for Andrey Nikolayevich Tychonoff.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7839365,"math_prob":0.97640467,"size":1058,"snap":"2022-40-2023-06","text_gpt3_token_len":303,"char_repetition_ratio":0.15559772,"word_repetition_ratio":0.18518518,"special_character_ratio":0.25519848,"punctuation_ratio":0.12637363,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9978273,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-10-02T06:26:12Z\",\"WARC-Record-ID\":\"<urn:uuid:0b14baff-15d9-4239-a76d-ef1b2255c810>\",\"Content-Length\":\"39329\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8728a6bf-afd0-4d18-bb06-0d0022b46181>\",\"WARC-Concurrent-To\":\"<urn:uuid:0b64bb65-11df-4a20-b519-a7f393c953f4>\",\"WARC-IP-Address\":\"104.21.84.229\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Tychonoff_Plank\",\"WARC-Payload-Digest\":\"sha1:ZJTLXTBMJVQX7WAEWA644OOWVDL7PAHP\",\"WARC-Block-Digest\":\"sha1:BF2DTWFCCFAN7N26PERLEOS2KMDFMMDW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030337287.87_warc_CC-MAIN-20221002052710-20221002082710-00588.warc.gz\"}"}