O Teorema de Stokes em Variedades - Fernando UFMS/CPAq
O Teorema de Stokes em Variedades - Fernando UFMS/CPAq
O Teorema de Stokes em Variedades - Fernando UFMS/CPAq
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.1 Varieda<strong>de</strong>s Diferenciáveis 48<br />
Portanto, a <strong>de</strong>rivada direcional na direção do vetor v é um operador sobre<br />
funções diferenciáveis que <strong>de</strong>pen<strong>de</strong> apenas <strong>de</strong> v. Por meio <strong>de</strong>ssa proprieda<strong>de</strong> po<strong>de</strong>mos<br />
<strong>de</strong>finir o conceito <strong>de</strong> vetor tangente à uma varieda<strong>de</strong> e, posteriormente <strong>de</strong>finir um espaço<br />
tangente à uma varieda<strong>de</strong> diferenciável.<br />
Consi<strong>de</strong>r<strong>em</strong>os um varieda<strong>de</strong> diferenciável M n e D o conjunto das funções <strong>em</strong><br />
M n que são diferenciáveis <strong>em</strong> p, e escolha uma parametrização f : U ⊂ R n → M n <strong>em</strong><br />
uma vizinhança <strong>de</strong> p = f(0, · · · , 0). Então a curva α : I → M n , e uma função ϕ ∈ D<br />
po<strong>de</strong>m ser escritas respectivamente como<br />
Então, por (3.2) po<strong>de</strong>mos escrever<br />
f −1 ◦ α(t) = (x1(t), · · · , xn(t));<br />
ϕ ◦ f(q) = ϕ(x1, · · · , xn), q = (x1, · · · , xn).<br />
α ′ (0)ϕ = d<br />
dt (ϕ ◦ α) t=0 = d<br />
dt ϕ(x1(t), · · · , xn(t)) t=0 =<br />
n<br />
i=1<br />
x ′ <br />
∂<br />
i(0) ϕ. (3.3)<br />
∂xi 0 0<br />
Logo o vetor tangente α ′ (0) <strong>em</strong> p po<strong>de</strong> ser escrito como<br />
α ′ n<br />
(0) = x ′ <br />
∂<br />
i(0) . (3.4)<br />
∂xi 0<br />
i=1<br />
Estas consi<strong>de</strong>rações feitas anteriormente serv<strong>em</strong> para po<strong>de</strong>rmos observar que,<br />
chamando <strong>de</strong> TpM ao espaço tangente <strong>em</strong> p <strong>de</strong> uma varieda<strong>de</strong> diferenciável M, então<br />
a escolha <strong>de</strong> uma parametrização ao redor <strong>de</strong> p servirá para <strong>de</strong>terminar uma base para<br />
TpM, que <strong>de</strong> fato será um espaço vetorial. Detalhes a respeito <strong>de</strong>sta construção po<strong>de</strong>m<br />
ser encontrados na referência [3].<br />
De forma resumida, assumir<strong>em</strong>os a seguinte <strong>de</strong>finição.<br />
Definição 3.1.8. Seja M n uma varieda<strong>de</strong> diferenciável e p ∈ M n . Chamar<strong>em</strong>os <strong>de</strong> espaço<br />
tangente a M n <br />
<br />
<strong>em</strong> p ao conjunto TpM. E a base ; i = 1, · · · , n para TpM será<br />
chamada base associada à parametrização f.<br />
∂<br />
∂xi<br />
Agora que <strong>de</strong>finimos o espaço tangente à uma varieda<strong>de</strong>, po<strong>de</strong>mos <strong>de</strong>finir a<br />
diferencial <strong>de</strong> uma aplicação ϕ : M n 1 → M m 2 , utilizando <strong>de</strong>stes conceitos.<br />
Definição 3.1.9. Sejam M n 1 e M m 2 varieda<strong>de</strong>s diferenciáveis, e ϕ : M n 1 → M m 2 uma<br />
aplicação diferenciável. Para cada p ∈ M n 1 , a diferencial <strong>de</strong> ϕ <strong>em</strong> p é a aplicação linear<br />
dϕp : TpM n 1 → Tϕ(p)M m 2 ,<br />
0