Take the 2-minute tour ×
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.

Suppose $\det f^\prime(a) \neq 0$, $f$ is continuously differentiable in an open set containing $a$. Spivak then show that there exist a closed rectangle $U$ containing $a$ in its interior such that $f(x) \neq f(a)$ for all $x \in U$.

Question1: Spivak then asserts that since $f$ is continuously differentiable in an open set containing $a$, therefore $\det f'(x) \neq 0$ for all $x \in U$. Why?

Question 2: $|D_j f^i (x)-D_j f^i (a)|<\tfrac{1}{2n^2}.$ How can we prove it?

share|improve this question
    
Can you please format your question using MathJax to make it more readable? Regards –  Amzoti Jan 4 '13 at 19:43

1 Answer 1

up vote 2 down vote accepted
  1. Since $f$ is continuously differentiable on a neighbourhood $V$ of $a$, $x \mapsto \det f^\prime(x)$ is continuous on $V$, so that since $\det f^\prime(a) \neq 0$, one can choose a sufficiently small closed rectangle $U_0$ containing $a$ as an interior point, such that $\det f^\prime(x) \neq 0$ for $x \in U_0$.

  2. Again, since $f$ is continuously differentiable on a neighbourhood $V$ of $a$, $x \mapsto f^\prime(x)$ is continuous on $V$, so one can choose a sufficiently small closed rectangle $U_1 \subseteq U_0$ containing $a$ as an interior point, such that $\| f^\prime(x) - f^\prime(a)\| < \tfrac{1}{2n^2}$ for $x \in U_1$ for $\|\cdot\|$ the norm on the relevant vector space of real matrices; in particular, then, for each $i$ and $j$, $$|D_j f^i(x) - D_j f^i(a)| \leq \| f^\prime(x) - f^\prime(a)\| < \tfrac{1}{2n^2}.$$

Since $U_1 \subseteq U_0$, $U = U_1$ does the trick, at least for claims 1. and 2.

share|improve this answer
    
If f is continuously differentiable then how can we prove that x→det f'(x) is continuous –  Tauseef Khan Jan 5 '13 at 14:26
    
Since $f : V \subset \mathbb{R}^n \to \mathbb{R}^n$ is continuously differentiable, $f^\prime : V \to M_n(\mathbb{R})$ is continuous; on the other hand, $\det : M_n(\mathbb{R}) \to \mathbb{R}$ is continuous, as the determinant of a matrix is a polynomial in its entries. Thus, $x \mapsto \det f^\prime(x)$ is a composition of continuous functions, and hence itself continuous. –  Branimir Ćaćić Jan 5 '13 at 15:01
    
Thank you very much –  Tauseef Khan Jan 5 '13 at 15:04

Your Answer

 
discard

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.