• Support PF! Buy your school textbooks, materials and every day products Here!

Differential Geometry (do Carmo) proof

  • Thread starter murmillo
  • Start date
  • #1
118
0

Homework Statement


I'm going over a proof in Differential Geometry of Curves and Surfaces by do Carmo, and I don't know why the proof can't be shortened to my proof given below. (Proposition 9 on page 130)

Proposition. Let f:U-->R be a differentiable function defined on a connected open subset U of Rn. Assume that dfp:Rn-->R is zero at every point p in U. Then f is constant on U.

Homework Equations


A surface S is connected if any two points can be joined by a continuous curve in S.

The Attempt at a Solution


Let p and q be in U. We want to show that f(p)=f(q).
Since U is connected, there exists a continuous curve X:[a,b]-->U with X(a)=p and X(b)=q.
Since U is open, we can extend X to (a-epsilon, b+epsilon).
Now, f o X : (a-epsilon, b+epsilon) -->R is a function defined in an open interval, and d(f o X)t = (df o dX)t = 0, since df=0.
Thus d/dt(f o X) = 0 for all t in (a-epsilon, b+epsilon), and hence f o X = const.
This means that f(X(a))=f(p)=f(X(b))=f(q); that is, f is constant on U.

The book's proof is similar to mine, but it is longer and not the same as mine. So, is my proof OK, or am I missing something?
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,792
920
You seem to be assuming that your curve, X, is smooth. The fact that the space is connected means that there exist a path between any two points but not necessarilly a smooth path.
 
  • #3
118
0
Oh, I see. Thank you.
 
  • #4
352
0
Isn't it true that any connected open subset of [tex]\mathbb{R}^n[/tex] is [tex]C^\infty[/tex] path connected, though? It seems like the same argument that proves a (continuous) path component and its complement are both open should work for [tex]C^\infty[/tex] paths because a piecewise linear path can have its vertices smoothed away to infinite order over a region as small as you like.
 

Related Threads for: Differential Geometry (do Carmo) proof

Replies
4
Views
3K
Replies
0
Views
5K
  • Last Post
Replies
0
Views
686
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
764
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
7
Views
3K
Top