Professional Documents
Culture Documents
1=1
Isto sugere a definio seguinte.
Uma/orma diferencial de grau l, ou simplesmente uma 1-forma de-
I m i i l a . no conjunto X C M", uma aplicao w: X -> (R")*. A cada
I M I H I . I I :c c- X, u associa o funcional linear w(x), o qual se exprime em
l,ci ms da base {dx\, . . . ,dxn} C (En)* como
di(x) = u](x) G . Quando X = U C K" aberto e essas funes so de forma O: M2 - {0} -> (R 2 )* definida por
classe Ck, diz-se que o; uma forma de classe Ck e escreve-se w 6 Ck .
Se u; = df a diferencial de uma funo / : [7 > K, diz-se que to uma rw N -y dx + dy.
forma exata em 7 e que / sua primitiva,. Evidentemente, se c G R, x2 + y2 x2 + y2
f + c tambm primitiva de LU.
Escrevendo fi = adx +frcfy,um clculo simples mostra que
Ao afirmar que a forma LU exata, indispensvel especificar seu
domnio U. Uma fornia u: U > (R n )* pode ser exata num aberto y2 - x2 da
V C U e no ser exata em [7. dx (x2 + y2\2 dy '
Intimamente associado 1-forma ui: X > (Rn)* o campo de ve-
tores f : X > Kn tal que w(x) u = (v (x], u) para todo vetor u G Rn logo fi fechada. Entretanto, se U C R2 {0} um aberto que contm
e todo ponto x- e X. Em cada ponto x X, se w (.r) = ]P a.i(x)dxi uma circunferncia C, de raio r e centro na origem, O no exata em
ento t>(x) = (ai (x), . . . , a n (x)) = ^ cii(x)ei . A forma w = d/ exata U. Para mostrar isto, consideraremos o campo de vetores v: U > IR 2 ,
se, e somente se, t> = grad/. A funo / chama-se ento uma funo associado a 2, o qual dado por
potencial do campo v.
Assim, o estudo das formas diferenciais de grau l definidas em sub-
conjuntos do espao Rn equivale ao estudo dos campos de vetores de-
finidos nesses conjuntos e a questo de saber se uma forma exata ou
no corresponde a indagar se o campo de vetores que lhe corresponde
um campo gradiente.
Uma condio necessria para que a 1-forma u = ^ a^dxi , de classe
C1 no aberto U C R, seja exata que sejam satisfeitas as chamadas
r ~ , i - 4 i. -r j J da da3 r 1 \ de integrabilidade = (z, j = l, . . . , n).
OXj OXi
Com efeito, se u = df ento ai = i , portanto
y 9_ -y x 00
cos 9(x, y) = e sen6(x,y) = (*) dx + y2 S
E (a) = , definimos a funo-ngulo 6: M2 p t R pondo, para todo Corolrio 3. A forma elemento de ngulo localmente exata.
R a a + 27T
O
-H
S = (z, y)
E(t) = (cosi, sen )
Demonstrao: Suponhamos inicialmente que U seja conexo. Seja Por outro lado, a funo harmnica n: R 2 {0} R,
/: U -> IR tal que df = em U. Pelo Corolrio l da Proposio B, l
2
-y 2 dx ~\ y) = - log(ar + y )
Z 6\: D\> R. Fixemos um XQ L.x -\- y
podemos escrever U = [J D\e modo que em cada disco aberto D\ definida uma funo-ngulo
que no exata em M2 {0}. Logo, u = -log(x 2 + y 2 ) no a parte
Z
No conjunto conexo D\ as funes / e 6\ tm a mesma diferencial fi. real de uma funo holomorfa em R2 {0}.
Portanto / Q\ = c constante em D\ . Substituindo / por / c,
Exemplo 3. Seja / = a + ib uma funo holomorfa no aberto U C C.
que tambm uma primitiva de 7, podemos admitir que / = 0\ em
Em virtude das equaes de Cauchy-Riemann, as 1-formas ui = adx bdy
D\ . Para todo A L, a diferena / 9\ constante em D\ ponhamos
e (p = bdx + ady so fechadas. Elas so exatas em U se, e somente se,
A = ir- (f 0\)- Se D\ D^ ^ 0, como 9\ 9^ so funes-ngulo no du du
i7V existem funes u, v : U > R, de classe C 2 , tais que = a, = 6,
conjunto conexo D\ D^ , conclumos que ox oy
v dv
= b e = a. Ento a funo complexa g = u + iv: U > C cumpre
ox oy
du du
as condies de Cauchy-Riemann, logo holomorfa, e g1 h i -^- =
um inteiro. Alm disso, t\ = 0. Segue-se da Proposio C que t\&TL C/X C/X
(i + ib = /. Portanto, a fim de que a funo holomorfa f : U > C,
para todo A. Conseqentemente, / (ou / c na notao inicial) uma
dada por f = a + ib, possua uma primitiva g: U > C (isto , g' =
funo-ngulo. Caso U no seja conexo, o argumento acima prova que
/) necessrio e suficiente que as 1-formas fechadas u = adx bdy e
existe uma funo-ngulo em cada componente conexa de U, a qual
(p = bdx + ady sejam ambas exatas em U.
um conjunto aberto. Essas funes, consideradas conjuntamente, do
uma funo-ngulo O : U > R. D Kxemplo 4. Como caso particular do Exemplo 3, tomemos / : C
Exemplo 1. Uma funo u: U > M, de classe C2 no aberto U C IR2, {()} -> C, f (z) = l/z = x/(x2 + y2) - iy/(x2 + y 2 ). Com a notao
d2u d2u iicima, temos ui = (xdy + ydx] / (x2 + y 2 ) e <p = O = elemento de ngulo.
chama-se harmnica quando satisfaz a equao de Laplace ^ H -- A l -forma w exata em C {0}; de fato w = du, onde u = log \fx2 + y2.
dx2 dy2
du Mas sabemos que fi no exata, logo / no admite primitiva em C {0}.
0. Isto equivale a afirmar que a 1-forma w = dx H -- dy, definida
oy ox l 'ara concluir estas consideraes gerais sobre 1-formas fechadas e
em U, fechada. Para que a forma o; seja exata, deve existir uma funo exalas, ampliaremos a validez do Corolrio 3 da Proposio B acima,
dv du dv du
U , de classe C , tal que = e ~ Estas so as provando que todo ponto do domnio de uma forma fechada possui uma
dx dy dy dx
equaes de Cauchy-Riemann. (cfr. Vol. 2, Cap. 5, Exemplo 7.) Elas vi/inliana, restrita qual a forma exata. Este o significado do
significam que a funo /: U - C, definida por f (z) = u(z) + iv(z), Trnroma 2. Toda forma fechada localmente exata.
holomorfa, isto , possui derivada no sentido complexo em todos os
l )iiiimnst;rao: Provaremos que, num disco aberto em W1, toda forma
pontos de seu domnio U. Portanto a funo harmnica u: U > M
|i'rli;ula exata. Para simplificar a notao, consideraremos a forma
a parte real de uma funo holomorfa /: U > C se, e somente se, a
fjlf //?/ Inchada w = adx + bdy + cdz, definida no disco aberto U com centro na
1-forma fechada w: U > (R 2 )*, u = dx + - dy exata. . da db da de db de
dy dx I M I T I U cm IR . Temos = , = e TT = TT" Definimos a
oy ox oz ox oz oy
Exemplo 2. Vejamos dois casos particulares do Exemplo 1. A funo I n i i r i u /' : (l > K, pondo, para todo (x, y, z) e U:
u: R2 > R, definida por u(x,y) = x2 y 2 , harmnica. A 1-forma
a ela associada u = 2ydx + 2xdy, a qual exata: u ~ dv, onde
'(.r, y) = 2.r y. E, do fato, u a parte real da funo holomorfa / : '(" > C, [a(tx, ty, tz}x + b(tx, ty, l.z)y + c(l,x, Ly, z)z] dt.
10 Integrais Curvilneas Cap. l Seo 2 Integrais curvilneas 11
Designemos por A: [0,1] > U o caminho retilneo que liga a origem 2 Integrais curvilneas
ao ponto (x, y, z) 6 U. Pela Regra de Leibniz (derivao sob o sinal de
integral, cfr. Teorema 3 do Cap. 3, vol. 2) temos Sejam ui { uma 1-forma contnua no conjunto X C
da db de m 7: [a, ] -> X um caminho de classe C1, com 7() = ( z i ( ) , . . . ,xn(t)),
(x, y, z) = - t y + --tz\
dx JQ dx ox dx t e [a, 6]. A integral de uj ao longo de 7 definida como
onde as derivadas parciais so calculadas no ponto (tx,ty,tz). Como n {,
db/dx da/dy e dc/dx = da/dz, podemos escrever
da da da = /
i=l Ja
- - dt =
oy az
Analogamente, se v: X -> IR" um campo vetorial contnuo, sua integral
ri
/ [(aoX)-t]'dt = ao longo do caminho 7 definida como
Jo
Observao. Um conjunto X C M" chama-se estrelado quando contm Portanto a integral de uma forma exata depende apenas das extre-
um ponto p (o vrtice) tal que o segmento de reta unindo qualquer midades do caminho de integrao. Em particular, se 7 um caminho
ponto x G X a p est contido em X. Por exemplo, todo conjunto lirliado (7(a) = j(fy) e w exata ento J w = 0.
convexo estrelado e qualquer um dos seus pontos serve de vrtice. O Ncsl,e contexto, o Teorema 2 fundamental: se 7 e r/ so caminhos
argumento acima mostra que se o aberto U C W1 estrelado ento i l r classe; C'1 com as mesmas extremidades, ambos contidos na mesma
toda 1-forma fechada de classe C1 em U exata. O teorema acima l H ila aberta B ento, para toda forma fechada w definida em B, tem-se
permite acrescentar aos Exemplos l e 3 que toda funo harmnica de l n / w.
duas variveis localmente a parte real de uma funo holomorfa e que 'i '</
toda funo holomorfa possui localmente uma primitiva holomorfa. E O teorema seguinte mostra que J w invariante sob uma repara-
se o aberto U C W1 estrelado (em particular, se U = M"), toda funo inH.ii/.aao do caminho 7, desde que o sentido geral do percurso seja
harmnica a parte real de uma funo holomorfa em U e todo carnpo tido.
v: U -> W1 de classe C1, que cumpra as condies de intcgrabilidade
Tnon-mn U. Sc.ja (f: [c,d] -> [a, b] de classe C1. Se (f>(c) = a e ip(d] = b
^r = (onde v (x) = (ai ( . - r ) , . . . , an(x}} para todo x G f/) o campo vnlim / ' , , , , w = L(JJ. Se, porm, tp(c) = b e (p(d) a ento j^0pu
u',L j (jr.r,'\e de uma funo ./': U -t K.
d'.
^
12 Integrais Curvilneas Cap. l Seco 2 Integrais curvilneas 13
Demonstrao: Supondo (p (c) = a e (p (d) = , o Teorema de Mudana O caminho justaposto 7 = 71 V 72 : [0,1] > R", de dois caminhos
de Variveis (Vol. l, Cap. 11, Teor. 2) e a Regra da Cadeia nos do Tl j 72: [0, 1] -> M, tais que 71 (1) = 72(0), definido por j(t) 71 (2)
se e [0,1/2] e 7() = j2(2t - 1) se [1/2,1]. A observao que
(jj = 7 () dt = lf w(7 o <>(s)) i(if(a)} (p1 (s) ds acabamos de fazer permite definir o caminho justaposto 7 = 71 \/72 para
7 ^V(c) Jc quaisquer 71: [a, b] ) R" e 72 : [c, d] -> R" desde que 71(6) = 72 (c). E
podemos escolher como domnio de 7 um intervalo compacto arbitrrio.
= d ui(j o (p(s)) (7 o tp) (s) ds = l LU. Diz-se que o caminho 7 : [a, 6] > R71 de classe C por partes quando
J C J ^0(p
7 contnuo e, alm disso, existe uma partio P = {a = Q < ti < <
Se for <p(c) = b e (p(d) = a, basta ver que J = tm b} tal que a restrio de 7 a cada intervalo [j-i, tj], j = l, . . . , m,
a de classe Ck. Isto equivale a dizer que 7 = 71 V V jm o justaposto
Dizemos que 7 o <^ uma reparametrizao positiva de 7 quando de caminhos de classe Ck .
<>: [c, d] -> [a, 6], 7: [a, ] ) M", </j(c) = a, </?(<i) = 6 e (p e C1. Se, ao Um exemplo de caminho de classe C00 por partes o caminho poli-
contrrio, tem-se <p(c] = b e <^(o) = a, 7 o tp chama-se uma reparame- i/onal, formado pela justaposio de caminhos retilneos.
trizao negativa de 7. Se 7: [a, 6] ) X C Rn um caminho de classe C1 por partes, dado
Um exemplo tpico de reparametrizao negativa dado pelo ca- pela justaposio 7 = 71 V V 7m de caminhos de classe C1, define-
minho oposto 7*: [a, ] > R do caminho 7. Tem-se, por definio, se; a integral J u; de uma 1-forma contnua w: X pondo-se
7*() = 7(0 + b ), logo 7* = 7 o <^, onde </?: [a, ] > [a, 6], dada por
tp(t) = a + b , tal que <p(a) = b e y>() = a. Ento L* w = J u> !~t]
para toda forma w. Esta definio independe da partio P do intervalo [a, ], em cujos
A funo <^: [0,1] > [a, ], com tp(s) = (l s)a + sb origina uma intervalos [ t j - i , t j ] esto definidos os caminhos 7^ de classe C1. Para
reparametrizao positiva 7 = 7 o tp: [0,1] ) Rn do caminho 7: [a, 6] > mostrar isto, comeamos notando que se Q uma partio que refina
R". Tem-se Jlw = f u para qualquer 1-forma contnua w cujo domnio / ' , o valor de J o; o mesmo, quer se use Q ou P, pois cada intervalo /
contenha a imagem de 7 (que a mesma de 7). dr /' a reunio de intervalos consecutivos de Q e, como 7 de classe
-rd ' 1 cm /, a aditividade da integral na reta garante o resultado. No caso
y.nal, torna-se uma partio R que refine P e Q, e as integrais, usando
" 7 i (&) = 72 ( c ) /' mi (,j, coincidem com aquela usando R.
--c ( ) teorema seguinte a caracterizao mais geral de uma 1-forma
i'Hil,;i.
Figura 6. O caminho justaposto 7 = 71 V 72: tem-se 71: [a, ] * R" c i l ) / d) dc.pmde unicamente dos extremos 7(0) e 7(6) do caminho
72: [c, d] -> R", com 71(6) = 72(0). Ento 7 = 71 V 72 : [0,1] - R" dado i | n , / i | > 11 tli' c.lafmc. C*1 por partes.
por 7() = 7i(<p()) se O < < 1/2 c 7 () = 7 2 (V'( )) HC '/- <: ' < J-, 0flllloiiMl,rao: Evidentemente, 1) => 2). Alem disso, se admitirmos
= a l 1t(b - a) t> (/'() = 2c: - / + 2(f/ - r). V ) i ' i i t , i i n , dados os raminhos 7,7: |a,/>| > f/, de classe (71 |>or ]);i,rl,es,
M Integrais Curvilneas Seio 3 l n varincia homotpica
C.i|i. l
com os mesmos extremos, isto , 7(0) = 7(0), 7(6) = 7(6), o caminho fechado e t,em-sc o que se chama de homotopia livre (pois nenhum ponto
7 V 7*, obtido justapondo 7 com o oposto 7* de 7, fechado portanto, obrigado a permanecer fixo). Passemos s definies formais.
por 2), tem-se Sejam 70,71: [a, 6] > X caminhos no conjunto X C W1, com 70(0) =
7i(a) e 7o(&) = 7i(&)- Uma homotopia entre 70 e 71 uma aplicao
/ u; = / w + UJ = = 0, contnua H: [a, b] x [0,1] - X tal que H ( a , t ) = 70(0), H (b, t) = 70(6),
7* 7V7* J(s,0) = 7 0 ( s ) e H(s,l) =71 (s) para todo e [0,1] e todo s e [a, 6].
Se 70,71: [a, b] > X so caminhos fechados, uma homotopia livre
lg / 7W = /y w , ou seja, 2) => 3). Suponhamos agora que valha 3)
entre 70 e 71 uma aplicao contnua H: [a,b] x [0,1] > X tal que
e, temporariamente, admitamos que U seja conexo. Fixamos um ponto
ff (a, ) =f(M), #M) =7o(s) e f f ( s , l ) =71(5) para todo e [0,1]
p <E U -e definimos a funo /: U -> R pondo, para cada x U, f (x)
e todo s E [a, 6].
$* w, onde Jpx significa a integral de w ao longo de qualquer caminho C1
Na interpretao intuitiva acima dada, os caminhos Ht definidos pela
em U ligando p a x. Se w = vamos provar que homotopia H so Ht: [a, b] -) X, Ht(s) = H(s,t), s e [a, 6], t [0,1]. A
t
i = l, . . . ,n, em todo ponto x U, portanto df = w em U. Ora, usando continuidade de H exprime que o caminho Ht depende continuamente
d de t.
para indicar sempre a derivada no ponto = O, temos:
X
^J J / \* p / d
F)r-
t/X 3 rlii
U, dt H
d /*
= / a,i(x + sei)ds = ai
ai 7o O- 1 -
3 Invarincia homotpica
K
Provaremos a seguir que a integral de uma 1-forma fechada no varia
quando se submete o caminho de integrao a uma deformao contnua
mantendo fixas suas extremidades ou, se o caminho for fechado, preser-
vando este fato. A deformao deve processar-se dentro do domnio da
forma. Ela chamada uma homotopia. Intuitivamente, uma homotopia
H entre os caminhos 70,71: [a, ] -> X no conjunto X C W1 uma Figura 7. Uma homotopia H entre caminhos com mesmas extremidades e
famlia de caminhos Ht: [a, b] -> X, t [0,1], comeando com H0 = 70 , uma homotopia livre K entre caminhos fechados.
terminando com HI = 7! e Ht dependendo continuamente do parmetro
t. A fim de que esta noo no seja incua, exige-se que 70 e 7! tenham Escreve-se H: 70 ^ 71 para indicar que H uma homotopia entre os
as mesmas extremidades, as quais permanecem fixas durante a homoto- caminhos 70 e 71 que tm as mesmas extremidades e H: 70 71 para
pia, isto , so as extremidades do caminho Ht para todo t [0,1]. Se indicar uma homotopia livre entre os caminhos fechados 70 e 71 .
7o e 71 forem caminhos fechados, exige-se que cada Ht, t e [0,1], seja Ao mencionar uma homotopia entre caminhos, essencial ter em
16 Integrais Curvilneas Cap. l Seo 3 Invarincia homotpica 17
mente o conjunto X no qual a homotopia tem lugar (ou seja, o contra- Q < i < < r = 1} de [0,1] to finas que os retngulos RJ
domnio da aplicao H: [a,b] x [0,1] > X) pois, ampliando X, dois [sj_i,Sj] x [j_]_, j] tenham dimetros < S, logo H (Ri j) est contido
caminhos que no eram homotpicos podem passar a ser. E vice-versa, numa bola f3jj C U. Escrevendo Zij = H (sj,j), vemos que os caminhos
restringindo X, caminhos antes homotpicos podem perder esta proprie- retilneos ^ = [zi_ij,^] e fy = [ z i j - i , Z i j ] , bem como c^j-i e A-ij ,
dade. esto contidos na bola -Bjj . (l < i < m, l < j < r). (Notemos que PQJ
e /3mj so constantes, reduzidos aos pontos 7(0) e 7(6) respectivamente,
Exemplo 6. Sejam 70,71: [a, b] > X caminhos com as mesmas extre-
seja qual for j = l, . . . , r.)
midades tais que, para todo s e [a,b], o segmento de reta L 7o(s),7i(s)]
est contido em X. Ento 70 7i . Com efeito, a aplicao H: [a, ] x Consideremos os caminhos poligonais
[0,1] -> X, definida por H (s, t) = (l )7o(s) + 71 (s) , como se v
facilmente, uma homotopia entre 70 e 71 . H o que se chama uma j = O, l, . . . , r.
homotopia linear. Resultado anlogo vale para homotopia livre entre
caminhos fechados. 1T
Exemplo 7. Se (f. [a, 6] > [a, b] uma funo contnua tal que f (a) = a
e ip(b) b ento, para todo caminho 7: [a, ] > X, tem-se 7 o (p =
7. Basta considerar a funo contnua ff :[a,] x [0,1] > X, dada por
H ( s , t) 7 ( ( 1 t } ( p ( s ) + t s ) . Analogamente, se (p (a) b e </?(&) = a, tem- k"
se jotp = 7* (oposto de 7), como mostra a homotopia H: [a, b] x [0,1] ->
X, dada por H(s, t) = j((l - t)(p(s) +t(a + b- s ) ) .
A relao de homotopia (com extremos fixos ou livre entre caminhos a si S<2
fechados) reflexiva, simtrica e transitiva. Com efeito, ff (s, t) = 7(5) Figura 8. O caminho poligonal a 2 = 12 V a 22 V a32.
uma homotopia entre 707. E se H: [a, ] x [0,1] > X uma homotopia
entre 70 e 71 ento K: [a, b] x [0,1] ) X, dada por K(s, ) = H (s, l )
uma homotopia entre 71 e 70 . Finalmente, se H, K: [a, 6] x [0,1] > X O teorema estar provado se mostrarmos que f w = fa u, f u> =
so homotopias entre 70 e 71 e entre 71 e 72 respectivamente ento L, "' ( ' ,/<v,_i w = /cy w Para ?; = 1' ' r - Pondo; 7 = 7 l [si-i,Si], ve-
L: [a,b] x [0,1] -> X, definida por L(s,) = ff(s,2) se t 6 [0,1/2] e I I H M I i j i i c / o; = |a w para todo i = l , . . . , m pois 7^ e o^o so caminhos
L(s, t) = K ( s , 2 1) se t e [1/2,1], uma homotopia entre 70 e 72 . (Jtim IH iiKismas extremidades, contidos na bola BQ , na qual LU exata.
l'ui l.nnl.o
Teorema 5. Sejam to uma l-forma fechada no aberto U d W1 e
7,77: [a, b] > C7 caminhos de classe C1 por partes, com as mesmas ex-
tremidades. Se 7 e r] so homotpicos em U ento f LO = J w. w / w + + / LU = l LU + / Lu = I Lu.
l -'71 -'7m '10 cemo Ja
Demonstrao: Seja ff: [a, b] x [O, !]>[/ uma homotopia entre 7 e r/.
Como a imagem H (R) do retngulo f? = [a, 6] x [0,1] um subconjunto l 'um i i mesmo argumento se mostra que J w = fa u. Por sua vez,
compacto de U, pelo Cor. 2 do Cap. l, Vol. 2, existe e > O tal que h
para todo (s, ) 6 f?, a bola de centro ff(s,) e raio e est contida cru
W l / OJ + l U) = U + UJ
U. Pela continuidade uniforme de H, existe S > O tal que a imagem /i; l(j 'Vi J - l
por ff de qualquer subconjunto de R com dimetro < tem dimetro
< , logo est contida numa bola B e 7, na qual u; exala. Tomemos "i/ '' /'* | , V a t i / i V//,; v so caminhos com as mesmas extremidades,
parties P {<>. = .s() < .si < < ,sm = /;} dr |u,/>| e (<? = {O = l i l i i i i na bola, /// ; - , na qual w uma forma exata.
18 Integrais Curvilneas Cap. l Seo 3 Invarincia homotpica 19
w= UJ = UJ
Assim, vemos que R2 {0} no simplesmente conexo. Mais ge- /: U > C e toda funo holomorfa /: U > C possui uma primitiva.
ralmente, o mesmo argumento mostra que se o conjunto X C K 2 {0} Uma formulao equivalente do Corolrio l diz que se U C Kn
contm uma circunferncia de centro O (como, por exemplo, X = S1} simplesmente conexo ento todo campo vetorial v: U > Rn, de classe
ento X no simplesmente conexo. O exemplo seguinte mostra que a C1, dado por v (x) = (ai (x),..., a n (zO)> cumpre as condies de integra-
rj r-v
situao diferente quando n > 1.
bilidade -^- = -2- ento v o gradiente de uma funo /: U ) R.
Exemplo 8. Se n > l, a esfera Sn simplesmente conexa. Para mostrar
isto, consideraremos inicialmente um caminho 7: [a, b] > Sn que no
7
seja sobrejetivo e provaremos que ele homotpico a um caminho cuja
imagem um compacto com interior vazio em Sn. Com efeito, existe
pelo menos um ponto p e Sn que no pertence imagem de 7, logo tem
sentido considerar o caminho 0 7 : [a, ] > R n , onde : Sn {p} > W1
a projeo estereogrfica (Ex. 16, Cap. l, vol. 2). Em R n , o 7
homotpico (linearmente) a um caminho retilneo A = [c,d}. Logo
r) = -1 o A homotpico a 7 ~l o ( o 7). Notemos que, sendo
A retilneo, rj = ~l o A um arco de circunferncia em Sn, interseo
dessa esfera com o plano (bi-dimensional) que contm o segmento [c, d]
e o ponto p, plo da projeo estereogrfica. Logo a imagem de 77 um *x
conjunto compacto com interior vazio em Sn. No caso geral, dado o
caminho 7: [a, b] > Sn, a continuidade uniforme fornece uma partio
{a = Q < i < < fe = b} C [a, 6] tal que os caminhos 7; = 7 |
[i_i,j] no so sobrejetivos, logo cada 7; (i = l , . . . , k] homotpico a
Aj: [i-i,j] > <Sn, cuja imagem um compacto com interior vazio em
Sn. Ento 7 = 71 V V 7/t homotpico ao caminho A = AI V V A& ,
cuja imagem compacta e tem interior vazio em Sn. Vemos assim que, Figura 10. A funo contnua a: [a, ] > R uma funo-ngulo do
se n > l, todo caminho 7: [a, ] -> Sn homotpico a um caminho caminho 7: [a, ] > R 2 - {0} quando, para cada t e [a, b], a(t) uma
A: [a, b] > Sn, que no sobrejetivo. Usando novamente a projeo determinao da medida (em radianos) do ngulo do eixo das abcissas Ox
estereogrfica, vemos que A pode ser considerado como um caminho em
com a semi-reta Oy(i). Isto significa que E(a(t}} = 7()/|7()|-
M n , o qual linearmente homotpico a um caminho retilneo e, como
seus extremos permanecem fixos durante a homotopia, se 7 for fechado
(logo A tambm), esse caminho retilneo se reduz a um ponto. 4 O nmero de voltas de um caminho fechado
Observao. A hiptese n > l foi usada ao afirmarmos que um arco Di/,-se que a funo contnua a: [a, b] -> E uma funo-ngulo do
de circunferncia tem interior vazio em Sn. caminho 7: [a, b] -) M2 - {0}, onde 7() = ( x ( t ) , y ( t ) ) , quando se
O corolrio abaixo resulta dos Teoremas 4 e 6. l.rm, para cada t [a, b], cosa() = x(t}/^x(t)2 + y(t)2 e sena() =
Corolrio 4. Se o aberto U C K1 simplesmente conexo ento toda //(')/ \A(<) 2 +y(<)' 2 - Usando a funo de Euler E: M. -> S1, isto equi-
forma fechada w: U > (W1)* exata. vulc a. di/cr que E((v(t.)) = 7(<)/l7( )l-
Em particular, se o aberto U C C simplesmente conexo ento toda Tooreina 7. Dado o caminho 7: [a, b] -> M2 - {()} R escolhido o E IR
funo harmnica 11: U > K a parte real de uma funo holoniora l ai (/'.'' /'/'(< YO) 7("')/l7("')l> '"''.v/ r: '"''<, < : xomc.nlc. uma, fimao-nyido
22 Integrais Curvilneas Ca p. l Seo 4 O nmero de voltas de um caminho fechado 23
a: [a, 6] > IR para o caminho 7 tal que a (a) = ao . Oi(b)a(a). No caso geral, em que 7 C1 por partes, temos uma partio
Demonstrao: Suponhamos inicialmente que a imagem de 7 esteja P = [a = Q < ti < < tk = b} onde 7^ = 7|[t_i,j] de classe C1
contida no complementar M2 p de uma semi-reta p que parte da origem. para cada i = l , . . . , k e, por definio,
Ento, pela Proposio B, existe uma funo- ngulo 6: R2 p > R, com
6(j(a)) = ao . Neste caso, definimos a: [a, b] > K pondo a = 9 o 7. No
D
caso geral, a continuidade uniforme de j/\j\: [a, b] > S1, fornece uma i=l
partio de [a, 6] cujos intervalos [j_i,j so tais que 7, restrito a cada
um deles, tem imagem contida no complementar de uma semi-reta pi . Corolrio 6. Seja 7: [a, ] 2 {0} um caminho fechado, de classe
Definimos a sucessivamente nos intervalos [a,i], [ 1,^2] 5 et c. escolhendo
C1 por partes.
p O nmero n(j} = f $1 inteiro (positivo, negativo
o valor inicial a(t\) em [i,2] de modo a coincidir com o valor final a(i) 2yr 7
em [a, ti] e assim por diante. Quanto unicidade de a, basta lembrar ou nulo).
que duas funes- ngulo do mesmo caminho 7 diferem em cada ponto
t G [a, 6] por um mltiplo inteiro de 2vr e sendo [a, b] conexo, esse inteiro
constante. Se ele zero no ponto t = a, zero sempre e as funes
coincidem. D
Teorema 8. Se o caminho 7: [a, b] > R2 {0} de classe Ck (k > 0)
ento toda funo-ngulo a: [a, b] > K de 7 tambm de classe C .
Demonstrao: A funo-ngulo definida na demonstrao do Teo- Figura 11. Nmero de voltas de cada caminho ern torno do ponto 0:
rema 7 de classe Ck se 7 6 Ck . Qualquer outra funo-ngulo para n( 7l ; 0) - 2, n( 72 ; 0) = -l, n(73; 0) = 0.
7 difere daquela por um mltiplo inteiro constante de 2yr, logo de
classe Ck. D O nmero n (7) acima introduzido chama-se o nmero de voltas do
Corolrio 5. Se 7: [a, 6] > R2 {0} um caminho de classe Ck por caminho fechado 7 em torno da origem em R n . Deve-se observar que se
partes, toda funo-ngulo de 7 tambm C por partes. l,rata do nmero lquido de voltas, ou seja, as voltas no sentido positivo
menos as dadas no sentido negativo da orientao natural Ox > Oy do
O teorema abaixo se refere forma elemento de ngulo O = ( ydx +
pla.no.
Segue-se imediatamente do Teorema 5 que o nmero de voltas 71(7)
Teorema 9. Seja a: [a, 6] > IR uma funo-ngulo para o caminho ilo caminho fechado 7 um invariante homotpico: se 7,??: [a, b] >
7: [a, b] S- K2 - {0}; de classe C1 por partes. Ento J ' l = a (b) a(a). IHf'! {()} so caminhos fechados, de classe C1 por partes, livremente
Demonstrao: Escrevendo j(t) = (x (t), y (t)) temos, para todo t E liomotpicos ento n(7) = n(r)).
[a, b], x (t) = \"f(t)\) e y (t) = \j(t)\n a (). Abreviadamente: Na verdade, todas estas concluses so vlidas para caminhos fecha-
x = |7| cosa e y = [7] sen a. Por definio, tem-se dos 7: [a, b] > R2 {0}, de classe C (isto , apenas contnuos, como
l,i n Io caminho deve ser, por definio).
- xy (!<)in efeito, .se 7: [a, b] > R2 {0} um caminho fechado (de classe
dt.
l '" a,pona,s), consideramos, como na seo anterior, um caminho poli-
IV mal fechado //: [a, b] > M2 {0} homotpico a 7, logo f 2 = fr 2,
Temos x = \j\s a e y = \j\n a. Logo x' = |7|' cos a \j\n a a' e
?/ = IT!' sen ^ + IT! cos a ' a' ^a resulta imediatamente que xy' x'y = c da - / l um inteiro, chamado ainda o nmero de voltas de; 7
Como 2 = x'2 y2, vemos ento que J = jf'a,'(t) dl, = i'ln torno da, origem. 1'or transitividade da hotnotopia, este;
24 Integrais Curvilneas Cap. l Seo 5 Exerccios 25
1. Seja u> a forma em M2 definida por u(x, y) = ydx + xdy. Prove que uj no [a,6] (cfr. Cap. 11 do Vol. 1), ponhamos S(P*) = X>(7(&)H7(i)-7(i-i)],
fechada mas as formas a = -^-ui, /3 = p-o; e 7 = -j^-uj so, na realidade, exatas
onde P = {a = o < i <tk =b}. Prove que / w = lim E(P*), sendo
no conjunto U = {(x,y] e R 2 ;x > O,y > 0}. Ache funes f , g , h: U -> R tais
que df = a, dg = 0 e dh 7. |P| = max ti -ti-i\.
Ki<k
2. Sejam U C R m , T/ C R" abertos e </?: [7 -> V uma aplicao de classe C1. 2. Seja o) : 7 > (R n )* contnua em f/ C R". Suponha que para um certo M > O,
Para toda forma diferencial u em F, defina o pullback de w por y como a valha |w(a;) v\ M \ quaisquer que sejam x 6 U e w 6 R n . Prove que, dado
forma (p*u: U -* (R m )* tal que o caminho 7: [0,6] > U de classe C1, tem-se | / w| < A (7), onde (7) o
comprimento de 7.
(V*w)(a;) w = w(y(z)) ' ( f ' ( x ) v), x U, v e R m .
3. Sejam U C R m , V C R71 abertos e /: f/ -> V uma aplicao de classe C1.
Prove as seguintes afirmaes: Prove que, para todo caminho 7: [a, b] 17 de classe C71, tem-se J /*oj =
e f(vi,...,\Vi,...,vr) = X- f(vi,...,Vi,...,vr).
O conjunto (Ei,... ,Er;F) das aplicaes r-lineares / : E\ x
Er -> F, munido das operaes de adio e multiplicao por um nmero
real, definidas de modo bvio, um espao vetorial.
Pretendemos, no que se segue, efetuar trocas de posio entre as
variveis; por isso nos ocuparemos principalmente do caso em que E\
Er . Escreveremos, ento, Lr(E; F) para significar o espao veto-
rial formado pelas aplicaes r-lineares f : E x x E > F. Quando
F = E, uma aplicao r-linear f : x x E - i chamada uma
Formas Alternadas forma r-linear.
Exemplo 1. Para r = l, tem-se C\(E\F) = (E;F) = espao das
transformaes lineares de E em F. Em particular, i(l?;IR) = E*
espao dual de E. Assim, os funcionais lineares /: E > R so formas
No prosseguimento deste livro a noo de integral curvilnea, introduzida 1-lineares.
no captulo anterior, ser ampliada considerando-se situaes em que o
Exemplo 2. Aplicaes bilineares frequentemente encontradas so a
campo de integrao tem dimenso maior do que l (mais precisamente,
avaliao f : (E; F) x E - F, onde f (A, v) = A v, a composio de
uma superfcie em R n ). Correspondentemente, necessrio generalizar
transformaes lineares /: (F; G)x(E; F) -> (E; G), onde f (B,A) =
o objeto a ser integrado, o que leva noo de forma diferencial de grau
B A (com A: E -> F e B: F -> G lineares) e o produto interno
superior. Do mesmo modo que uma forma diferencial de grau l um
/: R" x W1 > R, f (x,y) = (x,y), que uma forma bilinear.
funcional linear cujas coordenadas variam de ponto a ponto, uma forma
O produto tensorial dos funcionais lineares /i,/2, ,/r E* a
de grau mais elevado (que ser chamada uma forma exterior) uma
forma r-linear / = /i /2 . . . fr E r(E;R), definida por
forma alternada com coeficientes variveis.
Este captulo um pequeno interldio algbrico onde so estuda- f(vi,v2,...,vr) = fr(vr).
dos, de forma resumida, objetos que h um sculo eram chamados ten-
sores covariantes anti-simtricos e hoje se denominam formas alternadas. No somente o produto tensorial /i /2 /r de funcionais lineares
As noes aqui apresentadas so apenas as suficientes para o uso dos (\a forma r-linear como a prpria aplicao P: E* x x E* >
captulos seguintes. Uma apresentao mais extensa do assunto pode r(E; R), dada por P(fi, /2,.. , /r) = f l h f r tambm r-linear.
ser vista em [6]. Teorema 1. Seja G um conjunto de geradores do espao vetorial E.
fie- as aplicaes r-lineares /, g E r(E;F) so tais que f(vi,... ,vr)
<l('<>\ vr) para quaisquer v\,... ,vr E G ento f = g.
l Aplicaes r-lineares Demonstrao: (Induo em r.) Sejam / , g : E > F transformaes
lineares tais que f (v) = g(v) para todo v E G. Dado w E E ar-
Sejam E\, . . . , Er,F espaos vetoriais. A aplicao f:E\ x Er->F f l bil.rrio, temos w = SajUi com vi,...,Vk E G, pois o conjunto G gera
chama-se r-linear quando linear separadamente em relao a cada uma ,/','. Knl,o f (w) = Sai f ( v i ) = S i g(vi) = g (w) portanto / = g.
de suas r variveis. Mais explicitamente, para quaisquer v\ EI, . . . , Supondo o teorema verdadeiro para aplicaes r-lineares, sejam f , g E
vi: Wi e E, . . . , vr e Er e A e R, deve-se ter ,., i (/','; /') tais que f(v],...,vr+i) = g(vi,... ,vr+) se VI,...,VT+ E
(l. \a cada v E E, definamos as aplicaes r-lineares fv,gv E r(E; F)
/ ( l , , . . , Vi + Wi, . . . , Vr) = + /(?;, , . . . , Wi, . . . , W,.) pondo /(!,- i r) = /('!> ,VT,V) e ff,;(ui,.. ,,vr) = g(vi,... ,vr,v).
30 Formas Alternadas Cap. 2 Seo 2 Formas alternadas 31
Ento, para todo v 6 G, temos fv = gv . Observando que as corres- Corolrio 1. Se dimE = n ento dim r (E;R) =
pondncias v (-> / e v i-- gv so transformaes lineares de E em
Corolrio 2. Seja {ei,...,e n } C -B uma base. Para cada sequncia
r(E; F), conclumos, pela primeira parte da demonstrao, que / = gv
(s) = ( i i , . . . ,i r ) de nmeros em In , suponhamos dado um nmero real
para qualquer v E. Isto significa que f = g. D
G7S) . Existe uma, e somente uma, forma r-linear f (?; R) tal que
Exemplo 3. Diferentemente do caso linear, a imagem de unia aplicao /(e^,... ,6i r ) = a(s) para cada ( i i , . . . ,i r ) = (s).
multilinear / : E x x E > F no necessariamente um sub espao Com efeito, basta tomar f = ^ a^ ^ . D
vetorial de F. Por exemplo, seja P: (K2)* x (M2)* -> 2 (K 2 ;K) dada
por P(f,g) = f g. A forma bilinear (p \ &\ i ? , definida a
partir da base {61,62} C (M 2 )*, dual da base cannica {61,62} C R2,
2 Formas alternadas
no pertence imagem de P, embora \-\ 62 62 pertenam. De fato,
supondo, por absurdo, que existissem /, g G (R 2 )* tais que ip = f g,
Uma aplicao r-linear / Lr(E;F) diz-se alternada quando f(vi,. . .,
como (p(ei,ez) = O, seria f ( e \ -5(62) = 0. E, como p(ei,ei) = l, seria ur ) = O sempre que h repetio na sequncia v\, . . . , vr , isto , tem-se
f(ei) ' d ( e ) = l- Concluso: g(e^) 0. Por outro lado, <p (62,62) = l
i; i = Uj com i ^ j.
implica /(e2) 5(62) = l, logo 5(62) 7^ O, uma contradio.
O smbolo / indica o conjunto {l, 2 , . . . , n} dos nmeros naturais Exemplo 4. A forma bilinear /: R2 x E2 -> R, definida por f (u, v) =
de l at n. xy' x' y se u = (x, y) e u = (x', y'), alternada.
Teorema 2. Sejam {ei, . . . , en} C -E wmo frase e {"i, . . . , n} C E* a Exemplo 5. O produto vetorial x : W1 x x W1 -> Rn (Seo 4,
base dual. Para cada sequncia (s) = (ii,...,ir) de nmeros em In , Cap. 7, Vol. 2) uma aplicao (n l)-linear alternada.
indiquemos com /s\ ^ j2 ..... ir o produto tensorial destes funcio-
Diz-se que a forma / e r (.E;R) anti- simtrica quando seu valor
nais. As formas r-lineares assim definidas compem uma base do espao
muda de sinal ao se trocarem as posies de duas de suas variveis, isto
vetorial Cr (E- R).
6, quando, para quaisquer vi,...,vrE, tem-se
Demonstrao: O valor (s)(ej1 , . . . , e jr ) l ou O conforme a sequncia
(jii tjr) coincida ou no com (s). Portanto, se a combinao linear / ( . . . , U j , . . . , Vi,... ) = - / ( . . . , Vi,..., Vj,...).
/ X^ a (s) ' (s) nula ento, para toda sequncia () = (ji,...,jr)
(*)
tem-se Tomando Vi = Vj = v acima, vem /(...,..':,,...) = /(. . . i>, . . . ,
v, . . . ), logo f(...v,...,v,...) = 0 , portanto toda forma anti-simtrica
O = f(ejii--->ejr) = (s)(ej,...,ejT) = a () , <' alternada. Reciprocamente, se / e r (.E;R) alternada ento, escre-
(s) vendo f[v{,Vj], por simplicidade, para significar /(. . . , Vj, . . . , Vj, . . . ),
logo todos os coeficientes a^ so nulos e as formas ^ so linearmente
independentes. Em seguida, dada arbitrariamente / e r(2;R) po-
nhamos, para cada (s) = (ii, . . . ,i r ), a^ = /(e^, . . . , e;r). A forma + V j, Vi + Vj] = f[Vi,Vi] + f [V j , V j] + f[Vi, V j ] + f (V j , Vi]
r-linear g = ^ a^ ^) tal que
(s)
para toda sequncia (s) = ( i i , . . . , i r ) de nmeros ern /, . Como os liidicarcHnoH com 2lr(JB) o conjunto das formas r-lineares alternadas
vetores e; geram E, o Teorema l nos d / = y. Assim, as r-formas r.^ (ou aiiti-simtric.as) no (s]>ao vetorial E. Evidentemente, ^ ( r ( E ] F )
geram r(E; IR) e conseqentemento c.oiisl.itueiti uma bane. D um Niihcsparo vciorial <lc ,.(/'/'; /'').
32 Formas Alternadas Ca p. 2 Seo 2 Formas alternadas 33
Demonstrao: Continuamos usando a notao simplificada [fi,^] = (!oroliirio 3. Se = n ento dim2l r (E) =
(?;i , . . . , Vi, . . . , Vj, . . . , vr) sempre que, num raciocnio, as variveis dife-
rentes de Vi G vj permaneam fixas. Ento, como /[ej, ei\ O e /[ej, e j] ( J o i i i rfrilo, o nmero de subconjuntos de In com r elementos.
/ [ 7 , <;,;], conclumos que, para todo v = ~^,aiei , vale D
^^^
34 Formas Alternadas Cap. 2 Seo 3 Determinantes 35
Teorema 4. Seja f : E x x E > F uma aplicao r -linear alter- As colunas da matriz identidade n x n so os vetores ei, . . . , en da base
nada. Se os vetares v\,...,vr G E so linearmente dependentes ento cannica de R n . Portanto a funo det: M (n x n) > R que acabamos
f(vi,...,vr) = 0. de definir a nica funo n-linear alternada das colunas de uma matriz
Demonstrao: Mudando a ordem dos vetores, se necessrio, podemos que assume o valor l na matriz identidade. Qualquer outra funo n-
admitir que vr = a\v\ + a r _itV-i Ento linear alternada das colunas de uma matriz um mltiplo constante
da funo determinante. Segue-se desta observao que no importa o
r-l modo como o determinante foi definido (e h vrios modos diferentes).
i , . . . , ; i , . . . , t ; r _ i , U j ) = 0. Tudo o que conta que det a seja uma funo n-linear alternada das
colunas da matriz o e que a matriz identidade tenha determinante igual
ai. Se / : M (n x n) ) R qualquer funo tal que f (a) uma funo n-
: . . ' ;: . . - D
linear alternada das colunas de a ento, para cada matriz a G M (n x n),
Corolrio 4. Se r > dir E ento toda aplicao r-linear alternada de tem-se /(a) = det a /(/n)> onde In a matriz identidade n x n.
E em F identicamente nula, ou seja, $Lr(E-}F) = {0}. Para deixar explcita a dependncia linear do determinante em relao
Com efeito, quaisquer r vetores em E so linearmente dependentes. s colunas Vj da matriz o, escreve-se, s vezes, det[i>i, . . . , vn] em vez de
. . . : .. n det a.
Um dos empregos mais comuns do determinante como teste para
verificar se n vetores em Rn so linearmente independentes ou no.
3 Determinantes
Teorema 5. Os vetores vi, . . . ,vn G Rn so linearmente independentes
Se dimE = n ento o espao vetorial 3n(E) das formas n-lineares al- HC., e somente se, detfui, . . . , vn] ^ 0.
ternadas em E tem dimenso l, de acordo com o Corolrio 3. Ou seja, Demonstrao: Se os vetores dados so L. I. ento eles formam uma
existem formas n-lineares alternadas /: E x x E > R no-nulas e, base de R" e, nos termos do Teorema 3, tomando / = {l < 2 < < n}
se / uma delas, todas as demais so do tipo g = a /, com a e M. obtemos uma forma / G 2t n (R n ), (a qual l seria chamada de vj} tal que
Este fato a base da teoria dos determinantes, da qual faremos um /(o i , ,vn) = 1. Como dim2ln(Rn) = l, temos / = a , com a ^ 0.
breve resumo agora. Para maiores detalhes, o leitor pode consultar [5]
1'nrtanto = f e da
ou, sob um ponto de vista mais abrangente, [6]. a
Seja E = R n . Uma sequncia ( i , . . . , vn) de n vetores vj = (aij,... ,
anj) pode ser vista como uma matriz a = [vi,...,vn] = [a^] do tipo det [v -
a
n x n, da qual Vj a j-sima coluna. Portanto uma forma n-linear /
em R" o mesmo que uma funo /: M (n x n) - R, cujos valores Reciprocamente, se detfui, . . . ,vn] ^ O ento, como det uma forma
f (a) = /[i>i,... ,vn] dependem linearmente das colunas Vj da matriz alternada, segue-se do Teorema 4 que os vetores vi,...,vn so L.I. D
a G M (n x n). Alm do determinante de uma matriz quadrada, tem sentido e inte-
Se {ei,..., en} C R" a base cannica, vimos que existe uma nica |'IMH<! o determinante de um operador linear A: E > E. Esta noo pode
forma n-linear alternada G 2ln(R") tal que (e\,..., en) = l. Todas as MUI definida intrinsecamente (isto , sem apelo a bases e coordenadas) e
demais / 6 2ln(Rn) so mltiplos de . Mlc modo de abordagem torna mais fcil a prova de vrias propriedades.
O determinante da matriz a G M(n x n) cujas colunas so os vetores VIIIUOH apresent-lo a seguir.
vj (ai j,..., a n j), j = l , . . . , n, definido como Seja A: l'j > F urna transformao linear. Para todo r > O,
n liiuiHlbnnao linear A*: ,.(/''; R) > r (.E;R), definida pondo-se
dolo = r (i; i , . . . ,u u ). (l* /)('('! , . - . ,'"/) " /M ' " ! ) ) ^ '") i chama-se a transformao linear
36 Formas Alternadas Ca p. 2 Seo 3 Determinantes 37
induzida por A. Quando r = l, A* reduz-se adjunta A*: F* -> E* da <f AO f 1- Ento, como deta = Det AO , temos:
transformao linear A.
det a = AQ = <p* A* ((p*}"1 e = (f* Det
Tem-se (B A]* = A* B* e I* = / se /: E -> E a transformao
identidade. Segue-se que se A invertvel, o mesmo se d com A*, = DetA (p* (p*)~l = DetA
valendo (A*)-1 = (A'1)*.
portanto deta = DetA. D
claro que A*: r (F;R) > r (.E;R) aplica o subespao vetorial
2lr(F) C r (F;R) em 2lr() C r (.E;R), ou seja, A* leva formas alter- De agora por diante, no h mais necessidade de usar a notao Det,
nadas em formas alternadas. em virtude do teorema acima.
Consideremos o caso particular de um operador linear A: E -> E, no Uma matriz a e sua transposta aT tm o mesmo determinante. Equi-
espao vetorial -E, de dimenso n. Ento dim2l7l(.E) = l, de modo que a valentemente, um operador A: E - E e seu adjunto A* tm determi-
transformao linear A*: 2tn(-B) > 2ln(S), induzida por A, consiste na nantes iguais. Esta importante propriedade uma consequncia imedia-
multiplicao por uma constante. Essa constante chamada o determi- ta da expresso clssica para o determinante da matriz o = [aij]:
nante do operador A. Provisoriamente vamos indic-la com a notao
deta =
DetA, at que o identifiquemos com o determinante da matriz de A em
relao a qualquer base de E.
Assim, por definio, temos A* f = DetA / para toda / 6 2ln(-EO na qual a percorre todas as permutaes de n objetos. Esta expresso,
ou, mais explicitamente: por sua vez, resulta diretamente da multilinearidade alternada do de-
terminante como funo das colunas de a. A partir dela, deta pode
i, . . . , Avn] - DetA f ( v i , ...,) tambm ser caracterizado como funo n-linear alternada das linhas da
matriz a. (Veja [5], pag. 267.)
para quaisquer v\, ... ,vn 6 E e f E %ln(E). Como aplicao deste fato, provemos a igualdade
Dados A, B E (E), tomemos / ^ O em 2ln(.E). Ento,
det L = deta detc,
(DetAB)/ = = B* -A* -f = DetB (A* f) = Det DetA f, L c\e as matrizes a, 6, ceO so r x r,
portanto DetAB = DetA DetB. irupectivamente. Com efeito, escrevendo, para cada 6 e M(r x (n r))
lixa,
Teorema 6. Para todo operador linear A: E > E, tem-se DetA =
61 . -'. ..
deta, onde a a matriz de A numa base arbitrria {ui, . . . ,un} C E. /(a, c) = det
O c
Demonstrao: Consideremos inicialmente o caso em que E = R" e a
vemos que / uma funo r-linear alternada das colunas de a e (n r)-
base dada a cannica {ei, . . . , en} C IR". As colunas da matriz a so
lhi(>iir alternada das linhas de c. Portanto
os vetores vj = (aij, . . . , anj) = A e j . Se 6 2n(En) a forma tal que
(ei, . . . , e n ) = l, temos /(a, c) = deta /(/r, c) = deta detc /(/ r ,J B _ r ) =
= det a det c
dea = (vi,...,vn) = (A ei, . . . , A en) = (A*)(ei, . . . ,e n )
= DetA (ei, ... ,en) = DetA. |M>!H uma matriz triangular cujos termos da diagonal so
[ r
U Jn-
No caso geral, tomamos o isomorfismo (p: R" > E tal quo (/'(^i) = j i l , logo HCU determinante l, como resulta da frmula clssica
'(/i, . . . ,</?(e, t ) = ', c (lefnimos A 0 - </3~' A (p: M" -4 Il", logo A = a(-iina.
38 Formas Alternadas Cap. 2 Seo 4 O produto exterior de funcionais lineares 39
Considerando o caso particular em que a matriz a l x l e fa- conforme a definio de ej . Se, entretanto, for / = J, existir uma per-
zendo uso da multilinearidade alternada do determinante como funo mutao a G Sr tal que a matriz [^(e^)] resulta da matriz identidade
das linhas e das colunas de uma matriz, o resultado acima implica os [6iA(e;J] pela aplicao da permutao cr em suas colunas, logo
desenvolvimentos de Laplace
A /\er)(ejl,...,ejr) = det[eix(ejf)] = ff = eI(ejl, . . . , ejr).
Sejam {el5 . . . , en} C E uma base e {i, . . . , n} C E* sua dual. Para det (o a T ) = det[fi(Vj)] = (A A A / r )(ui,... ,u r )
todo v E E, i(v) o coeficiente de B na expresso do yetor v como
combinao linear de ei, . . . , en .
Dados os funcionais lineares A> . . . , fr 6 E*, para cada i = l, . . . , r
n Vimos acima que uma transformao linear A: E > F determina,
temos fi = Y^, aijj Estas igualdades definem a matriz o = [oij]
j=i pura cada r > O, a transformao linear
M (r x n) das coordenadas dos funcionais / i , . . . , / r relativas base
{i, . . . , n}. Quando J = {ji < < jr} percorre os subconjuntos de
/ com r-elementos, as formas r-lineares alternadas j = BJI A A ejr
constituem uma base de 2lr(F). Vejamos quais so as coordenadas do i , . . . , A - w r ) , se/ 2
produto exterior fi A A fr em relao a esta base. /'/'. A transformao A*, que no caso r = l coincide com a adjunta de
Devemos encontrar os nmeros otj tais que A A A fr = ^ otj j . A, ili/, s induzida por A. A forma A* f tambm se chama de induzida
j pui A c /, ou o pullback da forma / mediante a transformao linear A.
Comeamos lembrando que se K = {k\ < kr} c qualquer A seguir, determinaremos a matriz da transformao linear yl*:2tr(F)->
subconjunto de In com r elementos, o valor /^fij, , . . . , r;-r ) l ou O Vt, (/'-') a partir da matriz do A. Esta questo pressupe, naturalmente,
conformo K = J ou K ^ J. Portanto, para, todo ./ { / i < < >}, rnllinn do bases em /'/' o /''.
|^|L '
Cap. 2 Seo 6 A lgebra de Grassmann 43
42 Formas Alternadas
Sejam ento {v\,. . . ,vm} C E, {wi,. . . ,wn} C F bases e {v]_,. . ., i>m}C expresses / = 53 aJvJ = ^fiiwi em termos dessas bases. A fim de
j /
E* , {wi, . . . ,wn} C F* as bases duais correspondentes. exprimir cada aj a partir dos /?/ , notemos que, conforme foi observado
n
A matriz de A relativa a essas bases a = [oy] 6 M (n x m), definida
n no incio desta seo, as igualdades wi = 53 aijVj implicam que u>i =
pelas igualdades AVJ = ^3 aijWi (j = l, . . . , m). Segue-se que j=i
5^ det o/ j v j , a soma sendo estendida a todos os subconjuntos J C In
j
com r elementos, sendo a/j a matriz r x r formada pelos GJJ tais que
t G / e j e J. Assim,
3=1
E* nas ]P q j ti j = ^ /?/ -u)/ = ^ deto/j P I - V J .
Estas ltimas igualdades significam que a matriz de A*: F* J i i,J
bases dadas a transposta de a.
Para I = {ii < < ir} C In e J = {ji < < jr} C Im , as formas Comparando os coeficientes, obtemos
r-lineares alternadas wj = w^ A A WT e vj = Vjl A A Uj r compem
bases de 2tr(-F) e 2lr(?) respectivamente, as quais nos permitem escrevei-
as igualdades
A*t/ = l ( !in particular, quando r = n dimE, a dimenso de f&n(E) igual
j . . . . . . . .
H l ' / f v i)i A A un = /3 wi A A wn . Ento a frmula de mudana
anlogas s que foram destacadas acima no caso r = 1. A fim de iden- llii coordenadas reduz-se a
tificar os elementos da matriz [a/j], observamos que
a = det a /3,
a/j = (A*wI)(vjl,..., vjr) = wI(Avjl,..., Av^) %
ser feito de modo que f Ag dependa bilinearmente de f e g. Alm disso, Esta igualdade evidente se alguma das sequncias (ii, . . . , i r ) ou
essa multiplicao dever ter como caso particular o produto exterior de O'i) j Js) tem repeties pois, neste caso, ambos os membros so iguais
funcionais lineares, que temos considerado at agora. Noutras palavras, a zero. Ela tambm vale se i\ < ir c j\ < js pela prpria
devemos definir uma aplicao bilinear definio de (p. Finalmente, se ambas as sequncias tm termos to-
dos distintos, podemos lev-las ordem crescente mediante sucessivas
transposies. Cada transposio troca o sinal de ambos os membros da
igualdade acima, logo ela vlida em todos os casos.
tal que Dadas / e 2lr(.E) e g G $ S ( E ) , escrevemos / A g e 3lr+s(E) em vez
de tp(f,g). Alm de bilinear, o produto exterior anti-comutativo, do
A fr, gi A A gs) = fi A A fr A gi A A . (*) seguinte modo: Se / e %r(E) e / e %S(E) ento g A / = (-l) rs / A #.
para quaisquer funcionais lineares /i, . . . , /r, g\, . . . ,gs em E*. Isto claro quando f e g so decomponveis e vale em geral por
Como os espaos vetoriais 2tr (E) e 2S (E) so gerados por formas de- distributividade. Pelo mesmo motivo, a associatividade
componveis, se existir uma aplicao bilinear <p satisfazendo a relao
(*) acima, ela ser nica. Podemos ento fazer uso de escolhas ar-
bitrrias para definir tp. Se a condio (*) for cumprida, as escolhas
tero sido irrelevantes. que bvia para formas decomponveis, tambm verdadeira em geral.
Tomemos uma base {i, . . . , n} C E*. Para cada / = {t'i < < Observemos ainda que as transformaes lineares A*: 2lr(.F) >2l.(l),
ir} e cada J = {ji < < js} contidos em In , ponhamos A*: 2ls(F) - 2t s (jB), induzidas pela transformao linear A: E > F,
cumprem
<p(j, j) = jj A A ir A jl A js
A.
Pelo Corolrio 2, existe uma nica aplicao bilinear (p: 2lr(.E) x Novamente, isto j foi provado quando f e g so decomponveis e
3LS(E) -> %r+s(E) para a qual valem estas igualdades. Resta- nos ape- vale em geral pela bilinearidade de A.
nas mostrar que ip cumpre a condio (*). Para isto, consideremos as Se dim E = n ento a soma direta
aplicaes
e e
A: E* x x E* -+ %r+s(E) e a: E* x x E* -> 2lr(E) x 2t s (),
um espao vetorial de dimenso
dadas por
n \
A ( / i , . . . , / r , / i , . . . , 5 ) = /i A - - - A / r Agi A - - - Aft, + -+ U-i + U
e S(!iis elementos so somas / = /o + /i + + fn ; onde as parcelas
< x ( f i , - - - J r , 9 i , - - - , 9 s ) = (/l A - - - A / r , 0 i A - - - Ag). /',. e 2lr(J) so chamadas as componentes homogneas de /. O produto
Devemos verificar que 9? o a = A. Pelo Teorema l, basta mostrar que exterior que vem de ser definido permite introduzir, de modo bvio, uma
multiplicao cm A(-B*), que torna este espao vetorial uma lgebra,
(^(! A A r , jj A A ,- J = ^ A A z-r A ,-, A A j, c.liamada a lgebra de Grassmann de E*.
para qualquer sequncia (j, , . . . , jr , -y, , . . . , K ? S ) de r -l .s elementos d;i, lOxomplo 7 (O clmuniU) d< volume.) Orientar um espao vetorial E
base escolhida. i'1 escolhei' uma base {u\,...,un} C" l'!, ('liam-la de positiva c dizer
46 Formas Alternadas Ca p. 2 Seo 7 Exerccios 47
(i) A f uma forma alternada; 2. Prove que se ui, . . . ,un , vi, . . . ,vn R n+1 ento det[(tti,iij)] = (iti x x
(ii) / 6 2lr(-EO se, e somente se, A f = ri f; Un,Vi X X Vn).
(iii) Considere a forma n-linear / em R n , definida por / = e\. & , onde 3. Seja A: E > F uma transformao linear de posto p. Se r < p, prove que a
{ e i , . . . , en} C R" a base cannica. Prove que (A f ) ( v i , . . . , un] = transformao linear induzida A* : 2lr (F) > 2lr (E) tem posto (J!) .
det[t>i,..., vn], onde [vi,... , vn] a matriz n x n cujas colunas so os
vetores a indicados; Seo 6: A lgebra de Grassmann
(iv) Se / i , . . . , fr e E* ento prove que /i A A fr = A (/i . . . -/ r ). 1. Dados arbitrariamente ai , . . . , an R, com ai ^ O, defina os funcionais lineares
/ i , . . . , /n- 1 (R n )* pondo /i = a 2 i + ai 2 e, para 2 < z < n - l, fi =
5. Prove que os vetores t > i , . . . ,vr E so linearmente independentes se, e so- (-l) + 1 (a i + i/ai)i + i + i onde, como no texto, {i, . . . , n } C (R")* a base
mente se, existe / e 2lr(-E) tal que / ( t > i , . . . , iv) / 0. dual da base cannica de Rn . Prove que
6. Uma forma n-linear / chama-se simtrica quando Ver 23 tem-se a f = f .
Prove que se / simtrica tem-se A-f = 0. D um exemplo mostrando que a f i A A /-! = A A i_i A i+i A A n
recproca falsa.
Seo 3: Determinantes e conclua que toda forma alternada de grau n- 1 em R (portanto em qualquer
espao vetorial de dimenso n) decomponvel.
1. Dois operadores lineares A: E t E e B: F > F chamam-se conjugados
quando existe um isomorfismo <p: E F, entre os espaos vetoriais E e F, tal 2. Sejam {/i, . . . , f r } e {<?i, . . . , gr} conjuntos linearmente independentes em E* .
que (f o A = B o ip. Prove que se A e B so conjugados ento det A = det B. A fim de que eles sejam bases do mesmo subespao S C E", prove que
necessrio e suficiente que, para algum a R, se tenha g\ A gr = a f i A
2. Uma matriz a = [a,ij] M(n x n) chama-se anti-simtrica quando cuj = aji .
Se n mpar, prove que toda matriz n x n anti-simtrica tem determinante A / .
nulo. 3. Sejam /i, . . . ,/r E* linearmente independentes. Prove que o conjunto S
{g A /i A- - f \ f r \ E " } um subespao vetorial de dimenso n r de 2l r +i(S)
3. Calcule o determinante de uma matriz a = [a;j] M(n x n) sabendo que
dij = O quando i + j < n. se n = dim.E.
4. Prove que o elemento u = fo + f i + + fn (fi 2li(#)) da lgebra de
Seo 4: O produto exterior de funcionais lineares Grassmann A(?*) invertvel se, e somente se, /o / 0.
1. Defina uma transformao linear ip: Rn > 2l n _i(R ?l ) pondo, para v,w\,... ,
wn-i R n , ( p ( v ) - ( w i , . . . ,wn-i) = det[v,wi, ...,wn-i], onde [v, w\,.. . ,wn-i]
a matriz n x n cujas colunas so os vetores a indicados. Prove as seguintes
afirmaes:
(i) ip um isomorfismo;
(ii) Dado v / O em R n , se {v,wi,... ,wn-i} C Rn uma base ento <p(v) =
a >i A A wn-i , a R;
(iii) Conclua que toda forma alternada de grau n l em R" decomponvel.
2. Seja {61,62,63,64} C R4 a base cannica. Prove que no existem / , g (R 2 )*
tais que / A g = "i A &i + 63 A 64 .
3. Sejam fi,... , f r E* linearmente independentes. Se gi,.. . , gr E* so tais
r r
que ^ f j A QJ = O, prove que, para cada j = l , . . . , r tem-se gj = ^3 ajf ,
3=1 i=l
onde a,ij = aji.
Wi = Wj com i f j. . ,.. .,
Se /: M > A/" uma aplicao de classe Cfc (fc > 1) entre as su-
perfcies M, YV, a cada forma diferencial u de grau r em JV corresponde
uma forma /*w, de mesmo grau em M, chamada o pullback de u; por /,
definida por
( f* \ \ \ ( \\ f l ( \ / \a todo x GM e quaisquer wi,..., wr G TXM. Aqui, a tra
Observao. Usaremos, conforme seja mais conveniente, a notao do vetor F = (, b, c) pelo vetor N = x , o qual normal
P O -i ou ov
Mipcrfcie M e tem o sentido dado pela orientao da mesma. Podemos
^ , ou ento J, para representar a matriz jacobiana do difeomor- i'iil,;io escrever i*w = (F, N) du A dv, como no Clculo.
du
fismo = tp"1 Q(f>: ip~l(Ur\V) -> ), segundo o qual (u) =v
Kxrmplo 4 (Elemento de volume.) Seja M uma superfcie orientada
quando f (u) ip(v). ilc dimenso m. O elemento de volume de M a forma diferencial
Exemplo 1. Em qualquer superfcie M, as formas diferenciais de grau u', do grau m, definida pondo-se, para cada x E M e wi,.:.,wm G
/,(!i-o so simplesmente as funes reais g : M -> R. Se / : M -> AT uma /',, A7, u ( x ) - ( w \ , Wm) = volume do paraleleppedo determinado por
aplicao de classe; <7fc n to o pullback de g por meio de / /* (.'/) " /o/.
k i i , . . . , wm . (c('r. Exemplo 7, Captulo 2.) Dada uma parametrizao
54 Formas Diferenciais Cap. 3 Seo l Primeiras definies 55
positiva (p: t/o * U C M, definimos as funes g^-: E/Q - R pondo Ento conclumos que, para todo x 6 U,
9i() = ( -T~-(U), 7T^-() ) e pomos g = det [&,]. Ento, em cada ponto m+l
u (x) = y~] (-l) +1 Vi(x A A dxi A A dx m+i
x = tp(u) e U, o volume do paraleleppedo que tem ( u ) , . . . , ( u )
OT/i Oum
r- , \ 9(f I \f l a expresso da forma elemento de volume da hiperfcie M em termos
como arestas e igual a Jg, ou seja, L(X) ( (u),..., -(1
\oui oum das coordenadas do vetor unitrio normal v (x) = (1/1(0;), . . . , vm+i(x}}
e da base cannica {dxi, . . . , dxm+i} C (R m+1 )*.
Como {dui,..., dum} a base dual de < , . . . , - L isto significa
Quando M a esfera unitria Sm ento v(x] = x e obtemos assim o
que u = y^ du\ A dum .
Exemplo 4b (Elemento de volume da esfera.) Vimos acima que o
Prosseguindo com a notao do Exemplo 4, temos o
elemento de volume da esfera Sm a forma
Exemplo 4a (Elemento de volume de uma hiperfcie.) No caso par- m+l
ticular em que M C Rm+1 uma hiperfcie orientada de classe Ck, w(z) = Z] H A A dxj A A dx m+l
i=l
temos Escrevendo, para cada x <p(u],
ou
Na realidade, esta expresso define uma forma diferencial de grau m em
]V(o;) = (u) x x-^(u), vemos que N(x)/\N(x)\ v(x] o vetor Rm+1, cuja restrio a Sm o elemento de volume. De modo evidente,
du\m
unitrio normal que define a orientao de M. O volume m-dimensional se S* a esfera de centro a = ( a i , . . . , a m +i) e raio r, seu elemento de
F Q(p . . d(f> , ,1 , . , , i i ' j volume dado por
do paraleleppedo -^-(it),..., ^ ( u ) \ igual ao do paraleleppedo
m+l
Xi di
(m+l)-dimensional |z/(x), . Logo para wi,..., wm G c m+l
ll
TrM temos
O prximo exemplo faz uso da projeo radial /: Km+1 {0} > Sm,
i,... ,wm], definida por f (x) = x/\x\. Vamos calcular a derivada f ' ( x ) : Km+1 >
Tf(x)Sm. Todo vetor w e se decompe na soma w = cx + ),
onde [z/(x), w i , . . . , iom] agora a matriz (m + 1) x (m + 1) cujas colunas onde w = w cx ortogonal ao vetor x no qual estamos considerando
so os vetores a indicados. Desenvolvendo o determinante segundo os a derivada.
elementos da primeira coluna, isto nos d Portanto, para todo x e Rm+1 - {0} e todo w e R m+1 , temos f ' ( x )
iii = f ' ( x ) cx + f ' ( x ) w. Mas f ' ( x ) cx = O pois / constante, igual a
m+l
m/\x , ao longo da semi-reta Ox, sobre a qual se situa o vetor cx. Logo
f (x) -w = f ' ( x ) -w. Sendo ortogonal a x, o vetor w tangente, no ponto
;;:, esfera S de centro O e raio |x|, restrita qual / simplesmente a
onde v(x) = (vi(x),..., vm+i(x}} e A o determinante (menor) da multiplicao pela constante l/|x|, logo f ' ( x ) w = f ' ( x ) w = w/\x\
('III - C.X)/\X\.
matrix m x m que resulta de [wi,..., wm] por omisso da i-sima linha.
Escrevendo (agora e no que se segue) dx\ A dxi A A dxm+i Kxcmplo 5 (Elemento de ngulo slido.) Trata-se do anlogo multi-
em vez de dx] A A dxi-i A dxi+\ A dxm+\ vemos que A = (lliiKMisional da, forniu elemento de ngulo vista rio Captulo f. O clc.-
(dx\ A dxi A A dxm+i)(w\ wm). tltfnl.o di' iiyulo slido u forma diferencial i de grau ?n, d e f i n i d a em
56 Formas Diferenciais Cap. 3 Seo 2 A diferencial exterior 57
comoi = /*u;5 pullback da forma w, elemento de volu- Inicialmente, seja u = Y^a-idxj uma forma diferencial de grau r e
me da esfera unitria Sm pela projeo radial /: E"1"1"1 {0} > Sm, i
classe Ck (k > 2), definida no aberto U C R". A forma diferencial de
f (x) = x/\x\. Assim, para x 6 Rm+1 - {0} e wi,...,iw m e Rm+1, grau r + l
tem-se
f\ A dxj ,
fi(z) (wi,...,wm) = u ( - !,..;,/'(a?) -wm). du = V^ dai A
dai da j dai
pois o valor de um determinante no se altera quando se subtrai de cia;,- A dxi = -^ -- -
dxi* dx
uma de suas colunas um mltiplo de outra. Como no Exemplo 4a,
desenvolvendo o determinante segundo os elementos da primeira coluna,
e observando que (dx\ A dx^ A A dxm+i)(wi,..., wm) det A , como resulta ao se levar em conta que dxj A dxi = dxi A dxj . E se
n
onde A o determinante da matriz m x m obtida de [101,.,., wm] por considerarmos a forma u = ^ (l) l + 1 a; dx\ A dx^ A A dxn , de
omisso da i-sima linha, obtemos
grau n l no aberto U C R n , veremos que
m+l
l
A A A A
-r dxi A A dxn .
como expresso da forma elemento de ngulo slido. K 1= 1
Oxi j
2 A diferencial exterior
pois sc i ^ j ento A dxi A A A A dxn = 0.
A diferencial exterior du de uma forma u definida de tal modo que os
vrios teoremas do Clculo, conhecidos sob os nomes de Green, Gauss, Teorema 1. Sejam 7 C R m , F C Rn aeros, f : U -* V de classe Ck
Ostrogradsky, Stokes, e at mesmo o Teorema Fundamental Ja df (k > ') c, u, formas diferenciais em V. Ento:
f ( b ) ~ f ( a ) , sejam resumidos numa nica frmula, que se escreve JM du =
l ) d(u A u) = du A u + (-!*" A du;
fdlv[ u c chamada de Teorema de Stokes. Nosso prximo passo, a cami-
nho dessa frmula, ser a definio e o estabelecimento das propriedades 2) d(du) -- 0;
bsicas de du. li) f/(/'a;)
58 Formas Diferenciais Cap. 3 Seo 2 A diferencial exterior 59
Demonstrao: Como d e f* so transformaes lineares, basta consi- Definiremos agora a diferencial exterior du de uma forma w numa
derar o caso em que w = a dxj e u = bdxj . Ento " superfcie M.
Em termos de uma parametrizao (p: Ug > U C M, a forma w
d(w A ui) = d(abdxi A dxj) = d(ab) A dxj A dxj admite a expresso u (x) = S a/(u) A duj , x = <p(u). Ento pomos >
= (bda + a d) A dx/ A dx j
b da A dxj A dx j + a db A dx/ A dx j = 2_] da j (u) A duj , x = <p(u) G U.
= du/\u> + (-1)9 a dxi l\db/\
A fim de ressaltar que esta definio faz uso explcito da parame-
trizao (p, escreveremos dvu em vez de dui e nos proporemos a mostrar
pois dbf\dxj = ( l)9ra; dxj /\db. Isto prova 1). Quanto a 2), observemos que se />: VQ > V C M outra parametrizao ento d^w(x) = d(pu(x)
inicialmente que cicia;/ = d(l-dx/) = dlAdx/ = 0. Alm disso, se GJJ = GJ para todo x e 7 n "K.
n
ento, como dxj A dxj = dxi A dxj , tem-se ]T) Cjj da^ A dxj = 0. Em primeiro lugar, quando / : U n V > R uma funo, tem-se
jj=i = d^f = df. Em seguida, como na demonstrao do Teorema l,
Portanto, em virtude do Teorema de Schwarz, dada a: V ) M de classe vemos que as transformaes lineares uj \-t d^uj e u (-> d^u gozam das
C2, vale propriedades 1), 2) e 3) ali enunciadas. Portanto, para todo x e U n V,
tem-se
a 6 A r (M) tal que da = LJ. Portanto as formas fechadas compem o conexas, U x {0} e U x {!}, que so hiperfcies em Rm+1. As superfcies
ncleo, e as exatas a imagem, de d. com bordo sero vistas no Captulo 5.
K: A r ( C / x
Em seguida, definimos /3: R > R pondo /3() = - J0 a(s) ds, onde dada por
b = /J a() dt. Ento /3 6 C00, O < /3(t) < l para todo t <E K, /3() = O
se t < O e /3() = l se t > 1. Para obter agora s mudar de escala e ' (Ku)(x).= a(x,t) dt = V ( ai(x,i)dt
transladar: pomos ento () = /3(3 1). Jo j \Jo
considerada por K. Ento A divergncia de F EL funo div F : U -> IR, definida por
da db de
=E ( *
dx
dy
~-
dz
i / o
A dxj , portanto Um clculo direto mostra que div(rot F) = 0. Esta igualdade pode ser
- d
vista como uma maneira de exprimir que dda = O, onde a = adx -\-bdy +
cdz. O Lema de Poincar permite concluir que, quando U convexo,
vale a recproca, ou seja, se o campo G = (f, g, h): U > R3, de classe
/*! )/* \ ncf d j
( 7o 0* /
C, tal que div G = O ento existe um campo F: U -> K3 tal que
G rot F. Com efeito, div G = O significa que a forma aj = f d y A
dz + gdz A dx + hdx A dy fechada, logo exata no aberto convexo U .
Ento existe uma forma a = adx + bdy + cdz em U tal que u = da. Isto
j significa que
= i\ Q u).
_ de db da de db da
Agora definimos a transformao linear L: Ar(N) A r ~ 1 (t7) pondo dy dz ' dz dx dx dy '
L = K o H* e vemos que, para toda u e Ar (TV) , vale
ou seja, que G = rot F.
L(dw) + d(Lw) = K(H* dw) + d(KH* w) = + d(KH* w) =
u -(H o iQ) 3 Exerccios
= g* u- f*u.
Seo 1: Primeiras definies
Como w fechada, temos L(dui) = L (Q) = O logo, pondo a Lu, 1. Sejam a, f}: U > (E3)* formas diferenciais de grau l no aberto U C R 3 , com
conclumos que L(du) + d(Lui) = da, portanto g*w f*u> = da, com- a(x)/\P(x} ^ O para todo x U. Se w : U > (R3)* uma forma diferencial de
pletando assim a demonstrao. D grau 2 em U tal que o; A = uM/J = O, prove que existe uma funo / : U > R
tal que o; = / (a A /?). Se a, /3 e w so de classe C*, prove que / G Ck .
Corolrio l (Lema de Poincar.) Se U C Mm um aberto convexo 2. Prove que uma superfcie m-dimensional M orientvel se, e somente se, existe
ento toda forma fechada uj e A.n(U) exata. uma forma contnua w de grau m em M tal que u (x) ^ O para todo x M.
(Se M orientada, a forma u chama-se positiva quando u (x) (v\ . . . , vm) > O
Com efeito, se U convexo ento a aplicao identidade id: U > U para todo x M e toda base positiva {vi, . . . , vm] C TXM.)
linearmente homotpica a uma constante c: U > U, logo, para toda
3. Seja f : M -^ N um difeomorfismo local. Se N orientvel, prove que M
forma fechada w e A.r(U), tem-se u; = (id)*w = (id)*o> c* w = da para orientvel.
alguma a e A.r~l(U). D 4. Sejam M, A' orientadas, M conexa e /: M -> N um difeomorfismo local.
Corolrio 2. C/ma forma u e A r (M) fechada se, e somente se, Prove que o isomorfismo linear f' (x) : TXM * Tf(x)N ou preserva orientao
para todo K 6 M ou inverte para todo x.
localmente exata.
f). Provoque/: R"-{0} -> M^-jO}, dada por f (x) = x/\x\, um difeomorfismo
Exemplo 8. O rotacional de um campo de vetores F = (a, , c), de que inverte orientao.
classe C no aberto U C M3, definido como o campo (i. Seja, f : M -> N uni difeomorfismo local sobrejetivo de classe Ck , k > 1.
Suponha que M seja orientada c que / tenha a seguinte propriedade: HO
de db da de db da
F = -------..--.-.--.
oy az d z dx dx dy
/('''i) = /(' /: - > ) enliio o isomorfismo linear /'(za)" 1 /'(-''-'i) : 21,M M T.,..,M
preserva, <>riml.;i,(;;w>. Prove que /V orientvel. Quando M conexa, prove
^A
Cap.3
66 Formas Diferenciais
0+
Assim \ yo| a menor distncia de z a um ponto de U, portanto de incluso. Se H: M x 1$. > N uma homotopia (7 entre f e g
y yo G TyoU = TyoM, ou seja, z G B - L ( y 0 ] e ) . (Cfr. Exemplo 15, ento H = HOTT: U xR t N uma homotopia C entre as extenses
Captulo 7, Volume 2.) Como as bolas normais de raio e centros em /,g: U * N, / = / o TT, g = g o TT. Pelo Teorema 2 do Captulo 3,
pontos distintos de U so disjuntas e j sabemos que z G B(x; e), segue- existe uma forma G La" (17) tal que <?*w /*<; = da. Seja a = i*
se que yo = x. Portanto a; o nico ponto de M situado distncia a restrio de a M. Ento
mnima de z.
Seja V a reunio de todos os abertos Ve>(U') acima obtidos. A
aplicao ir: V -> M, definida pondo-se, para cada z G V, TT(Z] = = d(i") = da. D
nico ponto de M que minimiza a distncia a z , de classe Ck~l pois
em cada Ve'(U') coincide com a projeo TT: Vi(U'} > t/'. Introduzi- Observao. Conforme veremos no Teorema 8, a seguir, se / e g
mos a funo contnua positiva e: M > R+ pondo, para cada x 6 M, so de classe C e homotpicas (pura e simplesmente) ento so C-
e(x) = d[a;,Rm+n - "K] e,finalmente,pomos homotpicas.
VS(M] = (J D
2 Parties da unidade
O teorema seguinte exibe algumas propriedades das famlias local- Analogamente se define o suporte de uma forma diferencial.
mente finitas. Uma partio da unidade de classe Ck numa superfcie H uma
Teorema 4. Seja (X\)X&L uma famlia localmente finita de conjuntos famlia (A)AGL ^e funes \: M > K, de classe C*fc, com as seguintes
propriedades:
X x C W1. Ento:
1) Existe um subconjunto enumervel LQ C L tal que X\ 0 quando 1) ^OE) > O para todo A G L e todo x G M;
A ^ I/o . (Informalmente: toda famlia localmente finita enumervel.}
2) A famlia (supp. \)XeL localmente finita;
2) Se todos os X\ A G L, esto contidos num compacto K C W1
ento finito o conjunto dos ndices A G L tais que X\ 0. (Toda 3) Para todo x e M, tem-se J] A(o;) = 1.
famlia localmente finita num compacto finita.)
Quanto a 3), vale observar que, em virtude de 2), a superfcie M
3) TJ~X = U *A coberta por abertos C/, em cada um dos quais ^ \e reduz a uma
4) Se cada X\ A L, fechado ento |J X\ um fechado. Aei
\eL soma finita AI + + ^Afc (com os mesmos ndices Aj em todos os pontos
Demonstrao: Para cada x G R" existem um aberto Ux contendo x deC7).
e um subconjunto finito Lx C L tais que Ux H X\ 0 se A Lx . Pelo
Teorema de Lindelf, a cobertura aberta (Ux}x^n possui uma subco- Teorema 5. A toda cobertura aberta C = (CA)APZ, ae uma superfcie
bertura enumervel (UXk)k^ . Escrevendo Uk em vez de UXk , Lk em vez M , de classe C , corresponde uma partio da unidade ^ A = l? de
de LXk e LO = (J Lk , vemos que LQ enumervel e que A ^ I/o implica Aei
classe Ck , tal que supp. ^A -C C\ todo X E L.
A Lfc e, conseqentemente, .X" A n = 0 para todo & e N, portanto
= U (*A n uk] = 0. A demonstrao do Teorema 5 ser precedida de trs lemas.
2) A demonstrao acima se aplica literalmente, com as seguintes Lema 2. Seja A um aberto na superfcie M, de classe Ck. Para cada
substituies: x G W1 ) o; .K", Lindelf ~> Borel-Lebesgue, enumervel ponto p CL A existem abertos V, W, com pEWcVcAe uma funo
> finito. : M -) R de classe Ck, com (x) = l se x G W, O < (x) < l se x G V
3) Tem-se \J X\ (J X\r a famlia seja localmente finita ou e (x) = QsexEM-V.
no. Para provar a incluso inversa, suponhamos que o ponto x no
pertena a \J X\ Isto significa que, para todo A G L, tem-se x ^ X\ Demonstrao: Seja tf>: ZQ > Z C A uma parametrizao de classe
logo existe um aberto U\ x tal que U\ X\ 0. Tomemos um Ck. Mediante uma translao, podemos supor que O G ZQ e tf>(0) = p.
aberto UQ 3 x tal que UQ D X\ 0 se A ^ LQ = {Ai, . . . , A/J. Pondo Escrevendo B(r) em vez de -8(0; r), vemos que existe r > O tal que
A = C/o H {/A! n n U\ , vemos que A um aberto contendo x e que Y
B (r) C ZQ . Ento <p: B (3) > M, definida por ip(u) = ?/>(-),
A n X 0 para todo A e L. Logo x ^ |J X . Isto mostra que
LUl c\jxx. uma parametrizao de classe Ck, com ip(Q) = p. Pondo W = (f>(B(l)),
4) Consequncia imediata de 3). d V = f ( B ( 2 ) ) e U = <p(B(3)), temos ptWcVcUcA. A fim de
definir , utilizaremos a funo (3: R > K, introduzida na Seo 2 do
O suporte de uma aplicao /: -> , X C M m , o conjunto Captulo 3. Como se viu, /3: R -> R de classe C00, com O < /3() < l
pai-a, todo t G E, /3() = l se t > l e /3() = O se t < 0. Ento a funo
supp./ = {x e X; x = limxk,xk 6 X , f ( x k ) ^ 0}.
,: Km -> IR, definida por *() = /?(2 - |u|), de classe C e tem as
Noutras palavras, supp./ o fecho (em X) do conjunto dos pontos x HiKuhites propricdsulos: O < *(n) < l para todo u G M m , *(u) = l se;
Uis /(.r) / 0. ( / / ( l ) ( - ^ ( v / , ) O s . - n c / /(2).
78 Ohne Titel Cap. 4 Seo 2 Parties da unidade 79
Demonstrao: Usando o Lema 3, escrevemos M = |J Q , onde cada A famlia (supp. ^A) A localmente finita. Com efeito, cada ponto
K compacto e K C int. K+\a todo i e N. Todo ponto x .ff 2 p G M tem uma vizinhana Vp que intersecta no mximo V^ , . . . , Vi . ,
pertence a algum C . C. Aplicando o Lema 2, com A C D int K% , logo Vp intersecta supp. ^A somente quando A = /(i), . . . , ou A = f (i j } .
conclumos que todo x em K pertence a um conjunto Wix tal que o Ento S CA = l uma partio da unidade estritamente subordinada
C/2x correspondente est contido em int. KS e em algum aberto de C. A6L
Da cobertura K C U ^2x extramos uma subcobertura finita. Seja Ca cobertura C = (C\)^ L . n
x As parties da unidade servem para definir a integral de uma forma
a cobertura finita de KI formada pelos conjuntos Uix correspondentes.
diferencial numa superfcie. Antes disso, vamos utiliz-las a fim de de-
Analogamente, cada ponto x da "faixa" compacta K% int. K? pertence a
monstrar o teorema de aproximao de aplicaes contnuas por aplica-
algum conjunto W^x (na forma do Lema 2) tal que o U^x correspondente
es diferenciveis.
est contido em int. K4 , em algum conjunto de C e disjunto de KI .
Da cobertura .ff 3 int. .ff 2 C \J Wy,x extramos uma subcobertura
x Teorema 6. Seja f : M -> N uma aplicao contnua entre superfcies
finita. Seja 3 a cobertura finita de K$ int. .ff 2 formada pelos conjun- de classe Ck . Dada qualquer funo contnua positiva E: M -> R+
tos t/3X correspondentes. Prosseguindo analogamente, obtemos, para existe uma aplicao g: M N, de classe Ck, tal que \ f ( x ) - g ( x ) <
cada i > 3, uma cobertura finita Cj da faixa compacta K int. K-I e (x) para todo x e M.
por abertos do tipo U, cada um deles contido em int.fi+i , em algum
Demonstrao: Consideremos inicialmente o caso particular em que
conjunto de C e disjunto de K-I , de modo que os W correspondentes
N = Rs. Para todo p e M existe um aberto Up , com p 6 Up C M, tal
ainda cobrem a faixa. A reunio C' = Ci U U Cj U . . . uma cobertura
que \ f ( x ) - f(p}\ e (x) para qualquer x e Up . (Com efeito, a funo
aberta de M por conjuntos do tipo U, tal que os W correspondentes
contnua rjp: x H> e(p) - \ f ( x ) - f(p)\ positiva quando x = p, logo
ainda cobrem M. Cada U G C' pertence a algum Cj , logo intersecta, no
positiva numa vizinhana Up de p em M.) Seja ]T p = l uma partio
mximo, um nmero finito de outros conjuntos de C', a saber, os per-
tencentes a Ci-i U U Ci+2 Portanto C' um refinamento localmente da unidade de classe Ck, estritamente subordinada cobertura M
finito de C. D (J Up . Definimos ento a aplicao g: M - E s , de classe Ck, pondo,
Demonstrao do Teorema 5. Pelo Lema 4, existe um refinamento pM
localmente finito C' = (C^) da cobertura dada C, com f/j < para cada x e M, g(x) = p (a;)-/(p). Como /(x) = p (a;)-/(a;),
pM
Para cada i e N, seja * : -^ ~* ^ a funo auxiliar de classe Ck as- vemos que
sociada parametrizao tpi . Os suportes Vi = supp. f formam uma
cobertura localmente finita de M, que refina C. Logo * = E* uma
funo de classe Ck, positiva em todos os pontos de M. As funes
7?j : M -> R, definidas por r/j = */*, cumprem Sr/i = 1> supp. r/j = F j e
constituem uma partio da unidade de classe Ck, subordinada a C. Para
obter uma partio estritamente subordinada a C, comecemos definindo O sinal < acima se deve ao fato de que, para todo x e M, ou x e Up,
uma "funo escolha" / : N -> L, isto , para cada 2 e N escolhamos um o neste caso |/(o;) - f ( p ) \ e (x), ou ento p(x) = 0.
ndice A = f (i) G L tal que supp. r/j = F j C CA . Para cada A G L, No caso geral, temos JV C Rs para algum s. Ento tomamos uma
ponhamos A = Z^ ? Com os Vi formam uma famlia localmente vi/.inhana tubular VS(N) de A^ em M s , com 2J(/(o;)) < e (x) para todo
:/; 6 M e uma aplicao # 0 : M -> R s , de classe C fc , com |g 0 (^) - f ( x ) \
L
/(i)=A
finita, temos 'H/C7'1)) Para t;o(I -7'1 e M. A aplicao g: M ^ N ser definida pondo-
s<! /(.-;;) = 7r((7o(.7;)), .7; e M, onde TV: VS(N) -^ N a projeo associada
supp. 6= (J V*= U
vizinhana tubular. COIMO 7r(f/ () (.7:)) o ]>onl,o d(! A^ mais prximo de
Cap. 4 Seco 3 O Teorema de Jordan-Brouwer 83
82 Ohne Titel
distncia mnima de z. (Ou seja, se y G M e y ^ TT(Z) ento \z ir(::-)\ l III '.l, para hiperfcies compactas e conexas de classe C em Rm+1. Pro-
Vttiunos aqui o Teorema de Jordan-Brouwer para hiperfcies orientveis
l*-y|>)
Demonstrao: Pelo Teorema 2, existe uma vizinhana tubular V/, ( A / ) ,
l|n Hasse Ck, k > 3. Antes, umas consideraes preparatrias.
Sr ii: M -> R+ uma funo positiva de classe Ck com (x) < e(x)
com S: M R+ contnua. Pelo Teorema 6, existe e: M > II- 1 ' '!>
l.odo x M (por exemplo, (x) = e (x) /l) ento as bolas normais
classe Cfc tal que e(x) -(a;)| < -S(x) para todo .x A / , ln|',n lindas ll^-\x;5(x)] e BA-[y;S(y)], com centros em quaisquer pontos
O < e(x) < S ( x ) , o que ^assegura B^-(x;e(x))
^
C B- L (,T;(.T)), |H|',H ;,y 6 M, so disjuntas e podemos considerar, ao lado da vi-
V e (M) = U ^^(a;; e(a;)) atende as exigncias do enunciado acim.i I I ii .1 tubular aberta V5(M), tambm a vizinhana tubular fechada
xeM
Outra consequncia significativa do teorema de aproximar;u ..... ,Vs[M}= [J BJ-[x;S(x)]cVe(M).
Teorema 8. Sejam f , g: M -+ N aplicaes de classe Ck (2 /. i
Se existe uma homotopia H: M x [0, 1] > N (meramt"iil,<- c>iluntii) ''In uno no Teorema 9, a seguir, estabeleceremos o
entre f e g, existe tambm uma homotopia de classe ( o i / n i i/ii|
UM f> ,SV i) Hubamjunlo McE"i+" fechado ento Vs[M\ .
aplicaes.
Demonstrao: Sem mudar a notao, podemos coiisidci.u .1 . i | . l n i nrno: (loino foi observado anUis, podemos a d r n i U r (pie O <
II como dclinida, cm M x K, pondo //(:/:,/,) /(:/;) se /, O r / / ( i r pura, l.odo :;.- i M. Seja, ;;(> l i i i i x ^ ; , z/f E Vfj\M\. Devemos
84 Ohne Titel Cap. 4 Seo 3 O Teorema de Jordan-Brouwer 85
provar que ZQ G Vj[M]. Indicando ainda com TT: Vg[M] -> M a restrio
da projeo de VS(M) sobre M, seja Xk = ir (z k). Ento zk - xk\
(xk) < l para todo A; e N. Para todo k suficientemente grande, vale
tambm \Zk ZQ\ 1. Logo a sequncia (xk) limitada, pois
l-
- ZQ Z0 < zo\- X
-l
Passando a uma subseqncia (x r ) r6N , , temos lira xr = XQ G M. Obvia-
mente, lim zr = ZQ . Ora, para todo r e N', temos d(zr, M) = \zr xr\
reN'
5(xr). Passando ao limite, vem d(zo,M) = \z0 x0\ (XQ}. Assim,
XQ G M est situado distncia mnima de ZQ . Logo ZQ XQ G T^M^.
E, como zo XQ\ 5(xo), segue-se que ZQ G j5 J -[xo,(o;o)], ou seja, Figura 22. A funo A.
zoVs[M]. O
Definimos a funo g: V2e(M) - pondo g(x + t w ( x ) ) = A () para
todo o; G M e todo t G (-2, 2).
Teorema 9 (Jordan-Brouwer diferencivel.) Seja M C R m+1 uma hi- Tem-se g = A oP2 o h~l, onde p2: M x (-2,2) -> R a projeo
perfcie orientvel conexa, de classe Ck (k > 3), que um subconjunto P2(x,t) = t. Logo g de classe Ck~l, positiva em P, negativa em
fechado de Rm+1. Ento Rm+1 M = A(JB a reunio de dois abertos N, anula-se sobre M e, para todo x M, gradg(x) = A'(0) w (x) ^ 0.
conexos disjuntos, dos quais M a fronteira comum. Vemos ainda que g constante, igual a l, nos pontos do conjunto conexo
PI = {x + t w (x); x G M, l < t < 2} e igual a -l nos pontos de
Demonstrao: A essncia da demonstrao consiste em definir uma NI = {x +1 w (x); x G M, -2 < t < -1}. Portanto o gradiente de g se
funo /: Rm+1 -> R, de classe Ck~l, tal que M = /-1() e grad/(z) ^ anula em todos os pontos de V2e(M) - Ve(M).
O para todo x G M. Comeamos com uma vizinhana tubular V2 (M), A funo /: Rm+1 -> R que buscamos vai coincidir com g em V2e(M)
que contm a vizinhana tubular fechada V[M]. Como M orientvel, e no se anular fora de M. Para obt-la, consideramos o campo de
existe um campo w: M -> Rm+1 de vetores normais no-nulos, de classe vetores v: R m+1 - R m+1 , definido por v (x) = gradg(x) se x E V2e(M)
Ck~l. Substituindo w (x) por 2e(x) w(x)/\w(x)\, podemos admitir que cv(x) = 0 nos demais pontos x de Rm+1. O campo v de classe Ck~2 e,
\w(x)\ 2e(z) para todo x G M. A aplicao h: Mx(-2,2) -> V 2 (M), se escrevemos v (x) = (ai(rc),.. .,am+i(x)), vemos que so cumpridas as
definida por h(x,t) = x + t w (x), um difeomorfismo de classe C7* 1, condies de integrabilidade dai/dxj = daj/dxi em todos os pontos de
como foi visto na demonstrao do Teorema 1. Temos /i(M x {0}) = M V2e(M) pois a v = gradgi e, nos demais pontos de R m+1 porque neles
e o complementar de M x {0} em M x (2,2) tem duas componentes v se anula identicamente. Pelo Corolrio 5, Captulo l, como Rm+1
conexas: M x (-2,0) e M x (O, 2). Logo Vie(M] - M tem duas compo- simplesmente conexo, existe uma funo /: Rm+1 -> R, de classe Ck~l,
nentes conexas, que so os conjuntos P = {x+t-w(x); x G M, O < t < 2} tal que v = grad/. No conjunto conexo V2e(M), as funes / e g tm o
e N = {x + t w (x); x G M, 2 < t < 0}. Agora lanamos mo de uma, mesmo gradiente. Logo, subtraindo de / uma constante, se necessrio,
funo A: R -> R, de classe C00, que nos permite passar suavemente podemos assegurar que / e g coincidem em V2e(M).
da constante l para a constante +1. Tem-se A() = l se < l, Resta mostrar que /: R m+1 - R no se anula fora de M. Seja
A() = l quando > l e A'() > O se -l < < l . (Veja abaixo a z K m " - M. Se z e V2E(M) ento z G P, e da /(z) > O, ou
definio precisa de A.) z G N e tem-se /(z) < (). Se, entretanto, z G V2E(M), seja y um ponto
Cap. 4 Seo 3 O Teorema de Jordan-Brouwer 87
86 Ohne Titel
do conjunto fechado V^[M] situado distncia mnima de z. Todos os Se a hiperfcie conexa orientvel M C Rm+1 compacta ento na
pontos do segmento de reta semi-aberto [z, y) esto mais prximos de ciso Rm+1 M = A U B uma das componentes conexas limitada e
z do que o ponto y, logo no pertencem a V^[M]. Conseqentemente, a outra ilimitada. Com efeito, existe uma bola D em R m+1 contendo
o gradiente de / se anula e / constante no segmento [z, y]. Como o compacto M. O conjunto conexo Rm+1 D c Rm+1 M deve estar
contido numa das componentes, digamos A. Logo A ilimitada. Como
f (y) = 1, segue-se que f (z) = 1.
todo conjunto ilimitado deve ter pontos em comum com Rn+1 D,
Obtida a funo / com as propriedades desejadas, escrevemos Rm+1
portanto com A, e B disjunto de A, segue-se que B c limitado (de
M = A U B, onde A = {z E Wn+l-J(z) > 0} e B = {z G Rm+1; f (x) <
fato, B C D).
0}. Os conjuntos A e B so abertos disjuntos. Alm disso, toda funo
contnua se anula na fronteira do conjunto dos pontos onde positiva
(respect. negativa), logo fr. A U fr. B C M. Por outro lado, toda vi-
zinhana de um ponto de M contm pontos de A e de B, portanto APNDICE: Toda hiperfcie compacta orientvel
M C fr. A n fr. B. Segue-se que fr. A = fr. B = M.
Para concluir, mostremos que A conexo. (A conexidade de B se Na verdade, vale um pouco mais: se a hiperfcie M C Rm+1 um sub-
prova do mesmo modo.) Seja, ento, z G A, isto , f (z) > 0. Como conjunto fechado do espao euclidiano, ento M orientvel. Isto ser
vimos acima, se y e V[M] tal que \ y\ d ( z , V[M]) ento a funo demonstrado agora, por desencargo de conscincia. Sem embargo, conti-
/ constante ao longo do segmento de reta [z,y], logo /(y) > O e da nuaremos usando a expresso "hiperfcie compacta orientvel" porque
y 6 P. Assim, todo ponto de A pode ser ligado por um caminho contido achamos que se trata de um pleonasmo inofensivo.
em A a um ponto do conjunto conexo P = h(M x (O, 2)). (Aqui usamos Seja X C R". Diremos que duas funes / , g : X R coincidem
a conexidade de M.) Portanto A conexo. D localmente a menos do sinal quando todo x e X tem uma vizinhana V
tal que f\V <7|V'. (Escrevemos <f> = ^> quando as funes reais </>,
Definio da funo A: R > R i/} tm o mesmo domnio D e tem-se </>(y) = ij)(y) para todo y E D, ou
Seja a: R > R a funo de classe C00 definida por a () = O se || > l ento <f>(y) = i/}(y) para todo y E D.)
e a (t) = exp(l/( 2 - 1)) se -l < t < 1. Seja ainda A = /_\a()d.
Lema A. Seja X C R" conexo. Se / , g : X > IR coincidem localmente
Pomos ento A() = (l/'A) J0 a(s) ds e obtemos uma funo A: R > R,
a menos do sinal e /~ 1 (0) tem interior vazio ento f = g.
de classe C', tal que A () = l se > l, A() = l quando < l, A
crescente, com derivada positiva no intervalo (1,1) e A(0) = 0. Demonstrao: Sejam E = {x 6 X; f (x) = g (x)} e U = int.E1. Para
cada x E U, seja V uma vizinhana de x tal que f\V = g\V. Ento
Exemplo 5. Se M no conexa, o complementar Rm+1 M ainda int(F n U) j 0, logo existe y G V n U tal que O 7^ f (y) = g (y). Isto
desconexo, como a prpria demonstrao acima prova (pois Rm+1 mostra que f\V = g\ donde x G U. Assim, o conjunto aberto U
M = A U B uma ciso) mas A ou B podem ser desconexos, como no tambm fechado, logo U = X ou U = 0. Isto significa que ou / = g
caso em que M a reunio de duas ou mais circunferncias disjuntas ou o conjunto E tem interior vazio. Usando g em vez de g, segue-se
no plano R2. Prova-se em Topologia Algbrica, como consequncia do que ou / = g ou o conjunto F = {x X; f (x) = g(x)} tem interior
Teorema de Dualidade de Alexander, que se a hiperfcie orientvel M vazio. Como X E U F, devemos ter / = g. D
tem r componentes conexas, seu complementar Rm+1 M tem r + 1.
Observao. As funes /, g no precisam ser contnuas. Quando
Exemplo 6. Seja X C R2 o conjunto formado pela circunferncia o interior de /"1(0) no vazio, fcil dar exemplos em que f e g
unitria S1 reunida com o intervalo [1,2] do eixo das abcissas. Ento Coincidem localmente a menos do sinal mas / ^ g e f ^ g.
R 2 X tem duas componentes conexas mas X a fronteira, completa
O lema seguinte; contm o processo fundamental de colagem.
de apenas urna delas.
Ohne Titel Cap. 4 Seco 4 Exerccios 89
Lema B. Seja A uma cobertura aberta de R". Para cada a e A, seja facilmente verificadas, o que nos d uma funo /: R" > R, de classe
dada uma funo fa: a ) R, de classe Ck, com int. /^"1(0) = 0. Alm Cls~1, com / -1 (0) = M e grad/(x) = ^rjj- -w(x) para todo x e M, logo
disso, sempre que aiCia-2 ^ 0, as funes fai e /Q2 coincidem localmente grad/(:c)^0. D
a menos do sinal em a\ 0:2 . Nestas condies, existe uma funo
f : R" > R, de classe Ck tal que, para cada a G A, fa e f\a coincidem Corolrio 1. Toda hiperficie M C R" ae classe Ck (k > 2), gwe um
localmente a menos do sinal. subconjunto fechado de R, orientvel.
Com efeito, Af a imagem inversa de um valor regular de /. D
Demonstrao: Para cada x e R" seja U = BQ U B\ U Br uma
cobertura do segmento de reta [O, x] por bolas abertas, onde cada B est
contida em algum aj e A e BiC\Bi-i ^ 0. Descartando bolas suprfluas, 4 Exerccios
cada B intersectar [O, x] e B n Bj = 0 se z j| > 1. Ponhamos
Seo 1: A vizinhana tubular
/(o;) = f r ( x ) , onde /r a ltima das funes /j: J9o U U B > R
(z = O, l , . . . , r), de classe Ck, definidas sucessivamente por fi\Bi = 1. Em cada um dos casos abaixo, determinar o maior valor da constante > O
i/oJ-Bi, o sinal sendo escolhido de modo que f coincida com /j_i tal que Ve(M) seja uma vizinhana tubular de M.
no conjunto conexo B D B-\ Fixemos / de uma vez por todas. Se (i) M C K" uma esfera de raio r;
gs: V -> R for construda como fr porm a partir de outra coberura (ii) M C Rn uma variedade afim m-dimensional;
V = BQ U B{ U U B's D [O, x] ento V fl U conexo. Como /o = ffo , (iii) M C R2 a parbola de equao y = x2.
segue-se do Lema A que /r = ys em V D U. Portanto fr(x) = g s ( x ) , 2. Diz-se que os conjuntos X C Rm e Y C R" tm o mesmo tipo de homoto-
de modo que a funo /: R" ) R est bem definida. Seja agora 2e = pia quando existem aplicaes contnuas f : X t Y e g: Y > X tais que
dist([0,i],R n -U). Se y 6 B (z; e) e W = B0 U [' U U B't' D [O, y], g o f: X tXefog: Y>Y so ambas homotpicas aplicao identidade.
Ento f e g se chamam equivalncias homotpicas, uma inversa da outra.
onde cada B" tem raio e e centro sobre [O,y], ento W C U. Pelo Lema
(i) Defina tipo de homotopia Ck (O < k < oo);
A, a funo ht: W > R, definida como acima, coincide com / r |W, logo
(ii) Prove que os seguintes pares de superfcies tm o mesmo tipo de homotopia
/(y) = /H (y) = f r (y)- Isto significa que / coincide com /r na bola C:
B(x;e), l o g o / E C f c . D
(a) Um aberto convexo e um ponto;
Teorema. Seja M C R" uma hiperficie de classe Ck (k > 2) que um, (b) Sn e R n+1 - {0};
subconjunto fechado do espao euclidiano. Existe uma funo f : R" > (c) M x R71 e M, onde M uma superfcie C;
R, de classe Ck~l, tal que M = /~ 1 (0) e grad/(x) ^ O para todo x e M. (d) U e C, onde U = {(x,y, z) 6 y2 > 0} e C = S2
cilindro.
Demonstrao: Seja A: R > R uma funo C tal que A() = l 3. Seja /: M N uma equivalncia homotpica C. Prove que uma forma
se t < -l, A'() > O se -l < < l, A(0) = O e A(-) = -A(). Seja diferencial u) em N exata se, e somente se, o pullback /*w uma forma exata
Vz(M) uma vizinhana tubular de M. A fim de aplicar o Lema B, em M.
cubramos o espao R" com os seguintes conjuntos abertos a. Um deles 4. Prove que toda forma diferencial fechada de grau 2 no aberto U = {(x, y, z) 6
a* = R" V^[Mj. Para obter os outros, cubramos M com abertos R 3 ; x1 + y2 > 0} exata e que a forma fechada de grau l em U, dada por
U' C M, em cada um dos quais est definido um campo contnuo (logo <jj(x, y, z) = (ydx + xdy)/(x2 + y2) no exata.
C^'"1) de v t, ores normais unitrios w: U' > R". Para cada U' seja 5. Prove que a vizinhana tubular VC(M) da superfcie M C Rn difeomorfa a
a = V2e(U') = {x + tw(x}\x e f/',|| < 1e(x)}. A funo /,: o- > uma vizinhana da seo nula Ma = {(p, Q) vM;p 6 M} do fibrado normal
i'M. (Veja Kxorrfdo 3, Seo 2, Captulo 7, Volume 2.) Prove tambm que
R, dada por fa(x + tw(x)) = X ( t / e ( x ) ) , de classe C*"1. Ponhamos V,(M) tom o mesmo l.ipo de hoiiml.opia de M.
ainda /,v* : K* R constante, igual a 1. As hipteses do Lema H so
90 Formas Diferenciais Cap.4
f f
u= a(x)dx.
Jx Jx
Se h: U > V um difeomorfismo entre os abertos U, V C Rm vamos,
por convenincia, indicar com y = (yi,--.,ym) os pontos de V e por
dyi,,,., dym as diferenciais de suas coordenadas. Os pontos de U sero
x = (xi,..., xm) e dxi,..., dxm as diferenciais correspondentes. Dada a
forma diferencial w(y) = a(y) dy\ A dym em V, sabemos que, para
todo x U, o pullback h*u tem o valor
uma parametrizao positiva ip: UQ > t/, na superfcie orientada M, de H Quando, para cada a; G M, a derivada f ' ( x ) transforma bases po-
dimenso m. sitivas em bases negativas, diz-se que o difeomorfismo local / inverte
Ento (f>*u uma forma de grau m no aberto UQ C R m , com suporte orientao.
compacto, igual a y?"1 (supp. w). Caso a superfcie M seja conexa, um difeomorfismo local de M nou-
Seja X um conjunto compacto J-mensurvel, tal que supp. </?*w C tra superfcie orientada N preserva ou inverte orientao.' (Ou seja, se a
X C UQ. (Por exemplo, podemos tomar X como sendo a reunio de um derivada f (x} leva bases positivas em bases positivas num ponto a; G M
nmero finito de bolas fechadas com centros em pontos de supp. ip*co e ento faz o mesmo em todos os pontos de M.) Se M desconexa, /
raios iguais distncia de supp. (p*uj a Em UQ .) pode preservar orientao numa componente e inverter noutra.
Ento definimos a integral de LU sobre M pondo
Teorema 1. Sejam M, N superfcies orientadas, h: M -+ N um di-
LO =
feomorfismo que preserva orientao e LO uma forma contnua em N,
M de grau m = dimTV, com suporte compacto, contido na imagem de uma
Esta definio no depende do conjunto X tomado pois se Y outro parametrizao. Ento J~Mh*u) = /jy w -
conjunto nas mesmas condies, a forma </?*w se anula fora de X D Y. Demonstrao: Seja if>: Vo > V C N uma parametrizao positiva
Resta ver que JM w, conforme definida acima, no depende da pa- tal que supp. u; C V. Tomando U = h~l(V], e ip = h~l o y>: VQ > f/,
rametrizao (p. De fato, se 0: VQ -> y for outra parametrizao po- vemos que h*u uma forma contnua de grau m = dimM, cujo suporte
sitiva em M, com supp. o; C V, tomamos X na definio anterior tal h~l (supp. w) compacto e contido na imagem da parametrizao po-
que supp. (p*w C </?~1(C7 n V) e, considerando o compacto J-mensurvel sitiva <f>: VQ -> U em M. Seja Y um conjunto compacto J-mensurvel
PO, onde = V"1 </>: V~l(U D F) -> ^(f/ n V), vemos que em R", tal que t/)~ 1 (supp. o) = v?"*"1 (supp. h*u) C Y C VQ . Ento, como
/f f A") 'i/'*w = /x V*^' em virtude do que observamos acima, (tomando h o (p = t/}, temos:
agora no lugar de h) pois = /0"~1 o y? nos d (p* = * o i/;*, portanto
J^ (*w = /x *ip*uj = ff(x) V'*Ct;) levando em conta que, sendo tp e ty h*u= l <p*h*w= D
ambas positivas, o difeomornsmo tem determinante jacobiano positivo M JY Y Y N
em todos os pontos de seu domnio <p~l(U n V).
Portanto, legtima a definio da integral JM w quando u uma Se o difeomorfismo h inverte a orientao ento tem-se fM h*LU =
forma contnua de grau m = dimM, com suporte compacto, contido ~$NU-
parametrizada Ui, logo faz sentido a integral JM Wj. Pomos ento, por Quando a superfcie orientada M compacta, toda forma diferencial
r em M tem suporte compacto, portanto tem sentido considerar fMw
definio, /M w = /M wi para qualquer forma contnua de grau m = dim M.
=i
Resta provar que a integral JM cj, assim definida, no depende da O teorema abaixo contm uma primeira relao entre a integral e a
r diferencial exterior.
partio da unidade ^ & = 1.
Teorema 3. Seja u> uma forma diferencial de classe C1, grau m e
Para isto, usaremos o fato de que fM ( ^ <*i) = ] (J M ai) quando suporte compacto na superfcie orientada M, de dimenso m + l. Ento
i=l i=l fMdu= 0.
as formas contnuas a\,..., ar tm suportes compactos, todos eles conti- fe
dos na mesma vizinhana parametrizada. (Fcil verificao.) Demonstrao: Se w = wi H + uk ento JM doj ]T) fM duii. Po-
s =i
Seja ento X] G = l outra partio da unidade, estritamente subor- demos supor ento que o suporte de eu est contido na imagem de uma
j=i parametrizao positiva (p: UQ -> U. O caso geral reduz-se a este me-
dinada a uma cobertura V\ U Vs D supp. w, onde cada Vj tem fecho
diante uma partio da unidade. Para todo x tp(u) U, escrevamos
compacto e a imagem de uma parametrizao tpj: VJQ -> Vj , a qual
r
m+l
supomos positiva. Pondo G)j = C,j w e w^ = j (j o;, temos ,;,- = W,'
A Ai A A dum+i .
s
e 5^ w,-,- = w,-. Portanto
Ento
m+l
UUi
E
duj(x] = E
i=l
7^
A A %i+l
j=i m+l
D
Seja = H [ai> A] um bloco em Em+1 contendo 9? :(supp. w). Consi-
=i
O teorema seguinte resume as propriedades bsicas da integral de deremos as funes ai, . . . , a m+ i definidas (e de classe C*1) em K, pondo-
uma forma contnua com suporte compacto numa superfcie orientada. as iguais a zero em K t/o . Em particular, cada <Zj se anula na fronteira
de K, isto , Oj(ui, . . . ,n m + i) = O se algum uj = j ou Uj = /3j . Para
Teorema 2. 1) + w) = JM w + w. cada i = l, . . . , m+l, seja Q o produto cartesiano dos intervalos [ctj,/3j],
2) 5e c M eno JM c a; = c j~M w. com exceo do -simo. Temos:
3) 5e a; > O mas no identicamente nula ento fMw > 0.
,, m+l Q
4) Se h: M -^ N um difeomorfismo que preserva orientao ento
/ d^=^ -~
fM h*w = fN&. Se h inverte orientao ento fMh*uj fN u. JM ~[ J K oui
Demonstrao: 1) e 2) bvios quando o; e ; tm suportes compactos n
se, e somente se, a matriz (m + 1) x (m + 1) cujas colunas so os vetores Escreveremos os pontos de Rm+1 como x = ( X Q , X \ , . . . ,xm) e, cor-
x,wi,... ,wm, nesta ordem, tem determinante positivo. A aplicao respondentemente, a base cannica ser {Q, e\,..., em}. Um semi-
antpoda a: Sm -> 5m, sendo linear , em cada ponto x e Sm, igual espao frequentemente usado HO = Heo, formado pelos pontos x =
sua derivada. Assim, para cada x em Sm, a'(x) transforma uma base (XQ, xi,..., xm) tais que XQ < 0. O bordo de HQ o conjunto dos pon-
positiva { w ~ i , . . . ,wm} C TxSm na base {101,... , wm} C T^xSm, a tos (O, #1,... ,xm). Faremos a identificao dHo = Em, tornando assim
qual negativa pois det[x,wi,...,wm] det[x,w\,... ,wm] j E cR m+1 .
que m par. Pelo mesmo motivo, a preserva orientao quando m
mpar. D H
A aplicao / A - R", diferencivel no aberto A C H do semi- quando (ti, 10} > 0. Se A C u um aberto tal que d A ^ 0, diz-se
espao H tem sua derivada f (x): Rm+l -* K", no ponto x G A, definida tambm que w aponta para fora de A.
como F'(a;)' Mm+1 -> K", onde F: U -> M" qualquer extenso dife- Teorema 6. Sejam A C Hu e B C Hv abertos em semi-espaos de
rencivel de'/ a um aberto U C Rm+1 que contenha A. Se x d A ento M m+1 . Se o difeomorfismo h: A > B preserva orientao (isto ,
claro que esta definio no depende da aplicao F pois, neste caso, dei h'(x) > O para todo x A) e w e R m+1 aponta para fora de A
x pertence ao interior de A em Rm+l e ento duas escolhas quaisquer ento, para todo x E d A, h'(x) w aponta para fora de B.
de F coincidem numa vizinhana de x.
Demonstrao: Para todo x e A, devemos mostrar que (v, h'(x)
Seja agora x <E d A = Ar\dH. Devemos mostrar que, para todo vetor
w e Rm+i 0 vetor p'(x) w depende apenas dos valores F (y) de F nos
w) > O, sabendo que (u, w) > 0. Pelo Teorema 5, a derivada h'(x] :
jg>m+i _^ jjjwH-l transforma o hiperplano dHu em dHv , ou seja, tem-
pontos y 6 A, ou seja, dos valores f (y). Ora temos u; = c -v + o n d e
se (v, h'(x) w} = O se, e somente se, (u, w) = 0. Assim sendo, basta
H = HveuedH, Logo F'(x) - u; = *"(*) n + c - F'(x) - . Como
mostrar que (v,h'(x) - w ) > 0. Ora, para todo t < O suficientemente
u pertence ao hiperplano f, a parcela F(x) - u depende apenas do
prximo de zero, tem-se x + t w e A d A portanto (novamente pelo
comportamento de F em A n dH = d A, onde F coincide com /. E a
Teorema 5) h(x + tw) e B dB e da (v, h(x + tw)) < 0. Para esses
segunda parcela, c F1 (x) -v, um mltiplo de
valores de (lembrando que (u,/i(x)) = 0), temos
,. F(x + tv) --F(x) = lim F(x + tv) - F(x) h(x + tw) h(x) h(x + tw)
F' (x) v lim t
->0 v, fdl''>.'.^.
,. /('
lim
c + tv) -/(^)
t
-0- Passando ao limite quanto > O , vem (v, h'(x)-w) > O, como queramos.
pois para todo < O suficientemente pequeno (em valor absoluto), tem- n
se x + tv G H. Assim, F'(x) - v depende apenas de /. Uma superfcie com bordo, de dimenso m + l e classe Ck, um
Portanto, a definio /'(x) = *"(*): B?*1 - M" no depende da conjunto M d W1 tal que cada ponto x E M pertence a um aberto
escolha da aplicao F que estende / a um aberto de R- . Dai resulta U C M que imagem de uma parametrizao (p: UQ > U, de classe C*,
que vale a Regra da Cadeia e que uma bijeo diferencivel e um drfeo- definida num subconjunto 7o , aberto em algum semi-espao de Rm+1.
morfismo entre abertos de semi-espaos se, e somente se, sua derivada Como no caso sem bordo, uma parametrizao </?: C/o > C/, cujo
em cada ponto uma transformao linear mvertvel. domnio aberto num semi-espao, uma aplicao de classe Ck cuja
Merece destaque o fato de que o bordo 3A de um aberto A num semi- derivada <p'(u): Em+1 > M injetiva em cada ponto u G C/o e, alm
espao invariante por difeomorfismos, conforme o teorema abaixo. disso, (p deve ser um homeomorfismo de Uo sobre o aberto U C M.
Se </?: C/o > C/ e i/>: VQ ) F so parametrizaes na superfcie de
Teorema 5 Sejam A C H e B C K abertos em semi-espaos. S<: classe Ck, com bordo, e C/flF 7^ 0 ento a mudana de parametrizao
h- A -> B um difeomorfismo de classe C* (k > 1) ento h(A) = dD. 4- = t/; -1 n V) n F) um difeomorfismo. Este
Demonstrao: Seja xeA-dA. Existe um aberto U C R*1 tal que fato foi provado no Vol. 2 (v. Corolrio 3 no Cap. 7) para superfcies
x e U C A Como t(x): Em+1 -> m+1 um isomorfismo, podemos sem bordo. A demonstrao aqui segue as mesmas linhas, salvo por um
tomar U 3 x to pequeno que V = h(U) cB seja um aberto em V" , detalhe, que o seguinte. Quando uma aplicao / : / " JKn definida
naturalmente contendo h(x). Ento /(x) $05. Portanto h(A.- d A) C riurn aberto U C Em+1, tanto faz dizer que / de classe Ck como dizer
B - dB. Analogamente se mostra que h~\B - dB) C A - A. Logo que / localmente de classe (7fc, isto , que cada ponto x 6 U possui
h(OA) = dB. uma, vizinhana aberta, contida, em f/, restrita qual / de classe C7:.
l
l)i/,-s(! qne o vetor i e K" lH aponta \nra fora do semi-espao //, Na verdaile, esta a, prpria, definio de / r <V A: .
Cap. 5 Seo 2 Superfcies com bordo 103
102 O Teorema de Stokes
Assim, no contexto das parametrizaes padronizadas, as parame- dois semi-espaos possui vrtices angulosos ou arestas, por isso no um
trizaes de M so as restries a Mm das parametrizaes de M (onde semi-espao. Por exemplo, o conjunto X = {(x, y, z) e R 3 ; y < O, z < 0}
o produto cartesiano do semi-plano y < O em R2 pela semi-reta z < O
dimM = m + 1).
Seguem-se alguns exemplos de superfcies com bordo. em R.
Exemplo 3. Um semi-espao Hu C Rm+1 uma superfcie com bordo, Exemplo 7. A vizinhana tubular fechada Ve [M] de uma superfcie M
(sem bordo) uma superfcie com bordo. Com efeito, todo ponto de
na qual basta considerar a aplicao identidade id: Hu > Hu como
nica parametrizao. Seu bordo HU = {x e Rm+1; (u, x) = 0}. T/j [M] pertence a uma vizinhana tubular local V^[L/], <lue um aberto
Em particular, se u = e$ = (1,0, . . . , 0 ) e Rm+1 ento Hu o semi- em Fe[M], imagem do difeomorfismo <&: L/o x ?[0; 1] > V[u], como na
espao padro HO = {(xQ^Xi,.,.,xm) G Rm+1; XQ < 0}, cujo bordo demonstrao do Teorema l, Captulo 4. Pelo Exemplo 6, C/o x B[0\]
uma superfcie com bordo, logo V^[M] localmente uma superfcie com
dito = Rm = {x e Rm+1; x0 = 0}.
bordo. Isto comprova a validez do Exemplo pois a definio de superfcie
Exemplo 4. O intervalo [a, b] requer pelo menos duas parametrizaes com bordo local.
para ser considerado uma "superfcie" com bordo. Elas so, por exemplo,
Exemplo 8. Seja /: U > R uma funo de classe Ck no aberto U C
(p: (1,0] > (a, ] e i\)\] - [a, ), definidas por (p(t) = (b a)t + b
Rm+1. Se O um valor regular de / ento o conjunto M = {x E
e i/)() (a b)t + a. O bordo de [a, b] o conjunto {a, }, com dois
jjm+i. j^ < Q} uma superfcie com bordo, de classe Ck e dimenso
elementos. m + l, cujo bordo N = f ~ l ( Q ) . Isto vlido quando / e C1, mas
Exemplo 5. Seja B a bola fechada de centro O e raio l em Rm+l, suporemos k > 3 a fim de usar a vizinhana tubular V (N). Definimos o
com ?7i > 0. (O caso m = O est contido no exemplo anterior, to- campo de vetores normais w: N > R m+1 , de classe Ck~1, pondo, para
mando [a, b] = [l,1].) Mostremos que B uma superfcie de dimenso cada x e N, w (x) = A(a) grad/(x), onde X(x) > O tomado de modo
m + l, cujo bordo a esfera unitria Sm. O interior de B pode ser a se ter \w(x) e (x). Isto nos d o difeomorfismo $: ( l , 1) x TV >
parametrizado pela aplicao identidade. Se p . Sm = dB, podemos Ve(N), $(t,x) = x + t-w(x). O conjunto A = {x + t-w(x)\l < < 0}
parametrizar uma vizinhana de p em B tomando uma parametrizao aberto e m M e < > : (l, 0] x JV > .A um difeomorfismo, logo A uma
(f: UQ > U de um aberto U C Sm com p e C/, com C/o C Rm e definindo superfcie com bordo. Obviamente B = {x E U; f (x) < 0}, aberto em
$: (l, 0] x C/o > B por <&(, u) = (l +1) tp(u). Quando <p descreve um R m+1 , uma superfcie. Logo M = A U B uma superfcie com bordo
atlas em 5m, as imagens das parametrizaes $ cobrem B {0} e, junta- e dM = N.
mente com a aplicao identidade do interior de B, completam um atlas Uma superfcie com bordo M diz-se orientvel quando admite um
que faz da bola fechada B uma superfcie com bordo, com d B = Sm. O atlas coerente, isto , um conjunto 21 de parametrizaes f. UQ > C/,
mesmo se d com as bolas fechadas com centros nos pontos c 6 Em+1 o t/}-. VQ > V, etc, cujas imagens cobrem M e so tais que, se U n V ^ 0,
raios r > O arbitrrios. a mudana de parametrizao = 0~1 o tf: tp~l(U n V) > i/j~1(U D V)
Exemplo 6. O produto cartesiano M x N de uma superfcie com bordo tem determinante jacobiano positivo em todos os pontos. O par (M, 21)
M per uma superfcie (sem bordo) N uma superfcie com bordo, sendo chama-se uma superfcie orientada e as parametrizaes (p E 21 dizem-se
d (M x N] = dM x N. Isto se deve ao fato de que se t/o C H um positivas.
aberto no semi-espao H C R"1"1 e VQ um aberto em R ento C/o x l/o Mostraremos >a seguir que se M orientvel ento seu bordo dM
aberto no semi-espao ff x R" C Rm+n+1. Como no caso de superfcies tambm orientvel e toda orientao em M determina uma em dM,
chamada
sem bordo, dadas as parametrizaes (p: t/o > U em M c ijj: Vo > \m TV, as aplicaes do tipo a orientao
(p x ijr. UQinduzida
x Vo porC/ xM.l/ formam um
Comeamos observando que toda superfcie orientvel M de dimenso
atlas cm M x N. Convm observar que o produto cartesiano de dua,s > 2 possui um atlas coerente cujas parametrizaes so todas padroniza-
superfcies com bordo no uma superfcie com bordo, pois o produto dr das. De fato, seja, <p: U o > (I urna parametrizao positiva em M, onde
106 O Teorema de Stokes Cap. 5 Seo 2 Superfcies com bordo 107
Uo um aberto no semi-espao Hv C Rm+1. Sem perda de generalidade ^(UnV^R do difeomorfismo = ip-loip: (p~l
podemos supor \v\ l e ento, como m +1 > 2, existe um operador or- tem determinante positivo em todos os pontos. Com efeito, como o
togonal T: Rm+1 > Em+1, com determinante positivo, tal que T-CQ = v, vetor BQ aponta para fora do semi-espao HO (formado pelos pontos
logo T(H0) = Hv , onde H0 = { ( X Q , X I , . . . ,xm) <E R m+1 ; x < 0}. Ento, (XQ,XI, ... ,xm) com XQ < 0), segue-se do Teorema 6 que, para todo
pondo Vo = T"1 (t/o)i vemos que <p o T: VQ ) U uma parametrizao u = ( 0 , u i , . . . ,um) e M m , o vetor '(t) e0 = ( a o , a i , . . . ,a m ) tem a
padronizada, positiva, com a mesma imagem U de </?. primeira coordenada ao > 0. Como '(u): R m+1 > Em+1 deixa Mm
invariante, sua matriz jacobiana tem a forma abaixo,
Teorema 8. O bordo de uma superfcie orientvel tambm orientvel.
Demonstrao: Consideremos uma superfcie M, munida de um
atlas coerente 21. O teorema bvio quando M tem dimenso l pois
seu bordo ter dimenso O e ser obviamente orientvel. Seja ento
dimM = m + l > 2. Pelo que vimos acima, podemos supor que todas
as parametrizaes </? 6 21 so padronizadas.
TTdM
Olhemos agora para o Teorema 8 no caso de uma curva M, isto , Teorema 9 (Stokes). Seja aj uma forma diferencial de grau m e classe
uma superfcie de dimenso 1. Ento o bordo dM tem dimenso zero: C1, com suporte compacto na superfcie orientada M, de dimenso m +
um conjunto de pontos isolados. l, com bordo dM. Ento fMdu = JQM^-
Orientar uma superfcie de dimenso zero atribuir a cada um dos Demonstrao: Fazendo uso de uma partio da unidade podemos,
seus pontos um sinal + ou . Se a curva M (superfcie unidimensional) por aditividade, supor que o suporte de u est contido na imagem de
orientda, a orientao induzida no bordo , por definio, aquela que uma parametrizao positiva ip: UQ > C/, em termos da qual podemos
atribui ao ponto x E dM o sinal + quando para uma (e portanto para escrever, para cada x = (p(u) 6 U,
qualquer) parametrizao positiva (p: JQ > J em M, com x = if>(u), o
vetor-velocidade <p'(u) aponta para fora de M. Caso contrrio, x rocei M;
o sinal . -1)' /(') duo A A A A dur,
Cap. 5 Seo 3 O Teorema de Stokes 111
110 O Teorema de Stokes
portanto
TTi r\ =0
duj(x) duo A A du =
que |g(x) x\ |/(x) x\ |/(x) g(x)\ e e/2 = e/2. Portanto, Demonstrao: Dando a dM a orientao induzida por M, seja u)
se existir uma aplicao contnua /: B t B sem ponto fixo, existir a forma elemento de volume, ou qualquer outra forma de grau m =
tambm g: B > B, de classe C00, sem ponto fixo. dim dM, com fQM aj ^ 0. Supondo a existncia da retrao r: M >
Em seguida, mostraremos que se existir uma aplicao g: B > B, dM, o Teorema de Stokes nos d
de classe C00, sem ponto fixo, existir uma retrao (p: B -> 5n 1, de
classe C00, sobre S"-1 = 9J3. 0 ^ / u= f r*u= f d(r*u} = r*(du) = r*0 = 0.
A aplicao (p: B -> S""1, tal que </?(x) = x para todo x 6 S""1, JdM JdM JM JM JM
definida pondo, para cada x 6 -B, <>(x) = interseo da semi-reta g (x) x Na primeira das igualdades acima, usamos o fato de que u = r*u em dM
com a esfera Sn~l. Em termos analticos, tomando o vetor unitrio pois r\dM identidade. E a penltima igualdade resulta de ser dui = O
u = (x g(x))/\x ^(a!)!, tem-se f (x) = x + tu, onde t > O escolhido pois o grau de w a dimenso da superfcie dM onde est definida. D
de modo que seja \ + tu\ l.
Observao. A abrangncia do Teorema 11 , sem dvida, bem maior
do que requer o Teorema do Ponto Fixo de Brouwer. Mas se quisermos
apenas mostrar que a esfera Sm no um retrato da bola Bm+l, ou
seja, que a aplicao identidade id: Sm > Sm no possui uma extenso
r: Bm+l -> 5m, de classe Ck (k > 2), basta usar o Lema de Poincar
(Corolrio l, Cap. 3), segundo o qual toda forma fechada em Bm+l
exata. De fato, se r existisse, como u fechada e portanto r*u tambm,
teramos r*oj = da para alguma forma a, de grau m l em Bm+l. Ora,
n-l
considerando a incluso i: Sm -> Bm+l tem-se r o i = id: Sm > Sm e
S da viria
0 = = O- / fi,
N dN
Nos livros de outrora, ou mesmo nos elementares de hoje, o trata- De fato, se M C R m+1 uma hiperfcie compacta orientada e X: U >
jjm+i ^ um canlpO contnuo de vetores num aberto U C Wn+1 contendo
mento das integrais de superfcies no feito por meio de formas dife-
M, a integral do campo X na hiperfcie M , por definio, igual a
renciais. Neles, integram-se apenas funes e campos de vetores. A
fM (X, f} dM, onde v. M -> M m+1 o campo unitrio de vetores nor-
proposio de natureza geral, que se costuma atualmente chamar Teo-
mais que determina a orientao de M (e determinado por ela). Assim,
rema de Stokes, ocorre nas apresentaes tradicionais ou introdutrias
passamos do campo X para a funo (X, f ) : M > K e recamos no caso
de modo fragmentado, sob diferentes ttulos e formulaes, conforme a anterior.
dimenso do domnio de integrao.
Uma interpretao fsica da integral fM (X, v] dM pode ser dada
A seguir, faremos uma breve exposio desses teoremas clssicos,
considerando X como o campo das velocidades das partculas de um
mostrando como eles esto contidos no Teorema 9, apenas com termi-
fluido incompressvel que se desloca numa regio do espao contendo a
nologia e notao diferentes.
hiperfcie M. Admitindo que se trata de um regime estacionrio (steady
Comearemos explicando o que significa a integral de uma funo
state), isto , que o campo X no depende do tempo, ento a integral
real contnua / : M > R, definida numa superfcie compacta orientada.
fM (X, v) dM representa a quantidade de fluido que escoa atravs de
Se u a forma elemento de volume de M ento a integral de / ao M na unidade de tempo (o que entra menos o que sai). Este nmero
longo de M , por definio, a integral da forma f-u onde, naturalmente, chama-se o fluxo do campo X atravs da superfcie M. Como o fluido
(f-u)(x) = f (x) u (x) para todo x G M. incompressvel, se no h fontes nem poos no interior de M ento tudo
Na notao tradicional, o elemento de volume de M escreve-se dM que entra sai e conseqentamerite fM (X, v] dM = 0.
em vez de u. Assim, JM / dM = f M f - u = f M f , estas igualdades Seja X = (OQ, a i , . . . , am) definido no aberto U C M m+1 por suas
significando apenas mudanas de notao. funes-coordenada a z -: U ) M, de classe Ck.
Exemplo 11. No Volume 2 (cfr. Exemplo 20, Captulo 7), a curvatura Ao campo X: U > M m+1 associaremos a forma diferencial, de grau
gaussiana K (x) da hiperfcie compacta orientada M C M m+1 no ponto m e classe Ck, ax U -> 2 m (M m+1 ) definida por
a; e M foi definida como o determinante da derivada j'(x): TXM >
TXM da aplicao normal de Gauss 7: M > Sm. (Lembremos que 7 A A A dxr
associa a cada ponto x G M o vetor unitrio u = j(x), ortogonal a i=0
TXM = TuSm, cujo sentido determinado pela orientao de M.) A
integral fM K dM da funo-curvatura K: M > IR chama-se a curva- O desenvolvimento de um determinante em relao a sua primeira
tura integral da hiperfcie M. O conhecido Teorema de Gauss-Bonnet da coluna mostra que, para quaisquer x e U e w\, . . . , wm R m+1 , tem-se
Geometria Diferencial afirma que se a superfcie M C M3 difeomorfa .
a x (x) , . . . , wm) = det[X(x), wi,..., wm],
esfera S2 ento fM K-dM = 4vr. Bem mais geralmente, foi demonstrado
por H. Hopf que se M C R2m+1 uma superfcie compacta orientvel de
onde o segundo membro o determinante da matriz (m + 1) x (m + 1)
dimenso par ento fM K-dM um mltiplo inteiro do volume da esfera, cujas colunas so os vetores X (x), wi, . . . , wm .
unitria S2m. Mais precisamente, tem-se fM K-dM = \2'"),
Se M uma hiperfcie compacta orientada, fM X foi definida acima
onde o inteiro par x(M) a caracterstica de Euler-Poincar da hiperfcie
como [M (X, u] ' w, onde u o elemento de volume de M e, para cada
M. (Para maiores detalhes, ver [7].)
x e M, v (x) e K m+1 tem comprimento l, ortogonal a TXM e, se
Em seguida, a Anlise Vetorial clssica trata da integral de u m {m i , . - . , wm } C TXM uma base positiva, tern-se dct[v(x), 'iu\ . . . , mm] >
campo vetorial ao longo de uma superfcie M em M3 (portanto uma
0. Isto redux a. integral J'M X , integral da. fornia diferencial :;: i->
hiperfcie, ou seja, a co-dimenso de M igual a I). Por isso possvel (.V (.-/;), //(:/;)} w(.r) cm M. '
120 O Teorema de Stokes Cap. 5 Seo 5
Anlise vetorial clssica 121
Mostraremos agora que esta forma coincide com ax conhecida como o Teorema da Divergncia, de Gauss.
De fato, dada qualquer base positiva {wi, . . . , wm} C TXM, temos
Seja agora X = (a,b, c) um campo de classe C1 no aberto U C M3,
,... ,wm] = det[X(x),wi,...,wm] que contm a superfcie compacta orientada M (de dimenso 2), cujo
ctx(x)
bordo C = dM atribumos a orientao induzida por M.
= (X(x),i/(x)} \wi x x wm\ (X (x), v (x)) - u ( x ) (wi,...,wm) Ao campo X fazemos corresponder a forma diferencial /3x = a>dx +
bdy + cdz, de grau l e classe C1 em U. O Teorema de Stokes fM d/3x =
fc/3x nos d
pois o produto vetorial w\ x wm um vetor normal a M com
o mesmo sentido da normal positiva v (x). Segue-se ento que ax = dc_ db , ida dc\ A dz + az A d
(X, v] ui ao longo de M. lM dy Wz \dz dy)
Portanto, se X = (ao, . . . ,am] um campo contnuo de vetores no OL O \ TT~ ll r
aberto U C Rm+1 e M C U uma hiperfcie compacta orientada ento A dy\ l adx + bdy + cdz.
dx dy) J Jc
Em termos do campo de vetores r o t X : U > R 3 , definido por
/ X= (X,v)-dM = Y](- A--- A A A dxr
JM JM *M= (de db da de db da
rot X = \ dz' d z dx ' dx dy
H um caso particular importante, em que X um campo de classe
C1 no aberto U C Rm+1 e K C U o que se costuma chamar um (cfr. Exemplo 7 do Captulo 3) e em virtude da traduo acima feita da
domnio com fronteira regular de classe Ck (k > 1). linguagem de campos para a de formas (agora usada no sentido inverso),
Isto significa que K uma superfcie compacta, com bordo, de di- a integral que ocorre como primeiro membro na igualdade acima pode
menso m + l e classe Ck, contida em U. Note-se que a orientao de ser escrita como fM (rot X, v] -dM, onde v o campo de vetores normais
jjm+i m(mz naturalmente uma orientao em K pois, para cada x G K, unitrios definidos pela orientao de M e dM o elemento de rea da
tem-se TXK = RTO+1. O interior de K um subconjunto aberto limitado superfcie M.
em Rm+1 e o bordo dK (que tambm a fronteira de int. K em MTO+1) Quanto ao segundo membro daquela igualdade, ele a integral fc 0x
uma hiperfcie compacta orientada. Se chamarmos de ds a forma elemento de arco ("volume" unidimensio-
A diferencial exterior da forma ax nal) em C, temos ds(v) = \ , conforme o vetor v, tangente a C, aponta
para o sentido positivo da curva orientada C ou no. Ento, em cada
A A dxm . ponto x 6 C, temos
Este o chamado Teorema de Stokes clssico. 2. Sejam H = {(x, y) 6 R 2 ; y > 0} e P = {(x, y) R2;x > O, y > Q}. Prove que
existe um homeomorfismo tp: R2 > R2 tal que <f(P] = H mas <p no pode ser
O primeiro membro representa o fluxo do campo rot X atravs da um difeomorfismo C1.
superfcie M e o segundo membro a circulao do campo X ao longo
3. Seja M uma superfcie compacta orientada (sem bordo). Prove que todo di-
do bordo C = dM. feomorfismo h: M M homotpico identidade preserva orientao.
O terceiro, e mais simples, dos teoremas integrais da Anlise Vetorial
4. Se M uma superfcie sem bordo, prove que existe uma superfcie com bordo
clssica o Teorema de Green. ./V tal que N = M.
Nele, tem-se um domnio compacto M C R 2 , com fronteira regular 5. Pode a faixa de Moebius ser o bordo de uma superfcie M 6 R 3 ?
dM de classe C1. O compacto M tem a orientao natural de R2 e seu
bordo dM recebe a orientao induzida: em cada ponto x G dM um Seo 3. O Teorema de Stokes
vetor tangente no-nulo w e Tx(dM) possui o sentido positivo na curva 1. Seja /: B } R n+1 uma aplicao contnua definida na bola unitria B = {x
dM se, e somente se, {v(x),w} uma base positiva de R 2 , onde v(x) R"+1; \x\ 1}. Se /(S"1) C B, prove que existe x e B tal que f (x) = x.
o vetor normal unitrio que, no ponto x, aponta para fora de M. 1. Seja M C R" um "domnio compacto com fronteira regular" , isto , uma
Se /, g: U > IR so funes de classe C1 no aberto U C R2 contendo superfcie compacta n-dimensional com bordo de classe Ck (k > 2). Prove que
M o Teorema de Green diz que l n
vol.M = Y / -l)+1 Xi
i dxi A A dxi
- A A dxn .
n~(JdM
ir
M \dx - ir)
dy dxdy = dM
fax + gdy.
Em particular, se n = 2, tem-se rea de M = | J9M xdy ydx.
Ele simplesmente o Teorema 9 (nosso Stokes) aplicado forma 3. Com a mesma notao do exerccio anterior, seja F : M R" uma aplicao de
classe Ck cujas funes-coordenada so /i, . . . , / : M > R. Suponha F(x) ^ O
diferencial (3 = f d x + gdy definida em U (portanto na superfcie com
bordo M). O primeiro membro uma integral dupla sobre o compacto para todo x dM. Se a forma w = ^ (-l) i+1 j^r dfi A . . . dfi A A dfn tal
J-mensurvel M e o segundo membro uma integral curvilnea. que JaM w ^ O, prove que existe um ponto x e M no qual se tem F (x) = 0.
6 Exerccios
Seo 1. Integral de superfcie
1. Como enquadrar as integrais curvilneas no contexto deste captulo, j que
um caminho no uma curva ("superfcie" de dimenso 1)? E, por outro lado,
como estender a noo de integral de superfcie para "caminhos" de dimenses
superiores?
2. Justifique a afirmao do texto segundo a qual se tem JM h*ijj = JNUJ quando
h: M > N um difeomorfismo que inverte orientao.
3. Seja /: S"1 > S7* uma aplicao contnua. Se n par, prove que pelo menos
uma das equaes f (x) = x ou f (x) = x possui uma raiz x Sn. D um
contra-exemplo para cada n mpar.
4. Prove que todo campo contnuo de vetores tangentes no espao projetivo 7'",
com n par, possui singularidade.
1.3 (i) Definindo (p: R2-{p} -> R 2 -{0} por ip(z) = z-p, vemos <iuc 2,, = <p*1.
Resulta ento do exerccio anterior que 2P uma forma fechada em R 2 - {p}. Sc fosse
p = df, com /: R2 {p} > R ento, considerando o difeomorfismo -i/> = (p~', para
o qual se tem Q, = i/jfflp viria l = ip*(df) = d(f o ijj) e fl seria exata em R 2 - {()},
uma contradio.
(ii) A definio natural de uma funo-ngulo Op: U > R de vrtice p requer
que seu domnio U esteja contido em R 2 - {p}, que 6P seja de classe C c que
para todo ponto (x, y) U se tenha cosf)p(x,y) = (x - a)/^/(x - o)2 + (y - b)2,
senOp(x,y) = (y - a)2 + (y b)2 onde p = (a, b). Ento, considerando
novamente o difeomorfismo ip: R2 {p} t R2 {0}, (f (z) = z p , e pondo V = <p(U),
vemos que as seguintes afirmaes so equivalentes:
Solues dos Exerccios I) np exata em U C R2 - {p};
II) f exata em V C R2 - {0};
III) Existe uma funo-ngulo 9: V > R;
IV) 9P: U ) R, definida por Op(z) = 9(z p), uma funo-ngulo de vrtice p.
Finalmente, para provar o item (iii) basta observar que se p uma semi-reta que
Cada uma das seoes deste captulo tem o mesmo ttulo de um dos cinco captulos contm o ponto p como origem ento p = {z p; z e p} uma semi-reta de origem 0.
anteriores e contm solues para exerccios propostos naquele captulo. Em cada uma
delas, a notao p-q significa o g-simo exerccio da seo p do captulo correspondente. 1.4 Seja w = adx + bdy, logo / oj = (/ a)dx + (f b)dy. Levando em conta que
f =f^ >vemos que
1. Integrais curvilneas
d(f b) = d(f a) 06.0/=0.0/.
1.1 Escrevendo u = adx + bdy, temos a = y e 6 = x, logo | |= l e | |= l , dx dy dx dy
portanto f ^ l2- e u no fechada. Um clculo imediato mostra que as formas Como a e 6 no se anulam simultaneamente em ponto algum de U esta jTiald^de
a = ( l / x 2 ) -w, f} = ( l / y 2 ) -u e 7 = ( / x y ) - w so fechadas no conjunto U = { ( x , y) significa que, para todo (x, y) e U temos | = k-a, | = k - b , onde , -.V.."_,:. _- ' "
R2; x > O, y > 0}. Alm disso, se considerarmos as funes f, g, h: U - R definidas
por f (x, y) = y /x, g ( x , y ) = -x/y e h ( x , y ) = \og(y/x), teremos df = a, dg = (3 e
d/z = 7.
1.2 O item (i) bvio. Quanto a (ii), comecemos com o pullback ip*(dyj).
Lembrando que dyj w = j-sima coordenada do vetor w R" e que, para todo 2.1 Sabemos que J7 w = lim S(P*) onde P* = (P, ) e
m ~.
x e U e todo v R m , a j-sima coordenada de ip'(x) v igual a ) -^r(x) (dxt v),
i=l
a definio de (p* u nos d ) } - 7 ( 6 ) (*/-*;-!).
(ip*dyj)(x) v = dyj(p(x)) <p (x) v = dyj ((f1 (x) v) = (dx, v). A diferenciabilidade uniforme de 7 (Teorema 4, Captulo 2, Volume 1) assegura que,
para todo > O dado, existe S > O tal que |P| < e ;_i < ; < ti implicam
Resulta ento do item (i) que u(y) = o,-(y) dyj implica
-7'(O M (b-a)
para todo intervalo [t;-i, i] da partio P, sendo M > O tal que u>(~f(t)) v\ M \v\r que seja
Prova de (iii): comeamos lembrando que df = /'. Ento, pela Regra da Cadeia,
para todo x U, temos
v*(df)(x) = (df)(<p(x)) <p'(x) = f ' ( v ( x ) ) <p'(x) = (f o <p)'(x) = d(f o v).
Os itens (iv) e (v) segucm-sc de (iii). E (vi) seguc-sc imcdiatainiMile da, kc^ra da <
M(b-u) ^
Cadeia.
126 Solues dos Exerccios Cap.6
Cap.6 Solues dos Exerccios
127
J 4.3 Scj;i, r
Knl.ao i lorma LU
/' w, ( i n d c 71 : |0, 27r] > IR" - { ( ) ) c h u l o por 71 () ; (cos/, sen/.).
r - . U I . r m ml c i f r a i n n h i . solirc o c i i i i i i n l i i ) 71 . l'cio exerccio ii.nl.crior,
128 Solues dos Exerccios Cap.6 Cap.6 Solues dos Exerccios 129
w c l exata, ou seja, existe /: R2 {0} - R tal que df = u c 1, isto , formam uma base de C(E*;F) e pomos tp(ip(ui,Vj)) = T/)(W;,VJ). A unicidade de ip
w = df + c O. resulta do fato de que qualquer i/>: C(E"\) > G linear que cumpra ip /J o (p deve
coincidir com j/> na base formada pelos <p(ui,Vj), logo igual a ip.
4.4 Segundo o Exerccio 2, devemos provar que J LU = O, onde 71: [O, 2?r] >
n
R2 {0} dado por 71 () = (cos , sent ). Ora, para r > O, 71 livremente homotpico 1.4 Dados u = (xi,... ,xn), v = ( j / i , . . . , yn) em R", temos u = ]T} xtci, v =
em R 2 {0} (mediante uma homotopia linear) do caminho 7,.: [O, ITC] > R2 {0}, n n
dado por 7r(s) = (r-coss, r-sens). Como sabemos, / LO = r f u. Portanto !C yjei . log /(". v) = E xiVi ' eij > ou seJa. /(X ) a matriz [x, yj]. Ora, bem
3 =1 i,J = l
sabido que as matrizes deste tipo so exatamente as que tm posto l ou so nulas.
(iii) De fato, para quaisquer V I , . . . , V T E, tem-se (/r .. . - f r ) ( v i , . . . , vr) = (iii) Com efeito, toda forma (n - l)-linear alternada g e 2l n _i(R") do tipo
f i ( v i ) - . . . - f r ( v T ) , logo g = <f (v) para algum t; e R".
[A . . . -fr)(vi, -,Vr)] =
4.2 Supondo que existissem / = (1,02,03,04) e g = (61,62,63,64) tais que
/ A p = i A 2 + 3 A 4 , da resultaria que (/ A g } ( e i , e z ] = (/ A ff)(ei,e4) =
(/ A ff)(e2, e3) = (/ A .9)(e. 2 , e 4 ) = O, logo 0163 = 0361 , 0164 = 0461 , o 2 6 3 = a 3 6 2 e
o264 = o462 . Considerando os vetores v; = (a;,6i) , 6 , , , , , as igualdades
1,2,3,4,
portanto A ( f i . . . -fT) = f i A A fr . acima significam que estes 4 vetores so colineares. A colinearidade entre vi e vz nos
d o i & i - o 2 6i , logo O = 0162-0261 = ( / A g ) ( e i , e 2 ) = (i A 2 + 3 A 4 )(ei, e 2 ) = l,
2.5 Observe que se a lista vi,...,vr possui repeties ento esses vetores so
uma contradio.
linearmente dependentes, logo f(vi,... , VT) = 0. Portanto / alternada, donde anti-
simtrica. 4.3 Considere uma base {/i, . . . , f r , jT+1, . . . , jn} c E" cujos primeiros r ele-
mentos so os funcionais dados. Para cada j = l,..., r, podemos escrever g,- =
2.6 (i) Comece observando que, fixada uma transposio T de r objetos, tem-se r n J
ETO- = a- para toda a . &r . Como 53 e<? = 53 I-<T = 53 e i segue-se que Y^ aijf + Y^ a-kjhk Ento, fazendo os ndices i, j variarem de l a r enquanto k
i=l k=r + l
53 0- = 0. Portanto, se f simtrica, tem-se Af = 53 o- ' a (53 e') ' / =
varia de r + l a n,. temos
0. Quando r = 2, a igualdade ( A f ) ( u , v) = f (u,v) f (v,u) mostra que Af = O 0 = f i A 9i' = Y^ aii ' f i ^ f i + ^2 aki ' h A hk
implica f (u, v) = f (v,u) identicamente, logo / simtrica. Por outro lado a forma 3 i, j j, k
/ s(R 3 ; R), caracterizada pela relao /(ei, 62, 63) = &i 62 63 63 ei 62 , no = ^(aH - a) f i hfj+Y^ akj f j A hk .
simtrica mas cumpre A f = 0. i< j,k
3.1 Seja n = dimE = dimF. Considerando os pullbacks A*:2t n (S)> 3Ln(E), Como as formas fp A /, com p < q constituem uma base de 2t 2 (), levando em
B*: Sn(F) t %in(F) e (p*: 2ln(F) > 2l n (), de(poA = Boip resulta que A* o (p* = conta que se tem j < k sempre, segue-se que akj = O para todo j = l, . . . , r e todo
(f* o B*. Sabemos que, para todo / 6 Sln (E) e toda g Sln (F), tem-se A' f = det A f k = r + l,...,n, portanto os gj so combinaes lineares dos /; apenas e, alm disso,
e B*g = det B g. Tomando g ^ O, tem-se tp*g ^ O e det A ip*g = A*(tp*g) = nas expresses g, = ) oi;- ft tem-se eu, = dji .
(p* (B" g] = (f" (det B g) = det B ip*g, portanto det A det B.
3.2 Sabemos que deta 7 = deta. Como a anti-simtrica, temos a 7 a. Logo 5.1 Sejam f i , . . . , f r e (R")* e vi,..., vr e R" definidos por /; = ^ ak k
deta = deta 7 = det(a) = (1)" deta. Se n mpar, isto nos d deta = d e t a ,
logo deta = 0. j k Ento fi(vj) =
bkj o ij-simo elemento da matriz 06,
3.3 Se a 6 M (n x n) uma matriz do tipo mencionado ento os primeiros m i
onde a = [a^] e 6 = [6^]. Assim, det[a6] = det[fi(vj)] = (/i A A fr)(v\, . .'. ,vr).
elementos de sua z-sima linha so nulos. Podemos transform-la numa matriz tri- Escrevendo /i A A fr = Y,detaK K e lembrando que . K (vi, . . . , vr) = detbK ,
angular inferior levando a ltima coluna para o primeiro lugar, mediante n l pulos
(transposies), a penltima coluna para o segundo lugar com n 2 transposies etc. ficamos com det[a&] = ^ deta^ detfc/c .
K
No total, fazendo n("2~1^ = (n l) + (n 2)H hl transposies nas colunas de a ob-
5.2 Seja a G M (n x (n + 1)) a matriz cujas linhas so os vetores Ui enquanto
temos uma matriz triangular inferior o', cuja diagonal principal a i n , a 2 , n _ i , . . . ,an\
b e M((n + 1) x n) tem como colunas os vetores vj . Ento, pelo exerccio anterior,
Como o determinante de a' o produto dos elementos da diagonal principal, escre-
levando em conta que o ij-simo elemento da matriz ab (ui,Vj), temos
vendo sn = n(n l)/2, vemos que deta = ( l)Sn a i n - a 2 , n _ i - . . . -a n i . (Observe-se
que sn par quando, e somente quando, n dividido por 4 deixa resto O ou 1.) n+l
det[(tj, vj)] = det 06 = /t detfet, ,
4.1 (i) Se O ^ v G R", podemos encontrar vetores wi,. . . ,wn-i 6 Rn tais que
{v, wi,..., wn-i} C R" seja uma base. Ento det[v,wi,... ,wn-i] J^ O portanto
onde afc e 6*, so as matrizes nxn que resultam de a e 6 por omisso da fc-sima coluna
p (v) ^ 0. Assim, <p injetiva. Como R" e 2l n _i(R n ) tm a mesma dimenso //,
e da fc-sima linha respectivamente. Lembrando que u\ x un = ^deta^ ek e
segue-se que f um isomorfismo. k
(ii) Seja tp(v) (wi,.. ., wn-i) = a o valor de (n l)-brma <p(v) na sciiinciii v\ x vn = J] det b k ck , obtemos a igualdade dot[(ui,Vj)] = (u\ x un,vi x
(wi, . ,wn-i). Ponha / = o wi A A wn-i , onde [v,wi,. .. ,wn-1} C (R")*
a base dual de {v, wi,... ,wn-i}. As (n l)-formas alternadas <p(v) <' / iw-
sumein O mesmo valor <p(v) (wi,. . . ,iun-\) = u, e <p(v) (v, w\ .,w,, \ .r>.;t 1 ' r i i n r i r o ol)Herveinos o sc|fiiiiil,c: se A : l'] > /'' sohntj^Mvii ento A': ?(.,.(/')->
f (v, in\,. . . ,wi,. . .,;_ i )= O (i = l , . . . ,71 1). Lo|;o ip(v) = / = o w\ A w,,_i . Ul/.(W) c iujcMvii. Com clcil.o, sciiilo H()l)rej(!l,iva, A possui iiniii, inversa, , dircil.ii., (|iic
132 Solues dos Exerccios Cap.6 Cap.6 Solues dos Exerccios
uma transformao linear B: F -> E tal que AB: F > F a aplicao identidade. 3. Formas diferenciais
Ento B* A" = (AB)*: %.r(E) -> 2l r (F) tambm a aplicao identidade, logo B' 1.1. Sendo uma forma de grau 2 em R 3 , o; = <p A -ip decomponvel. Como
inversa esquerda de A* e conseqentemente A" injetiva. De modo anlogo se w A a = O, temos, para cada p E U, ip(p) A ip(p) A a(p) = O, logo os funcionais
mostra que se A: E t F injetiva ento A*: 2lr(F) > 2lr(-E) sobrejetiva. Seja lineares <p(p), tp(p) e a(p) so coplanares no espao vetorial (R3)* e analogamente
agora A: E > F uma transformao linear de posto p = dim b , onde Fo C F a so coplanares <p(p), ij)(p) e fi(p). Como a(p) A /3(p) ^ O, os funcionais a(p) e /3(p)
imagem de A. A aplicao de incluso i: Fo > F injetiva enquanto que Ao: E - FQ formam a base de um plano H(p) em (R3)*, ao qual pertencem tf (p) e tp(p). Ento
(tal que A = i o Ao) sobrejetiva. Assim, no diagrama abaixo, i* sobrejetiva e AQ w (p) = tp(p)/\Tp(p) = /(p)-[a(p)A/3(p)] pois {a(p)t\P(p}} uma base de 212 (H (p)). A
injetiva: igualdade w = / -a A/9 implica que se a e /S so de classe C*, / tambm . Com efeito,
H,(F) Aa,(F 0 )^Slr(B). sejam uj = odz A dj/ + 6cj/ A dz + cdx Adz e a/\/3 = a'dx f \ d y + b'dy f\dz + c'dx A dz.
Segue-se que o posto de A* = A*0 o i* igual dimenso de 21,.(Fo), que (). Cada p . U possui uma vizinhana A em todos os pontos da qual se tem, digamos,
a' / 0. Ento de a = f a' resulta que / = a/ a' em A, logo / 6 Ck.
6.1 Temos, por exemplo
1.2. Se M orientvel, a forma elemento de volume atende questo. Recipro-
,
/i = 2 i + ai 62 , /2 =
3 _
+ 63 ,
,. _ , - ,
/s = ei + e3 , logo camente, se o; uma forma contnua de grau mximo, com u (x) ^ O em todos os
ai i pontos x G M, diremos que uma parametrizao <p: Uo ^ U C M positiva quando
/i A /2 = oi e~2 A s + 02 i A s + os i A ~2 e da U for conexo e, para todo x = (p(u) t/, tivermos (jj(x) (J^f-(u), , -j^~(u)} > 0.
/i A /2 A /s = ai 62 A 63 A 64 + 02 i A 63 A 64 + 03 i A 62 A 64 + O conjunto 21 dessas parametrizaes chamadas de positivas um atlas em M . Para
mostrar que 21 coerente, sejam f.Uo U e t^: Vo F pertencentes a 21,
+ 04 "i A 62 A 63
a; = (p() = VW 6 [/ n F, e = V'1 o <^: (p'1 (U D F) -> V -1 (t/ H F). Sabe-
e assim por diante. mos (Volume 2, Captulo 7, Seo 4) que a matriz o = [ai j] de passagem de base
Ora, alterando, se necessrio, a numerao dos elementos da base de Rn podemos {J^)'---'^:^)} Para a base {^r( u )'---'^:( u )} em T*M a matriz jaco-
n biana de no ponto u. Alm disso,
escrever cada / e 2l,i-i(R n ) como / = J^ o; \ - A ;_i A i+i A A n com
01 ^ O salvo, naturalmente, o caso bvio em que / = 0. Assim, toda / e 2U-i(R")
decomponvel.
Segue-se que det[ay-] > O portanto yi e i/> so compatveis, o atlas 21 coerente e M
6.2 Se estes conjuntos so bases do subespao S C E* ento dim 5 = r e orientvel.
dim2l,,(S) = 1. Como /i A A /r e g\ A gr so elementos no-nulos de 2lr(5),
existe / O tal que g\ A gr = a f i A A fr . Reciprocamente, se vale esta igual- 1.3. Seja w uma forma contnua de grau mximo, diferente de zero em to-
dade ento para todo h e E", tem-se /iA(/i A - A/ r ) ^ O <=> hf\(gi A - /\gT) ^ O, ou dos os pontos de TV. Seu pullback fuj tem as mesmas propriedades em M pois
seja, {h, / i , . . . ,/r} L.I. se, e somente se, {h, gi,... ,gr} L.I. Portanto os conjuntos f (x): TXM > Tf(x)N um isomorfismo para todo x 6 M. Logo M orientvel.
{/i,... ,/ r } e {pi,... ,gr} geram o mesmo subespao S C E". 1.4. Sejam u> em M e ; em N formas diferenciais contnuas e positivas, cujas
6.3 Evidentemente, S um subespao vetorial de E". Seja A: E' -> 5 a trans- existncias caracterizam as orientabilidades de M e TV. Para todo x 6 M existe um
formao linear definida por A-g = g / \ f i / \ - - - / \ f r - Pela prpria definio de S, A nico nmero A(z) ^ O tal que (f u) (x) = \(x) u (x). Como A: M -> R {0}
sobrejetiva. Alm disso, g pertence ao ncleo de A se, e somente se, {<?, /i, , / } contnua e M conexa, ou bem A(i) > O para todo x 6 M (e ento / preserva
um conjunto linearmente dependente. Portanto, o ncleo de A o subespao (r- orientao) ou A(x) < O para todo x e / inverte orientao.
dimensional) de E* gerado por /!,...,/, Pelo Teorema do Ncleo e da Imagem, a 1.5. Que / um difeomorfismo, claro, pois / o / = id. Quanto orientao,
dimenso de S n r. em cada ponto x e R" {0} o espao tangente R" se decompe na soma direta Rn =
Ex Fx , onde Ex formado pelos mltiplos do vetor x e Fx pelos vetores ortogonais
6.4 Se f o = O ento ujn+l tem pelo menos grau n + l, logo igual a zero
a x. A derivada f (x): R" > R" deixa invariante cada um desses subespaos. Em
(supondo n = dim 7) portanto ui, neste caso, no possui inverso. Suponhamos agora
Fx ela simplesmente a multiplicao pela constante l/r 2 , onde r = \x\, pois todo
que seja f o = 1. Ento, escrevendo w = l w, temos J n+1 = O, logo 1 = 1 n+l =
w Fx tangente esfera de centro O e raio r, ao longo da qual / simplesmente
( l cZ>)(l+<ZH h) n ). Como l w = u, vemos que w possui o inverso I+L + - -+u)".
a multiplicao por l/r 2 . Por outro lado, f ' ( x ) transforma todo vetor v G Ex num
Mais geralmente, se /0 = o / O, temos w = o wi onde a componente de grau O de;
mltiplo negativo de v pois /, ao longo da semi-reta aberta formada pelos pontos t -u,
uji igual a l, logo wi possui inverso e w tambm possui.
u = x/\x\, > O, tem a forma /( u) = s u, s = l/ 2 , logo tem derivada negativa.
1.6. Seja 21 o conjunto das parametrizaes do tipo f o <p: Uo -t W C N onde
(p: f/d > f/ C M urna paraind/ri/iio positiva tal que l! conexo, c /: f/ > W
134 Solues dos Exerccios Cap.6 Cap.6 Solues dos Exerccios 135
um difeomorfismo. Evidentemente, 21 um atlas. Para provar sua coerncia, sejam 2.1. Todas as afirmaes so verdadeiras, exceto a terceira. A primeira, porque
/ o (p: UQ >W, f oip: Vo -> Z pertencentes a 21, com W H Z ^ 0. Ento toda forma de grau n em Rn fechada, logo exata pelo Lema de Poincar. A
segunda, porque a A d/3 = d(( l)r a A {$) onde r = grau de a. A terceira falsa por
causa da primeira ou, mais explicitamente, porque a forma diferencial w = dx\ A
dxn , elemento de volume de R", cumpre cj = da, onde a = A ( 1)1+1 a, dxi A
a composio de difeomorfismos que preservam orientao, conforme a hiptese feita i A A dxn (No Captulo 5, veremos que a referida afirmao verdadeira
sobre /. Segue-se que 21 coerente. Pelo Exerccio 4, ou ambas as transformaes quando M, alm de orientvel, compacta.)
lineares f ' ( x i ) : TX1M -4 TyN, f ' ( x 2 ) : TX2M -4 TyN (onde y = f ( x i ) = f ( x 2 ) ) A quarta e a quinta afirmaes so verdadeiras porque d(/*uj) = f*(duj).
preservam orientao ou ambas invertem. Em qualquer caso, a composta /'(x?)'1
f ' ( x i ) : Tx^M -4 TX2M preserva orientao. 2.2. (i) Temos d(f-uj) = d/Ao>+/-du; 0. Da resulta que d/AcjAu>+/-dojAu> = O,
ou seja, / dui A w = 0. Como f (x) ^ O para todo x E U, conclui-se que dcj A w = 0.
1.7. A primeira coisa a observar que f (x) = f (y) & y x. Em seguida, (ii) A forma w = xdy+ydz+zdx em R3 tal que u; Adu; = (x+y+z)dx/\dy/\dz ^ 0.
consideramos cada matriz simtrica [xi x j] como um ponto de R n ("+ 1 )/ 2) levando (iii) Sendo / um fator integrante de w, temos d/ A u> + / du> = 0. E de a =
em conta apenas os elementos x; Xj com i < j e dispondo as linhas uma aps a; + / dzn+i resulta que da = do> + d/ A dxn+i . Portanto a A da = uj A dw (d/ A
a outra, em sua ordem natural. (Por exemplo, se x = ( x i , X 2 , x a ) ento /(x) = uj + f duj) A dxn+i = O em virtude de (ii).
(x\ X2, 20:3, xl). Sem perda de generalidade, dado x = (x\,... ,xn+i) (iv) Como w e da; no contm o fator dx n +i , de a A da = O resulta que df A w +
R n+1 {0}, podemos supor x\ 0. A matriz jacobiana J f (x) 6 M(m x (n + 1)), f dui = O, ou seja, d(/ o;) = O, logo / fator integrante de w.
onde 771 = (n + l ) ( n + 2)/2, tem posto n + l pois suas primeiras n + l linhas formam
a matriz invertvel 2.3. Considerando a projeo radial /: R"+1 - {0} - 5", dada por f (x) = x/\x\ a aplica
'2xi O O ... O"
Xl X! O ... O a forma w em S"1, seu pullback / = p*uj uma forma em R n+1 {0} cuja restrio a
x3 O xi ... O Sn i* = i*f*u = (/ o j)*cj = w .
Ento, uma forma fechada u de grau l em 5" a restrio da forma fechada
X n +l O O ijj = fi no aberto simplesmente conexo R n+1 {0}, logo u) = df exata e da
o = df, onde / = f\Sn. A funo /: Sn > R assume seu valor mximo num ponto
Portanto, para todo x Rn+1 - {0}, a derivada f (x): R n+1 -4 Rm (onde m = x e 5", logo w(x) = d/(x) = 0.
(n + l)(n + 2)/2) injetiva. Em particular, chamando ainda de / a restrio esfera
5", a derivada f (x): TXS" -> Rm injetiva, qualquer que seja x Sn. Assim, se 2.4. Evidentemente, se w exata em P" ento /*cj exata em Sn. Suponhamos,
if>: Uo > U C Sn uma parametrizao tal que U no contm pontos antpodas, a reciprocamente, que fiu = da seja exata. Devemos achar ao em Pn tal que w = do
composta fo<p:Uo^V = f (U) uma imerso injetiva. Para mostrar que fotp uma Para isso, introduzimos a forma | (a + A*a)' , onde A: S" > 5" a aplicao
parametrizao em Pn = f ( S n ) , e portanto que Pn uma superfcie, resta provar que antpoda definida por A(x) = x, e /Ta o pullback da forma a mediante A1. V-se
a imagem f (A) de todo aberto A C 5 um conjunto aberto em Pn = f (S11), ou seja, facilmente que A* = e que da = f* u. A igualdade A* = , implica que existe
que F = Pn f ( A ) fechado em P" (ou em Rm, tanto faz pois P" compacto). Ora, uma forma ao em Pn tal que f* ao . Para definir ao , tomemos arbitrariamente
como / sobrejetiva, temos F = f(f~1(F)) e, escrevendo A = {x; x E A} temos y e Pn e wi, . . . ,wr TyPn (r = grau de a 0 ). Ento y = f (x) = f (-x), x 6 5" e
-A aberto em Sn, logo f-1 (F) = Sn - f ~ l ( F ) = Sn - f'1 f (A) = Sn - (A\J(-A)) Wi = f ' ( x i ) - V i = f (-x) - ( - V i ) , vi TxSn -T-xSn, i = l,...,r. A definio de a 0
Observao. V-se deste modo que para toda forma fechada u de grau l em H: VS(M) x [0,1] -* VS(M), definida por H ( f ( x , v ) , t ) = f (x, (l - t)v), onde / o
Pn tem-se f u O para todo caminho fechado 7 em Pn . No entanto, isto no quer difeomorfismo, definido acima, de U C v M sobre Vf{M).
dizer que Pn seja simplesmente conexo. Por exemplo, se 7: [0,7r] > 5", definido por 2.1. Seja fu + fv = l uma partio da unidade de classe C, estritamente
7() = (cost, sent, O, . . . , 0), a metade de um crculo mximo ento 77 = /o-y : [O, TT] > subordinada cobertura M = U U V, assim as funes fv, f v: M - [0,1] so tais
Pn um caminho fechado em Pn que no livremente homotpico a uma constante. que supp./u C U e supp./y c V. Definamos a 6 A r (t7) e /3 6 Ar(V) pondo
(Veja [8], pg. 78.) a(z) = jV(a:) u (x) se x 6 U D V e a(z) = O se x 6 U - V, /3(x) = -fu(x) u (x)
se x 6 U n F e ,9 (z) = O se x e l/ - 7. Ento, para todo x 6 C/ n V, a(x) - /3(x) =
4. Ohne Titel f v (x) -u (x) + f u ( x ) w(z) = w(a;). Se dw = O ento da - d/3 = O em U <~\ portanto
1.1 Os itens (i) e (ii) so imediatos: e = r e e +00. A resposta do item(iii) as formas da e d/3 coincidem em U n V, e assim definem uma forma 7 e A r+1 (M).
e = 1/2. A razo a seguinte: a normal a M pelo ponto p = (s, s2) corta o eixo (Note que 7 exata em U e em V mas no necessariamente em M = U D V.)
y, que tambm normal, no ponto q = (O, s2 + 1/2), cuja distncia a p -\/s2 + 1/4, 2.2. Se X C K.n fechado ento, para cada A 6 L, f^(X) fechado em F\
valor to prximo de 1/2 quanto se queira, desde que \ seja pequeno. Logo e < 1/2. portanto em F. A famlia dos f^^X) localmente finita, logo f'1 (X) = [J f^^X)
Por outro lado, duas retas normais a M s se intersectam aps pelo menos uma delas fechado e conseqentemente / contnua.
cortar o eixo y. Logo no pode ser e < 1/2.
2.3. Este fato, que merece ser mencionado explicitamente, uma consequncia
1.2. (i) Definio bvia. Vamos aos sub-itens de (ii): imediata do Teorema 8.
(a) Se o aberto A C R" convexo e p 6 A ento a aplicao constante / : A > {p}
2.4. Seja / + g = l uma partio da unidade de classe Ck estritamente subordi-
e a incluso i : {p} > ^4 so equivalncias homotpicas, uma inversa da outra pois
nada cobertura aberta M = U U (M - F). Temos supp./ C U e supp.g C M - F.
/ o i = id: {p} > {p} enquanto que H: A x [0,1] A, definida por H(x,t) =
Ento, para todo x e F, vale g(x] = O, logo f (x) = 1. Alm disso, f (x) = O para
( t)x+tp, uma homotopia entre a aplicao identidade id: A > A e io f \ > A.
todo x e M - U.
(b) A incluso i: Sn -> Rn+1 - {0} e a projeo radial /: Rn+1 - {0} -> Sn ,
f (x) = x/\x\o equivalncias homotpicas, pois / o i = id: Sn > Sn e H : R n+ 2.5. Como no exerccio anterior, obtenha /: M > R tal que f (x) = l para todo
({0}x[0, 1]) -R n+1 -{0}, definida por H(x, t) = (l-fix + tx/\x\ uma homotopia z e F e f (x) = QsexM-U. Se <f = ( ( p i , . . . , <pn) defina, para cada i = l , . . . ,n, a
entre a aplicao identidade id: Rn+1 - {0} - R n+1 - {0} e i o /. funo $;: M -> R pondo $i(z) = f (x) >fi(x). Ento a aplicao $: M -t Rn cujas
(c) Considere/: M x R" -> M, /(z, u) = a ; e p : M -> M x R", g (x) = ( x , 0 ) . So funes-coordenada so $ 1 , . . . , $n coincide com y> em F.
equivalncias homotpicas, uma inversa da outra, pois / o g: M ) M a aplicao
identidade e H: (M x R") x [0, 1] - > M x R n , definida por H(x, v, t) = (x, (l -t) v) 5. O Teorema de Stokes
uma homotopia entre a aplicao identidade de M x R e g o f : M x Rn > M x R . 1.1. Se w: [7 > (R n )* uma forma contnua de grau l em U e 7: [a,6] > 7
(d) O argumento aqui o mesmo dos sub-itens anteriores: tomamos /: U > C um caminho de classe C1, ento a integral curvilnea J w, conforme definida no
definida por f (v, z) = (v/\v\,z), v = (x, y) e g: C -> U, g(v,z) = (v, z). Ento Captulo l, exprime-se, em termos dos conceitos e notaes do Captulo 5, como a
f g: C > C a, aplicao identidade enquanto que g o / : U > U homotpica integral Jja 6 j f*u do pullback /*w ao longo da superfcie unidimensional orientada
identidade de U mediante H : U x [0, 1] -> U, definida por H (v, z, ) = ((l - ) |5y + [a, 6]. Um "caminho" em dimenso > l seria uma aplicao contnua /: M - N e,
se / e C1, o papel de integral curvilnea seria desempenhado pondo-se, por definio,
1.3. Chamemos de 3: JV -> M uma inversa homotpica de /. Se w = da 6 A r (JV) ^ w = JM /*w, onde w uma forma diferencial contnua em M, cujo grau igual
exata ento /*w = /* (da) = d(/*a) exata em M. Reciprocamente seja uj 6 Ar (AT) dimenso da superfcie M, que se supe orientada e compacta, com bordo.
uma forma fechada tal que fu> = d/3 exata em N. Como f o g ~ id: N -> N, o 1.2. O ponto crucial consiste simplesmente em observar que se x < O ento |a| =
Teorema 3 assegura a existncia de Q A r ~ 1 (A r ) tal que (/ o g)*w o; = da, ou seja, x. Ento o Teorema de Mudana de Variveis para integrais mltiplas, no caso em
uj = g* (f* u] da = g* (d/3) da = d(g*/3 a), logo w exata. que det Jh(x) < O para todo x X, l-se J fe(x) f(y)dy = - fx f ( h ( x ) ) det Jh(x)dx.
1.4. O fibrado normal da superfcie m-dimensional M C R" o conjunto vM = A partir da, prosseguir como no texto.
{ ( x , v) M x R n ~ m ; u e TzM-1}. Se V e (M) uma vizinhana tubular de M em R" 1.3. O campo de vetores v: S" - R n+1 , definido por v (x) = f (x) - (x, f (x)) x
ento a aplicao /: vM - R n , definida por f (x, v) = x + v, de classe Ck~l se // tangente a Sn. Como n par, devemos ter v(x) = O para algum x Sn. Isto s
de classe Ck (k > 2). O conjunto U { ( x , v) e vM\\ e(x)} a imagem inversa pode ocorrer se, f (x) = x.
f ~ 1 ( V c ( M ) } , logo aberto em vM e contm aseo nula Mo = {(a;,0) 6 vM;x e M}. Se n mpar, ento n + l = 2k par e os pontos da esfera Sn podem ser escritos
E, como se viu no Captulo 4, / um difeomorfismo local bijetivo, portanto um sob a forma z = (xi, y\ 2 : 2 , 2 / 2 , . . . , Xk,yk)- A aplicao /: Sn > S", definida pondo-
difcomorfismo, de U sobre V" E (M). A projeo TT: V e (M) ) M uma equivalncia s<> f (z] = ( j / i , x i , 3/2,2:2,. .. , y,i,xn) cumpre f (z) / z o /(z) ^ 2 para todo
liomot])ica, cuja inversa c a incluso i : M > Ve(M}. A homotopia que fa/, o trabalho z . S".
138 Solues dos Exerccios Cap.6 Cap.6 Solues dos Exerccios
1.4. A projeao natural /: 5 > P, f (x) = [xt Xj] se a = (xi,... ,xn+i), 3.2. Esta frmula, que permite reduzir o clculo de um volume n-dimensional a
um difeomorfismo local, logo f ' ( x ) : TXS > T/( x )P n um isomorfismo, para todo uma integral em n l dimenses, especialmente interessante no caso n 2. Ela
x 6 Sn. Dado o campo contnuo w de vetores tangentes a P71, definimos o campo resulta de uma aplicao imediata do Teorema de Stokes, observando-se apenas que
v em Sn estipulando que f ' ( x ) v (x) = w(f(x)) para todo x e Sn. Como n par, a diferencial exterior do integrando o elemento de volume da superfcie M.
existe x G Sn tal que v (x) = O e, conseqiientemente, w(f(x)) = 0.
3.3. Basta notar que u = (FIM)* Cl, onde f2 a forma elemento de ngulo slido,
2.1. De acordo com a definio dada, dizer que /: K > L um difeomorfismo a qual fechada e definida em R" {0}. Se F(x) fosse ^ O para todo a; e M, teramos
de classe Ck significa que existem abertos A, B tais que f c A c R ^ L c B c R de fato uma aplicao F: M - R" - {0} e u = (F'fy\dM. Ento seria
e aplicaes (p: A > R", -0: B > R71, ambas de classe C1*, tais que ip(<p(x)) = x
e <p(ijj(y)) = y para quaisquer x : K e y L. Segue-se da que, em todo ponto / w= F*(dfi)=
= F*0 =
x E K, a derivada f' (x): W1 > R" um isomorfismo e, por conseguinte, cada x 6 K JM BM JM JM
centro de uma bola aberta (que podemos supor contida em A), restrita qual ip
um difeomorfismo sobre um aberto de R". Ento, diminuindo A se necessrio, lcito
admitir que <p: A > R" um difeomorfismo local que aplica o subconjunto K C A
homeomorficamente. Afirmamos que existe e > O tal que, chamando de U a reunio
das bolas B (x; e) C A, com x K, (p injetiva em U, logo um difeomorfismo
de U sobre um aberto V C R". A existncia de s provada por absurdo, usando
exatamente o argumento empregado para obter a vizinhana tubular. (Veja as 10
linhas que precedem o Exemplo l, Captulo 4.)
2.2. Considere cada z = (x, y) R2 como o nmero complexo z = x + iy. Defina
o homeomorfismo ip: P t H pondo simplesmente ip(z) = z2 para todo z P. Se
existisse um difeomorfismo (p: P > H, consideraramos seu inverso if>: H t P e o
ponto zo H tal que ip(zo) = 0. E claro que tp transformaria o eixo das abcissas X C
H no ngulo reto Y = { ( x , y) P; xy = 0}, logo seria um difeomorfismo de X sobre
Y. Mas, introduzindo A: R -> P, A() = ip(z0 + tei), teramos ip'(z0) ei = A'(0) ^ 0.
Mas o vetor velocidade do caminho A no ponto = O horizontal ou vertical conforme
se considere A'(0) como derivada direita ou esqureda (no respectivamente). Ento
deveria ser A'(0) = O, uma contradio.
2.3. Podemos, sem perda de generalidade, supor M conexa. Ento, se h no
preservasse a orientao de M a inverteria. Sejam w uma forma contnua de grau
mximo e positiva em M. Teramos /M h*w < 0. Mas, como h homotpico
identidade, vale JM h"u = JM uj > 0. Contradio.
2.4. Basta tomar N = M x [0,1).
2.5. No, pois M teria que ter dimenso 3 e, como est contida em R 3 , seria
orientvel. Da seu bordo seria tambm orientvel logo no poderia ser a faixa de:
Moebius. (Da se v que o slido tridimensional (Moebius) x [0,1) no cabe em R 3 .)
3.1. Note que no se est supondo que f (B) C B, logo o Teorema de Brouwcr
no se aplica diretamente a /. Ento introduzimos a retrao tp: R"+1 > B, definida,
por <f(x) = x/\x\e |x| > l e <p(x) = x se \x\ 1. Agora o Teorema de Brouwcr
se aplica &g = ( p o f : B > - B . Seja x E B tal que g (x) = ip(f(x)) = x. Sc for
\f(x)\ l, teremos <p(f(x)) = f (x) = x e x ser um ponto fixo de /, como se deseja.
Se, entretanto, for \f(x)\ l, duas coisas acontecem: primeiro, tem que ser |x| < l
pois f ( S n ) C B (ou seja, \ = l => |/(*)| < 1). E, segundo, |^(/(.r))| = \x/\x\ l,
uma contradio. Por conseguinte, todo ponto fixo de <j um ponto fixo de /.
Referncias Bibliogrficas
[1] E.L. Lima, Anlise Real, vol. l (9a edio). Coleo Matemtica Universitria,
IMPA, 2007.
[2] E.L. Lima, Anlise Real, vol. 2 (2a edio). Coleo Matemtica Universitria,
IMPA, 2006.
[3] E.L. Lima, Curso de Anlise, vol. l (12- edio). Projeto Euclides, IMPA,
2007.
[4] E.L. Lima, Curso de Anlise, vol. 2 (9a edio). Projeto Euclides, IMPA,
2006.
[5] E.L. Lima, lgebra Linear (6a edio). Coleo Matemtica Universitria,
IMPA, 2003.
[6] E.L. Lima, lgebra Exterior (2a edio). Coleo Matemtica Universitria,
IMPA, 2005.
[7] E.L. Lima, Introduo Topologia Diferencial. Monografias de Matemtica,
IMPA, 2001.
[8] E.L. Lima, Grupo Fundamental e Espaos de Recobrimento. (1~ edio). Pro-
jeto Euclides, 1998.
[9] S. Lang, Fundamentais of Differential Ge.ome.try. Springer, 2001.
[10] Th. Brcker, Analysis III, Wissenschaftsverlag, 1992.
[11] J. Lafontaine, Introduction aux Varits Diffrentielles, Presses Universitaires
de Grenoble, 1996.