GEOMETRÍAY TOPOLOGÍA II

Diferenciación en variedades
FÓRMULADE LEIBNIZ

Sean X , Y , Z tres variedades diferenciables y h: X xY  Z una aplicación

∞
diferenciable C . Sea  x 0 , y 0  ∈ X x Y.

Definimos :

x : 0
Y  X xY y :
0
X  X xY
1. y  x  y = x 0 , y  x   y  x = x , y 0 
0 0
∞
Ambas son diferenciablesC
d  x  y :
0
T yY  T   y  X x Y 
x0
d  y x : T x X 0
 T y0 x  X xY 

Definimos ahora :

1 : X xY  X 2 : X xY  Y
x , y   1  x , y =x x , y   2  x , y =y
∞
También son diferenciablesC
d 1  x , y : T  x , y  X x Y   TxX  d 2  x , y : T  x , y  X x Y   T yY
2.

Por último , definimos también :

: T x X x T y Y 0 0
 T x 0 , y 0 X xY 
v , w    v , w =d  y x v   d x  y w 
0 0 0 0

: T x , y  X x Y  
0 0
T x X xT y Y
0 0

v  v =d 1  x v  , d 2 x v 

3. 0 , y0  0 , y 0
Se cumple que :

°=id

Sea v , w  ∈ T x X x T y Y. 0 0

°v , w =v , w =  d  y  x v   d  x  y w  = 0 0 0 0

=  d 1 x , y  d  y  x v  d 1 x , y d x  y w , d 2  x , y   d  y  x  v  d 2 x , y d x  y  w
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

= d 1  x   d y x v  d 1  y  d x  y w , d 2  x d  y  x v  d 2   y  d  x  y  w
y0 0 0 0 x0 0 0 0 y0 0 0 0 x0 0 0 0

=  d 1 ° y x  v  d 1 ° x  y  w  , d 2 °  y  x v   d 2 °  x  y w 

0 0 0 0 0 0 0 0

=  d id X x v   d C 1 y  w  , d C 2  x  v  d id Y  y w  
0 0 0 0

=  v  0 , 0  w = v , w  ⇒°=id

 es una aplicaciónlineal entre espacios vectorialesque tienen la misma dimensión

como espacios vectoriales dimEV T  x , y   X x Y =dimEV T x X x T y Y . 0 0

es biyectiva. Precisamente por lo que acabamos de escribir , para probar que  es biyectiva ,
bastará con ver que  es inyectiva o suprayectiva. Ahora bien , como °=id y id es suprayectiva,
tenemos que es suprayectiva y por tanto, biyectiva.

−1= y −1 =. Como °=id y  es biyectiva ⇒−1 ° °=−1 °id ⇒=−1 .
−1
 Análogamente= 

Con todo esto , procedemos a enunciar la FÓRMULADE LEIBNIZ :

Sean X ,Y , Z tresvariedadesdiferenciablesy h: X x Y  Z una aplicación

diferenciableC ∞ . Sean  x0 , y 0  ∈ X x Y , v ∈ T  x , y   X x Y  . Setiene que: 0 0

dh x , y   v=d  h°  y  x  d  1  x , y   v  d  h°  x  y  d  2 x , y   v

0 0 0 0 0 0 0 0 0 0

Demostración.

d h°  y x  d 1  x , y  v   d h ° x y d 2 x , y  v  =

0 0 0 0 0 0 0 0

= dh  x   d  y x d 1  x , y   v  dh   y  d  x  y d 2 x , y  v =

y0 0 0 0 0 0 x0 0 0 0 0 0

= dh  x , y  d  y x  d 1  x , y  v   dh  x , y   d  x  y d 2  x , y  v  =

0 0 0 0 0 0 0 0 0 0 0 0

= dh  x , y  d  y x  d 1  x , y  v   d  x  y d 2 x , y  v =

0 0 0 0 0 0 0 0 0 0

= dh  x , y  °v =dh  x , y  v 
0 0 0 0

Los argumentosutilizados en la demostración fueron las propiedades antes obtenidas y

la linealidad de la diferencial en un punto.