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

Let $f:R^{k+n} \rightarrow R^n$ be of class $C^1$; suppose that $f(a)=0$ and that $Df(a)$ has rank n. Show that if $c$ is a point of $R^n$ sufficiently close to $0$, then the equation $f(x)=c$ has solution.

share|cite|improve this question
it follows from Implicit function theorem? Or is there anything else you have in mind? – user27126 Nov 8 '12 at 18:47

Notation is the main impediment to a solution here.

Let $\Pi$ be a permutation matrix such that the first $n$ columns of $Df(a)\Pi$ are linearly independent, and write a point of $\mathbb{R}^{k+n}$ as $(x,y)$, with $x \in \mathbb{R}^n$. Let $(\hat{x}^T, \hat{y}^T)^T = \Pi^{-1} a $, and define $\phi(x) = f(\Pi (x^T,\hat{y}^T)^T)$. Note that $\phi$ is $C^1$ and $\phi(\hat{x}) = 0$.

Then we have that $D\phi(\hat{x})$ is invertible (since it is the first $n$ columns of $Df(a)\Pi$, ie, square matrix with $n$ linearly independent columns), we can apply the inverse function theorem to get a neighbourhood $U_{\hat{x}}$ of $\hat{x}$, a neighbourhood $V_{0}$ of $0$ (in $\mathbb{R}^n$) and a function $\eta:V_{0} \to U_{\hat{x}}$ such that $\phi(\eta(c)) = c$ for all $c \in V_{0} $. Since this implies $f(\Pi (\eta(c)^T,\hat{y}^T)^T) = c$, we see that the equation $f(x) = c$ has a solution for $c \in V_{0} $.

share|cite|improve this answer
I do not understand the notation $(x^T,y^T)^T$. – Cleiton Ricardo Nov 8 '12 at 20:57
If anyone can help me, thank you – Cleiton Ricardo Nov 8 '12 at 21:17
It is the vector $\pmatrix{ x_1 \\ \vdots \\ x_n \\ y_1 \\ \vdots \\ y_k}$. I was just trying to be notationally consistent. You could write it horizontally, but then I would need to write $\Pi^{-1}(a)$, $Df(a) \circ \Pi$, etc., this was I can use standard matrix notation. – copper.hat Nov 8 '12 at 22:15
thank you very much copper.hat, helped me a lot. – Cleiton Ricardo Nov 9 '12 at 1:45
You are very welcome, glad to be of help. – copper.hat Nov 9 '12 at 2:49

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.