9
$\begingroup$

Let $K$ be a compact subset of a Euclidean space of very large dimension $N$. Assume that any point $x\in K$ has a neighborhood $U\subset K$ which is contained in a smooth $l$-dimensional submanifold of $\mathbb R ^N$, for some fixed not very large $l$.

Is the whole set $K$ contained in a smooth $l$-dimensional submanifold?

In the case that I have encountered, I had the additional assumption that $K$ is topologically an $l$-dimensional manifold with boundary, in which case the statement is not very difficult to prove. I was wondering if the statement is true without any additional assumptions on $K$.

$\endgroup$
6
  • 1
    $\begingroup$ In particular, I am wondering if $K = [0,1]\times J$ where $J = \{ k^{-1} | k \in \mathbb{N}\}$ satisfies your assumptions, and if not, why not. $\endgroup$ Dec 9, 2010 at 15:26
  • $\begingroup$ oop, I meant $J$ to also include $0$. $\endgroup$ Dec 9, 2010 at 15:27
  • $\begingroup$ Yes, one considers $K$ with the subspace topology. The subset $K$ satisfies the assumption and conclusion with $l=2$ but not with $l=1$ (at any point of $[0,1] \times 0$ $\endgroup$ Dec 9, 2010 at 16:51
  • $\begingroup$ Then does the usual partition of unity + glue together argument not work? $\endgroup$ Dec 9, 2010 at 17:59
  • 5
    $\begingroup$ One simple remark: I think that if there is no condition that $l$ is much more smaller than $N$ than the statement is wrong. I think that in general situation one can construct a counterexample when $K$ is a submanifold of dimension less then $l$. Indeed, if $K$ is a submanifold in $l$-dimensional submanifold then the normal bundle to $K$ admits a non-trivial splitting into the direct sum. Stiefel-Whitney classes form an obstruction to such a splitting. So, in particular, it looks like partition of unity arguments do not work here. $\endgroup$
    – Petya
    Dec 9, 2010 at 18:24

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.