-1

Having known how to answer the following question (with the help of @Henno Brandsma ):

Let $X$ be a totally disconnected, compact, and perfect metric space.

(a) Show that there is a sequence of covers $\mathcal{A}_{1}, \mathcal{A}_{2}, ... $ such that:

1- Each $\mathcal{A}$ is a finite disjoint clopen cover,

2- Each member of $\mathcal{A}_{n}$ has diameter at most $\frac{1}{n},$ and

3- $\mathcal{A}_{1} < \mathcal{A}_{2} < ... < \mathcal{A}_{n} < \mathcal{A}_{n + 1} < ...\, .$

I want to answer this question:

$(b)$ Let $\mathcal{A} = \bigcup_{n \geq 1} \mathcal{A}_{n}.$ Show that $\mathcal{A}$ is a basis for the topology on $X.$

I got a hint that a basis for the topology on $X$ means a set $U \subseteq X$ is open iff it is a union of sets in $\mathcal{A}.$ Still, I am unable to write the solution neatly.

Could anyone help me in proving so, please?

1 Answers1

2

Again (I've remarked it earlier) $\mathcal{A}_n < \mathcal{A}_{n+1}$ must mean that $\mathcal{A}_n$ is strictly refined by $\mathcal{A}_{n+1}$.

As a general background, see Munkres' book §13, or Wikipedia to find the two criteria that a collection of sets $\mathcal{A}$ has to obey in order to be a base for some topology on a set $X$:

  1. $\bigcup \mathcal{A} = X$.
  2. For all $A_1, A_2 \in \mathcal{A}: \forall x \in A_1 \cap A_2: \exists A_3 \in \mathcal{A}: x \in A_3 \subseteq A_1 \cap A_2$.

And for your collection 1. is obvious as for every $n$ we already have $\bigcup \mathcal{A}_n =X$ so certainly this holds for the larger collection $\mathcal{A}$.

And to see 2.: if we have $A_1, A_2 \in \mathcal{A}$, there are $n,m$ such that $A_1 \in \mathcal{A}_n$ and $A_2 \in \mathcal{A}_m$. WLOG $n < m$ so $\mathcal{A}_n$ is strictly refined by $\mathcal{A}_m$, so $A_1$ is a (strict) superset of some $A'_1 \in \mathcal{A}_m$. So either $A'_1 \cap A_2$ is empty or $A_1'= A_2$ (because they both live in $\mathcal{A}_m$) In the former case $A_1 \cap A_2$ is empty and 2. is voidly fulfilled, in the latter case $A_2 \subsetneq A_1$ and we can take $A_3 = A_2$ to fulfill it.

This shows that $\mathcal{A}$ is a base for some topology $\mathcal{T}(\mathcal{A})$ which is the smallest topology that contains $\mathcal{A}$ as a subset and consists of all unions of subfamilies of $\mathcal{A}$. So $\mathcal{T}(\mathcal{A})$ is a coarser topology than $\mathcal{T}_X$ because all members of $\mathcal{A}$ are open in $\mathcal{T}_X$.

In fact the topology indeed equals $\mathcal{T}_X$, because it is Hausdorff: If $x \neq y$, find $n$ so large that $\frac{1}{n} < d(x,y)$. Then $x \in A_1 \in \mathcal{A}_n, y \in A_2 \in \mathcal{A}_n$ for some $A_1, A_2$ and we cannot have $A_1 =A_2$ or else $\operatorname{diam}(A_1)\ge d(x,y) > \frac{1}{n}$, contradicting property 2., so $A_1 \cap A_2 = \emptyset$ and so $(X,\mathcal{T}(\mathcal{A}))$ is Hausdorff. Then the identity map $1_X$ from $(X,\mathcal{T}_X)$ to $(X,\mathcal{T}(\mathcal{A}))$ is continuous (as all members of $\mathcal{A}$ are open in $\mathcal{T}_X$) and a bijection and closed (as a continuous map from a compact to a Hausdorff space) and hence a homeomorphism, hence open, and this implies $$\mathcal{T}_X = \mathcal{T}(\mathcal{A})$$

which shows that $\mathcal{A}$ is a base for $X$.

Henno Brandsma
  • 242,131
  • Could you please look at this question (if you have time)?https://math.stackexchange.com/questions/3620269/verifying-that-a-tower-of-spaces-has-the-surjective-splitting-property-x-has-an – Idonotknow Apr 11 '20 at 11:50
  • I think in your second line from below it should be that "so $A_2$ is a (strict) subset of some $A'_1 \in \mathcal{A}_n$." .... am I correct ? as "strictly refines" means the big index is subset (but not equal) of the small index. –  Apr 13 '20 at 07:09
  • It is not clear for me why are those the available cases So either "$A'_1 \cap A_2$ is empty or $A_1'= A_2$." could you explain this please? –  Apr 13 '20 at 07:14
  • I understood I think it is the indices needed to be adjusted –  Apr 13 '20 at 07:18
  • The big one must be subset of the small one –  Apr 13 '20 at 07:24
  • Okay no problem I am fine now. –  Apr 13 '20 at 07:30
  • does a coarser topology than $\tau_{X}$ means it contains $\tau_{X}$? –  Apr 13 '20 at 07:34
  • we need $\mathcal {A}$ to be a basis for the topology on $X$ ... Is it? –  Apr 13 '20 at 07:36
  • @Happy no, not here yet. Showing it is a base for $X$ is of later concern. Coarser means smaller or equal. – Henno Brandsma Apr 13 '20 at 07:55
  • I do not understand you ..... does this mean I have to do more work? –  Apr 13 '20 at 08:18
  • 1
    $X$ is topologically just a Cantor set of course. The different stages in the construction of the standard middle third Cantor set in $[0,1]$ is a model for such a sequence of refining clopen finite partitions. This whole sequence of exercises is just to show you that all totally disconnected compact metric spaces are essentially the same. @Happy – Henno Brandsma Apr 13 '20 at 09:20
  • I do not understand the idea of the last paragraph you added ... what were you doing in it? –  Apr 13 '20 at 09:46
  • @Happy proving that $\mathcal{A}$ is a base for $X$. – Henno Brandsma Apr 13 '20 at 10:00
  • yes I know, but why proving that the identity map is open will do so? –  Apr 13 '20 at 10:04
  • @Happy it shows the reverse inclusion of topologies! – Henno Brandsma Apr 13 '20 at 10:05
  • @Happy by definition $\mathcal{A}$ is a base for $\mathcal{T}(\mathcal{A})$ and as seen as we know this equality of topologies, it’s also a base for the topology on $X$. – Henno Brandsma Apr 13 '20 at 10:12