0.

1 Terceira denio do espao tangente num ponto em

Rn

Vamos considerar o conjunto C (a) das todas funes cujo domnio inclui o
ponto a Rn . Portanto, para f, g C (a) e a Rn possvel denir funes
(f, g) f + g

(1)

(f, g) f g

(2)

(, f ) f

(3)

onde os domnios das funes f + g e f g so igual a interseco dos domnios

das funes f e g e o domnio do funo f coincide com o domnio da funo
f . O conjuntoC (a) com operaes (1.2.11-13) uma lgebra sobre o corpo
dos nmeros reais. Seja Xa =

n
P

i Eai um elemento do Ta (Rn ). A derivada

i=1

direccional da f C (a) em direco Xa dada por



n
X
f 
i
Xa (f ) =

xj x=a
i=1

(4)

Ento Xa uma aplicao Xa : C (a) R dada por

Xa (f ) =

n
X
i=1

xj

(5)

onde derivaes x j calculamos no ponto a. Evidentemente a aplicao Xa tem

duas propriedades:
(
Xa (f + g) = Xa (f ) + Xa (g) (linearidade)
Xa (f g) = Xa (f )g + f Xa (g)
(regra de Leibniz)

(6)

onde , Rn e f, g C (a). Todas as aplicaes que tm propriedades

(1.2.14,15) so derivaes da lgebra C (a) com valores em R.
O conjunto das derivaes com valores em R vamos chamar D(a). A estrutura linear em D(a) dada por
(D1 + D2 )f D1 (f ) + D2 (g)

(7)

onde , R e D1 , D2 D(a). O espao Ta (R ) isomorfo ao espao D(a).

Este isomorsmo e uma correspondncia de cada elemento de Xa e Ta (Rn )
derivada direccional em direo do Xa .
Obviamente, esta aplicao injectiva. Para mostrar que esta aplicao e
sobrejectiva precisamos de mostrar que cada derivao no ponto a Rn uma
derivada direccional.
n

Sejam f uma funo da classe C (a), denida numa vizinhana U Rn do

ponto a U Rn , U do tipo estrela relativamente ao ponto a U , e x qualquer
ponto em U, i.e. x U . Ento,
n
n
X
X
i
i
f (x) = f (a) +
li (a)(x a ) +
lij (x)(xi ai )(xj aj )
i=1

(8)

i,j=1

onde li (x) e lij (x), i, j = 1, .., n, so funes da classe C (U ).

Como U do tipo estrela relativamente ao ponto a U , temos

d
f (a + t(x + a))dt
dt

f (x) = f (a) +
0

(9)

d
Para calcular a derivada dt
f (a + t(x + a)) usamos a formula (1.1.5) onde (t) =
a + t(x a). Substitumos o resulatdo na formula (1.2.19) e obtemos

f (x) = f (a) +

n
X

i=1


f 
dt (xi ai )
xj a+t(xa)

(10)

Denimos funes li (x), i = 1, .., n por

li (x) =
0


f 
dt
xj a+t(xa)

(11)

Para ests funes podemo usar formulas analogas a formula (1.2.19), i.e.

li (x) = li (a) +
0

d
li (a + t(x + a))dt
dt

para i = 1, ..., n. Calculamos as derivadas

(1.1.5), onde (t) = a + t(x a). Ento

n 1
1X

li (x) = li (a) +
0

i=1

d
dt li (a

(12)

+ t(x + a)) usando a formula


li 
dt
xj a+t(xa)

(13)

O ultimo passo deno das funes lij (x) por

lij (x) =
0


li 
dt
xj a+t(xa)

(14)

para i, j = 1, .., n. Substitumos isto cm (1.2.23) e depois usamos estas

formulas em (1.2.20) e nalmente temos
f (x) = f (a) +

n
n
X
X
li (a)(xi ai ) +
lij (x)(xi ai )(xj aj )
i=1

i,j=1

(15)

Sejam c uma funo constante numa vizinhana U do ponto a U Rn , e

D um elemento do espao D(a). i.c. D D(a). Ento,
D(c) = 0

(16)

Como D linear, equao (1.2.15). ento suciente considerar a funo

constante em U cujo valor c numero 1. Portanto,
D(1) = D(1 + 1) = 2D(1) = D(1) = 0

(17)

Sejam g e h duas funes da classe C (a), cujo domnio inclui o ponto

a Rn e cujo valor no ponto a e igual a zero, i.e. g(a) = h(a) = 0. Seja D um
elemento do espao D(a), i.e. D D(a). Ento,
D(gh) = 0

(18)

Para calcular D(gh) usamos a regra do Leibniz

D(f g) = D(f )g(a) + f (a)D(g) = 0

(19)

Sejam xi , i = 1, ..., n coordenadas em Rn e D um elemento do espao D(a)

i.e. D D(a). Ento,
D(xi ) = i
(20)
onde i , i = 1, ..., n so constantes.
Como D D(a) e i = x i , i = 1, ..., n uma base neste espao, temos
D=

n
X

i i

(21)

i=1

onde i , i = 1, ..., n so componentes de D relativamente a base i , i = 1, ..., n.

Uma observao, todas as derivadas i calculamos no ponto a. Pelas denies
das i , e das coordenadas xi temos
i (xi ) = ji

(22)

Portanto,
D(xi ) =

n
X
i i = i

(23)

i=1

Sejam f uma funo da classe C (U ), denida numa vizinhana U Rn ,

do ponto a U Rn , U do tipo estrela relativamente ao ponto a U , e D um
elemento do espao D(a) i.e. D D(a). Ento,
D(f ) =

n
X
i=1

i i (f )

(24)

onde i , i = 1, ..., n so constantes reais e i , i = 1, ..., n uma base no espao

D(a) .
: usar teorema + lemas
Isto mostra que a aplicao que a cada Xa Ta (Rn ) corresponde a derivada
direccional D D(a) em direo do Xa sobrejectiva. Como esta aplicao
tambm injectiva, ento temos um isomorsmo entre os espaos Ta (Rn ) e
D(a). Em particular, aos elementos da base cannica Eai i = 1, ..., n de Ta (Rn )
correspondem os elementos i , i = 1, ..., n da base cannica de D(a) .

0.2 Commutador [X, Y ]

n
P

Sejam X, Y campos vetoriais Xf =

f
i x
i e Y f =

i=1

n
P

f
n
i x
i em U R .

i=1

Chama-se de commutador dos campos X, Y e indica-se [X, Y ] o campo vetorial

XY Y X = [X, Y ]
(25)
Vamos conrmar que efectivamente XY Y X = [X, Y ] um campo vetorial.
Das denies precedentes temos que
Y (X (f )) =

n
X

j i

i,j=1

X (Y (f )) =

n
X

j i

i,j=1

n
X
i f
f
+
j j i
j
i
x x
x x
i,j=1

(26)

n
X
f
j f
+
i i
j
i
x x
x xj
i,j=1

(27)

Embora XY e Y X no sejam campos vetoriais dada a presncia de derivadas

parciais do segundo ordem, todavia XY Y X um campo vetorial dado que
essas eliminam-se naturalmente
(XY Y X)(f ) =

n
n
X
X
i=1

i
i
j

xj
xj
j=1
j

f
xj

(28)

Para ser explcitos nas varias utilizaes que podem ser feitas com o commutador:
onde [X, Y ]p (f ) = Xp (Y f ) Yp (Xf ) ou seja explicitamente
[X, Y ]p (f ) =

n
X

(p)

i,j=1

j
xi

 
p

f
xj

n
X

(p)

i,j=1

i
xj

 
p

f
xi

(29)

[X, Y ](f ) = [Y, X](f )

Sejam X = 2x e Y =
+ 2yx
dois campos vetoriais denidos sobre
x
x
y
R2 X, Y X(R2 ) . Vamos agora calcular [X, Y ] X(R2 )
!

f
f
2f
f
2f
X(Y f ) = 2x
+ 2yx
= 2x 2 + 2y
+ 4yx2
x x
y
x
y
xy
!
(30)
2

f
f
f
2f
2
Y (Xf ) =
+ 2yx
2x
=2
+ 2x 2 + 4yx
x
y
x
x
x
xy

Portanto no nal
X(Y f ) Y (Xf ) = 2y

f
f
2
= [X, Y ]f
y
x

0.3 Propriedades do Commutador [X, Y ]

Sejam X, Y campos vetoriais Xf =

n
P

f
i x
i e Y f =

i=1

n
P

f
n
i x
i em U R .

i=1

Ento o commutador [X, Y ] tem as seguintes propriedades:

Bilinearidade

A bilinearidade uma propriedade que deriva diretamente da

linearidade das derivadas parciais, de facto sejam , R
[X1 + X2 , Y ] = ((X1 + X2 ) Y Y (X1 + X2 )) (f ) =

n
X
i,j=1

1i

2i

(31)

n
i
i
X

j

j 1 + 2

= [X1 , Y ] + [X2 , Y ]
xi xj i,j=1
xj
xi

(32)

Anticomutatividade

A anticomutatividade tambm uma directa consequncia da denio do commutador

[X, Y ] = (XY Y X) = (Y X XY ) = [Y, X]

Idendidade de Jacobi

(33)

Precisamos demonstrar a idendidade:

[X, [Y, Z] + [Y, [Z, X]] + [Z, [X, Y ]] = 0

(34)

para fazer isso podemos

[X, [Y, Z]] = X (Y Z ZY ) (Y Z ZY ) X = XY Z XZY Y ZX + ZY X
[Y, [Z, X]] = Y (ZX XZ) (ZX XZ) Y = Y ZX Y XZ ZXY + XZY
[Z, [X, Y ]] = Z (XY Y X) (XY Y X) Z = ZXY ZY X XY Z + Y XZ

Portanto adicionando todos os termos obtemos que

[X, [Y, Z] + [Y, [Z, X]] + [Z, [X, Y ]] = 0

(35)

(36)