Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 Hausdauff 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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.