# Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets

## Theorem

Let $\mathbb I = \closedint 0 1$ be the closed unit interval.

Then $\mathbb I$ cannot be expressed as the union of a countably infinite set of pairwise disjoint closed sets.

## Proof

Aiming for a contradiction, suppose $\ds \mathbb I = \bigcup_{i \mathop = 1}^\infty C_i$ where $\set {C_i}$ is a set of pairwise disjoint closed sets.

Let:

$\ds B = \bigcup \partial C_i = \mathbb I \setminus \bigcup C_i^\circ$

where $\partial C_i$ is the boundary of $C_i$ and $C_i^\circ$ is the interior of $C_i$.

Let $J \subseteq \mathbb I$ be a subinterval of $\mathbb I$.

Then $J$ is non-meager, and so some $C_k$ is dense in some open interval $L \subseteq J$.

Since $C_k$ is closed we have that $L \subseteq C_k^\circ$ and so $L \cap B = \O$.

So $J$ contains an open subset $L$ disjoint from $B$.

So $B$ is nowhere dense in $\mathbb I$.

So every open interval $U$ containing some $x \in \partial C_j$ must intersect $B \setminus \partial C_j$.

This is because $U$ is an open neighborhood of $x$ and therefore contains some point $u \in \mathbb I \setminus C_j$, say $u \in C_m$.

Then if $U \cap B \cap \partial C_m = \O$ it follows that $C_m^\circ \cap U$ is a non-empty open set in $U$. which is also relatively closed.

Now $B$ is itself non-meager, since it is a closed subset of $\mathbb I$.

Thus some $\partial C_k$ is dense in some non-empty open set $U \cap B$, for some open interval $U$ in $\mathbb I$.

Since $\partial C_k$ is closed, this means $\partial C_k \cap U = B \cap U$.

But this is impossible, since if $U \cap C_k \ne \O$ then $U \cap \paren {B \setminus \partial C_k} \ne \O$.

This contradiction shows that $\mathbb I$ cannot be expressed as $\ds \bigcup_{i \mathop = 1}^\infty C_i$.

$\blacksquare$
{"ft_lang_label":"__label__en","ft_lang_prob":0.8191713,"math_prob":0.9999281,"size":2570,"snap":"2022-40-2023-06","text_gpt3_token_len":763,"char_repetition_ratio":0.12548713,"word_repetition_ratio":0.11685393,"special_character_ratio":0.2929961,"punctuation_ratio":0.10671937,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000097,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-09-29T23:52:28Z\",\"WARC-Record-ID\":\"<urn:uuid:a0a3ce67-514d-48d0-855d-67c39523feac>\",\"Content-Length\":\"44648\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:f3fa9934-1992-448b-a498-6c4ed7410053>\",\"WARC-Concurrent-To\":\"<urn:uuid:4652608d-907a-4d61-b9b3-8db75e85b2fc>\",\"WARC-IP-Address\":\"172.67.198.93\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Closed_Unit_Interval_is_not_Countably_Infinite_Union_of_Disjoint_Closed_Sets\",\"WARC-Payload-Digest\":\"sha1:ZJUFIVHMDZNURDW5K35NOFUNYDYN7JYY\",\"WARC-Block-Digest\":\"sha1:L5QEBJSF5I3QRNUQ63Y7RZMMIAXXOHD5\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030335396.92_warc_CC-MAIN-20220929225326-20220930015326-00649.warc.gz\"}"}