Proving Differentialbility of h: R^n -> R^m | Step-by-Step Guide

  • Thread starter Thread starter Pearce_09
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving the differentiability of a function h: R^n -> R^m, specifically exploring the condition that each of its m components hi: R^n -> R must also be differentiable. The original poster expresses difficulty in initiating the proof and seeks guidance on the approach.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss using the triangle inequality and the chain rule as potential tools for the proof. There is an exploration of the implications of differentiability of the components on the differentiability of the overall function. Questions arise regarding the definition of "differentiable" and the assumptions made in the proof process.

Discussion Status

Some participants have provided insights into the proof structure, including the use of the triangle inequality and the exploration of contradictions. However, there is no explicit consensus on the validity of the proof presented, and further clarification and exploration of definitions are ongoing.

Contextual Notes

Participants are navigating the definitions and implications of differentiability, with some uncertainty about the assumptions made in the proof. The original poster's approach involves assuming one component is not differentiable to seek a contradiction, which is a point of discussion.

Pearce_09
Messages
71
Reaction score
0
Hello
Im trying to prove that a function h: R^n -> R^m is differentialbe if and only if each of the m components hi: R^n -> R is differentiable.
I know that i have to use the coordinate projection function and the chain rule for one implication, but I am having lots of trouble starting the problem off.
thanks
A.P.
 
Physics news on Phys.org
.......
 
If all components are differentiable then my guess is that you can use the triangle inequality to show that the function itself is dif'able.

For the only if part, you could assume that one of the components is not differentiable while the function is dif'able and hopefully a contradiction will be obvious.
 
Exactly what is your definition of "differentiable"?
 
Ok i used the triangle inequality to show that the function itself is differentiable; my work looks like
assume (h1, h2, ... , hm) is differentiable
therefore by the triangle inequality,
= ||(h1 ... hm)(x) - (h1...hm)(Xo) - D(h1...hm)(Xo)(x-Xo)||/ ||x-Xo||
and since h= (h1,h2, ..., hm)
then
||h(x) - h(Xo) - Dh(Xo)(x-Xo)|| / ||x-Xo||

now my proof was that the function is differentiable if and only if each component is differentiable.
and i assumed that one component was not differentable where the entire fn was differentiable. To hopefully find that it is a contradiction.
my work looks like: assume hj is not differentiable

since h= (hi,h2,..hj...,hm)
= ||(hi,...hj...hm)(x) - (hi,...hj,...,hm)(Xo) - D(hi,...hj,...,hm)(Xo)(x-Xo)||
/ ||x-Xo||

and i went on to say that this is
<= || hi(x) - hi(Xo) - Dhi(x-Xo) + ...+ hj(x) - hj(Xo) - Dhj(x-Xo) +...
but i assumed hj was not differentiable
therefor this is a contradiction, therefor if h is differentiable
then the,
sum (i=1 to m) hi must be differentiable


is this a good proof showing that all components are differentiable.. or am i doing somthing wrong?
 

Similar threads

Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 36 ·
2
Replies
36
Views
7K
Replies
9
Views
2K
Replies
0
Views
1K