MHB How Do Nonempty Closed Sets Intersect in Compact Spaces?

[Euge]

Here is this week's POTW:

-----
Prove that in a compact topological space, any decreasing sequence of nonempty closed sets has non-empty intersection.

-----

Remember to read the https://mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to https://mathhelpboards.com/forms.php?do=form&fid=2!

 

[Euge]

Congratulations to castor28 for his correct solution, which is as follows:

Spoiler

Let $E$ be a compact topological space and $\{A_i\}$ a decreasing sequence of non-empty closed sets; $A_i^c$ is therefore an increasing sequence of open proper subsets of $E$.

Assume that $\bigcap A_i= \emptyset$. $\bigcup A_i^c=E$, and the $A_i$ constitute an open cover of $E$. As $E$ is compact, $\{A_i^c\}$ contains a finite sub-cover $\{A_{i_1}^c,\ldots,A_{i_n}^c\}$ whose union is $E$. As the $A_i^c$ constitute an increasing sequence, we have $ A_{i_n}^c=E$, and this contradicts the fact that the $A_i^c$ are proper subsets (because the $A_i$ are non-empty sets).