Is there an immersion from a closed manifold into $\mathbb{R}^n$?

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
The discussion revolves around the problem of proving that a closed manifold of dimension n cannot be immersed into $\mathbb{R}^n$. The lack of responses indicates that the question may be challenging or requires advanced knowledge in topology. The original poster has provided their solution, suggesting that the problem is solvable but not straightforward. The topic highlights important concepts in differential geometry and manifold theory. Overall, the discussion emphasizes the limitations of immersions for closed manifolds in Euclidean spaces.
Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem.

-----

Problem: Let $M$ be a closed (i.e., compact without boundary) manifold of dimension $n$. Prove that there is no immersion $M\rightarrow\mathbb{R}^n$.

-----

 
Physics news on Phys.org
No one answered this week's question. You can find my solution below.

Proof: We begin with a lemma.

Lemma: Let $M$ and $N$ be smooth manifolds with $M$ compact and let $f:M\rightarrow N$ be an immersion. Then $f$ is an open map and is surjective.

Proof of Lemma: We first show that $f$ is an open map. Let $V\subset M$ be open and let $y\in f(V)$. Then $y=f(x)$ for some $x\in V$. Since $f$ is an immersion, $Df(x)$ is nonsingular. By the Inverse Function Theorem, $x$ has an open neighborhood $U\subset V$ such that $f(U)$ is open. Then $U\subset V\implies f(U)\subset f(V)$ is an open neighborhood of $y$. Since we can do this for any $y\in V$, $f(V)$ is open.

Now, $M$ is open in $M$, so $f(M)$ is open in $N$ by above. Since $M$ is compact, we know that $f(M)$ is compact and thus closed since $N$ is Hausdorff. This implies that $f(M)$ is clopen. Since the only clopen subsets of a connected space are the entire space or the empty set, and since $N$ is connected, it follows that $f(M)=N$. Thus $f$ is surjective. $\hspace{.25in}\blacksquare$

We now proceed with the proof of the main result. Since $M$ is compact, $f(M)$ is compact. By the lemma, any immersion $f:M\rightarrow \mathbb{R}^n$ is an open map and is surjective. Let $\{U_{\alpha}\}_{\alpha\in A}$ be an open covering of $\mathbb{R}^n$. Then $\{f^{-1}(U_{\alpha})\}_{\alpha\in A}$ is an open covering on $M$. Since $M$ is compact, it must have a finite subcover, say $\{f^{-1}(U_{\alpha_i})\}_{i=1}^n$. Since $f$ is surjective, $\{f(f^{-1}(U_{\alpha_i}))\}_{i=1}^n=\{U_{\alpha_i}\}_{i=1}^n$. This now implies that any open covering of $\mathbb{R}^n$ has a finite subcover, contradicting the non-compactness of $\mathbb{R}^n$. Therefore, there exists no immersion $f:M\rightarrow\mathbb{R}^n$. $\hspace{.25in}\blacksquare$
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
462
  • · Replies 5 ·
Replies
5
Views
828
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K