Skip to main content
1 of 2
Saúl RM
  • 10.6k
  • 2
  • 28
  • 48

You can first express the open set $U$ as a countable union of basic clopen subsets $A_n=\{(q_k)_{k\in\mathbb{N}};i_{n,k}<q_k<j_{n,k} \text{ for $k=1,\dots,n$}\}$, where $i_{n,k}$ and $j_{n,k}$ are irrational numbers. Some $A_n$ may be empty.

To answer the question it is enough to express $A_n\setminus\bigcup_{i=1}^{n-1}A_i$ as a finite union of disjoint basic clopens. To do it, we can work in $\mathbb{Q}^n$ instead of $\mathbb{Q}^\infty$ due to the construction of the sets $A_n$.

Writing $\mathbb{Q}^n=\mathbb{Q}_1\times\dots\times\mathbb{Q}_n$, notice that for each $k\leq n$, the irrationals $i_{1,k},\dots,i_{n,k},j_{1,k},\dots,j_{n,k}$ give a partition of $\mathbb{Q}_k$ into finitely many clopen subsets. Taking a product of these partitions, we obtain a partition of $\mathbb{Q}^n$ into disjoint clopens such that any of the $A_i$, with $i\leq n$, is a finite union of these clopens. So $A_n\setminus\bigcup_{i=1}^{n-1}A_i$ is also a finite union of the clopens.

Saúl RM
  • 10.6k
  • 2
  • 28
  • 48