Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply connected and has non-degenerate intersection form. Suppose we 'approximate' the given manifold by a sequence of compact subsets of $\mathbb{R}^{m}$ such that:

$$N_{i}\subset M,\;\; |\dim(N_{i})-4|<\frac{1}{i},\;\; \mu(M-N_{i})<\epsilon_{i},\;\; \epsilon_{i}\rightarrow 0$$ Here we are using Hausdorff dimension.

I asked an Geometric Analysis Professor on this problem, and he said the limit of $N_{i}$ might not tell us anything about $M$, especially $N_{i}$ has far worse analytical properties than $M$. So my question is - can we put a nice differentiable structure on $N_{i}$ such that the above limit makes some sense? For example, the unit real line may be 'approximated' by various fat Cantor sets. This question is quite unclear to me, so I wish to discuss at here.

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.