This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 44444 Remarks.* i) The sublemma shows that the mapping i :ML F (M) above is indeed an inclusion. If p $ q are distinct points of M, then there is a smooth function h on M such that [ i (p)](h) = h(p) = 1 $ [ i (q)](h) = h(q) = 0. ii) We can extend a derivation D at a point p on functions f defined only in a neighborhood U of p by taking a smooth function h on M such that h is zero outside U and constant 1 in a neighborhood of p and putting D(f) := ~ D(f), where ( ~ f(x)h(x) for x e U f(x) = { for x m U. 9 By lemma 2 this extension of D is correctly defined. n Lemma 3. Let f:BL R be a smooth function defined on an open ball B C Raround the origin. Then there exist smooth functions g 1 < i < n on B such that i n f( x ) = f( ) + S x g ( x ) for x = (x ,. ..,x ) e B i i 1 n i=1 and d f g ( ) =( ). i d x i 4...
View
Full
Document
This note was uploaded on 01/08/2012 for the course MATH 203 taught by Professor Sedita during the Spring '09 term at SUNY Stony Brook.
 Spring '09
 SEDITA

Click to edit the document details