lecture_6_manidolds
lecture_6_manidolds
ψ ◦ f ◦ ϕ−1 = im n
n |ϕ(U ) : ϕ(U ) −→ R ,
ψ ◦ f ◦ ϕ−1 = prm n
n |ϕ(U ) : ϕ(U ) −→ R ,
The proofs of these two results are completely analogous, therefore, we only
give the details for the second result; the proof of the local immersion theorem is
left as an exercise.
ϕ := g −1 ◦ ϕ e−1 (O);
e : U −→ Rm , U := ϕ
e = (h, B) ◦ ϕ
hence, the charts (U, ϕ) and (V, ψ) satisfy the conditions from the statement.
Remark 6.2.4. In the local submersion theorem, the chart on the codomain (V, ψ)
can be chosen arbitrary; this follows from the proof. Similarly, in the local immer-
sion theorem the chart (U, ϕ) on the domain can be chosen arbitrary.
LECTURE 6. 55
h(q) = (xk+1 m
ϕ (q), . . . , xϕ (q)), for q ∈ U.
Thus, for q ∈ U : h(q) = 0 iff ϕ(q) ∈ Rk × {0}, and since U ∩ S = h−1 (0), we obtain:
ϕ(S ∩ U ) = (Rk × {0}) ∩ ϕ(U ). This concludes the proof.
Let us also mention a deep result of mathematical analysis, which states that
most points are regular values (note that points that are not in the image are always
regular values). Without introducing all notions involved, we state this result below
(for details, the reader is encouraged to consult [8] or [4]).
Theorem ♣ 6.3.7 (Sard’s Theorem). The set of critical values of a smooth map
f : M → N has Lebesgue measure zero. In particular, the set of regular values of f
is dense in N .
Remark 6.3.8. If dimM < dimN , then every point in M is a critical point of
f . In this situation, Sard’s Theorem says that f (M ) has measure zero in N ; and
therefore N \f (M ) is dense in N . In particular, one cannot have a surjective map
smooth f : M → N if dimM < dimN .
For this property, smoothness is essential. In the continuous setting, there are
the co-called space-filling curves (e.g. Peano’s curve [21]). For example, one can
prove that any connected, nonempty manifold is the image of a continuous curve!!
LECTURE 6. 57
f −1 (Q1 )
2
S
f −1 (Q2 )
p2
p
p0 Z p1
f (p2 )
f (p) Q1 Q2
R2
f (p0 ) f (Z) f (p1 )
6.5. Exercises
Exercise 6.1. Let k ≤ n, and let A : Rn → Rk be a surjective linear map, and let
C : Rk → Rn be an injective linear map.
(a) Prove that there exists a linear map B : Rn → Rn−k such that the map
(A, B) : Rn → Rk × Rn−k = ∼ Rn , (A, B)(x) := (A(x), B(x)),
is a linear isomorphism.
(b) Prove that there exists a linear isomorphism G : Rn → Rn such that
A ◦ G = prnk .
(c) Prove that there exists a linear map D : Rn−k → Rn such that the map
C + D : Rk × Rn−k ∼ = Rn → Rn , (C + D)(y, z) := C(y) + D(z),
is a linear isomorphism.
(d) Prove that there exists a linear isomorphism H : Rn → Rn such that
H ◦ C = ikn .
Exercise 6.2. Let a ∈ R. Show that the following map is an immersion:
fa : R −→ S 1 × S 1 , fa (t) := (eit , eita ).
√
Make a sketch of fa (R) for a = 0, 1/2, 1, 2, 3. For which a ∈ R is fa injective?
Exercise 6.3. Let f : P2 (R) → R3 be the map defined by
1
f ([x, y, z]) = 2 (yz, xz, xy).
x + y2 + z2
Show that f is smooth and show that it only fails to be an immersion at 6 points.
Make a sketch of the image of f .
Being an immersion/submersion is an open condition:
Exercise 6.4. If a smooth map f : M → N is an immersion (resp. a submersion)
at p ∈ M prove that there is an open neighborhood V ⊂ M of p such that f |V is
an immersion (resp. a submersion).
Do not use the local immersion/submersion theorem!
Exercise 6.5. Prove the local immersion theorem.
Exercise 6.6 (Alternative definition of immersions and submersions). Let f : M →
N be a smooth map, and let p ∈ M . Prove the following:
(a) f is an immersion at p iff it has a local left inverse, i.e. there exist open neigh-
borhoods U ⊂ M of p and V ⊂ N of f (p) and a smooth map σ : V → U such
that f (U ) ⊂ V and
σ(f (x)) = x, for all x ∈ U.
(b) f is a submersion at p iff it has a local right inverse, i.e. there exist open
neighborhoods U ⊂ M of p and V ⊂ N of f (p) and a smooth map j : V → U
such that j(f (p)) = p and
f (j(y)) = y, for all y ∈ V.
Exercise 6.7. Let f : M → N be a submersion. Prove that f is an open map (i.e.
for every open set U ⊂ M , f (U ) is open in N ).
60 IOAN MĂRCUT
, , MANIFOLDS