16.04.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!