Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $E_k\subset [0,1]$ be residual subsets (i.e. containing dense $G_\delta $ set) with $E_{k+1}\subset E_k$ and $\dim_HE_k=1, \forall k.$ My question is : $\dim_H\bigcap_k E_k=1?$ Thanks.

share|improve this question

1 Answer 1

Suppose that $\alpha>0$. Then $\mathbb{Q}$ has Hausdorff dimension $0$, so for each $n$ there are intervals $(a_{k},b_{k})$ such that $\mathbb{Q}\cap[0,1]\subseteq\bigcup_{k}(a_{k},b_{k})$ and $\sum_{k}(b_{k}-a_{k})^{\alpha}<\frac{1}{n}$. Let $E_{n,\alpha}=\bigcup_{k}(a_{k},b_{k})$. Then each $E_{n,\alpha}$ is a dense open set, and hence each $E_{n,\alpha}$ has Hausdorff dimension $1$ (and more). However, $\bigcap_{n}E_{n,\alpha}$ has $\alpha$ Hausdorff measure $0$. In particular, $\bigcap_{n,m}E_{n,\frac{1}{m}}$ has Hausdorff dimension zero. In fact, generalizing this example, we can show that for each set $E$ of Hausdorff dimension $0$ there is a dense $G_{\delta}$ set $G$ with $E\subseteq G$ where $G$ has Hausdorff dimension $0$ as well.

I also have a counterexample from potential theory. Let $\{x_{k}|k\geq 1\}$ be a countable dense subset of $[0,1]$ and let $\sum_{k=1}^{\infty}a_{k}<\infty$. Let $f(z)=\sum_{k=1}^{\infty}a_{k}\mathrm{Log}(x-x_{k})$, and let $E=f^{-1}[\{-\infty\}]$. Let $E_{n}=f^{-1}[\infty,-n)\cap[0,1]$. Then each $E_{n}$ is a dense open subset of $[0,1]$. However, $E=\bigcap_{n}E_{n}$ has Hausdorff dimension zero. In fact, in potential theory we say that $E$ is a polar set.

share|improve this answer
Dear Joseph Van Name, Many thanks. –  user47280 Mar 30 at 8:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.