show/hide this revision's text 3 Added missing symbol.

Disjointify from the bottom up instead of from the top down, as you do in Real Analysis 1.

The question is at the level of homework, but I give a hint because you identify yourself and explain what you have tried, including looking at the literature, and I see why you are stuck on the problem.

EDIT 11.1.11: First an apology. Like Henno, I misread your question.

Let's examine what happens when $X$ is compact. Your question has an affirmative answer when $X$ is countable. Observe that it is enough to show that if $X$ is a countable compact metric space and $\mathcal{B}$ is a basis of clopen sets, then $X$ itself is the disjoint union of sets from $\mathcal{B}$. Indeed, from this special case you get that every clopen set is the disjoint union of basic clopen sets, and every open set is the disjoint union of clopen sets.

Now every countable compact metric space is homeomorphic to a ray $1,\alpha]$ [1,\alpha]$ of ordinals, so you can use transfinite induction. Take a basic clopen set $A$ that contains $\alpha$ and apply the inductive hypothesis to $X\sim A$.

However, with some help from Gideon Schechtman I checked that your question has an negative answer when $X$ is the Cantor set $\{-1,1\}^\Bbb{N}$. Consider $X$ as a compact group with Haar measure and let $\mathcal{B}$ be the collection of clopen sets that have, for some $n$, measure $2^{-n} + 2^{-n-1} = 3\cdot 2^{-n-1}$. It is easy to check that this is a base for the topology. If $X$ were a disjoint union of sets from $\mathcal{B}$ then by compactness it would be just a finite disjoint union, which would imply that $1$ is a finite sum of numbers of the form $3\cdot 2^{-n-1}$.

show/hide this revision's text 2 added 1377 characters in body

EDIT 11.1.11: First an apology. Like Henno, I misread your question.

Let's examine what happens when $X$ is compact. Your question has an affirmative answer when $X$ is countable. Observe that it is enough to show that if $X$ is a countable compact metric space and $\mathcal{B}$ is a basis of clopen sets, then $X$ itself is the disjoint union of sets from $\mathcal{B}$. Indeed, from this special case you get that every clopen set is the disjoint union of basic clopen sets, and every open set is the disjoint union of clopen sets.

Now every countable compact metric space is homeomorphic to a ray $1,\alpha]$ of ordinals, so you can use transfinite induction. Take a basic clopen set $A$ that contains $\alpha$ and apply the inductive hypothesis to $X\sim A$.

However, with some help from Gideon Schechtman I checked that your question has an negative answer when $X$ is the Cantor set $\{-1,1\}^\Bbb{N}$. Consider $X$ as a compact group with Haar measure and let $\mathcal{B}$ be the collection of clopen sets that have, for some $n$, measure $2^{-n} + 2^{-n-1} = 3\cdot 2^{-n-1}$. It is easy to check that this is a base for the topology. If $X$ were a disjoint union of sets from $\mathcal{B}$ then by compactness it would be just a finite disjoint union, which would imply that $1$ is a finite sum of numbers of the form $3\cdot 2^{-n-1}$.

show/hide this revision's text 1

Disjointify from the bottom up instead of from the top down, as you do in Real Analysis 1.

The question is at the level of homework, but I give a hint because you identify yourself and explain what you have tried, including looking at the literature, and I see why you are stuck on the problem.