Help Understanding Andrew Browder's Proof of Proposition 8.14 from Math Analysis

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Maxima
Click For Summary
SUMMARY

The forum discussion centers on understanding Andrew Browder's proof of Proposition 8.14 from "Mathematical Analysis: An Introduction." Participants clarify that the limit expression $$\lim_{t \to 0} \frac{r(tv)}{t} = 0$$ can be rigorously demonstrated by recognizing that as $$t$$ approaches zero, the vector $$tv$$ also approaches zero. The discussion highlights the importance of distinguishing between fixed and variable vectors in the proof, confirming that Browder's conclusion, despite a minor omission of a negative sign, remains valid. This clarification aids in comprehending the implications of differentiable maps in mathematical analysis.

PREREQUISITES
  • Understanding of limits in calculus
  • Familiarity with differentiable maps
  • Knowledge of vector spaces in $\mathbb{R}^n$
  • Basic concepts of mathematical proofs
NEXT STEPS
  • Study the concept of limits in calculus, focusing on epsilon-delta definitions
  • Explore differentiable maps and their properties in mathematical analysis
  • Learn about vector spaces and their applications in analysis
  • Review techniques for constructing rigorous mathematical proofs
USEFUL FOR

Students of mathematical analysis, educators teaching calculus and analysis, and researchers interested in the foundations of differentiable maps and limits.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Andrew Browder's book: "Mathematical Analysis: An Introduction" ... ...

I am currently reading Chapter 8: Differentiable Maps and am specifically focused on Section 8.2 Differentials ... ...

I need yet further help in fully understanding the proof of Proposition 8.14 ...

Proposition 8.14 reads as follows:
View attachment 9409

In the above proof by Browder, we read the following:" ... ... For any $$v \in \mathbb{R}^n$$, and $$t \gt 0$$ sufficiently small, we find (taking $$h = tv$$ above) that $$L(tv) + r(tv) \leq 0$$, or $$Lv \leq r(tv)/t$$, so letting $$t \to 0$$ we have $$Lv \leq 0$$. ... ... Now ... the above quote implies that

$$\lim_{ t \to 0 } \frac{ r(tv) }{ t } = 0$$ ... ... But why exactly (formally and rigorously) is this the case ... ... ?I note that we have that $$\lim_{ h \to 0 } \frac{ r(h) }{ |h| } = \lim_{ t \to 0 } \frac{ r(tv) }{ tv } = 0$$... but this is (apparently anyway) not exactly the same thing ... we need to be able to demonstrate rigorously that$$\lim_{ h \to 0 } \frac{ r(h) }{ |h| } = \lim_{ t \to 0 } \frac{ r(tv) }{ t } = 0$$ ... ... ... but how do we proceed to do this ...?Hope someone can help ... ...

Peter

==============================================================================EDIT:

Just noticed that in the above quote, Browder argues that $$L(tv) + r(tv) \leq 0$$ implies that $$Lv \leq r(tv)/t$$ ... ... ... BUT ... i suspect he should have written $$L(tv) + r(tv) \leq 0$$ implies that $$Lv \leq - r(tv)/t$$ ... ..... however ... in either case ... when we let $$t \to 0$$ we get the same result ... namely $$Lv \leq 0 $$... ==============================================================================
 

Attachments

  • Browder - Proposition 8.14 ... .....png
    Browder - Proposition 8.14 ... .....png
    13.3 KB · Views: 147
Last edited:
Physics news on Phys.org
Peter said:
In the above proof by Browder, we read the following:" ... ... For any $$v \in \mathbb{R}^n$$, and $$t \gt 0$$ sufficiently small, we find (taking $$h = tv$$ above) that $$L(tv) + r(tv) \leq 0$$, or $$Lv \leq r(tv)/t$$, so letting $$t \to 0$$ we have $$Lv \leq 0$$. ... ... Now ... the above quote implies that

$$\lim_{ t \to 0 } \frac{ r(tv) }{ t } = 0$$ ... ... But why exactly (formally and rigorously) is this the case ... ... ?I note that we have that $$\lim_{ h \to 0 } \frac{ r(h) }{ |h| } = \lim_{ t \to 0 } \frac{ r(tv) }{ tv } = 0$$... but this is (apparently anyway) not exactly the same thing ... we need to be able to demonstrate rigorously that$$\lim_{ h \to 0 } \frac{ r(h) }{ |h| } = \lim_{ t \to 0 } \frac{ r(tv) }{ t } = 0$$ ... ... ... but how do we proceed to do this ...?
This is another case where you have to distinguish between fixed and variable vectors. Here, $v$ is fixed, but $tv$ varies, and goes to $0$ as $t\to0$. So $$\lim_{t\to0}\frac{r(tv)}{t|v|} = 0$$, and then you can multiply by the fixed nonzero scalar $|v|$ to get $$\lim_{t\to0}\frac{r(tv)}{t} = 0$$.

Peter said:
Just noticed that in the above quote, Browder argues that $$L(tv) + r(tv) \leq 0$$ implies that $$Lv \leq r(tv)/t$$ ... ... ... BUT ... i suspect he should have written $$L(tv) + r(tv) \leq 0$$ implies that $$Lv \leq - r(tv)/t$$ ... ..... however ... in either case ... when we let $$t \to 0$$ we get the same result ... namely $$Lv \leq 0 $$...
Absolutely correct! Browder has omitted a minus sign. But his conclusion is correct.
 
Opalg said:
This is another case where you have to distinguish between fixed and variable vectors. Here, $v$ is fixed, but $tv$ varies, and goes to $0$ as $t\to0$. So $$\lim_{t\to0}\frac{r(tv)}{t|v|} = 0$$, and then you can multiply by the fixed nonzero scalar $|v|$ to get $$\lim_{t\to0}\frac{r(tv)}{t} = 0$$.Absolutely correct! Browder has omitted a minus sign. But his conclusion is correct.

HI Opalg ...

Your post was most helpful to me ...

Peter
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K