Thursday, 22 August 2013

Is this enough to show that this map has constant rank?

Is this enough to show that this map has constant rank?

My question is related to this question
I am given a $C^r$ manifold $M$ and a connected subset $A$ of $M$, and a
retraction $f:M\rightarrow A$ such that $f\vert_A=id:A\rightarrow A$. Then
$A$ is a $C$ submanifold of $M$.
I know that I need to show that $f$ has constant rank in a neighbourhood
$U$ (open in $M$) of $A$ so I can apply the Rank Theorem to finish the
proof. I tried the same approach as in P. W. Michor, Topics in
Differential Geometry, section 1.15, but since the hypothesis in this book
is kinda different I couldn't use it to get the result I need.
I thought that since $f\vert_A=id:A\rightarrow A$, then for every $x\in
A$, $T_xf=Id$ which is surjective. Therefore $f$ is a local submersion in
$x$ and so, in a neighbourhood $U_x\underset{open}\subset M$ $f$ has
constant rank. Now I can collect all $U_x$ and get an open set $U$ in $M$
where $f$ has constant rank.
Is this correct? If it is, how can I apply the rank Theorem to finish the
proof?
By the way, this is question 2, Section 2 Chapter 1 from Hirsch's
"Differential Topology".
Thanks.

No comments:

Post a Comment