1
$\begingroup$

I would like to tips for solving this problem.

Let $M^{n}$ a compact manifold. Prove that there exists $m \in \mathbb{N}$ and an injective application $\phi:M^{n}\to \mathbb{R}^{m.(n+1)}$.

Note that , if there exists $\phi$.

  1. $\phi$ is an injective immersion defined on compact set.(by rank theorem)
  2. $\phi$ is an smooth embedding.(injective immersions on compact sets are embeddings)
  3. $\phi$ is a closed map, because if $A\subset M$ is a closed set then $A$ is compact and $f(A)\subset \mathbb{R}^{m.(n+1)}$ is compact, but compact subsets of Hausdorff spaces are closed.
  4. $\phi$ is an open map, because $\phi$ is a homeomorphism.
  5. $f(M)=\mathbb{R}^{m.(n+1)}$, by (3) and (4) and because $\mathbb{R^{m.(n+1)}}$ is connected.

But,I could not finish anything.

$\endgroup$
  • $\begingroup$ Item 3 is false. $\endgroup$ – Moishe Kohan Feb 26 '18 at 22:19
3
$\begingroup$

Here are some comments that might help you get on the right track. First off, the word you want in English is "map," not "application." "Application" is an English word, but it means something else entirely.

  1. Your original statement of the problem only asked for $\phi$ to be an injective map. Don't you want it to be smooth? Or at least continuous? Even assuming it's smooth will not imply that it's an immersion. Once you produce the map, if you want it to be an immersion, you'll have to prove that separately.
  2. Yes, if you can produce a map that's an injective immersion, then it will be a smooth embedding.
  3. Right, as long as $\phi$ is continuous, it will be a closed map.
  4. Wrong. $\phi$ will be a homeomorphism onto its image, which means that it's open when considered as a map from $M$ to $\phi(M)$. But it won't be open as a map into $\mathbb R^{m(n+1)}$.
  5. $\phi$ certainly cannot be surjective if it's continuous, because $M$ is compact while $\mathbb R^{m(n+1)}$ is not.

Once you get your definitions straightened out, here's a hint: coordinate charts and partitions of unity are going to be helpful.

$\endgroup$
2
$\begingroup$

Here is a somewhat better result:

Theorem (Whitney): Any compact $n$-manifold may be embedded in $\mathbb{R}^{2n+1}$.

The proof is not so difficult, have a look at page $22$ here. It uses "Baby Sard".

But of course one can first prove an "easier" result as above. On the other hand, some ideas from above might be useful there, too.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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