Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

In our Riemannian geometry class we were asked to verify the following:

Let $M$ be a $k$-dimensional manifold in $\mathbb{R}^n$ and let $\varphi:U\subset\mathbb{R}^k\to M\subset\mathbb{R}^n$ be a $C^1$ coordinate chart with $U$ open. Then if $\varphi'(x)$ has full rank $\forall x\in U$ we have $\varphi(U)$ is open in $M$ (which I'm assuming means $\varphi(U)=M\cap V$ for some $V\subset\mathbb{R}^n$ , $V$ open?)

Any points of advice to get me started in the right direction? I not sure how I should approach proving something is open in the subset-topology sense.

share|cite|improve this question
Take a look at the inverse function theorem. – Bill Cook Nov 6 '11 at 22:02
up vote 2 down vote accepted

Basically all you need to do know is inverse mapping theorem.

Let $f\colon \mathbb{R}^n \supset U \times \mathbb{R}^{n-k} \to \mathbb{R}^n$ be the extension of $\varphi$ given by $$ f(x) = f(x_1,\dots,x_n) = (\varphi_1(x),\dots,\varphi_k(x),x_{k+1},\dots,x_n), $$ where $\varphi = (\varphi_i)$. By the assumption the square matrix $(D_j\varphi_i(x))_{i,j}$ has full rank (for appropriate choice of $j$'s).

Now you only need to show that the Jacobi matrix of $f$ is invertible, which is easy (or obvious).

Edit: While writing this I didn't see Bill's comment which of course gives the same idea, but maybe this answer would also be helpful.

share|cite|improve this answer
Thanks. That gives me enough to finish the proof. – Patch Nov 7 '11 at 1:31

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.