Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am strugling one of the problems of "Differential Topology" by Guillemin:
Suppose that $Z$ is an $l$-dimensional submanifold of $X$ and that $z\in Z$. Show that there exsists a local coordinate system $\left \{ x_{1},...,x_{k} \right \}$ defined in a neighbourhood $U$ of $z$ such that $Z \cap U$ is defined by the equations $x_{l+1}=0,...,x_{k}=0$.
I assume that the solution should be based on the Local Immersion theorem, which states that "If $f:X\rightarrow Y $ is an immersion at $x$, then there exist a local coordinates around $x$ and $y=f(x)$ such that $f(x_{1},...,x_{k})=(x_{1},...,x_{k},0,...,0)$".
I would really appreciate any pointers on how to attack this problem.

share|cite|improve this question
Because $Z$ is a submanifold of $X$ you know that the inclusion $i:Z\rightarrow X$ is a immersion. Now you can use the result that you have stated. – Tomás Dec 27 '12 at 13:50
Thanks, that was helpful. – Tomas Dec 27 '12 at 14:01
up vote 2 down vote accepted

I found answers from Henry T. Horton at the question Why the matrix of $dG_0$ is $I_l$. and Augument, and injectivity. very helpful for solving this question.

To repeat your question, which is found in Guillemin & Pallock's Differential Topology on Page 18, problem 2:

Suppose that $Z$ is an $l$-dimensional submanifold of $X$ and that $z \in Z$. Show that there exists a local coordinate system {$x_1, \dots, x_k$} defined in a neighborhood $U$ of $z$ in $X$ such that $Z \cap U$ is defined by the equations $x_{l+1}=0, \dots, x_k=0$.

Here is my attempt Consider the following diagram:

$$\begin{array} AX & \stackrel{i}{\longrightarrow} & Z\\ \uparrow{\varphi} & & \uparrow{\psi} \\ C & \stackrel{(x_1, \dots, x_l) \mapsto (x_1, \dots, x_l, 0, \dots, 0)}{\longrightarrow} & C^\prime \end{array} $$

Since $$i(x_1, \dots, x_l) = (x_1, \dots, x_l,0,\dots, 0) \Rightarrow di_x(x_1, \dots, x_l) = (I_x, 0,\dots, 0).$$Clearly, $di_x$ is injective, thus the inclusion map $i: X \rightarrow Z$ is an immersion.

Then we choose parametrization $\varphi: C \rightarrow X$ around $z$, and $\psi: C^\prime \rightarrow Z$ around $i(z)$. The map $C \rightarrow C^\prime$ sends $(x_1, \dots, x_l) \mapsto (x_1, \dots, x_l, 0, \dots, 0)$.

The points of $X$ in a neighborhood $\varphi(C)$ around $z$ are those in $Z$ such that $x_{l+1} = \cdots x_k=0$, and this concludes the proof.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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