Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
OLIVAINE S. DE QUEIROZ
Departamento de Matemtica
Instituto de Matemtica, Estatstica e Computao Cientfica
UNICAMP
Campinas
2015
Captulo 1
Reviso de Topologia em Rn
Neste captulo inicial vamos apresentar conceitos bsicos essenciais que necessitaremos no decorrer do curso.
Outros produtos internos em Rn tambm podem ser considerados. So 4 as principais propriedades do produto
interno.
3
4 CAPTULO 1. REVISO DE TOPOLOGIA EM RN
Observe que as coordenadas a ji do vetor T (ei ) (com relao base ( f1 , . . . , fm )) aparecem na i-sima coluna de A.
Por linearidade obtemos ento que o vetor y = T (x) = T x pode ser encontrado pela expresso
y1 a11 . . . a1n x1
.. .. .. .. .
. = . . .
ym am1 . . . amn xn
Reciprocamente, se A uma matriz m n ento T (x) := Ax, x Rn , define uma transformao linear de Rn
em Rm .
Assim, existe uma relao biunvoca entre o conjunto L (Rn , Rm ) das transformaes lineares de Rn em
m
R com o conjunto das matrizes m n.
Definio 1.2.1 Um conjunto X chamado de espao mtrico se existe uma funo d : X X R satisfazendo
as seguintes propriedades para quaisquer x, y, z X:
Qualquer funo d que satisfaz as trs propriedades acima chamada de mtrica (ou distncia).
As vezes utilizamos a notao (X, d) significando que X um espao mtrico com mtrica d.
Das propriedades de produto interno segue que (Rn , d1 ) um espao mtrico. Alm disso, podemos ainda definir
Verifica-se sem muitas dificuldades que (Rn , d2 ) tambm um espao mtrico. As mtricas d1 e d2 so chamadas
de mtrica euclidiana e mtrica do sup, respectivamente. Elas esto relacionadas de vrias maneiras. Em particular,
|x y| kx yk n|x y|, para quaisquer x, y Rn .
1.2. ESPAOS MTRICOS 5
Exemplo 1.2.3 Seja X qualquer conjunto no vazio. Dados x, y X defina d(x, y) = 1 se x 6= y e d(x, x) = 0.
Ento, apesar de parecer meio artificial, d define uma mtrica em X.
Suponha que d seja uma mtrica em X e que Y X. Ento existe automaticamente uma mtrica dY em Y (e
portanto (Y, dY ) um espao mtrico) definida pela restrio de d Y Y , isto ,
dY = d |Y Y .
y)
d1 (x, y) d(x, d1 (x, y), para quaisquer x, y S2 .
2
Recorrendo noo de distncia podemos definir os conceitos fundamentais de conjuntos abertos e fechados.
Observao 1.2.6 Seja (X, d) um espao mtrico e Y X. Ento uma -vizinhana de um ponto x0 Y na mtrica
dY dada por U(x0 , ) Y , sendo essa ltima entendida na mtrica d.
Proposio 1.2.7 Seja (X, d) um espao mtrico e {U | A} uma coleo de subconjuntos abertos de X, onde
S
A um conjunto de ndices qualquer.
Tk
Ento o conjunto A U aberto de X. Se supormos que que A finito,
isto , A = {1, . . . , k}, ento =1 U aberto.
Corolrio 1.2.8 Se Y X e A aberto em Y com relao dY , ento existe um conjunto aberto U em X tal que
A = U Y .
Demonstrao. Sendo A aberto em Y , para qualquer x A existe x > 0 tal que U(x, x ) Y A. Definamos
[
U= U(x, x ).
xA
Temos ento pela Proposio 1.2.7 e pela Observao 1.2.6 que U aberto de X. Note que U Y A. Alm disso,
como a unio tomada em todo x A, temos que A U. Logo, A U Y . Conclui-se que A = U Y .
n
Em R as -vizinhanas nas duas mtricas d1 e d2 que vimos anteriormente recebem nomes especiais. Se
x0 Rn , a -vizinhana de x0 na mtrica euclidiana d1 chamada de bola aberta de centro x0 e raio , e denotada
por B (x0 ). A -vizinhana de x0 na mtrica do sup chamada de cubo aberto de centro x0 e raio , sendo denotado
por C (x0 ). Pelo Exemplo 1.2.2 temos que
para qualquer x0 Rn e qualquer > 0. Podemos refrasear este fato na maneira apresentada no prximo resultado.
Proposio 1.2.9 Um subconjunto U Rn aberto com relao mtrica d1 se, se e somente se, aberto com
relao mtrica d2 .
6 CAPTULO 1. REVISO DE TOPOLOGIA EM RN
Definio 1.3.1 Nas condies acima, dizemos que f contnua em x0 se, dado > 0, existe um > 0, = ( ),
tal que
dY ( f (x), f (x0 )) < sempre que dX (x, x0 ) < .
Dizemos que f contnua se f contnua em todo x0 X.
Uma formulao alternativa para a definio de continuidade pode ser apresentada na forma de teorema.
Teorema 1.3.2 A funo f : X Y contnua se, e somente se, para qualquer subconjunto aberto U de Y, a
pr-imagem f 1 (U) aberta em X.
Definio 1.3.4 Seja A X e f : A Y . Seja ainda x0 um ponto limite do domnio A de f . Dizemos que o limite
de f em x0 y0 se, para cada > 0, existe um > 0 tal que
Limites e continuidade de funes em espaos mtricos satisfazem as mesmas propriedades que limites e
continuidades de funes em R com relao soma, produto e composio.
Int A := (Ac )c
chamado interior de A.
Note que x IntA se, e somente se, existe > 0 tal que U(x, ) A, e assim o interior de A aberto.
Definio 1.4.2 O exterior de A o conjunto ExtA := Int(Ac ). O bordo, (ou fronteira) de A o conjunto
A := X \ (ExtA IntA).
1.5 Compacidade em Rn
Passamos a relembrar nesta seo o importante conceito de subconjuntos compactos. Como usual, denotaremos
por (X, d) um espao mtrico.
Seja A X. Uma
S
cobertura de A uma coleo de subconjuntos {U | I}, sendo I um conjunto de
ndices, tal que A I U . Se cada U aberto, ento dizemos que a cobertura aberta.
Definio 1.5.1 Um subconjunto A X chamado de compacto se toda cobertura aberta de A possui uma
subcoleo finita que tambm forma uma cobertura aberta de A.
Um subconjunto B de um espao mtrico (X, d) dito limitado se existe uma constante M > 0 e x0 X tal
que d(x, x0 ) M para qualquer x B.
Em Rn os compactos so caracterizados como sendo os subconjuntos fechados e limitados. Uma parte desse
resultado possui uma demonstrao simples e daremos a seguir. Na verdade, enunciamos somente para Rn mas ele
vale para qualquer espao mtrico.
Teorema 1.5.2 Seja X um subespao compacto de (Rn , d1 ) ou (Rn , d2 ). Ento X fechado e limitado.
Em particular, o conjunto {UN | N Z+ } uma cobertura aberta do compacto X, existindo assim uma quantidade
finita de inteiros positivos N1 , . . . , Nk tais que
k
[
X UN j .
j=1
Novamente, usando a compacidade de X obtemos que existe uma quantidade finita de subconjuntos VN1 , . . .VNl
que cobrem X. Tomando M = maxi Ni obtemos que X VM e em particular CN X = 0.
/ Notando que x0 IntCM
temos que Rn \ X aberto.
Para finalizarmos a caraterizao dos subconjuntos compactos em Rn necessitaremos ainda de um fato bsico.
Demonstrao. Seja A uma coleo de abertos que cobrem X. Adicionemos a esta coleo o aberto Rn \X. Temos
assim uma cobertura aberta de Rn . Como X limitado, podemos tomar um retngulo Q como no Lemma 1.5.5
tal que X Q. Em particular a cobertura aberta de Rn cobre o compacto Q. Extramos ento uma subcobertura
finita que ainda cobre Q. Se esta subcobertura de Q ainda conter Rn \ X, tiramos este conjunto obtendo ainda outra
subcoleo da cobertura inicial A . Tal subcoleo pode no cobrir Q, mas certamente cobre X j que o conjunto
Rn \ X descartado no contm pontos de X.
S
Definio 1.5.7 Seja X Rn . Dado > 0, o conjunto xX B (x) chamado de -vizinhana de X na mtrica
euclidiana. Similarmente, substituindo B (x) por C (x) definimos a -vizinhana de X na mtrica do sup .
Teorema 1.5.8 Sejam X Rn um subespao compacto e U Rn um aberto que contm X. Ento existe > 0 tal
que a -vizinhana de X est contida em U (em qualquer mtrica d1 ou d2 ).
Demonstrao. Por equivalncia das mtricas, basta demonstrarmos o resultado para a mtrica do sup .
Dado um subconjunto C Rn , para cada x Rn definimos a distncia entre x e C pela expresso
Como f contnua e X compacto, pelo Teorema 1.5.4 temos que f assume um mnimo. O valor mnimo de f
deve ser positivo, caso contrrio, f (x0 ) = 0 para algum x0 X, o que mostraria que x0 Rn \ U, pois este ltimo
conjunto fechado, obtendo assim uma contradio. Segue que existe 0 > 0 tal que f (x) 0 para qualquer x X
e assim a 0 -vizinhana de X est contida em U.
Falta mostrarmos que x 7 d(x,C) contnua de Rn em R. Sejam x, y Rn e c C. Ento, pela desigualdade
triangular,
d(x,C) |x y| |x c| |x y| |y c|.
Tomando o nfimo em c na desigualdade acima obtemos
O Teorema 1.5.8 no vlido se retirarmos a hiptese de compacidade em X, como verificaremos nos exer-
ccios deste captulo.
Demonstraremos a seguir um resultado familiar.
:= {(x, x) | x X},
o qual chamaremos de diagonal de X X. Notemos que um subconjunto compacto de R2n j que imagem de
X pela aplicao contnua h(x) = (x, x).
Consideremos a funo g : X X R definida por
Notemos que g contnua j que pode ser escrita com soma e composio das funes contnuas f e d1 . Segue
que, dado > 0, o conjunto V dos pontos (x, y) X X para os quais g(x, y) < aberto em X X e, como tal,
deve ser escrito como a interseco de um aberto U Rn Rn com X X. Como V , temos que U.
A compacidade de e o Teorema 1.5.8 implicam na existncia de um nmero > 0 tal que a -vizinhana
de ainda est contida em U. Note que, se x, y X so tais que kx yk < , ento
ou seja, (x, y) pertence -vizinhana de . Segue que (x, y) U e assim g(x, y) < , como desejado.
A demonstrao para o caso da mtrica do sup segue por equivalncia das mtricas.
1.6 Conexidade em Rn
Nesta seo daremos a definio de espaos conexos e apresentaremos algumas propriedades que necessitaremos.
Definio 1.6.1 Um subconjunto Y de um espao mtrico X conexo se ele no igual unio de dois subcon-
juntos abertos, disjuntos e no vazios.
uma decomposio.
Teorema 1.6.3 Os nicos subconjuntos de R que possuem mais que um ponto e so conexos so o prprio R e os
intervalos (abertos, fechados ou semi-fechados).
1. X conexo;
Demonstrao. Se f (X) no fosse conexo, pelo Teorema 1.6.4 existiria uma funo g : f (X) {1, 2} contnua e
sobrejetora. Assim, a composio g f : X {1, 2} seria tambm contnua e sobrejetora, contradizendo o fato de
X ser conexo.
Em particular, uma funo contnua de um espao mtrico conexo X com valores em R assume todos os
valores entre dois quaisquer pontos de sua imagem.
Uma importante classe de conjuntos conexos em Rn dada pelos conjuntos convexos, que passamos a definir.
Dados x1 , x2 Rn , o segmento de reta unindo x1 a x2 dado por t 7 x1 + t(x2 x1 ), 0 t 1. Um
subconjunto A Rn convexo se o segmento de reta unindo quaisquer de seus pontos est inteiramente contido
em A. Notemos que qualquer subconjunto convexo de Rn conexo.
(ii) No caso em que temos igualdade, verdade que f = g para algum R? E se f e g forem contnuas?
(iii) Existe alguma relao entre a desigualdade do item (i) com a desigualdade do Exerccio 2?
(ii) Suponha que exista uma base {x1 , . . . , xn } ortonormal de Rn e nmeros 1 , . . . , n tais que T xi = i xi , i =
1, . . . , n. Demonstre que T preserva ngulo se, e somente se, |i | so todos iguais.
1.7. EXERCCIOS DO CAPTULO 11
Exerccio 7 Se T : Rm Rn uma transformao linear, mostre que existe uma constante M > 0 tal que
kT xk Mkxk,
para qualquer x Rm .
Sugesto: estime kT xk em termos de kxk e das entradas da matriz de T .
Exerccio 8 Seja X um espao mtrico e suponha que a11 , . . . , amn sejam mn funes contnuas de X em R. Para
cada p X, seja A p a transformao linear de Rn em Rm cuja matriz (ai j (p))mn . Mostre que p 7 A p
contnua de X em L(Rn , Rm ).
Exerccio 10 Seja f : Rn R uma funo contnua. Suponha que f (x) > 0 para qualquer x 6= 0 e que f (cx) =
c f (x) para qualquer x Rn e qualquer c R, c > 0. Mostre que existem constantes a > 0 e b > 0 tais que
Exerccio 11 Seja (X, d) um espao mtrico. Mostre que, para cada M > 0, existe uma mtrica dM tal que
dM (x, y) M, para quaisquer x, y X e ainda (X, d) e (X, dM ) so homeomorfos. Equivalentemente, todo espao
mtrico homeomorfo a um espao mtrico limitado.
Mostre que C fechado e que no existe conjunto aberto no qual C seja denso.
Observao: uma das propriedades interessantes do conjunto de Cantor que ele nos d um exemplo de
conjunto no enumervel de medida nula, conceito que trabalharemos mais adiante no curso.
y = x + (n m),
n 1 1
0< < 2 e < .
m m m
Este fato pode ser utilizado sem a demonstrao (consulte [8]).
12 CAPTULO 1. REVISO DE TOPOLOGIA EM RN
1
a) Mostre que a funo contnua f : R+ R dada por f (x) = limitada mas no possui mximo nem
1+x
mnimo.
1
b) Mostre que a funo contnua g : R+ R dada por g(x) = sen limitada mas no uniformemente cont-
x
nua em R+ .
Exerccio 15 Sejam X = (1, 1) {0} R2 e U = B1 (0) R2 . Note que X B1 (0). Mostre que no existe > 0
tal que a vizinhana de X em R2 esteja contida em U.
Exerccio 16 Uma funo f : Rn \ {0} R dita positivamente homognea de grau d R se f (tx) = t d f (x),
para qualquer x 6= 0 e todo t > 0. Suponhamos que f seja contnua. Demonstre que, se f possui uma extenso
contnua para todo Rn , ento o seguinte ocorre:
a) se d < 0, ento f 0;
Diferenciabilidade
Neste captulo vamos estudar o clculo diferencial de funes f : Rn Rm . As vezes, chamaremos uma funo
de vrias variveis com valores em Rm de uma aplicao. A teoria se baseia na aproximao linear local dessas
aplicaes como no caso em que m = n = 1. Dentre os resultados que obteremos est o que trata da diferencia-
bilidade da composta de duas funes (Regra da Cadeia). Alm disso, sendo a derivada uma aproximao linear
de uma funo em um ponto onde ela diferencivel, estudaremos que tipo de informaes qualitativas podemos
obter analisando somente a derivada. Os principais resultados nessa direo so o Teorema da Funo Inversa e o
Teorema da Funo Implcita. O primeiro destes teorema ainda nos fornecer consequncias importantes que so
as Formas Locais das Imerses e das Submerses e o Teorema do Posto.
Primeira aula
Exemplo 2.1.3 Seja f : Rn R dada por f (x) = kxk2 e u Rn qualquer vetor fixado. Ento
f (x + hu) f (x) = hx + hu, x + hui kxk2
= kxk2 + 2hhx, ui + h2kuk2 kxk2
= 2hhx, ui + h2kuk2 .
13
14 CAPTULO 2. DIFERENCIABILIDADE
Ao tentarmos obter informaes sobre a continuidade de uma funo analisando suas derivadas direcionais
encontraremos alguns problemas.
f f
Ento (0, 0) = (0, 0) = 1. Entretanto, f no contnua na origem. Note ainda que, para qualquer direo
x y
u = (a, b), com a 6= 0 e b 6= 0, temos que
No exemplo anterior a derivada direcional no existia em direes diferentes daquelas dadas pelos eixos.
Existem ainda funes que possuem derivadas direcionais em todas as direes em um dado ponto x0 mas que
supreendetemente so descontnuas em x0 .
Segue que
b2 /a se a 6= 0,
f (0, 0; u) =
0 se x = 0.
Assim, existem as derivadas direcionais de f em (0, 0) em todas as direes. Entretanto, f no contnua em
(0, 0). De fato, f (0, 0) = 0 mas, se calcularmos o limite de f em (0, 0) sobre a parbola x = y2 obteremos 1/2.
Para obtermos continuidade necessitamos de um conceito mais forte que derivadas direcionais que a dife-
renciabilidade. Recordemos o caso de funes de R em R.
Dada uma funo f : R R, definimos a derivada de f por meio do limite (se ele existir)
f (x + h) f (x)
f (x) := lim .
h0 h
Definamos
f (x + h) f (x)
g(h) := f (x).
h
Ento g no est definida em h = 0, mas
lim g(h) = 0.
h0
Podemos ento verificar que, se f diferencivel, existe uma funo g tal que
f (x + h) f (x) = h + |h|g(h),
(2.2)
lim g(h) = 0.
h0
Se h 6= 0 temos que
f (x + h) f (x) |h|
= + g(h).
h h
Logo, tomando o limite h 0 na expresso acima e observando que
|h|
lim g(h) = 0,
h0 h
Definio 2.1.6 Seja A Rn e f : A Rm . Suponha que A contenha uma vizinhana de x0 . Dizemos que f
diferencivel em x0 se existe uma matriz B, do tipo m n, tal que
f (x0 + H) f (x0) B H
lim = 0.
H0 |H|
Na Definio 2.1.6 utilizamos a norma do sup, mas poderamos ter utilizado a norma euclidiana sem nenhuma
perda. Para que esta definio faa sentido devemos observar que a matriz D f (x0 ), quando existe, nica.
Demonstrao. Suponha que B e C sejam duas matrizes que satisfazem a condio na definio de derivada.
Segue que
(C B) H
lim = 0.
H0 |H|
Fixado u 6= 0, tomamos H = tu e fazemos t 0. Segue que (C B) u = 0 e, como u qualquer, C = B.
No caso em que a derivada de f : A Rn Rm existe em todo ponto do aberto A dizemos que f diferen-
civel em A. Neste caso a aplicao derivada de f a aplicao
Exemplo 2.1.8 Qualquer matriz B L (Rn , Rm ) pode ser vista ais simplesmente como uma funo entre esses
espaos. Mas por linearidade, B(x0 + H) B(x0) = B(H). Segue que DB(x0 ) = B
Mostremos que a definio de diferenciabilidade que acabamos de dar, na qual a matriz D f (x0 ) conheci-
da como derivada de Frchet, mais forte que o conceito de derivada direcional, conhecida como derivada de
Gteaux. De fato, diferenciabilidade implica em continuidade.
Logo f contnua em x0 .
D f (x0 ) = (1 . . . m ).
f
(x0 ) = f (x0 ; e j ) = D f (x0 ) e j = j , j = 1, . . . , m.
xj
O resultado segue.
Fazendo o produto interno de ambos os lados da igualdade (2.4) com u j , j = 1, . . . , m, vemos que cada termo na
fj
soma possui limite, o qual justamente (x0 ), ou seja
xi
m
fj
xi (x0 )u j = f (x0 ; ei ) = T (ei ).
j=1
Tal matriz chamada de Jacobiana de f em x0 , sendo denotada por D f (x0 ). Ela est definida em qualquer
ponto de Rn onde f diferencivel.
Segunda aula
para algum z (x, y). Entretanto esta relao no vlida em geral para funes de Rn em Rm . Vamos demonstrar
que uma verso corrigida do teorema vlida. Utilizaremos a seguinte notao: para x, y Rn , definimos
Teorema 2.2.1 (Teorema do Valor Mdio) Sejam A Rn um aberto e f : A Rm diferencivel em todo ponto
de A. Sejam x, y A tais que L(x, y) A. Ento, para todo a Rm , existe z L(x, y) tal que
a, ( f (y) f (x)) = a, D f (z) (y x) .
Demonstrao. Seja u = y x. Como A aberto e L(x, y) A, temos que existe > 0 tal que x + tu A, para
qualquer < t < 1 + (basta usar o Teorema 1.5.8). Agora fixemos a Rm e definamos F : ( , 1 + ) Rm
por
F(t) := a, f (x + tu) .
Notemos que
F(t + h) F(t)
lim = a, f (x + tu; u) .
h0 h
Em particular, F diferencivel em (0, 1). Segue do Teorema do Valor Mdio de uma varivel que existe 0 < < 1
tal que
F(1) F(0) = F ( ) = a, f (x + u; u) = a, f (z; y x) = a, D f (z) (y x) ,
onde z := x + u L(x, y). O resultado segue notando que F(1) F(0) = a, ( f (y) f (x)) .
Observao 2.2.2 interessante observar que o Teorema do Valor Mdio 2.2.1 possui implicaes simples, porm
j interessantes.
b) Tomando a = f (y) f (x) podemos usar a Desigualdade de Cauchy-Schwarz do Exerccio 2 para, aps
dividirmos por k f (y) f (x)k, obtermos do Teorema 2.2.1 que
onde M a norma de D f (z), para algum z L(x, y). Em particular, se A convexo e as derivadas parciais
de f so limitadas em A, ento f Lipschitz, uma vez que, para quaisquer y, x A, temos que L(x, y) A.
Lema 2.3.1 Seja g : A Rn R uma funo diferencivel no aberto A e considere (t) = g(x0 + tu). Para todo
t de maneira que esteja bem definida temos
Demonstrao. Primeiramente notemos que suficiente demonstrarmos o teorema no caso de uma funo com
valores em R. De fato, a diferenciabilidade de f = ( f1 , . . . , fm ) equivalente diferenciabilidade de cada compo-
nente.
Dados x0 A e > 0, consideremos o pontos x A tais que |x x0 | < . Seja H = (h1 , . . . , hn ) Rn com
0 < |H| < . Consideremos ento os seguintes pontos de Rn que so vrtices de um paraleleppedo retngulo
centrado em x0 :
p 0 = x0 ,
p 1 = x0 + h 1 e1 ,
..
.
pn = x0 + h1 e1 + . . . + hnen = x0 + H.
Podemos escrever
n
f (x0 + H) f (x0) = f (p j ) f (p j1) . (2.5)
j=1
f
f (p j ) f (p j1) = (h j ) (0) = (c j )h j = (q j )h j , (2.6)
xj
para algum c j (0, h j ), onde q j = p j1 + c j e j . Notemos que se h j = 0, ento (2.6) vale automaticamente. Substi-
tuindo (2.6) em (2.5) obtemos
n
f
f (x0 + H) f (x0) = (q j )h j . (2.7)
j=1 x j
Subtraindo h f (x0 ), Hi em ambos os lados da igualdade (2.7) e dividindo por |H| chegamos na identidade
Fazendo H 0, vemos que q j x0 . Usando a continuidade das derivadas pariciais e a limitao do quociente
h j /|H| obtemos o resultado.
Suponha que f : A Rn Rm e que as derivadas pariciais das componentes de f , dadas por D j fi , existam.
Estas so, novamente, funes de A em R. Podemos ento considerar as suas derivadas parciais
Dk (D j fi ) = Dk, j fi ,
que so as chamadas derivadas parciais de segunda ordem de fi . Similarmente definimos as derivadas de terceira
ordem, e assim por diante. Se as derivadas parciais de fi at ordem r existem e so contnuas para i = 1, . . . , m,
dizemos que f de classe Cr e escrevemos f Cr (A, Rm ). Dizemos ainda que f de classe C se as derivadas
parciais de todas as ordens de todas as componentes de f existem. Notemos que C (A, Rm ) = rNCr (A, Rm ).
20 CAPTULO 2. DIFERENCIABILIDADE
f f (x, y) f (0, y)
(0, y) = lim = y lim g(x, y),
x x0 x x0
o que nos d
2 f y limx0 g(x, y)
(0, 0) = lim = lim lim g(x, y),
y x y0 y y0 x0
2 f
(0, 0) = lim lim g(x, y).
x y x0 y0
Segue que
2 f 2 f
(0, 0) = 1, (0, 0) = 1.
x y y x
O Teorema de Clairaut-Schwarz nos d condies sob as quais temos a igualdade das derivadas parciais de
segunda ordem mistas Dk, j f e D j,k f .
Dk D j f (x0 ) = D j Dk f (x0 ).
Demonstrao. Iniciamos com o caso n = 2. Queremos ento demonstrar que D1 D2 f (x0 , y0 ) = D2 D1 f (x0 , y0 ),
(x0 , y0 ) A fixado. Seja > 0 tal que a vizinhana de (x0 , y0 ) esteja contida em A e consideremos s R pequeno
de maneira que a expresso abaixo esteja bem definida:
1
Q(s) := ( f (x0 + s, y0 + s) f (x0, y0 + s) f (x0 + s, y0 ) + f (x0 , y0 )) .
s2
Q(s) chamado de quociente de diferena de segunda ordem. Definamos
para cada x R de maneira que (x, y0 + s), (x, y0 ) A. Observe que o domnio de g um aberto em R que contm
o intervalo fechado [x0 , x0 + s]. Alm disso,
1
Q(s) = (g(x0 + s) g(x0)).
s2
Aplicando o Teorema do Valor Mdio g vemos que existe (x0 , x0 + s) tal que
1 1
Q(s) = g ( ) = ( f1 ( , y0 + s) f1 ( , y0 )).
s s
para cada y R de maneira que ( , y) A. Novamente, o domnio de h aberto e contm o intervalo [y0 , y0 + s].
Alm disso,
h (y) = f12 (xi, s)
Q(s) = f12 ( , )
Q(s) = f21 ( , ).
Portanto, no limite
lim Q(s) = f12 (x0 , y0 ) = f21 (x0 , y0 ),
s0
j1 j+1
(x, y) = f (x10 , . . . , xi1 i+1
0 , x, x0 , . . . , x0 , y, x0 , . . . , xn ),
j
que est bem definida em algum aberto de R2 contendo (x)i0 , x0 ). Aplicando a primeira parte da demonstrao
encontramos
fi j (x0 ) = 12 (xi0 , x0j ) = 21 (xi0 , x0j ) = f ji (x0 ).
Observe que o Teorema 2.4.2 implica que, se f de classe C3 , ento f123 = f132 = f112 e assim por diante.
Terceira aula
22 CAPTULO 2. DIFERENCIABILIDADE
Demonstrao. Pela continuidade de g em y0 , podemos tomar > 0 tal que g est definida no conjunto C (y0 ).
Similarmente, escolhemos > 0 tal que f esteja definida em C (x0 ) e ainda, f (x) C (y0 ), para qualquer x
C (x0 ). Segue que a composta g f est definida em C (x0 ).
x0 y0
c
f g
onde
|z|
E(H) := Dg(y0 )E f (H) + Eg (z), H 6= 0, E(0) = 0.
|H|
A demonstrao estar completa se tivermos que
lim E(H) = 0.
H0
Notemos que z 0 quando H 0. Logo, E f (H) 0 e Eg (z) 0 quando H 0. Vamos ento mostrar que o
|z|
quociente est limitado quando H 0, o que finalizar a demontrao. Segue de (2.8) que
|H|
|z| |D f (x0 ) H + |H|E f (H)|
= |D f (x0 )| + |E f (H)| |D f (x0 )| + M, (2.10)
|H| |H|
2.6. O TEOREMA DA FUNO INVERSA 23
onde |E f (H)| M.
Corolrio 2.5.3 Sejam A Rn aberto, f : A Rm com f (x0 ) = y0 . Suponha que g uma funo definida em uma
vizinhaa de y0 com imagem em Rn que ainda satisfaz g(y0 ) = x0 e
g( f (x)) = x
Dg(y0 ) D f (x0 ) = In .
Como a inversa a direita de uma matriz tambm inversa esquerda (Teorema 2.5 de [10]), temos o resultado.
1. f um homeomorfismo;
2. tanto f quanto f 1 so de classe Cr .
Exemplo 2.6.2 Fixados a, b Rn , a aplicao Ta,b : Rn Rn dada por Ta,b (x) = x + (b a) um difeomorfismo
de classe C .
Exemplo 2.6.3 Dada uma matriz Ann no singular (det A 6= 0), a funo TA : Rn Rn dada por TA (x) = Ax um
difeomorfismo de classe C .
O seguinte resultado reflete o fato da existncia de um difeomorfismo ser uma relao de equivalncia entre
os subconjuntos abertos de Rn .
Teorema 2.6.5 (Teorema da Funo Inversa) Seja W um subconjunto aberto de Rn e considere f : W Rn uma
funo de classe Cr , r = 1, 2, . . . , . Se x0 W e D f (x0 ) no singular, ento existe uma vizinhana aberta U
de x0 , U W , tal que V = F(U) aberto e F : U V um difeomorfismo de classe Cr . Alm disso, se x U e
y = f (x), ento temos a seguinte frmula para a derivada de f 1 em y:
1
D f 1 (y) = D f (x) .
Para demonstrarmos o Teorema 2.6.5 ainda necessitamos alguns fatos, j que utilizaremos o Teorema do
Ponto Fixo de Banach.
Definio 2.6.6 Seja (X, d) um espao mtrico. Dizemos que {xn }nN X uma sequncia de Cauchy em X
se d(xi , x j ) 0 quando i, j . O espao X chamado de completo se toda sequncia de Cauchy em X
convergente.
Teorema 2.6.7 (Teorema do Ponto Fixo de Banach) Seja (X, d) um espao mtrico completo e T : X X uma
funo. Suponhamos que exista uma constante 0 < 1 tal que, para quaisquer x, y X,
d(T (x), T (y)) d(x, y).
Ento T possui um nico ponto fixo em X.
Demonstrao. Aplicando T repetidamente temos que d(T n (x), T n (y)) n d(x, y).
Afirmao: se escolhemos x0 X arbitrrio e definimos xk := T k (x0 ), ento existe uma constante L 0
independente de k, j tal que d(xk , xk+ j ) k K. De fato,
Observao 2.6.8 Suponha que X seja um espao de Banach e que : X X seja uma aplicao no linear.
Dado y X, consideremos a equao
y = (x).
Podeos reescreve-la na forma
x = g(x), com g(x) = x (x) + y.
Dessa forma, a equao y = (x) equivalente a encontrar um ponto fixo de g. Se g for uma contrao, o Teorema
do Ponto Fixo de Banach nos garante a existncia de um ponto fixo e a convergncia exponencial da sequncia
(xn ) definida por
x0 X, xn+1 = xn (xn ) + y,
para o ponto fixo de g.
2.6. O TEOREMA DA FUNO INVERSA 25
Passo (ii): existe um nmero real r > 0 tal que D f no singular na bola fechada B2r (0) W e, para quaisquer
x1 , x2 Br (0), temos que
1
|g(x1 ) g(x2)| |x1 x2 | (2.11)
2
e
|x1 x2 | 2| f (x1 ) f (x2 )|. (2.12)
Para verificarmos esta afirmao tomamos inicialmente r1 > 0 tal que B2r1 (0) W . Alm disso, como
det(D f (x0 )) uma funo contnua de x W e no se anula em uma vizinhana de 0, selecionamos r2 > 0 tal que
det(D f (0)) no se anula em B2r2 (0). Finalmente, como kDg(0)k = 0, podemos tomar r3 > 0 tal que kDg(x)k 1/2
para x B2r3 (0). Consideremos r = min{r1 , r2 , r3 }. A desigualdade (2.11) segue do item 2 da Observao 2.2.2.
A desigualdade (2.12) por sua vez segue substituindo g(xi ) por xi f (xi ), i = 1, 2. De fato:
1
|x1 f (x1 ) x2 + f (x2 )| |x1 x2|
2
por (2.11), e Pela continuidade da norma,
Passo (iii): se |x| r, ento |g(x)| r/2, isto , g(Br (0)) Br/2 (0). Alm disso, para cada y Br/2 (0), existe
x Br (0) tal que f (x) = y.
A primeira parte da afirmao segue de (2.11) tomando-se x1 = x e x2 = 0. J a segunda parte necessitar do
Teorema 2.6.7. Para cada y Br/2 (0) e cada x Br (0) temos que
r r
|y + g(x)| |y| + |g(x)| + = r.
2 2
Segue que a aplicao Ty : Br (0) Br (0) dada por Ty (x) := y + g(x) est bem definida. Alm disso satisfaz
1
|Ty (x1 ) Ty (x2 )| = |g(x1 ) g(x2)| |x1 x2 |.
2
Assim, como Br (0) um espao mtrico completo, Ty possui um nico ponto fixo x e Ty (x) = x se, e somente se,
y = x g(x) = x (x f (x)) = f (x). Como isto vlido para qualquer y Br/2 (0), vemos que f 1 fica definida
neste conjunto.
Segue da continuidade de f que U = f 1 (Br/2 (0)) aberto em W . Seja V = Br/2 (0).
Como a existncia de f 1 segue do passo (iii), falta mostrarmos sua continuidade. Sejam x1 , x2 U e
y1 = f (x1 ), y2 = f (x2 ). Segue de (2.12) que
| f 1 (y1 ) f 1 (y2 )| 2|y1 y2|,
e f 1 : V U contnua.
Para finalizarmos a demonstrao do Teorema da Funo Inversa temos que demonstrar o seguinte:
Quarta aula
Corolrio 2.6.9 Se D f no singular em todo ponto de W , ento f uma aplicao aberta, isto , aplica W e
subconjuntos abertos de Rn contidos em W em subconjuntos abertos de Rn .
t y
2 g
c s
A seguir daremos um exemplo que mostra que a no podemos retirar a hiptese de continidade das derivadas
no Teorema da Funo Inversa.
2xS C =
1 2
2 2 S C = 0,
x x
1 1
possui soluo, onde S = sen e C = cos . Por outro lado, pela Regra de Cramer,
x x
2x
S= ,
1 + 2x2
1 2x2
C= .
1 + 2x2
Segue que
1 + 4x4
1 = S2 + C2 = 2 ,
(1 + 2x2)2
e tomando x pequeno o bastante vemos que o lado direito da igualdade acima menor que 1, obtendo uma contra-
dio.
Ento existe uma vizinhana B de x0 em Rk e uma nica funo g : B Rn tal que g(x0 ) = y0 e
Demonstrao. Vamos construir uma funo F que satisfaz as hipteses do Teorema da Funo Inversa. Defini-
mos F : A Rk+n por
F(x, y) = (x, f (x, y)).
Note que F de classe Cr em A e
Ik 0
DF = f f .
x y
Utilizando desenvolvimento por meio de cofatores para o clculo de determinantes temos que
f
det(DF) = det .
y
Comparando as coordenadas temos que f (x, h(x, 0)) = 0 sempre que x B. Definimos ento g : B Rn por
g(x) := h(x, 0). Segue que g de classe Cr e satisfaz f (x, g(x)) = 0 para x B. Alm disso,
Como g(x0 ) V, pela continuidade de g0 temos que, diminuindo B0 se nevessrio, g0 (x) V para todo x B0 , o
qual tambm vamos assumir conexo. Vamos demonstrar que se g0 coincide com g em u ponto x B0 , ento g0
30 CAPTULO 2. DIFERENCIABILIDADE
coincide com g em uma vizinhana menor B de x. Mas como g0 (B) V, temos que f (x, g0 (x)) = 0 em B, o que
implica em
F(x, g0 (x)) = (x, 0),
ou seja,
(x, g0 (x)) = G(x, 0) = (x, h(x, 0)) = (x, g(x)).
Assim, g0 e g coincidem em B.
Segue que o conjunto B1 := {x B | |g0 (x) g(x)| = 0} aberto em B e, por continuidade, tambm aberto
o conjunto B2 := {x B | |g0 (x) g(x)| > 0}. Mas B0 = B1 B2 com B1 6= 0/ e B1 B2 = 0./ Pela conexidade de
B0 segue que B2 = 0/ e o teorema est demonstrado.
Quinta aula
Definio 2.8.1 Seja A Rk+n um aberto. Uma aplicao diferencivel f : A Rn chamada de submerso se,
para qualquer x A, a derivada D f (x) : Rk+n Rn sobrejetora.
A submerso cannica a projeo : Rk+n Rn dada por (x, y) = y. De fato, do ponto de vista local,
toda submerso se comporta localmente como a projeo.
Teorema 2.8.2 (Forma Local das Submerses) Sejam A Rk+n um aberto e f : A Rn uma funo de classe
Cr , r 1. Suponha que, no ponto z0 A, a derivada D f (z0 ) seja sobrejetora. Consideremos uma decomposio
em soma k+n e escrevemos z = (x , y ) com x N e y E. Escolhemos N e E de forma que
direta N E = R 0 0 0 0 0
D f (z0 ) E seja um isomorfismo. Ento, existem abertos V,W e Z tais que
x0 V, V N,
z0 Z, Z A,
f (z0 ) W, W Rn ,
Demonstrao. Como j observamos anteriormente, este resultado j est essencialmente contido no Teorema da
Funo Implcita, e portanto devemos seguir as idias da demonstrao daquele teorema.
Lembremos que, dada uma transformao linear k+n Rn sobrejetora, existe uma decomposio
T: R
R k+n = N E, dim N = k e dim E = n, e tal que T E um isomorfismo. De fato, {Te1 , . . . , Tek+n } geram Rn
e assim podemos tomar neste conjunto n vetores linearmente independentes.
Podemos supor ainda que N = Rk e E = Rn . De fato, basta usarmos difeomorfismos que permutam as
coordenadas.
Agora procedemos como na demonstrao do Teorema 2.7.1. Definamos F : A Rk Rn por F(x, y) =
(x, f (x, y)). Ento DF(x0 , y0 ) no singular e, se f (x0 , y0 ) = c0 , podemos aplicar o Teorema da Funo Inversa
para escolhermos uma vizinhana de (x0 , y0 ) que aplicada difeomorficamente em uma vizinhana V W de
(x0 , c0 ). A definimos
Z = F 1 (V W ), F 1 : V W Z.
2.8. SUBMERSES E IMERSES LOCAIS 31
z0 f (z0 )
Z
W
h A
y0 W
V x0
Notemos que F 1 (x, f (x, y)) = (x, y), ou seja, F 1 fixa a primeira coordenada. Seja h := F 1 . Segue que h(x, y) =
(x, h1 (x, y)). Mas assim, se (x, y) V W,
Agora vamos considerar uma funo diferencivel para a qual a dimenso do domnio menor que a dimen-
so da imagem. Do ponto de vista da diferenciabilidade, o melhor que podemos esperar neste caso que a derivada
seja injetora.
Definio 2.8.3 Seja A Rk um aberto. Uma aplicao diferencivel f : A Rk+n chamada de imerso se,
para qualquer x A, a derivada D f (x) : Rk Rk+n injetora.
A imerso cannica a incluso i : Rk Rk+n dada por i(x) = (x, 0). De fato, do ponto de vista local, toda
imerso se comporta localmente como a incluso.
Teorema 2.8.4 (Forma Local das Imerses) Sejam A Rk um aberto e f : A Rk+n uma funo de classe Cr ,
r 1. Suponha que, no ponto x0 A, a derivada D f (x0 ) seja injetora. Ento, existem abertos V,W e Z tais que
f (x0 ) Z, Z Rk+n ,
x0 V, V A Rk ,
0 W, W Rn ,
Demonstrao. Seja E = D f (x0 )(Rk ) e tomemos P qualquer subespao complementar de E, isto , Rk+n = E P.
Por injetividade e compondo com difeomorfismos que permutam a base, vamos supor que E = Rk e P = Rn . Isto
nos permite definir G : A Rn Rk+n por
j que permutamos a base de maneira que D f (x0 )(Rk ) = Rk . Segue que DG(x0 , 0) no singular. Pelo Teorema
da Funo Inversa, G um difeomorfismo de classe Cr de uma vizinhana de (x0 , 0), a qual escolheremos da forma
V W A Rn , em uma vizinhana de f (x0 ). Definamos Z := G(V W ) e h := G1 : Z V W . Uma vez que
G(x, 0) = f (x), temos que
h f (x) = h(G(x, 0)) = G1 (G(x, 0)) = (x, 0),
para qualquer x V , demonstrando o teorema.
Da lgebra Linear sabemos que o posto de T : Rk Rn igual a se, e somente se, a matriz que representa
T possui um determinante menor de ordem no nulo e todo determinante menor de ordem ( + 1) ( + 1)
nulo.
Exemplo 2.9.3 Seja f : R2 R2 dada por f (x, y) = (x y, 2x + 2y). Ento D f (x, y) possui posto constante e
igual a 1 em todo R2 . Seja g1 (x, y) = (x + y, y). Ento
o que nos diz que, a menos dos difeomorfismos g1 e g2 , a aplicao f no depende da varivel y.
Antes de enunciarmos o Teorema do Posto, deixe-nos fazer um comentrio sobre notao que utilizaremos
no decorrer da sua demonstrao. Dada uma funo f : A Rn Rm diferencivel, sejam f1 , . . . , fm suas funes
componentes. A matriz Jacobiana D f tambm denotada por
( f1 , . . . , fm )
Df = .
(x1 , . . . , xn )
Teorema 2.9.4 (Teorema do Posto) Sejam A0 Rn um aberto e f : A0 Rm uma funo de classe Cr . Suponha-
mos que o posto de f seja constante e igual a k em todo A0 . Se x0 A0 e y0 = f (x0 ), ento existem conjuntos
2.9. O TEOREMA DO POSTO 33
Demonstrao. Vamos supor por simplicidade que x0 = 0 Rn e y0 = 0 Rm . O caso geral segue ao consi-
derarmos f(u) = f (u + x0 ) y0 . Alm disso, compondo com difeomorfismos que permutam as bases, podemos
assumir que o determinante menor de ordem k k em D f (x0 ) que no se anula justamente aquele dado pelas
primeiras k colunas e k linhas. Assim, se denotarmos f = ( f1 , . . . , fk ), ento o determinates menor que no se anula
justamente f
1
u1 . . . uf1
k
. ..
D f =
.. . ,
fk
u . . . ufk
1 k
onde f = ( f, fk+1 , . . . , fm ) e omitimos o ponto x0 no qual a matriz acima est sendo avaliada.
Definamos g : A0 Rn por
Por outro lado, como Dg1 no-singular em U1 e g1 (U1 ) = A1 A0 , temos que o posto de D( f g1 ) =
D f Dg1 em U1 constante e igual ao posto de D f em A0 , isto , igual a k. Logo, o determinante menor da matriz
D( f g1 ) formado pelas k + 1 primeiras linhas e k + 1 primeiras colunas deve ser nulo. Este fato implica que
f k+1
necessariamente devemos ter = 0 em U1 . Raciocinando indutivamente vemos que f k+i , i = 1, . . . , m k,
xk+1
dependem somente das variveis x1 , . . . , xk .
Vamos agora definir o difeomorfismo h. Seja H uma funo definida em uma vizinhana V1 de 0 Rm e dada
pela expresso
H(y) := y1 , . . . , yk , yk+1 + f k+1 (y1 , . . . , yk ), . . . , ym + f m (y1 , . . . , yk ) .
Note que o domnio V1 deve ser escolhido pequeno o suficiente de maneira que, para y V1 , as funes f k+i
estejam definidas em y.
34 CAPTULO 2. DIFERENCIABILIDADE
h f g1(x) = h( f g1(x))
= h x1 , . . . , xk , f k+1 (x), . . . , f m (x)
= h x1 , . . . , xk , f k+1 (x1 , . . . , xk ), . . . , f m (x1 , . . . , xk )
= H 1 x1 , . . . , xk , 0 + f k+1 (x1 , . . . , xk ), . . . , 0 + f m (x1 , . . . , xk )
= (x1 , . . . , xk , 0, . . . , 0),
finalizando a demonstrao.
Sexta aula
Lema 2.10.1 Seja f : A Rn R uma funo de classe Ck no aberto A, sendo k um inteiro positivo. Se x0 A e
H um vetor fixado, definimos (t) = f (x0 + tH) com t pequeno de forma que x0 + tH A. Ento
(t) = (hH, i) f (x0 + tH)
e, mais geralmente,
(k) (t) = (hH, i)k f (x0 + tH).
Aqui, (hH, i)k significa a composio dos operadores diferenciais.
Demonstrao. Para o caso k = 1 basta uma aplicao simples da Regra da Cadeia. De fato,
Continuamos a demonstrao utilizando induo. Supondo o resultado vlido para k = r 1 temos (r1) (t) =
(hH, i)r1 f (x0 + tH), ento pelo que acabmos de demonstrar
d (r1)
(t) = hH, i(hH, i)r1 f (x0 + tH),
dt
que a frmula geral.
2.10. FRMULA DE TAYLOR 35
Suponhamos que H = x x0 A. Ento o domnio de contm o intervalo [0, 1]. A Frmula de Taylor para
funes de uma varivel implica que existe um nmero (0, 1) tal que
1 1 1
(1) = (0) + + (0) + (0) + . . . + k1 (0) + (k) ( ). (2.13)
2! (k 1)! k!
Lema 2.10.2 (Frmula de Taylor) Seja f uma funo definida em um aberto A Rn possuindo derivadas par-
ciais contnuas at ordem k. Seja x0 A e H Rn um vetor de forma que x0 + tH A, para qualquer t (0, 1).
Ento existe [0, 1] tal que
(hH, i) f (x0 ) (hH, i)k1 f (x0 ) (hH, i)k f (x0 + H)
f (x0 + H) = f (x0 ) + + ...+ + .
1! (k 1)! k!
Demonstrao. Basta usar que (1) = f (x) e (0) = f (x0 ) e aplicar a frmula (2.13).
i) x0 um mnimo local se existe uma vizinhana B de x0 tal que f (x0 ) f (x) para todo x B;
ii) x0 um mnimo local estrito se existe uma vizinhana B de x0 tal que f (x0 ) < f (x) para todo x B \ {x0};
iii) x0 um mnimo absoluto se f (x0 ) f (x) para todo x A;
iv) x0 um mnimo absoluto estrito se f (x0 ) < f (x) para todo x A \ {x0}.
Definio 2.11.2 Seja f : A Rn R uma funo que possui derivadas parciais no aberto A. Um ponto x0 A
chamado de ponto crtico de f se f (x0 ) = 0.
Se a funo f for diferencivel, podemos nos restringir aos pontos crticos de f para encontramos os pontos
de mximo ou de mnimo relativos.
Demonstrao. Seja H Rn um vetor fixado e definamos (t) = f (x0 +tH), onde t ( , ), para algum > 0.
Ento possui um extremo local em t = 0 e, portanto, (0) = 0. Como (t) = h f (x0 + tH), Hi, temos que
h f (x0 ), Hi = 0 para todo H Rn . Isto implica que f (x0 ) = 0.
f (x)
v(x) = .
k f (x)k
Segue que o valor mximo da derivada direcional de f em x atingido quando a direo v a direo do vetor
gradiente de f em x. De fato,
1
h f (x), v(x)i = h f (x), f (x)i = k f (x)k.
k f (x)k
O polinmio quadrtico Qx chamado de forma quadrtica correspondente matriz nn simtrica (pelo Teorema
de Clairaut-Schwarz) definida pelas derivadas de segunda ordem de f em x, isto , ( fi j (x)).
Vamos escrever Qx 0 se Qx (H) 0 para todo H Rn e Qx > 0 se Qx (H) > 0 para todo H Rn \ {0}.
Similar notao para Qx 0 e Qx < 0.
i) Qx positiva semidefinida se Qx 0;
ii) Qx positiva definida se Qx > 0;
iii) Qx negativa semidefinida se Qx 0;
iv) Qx negativa definida se Qx < 0;
v) Qx indefinida se Qx no possui sinal.
Fixemos um ponto x0 A e seja U A uma vizinhana convexa de x0 suficientemente pequena. Para cada
x U seja H = x x0 e consideremos os segmentos da forma x0 + sH, com s [0, 1]. Aplicando a frmula de
Taylor para f em x0 com k = 2 obtemos facilmente que
1
f (x) = f (x0 ) + h f (x), Hi + Qx0 +sH (H).
2
Se x0 um ponto crtico obtemos
1
f (x) = f (x0 ) + Qx0 +sH (H). (2.14)
2
Segue que se f possui um mnimo local em x0 ento Qx0 +sH positiva semidefinida para todo x U. Vamos agora
melhorar este resultado. Necessitaremos de um lema tcnico (veja o Exerccio 10).
onde (ci j ) uma matriz n n. Se g(H) > 0 para todo H Rn \ {0}, ento existe m > 0 tal que
Portanto,
n
G(H) = (Ci j ci j )Hi H j + g(H)
i, j=1
Teorema 2.11.6 Seja f : A Rn R uma funo de classe C2 no aberto A e x0 A um ponto crtico de f . Ento:
i) se x0 um mnimo local ento Qx0 positiva semidefinida;
ii) se Qx0 positiva definida ento x0 um mnimo local estrito;
iii) se x0 um mximo local ento Qx0 negativa semidefinida;
iv) se Qx0 negativa definida ento x0 um mximo local estrito;
Demonstrao. Suponhamos que f possua um mnimo local em x0 . Ento existe uma vizinhana U de x0 tal que
f (x) f (x0 ) para todo x U.
Como f (x0 ) = 0, temos pela expresso que Qx0 +sh 0 para todo x U (se necessrio, podemos diminuir U).
Como f de lasse C2 , a aplicao x 7 Qx (H) contnua em A para H fixado. Suponhamos ento que Qx0 (H0 ) < 0
para algum H0 Rn . Ento existe uma vizinhana U1 U de x0 tal que Qy (H0 ) < 0 para qualquer y U1 . Seja
x = x0 + s0 H0 para s0 pequeno de maneira que x U1 . Mas tambm podemos escrever x = x0 + H, para algum
outro H, que justmente h = s0 h0 . Assim,
Qx0 +sH (H) = Qx0 +sH (s0 H0 ) = s20 Qx0 +sH (H0 ) < 0,
o que uma contradio. Isso demonstra i).
Suponhamos agora que Qx0 seja positiva definida. Pelo Lema 2.11.5 e pal continuidade das segundas deri-
vadas de f obtemos que Qy tambm ser positiva definida em uma vizinhana U de x0 . Tomando y = x0 + sH e
usando (2.14) chegamos que f (y) > f (x0 ). Isso demonstra que f possui um mnio local estrito em x0 , ou seja, vale
ii).
Os itens iii) e iv) seguem do que j foi demonstrado considerando a funo f .
O Teorema 2.11.6 nos fornece o Teste da Derivada Segunda utilizado frequentemente nas disciplinas de
Clculo.
Definio 2.11.7 Para x A, a matriz ( fi j (x)) chamada de Hessiana da funo f em x e seu determinante
chamado de determinante Hessiano. Um ponto crtico x0 de f dito no degenerado se det( fi j (x0 )) 6= 0.
Vamos agora nos restringir ao caso de R2 e verificar que o comportamento de f prximo de um ponto crtico
no degerenerado (x0 , y0 ) determinado pela forma quadrtica Q(x0 ,y0 ) . Neste caso temos
Q(x0 ,y0 ) (h, k) = f11 (x0 , y0 )h2 + 2 f12 (x0 , y0 )hk + f22 (x0 , y0 )k2 . (2.15)
Para facilidade, vamos omitir o ponto (x0 , y0 ) na notao de fi j . Notemos que, sendo (x0 , y0 ) no degenerado,
2 6= 0.
necessariamente f11 f22 f12
Suponhamos que f11 f22 f12 2 > 0. Ento temos
2 2
f11 Q(x0 ,y0 ) (h, k) = f11 h + 2 f12 f11 hk + f22 f11 k2
= ( f11 h + f12k)2 f12
2 2
k + f22 f11 k2
= ( f11 h + f12k)2 + k2 ( f22 f11 f12
2
).
Conclumos que:
1) se f11 (x0 , y0 ) > 0, ento Q(x0 ,y0 ) (h, k) > 0 para (h, k) 6= (0, 0) em uma vizzinhaa de (0, 0) e f possui mximo
local em (x0 , y0 );
2) se f11 (x0 , y0 ) < 0, ento Q(x0 ,y0 ) (h, k) < 0 para (h, k) 6= (0, 0) em uma vizinhaa de (0, 0) e f possui mnimo
local em (x0 , y0 ).
Supondo agora que f11 f22 f122 < 0, vemos que a forma quadrtica (2.15) representa localmente um hiper-
bolide centrado na origem. Assim, Q(x0 ,y0 ) no possui sinal definido em uma vizinhana de (0, 0). Na verdade,
o plano (h, k) dividido em 4 partes: duas onde Q(x0 ,y0 ) < 0 e duas onde Q(x0 ,y0 ) < 0. Neste caso dizemos que
(x0 , y0 ) um ponto de sela para a funo f .
2.12. NOTAS SOBRE AS REFERNCIAS 39
Exerccio 22 Seja f : Rn R uma funo homognea de grau 1 no seguinte sentido: f (tx) = t f (x), para todo
x Rn e qualquer t R.
Exerccio 23 (Teorema de Euler) Seja f : Rn R e p um nmero real dado. Dizemos que f homognea de
grau p se f (tx) = t p f (x), para todo x 6= 0 e qualquer t > 0.
Suponha que f seja diferencivel em Rn \ {0}. Mostre que f homognea de grau p se, e somente se,
h f (x), xi = D f (x) x = p f (x)
Sugesto para a parte ": defina (t) := f (tx) e, fixado x, mostre que (t)t p constante.
Suponha ainda que Q(x) > 0 para x 6= 0. Considere f (x) = (Q(x)) p/2 , p > 0. Calcule f (x) e verifique se f
homognea.
40 CAPTULO 2. DIFERENCIABILIDADE
Exerccio 25 Seja u = x3 f (y/x, z/x), onde f : R2 R uma funo diferencivel, (x, y, z) R3 . Mostre que
u u u
x +y +z = 3u.
x y z
Exerccio 26 Seja f : Rn R uma funo de classe C1 e suponha que, para algum L > 0,
|D j f (x)| L, para todo x Rn .
para j = 1, . . . , n,
Demonstre que f Lipschitz contnua com constante de Lipschitz igual a nL.
Exerccio 27 Seja g : Rn \ {0} R uma funo de classe C1 e suponha que, para algum L > 0,
|D j g(x)| L, para j = 1, . . . , n, para todo x Rn \ {0}.
a) Demonstre que se n 2, ento g pode ser estendida como sendo uma funo contnua em todo Rn .
b) Demonstre que o item a) falso se n = 1 dando um contra-exemplo.
Exerccio 28 Mostre que a funo f : R2 R dada por f (x, y) = |xy| diferencivel em (0, 0) mas no de
classe C1 em qualquer vizinhana de (0, 0).
f
onde fxi = . Prove que f de classe C1 em todo com
xi
Li = fxi (x0 ).
Exerccio 34 Seja R2 um subconjunto aberto que possui a seguinte propriedade: para cada y R o conjunto
{x R | (x, y) } um intervalo. Demonstre que, se D1 f (x, y) = 0 para todo (x, y) , ento f independente
de x.
Exerccio 35 Seja g : A Rn Rn uma aplicao diferencivel. Dizemos que g conforme se existe uma funo
real : A Rn R, (x) > 0 para todo x A, tal que (x)Dg(x) uma rotao de Rn para todo x A.
a) Demonstre que g conforme se, e somente se, para todo x A, temos que: det Dg(x) > 0, as linhas da matriz
Jacobiana de g so duas a duas ortogonais e a norma (euclidiana) de cada linha igual a 1/ (x).
Sugesto: uma transformao L : Rn Rn ortogonal se, e somente se, os vetores coluna da matriz de L
formam uma base ortonormal de Rn .
b) Demonstre que, se g conforme, ento (x) = (det Dg(x))1/n .
c) Seja n = 2 e g = (g1 , g2 ). Mostre que g conforme se, e somente se, det Dg(x) > 0 e
g11 (x) = g22 (x), g12 (x) = g21 (x),
para todo x A.
Exerccio 37 (Nikaid) Seja Rn um aberto convexo e g : Rn uma aplicao diferencivel tal que
n
gij (x)hi h j > 0, para todo x e qualquer h Rn , h 6= 0.
i, j=1
Exerccio 38 Seja f : A Rn Rn uma aplicao de classe C1 ccom detD f (x) 6= 0 para todo x A. Dado
y 6 f (A), seja (x) = ky f (x)k2. Demonstre que (x) 6= 0 para todo x A.
Exerccio 40 Sejam B(x, y) R2 uma bola aberta e f : B(x, y) R uma funo diferencivel. Demonstre que
f f
f (x1 , y1 ) f (x, y) = (x1 x) (x, y1 ) + (x1 y) (x, y),
x y
onde x L(x, x1 ) e y L(y, y1 ).
Sugesto: considere a funo
g(t) = f (tx1 + (1 t)x, y1) + f (x,ty1 + (1 t)y).
42 CAPTULO 2. DIFERENCIABILIDADE
Exerccio 41 Seja L : Rn Rn uma transformao linear e consideremos a equo y = Lx e g(x) = (Id L)x + y.
Demonstre que g uma contrao se, e somente se, kId Lk < 1. Alm disso, demonstre que a soluo de y = Lx
dada por
x= (Id L)k y.
k=0
Exerccio 42 (Mtodo de Newton) Seja Br (x0 ) a bola de centro x0 Rn . Suponhamos que f : Br (x0 ) Rn seja
de classe C2 e que kD f (x)k C para todo x Br (x0 ) com C 1. Suponhamos ainda que D f (x) seja inversvel
para qualquer x Br (x0 ) e que kD f (x)k C em toda a bola Br (x0 ). Demonstre que existe > 0, = (r,C), tal
que, se k f (x0 )k , ento a sequncia definida por
est inteiramente contida em Br (x0 ) e converge para um elemento x tal que f (x) = 0.
Sugesto: demonstre indutivaente que
Exerccio 44 Seja f : Rn Rn dada por f (x) = kxk2 x. Mostre que f de classe C e aplica B1 (0) em si mesma
bijetivamente. Entretanto, mostre que a inversa de f em B1 (0) no diferencivel em 0.
Exerccio 45 Seja f : R2 R2 dada por f (x, y) = (ex cos y, ex sen y). Mostre que f localmente inversvel em
todo ponto de R2 mas no possui uma inversa definida globalmente.
Mostre que f diferencivel mas no inversvel em uma vizinhana de 0. Qual hiptese do Teorema da Funo
Inversa no se verifica?
Demonstre que g contnua e diferencivel em todo ponto mas g no contnua em x = 0 e g (0) 6= 0. Deonstre
ainda que g no inversvel em qualquer vizinhana de 0.
2.13. EXERCCIOS DO CAPTULO 43
(i) Mostre que existe > 0 tal que (x0 , y) < 0 se y0 y < y0 e (x0 , y) > 0 se y0 < y y0 + .
(ii) Mostre que existe > 0 tal que (x, y0 ) < 0 e (x, y0 + ) > 0 se |x x0 | < .
(iii) Seja I := {(x, y) | |x x0 | < , |y y0 | < }. Escolha e de forma que y (x, y) > 0 para todo (x, y) I.
Mostre que se |x1 x0 | < , ento a equao (x1 , y) = 0 possui exatamente uma soluo y1 com (x1 , y1 ) I.
Seja y1 = (x1 ), o que define uma funo de (x0 , x0 + ) em R.
(iv) Mostre que diferencivel e que
x (x, (x))
(x) = .
y (x, (x))
Exerccio 53 Seja f : (a, b) R uma funo de classe Cr , para algum inteiro r 1. Suponha que para algum
ponto c (a, b) temos que
f (c) = . . . = f (n1) (c) = 0, mas f n (c) 6= 0.
Mostre que, se n for par, ento f possui mximo local em c se f n (c) < 0 e mnimo local em c se f n (c) > 0. Se n
for mpar, c no ponto de mnimo nem de mximo local de f .
44 CAPTULO 2. DIFERENCIABILIDADE
Exerccio 55 Seja f : R2 R com derivadas parciais at ordem 2 contnuas. Suponha ainda que f (0, 0) =
fx (0, 0) = fy (0, 0) = 0. Mostre que existem funes contnuas h1 , h2 e h3 tais que
Exerccio 56 Mostre que se f : R2 R de classe C , ento existem funes de classe C f11 , f12 , f22 : R2 R
tais que
f (x, y) = f (0, 0) + fx (0, 0)x + fy (0, 0)y + x2 f11 (x, y) + xy f12 (x, y) + y2 f22 (x, y).
Exerccio 58 Encontre um polinmio quadrtico que aproxiama funo f : R2 R dada por f (x, y) = sen x sen y
prximo de (0, 0). Qual o valor do erro cometido nessa aproximo se |x| 0.1 e |y| 0.1?
(i) Mostre por induo que, para x > 0 e k 0 inteiro, a k-sma derivada de f da forma p2k (1/x)e1/x para
algum polinmio p2k (y) de grau 2k em y.
(ii) Mostre que f de classe C e que f (k) (0) = 0 para todo inteiro k 0.
Exerccio 60 Seja f : Rn R definida por f (x) = (hv, xi), onde uma funo de classe C2 . Encontre todos
os pontos cticos de f e classifique-os. Ilustre o resultado no caso em que n = 2 e f (x, y) = (x y)2 .
Exerccio 61 Seja x0 um ponto crtico no degenerado de uma funo f de classe C2 . Demonstre que x0 um
ponto crtico isolado, isto , existe uma vizinhana U de x0 que no contm outros pontos crticos de f .
Sugesto: seja x um outro ponto crtico de f em uma vizinhana U de x0 ; aplique o Teorema do Valor Mdio
para obter
n
0= fi j (yi )(x j x0 j ), i = 1, . . . , n,
j=1
onde yi U para cada i; demonstre que se U suficientemente pequeno, ento det( fi j (yi )) 6= 0 e consequentemente
o sistema de equaes acima possui como nica soluo o ponto x x0 = 0.
2.13. EXERCCIOS DO CAPTULO 45
x4 y4
f (x, y) = + 4xy2 + 2x2 + 2y2 + 3.
3 2
Com o auxlio de algum programa, plote o grfico e as curvas de nvel de f para vrios valores, isto , curvas da
forma
f (x, y) = c, c constante.
Sugesto de valores: c = 75, 30, 10, 3.74, 3.2, 1, 3, etc.
46 CAPTULO 2. DIFERENCIABILIDADE
Captulo 3
Neste captulo introduziremos o conceito de variedades diferenciveis em Rn , que so objetos geomtricos abstra-
tos que generalizam as superfcies em espaos Euclidianos. Mais especificamente, as variedades so objetos que
podem, via parametrizaes locais que se sobrepem de maneira compatvel, serem deformadas em abertos de Rn .
Em vrias reas da Matemtica essa abstrao importante, uma vez que muitos conjuntos com um certa estrutura
suave que surgem em problemas fsicos, por exemplo, no so apresentados inicialmente como subconjutos de Rn .
Apesar de no adotarmos este tratamento mais geral, definindo as variedades como objetos topolgicos abstratos,
a maneira concreta que apresentaremos as definies naturalmente levar a uma generalizao para objetos que
no necessariamente vivem em espaos Euclidianos.
Stima aula
Definio 3.1.1 Fixemos inteiros 0 < n m. Um subconjunto M Rm uma variedade topolgica de dimenso
n se todo ponto de M possui, na mtrica relativa de Rm , uma vizinhana homeomorfa a um subconjunto aberto de
Rn .
Dada uma variedade topolgica M e q um ponto de M, consideremos o par (U, ), onde U um aberto
de M contendo q e um homeomorfismo de U em um subconjunto aberto de Rn . Tal par chamado de
vizinhana coordenada de q. Notemos que (q) = (x1 (q), . . . , xn (q)) Rn , onde cada xi , i = 1, . . . , n, uma
funo coordenada. possvel que q pertena a uma outra vizinhana coordenada (V, ) e neste caso (q) =
(y1 (q), . . . , yn (q)). Em particular, isto ocorrer sempre que (U, ) e (V, ) forem vizinhanas coordenadas com
U V 6= 0. / Como e so homeomorfismos, este caso nos d um homeomorfismo
1 : (U V ) (U V ),
ou seja, sempre que duas vizinhanas coordenadas se sobrepem podemos passar de uma coordenada para outra
de uma maneira homeomorfa. Esta passagem de uma coordenada para outra chamada de mudana de coordena-
das. O caso em que estas mudanas de coordenadas so funes diferencivis nos leva definio de variedades
diferenciveis.
47
48 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
U q
M
(q) (V )
1 (q)
(U )
Definio 3.1.3 Uma estrutura diferencivel C em uma variedade topolgica M uma famlia U = {(U , )}
de vizinhanas coordenadas tais que
S
i) U = M;
ii) para quaisquer , , (U , ) e (U , ) so C -compatveis;
iii) qualquer vizinhana coordenada (V, ) que C -compatvel como todo (U , ) U pertence a U .
Uma variedadade topolgica com uma estrutura diferencivel C chamada de variedade diferencivel.
Na prtica, para verificarmos que uma variedade topolgica uma variedade diferencivel no necessrio
demonstrar a maximalidade da famlia de vizinhanas coordenadas como no item iii) da Definio 3.1.3. De fato, o
prximo resultado no ser demonstrado no curso mas usaremos quando for necessrio. Ele expressa o fato de que
a relao de compatibilidade entre vizinhanas coordenadas uma relao de equivalncia. Consequentemente,
toda estrutura diferencivel est contida em uma estrutura diferencivel maximal.
Proposio 3.1.4 Seja M uma variedade topolgica. Se {(U , )} uma cobertura de M por vizinhanas coor-
denadas C -compatveis, ento existe uma nica estrutura diferencivel C sobre M que contm esta famlia.
Exemplo 3.1.5 O espao Rn uma variedade diferencivel com uma nica vizinhana coordenada (Rn , In ), onde
In a identidade.
Exemplo 3.1.6 Qualquer subconjunto aberto V de uma variedade diferencivel M tambm uma variedade di-
ferencivel (de
mesma dimenso). De fato, se {(U , )} uma estrutura diferencivel C para M, ento
{(U V, U V )} uma estrutura diferencivel C para V .
com a mtrica induzida por R3 . Isto siginifica que se U um aberto de S2 , ento U = U S2 , onde U um aberto
de R3 . Para i = 1, 2, 3, definimos
Cada uma dessas aplicaes um homeomorfismo sobre o disco aberto de raio 1 em R2 . Segue que S2 uma
variedade topolgica de dimenso 2. Alm disso, {(Ui , i ), i = 1, 2, 3} uma estrutura diferencivel C . Por
exemplo,
q
3+ (x1 , x2 , x3 ) = (x1 , x2 ), (3+ )1 (x1 , x2 ) = x1 , x2 , 1 x21 x21 ,
o que nos d
q
1+ (3+ )1 (x1 , x2 ) 2 2
= x2 , 1 x1 x1 .
Segue que 1+ (3+ )1 de classe C . Similarmente, 3+ (1+ )1 de classe C . Repitindo este processo para
cada par (Ui , i ) vemos que estes formam uma estrtura diferencivel C e S2 uma variedade diferencivel de
dimenso 2.
R
f
M
q
f 1
Figura 3.2: f : M R.
Note que a definio de diferenciabilidade independe da vizinhana coordenada que escolhemos. De fato, se
(U, ) e (V, ) so vizinhanas coordenadas de um ponto q M e f : W M R, ento
f 1 = ( f 1 ) ( 1 ).
50 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
Definio 3.2.2 Suponha que M e N sejam variedades diferenciveis e que W M aberto. Seja F : W N uma
aplicao. Dizemos que F de classe Cr em W se, para todo q W , existem vizinhanas coordenadas (U, ) de
q em M e (V, ) de F(q) em N, com U W e F(U) V , tal que
F 1 : (U) (V )
de classe Cr . F de classe C se de classe Cr para qualquer inteiro positivo r.
Esta definio estende o conceito de difeomorfismo previamente definido para funes de subconjuntos de
Rn .
Na Definio 3.3.1 precisamos mostrar que o posto independente da escolha das vizinhanas coordenadas.
Este fato no ser demonstrado, ficando como um exerccio.
O Teorema 2.9.4 (Teorema do Posto) pode ser reformulado no caso de variedades da forma abaixo.
Teorema 3.3.2 Sejam M e N variedades diferenciveis com dim M = m e dim N = n. Suponha que F : N M
seja de classe C e que o posto de F seja constante e igual a k em todo ponto de N. Se q N, existem vizinhanas
coordenadas (U, ) e (V, ) de q e de F(q) respectivamente tal que (q) = 0 Rn e (F(q)) = 0 Rm e
F 1(x) = (x1 , . . . , xk , 0, . . . , 0), x = (x1 , . . . , xn ) Rn .
Alm disso, podemos assumir que (U) = Cn (0) Rn e (V ) = Cm (0) Rm , onde Ck (0) o cubo de centro 0
e raio > 0 em Rk .
Note que, pelo Teorema 3.3.2, uma condio necessria para que F : N M seja um difeomorsfismo que
dim M = dim N = posto de F.
Definio 3.3.3 Uma aplicao F : N M de classe C chamada de imerso se posto de F = dim N em todo
ponto de N. F chamada submerso se posto de F = dim M em todo ponto de N.
Suponha que F : N M seja uma imerso injetora e seja N := F(N). Ento, se (U, ) uma estrutura
diferencivel de classe C em N, teremos que (U, ) ser uma estrutura diferencivel de classe C em N, onde
U := F(U) e := F 1 , sendo F : N N com F(q) = F(q) (justifique!). Alm disso, F : N N ser um
difeomorfismo.
Observao 3.3.5 Em geral, a topologia e a estrutura C de uma subvariedade imersa N dependem somente de
F e de N, isto , N no necessariamente um subespao de M. Isto ficar mais claro nos exemplos.
3.3. POSTO DE UMA APLICAO, IMERSES E MERGULHOS 51
Exemplo 3.3.7 Seja F : R R2 dada por F(t) = (cos 2 t, sen 2 t). Ento F uma imerso e F(R) o crculo
S1 = {(x, y) R2 | x2 + y2 = 1}. Esta imerso no injetiva.
cos 2 t sen 2 t
Exemplo 3.3.8 Seja F : (1, ) R2 dada por F(t) = , . Ento kF(t)k2 = 1/t 2 , para t > 1. A
t t
imagem da imerso F ser a curva espiral em torno de (0, 0).
(1 + t) cos2 t (1 + t) sen 2 t
Exemplo 3.3.9 Seja F : (1, ) R2 dada por F(t) = , . Ento a imagem de F
2t 2t
ser novamente uma curva espiral, porm agora em torno do crculo de centro (0, 0) e raio 1/2.
Exemplo 3.3.10 Seja F : R R2 dada por F(t) = 2 cos(t /2), sen2(t /2) . Ento, quando t varia de 0
at 2 , a imagem de F faz um circuito completo na figura oito, iniciando na origem como mostram as as setas na
Figura 3.3.11. Notemos ainda que F ma imerso no injetiva.
Exemplo 3.3.11 Construiremos agora uma funo cuja imagem novamente a figura oito, porm com uma im-
portante diferena: quando t varia no domnio dessa funo, passaremos pela origem apenas uma vez (quando
t = 1/2). Seja g : R R uma funo montona crescente e de classe C tal que g(0) = e
Este exemplo mostra que, mesmo que tenhamos que uma imerso F : N M seja injetiva, ela no neces-
sariamente um homeomorfismo de N em F(N) quando sua imagem vista como subespao de M.
(0, 1)
(0, 1)
Os exemplos que apresentamos nos levam a considerar uma definio mais restritiva.
Definio 3.3.13 Um mergulho uma imerso F : N M que um homeomorfismo de N sobre sua imagem
F(N) = N M, quando consideramos N como subespao de M. Neste caso dizemos que N uma subvariedade
mergulhada.
3.4. SUBVARIEDADES 53
Oitava aula
O prximo resultado nos diz que a diferena entre uma subvariedade imersa e uma subvarieadade mergulhada
essencialmente global isto , a diferena no depende da natureza local da aplicao F.
Teorema 3.3.14 Seja F : N M uma imerso. Ento cada ponto q N possui uma vizinhana U tal que F U
um mergulho de U em M.
Demonstrao. De acordo com o Teorema 3.3.2, podemos escolher vizinhanas coordenadas (U, ) de q N e
(V, ) de F(q) M tais que (U) = Cn (0) Rn , (V ) = Cm (0) Rm , (q) = 0 e (F(q)) = 0. Ademais,
F 1(x1 , . . . , xn ) = (x1 , . . . , xn , 0, . . . , 0).
Note que F 1 um homeomorfismo de Cn (0) Rn sobre sua imagem contida em Cm (0) Rm . Alm
disso, e so obviamente homeomorfismos. Por outro lado, como F(U) V e V um subconjunto aberto de
M, a topologia de F(U) dada pela topologia de V e, consequentemente de M. Como homeomorfismo fornece
uma relao de equivalncia temos que F um homeomorfismo de U em F(U) com a topologia relativa.
3.4 Subvariedades
Nesta seo vamos discutir com mais detalhes o conceito de subvariedade. At agora vimos a definio mais
geral que a de subvariedade imersa e ento o de subvariedade mergulhada. Desenvolveremos agora a noo de
subvariedade regular, que um caso particular das demais porm mais natural, j que nesse caso a topologia e a
estrutura diferencivel so derivadas diretamente da variedade da qual ela um subconjunto.
Definio 3.4.1 Seja M uma variedade diferencivel de dimenso m e n um inteiro com 0 n m. Um subcon-
junto N M possui a propriedade de n-subvariedade se cada q N possui uma vizinhana coordenada (U, )
sobre M com (p) = (x1 (p), . . . , xm (p)), p M, tais que
(U N )
U N
M = R3
Notemos que nem sempre uma subvariedade imersa possui a propriedade de n-subvariedade. Tome, por
exemplo, q = (0, 0) nos exemplos 3.3.11 e 3.3.12.
No lema abaixo, denotemos por : Rm Rn , n m, a projeo sobre as primeiras n coordenadas.
54 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
Lema 3.4.2 Seja M uma variedade diferencivel de dimenso m e n um inteiro satisfazendo 0 n m. Suponha
que N M satisfaz a propriedade de n-subvariedade. Ento N com a topologia relativa de M uma variedade
topolgica de dimenso n. Alm disso, cada vizinhana coordenada (U, ) de M da forma apresentada na Defi-
nio 3.4.1, define uma vizinhana coordenada (V, ) em N, com V = U N e = |V . Estas coordenadas
locais determinam uma estrutura diferencivel C em N na qual a incluso i : N M um mergulho.
Definio 3.4.3 Uma subvariedade regular de uma variedade diferencivel M qualquer subespao N de M
com a propriedade de n-subvariedade e com um a estrutura diferencivel C dada pela Definio 3.4.1.
F(x) = kxk2 .
S = {(x, y, z) R3 | x2 + y2 = 4, z = 0}.
Assim, o posto de F igual a 1 em U \ S. Note que F(S) = {0} R. Assim, tomando c > 0, teremos que F 1 (c)
uma subvariedade regular 1
de dimenso 2. Em particular, se 0 < c < 4, temos que F (c) o toro gerado pela
rotao do crculo de raio c em torno do eixo z com centro percorrendo S.
3.5. ESPAO TANGENTE A UMA SUBVARIEDADE REGULAR DE RN 55
Exemplo 3.4.7 Seja f : R2 R dada por F(x, y) = exy . Ento F(x, y) = (xexy , yexy ). Segue em R2 \ {(0, 0)} a
derivada de F possui posto constante e igual a 1. Alm disso, F(0, 0) = 1. Assim, para qualquer c > 0, c 6= 1,
F 1 (c) uma subvariedade regular de R2 de dimenso 1. Note que
que so hiprboles em R2 .
Observemos ainda que F 1 (1) = {(x, y) R2 | xy = 0}, ou seja, F 1 (1) a unio do eixo x com o eixo y,
no uma subvariedade. Mas F 1 (1) \ {(0, 0)} a unio de duas subvariedades conexas.
Demonstrao do Teorema 3.4.4. Seja A := F 1 (q). Como F contnua e {q} fechado em M temos que A
fechado. Vamos mostrar que A possui a propriedade de (n k)-subvariedade.
Seja p A. Ento F possui posto constante e igual a k em uma vizinhana de p. Pelo Teorema 3.3.2 podemos
encontrar uma vizinhana coordenada (U, ) e (V, ) de p e F(p) = q respectivamente tais que:
Assim, se F 1 (x) = q, devemos ter x1 = = xk = 0, pois (q) = 0. Em outras palavras, os nicos pontos de
U que so aplicados em q so aqueles para os quais as k primeiras coordenadas so nulas. Ou ainda:
A U = 1 ( F 1 1 (0))
= 1 {x Cn (0) | x1 = = xk = 0}.
Mas esta justamente a propriedade de (n k)-subvariedade. Segue que A uma subvariedade regular de dimenso
n k.
Dcima aula
Definio 3.5.1 Seja F : Rn Rm uma aplicao de posto constante e igual a k em todo ponto de Rn . Seja q
F(Rn ) e M := F 1 (q) uma subvariedade regular de dimenso n k em Rn , como no Teorema 3.4.4. Em particular
M Rn . Um vetor v Rn dito tangente a M em p M se existe uma funo diferencivel : ( , ) Rn ,
> 0, tal que ( , ) M, (0) = p e (0) = v. O conjunto de todos os vetores tangentes a M no ponto p
chamado de espao tangente a M em p e denotado por Tp M.
Teorema 3.5.2 Seja F : Rn Rm uma aplicao de posto constante e igual a k em todo ponto de Rn . Seja
q F(Rn ) e M := F 1 (q) uma subvariedade regular de dimenso n k em Rn , como no Teorema 3.4.4. Dado
p M, o espao tangente a M em p
Tp (M) = ker(DF(p)),
isto , Tp M o ncleo da trasformao linear DF(p). A dimenso de Tp M n k.
56 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
v = L1 (v, 0) = (0).
O resultado segue.
Definio 3.5.3 Seja F : Rn Rm uma aplicao de posto constante e igual a k em todo ponto de Rn . Seja
q F(Rn ) e M := F 1 (q) uma subvariedade regular de dimenso n k em Rn . Um vetor w chamado normal
M em p se hw, vi = 0, para qualquer v Tp M. Assim, o espao dos vetores normais M o complemento
ortogonal de Tp M.
Notemos que, nas condies da definio 3.5.3, o espao dos vetores normais M em p possui dimenso k.
Alm disso, pelo Teorema 3.5.2 devemos ter
Como o posto de F igual a k (constante), obtemos o resultado a seguir que uma simples consequncia do
Teorema 3.5.2 e dessas observaes:
Proposio 3.5.4 Seja F : Rn Rm uma aplicao de posto constante e igual a k em todo ponto de Rn . Seja q
F(Rn ) e M := F 1 (q) uma subvariedade regular de dimenso nk em Rn . Ento o conjunto {F1 (p), . . . , Fk (p)}
uma base do espao normal M em p.
Definio 3.5.5 Seja F : Rn Rm uma aplicao de posto constante e igual a k em todo ponto de Rn e tomemos
q F(Rn ). Seja M := F 1 (q) uma subvariedade regular de dimenso n k em Rn . O plano tangente a M em p
o conjunto
{x Rn | x = p + v; v Tp M}.
Teorema 3.6.1 (Multiplicadores de Lagrange) Nas condies que antecedem este teorema, um ponto p M
um ponto crtico de f |M se, e somente se, existe Rk , chamado de Multiplicador de Lagrange, tal que
D f (p) = Dg(p).
e p um ponto crtico de f .
Reciprocamente, suponhamos que p deja um ponto crtico de f |M . Sem perda de generalidade, iremos supor
que q = 0. Localmente, existe uma vizinhana coordenada (U, ) de p tal que: : U1 V1 Rn = Rk Rnk ,
(U M) = {0} V1 e (p) = (0, 0). Como o posto de g k, temos
ou seja,
D f(0, 0) = (Dx f(0, 0)) D(g 1)(0, 0)
Definimos = Dx f(0, 0) Rk . Usando a Regra da Cadeia e compondo com D (p) obtemos o resultado.
Exemplo 3.6.2 Consideremos o caso em que M = S2 R3 e seja f : R3 R dada por f (x, y, z) = z. Se g(x, y, z) =
x2 + y2 + z2 1, ento S2 = g1 (0). Para encontrarmos um ponto crtico de f |S2 devemos, pelo Teorema 3.6.1,
resolver o sistema
0 2 x = 0,
0 2 y = 0,
1 2 z = 0,
2
x + y2 + z2 = 1.
Isto nos fornece = 1/2 e pontos crticos (0, 0, 1) e (0, 0, 1). Notemos que o primeiro ponto de mximo e o
segundo ponto de minimo de f |S2 .
Exerccio 65 Seja S = {(x, y) R2 | xy = 0}, isto , a unio do eixo x com o eixo y em R2 . Considere duas
cartas que aplicam cada um dos eixos em R : (x, 0) 7 x e (0, y) 7 y. O que falha na definio de variedade
diferencivel?
58 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
Exerccio 68 (Veja [11], pgina 350) Seja Sn := {x Rn+1 | kxk = 1} e fixemos N = (0, . . . , 0, 1) e S = (0, . . ., 0, 1)
os polos norte e sul respectivamente. Definamos UN := Sn \ {S} e US := Sn \ {N}. Consideremos as funes
f : UN Rn e g : US Rn definidas por
1
f (x1 , . . . , xn+1 ) = (x1 , . . . , xn ),
1 xn+1
1
g(x1 , . . . , xn+1 ) = (x1 , . . . , xn ).
1 + xn+1
Mostre que (UN , f ) e (US , g) determinam duas vizinhanas coordenadas de Sn e ainda que {(UN , f ), (US , g)}
formam uma estrutura diferencivel C em Sn . f e g so as projees estereogrficas do polo norte e sul respec-
tivamente (veja a Figura 3.9: no caso de f , se considerarmos a reta que passa pelo polo norte N e por um ponto
x UN , ento f (x) justamente o ponto de interseco dessa reta com o plano Rn ).
Sugesto: a funo f(y1 , . . . , yn ) = t(y)y1 , . . . ,t(y)yn , 1 t(y) , onde t(y) = 2/(1 + kyk2), a inversa de f .
Qual a expresso para a inversa de g?
Rn
x
g(x)
f (x)
Exerccio 70 Mostre que se c 6= 0, ento o hiperbolide x2 + y2 4z2 = c uma subvariedade regular de dimenso
2. O mesmo acontece quando c = 0?
Exerccio 72 Seja M = {(x, y) R2 | xy = yx , x > 0, y > 0, (x, y) 6= (e, e)}. Mostre que M uma subvariedade
regular de dimenso 1.
Exerccio 73 Seja f : A R uma funo de classe C no aberto A R2 . Mostre que M = {(x, y, f (x, y)) R3 |
(x, y) A} uma subvariedade regular de dimenso 2.
3.7. EXERCCIOS DO CAPTULO 59
Exerccio 74 Considere uma matriz (ci j )nn com posto n e simtrica. Mostre que
n n o
M = x Rn | ci j xi x j = 1
i, j=1
Exerccio 75 Seja f : M N uma imerso injetiva. Demonstre que, se f 1 (K) compacto em M sempre que K
compacto em N, ento f um mergulho.
Verifique estas duas vizinhanas no so C -compatveis. Entretanto, demonstre que estas vizinhanas coordena-
das definem estruturas diferenciveis difeomrficas em R.
:= {(m, m) | m M} M M
uma subvariedade de M M.
60 CAPTULO 3. NOES DE VARIEDADES DIFERENCIVEIS EM RN E SUBVARIEDADES
Captulo 4
Integrao
Como sabemos do curso de Clculo I, a integral de uma funo real sobre um conjunto a generalizao da noo
de soma. Vamos estudar neste captulo a integral de Riemann de uma funo de vrias variveis, a qual nada mais
que a generalizao da integral vista para funes de uma varivel real.
Definio 4.1.1 Dado um intervalo fechado [a, b] R, uma partio de [a, b] uma coleo finita P de pontos
de [a, b], que contm os pontos a e b. Usualmente, indexamos os elementos de P em ordem crescente na forma
a = t0 < t1 < . . . < tk = b.
Cada intervalo [t j1 ,t j ], j = 1, . . . , k chamado de subintervalo determinado por P.
Definio 4.1.2 Dado um retngulo Q = [a1 , b1 ] . . . [an , bn ] Rn , uma partio de Q uma n-pla P =
(P1 , . . . Pn ), onde cada Pi uma partio de [ai , bi ], i = 1, . . . , n. Se, para cada i, Ii um dos subintervalos
determinado por Pi , ento um retngulo da forma
R = I1 . . . In
chamado de subretngulo (de Q) determinado por P. A largura mxima desses subretngulos chamada de
malha de P.
Definio 4.1.3 Sejam Q Rn um retngulo e f : Q R uma funo limitada. Dada uma partio P de Q, para
cada subretngulo R determinado por P definimos
mR ( f ) = inf{ f (x) | x Q},
MR ( f ) = sup{ f (x) | x Q}.
61
62 CAPTULO 4. INTEGRAO
Com esta notao, a soma inferior e a soma superior de f em Q so definidas respectivamente por
L( f , P) = mR ( f )v(R),
R
U( f , P) = MR ( f )v(R),
R
P = (P1 P1 , . . . , Pn Pn )
Demonstrao. Suponhamos que Q = [a1 , b1 ] . . . [an , bn ]. suficiente demonstrar o lema para o caso em que
P obtida adicionando-se um nico ponto partio P = (P1 , . . . , Pn ). Alm disso, podemos supor, sem
perda de generalidade, que o ponto q ser adicionado partio P1 . Suponha ainda que P1 consiste dos pontos
RS = [t j1 ,t j ] S,
onde S um subretngulo de [a2 , b2 ] . . . [an , bn ] determinado por (P2 , . . . , Pn ). A menos dos subretngulos da
forma RS , os demais subretngulos aparecem em ambas as parties P e P . Assim, ao considerarmos os termos
da forma RS da soma inferior L( f , P) desaparecem em L( f , P ), dando lugar a subretngulos da forma
RS = [t j1 , q] S e RS = [q,t j ] S,
Como a desigualdade acima vale para qualquer subretngulo da forma RS , obtemos que
L( f , P) L( f , P ).
Agora verificaremos que ao refinarmos uma partio, a famlia de somas inferiores obtida ser limitada
superiormente, enquanto a famlia de somas superiores ser limitada inferiormente.
4.2. CRITRIO DE RIEMANN PARA INTEGRABILIDADE 63
RS
RS
Demonstrao. Suponhamos que P = P . Ento facilmente vemos que mR ( f ) MR ( f ) para qualquer subretn-
gulo de Q determinado por P. Multiplicando por v(R) e somando obtemos o lema nesse caso particular.
Se P 6= P , seja P o refinamento comum a P e P . Pela primeira parte da demonstrao e pelo Lema
4.1.4 temos que
L( f , P) L( f , P ) U( f , P ) U( f , P ),
e o resultado segue.
Definio 4.1.6 Sejam Q Rn um retngulo e f : Q R uma funo limitada. Definimos a integral inferior e a
integral superior de f sobre Q respectivamente por
Z Z
f = sup{L( f , P)} e f = inf{U( f , P)}.
Q P Q P
No caso em que as integrais inferior e superior de f sobre Q coincidem, dizemos que f (Riemann) integrvel
em Q e denotamos este valor comum por
Z Z
f (ou f (x)),
Q Q
Teorema 4.2.1 (Critrio de Riemann) Sejam Q um retngulo e f : Q R uma funo limitada. Ento
Z Z
f f.
Q Q
64 CAPTULO 4. INTEGRAO
Alm disso, a igualdade acontece se, e somente se, dado > 0, existe uma partio correspondente P de Q tal
que
U( f , P ) L( f , P ) < . (4.1)
L( f , P) U( f , P ),
Como P arbitrria, podemos tomar o inf sob todas as parties P obtendo a primeira parte do teorema.
Agora asumimos que as integrais inferior e superior de f coincidem. Dado > 0, escolha P tal que
Z
0 f L( f , P) < /2
Q
Portanto,
U( f , P ) L( f , P ) U( f , P ) L( f , P) < .
Reciprocamente, assuma que as integrais inferior e superior de f no so iguais. Pela primeira parte do
teorema podemos definir
Z Z
:= f f > 0.
Q Q
Logo,
U( f , P) L( f , P) > .
Assim, existe > 0 tal que, para qualquer partio P de Q, a condio (4.1) no satisfeita, o que conclui a
demonstrao do teorema.
Corolrio 4.2.2 Sejam Q Rn um retngulo e f : Q R uma funo constante, isto , f (x) = c para qualquer
x Q. Ento f integrvel e Z
f = cv(Q).
Q
Demonstrao. Seja P uma partio de Q e R um subretngulo determinado por P. Como f constante segue
que
mR ( f ) = c = MR ( f ).
4.3. MEDIDA NULA E CRITRIO DE LEBESGUE 65
Portanto,
L( f , P) = c v(R) = U( f , P),
R
e a condio no critrio de Riemann (Teorema 4.2.1) vale trivialmente. Alm disso,
Z
L( f , P) f U( f , P),
Q
Corolrio 4.2.3 Seja Q um retngulo em Rn e {Q1 , . . . , Qk } uma coleo finita de retngulos que cobrem Q. Ento
k
v(Q) v(Qi ).
i=1
Ento, para qualquer partio P de [0, 1] e qualquer subretngulo R determinado por P, teremos que mR ( f ) = 0
e MR ( f ) = 1. Segue da que L( f , P) = 0 e U( f , P) = 1v([0, 1]) = 1. Logo, a condio 4.1 no Teorema 4.2.1 no
ser satisfeita para > 0 pequeno.
Concluiremos esta seo demonstrando que uma funo contnua definida em um retngulo integrvel.
Demonstrao. Como f contnua e Q compacto, temos que f uniformemente contnua. Assim, dado > 0,
existe > 0 tal que, se x, y Q satisfazem |x y| < , ento | f (x) f (y)| < /v(Q).
Escolha uma partio P de Q com malha menor que . Ento, para qualuqer subretngulo R determinado
por P e todo x, y R, segue que |x y| < , e pela condio de continuidade uniforme,
MR ( f ) mR ( f ) < /v(Q).
Logo,
U( f , P) L( f , P) = (MR ( f ) mR ( f ))v(R) .
R
Segue do Teorema 4.2.1 que f integrvel.
Definio 4.3.1 Dizemos que um subconjunto A Rn possui medida nula (em Rn ) se, dado > 0, existe uma
quantidade enumervel de retngulos Q1 , Q2 , . . . de Rn tais que
[
A Qi e v(Qi ) < .
i=1 i=1
66 CAPTULO 4. INTEGRAO
Em Anlise comum dizermos que uma certa propriedade ocorre quase sempre em um subcojunto ou em
quase todo ponto de (abreviadamente q.t.p. em ) se tal propriedade ocorre exceto em conjunto de medida nula
contido em .
Se um subconjunto A Rn possui medida nula e a dimenso do espao est clara no contexto, utilizaremos
ainda a notao |A| = 0.
O prximo resultado reune algumas propriedade bsicas de conjuntos de medida nula.
c) Um subconjunto A Rn possui medida nula se, e somente se, para todo > 0, existe uma quantidade
enumervel de retngulos abertos Int Q1 , IntQ2 , . . . de Rn tais que
[
A Int Qi e v(Qi ) < .
i=1 i=1
Segue que a coleo {Qij } cobre A e a soma dos volumes de cada retngulo Qij satisfaz
2i = .
i=1
Para provar c), suponhamos que os retngulos IntQ1 , Int Q2 , . . . cobrem A. claro que os retngulos fechados
Q1 , Q2 , . . . tambm cobriro A. Assim, a condio dada implicar que A possui medida nula. Reciprocamente, su-
ponha que A possua medida nula e, dado > 0, cubra-o com uma quantidade enumervel de retngulos Q1 , Q2 , . . .
tais que
v(Qi ) < 2 .
i=1
Agora, para cada i = 1, 2, . . ., escolha um retngulo Qi tal que tal que
Qi IntQi e v(Qi ) 2v(Qi ).
(Tente justificar a existncia de tais retngulos). Segue que os retngulos abertos IntQ1 , Int Q2 , . . . cobrem A e
satisfazem
v(Qi ) < .
i=1
Na prova de d) escrevemos
Q = [a1 , b1 ] . . . [an , bn ].
A notamos que Q a unio das faces de Q, que so da forma
Cada subconjunto da forma acima pode ser coberto por um nico retngulo em Rn da forma
que possui volume to pequeno quanto desejarmos fazendo 0. Logo, as faces possuem medida nula em Rn e
portanto | Q| = 0 em Rn pelo item b).
Agora vamos supor que |Q| = 0 em Rn e chegarmos a uma contradio. Seja > 0 tal que < v(Q). Pelo
item c), podemos cobrir Q por retngulos abertos Int Q1 , Int Q2 , . . . satisfazendo
v(Qi ) < .
i=1
Pela compacidade de Q, existe uma quantidade finita destes retngulos IntQ1 , . . . , Int Qk que ainda cobrem Q.
Assim,
k
< v(Q) v(Qi ) < ,
i=1
o que uma contradio.
Como vimos na Proposio 4.2.5, uma funo contnua definida em um retngulo fechado (Riemann)
integrvel. Entretanto, podemos encontrar facilmente exemplos que nos mostram que a continuidade no uma
condio necessria para integrabilidade. O que o Critrio de Lebesgue nos diz qual a quantidade de pontos
de discontinuidade uma funo pode ser para ainda ser integrvel. Tal resultado, como o sugere a nomenclatura,
foi demonstrado por Lebesgue. A idia por trs da prova examinar a condio de Riemann para integrabilidade
para ver que tipo de restrio podemos colocar nos pontos de descontinuidade da funo. Notemos que a diferena
entre a soma superior e a soma inferior de uma funo f para uma dada partio
(MR ( f ) mR ( f ))v(R),
R
e f ser integrvel se, e somente se, existem somas dessa forma arbitrariamente pequenas. Dividindo os retngulos
dessa soma como R1 R2 , onde R1 possui somente subretngulos onde f contnua e R2 contm os subretngulos
restantes. Em R1 os termos da soma podem ser tomados pequenos pela continuidade de f . Em R2 , entretanto, a
soma no precisa ser pequena, porm limitada por
C v(R),
RR2
e a soma ser pequena se a soma dos volumes dos retngulos que contm os pontos de descontinuidade de f
pequena. Consequentemente, a soma ser arbitrariamente pequena se o conjunto dos pontos de descontinuidade
de f possui medida nula.
Para controlarmos as somas inferior e superior nos pontos de continuidade utilizaremos ainda o conceito de
oscilao.
68 CAPTULO 4. INTEGRAO
Lema 4.3.5 Sejam Rn e f : R uma funo. Ento f contnua em x0 se, e somente se, ( f ; x0 ) = 0.
Demonstrao. Notemos que sempre temos ( f ; x0 ) 0. Suponha que ( f ; x0 ) = 0. Portanto, dado > 0, existe
> 0 tal que
M ( f ) m ( f ) < .
Logo, se x e |x x0| < , ento
m ( f ) f (x) M ( f ).
Obviamente que o prprio x0 satisfaz tal propriedade, isto ,
m ( f ) f (x0 ) M ( f ).
Segue que
| f (x) f (x0 )| < .
Reciprocamente, suponhamos que f seja contnua em x0 . Ento, dado > 0 escolhemos > 0 de maneira
que | f (x) f (x0 )| < sempre que x satisfaz |x x0 | < . Logo,
M ( f ) f (x0 ) + e m ( f ) f (x0 ) .
Consequentemente, ( f ; x0 ) 2 . Fazendo 0 temos que ( f ; x0 ) = 0.
Teorema 4.3.6 (Critrio de Lebesgue) Sejam Q Rn um retngulo e f : Q R uma funo limitada. Ento f
integrvel em Q se, e somente se, o conjunto dos pontos de descontinuidade de f possui medida nula em Rn , isto
, se f contnua q.t.p. em Q.
Suponhamos que |D| = 0 em Rn e, dado > 0, vamos encontrar uma partio P tal que U( f , P)
L( f , P) < .
Pimeiramente, cobrimos D com uma quantidade enumervel de retngulos abertos IntQ1 , Int Q2 , . . . tais que
v(Qi ) < ,
i=1
onde > 0 ser fixado mais tarde dependendo de . Para cada y Q \ D, escolhemos um retngulo aberto IntQy
contendo y e tal que
| f (x) f (y)| < para x Qy Q.
Ento o conjunto {IntQi }i=1 {IntQy }yQ\D formam uma cobertura berta de Q. Pela compacidade, escolhemos
uma quantidade finita destes retngulos
Int Q1 , . . . , Int Qk , IntQy1 , . . . , IntQyl ,
que ainda cobrem Q. Notemos que os retngulos IntQ1 , . . . , Int Qk podem no cobrir D, mas isso no far diferena.
Para facilitar, utilizaremos a notao Qy j = Q j . Alm disso, sem mudana na notao, vamos trocar os retgulos
Qi , i = 1, . . . , k, e Q j , j = 1, . . . , l, pela suas interseces com Q. Estes retngulos ainda cobrem Q e satisfazem
k
v(Qi ) < , (4.2)
i=1
4.4. O TEOREMA DE FUBINI 69
e
| f (x) f (z)| 2 , para x, z Q j , j = 1, . . . , l. (4.3)
Agora definimos uma partio P de Q usando os pontos extremos de cada intervalo componente de cada retngulo
Q1 , . . . , Qk , Q1 , . . . , Ql . Note que, dessa forma, cada retngulo Qi e Q j unio de subretngulos determinados
por P. Para encontrarmos as somas inferior e superior de f relativas P, dividiremos a coleo de todos os
subretngulos determinados por P na unio disjunta R1 R2 , onde cada retngulo R R1 est contido em algum
retngulo Qi e cada retngulo R R2 est contido em algum retngulo Qi . Observemos que
k
(MR ( f ) mR ( f ))v(R) 2M v(R) 2M v(R)
RR1 RR1 i=1 RQi
k
= 2M v(Qi ) < 2M .
i=1
e que
Assim,
U( f , P) L( f , P) < 2M + 2v(Q) ,
e a integrabilidade segue ao escolhermos = /(2M + 2v(Q)).
Assumiremos agora que f : Q R integrvel em Q e vamos mostrar que o conjunto dos pontos de descon-
tinuidade de f (denotado por D) possui medida nula em Rn .
Para cada m Z+ (inteiro positivo), seja
1
Dm := {y Q | ( f ; y) }.
m
Pelo Lema 4.3.5, sabemos que D = m=1 Dm . Mostraremos que cada Dm possui medida nula, e o resultado seguir
da Proposio 4.3.2.
Fixemos m Z+ . Dado > 0, seja P uma partio de Q tal que U( f , P) L( f , P) < /m. Seja Dm
o conjunto dos pontos de Dm que pertencem R, para algum subretngulo R determinado por P e seja Dm
o conjunto que contm os demais pontos de Dm . Segue da Proposio 4.3.2 que Dm possui medida nula, pois
| R| = 0. Resta-nos ento mostrar que |Dm | = 0.
Sejam R1 , . . . , Rk os retngulos determinados por P que contm pontos de Dm . Dado i = 1, . . . , k, o retngulo
Ri possui um ponto y Dm . Como y 6 Ri , existe > 0 tal que Ri possui uma vizinhana cbica de raio e
centrada em y. Com isso,
1
( f ; y) M ( f ) m ( f ) MRi ( f ) mRi ( f ).
m
Multiplicando por v(Ri ) e somando obtemos
1 m
v(Ri ) U( f , P) L( f , P) < m ,
m i=1
ou seja, Dm pode ser coberto por retngulos cuja a soma dos volumes menor que . Como arbitrrio,
finalizamos a demonstrao do teorema.
definida no retngulo Q = [a, b] [c, d] R2 , ento, para cada y [c, d], a funo F(x) = f (x, y) ser contnua, e
portanto integrvel, em [a, b]. O valor da integral depende de y e, portanto, define uma nova funo
Z b
G(y) = f (x, y)dx.
a
Verifica-se facilmente que G contnua em [c, d], e consequentemente integrvel neste intervalo. O fato que
Z Z d Z dZ b
f= G(y)dy = f (x, y)dxdy,
Q c c a
frmula que ser obtida como consequncia do Teorema de Fubini. A questo que surge quando uma frmula
similar vlida no caso em que f meramente integrvel em Q. Por exemplo, suponha que, para algum y0 [c, d]
fixado, f (x, y0 ) no seja contnua em ponto algum de [a, b], isto , f descontnua em todo ponto do segmento
y = y0 , c y d. Como este segmento possui medida nula em R2 , a descontinuidade de f neste conjunto no
afeta sua integrabilidade em Q. Em casos dessa forma, precisamos utlizar integrais inferiores e superiores para
uma generalizao da frmula de integrais iteradas. Este o contedo do Teorema de Fubini.
Teorema 4.4.1 (Teorema de Fubini) Seja Q = AB, onde A Rk e B Rn so retngulos. Suponha que f : Q
R seja uma funo limitada e escreva f (x, y) para representar o valor de f em x A e y B. Para cada x A,
definamos
Z Z
I(x) := f (x, y) e I(x) := f (x, y).
yB yB
Multiplicando por v(RA ), somando e usando o fato que v(RA )v(RB ) = v(RA RB), segue que
L( f , P) L(I, PA ).
U( f , P) U(I, PA ).
Passo 4: Reunindo todas as comparaes das somas inferiores e superiores para f , I e I obtemos
e
L( f , P) L(I, PA ) L(I, PA ) U(I, PA ) U( f , P), (4.5)
e estas desigualdades independem da escolha da partio P = (PA , PB ).
Passo 5: Como f integrvel em Q, dado > 0, existe uma partio P = (PA , PB ) tal que
U( f , P) L( f , P) < .
esto todos entre os extremos U( f , P) e L( f , P). Comos estes dois ltimos esto a uma distncia um do outro
e arbitrrio, devemos ter Z Z Z
I= I= f,
A A Q
Corolrio 4.4.2 Seja Q = A B, onde A Rk e B Rn so retngulos. Suponha que f : Q R seja uma funo
limitada. Se f integrvel em Q e se Z
f (x, y)
yB
Precisamos verificar que esta definio no depende da escolha de um particular retngulo Q que contm S.
Proposio 4.5.2 Sejam Q e Q dois retngulos em Rn e f : Rn R uma funo limitada que se anula em Rn \
Q Q . Ento a restrio de f Q integrvel se, e somente se, a restrio de f Q integrvel e, neste caso,
Z Z
f= f.
Q Q
Demonstrao. Suponhamos inicialmente que Q Q . Seja E o conjunto dos pontos de Q nos quais f descon-
tnua. Como f se anula em Rn \ Q , temos que f contnua neste conjunto. Assim, usando um abuso de notao,
f : Q Z R e f : QZ R so contnuas exceto nos pontos de E e possivelmente nos pontos de Q. Com isso,
tanto f quanto f existem se, e somente se, E possui medida nula. Assim, a existncia de uma implica na
Q Q
existncia da segunda.
Agora suponhamos que ambas as integrais existem e vamos mostrar que so iguais. Seja P uma partio de
Q e seja P o refinamento de P construido adicionando-se os pontos dos extremos dos intervalos componentes
de Q. Se R um subretngulo determinado por P que no est em Q, ento f se anula em algum ponto de R e
portanto mR ( f ) 0. Segue que
Z
L( f , P) L( f , P ) = mR ( f )v(R) mR ( f )v(R) f.
R RQ Q
O prximo resultado lista as principais propriedades da integral de Riemann. A demonstrao pode ser
encontrada em [10], Lema 13.2 e Teorema 13.3.
Vejamos agora algumas condies que implicam na existncia da integral de uma funo em um subconjunto
limitado S.
Teorema 4.5.4 Seja S Rn um subconjunto limitado e f : S R uma funo contnua e limitada. Defina
Demonstrao. Seja y Rn \ E. Vamos demonstrar que fS contnua em y. Com isso, o conjunto dos pontos
de descontinuidade de fS estar contido em E. Se supormos que |E| = 0, ento o resultado seguir do Critrio de
Lebesgue.
Se y IntS, ento f e fS coincidem em uma vizinhana de y e, sendo f contnua nesse conjunto, fS tambm
ser. Se y Ext S ento fS se anula em uma vizinhana de y e portanto ser contnua e y. Assim, nos resta analisar
fS em y S. Neste caso y pode pertencer ou no S. Mas como y 6 E temos que
lim f (x) = 0.
xy
Em particular, fS (x) 0 quando x se aproxima de y por pontos de S. Mas fS (x) 0 quando x se aproxima de y
por pontos de Rn \ S pela prpria definio de fs . Como fS (x) = 0 ou fS (x) = f (x), devemos ter
lim fS (x) = 0.
xy
Teorema 4.5.5 Seja S Rn um conjunto limitado e f : S R uma funo contnua e limitada. Se A = Int S e f
integrvel em S, ento f ser integrvel em A e
Z Z
f= f.
S A
Demonstrao. Notemos que se fS contnua em y ento fA tambm ser contnua em y e fS (y) = fA (y). De
fato, usto fcil de ver se y Int S ou se y ExtS. Suponha que y S. Ento a continuidade de fS em y implica
74 CAPTULO 4. INTEGRAO
que fS (x) fS (y) quando x y. Como y S, devemos ter fS (y) = 0, pois fS (x) = 0 se x 6 S. Mas note que
fA (x) = 0 ou fA (x) = fS (x) e a afirmao segue.
Agora suponhamos que f seja integrvel em S. Segue que, dado um retngulo Q que contm S, o conjunto
dos pontos de descontinuidade de fS possui medida nula. Mas da os pontos de descontinuidade de fA tambm ter
medida nula para afirmao que acabamos de provar e assim fA tambm ser integrvel. Note ainda que fS fA se
anula somente em ponto de descontinuidade de fS e fA , que possui medida nula. Portanto
Z
( fS fA ) = 0,
Q
Definio 4.6.1 Seja S Rn um subconjunto limitado. Dizemos que S retificvel, ou ainda Jordan mensurvel
se a funo caractrstica S for integrvel. Neste caso, o volume ou o contedo (de Jordan) de S dado por
Z Z
v(S) := S = 1.
S S
Observe que, se S for um retngulo, esta definio de volume coincide com a definio prvia que demos.
Seja S Rn tal que v(S) = 0. Ento, dado um retngulo Q contendo S e > 0, existe uma partio P de Q
tal que U(S , P) < , uma vez que L(S , P) = 0. Note que esta partio nos d uma cobertura finita de S cuja
soma total dos volumes menor que , diferentemente do caso em que S possui medida zero, onde procuramos
uma cobertura enumervel de S com a propriedade de que a soma total dos volumes seja menor que > 0 dado.
Teorema 4.6.2 Um subconjunto S Rn retificvel se, e somente se, S limitado e S possui medida nula em
Rn .
Demonstrao. Note que a funo S descontnua em x se, e somente se, x S. Assim, pelo critrio de
Lebesgue, S ser integrvel em um retngulo contendo S se, e somente se, | S| = 0 em Rn .
O Teorema 4.6.2 e a Proposio 4.6.3 nos ajudam a construir vrios exemplos de conjuntos retificveis.
Daremos seguir um exemplo de um conjunto que no retificvel.
4.6. CONJUNTOS RETIFICVEIS OU JORDAN MENSURVEIS 75
Fixemos a (0, 1) e, para cada inteiro positivo i, escolhemos um intervalo (ai , bi ) (0, 1) que contm qi e possua
comprimento menor que a/2i . Definimos
A := (a1 , b1 ) (a2 , b2 ) . . . .
Suponhamos que A possui medida nula. Notemos que [0, 1] = A = A A. Tomando = 1 a, cobrimos A
com uma quantidade enumervel de retngulos cuja soma dos volumes seja menor que . Esta cobertura de A
juntamente com os subconjuntos (ai , bi ) nos fornece uma cobertura de [0, 1]. Mas a soma total dos volumes dos
subconjuntos dessa cobertura mais a soma dos volumes dos intervalos (ai , bi ). Pela compacidade de [0, 1]
obtemos
a
1 < + i = + a.
i=1 2
Assim, temos uma contradio e A no retificvel pelo Teorema 4.6.2.
Teorema 4.6.5 Seja S Rn um subconjunto retificvel e f : S R uma funo limitada. Ento f integrvel se,
e somente se, o conjunto dos pontos de discontinuidade de f em S possui medida nula.
Demonstrao. Seja Q um retngulo que contm S e fS : Q R a extenso de f como sendo zero em Q \ S. Ento
fS integrvel se, e somente se, o conjunto dos pontos de discontinuidade de fS possui medida nula. Mas, a menos
dos pontos de S, as discontinuidades de fS so as mesmas de f . Como | S| = 0, o resultado segue.
Finalizamos esta seo com um resultado que nos ser til no estudo de integrais imprprias.
Teorema 4.6.6 (Exausto) Dado um subconjunto aberto A Rn , existe uma sequncia C1 ,C2 , . . . de subconjuntos
de A que so compactos e retificveis e satisfazem
[
A= CN e CN IntCN+1 para cada N.
N=1
DN
DN +1
para cada x DN , escolha um cubo fechado centrado em x e contido em Int DN+1 . O interior destes cubos cobrem
DN e escolhemos uma quantidade finita deles que ainda cobrem DN e seja CN a unio desta quantidade finita de
cubos. Como CN uma unio finita de retngulos, ele ser compacto e retificvel (veja o Exerccio 95). Note que,
como cada CN contm DN , a unio dos CN s cobrem A. Alm disso,
CN IntDN+1 IntCN+1 ,
Definio 4.7.1 Seja A Rn um aberto e f : A R uma funo contnua. Suponha que f (x) 0 para todo x A.
A integral (estendida) de f sobre A definida por
Z Z
f := sup f | D A, D compacto e retificvel ,
A D
desde que o sup exista. Neste caso diremos que f integrvel em A (no sentido estendido).
Mais geralmente, se no supormos que f no-negativa, definimos, para cada x A
Diremos neste caso que f integrvel em A se as funes no negativas f+ e f forem integrveis, e definimos
Z Z Z
f := f+ f .
A A A
Observao 4.7.2 Quando for necessrio distinguir a integral ordinria com a integral estendida utilizaremos a
notao Z
f
A
para denotar a integral estendida de f : A R.
Notemos que, no caso em que A Rn aberto e limitado, temos duas definies de integral de uma funo
contnua neste conjunto. Verifiquemos que neste caso as definies coincidem.
4.7. INTEGRAIS IMPRPRIAS 77
Proposio 4.7.3 Suponhamos que A Rn aberto e retificvel e seja f : A R contnua. Se f for integrvel
em A no sentido ordinrio (Definio 4.5.1), ento f integrvel no sentido estendido e
Z Z
f= f.
A A
Demonstrao. Suponhamos que f (x) 0 para todo x A. Seja D A um compacto retificvel. Ento
Z Z
f f.
D A
Tomando o sup sob todos os compactos retificveis de A obtemos que a integral estendida existe e que
Z Z
f f.
A A
Vamos demonstrar a desigualdade inversa, que um pouco mais delicada. Para tanto, seja Q Rn um retngulo
tal que A IntQ e seja fA a extenso por zero de f para fora de A. Pela definio de integral em subconjuntos
limitados temos que Z Z
f= fA .
A Q
Seja
k
[
D := Ri .
i=1
k k Z
L( fA , P) = mRi ( fA )v(Ri ) fA
i=1 i=1 Ri
Z Z Z
= fA = f f.
D D A
Utilizando a exausto de um aberto A Rn dada pelo Teorema 4.6.6 podemos dar uma formulao alternativa
para a definio da integral estendida.
78 CAPTULO 4. INTEGRAO
Teorema 4.7.4 Seja A Rn um subconjunto aberto e f : A R uma funo contnua. Escolha uma sequncia
{CN } de subconjuntos de A que so compactos e retificveis que cobrem A e satifazem CN IntCN+1 para cada
N. Ento f integrvel em A (no sentido estendido) se, e somente se, a sequncia de nmeros reais
Z
|f|
CN
Demonstrao.
Z Suponhamos inicialmente que f no-negativa, o que implica que f = | f |. Como a sequncia
f crescente, temos que ela converge se, e somente se, limitada.
CN
Suponhamos que f seja integrvel em A. Como CN um compacto retificvel e est contido em A temos que
Z Z Z
f sup f | D A compacto e retificvel = f .
CN D A
Z
Segue que a sequncia f limitada e
CN Z Z
lim f f.
N CN A
Z
Reciprocamente, suponhamos que a sequncia f seja limitada. Seja D A um compacto retificvel.
CN
Ento D pode ser coberto pelos conjuntos abertos
IntC1 IntC2 . . . .
Consequentemente, ser coberto por uma quantidade finita destes aberto pela compacidade, ou seja, por apenas
um deles, digamos IntCM . Assim, Z Z Z
f f lim f.
D CM N CN
Sendo D arbitrrio, tomando o sup sob todos os compactos retificveis de A segue que f integrvel e que
Z Z
f lim f.
A N CN
O caso geral em que f no precisa ser no-negativa segue se nos lembrarmos que 0 f+ | f | e 0 f | f |
e que | f | = f+ + f .
A seguir listamos algumas propriedades anlogas quelas do caso ordinrio. A demonstrao pode ser en-
contrada em [10], Teorema 15.3.
Em particular, Z Z
f | f |.
A A
4.8. DEFICINCIA DA INTEGRAL DE RIEMANN 79
Exemplo 4.8.1 A funo caracterstica Q do conjunto dos nmeros racionais no Riemann integrvel. Entre-
tanto, se definirmos k como sendo a funo caracterstica do conjunto {q1 , q2 , . . . , qk } (os k primeiros racionais
em alguma ordem), ento k Q pontualmente e cada k Riemann integrvel pois no zero a menos de um
conjunto de medida nula.
Na verdade, mesmo que o limite pontual de uma sequncia de funes seja integrvel, pode ser que no
tenhamos a igualdade em (4.6).
Exemplo 4.8.2 Seja fk a funo contnua que zero se 1/k x 1 e cujo grfico no intervalo (0, 1/k] forma um
tringulo issceles de altura 2k. Ento,
Z 1
fk (x)dx = 1, para qualquer k N.
0
Teorema 4.8.3 Seja I R um intervalo fechado e { fk } uma sequncia de funes definidas em I com valores em
R. Suponha ainda que fk f uniformemente em I e que cada fk seja limitada e integrvel em I. Ento o limite f
integrvel em I e Z Z
lim fk = f.
k I I
Observemos que, como fk0 , limitada, o mesmo vale para f . Seja agora P qualquer partio do intervalo I e R
qualquer subintervalo determinado por P. Ento
Exerccio 80 Se f , g : [0, 1] R so duas funes crescentes (e portanto limitadas) e no-negativas, mostre que
h : [0, 1] [0, 1] R definida por h(x, y) = f (x)g(y) integrvel.
a) Mostre que, para qualquer partio P de Q e qualquer subretngulo R de Q determinado por P, temos
que
mR ( f ) + mR (g) mR ( f + g) e MR ( f + g) MR ( f ) + MR (g).
Conclua que
L( f , P) + L(g, P) L( f + g, P) e U( f + g, P) U( f , P) + U( f , P).
Exerccio 83 Sejam Q Rn um retngulo e f : Q R uma funo limitada. Mostre que f integrvel em Q se,
e somente se, dado > 0, existe > 0 tal que U( f , P) L( f , P) < sempre que a partio P possuir malha
menor que .
Sugesto: veja as sugestes no Exerccio 6 da pgina 90 de [10].
Exerccio 84 Suponha que f : [a, b] R seja limitada e que f seja descontnua somente em uma quantidade finita
de pontos de [a, b]. Mostre que f integrvel em [a, b].
Sugesto: dado > 0 e sendo E o conjunto dos pontos de descontinuidade de f , cubra tal conjunto com uma
quantidade finita de intervalos [c j , d j ] [a, b] tais que j (d j c j ) < . Seja K o conjunto compacto obtido ao
removermos de [a, b] a unio de todos os intervalos (c j , d j ). Segue que f uniformemente contnua em K e tome
> 0 tal que | f (x) f (y)| < sempre que x, y K e |x y| < . Construa uma partio P que contm todos
os pontos c j e d j , nenhum ponto do interior de [c j , d j ], e tal que, se um subintervalo da partio no da forma
[c j , d j ], ento o comprimento desse subintervalo no excede . Mostre que esta partio satisfasz a condio do
critrio de Riemann.
4.9. EXERCCIOS DO CAPTULO 81
Exerccio 85 Seja C o conjunto de Cantor definido no Exerccio 12. Considere uma funo f : [0, 1] R limitada
e contnua em todo ponto de [0, 1] \ C. Demonstre que f integrvel em [0, 1].
Sugesto: cubra C com uma quantidade finita de segmentos cuja soma dos comprimentos pode ser to
pequena quanto queiramos e proceda como no Exerccio 84
Exerccio 87 Mostre que qualquer subconjunto de Rn1 {0} possui medida nula em Rn .
Exerccio 88 Seja f : [a, b] R uma funo contnua. Mostre que o grfico de f , definido por
Exerccio 89 Sejam Q Rn um retngulo e f : Q R uma funo limitada. Mostre que se f se anula exceto em
um conjunto fechado B de medida nula, ento f integrvel e
Z
f = 0.
Q
Exerccio 90 Seja A R2 um aberto e f : A R de classe C2 . Use o Teorema de Fubini para mostrar que
D2 D1 f (x) = D1 D2 f (x), para todo x A.
Sugesto: se D2 D1 f (x0 ) D1D2 f (x0 ) > 0 para algum x0 A, ento existe um retngulo contendo x tal que
D2 D1 f (x) D1 D2 f (x) > 0 em todo este retngulo.
a) Mostre que S denso em Q mas que qualquer reta paralela aos eixos coordenados contm, no mximo, um
subconjunto finito de S.
82 CAPTULO 4. INTEGRAO
b) Defina f : Q R por
0 se (x, y) S,
f (x, y) =
1 se (x, y) Q \ S.
Mostre que
Z 1 Z 1 Z 1 Z 1
f (x, y)dy dx = f (x, y)dx dy = 1
0 0 0 0
mas que a integral Z
f
Q
no existe.
Exerccio 95 Mostre que a unio finita de conjuntos retificveis retificvel. A unio enumervel de conjuntos
retificveis retificvel?
Exerccio 97 Suponha que um subconjunto limitado S de Rn possua no mximo uma quantidade finita de pontos
de acumulao. Mostre que S retificvel e que v(S) = 0.
Exerccio 98 Seja S Rn limitado. Mostre que se S retificvel ento S tambm ser e v(S) = v(S). D um
exemplo de um conjunto no retificvel S tal que S e IntS so retificveis.
Exerccio 99 Seja f : R R dada por f (x) = x. Mostre que, dado R, existe uma sequncia CN de compactos
retificveis que cobre R, satisfazem CN IntCN+1 para cada N e
Z
lim f = .
N CN
d) D um exemplo de uma funo no-decrescente em [0, 1] que seja discontnua em uma quantidade infinita
de pontos.
Exerccio 103 (Desigualdade de Young) Seja f uma funo contnua, crescente e tal que f (0) = 0. Demonstre
que, para quaisquer a, b > 0, temos que
Z a Z b
ab f+ f 1 .
0 0
Exerccio 104 a) Demonstre que se f : [a, b] R integrvel e se m f (x) M para todo x [a, b], ento
existe [m, M] tal que
Z b
f = (b a) .
a
b) Demonstre que se f : [a, b] R for contnua, ento existe [a, b] tal que
Z b
f = (b a) f ( ).
a
Para integrais de funes de uma varivel sabemos que vale o resultado conhecido como mudana de variveis:
Z g(b) Z b
f (x)dx = f (g(t))g (t)dt,
g(a) a
sempre que g (t) 6= 0 para t [a, b] (na verdade veremos que esta condio pode ser relaxada). Pretendemos
neste captulo apresentar uma demonstrao deste resultado para o caso geral de uma funo f definida em um
subconjunto aberto de Rn .
A demonstrao que daremos do Teorema de Mudana de Variveis utiliza a noo de parties da unidade,
a qual ser utilizada para reformular a definio da integral de uma funo sobre um subconjunto aberto. Alm
disso, necessitaremos de algumas informaes fundamentais sobre difeomorfismos em Rn .
Lema 5.1.1 Seja Q Rn um retngulo. Ento existe uma funo : Rn R de classe C tal que (x) > 0 para
x Int Q e (x) = 0 caso contrrio.
85
86 CAPTULO 5. O TEOREMA DE MUDANA DE VARIVEIS
Lema 5.1.2 Seja A uma coleo de subconjuntos abertos em Rn e seja A a unio desses subconjuntos. Ento
existe uma sequncia de retngulos Q1 , Q2 , . . ., todos eles contidos em A, tais que:
c) cada ponto de A possui uma vizinhana que intercepta somente uma quantidade finita de retngulos Qi s.
Observao 5.1.3 Se uma cobertura de um subconjunto A satisfaz a propriedade do item c), dizemos que ela
localmente finita.
Demonstrao do Lema 5.1.2 Seja D1 , D2 , . . . uma sequncia de subconjuntos compactos que esto contidos em
A cuja a unio A (no necessrio que sejam retificveis) e tais que Di IntDi+1 para cada i. Para convenincia
na notao, definimos Di = 0/ se i 0.
Cx
x Di
Di1
Di2
Bi
Para cada i, seja Bi := Di \ IntDi1 . Ento cada Bi um subconjunto fechado, pois a interseco de Di com
Rn \ IntDi1 . Como obviamente eles so limitados, temos que Bi compacto. Note ainda que Bi Di2 = 0, / j
que Di2 IntDi1 .
Para cada x Bi , escolhemos um cubo fechado Cx , centrado em x, contido em A e disjunto de Di2 . Alm
disso, escolha Cx pequeno de forma que esteja contido em algum elemento de A .
Como os interiores dos cubos Cx cobrem Bi , podemos escolher uma quantidade finita destes cubos cujos
interiores ainda cobrem Bi . Defina Ci a coleo finita destes cubos que cobrem Bi e
C := C1 C2 . . . .
Segue que C uma coleo enumervel de retngulos (cubos), os quais mostraremos que satisfazem as proprieda-
des que necessitamos.
Por construo, cada elemento de C est contido em um elemento de A e segue o item b).
Dado x A, seja i o menor inteiro tal que x Int Di . Ento x Di mas x 6 IntDii , e portanto x Bi . Como
os interiores dos cubos cobrem Bi , temos que x pertence a alguns desses interiores e segue o item a).
Seja x A. Ento x IntDi , para algum i. Cada cubo de Ci+2 , C1+3 , . . . disjunto de Di , por construo.
Segue que o conjunto IntDi pode interceptar somente os cubos de C1 , . . . , Ci+1 , ou seja, uma quantidade finita de
cubos.
5.1. PARTIES DA UNIDADE 87
Notemos ainda que supp pode ser caracterizado pela propriedade que se x 6 supp , ento existe uma
vizinhana de x na qual identicamente nula.
Teorema 5.1.5 Seja A uma coleo de conjuntos abertos em Rn e seja A a unio desses abertos. Existe uma
sequncia 1 , 2 , . . . de funes contnuas i : Rn R tais que:
e) cada i de classe C ;
f) para cada i, o conjunto Si compacto;
g) para cada i, o conjunto Si est inteiramente contido em um elemento de A .
Definio 5.1.6 Uma coleo de funes {i } satisfazendo as condies a)d) do Teorema 5.1.5 chamada de
partio da unidade. Se satisfaz e), dizemos que a partio da unidade de classe C . Satisfazendo f), ela dita
com suporte compacto e no caso de satisfazer g), ela dita subordinada coleo (ou dominada pela coleo)
A.
Demonstrao do Teorema 5.1.5 Dada a coleo A , seja Q1 , Q2 , . . . a sequncia de retngulos dada pelo Lema
5.1.2. Para cada i, seja i : Rn R uma funo de classe C que estritamente positiva em Int Qi e zero caso
contrrio. Assim, i (x) 0 para todo x Rn . Alm disso, observe que supp i = Qi , o qual um subconjunto
compacto de A que est contido em um elemento de A . Finalmente, cada x A possui uma vizinhana que inter-
cepta somente uma quantidade finita de conjuntos Qi . Segue que a sequncia {i } satisfaz todas as propriedades
listadas no teorema exceto d).
Pela condio c), para cada x A, a srie
(x) := i (x)
i=1
converge, j que somente uma quantidade finita de parcelas no-nula. Por este mesmo motivo, para cada x,
soma finita de funes de classe C , e portanto de classe C . Finalmente, (x) > 0 para todo x A j que cada
x pertence ao interior de um retngulo Qi , onde i (x) > 0. Definamos ento
i (x)
i (x) := .
(x)
A sequncia {i } satisfaz todas as propriedades listadas no teorema.
Queremos explorar a conexo entre parties da unidade e integrais estendidas. Necessitamos ainda de outro
lema tcnico.
Lema 5.1.7 Seja A Rn um aberto e f : A R uma funo contnua. Se f se anula fora de um conjunto de
subconjunto compacto C A, ento f integrvel em A e em C e
Z Z
f= f.
A C
88 CAPTULO 5. O TEOREMA DE MUDANA DE VARIVEIS
Demonstrao. A funo contnua f se anulando fora de C e sendo contnua em A, temos que fC ser contnua e
limitada em Rn , e portanto ser integrvel em qualqyer retngulo contendo C, ou seja, f integrvel em C.
Seja {Ci } uma sequncia de compactos retificveis cuja unio A e tais que Ci IntCi+1 para cada i. Segue
que C pode ser coberto por uma quantidade finita de conjuntos IntCi , e portanto apenas por um destes conjuntos,
digamos IntCM . Como f se anula fora de C, temos que
Z Z Z
f= f= f,
C CM CN
Teorema 5.1.8 Seja A Rn um aberto e f : A R uma funo contnua. Seja {i } uma partio da unidade em
A possuindo suporte compacto. Ento f integrvel em A se, e somente se, a srie
Z
A
i | f |
i=1
Como D qualquer subconjunto compacto retificvel de A, tomando o sup para termos a definio de integral
estendida obtemos que
Z Z
f i f .
A i=1 A
5.2. PROPRIEDADES DE DIFEOMORFISMOS EM RN 89
Agora suponhamos que f seja integrvel em A. Notemos que f (x) i=1 i (x) f (x) para todo x A. Segue
que, dado um inteiro no-negativo N, por comparao e linearidade da integral,
N Z Z N Z
A
i f =
A
i f
A
f.
i=1 i=1
converge. Mas, pelo Teorema 4.7.4, f integrvel em A se, e somente se, | f | integrvel em A, o que demonstra
uma parte do resultado.
Por outro lado, se f integrvel em A, pela prpria definio e pelo Passo 1 temos que
Z Z Z Z Z Z
f= f+ f = i f+ i f = i f ,
A A A i=1 A i=1 A i=1 A
onde na ltima igualdade usamos que uma srie convergente pode ser adicionada termo a termo. Isto finaliza a
demonstrao do Teorema.
Q = [a1 , b1 ] . . .[an , bn ]
em Rn , ento Q pode ser coberto por uma quantidade finita de cubos, cada um tendo largura menor que , e com
soma total dos volumes menor que 2v(Q). Isto ser suficiente pois, se S possui medida nula em Rn , ento cobrimos
S com retngulos que possuem soma total dos volumes menor que /2.
Vamos supor ainda que, para cada i = 1, . . . , n, temos ai > 0. Caso contrrio, basta transladarmos o retngulo
Q por Q + p, onde p Rn um ponto escolhido idealmente.
Seja > 0 tal que o retngulo
Q := [a1 , b1 + ] . . . [an , bn + ]
90 CAPTULO 5. O TEOREMA DE MUDANA DE VARIVEIS
Segue que
Agora finalmente demonstraremos o lema. Suponha ento que E Rn S possua medida nula em Rn . Seja
{Ck } uma sequncia de compactos de A com Ck IntCk+1 para cada k e A = k=1 Ck . Definamos Ek := Ck E.
Lembremos que suficiente demonstrar que cada g(Ek ) possui medida nula em Rn , j que estes conjuntos cobrem
g(E).
Como Ck IntCk+1 e Ck compacto, escolhemos > 0 tal que a -vizinhana de Ck (na mtrica do sup),
est contida em IntCk+1 . Sejam M tal que
Podemos ainda cobrir Ek com uma quantidade enumervel de cubos fechados, cada uma deles com largura menor
que e com soma total dos volumes menor que = .
(nM)n
5.2. PROPRIEDADES DE DIFEOMORFISMOS EM RN 91
Seja {Di } a sequncia de tais cubos. Como a largura da cada Di menor que , temos que Di Ck+1 . Segue
que |Dg(x)| M para todo x Di , de forma que g(Di ) est contido em um cubo Di com largura dada por (nm)L,
onde L a largura de Di . Note ainda que o cubo Di possui volume dado por
v(Di ) = (nM)n (L)n = (nM)n v(Di ).
Assim,
v(Di ) = (nM)n = .
i=1
Como a sequncia {Di } cobre g(Ek ), o resultado segue.
Demonstrao. Seja U A um aberto. Como g im difeomorfismo, temos que g(U) aberto de B. Assim,
g(IntD) aberto de B e est contido em g(D) = E, isto ,
e por simetria
g1 (Int E) IntD. (5.2)
Combinando (5.1) e (5.2) obtemos que g(IntD) = Int E.
Por outro lado, g((ExtD) A) um subconjunto aberto de B. Pela injetividade de g, g((Ext D) A) g(D) =
0.
/ E como g(D) = E,
g((ExtD) A) Ext E. (5.3)
Mostremos que (5.3) implica em
E g( D). (5.4)
De fato, seja y E. Sendo E compacto, temos E fechado. Logo y E e, em particular, y B. Seja x A tal
que g(x) = y. Notemos que x 6 IntD por (5.1) e x 6 Ext D por (5.3). Segue que x D e assim y g( D).
Por simetria,
D g1 ( E). (5.5)
Por (5.4) e (5.5) temos g( D) = E. Isto conclui a demonstrao do item a).
Para verificarmos o item b) lembremos que, se D retificvel, ento a medida de D nula em Rn . Mas da
o Lema 5.2.1 implica que g( D) = E tambm possui medida nula em Rn , ou seja, E retificvel.
Nosso prximo resultado nos diz que um difeomorfismo pode, localmente, ser decomposto como produto de
difeomorfismos de certos tipos especiais. Este resultado tcino de certa forma generaliza um resultado de lgebra
Linear que afirma que toda matriz no-singular produto de matrizes elementares.
Demonstrao. O teorema ser demonstrado para casos particulares inicialmente e assim dividiremos a prova em
4 passos.
Passo 1. Seja T : Rn Rn uma transformao linear inversvel, isto , T (x) = Cx, onde C uma matriz no-
singular. Mostremos que T se fatora como produto de transformaes lineares inversveis e primitivas.
Sabemos que cada matriz no-singular decomposta como produto de matrizes elementares. Tais matrizes
so obtidas da matriz identidade atravs de 3 operaes fundamentais:
2- trocar a i-sima linha (coluna) pela i-sima linha (coluna) somada com j-sima linha (coluna) multiplicada
por um escalar;
Notemos que as matrizes elementares obtidas da matriz identidade pelas operaes 2- e 3- do origem a
transformaes lineares primitivas. Vamos verificar que a operao 1- pode ser obtida como composio das
operaes 2- e 3-. Assim, matrizes elementares obtidas da identidade pela operao 1- do origem a tranformaes
lineares que so escritas como produto de transformaes lineares primitivas. Este resultado segue observando a
seguinte tabela:
linha i linha j
estado inicial A B
troque linha i por linha i linha j AB B
troque linha j por linha j + linha i AB A
troque linha i por linha i linha j B A
multiplique linha i por 1 B A
Passo 2. Vamos supor agora que o difeomorfismo uma translao. Assim, seja t : Rn Rn dada por t(x) = x + c,
onde c Rn um ponto fixado. Ento t = t1 t2 , onde
e obviamente t1 e t2 so primitivos.
Como as primeiras n 1 linha de Dh(x) so iguais s primeiras n 1 linhas de Dg(x), temos que Dh(0) = In . Segue
do Teorema da Funo Inversa que h um difeomorfismo de uma vizinhana V0 de 0 com um aberto V1 Rn .
Seja k : V1 Rn dada por
k(y) = (y1 , . . . , yn1 , gn (h1 (y))).
Notemos que k(0) = (0, . . . , 0, gn (0)) = 0. Alm disso,
In1 0
Dh(y) = .
D(gn h1 )(y)
Notemos ainda que
D(gn h1)(0) = Dgn (h1 (0)) Dh1 (0)
= Dgn (0) (Dh(0))1
= (0 ... 0 1).
Segue que Dk(0) = In e k um difeomorfismo de uma vizinhaa W1 de 0 em um aberto W2 de Rn .
Seja W0 = h1 (W1 ). Temos ento a seguinte sequncia de difeomorfismos:
h k
W0 W1 W2 .
Obviamente h e k so difeomorfismos primitivos. Resta-nos mostrar que k h = gW : Se x W0 , ento:
0
Passo 4. Consideremos agora o caso geral enunciado no teorema. Dado g : A B e fixado x0 A, seja C = Dg(x0 ).
Definamos as translaes t1 ,t2 , T : Rn Rn por
t1 (x) = x + x0, t2 (x) = x g(x0) e T (x) = C1 x.
Seja g := T t2 g t1 . Ento g um difeomorsfimo do conjunto aberto t11 (A) Rn no aberto T (t2 (B)) Rn .
Alm disso, pela regra da cadeia:
g(0) = 0 e Dg(0) = In .
O resultado segue escrevendo g = t21 T 1 g t11 e aplicando os passos 1, 2 e 3 aos difeomorfismos do lado
direito.
Teorema 5.3.1 Sejam g : [c, d] R uma funo de classe C1 e f : g([c, d]) R contnua. Definamos
Z x
F(x) := f (t)dt, x g([c, d]).
g(c)
Demonstrao. Como g e f g so contnuas no compacto [c, d], temos que a integral em questo existe. Defina-
mos ento Z x
G(x) := f (g(t))g (t)dt.
c
Queremos concluir que G(x) = F(g(x)). Notemos pelo Teorema Fundamental do Clculo que
interessante observar que a maioria dos livros demonstram o Teorema 5.3.1 no caso em que g (x) 6= 0 em
[c, d], o que no necessrio. Uma demonstrao ainda mais geral pode ser encontrada em [?], a qual no requer
nem mesmo a continuidade de f e de g .
Consideremos por um momento o caso especial do Teorema 5.3.1 em que g no se anula em J = [c, d].
Com isso, g estritamente crescente ou estritamente decrescente em J. Suponha que g (x) > 0 em J. Segue que
g(c) < g(d) e assim g(J) = [g(c), g(d)] pelo Teorema do Valor Intermedirio. A frmula de mudana de varveis
pode ento ser escrita como Z Z
f (x)dx = f (g(t))g (t)dt. (5.6)
g(J) J
Por outro lado, se g (x) < 0 em J, teremos g(c) > g(d) e assim g(J) = [g(d), g(c)]. Com isso podemos escrever
Z Z
f (x)dx = f (g(t))g (t)dt. (5.7)
g(J) J
Esta ltima frmula interessantes pois ela est no estilo em que enunciaremos a foma geral do Teorema de
Mudana de Variveis, o qual apresentamos loga a seguir.
Notemos que o Teorema 5.3.2, mesmo quando n = 1, mais geral que o Teorema 5.3.1, j que agora estamos
incluindo o caso de integrais imprprias.
( f1 g)| detDg| e ( f2 h)| det Dh| so integrveis em U e em V respectivamente ainda vale a frmula sugerida.
Com estas hipteses, ento o resultado vale para h g.
Passamos demonstrao do Passo 1. Dada f : W R contnua e integrvel, segue por hiptese que
Z Z Z
f= ( f h)| detDh| = ( f h) g| detDh| g| detDg|, (5.8)
W V U
onde usamos f2 = f e f1 = ( f h)| detDh|, que so contnuas e integrveis. Por outro lado, usando a Regra da
Cadeia obtemos que
D(h g)(x) = Dh(g(x)) Dg(x), para qualquer x U,
e pelas propriedade da funo determinante segue que
detD(h g)(x) = det(Dh(g(x))) det(Dg(x)). (5.9)
Substituindo (5.9) em (5.8) obtemos
Z Z
f= f (h g)| detD(h g)|,
W U
Passo 2. Suponhamos que cada x A possua uma vizinhana U A tal que o resultado vale para o difeomorfismo
g : U V , onde V = g(U), e para toda funo contnua f : V R que possui suporte compacto contido em V .
Ento mostraremos que o resultadoo vale para g : A B e toda funo contnua f : B R (estamos usando um
abuso de notao e denotando tambm por g a restrio gU ).
Nesta parte da demonstrao usaremos partio da unidade. Inicialmente, cobrimos A com uma coleo de
abertos U Rn tais que, se V = g(U ), ento o resultado vale para o difeomorfismo g : U V e toda funo
contnua f : V R tal que supp f V .1 Notemos que B coberto pelos abertos V . Escolhemos uma partio
da unidade {i } em B com suporte compacto dominada pela coleo {V }. Pelo Exerccio 107 a coleo {i g}
uma partio da unidade em A com suporte compacto dominada por {U }.
Seja f : B R contnua e integrvel em B. Pelo Teorema 5.1.8 temos que
Z Z
f = i f .
B i=1 B
Dado i, escolhemos tal que supp i V . A funo i f contnua em B e se anula fora do compacto supp i .
Pelo Lema 5.1.7 Z Z Z
i f = i f = i f .
B supp i V
A hiptese neste passo implica que
Z Z
i f = (i g)( f g)| detDg|.
V U
Usando novamente o Lema 5.1.7 e o fato que i g se anula fora do compacto supp i g obtemos
Z Z
i f = (i g)( f g)| detDg|.
B A
Como | f | integrvel em B, a igualdade (5.10) vale com | f | no lugar de f . Como i g uma partio da unidade
em A, temos pelo Teorema 5.1.8 que ( f g)| det Dg| integrvel em A. Da aplicamos (5.10) f para conluirmos
que Z Z
f= ( f g)| detDg|.
B A
1
A notao supp f V siginifica que supp f um compacto contido no aberto V .
96 CAPTULO 5. O TEOREMA DE MUDANA DE VARIVEIS
Passo 4. Para n > 1, mostremos que se o resultado vale para um difeomorfismo primitivo h : U V , com U,V Rn
abertos, ento ele vale para um difeomorfismo qualquer g : A B.
De fato, se g : A B um difeomorfismo qualquer, ento fixamos x A e uma vizinhana U0 de x na qual
gU se escreve como composio de difemorfismos primitivos como no Teorema 5.2.4. Supondo que o resultado
0
vale para cada um desses difeomorfismos, ento o Passo 1 implica que ele vale para gU . Mas a o Passo 2 implica
0
que o resultado vale para g, j que x A arbitrrio.
Passo 5. Agora mostramos que se o resultado vale em dimenso n 1, ento ele vale para n. Mas pelo Passo 4,
basta demonstrarmos este fato para um difeomorfismo primitivo h : U V , U,V Rn abertos. Podemos assumir,
sem perda de generalidade, que h preserva a ltima coordenada.
Seja x0 U e y0 = h(x0 ). Tomemos um retngulo Q contido em V cujo interior contm y0 e definamos
S := h1 (Q). Segue que h : IntS Int Q tambm um difeomorfismo. Como x0 arbitrrio, basta demonstrarmos
pelo Passo 2 que o resultado vale para h : Int S IntQ e para qualquer funo contnua f : IntQ R cujo suporte
um subconjunto compacto de IntQ.
Como a funo ( f h)| detDh| se anula fora de um compacto de IntS, precisamos demonstrar que
Z Z
f= ( f h)| detDh|.
Int Q Int S
Estendemos f em todo Rn definindo-a como sendo 0 fora de IntQ. Defina ainda F : Rn R como sendo a
extenso de ( f h)| detDh| como sendo 0 fora de IntS. Ambas, f e F so contnuas e desejamos demonstrar que
Z Z
f= F.
Q S
Mas usando o Teorema de Fubini (Teorema 4.4.1), esta ltima igualdade entre integrais equivalente seguinte:
Z Z Z Z
f (y,t) = F(y,t).
tI yD tI xE
V
U h
S Ut {t} Vt {t} Q
k
e pelas propriedades de determinates temos que det Dh = det . Assim, para t fixado, k(x,t) no-singular. Alm
x
1
disso, ela aplica Ut em Vt bijetivamente e de classe C . O Teorema da Funo Inversa implica que k(,t) um
difeomorfismo de abertos de Rn1 .
Aplicando a hiptese de induo temos que, para t fixado:
Z Z
k
f (y,t) = f (k(x,t),t) det
yVt xVt x
Z
= f (h(x,t))| det Dh|
xVt
Z
= F(x,t).
xVt
Para cada inteiro m 0, defina 2m+1 (x) = f (x m ) e, para cada inteiro m 1, defina 2m (x) = f (x + m ).
Mostre que {i } uma partio da unidade em R.
est bem definida e de classe Cr em Rn . Utilize isto para provar o seguinte resultado: se f : S R de classe
Cr em cada ponto x S, ento f pode ser estendida uma funo de classe h : A R de classe Cr , definida em
um subconjunto aberto A Rn que contm S.
Sugesto: cubra S por vizinhanas apropriadas e seja A a unio dessas vizinhanas. Tome uma partio da
unidade subordinada a esta cobertura.
Exerccio 109 Mostre que se f : R R2 de classe C1 , ento f no pode ser sobrejetora. De fato, mostre que
f (R) no contm subconjunto aberto de R2 .
Exerccio 110 Demonstre uma generalizao do Teorema 5.2.4 no qual a afirmao cada hi primitivo trocada
por cada hi preserva todas a menos de uma coordenada.
Sugesto: suponha x0 = 0, g(x0 ) = 0 e Dg(0) = In . Ento g pode ser fatorada como g = k h, onde
e k preserva todas a menos da i-sima coordenada e, alm disso, h(0) = k(0) = 0 e Dh(0) = Dk(0) = In .
Exerccio 111 Seja A Rn um aberto e g : A Rn uma funo localmente Lipschitz. Mostre que se E A possui
medida nula em Rn , ento g(E) tambm possui medida nula em Rn .
a) Mostre que o item a) do Teorema 5.2.2 vale somente sob a hiptese de que g e g1 so contnuas.
b) Mostre que o item b) do Teorema 5.2.2 vale somente sob a hiptese de que g localmente Lipschitz e g1
contnua.
Exerccio 113 Refaa com detalhes os exemplos 1, 2, 3, 4 e 5 da Seo 17 e o exemplo 1 da Seo 19 da referncia
[10].
Exerccio 115 Seja k : Rn R a funo projeo dada por k (x) = xk . Seja S Rn um conjunto retificvel
com volume no-nulo. O centride de S definido como sendo o ponto c(S) Rn cuja k-sima coordenada, para
cada k, dada por Z
1
ck (S) := k .
v(S) s
Dizemos que um conjuntos S Rn , retificvel simtrico com relao ao subespao xk = 0 de Rn se a
transformao
h(x) = (x1 , . . . , xk1 , xk , xk+1 , . . . , xn )
aplica S em si mesmo. Mostre neste caso que ck (S) = 0.
Exerccio 116 Seja A Rn1 um aberto retificvel. Dado um ponto P Rn com Pn > 0, seja S Rn o subconjunto
definido por
S := {x | x = (1 t)Q + tP onde Q A {0} e 0 < t < 1}.
O conjunto S chamado de cone com base A {0} e vrtice P.
a) Mostre que
v(Bnr ) = n rn ,
onde n = v(Bn1 ).
b) Encontre 1 e 2 .
c) Supondo n 3, obtenha a frmula:
Z 2 Z 1
2
n = n2 (1 r2)n/21 rdrd = n2
0 0 n
d) Deduzir que
n/2
n = ,
(1 + n/2)
onde Z
(y) = ex xy1 dx.
0
Formas diferenciais
Neste captulo introduziremos o conceito de formas diferenciais, as quais sero utilizadas para tratarmos de uma
verso generalizada do Teorema de Stokes em Rn . Este caso geral que trataremos necessita de conceitos mais po-
derosos que aqueles provindos da lgebra Linear e do Clculo de Vrias Variveis. De uma certa maneira, estamos
interessados em estudar aproximaes multi-lineares de objetos suaves, generalizando o conceito de aproximao
linear desenvolvido em Clculo. Necessitaremos assim desenvolver ferramentas provindas da lgebra Multilinear.
Nas prximas primeiras sees deste captulo desenvolveremos conceitos puramente algbricos.
As formas diferenciais desempenham um papel importante no estudo de variedades diferenciveis. Primeira-
mente, objetos clssicos como gradiente, divergente, rotacional e os resultados envolvendo tais operadores podem
ser escritos de maneira concisa em termos de formas diferenciais. A consequncia desse fato que podemos de-
senvolver uma teoria de integrao em variedades que, de certa forma, independe do sistema de coordenadas. Um
outro ponto importante que as formas diferenciais nos permitem construir os grupos de de Rham, relacionando a
topologia da variedade com sua estrutura analtica.
linear.
Dizemos que f : V k R multilinear (ou k-linear) se ela linear na i-sima coordenada para cada i =
1, . . . , k.
Podemos citar dois exemplos simples: para k = 1, L 1 (V ) = V , o dual de V ; para k = 2, temos que L 2 (V )
o conjunto de todas as aplicaes bilineares de V .
Sendo um k-tensor uma funo multilinear que associa a cada k-upla de vetores em V um nmero real, dois
k-tensors podem ser somados e multiplicados por escalares (elementos de R). Com a definio natural de soma
pontual e multiplicao por escalares temos que L k (V ) um espao vetorial. Deixemos este fato documentado
em forma de teorema.
101
102 CAPTULO 6. FORMAS DIFERENCIAIS
Teorema 6.1.2 O conjunto de todos os k-tensores em V constitui um espao vetorial sobre R se definirmos a soma
de k-tensores e produto por um escalar respectivamente por
( f + g)(v1 , . . . , vk ) = f (v1 , . . . , vk ) + g(v1, . . . , vk ) e ( f )(v1 , . . . , vk ) = f (v1 , . . . , vk ).
Como no caso de transformaes lineares, um tensor fica completamente determinado pelo seu valor nos
elementos da base do espao vetorial em questo.
Dado um conjunto {1, 2, . . . , n}, uma k-lista de inteiros deste conjunto uma k-upla I = (i1 , . . . , ik ), onde
i1 , . . . , ik so elementos de {1, 2, . . . , n}.
Lema 6.1.3 Seja {e1 , . . . , en } uma base do espao vetorial (de dimenso finita) V . Se f , g : V k R so dois
k-tensores em V que satisfazem
f (ei1 , . . . , eik ) = g(ei1 , . . . , eik )
para toda k-lista I = (i1 , . . . , ik ) de inteiros do conjunto {1, . . . , n}, ento f = g.
Demonstrao. Seja (v1 , . . . , vk ) V k . Expressamos cada vi como soma dos elementos da base de V da forma:
n
vi = i j e j .
j=1
= g(v1 , . . . , vk ).
Teorema 6.1.4 Sejam V um espao vetorial com base {e1 , . . . , en } e fixemos uma k-lista I = (i1 , . . . , ik ) de inteiros
do conjunto {1, . . . , n}. Dada uma outra k-lista J = ( j1 , . . . , jk ) de inteiros de {1, . . . , n}, existe um nico k-tensor
I em V que satisfaz:
0 se I 6= J,
I (e j1 , . . . , e jk ) =
1 se I = J.
Os tensores da forma I , quando I percorre todas as k-listas de inteiros de {1, . . . , n}, forma uma base de L k (V )
e so chamados de k-tensores elementares. Em particular, dim L k (V ) = nk .
Demonstrao. Consideremos inicialmente o caso k = 1. Como sabemos da lgebra Linear, podemos determinar
um funcional linear i : V R apenas especificando seu valor nos elementos de uma base de V . Definamos ento
0 se i 6= j,
i (e j ) =
1 se i = j.
Estes 1-tensores possuem todas as propriedades desejadas.
No caso k > 1, definimos I por
I (v1 , . . . , vk ) := i1 (v1 )12 (v2 ) . . . 1k (vk ).
imediato verificar que I multilinear e satisfaz as propriedades desejadas. Verifiquemos que os k-tensores I
formam uma base de L k (V ) quando I percorre todas as k-listas de inteiros {1, . . . , n}. Seja f L k (V ). Para cada
I = (i1 , . . . , ik ) defina o escalar dI por
dI := f (ei1 , . . . , eik ).
6.1. TENSORES E PRODUTOS TENSORIAIS 103
Vamos mostrar que f se escreve como combinao linear dos k-tensores I e que os coeficientes escalares dessa
combinao so justamante dI . De fato, seja
g := dJ J ,
J
onde a soma se estende sob todas as k-listas de elementos de {1, . . . , n}. Ento
Exemplo 6.1.5 Seja V = Rn e {e1 , . . . , en } sua base cannica. Ento uma base de L 1 (V ) dada por {1 , . . . , n },
onde cada i est definida em v = x1 e1 + . . . + xnen por
i (v) = xi .
onde
v j = x1 j e1 + . . . + xn j en .
Logo, uma base de L k (V ) pode ser dada pelos monmios nas componentes do vetor v na base {e1 , . . . , en }.
Em particular, se f : V R um 1-tensor, ento f da forma
Vamos agora introduzir uma operao que podemos efetuar entre tensores em V de ordens diferentes.
No difcil verificar que f g realmente multilinear. Ser deixado tambm como exerccio a demonstrao
do prximo resultado, que lista algumas propriedades do produto tensorial.
1) f (g h) = ( f g) h;
2) ( f ) g = ( f g) = f ( g), para qualquer R;
3) se f e g possuem a mesma ordem, ento
( f + g) h = f h + g h,
(6.1)
h ( f + g) = h f + h g;
104 CAPTULO 6. FORMAS DIFERENCIAIS
I = i1 . . . ik ,
onde I = (i1 , . . . , ik ).
Definio 6.1.8 Seja T : V W uma transformao linear entre os espaos vetoriais V e W . A transformao
dual de T a aplicao
T : L k (W ) L k (V )
definida como segue: se f L k (W ) e se v1 , . . . , vk so vetores de V , ento
1) T linear;
2) T ( f g) = T f T g;
Se denomina transposio uma permutao Sk para a qual existem dois inteiros distintos i e j tais que
(i) = j, ( j) = i e (l) = l se l 6= i, l 6= j.
Assim, uma trasposio permuta dois inteiros distintos e deixa os demais fixados. Note que neste caso 2 a
identidade. Uma transposio elementar uma transposio que permuta somente dois nmeros consecutivos e
deixa os demais fixados. possvel provar o seguinte fato:
Fato 1: toda permutao Sk se escreve como produto de transposies elementares.
6.2. TENSORES ALTERNADOS 105
Uma outra informao importante que, qualquer que seja a maneira que escrevemos uma permutao
como produto de transposies elementares, a quantidade destes fatores nunca muda. Assim, podemos definir
a funo sinal de uma permutao sgn : Sk {1, 1} por sgn( ) = 1 se se escreve como produto de um
nmero par de transposies elementares e sgn( ) = 1 se se escreve como produto de um nmero mpar de
transposies elementares. Sendo assim, temos o seguinte:
Fato 2: a aplicao sgn : Sk {1, 1} define um homomorfismo do grupo multiplicativo Sk no grupo multiplica-
tivo com dois elementos {1, 1}; alm disso, se uma transposio, ento sgn( ) = 1.
Consideremos agora dois conjuntos quaisquer E e F e uma aplicao f : E k F. Para Sk , definimos
f : E k F pela equao
( f )(v1 , . . . , vk ) := f (v (1) , . . . , v (k) ).
Assim, f se deduz de f mediante uma permutao das variveis. Observemos que se a identidade, ento
f = f . Ademais, se , Sk , ento
( ) f = ( f ).
De fato, seja f = g. Temos por um lado que
O que acabamos de verificar nos diz, em outras palavras, que o grupo Sk opera esquerda no conjunto das
funes de E k em F.
Vamos introduzir agora o importante subespao A k (V ) de L k (V ).
Definio 6.2.1 Seja V um espao vetorial (sobre R). Um k-tensor f L k (V ) chamado alternado se tivermos
que f (v1 , . . . , vk ) = 0 sempre que vi = vi+1 para pelo menos um ndice i, 1 i < k. Convencionaremos que, quando
k = 1, todo 1-tensor f L 1 (V ) alternado. Denotaremos o conjunto dos k-tensores alternados em V por A k (V ).
Proposio 6.2.2 Seja f L k (V ). Ento f um k-tensor alternado se, e somente se, para qualquer permutao
Sk , tem-se que
f (v (1) , . . . , v (k) ) = sgn( ) f (v1 , . . . , vk ). (6.2)
Se f um k-tensor alternado e se existirem dois ndices distintos i e j tais que vi = v j , ento f (v1 , . . . , vk ) = 0.
Agora notemos que, se , Sk , ento ( ) f = ( f ) e que sgn( ) = sgn( ) sgn( ). Segue que se a
igualadade (6.2) vale para e para , ento vale para = . Como qualquer permutao produto de um
nmero finito de transposies elementares, para as quais vale a relao (6.2), temos que esta igualdade vale para
qualquer Sk .
Reciprocamente, suponhamos que f L k (V ) satisfaa (6.2) para qualquer permutao Sk . Em particu-
lar, quando uma transposio elementar que permuta dois ndices consecutivos quaisquer i e i + 1, ento
f (v1 , . . . , vk ) = f (v1 , . . . , vk ),
ou seja, f (v1 , . . . , vk ) = 0.
Vamos agora encontrar uma base para este espao vetorial. Observemos que, se k = 1, ento nada temos a
fazer j que A 1 (V ) = L 1 (V ) = V . Alm disso, no caso em que k > n = dimV , devemos ter A k (V ) o espao
trivial. De fato, qualquer k-tensor f fica unicamente determinado pelo seus valore nas k-uplas de elementos da base
de V ; mas quando k > n, necessariamente um elemento da base dever se repetir na k-upla; da se f for alternado,
ele deve se anular em toda k-upla de elementos da base de V pela Proposio 6.2.2. Falta ento analisar o caso em
que 1 < k n.
Dado um conjunto {1, 2, . . . , n}, uma k-lista ascendente I = (i1 , . . . , ik ) deste conjunto uma k-lista que
satisfaz
i1 < i2 < . . . < ik .
Demonstrao. Pelo Lema 6.1.3 suficiente mostrar que f e g possuem o mesmo valor em uma k-upla arbitrria
(e j1 , . . . , e jk ) de elementos da base de V . Seja J = ( j1 , . . . , jk ). Caso um dos elementos jq e j p sejam iguais, ento
tanto f quanto g sero zero nesta k-upla. Suponha ento que a k-lista J seja formada por elementos distintos. Seja
Sk tal que a k-lista I = ( j (1) , . . . , j (k) ) seja ascendente. Ento
g(e j (1) , . . . , e j (k) ) = f (e j (1) , . . . , e j (k) ).
Mas
f (e j (1) , . . . , e j (k) ) = f (e j1 , . . . , e jk ) = sgn( ) f (e j1 , . . . , e jk ).
Uma similar igualdade vale para g.
Teorema 6.2.4 Sejam V um espao vetorial com base {e1 , . . . , en } e fixemos uma k-lista ascendente I = (i1 , . . . , ik )
de inteiros do conjunto {1, . . . , n}. Dada uma outra k-lista ascendente J = ( j1 , . . . , jk ) de inteiros de {1, . . ., n},
existe um nico k-tensor alternado I em V que satisfaz:
0 se I 6= J,
I (e j1 , . . . , e jk ) =
1 se I = J.
6.2. TENSORES ALTERNADOS 107
Os tensores da forma I , quando I percorre todas as k-listas ascendentes de inteiros de {1, . . . , n}, formam uma
base de A k (V ) e so chamados de k-tensores alternados elementares. Tais tensores satisfazem a frmula
I = sgn( ) I .
Sk
Demonstrao. Mostremos que I dado pela frmula do teorema um k-tensor alternado. Se Sk , temos
I = sgn( ) ( I )
Sk
= sgn( )( )I
Sk
= (sgn( )) sgn( )( )I
Sk
= sgn( )I ,
Finalizaremos esta seo estabelecendo uma relao entre os tensores alternados em V = Rn e o determinante
de uma matriz.
Teorema 6.2.5 Seja I um k-tensor alternado elementar em Rn correspondente base cannica de Rn , onde
I = (i1 , . . . , ik ) uma k-upla ascendente de inteiros de {1, 2, . . . , n}. Dada uma k-upla de vetores v1 , . . . , vk em Rn ,
que podem ser escritos na forma
vi = (x1i , . . . , xni ), i = 1, . . . , k,
consideramos a matriz n k
x11 ... x1k
.. .. ..
X = . . .
xn1 ... xnk
Ento
I (v1 , . . . , vk ) = det XI ,
onde XI a matriz cujas linhas so sucessivamente as linhas i1 , . . . , ik de X.
u = (x1 , x2 , x3 , x4 ),
v = (y1 , y2 , y3 , y4 ),
w = (z1 , z2 , z3 , z4 ).
108 CAPTULO 6. FORMAS DIFERENCIAIS
Ento
xi yi zi
i jk (u, v, w) = det x j yj zj ,
xk yk zk
onde (i, j, k) = (1, 2, 3) ou (i, j, k) = (1, 2, 4) ou (i, j, k) = (1, 3, 4) ou (i, j, k) = (2, 3, 4).
h = sgn( ) h. (6.4)
Sk,l
Aqui, Sk,l denota o subconjunto de Sk+l formado pelas permutaes que so embaralhamentos simples, isto ,
tais que
(1) < . . . < (k) e (k + 1) < . . . < (k + l). (6.5)
Intuitivamente uma permutao Sk,l obtida da seguinte forma: considere dois maos de cartas de um baralho,
o primeiro com k cartas e o segundo com l cartas; enumere as cartas do primeiro mao de 1 at k e do segundo
mao de k + 1 at k + l; se embaralharmos estes dois maos uma nica vez deslizando o segundo mao sobre o
primeiro, as cartas se encontraro em uma ordem tal que a relao de ordem induzida sobre cada um dos maos
iniciais continua a mesma. Assim a ao de embaralhar definiu uma permutao que satisfaz (6.5). Observe
ainda que o nmero das permutaes Sk+l que satisfazem (6.5)
(k + l)!
.
k!l!
Devemos efetivamente mostrar que h definida em (6.4) um k + l-tensor alternado. Suponhamos que
v1 , . . . , vk+l seja uma k + l-upla de vetores em V tais que dois vetores consecutivos sejam iguais, isto , vi = vi+1
para algum 1 i < k + l. Queremos provar que
considere as permutaes Sk,l tais que 1 (i) e 1 (i + 1) so ambas menores ou iguais a k ou ambas
maiores ou iguais a k + 1. No primeiro caso, temos que vi e vi+1 figuram ambos entre os primeiros k lugares
na parcela sgn( )h(v (1) , . . . , v (k+l) ); logo, tal parcela se anula sendo h alternada nas k-primeiras variveis.
No segundo caso a parcela tambm nula por uma razo anloga.
6.3. PRODUTO EXTERIOR 109
considere agora as permutaes Sk,l tais que 1 (i) k e 1 (i + 1) k + 1 e as Sk,l tais que
1 (i) k + 1 e 1 (i + 1) k. Seja a transposio elementar que permuta i e i + 1. Se est na
primeira subcategoria, ento est na segunda e reciprocamente. Assim, podmeos agrupar em dois a dois
os termos restantes da definio de h. Por exemplo, para cada tal que 1 (i) k e 1 (i + 1) k + 1,
tomaremos
sgn( )h(v (1) , . . . , v (k+l) ) sgn( )h(v (1) , . . . , v (k+l) ),
e observamos que esta expresso nula, pois a sequncia (1), . . . , (k + l) obtida de (1), . . . , (k + l)
trocando-se i e i + 1. Como vi = vi+1 , nada se altera ao calcularmos h nas respectivas k-uplas de vetores.
Segue que a aplicao k,l : A k,l (V ) A k+l (V ) est bem definida. Podemos ento definir o produto que
nos interessa.
Definio 6.3.1 Dadas f A k (V ) e g A l (V ), o produto exterior de f com g definido como sendo o elemento
k,l (h) e denotado por f g. Em outras palavras,
f g(v1 , . . . , vk+l ) = sgn( ) f (v (1) , . . . , v (k) )g(v (k+1) , . . . , v (k+l) ).
Sk,l
Nosso prximo passo ser demonstrar que o produto exterior de tensores alternados associativo. Entretanto,
necessitamos ainda de um lema preliminar.
Dados k, l, m trs nmeros inteiros, denotaremos por A k,l,m (V ) o subespao de L k+l+m (V ) formado pelas
aplicaes que so alternadas com relao s k primeiras varveis, alternadas com relao s l seguintes variveis
e alternadas com relao s m ltimas variveis.
Consideremos o seguinte diagrama:
k,l
A k,l,m (V ) / A k+l,m (V ) (6.6)
l,m k+l,m
k,l+m
A k,l+m (V ) / A k+l+m (V ).
A aplicao k,l transforma um elemento u A k,l,m (V ) em um elemento u alternado com relao s k + l primeiras
variveis (sem afetar as ltimas), a saber:
onde o somatrio percorre todas as permutaes Sk+l+m que (com um abuso de notao) tambm pertencem
Sk,l e deixam fixos os ndices k + l + 1, . . . , k + l + m. Analogamante definimos a aplicao l,m .
( f g) h = f (g h).
Sendo o produto exterior associativo, podemos considerar qualquer produto exterior finito de tensores alter-
nados f1 f2 . . . f p . No caso particular de funcionais lineares vemos que o produto exterior est intimanet
ligado com o clculo de determinantes.
Demonstrao. Basta usar a definio de produto exterior e induo em p. Alm disso, note que a expresso que
surge no segundo termo da igualdade do enunciado justamente a definio do determinante da matriz de entradas
fi (v j ).
Proposio 6.3.8 Dada uma base {e1 , . . . , en } do espao vetorial V , seja {1 , . . . , n } sua base dual. Se I =
(i1 , . . . , ik ) for uma k-lista ascendente de inteiros de {1, . . . , n} e I for o tensor alternado elementar correspon-
dente, ento
I = i1 . . . ik .
Uma forma diferencial de grau 0 nada mais que uma funo : U R. J uma forma diferencial de grau
1 uma aplicao : U L (Rn ).
Se : U A k (Rn ) uma k-forma diferencial, ento podemos escrever
(x) = aI (x)i1 . . . ik ,
I
onde cada aI : U R uma funo e I percorre o conjunto das kuplas ascendentes de {1, . . . , n}. Diremos que
de classe Cr se cada aI for de classe Cr em U. Como estamos mais interessados em k-formas diferenciais de
classe C , para simplificar chamaremos as k-formas diferenciais de classe C somente de k-forma diferenciais.
Utilizaremos a notao k (U) para denotar o conjunto das k-formas diferenciais (de classe C ) definidas no
aberto U Rn . Dado um elemento (U) e vetores 1 , . . . , k Rn , esceveremos
(x)(1 , . . . , k ) =: (x; 1 , . . . , k ).
Notemos que se k (U) e l (U) so duas formas diferenciais, ento para cada x U podemos
considerar o produto (x) (x), que um elemento de k+l (U). Em particular, o produto exterior de formas
diferenciais possui todas as propriedades do produto exterior de tensores alternados.
Seja f : U R uma funo suave e k (U) uma k-forma diferencial. Ento o produto f ser
denotado simplesmente por f , e a forma diferencial
que a soma direta dos espaos k (U) para todos os valores inteiros positivos de k. O produto exterior
uma lgebra, chamada de lgebra graduada. Notemos que esta lgebra anticomutativa e associativa.
112 CAPTULO 6. FORMAS DIFERENCIAIS
Sendo suave, cada funo aI suave e sua derivada DaI (x) : Rn R um elemento de L 1 (Rn ). Assim, a
aplicao derivada DaI : U L 1 (Rn ) uma 1-forma diferencial. Definamos : U L 1 (Rn , A k (Rn )), x 7
(x), dada por
(x)(0 ) = [DaI (x) 0 ]i1 . . . ik .
I
Notemos que (x) pode ser vista como uma funo de (Rn )k+1 em R. Alm disso, (x) uma funo mul-
tilinear de 0 , 1 , . . . , k e uma funo alternada de 1 , . . . , k . Em outras palavras, (x) A 1,k (Rn ). Utilizando a
aplicao 1,k : A 1,k (Rn ) A k+1 (Rn ) podemos definir o operador que associa a uma k + 1-forma.
1,k
U A 1,k (Rn ) A k+1 (Rn ),
Proposio 6.5.4 Seja 1 (U), com U Rn um aberto. Ento d = 0 se, e somente se, a aplicao bilinear
(1 , 2 ) 7 ( (x)(1 )) 2
d( f ) = (d f ) + f d .
Lema 6.5.6 A diferencial dxi da funo xi a aplicao constante U L 1 (Rn ) cujo valor o elemento i
L 1 (Rn ).
Com esta notao podemos escrever uma k-forma diferencial de uma maneira cannica.
Proposio 6.5.7 Sejam U Rn um aberto e k (U). Ento se escreve de uma maneira nica
onde o somatrio percorre todos as k-listas ascendentes I = (i1 , . . . , ik ) do conjunto {1, 2, . . ., n} e as funes
coeficientes aI so de classe C em U.
Assim,
n n
f f
d f (x; ) = i = dxi ( ),
i=1 xi i=1 xi
d( ) = d + (1)k d . (6.7)
Demonstrao. Como ambos os lados de (6.7) so lineares em e , suficiente demonstrar a igualdade quando
= f dxi1 . . . dxik e = gdx j1 . . . dx jl . Utilizando o Exerccio 129 vemos o seguinte:
= f gdxi1 . . . dxik dx j1 . . . dx jl .
114 CAPTULO 6. FORMAS DIFERENCIAIS
O prximo resultado fundamental no estudo das formas diferenciais e nos diz que o operador diferencial
satisfaz d 2 = 0.
d(d ) = 0.
Demonstrao. Utilizando novamente a linearidade do operador d suficiente demonstrar o fato para o caso em
que = f dxi1 . . . dxik . Calculando temos
n f
d d( f dxi1 . . . dxik ) = d dxi dxi1 . . . dxik
i=1 xi
n n
2 f
= x j xi dx j dxi dxi1 . . . dxik
i=1 j=1
2 f 2 f
= dxi dx j + dx j dxi dxi1 . . . dxik .
i< j xi x j x j xi
Aqui usamos que dxi dxi = 0. Sendo f suave, podemos usar o Teorema de Clairaut-Schwarz e o fato que
dxi dx j = dx j dxi para concluir a demonstrao.
6.5. O OPERADOR DIFERENCIAL E SUAS PROPRIEDADES 115
Definio 6.5.11 Seja U Rn um aberto. Uma k-forma diferencial chamada fechada se d = 0 e chamada
exata se existe uma (k 1)-forma diferencial tal que = d .
d d d
0 (U) 1 (U) 2 (U) . . . .,
d = dP dx + dQ dy + dR dz,
frmula esta que ainda pode ser escrita, utilizando a Proposio 6.5.8 e o Corolrio 6.3.4, como
R Q P R Q P
d = dy dz + dz dx + dx dy.
y z z x x y
d = d f dx + dg dy
f f g g
= dx + dy dx + dx + dy dy
x y x y
f g
= dy dx + dx dy
y x
f g
= dy dx.
y x
d = (1 2xy)dy dx.
1
= (ydx + xdy).
x2 + y2
Ento fechada.
P Q R
div F = div(P, Q, R) = + + .
x y z
Proposio 6.6.3 Se U = R3 , ento um campo F X(U) o gradiente de alguma funo escalar f se, e somente
se, rotF = 0.
Como toda 1-forma em U R3 uma combinao linear como funes coeficientes de dx, dy e dz, podemos
identificar 1-formas com campos vetoriais em U via
Similarmente, as 2-formas diferenciais em U R3 podem ser identificadas com campos de vetores em U da forma
f f f f f f
df = dx + dy + dz , , = f.
x y z x y z
J a diferencial de uma 1-forma
R Q P R Q P
d(Pdx + Qdy + Rdz) = dy dz + dz dx + dx dy,
y z z x x y
6.6. CONEXES COM CLCULO EM R3 117
que corresponde a
rot(P, Q, R).
Um clculo simples mostra ainda que a diferencial de uma 2-forma geral
P Q R
d(Pdy dz + Qdz dx + Rdx dy) = + + dx dy dz,
x y z
que corresponde a
P Q R
div(P, Q, R) = + + .
x y z
Assim, aps todas estas apropriadas identificaes, o operador diferencial d de 0-formas, 1-formas e 2-formas
so simplesmente os trs operadores gradiente, rotacional e divergente. Em resumo, em um subconjunto aberto
U R3 temos as identificaes
d d d
0 (U) / 1 (U) / 2 (U) / 3 (U)
=
=
=
=
rot
div
C (U) / X(U) / X(U) / C (U).
Ento rotF = (0, 0, 0) mas F no gradiente de nenhuma funo escalar em U. A razo que se F fosse o
gradiente de uma funo de classe C em U, ento pelo Teorema Fundamental para integrais de linha teramos que
a integral Z
y x
2 2
dx + 2 dy
C x +y x + y2
sobre qualquer curva fechada C deveria ser zero. Entretanto, se C o crculo unitrio com x = cost e y = sent,
0 t 2 , temos que
Z Z 2
y x
2 + y2
dx + 2 dy = sent cost + cost sentdt = 2 .
C x x + y2 0
O fato da Proposio 6.6.3 ser verdadeira ou no em um aberto U depende essencialmente de sua topologia.
Assim, se torna importante estudar o quociente
{k-formas fechadas em U}
H k (U) := ,
{k-formas exatas em U}
f g := g f .
O prximo lema nos fornece as regras computacionais para o pullback f de formas diferenciais.
a) f ( + ) = f + f ;
b) f (g ) = f g f ;
c) se 1 , . . . , k 1 (U), ento
f (1 . . . k ) = f 1 . . . f k .
finalizando a demonstrao.
Denotemos por (x1 , . . . , xm ) um ponto de Rm e por (y1 , . . . , yn ) um ponto de Rn . Ento uma aplicao f : V
Rm Rn pode ser escrita em coordenadas como
y1 = f1 (x1 , . . . , xm ), . . . , yn = fn (x1 , . . . , xm ).
Seja agora = I aI dyi1 . . . dyik uma k-forma em Rn . Com as propriedades de f que demonstramos temos
que
f = (aI f ) f dyi1 . . . f dyik .
I
Se v Rm , temos que
f dyi (x; v) = dyi (D f (x) v) = D(yi f )(x) v = D fi (x) v.
6.8. EXERCCIOS DO CAPTULO 119
Assim,
f = (aI f )d fi1 . . . d fik . (6.11)
I
Podemos utilizar as propriedades do pullback para encontrar a expresso de uma k-forma em um outro
sistema de coordenadas. Por isso alguns textos os definem como mudana de variveis.
r sen r cos
f = (cos dr r sen d ) + (sen dr + r cos d ) = d .
r2 r2
O Exerccio 136 generaliza o exemplo anterior. O prximo resultado aiinda nos fornece mais propriedades
computacionais do pullback.
Demonstrao. Os itens a) e b) ficaro para os exerccios. Para o item c) basta verificarmos o caso em que
= gdxi1 . . . dxik ,
e por outro,
d f (gdxi1 . . . dxik ) = d (g f )d(xi1 g) . . . d(xik g)
= d(g f ) d(xi1 f ) . . . d(xik f ),
f (v1 , v2 , v3 ) = 2x1 y2 z2 x2 y3 z1 ,
g = 2,1 53,1.
Exerccio 122 Sejam V e W dois espaos vetoriais com bases {e1 , . . . , en } e { f1 , . . . , fm } respectivamente e T : V
W uma transformao linear. Dado f L k (W ), encontre T f em funo dos coeficientes de f e de Tei na base
de W .
Exerccio 123 Seja {e1 , e2 } a base cannica de R2 e {1 , 2 } a base dual. Definamos f = 21 2 e conside-
remos T : R3 R2 a transformao linear dada pela matriz
1 0 2
A= .
0 1 1
Exerccio 124 Sejam V e W espaos vetorias de dimenso finita sobre R e T : V W uma transformao linear.
Mostre que se f A k (W ), ento T f A k (V ).
Exerccio 125 Sejam f1 , . . . , fn L 1 (V ), onde V um espao vetorial. Mostre que, para que estes vetores sejam
linearmente dependentes, necessrio e suficiente que f1 . . . fn = 0.
(S f )(v1 , . . . , vk ) := f (v1 , . . . , vk ).
Sk
Exerccio 127 Demonstre que qualquer 2tensor pode ser escrito como soma de um tensor simtrico com um
tensor alternado. Este fato verdadeiro para um ktensor, k 3?
Sugesto: considere e1 e2 e3 , onde {e1 , e2 , e3 } a base cannica de R3 .
(a f ) (bg) = (ab) f g.
Exerccio 130 Se t : V W for uma tranformao linear e se f e g forem tensores alternados em W , mostre que
T ( f g) = T f T g.
Exerccio 132 Sejam 1 , . . . , k , k n, elementos linearmente independentes de L 1 (Rn ). Mostre que um ele-
mento L 1 (Rn ) satisfaz
1 . . . k = 0
se, e somente se, pertence ao subespao gerado por 1 , . . . , k . Neste caso mostre que, se 6= 0, ento existe
um k 1-tensor alternado tal que
1 . . . k = .
Exerccio 133 Seja f : U Rm Rn uma aplicao de classe C . Assuma que m < n e que seja uma k-forma
em Rn com k > m. Mostre que f = 0.
Exerccio 135 Sejam U = Rn \ {0} e m um inteiro positivo fixado. Considere a seguinte n 1-forma em U:
n
= (1)i1 fi dx1 . . . dx
ci . . . dxn ,
i=1
a) Calcule d .
b) Para quais valores de m temos que d = 0?
a) Que condies devem satisfazer as funes u, v : R3 R, ambas de classe C , para que a forma diferencial
vdu seja fechada? Mostre que u e v so independentes de z.
b) possvel tomar v = V (x, y) arbitrria?
c) Demonstrar que se u e v satisfazem as condies do item a), ento as trs formas diferenciais du, dv e
vdu so linearmente independentes em cada ponto.
a) Mostre que se escreve em uma vizinhana de P0 na forma d f , sendo uma 1-forma em uma vizinhana
de P0 , se , e somente se, d f no se anula em P0 e f satisfaz uma certa equao diferencial parcial que dever
ser determinada.
f f f
b) Seja = dx + dy + dz. Expresse , e em termos de a, b, c, x , y e z de forma que d f = .
Exerccio 143 Seja f uma funo de classe C em uma vizinhana aberta de um ponto x0 Rn com valores em
R. Defina ui (x) := xfi (x) e seja (x) := (u1 (x), . . . , un (x)).
Sob quais condies existe uma vizinhana aberta V de x0 tal que seja um difeomorfismo de V sobre (V )?
Suponhemos que esta condies seja satisfeita e escrevamos x = 1 (u), onde u (V ). Demonstre que a
forma diferencial
n
= xi dui
i=1
g
fechada. Deduza que existe, em uma vizinhana V de u0 = (x0 ), uma funo g de classe C tal que xi = ui .
Demonstre ainda que se f uma funo homognea de grau p 6= 1, ento tem-se que, em 1 ,
g = (p 1) f + k,
para alguma constante k, e demonstre que g pode ser tomada homognea de grau p/(p 1).
Exerccio 144 (Lema de Cartan) Suponha que 1 , . . . , k 1 (U) sejam linearmente independentes, onde U
Rn um aberto. Se 1 , . . . , k 1 (U) so tais que
k
i i = 0,
i=1
demonstre que cada i , i = 1, . . . , k, pode ser escrito como combinao linear (com coeficientes suaves) de
1 , . . . , k .
Captulo 7
Voltando s variedades
Neste captulo apresentaremos mais resultados sobre variedades diferenciveis. Nosso objetivo generalizar para
variedades os resultados sobre as formas diferenciais e tambm estudar integrais de formas diferenciais em vari-
edades. Iniciamos com uma definio mais refinada de espao tangente que ser tambm til em estudos mais
avanados. Aps isso, daremos a definio de variedades com bordo e de variedades orientveis.
Definio 7.1.1 Seja p Rn um ponto fixado. O espao tangente a Rn em p, denotado por Tp Rn , o conjunto
dos vetores v p Rn , isto , a translao da origem de Rn para p.
Identificamos o espao tangente Tp Rn com Rn via a aplicao J : Tp Rn Rn dada por J(p, v) = v. Dessa
forma, vemos que Tp Rn um espao vetorial.
Seja U Rn um aberto e f : U Rm de classe C1 . Fixemos p U e definamos q = f (p). J definimos
a aplicao derivada D f (p) : Rn Rm . Definimos a aplicao d f p : Tp Rn Tq Rm de acordo com o seguinte
diagrama:
d fp
Tp Rn / Tq Rm
O
=
=
D f (p)
Rn / Rm ,
isto ,
d f p (p, v) = J 1 D f (p) J(p, v) = J 1 (D f (p)(v)) = (q, D f (p) v).
Sejam {e1 , . . . , en } uma base de Rn e vi := (p, ei ) Tp Rn , i = 1, . . . , n. Ento {v1 , . . . , vn } uma base de Tp Rn .
Notemos que, se U Rn um aberto e f C1 (U), ento
f
d f p (vi )
= D f (p) ei = (p).
xi
Em particular, sendo xi : U R a i-sima funo coordenada, temos
xi 0 se i 6= j,
(dxi ) p (v j ) = =
xj 1 se i = j.
123
124 CAPTULO 7. VOLTANDO S VARIEDADES
Logo, {(dx1 ) p , . . . , (dxn ) p } uma base de Tp Rn := (Tp Rn ) . Observemos que, se f C1 (U), ento,
f f n f
d f p (v j ) = (p) = (p)(dx j ) p (v j ) = (p)(dxi ) p (v j ).
xj xj i=1 xi
Segue que
n
f
df = dxi .
i=1 xi
Com isso, a aplicao d f nada mais que a diferencial de f vista como uma 0-forma.
Observao 7.1.2 Dada A k (Rn ), temos que, via a identificao de Rn com Tp Rn , define um k-tensor
alternado A k (Tp Rn ), a qual dada por
(p, v1 ), . . . , (p, vk ) := (v1 , . . . , vk ).
Doravante, identificaremos e .
Definio 7.2.1 Seja M uma variedade diferencivel de dimenso n e p M. Definimos o conjunto Tp M como
sendo o conjunto das classes de equivalncia de curvas : I M, com 0 I e (0) = p, segundo a seguinte relao
de equivalncia: se, e somente se, em um sistema de vizinhana coordenada (, ) de p, ( ) (0) =
( ) (0).
Definio 7.2.2 Seja M uma variedade diferencivel de dimenso n e p M. Consideremos o espao vetorial F p
das funes f : M R que so diferenciveis em p e seja N p o subconjunto de F p consistindo das funes f tais
que
D( f 1)( (p)) = 0
para toda vizinhana coordenada (, ) de p. Dizemos que X um vetor tangente a M em p se X um funcional
linear X : F p R que se anula em N p . O espao tangente Tp M o conjunto dos vetores tangentes a M em p.
Elementos de Tp M so o que chamamos de derivaes, e este nome justificado pela proposio abaixo.
7.2. ESPAO TANGENTE A UM PONTO EM UMA VARIEDADE 125
X( f g) = f (p)X(g) + g(p)X( f ).
Demonstrao. Temos
X( f g) = X ( f f (p) + f (p))(g g(p) + g(p))
= X ( f f (p))(g g(p)) + f (p)X(g) + g(p)X( f ),
pois uma funo constante pertence a N p . Por outro lado, se a e b se anulam em p, ento
Com a soma e produto de funcionais lineares o espao Tp M naturalmente um espao vetorial. Vamos exibir
uma base para este espao. Dada uma vizinhana coordenada (, ), denotemos por (x1 , . . . , xn ) as coordenadas
neste sistema. Definimos o vetor xi (p) por
( f 1 )
(p)( f ) := ( (p)).
xi xi
Notemos que
(x j 1)
(p)(x j ) = ( (p)) = i j ( de Kronecker).
xi xi
Segue que o conjunto { xi (p)}, i = 1, . . . , n, linearmente independente. Vamos verificar que, para qualquer
X Tp M, existem escalares X i , i = 1, . . . , n, tais que
n
X = Xi (p).
i=1 xi
com i =
xi (p)( f ) Rn , vemos que
n
f i xi N p ,
i=1
o que nos d
n n
X( f ) = i X(xi ) = (p)( f )X(xi ),
i=1 i=1 xi
e escolhemos X i = X(xi ).
Dessa discusso conclumos tambm que a dimenso de Tp M n, ou seja, Tp M e Tp M so isomorfos. Vamos
dar uma demonstrao direta deste fato importante exibindo um isomorfismo entre estes espaos.
( f ) ( f )
(0) = (0),
t t
j que neste caso temos
( f ) = ( f 1 ) = ( f 1 ) ( )
n
X = Xi (p).
i=1 xi
Seja : ( , ) M dada por (t) = pt M, onde (pt ) = (tX 1 , . . . ,tX n ), onde estamos supondo (p) = 0.
Ento:
n
( f ) ( f 1) (tX i )
(0) = = X( f ).
t i=1 xi t
Segue que sobrejetora. Alm disso, se no equivalente a , ento ( ) (0) 6= ( ) (0) e possvel
exibir uma funo f tal que
( f ) (0) 6= ( f ) (0),
A partir de agora no faremos distino entre Tp M e Tp M, usando sempre esta ltima notao para indicar
ambas as noes de espaos tangentes apresentadas.
Apesar de Tp M ser definido atravs de funes que podem estar definidas em toda a variedade M, importante
observara que ele essencialmente um objeto que depende de construes locais.
Definio 7.2.6 Seja M uma variedade de dimenso n. O fibrado tangente de M, denotado por T M, a unio
disjunta dos espaos tangentes Tp M a M em p, para todo p M, isto ,
[
TM = Tp M.
pM
Uma forma diferencial de grau k, ou uma k-forma diferencial em M uma aplicao : M A k (M) tal
que = Id, onde a projeo de A k (M) em M. Como no caso de Rn , denotaremos por k (M) o conjunto
das k-formas diferenciais em M.
A definio do produto exterior e do operador diferencial de formas diferenciais definido de maneira an-
loga ao caso de Rn , e mantm todas a propriedades. Alm disso, podemos definir a ao de uma aplicao di-
ferencivel f entre variedades em k (M), a qual tambm ser denotada por f . Em particular, se (, ) um
sistema de vizinhanas coordenadas com = (x1 , . . . , xn ) sendo as coordenadas locais neste sistema, seja { xi (p)}
(i = 1, . . . , n) uma base de Tp M e {dxi } sua base dual. Ento qualquer forma A k (M) se escreve como
onde a soma percorre todos as k-uplas ascendentes de {1, . . . , n}. Dizemos que uma forma diferencial escrita
como em (7.1) de classe C se cada aI de classe C em M.
7.4 Pushforwards
Definio 7.4.1 Sejam M e N duas variedades diferenciveis e F : M N uma aplicao suave. Para cada p M,
definimos o pushforward de F como sendo a aplicao F : Tp M TF(p) N dada por
A verificao de que esta definio faz sentido, isto , que F X TF(p) N, relativamente simples.
Veremos que o pushforward de uma aplicao entre variedades desempenha um papel importante no estudo
de formas diferenciais em variedades, especialmente na teoria de integrao.
a) F : TP M TF(p) N linear;
b) (G F) = G F;
c) se F um difeomorfismo entre M e N, ento F um isomorfismo entre Tp M e TF(p) N.
Demonstrao. Suponhamos incialmente que B U uma vizinhana aberta de p com B U. Ento tomamos
X TpU com i X = 0 Tp M. Se f C (U) qualquer, escolhemos f C (M) tal que f = f sobre B, isto ,
consideramos uma extenso suave de f para fora de B. Ento, pelo Lema 7.2.5 vemos que
X f = X( f|U ) = X( f i) = (i X)( f) = 0.
128 CAPTULO 7. VOLTANDO S VARIEDADES
(i X)g = X(g i) = Y (g i) = Y g,
Ter a mesma orientao define uma relao de equivalncia no conjunto das bases de V e existem exatamente duas
classes de equivalncia para esta relao. A escolha de uma dessas classes chamada de uma orientao de V.
Este conceito est relacionado com a escolha de uma base g A n (V ) (lembremos que dim(A n (V )) = 1, de forma
que qualquer elemento no nulo forma uma base deste espao).
Lema 7.5.1 Seja g A n (V ) e {e1 , . . . , en } uma base de V . Ento, para qualquer conjunto de vetores v1 , . . . , vn
com
n
vi = ai j e j , i = 1, . . . , n,
j=1
temos que
g(v1 , . . . , vn ) = det(ai j )g(e1 , . . . , en ).
Corolrio 7.5.2 Se g A n (V ) com g 6= 0, ento g possui o mesmo sinal em duas bases se estas bases possuem
mesma orientao. Assim, uma escolha de g A n (V ), g 6= 0, determina uma orientao de V .
A grosso modo, para estender o conceito de orientao para uma variedade M deve-se tentar orientar cada
um dos espaos tangentes Tp M de forma que a orientao de espaos tangentes de pontos prximos coincidam.
Dessa forma, deveramos entender de alguma maneira como passar de uma base para Tp M para uma base de Tq M
de maneira contnua se p e q estivessem prximo.
Definio 7.5.3 Uma variedade diferencivel M de dimenso n dita orientvel se ela possui uma estrutura dife-
rencivel U = {U , } na qual todas as mudanas de coordenadas 1 possuem determinante Jacobiano
positivo. Neste caso dizemos que U orienta M.
Daremos uma caracterizao em termos de forma diferenciais para a orientabilidade de uma variedade. Uti-
lizaremos no decorrer da demonstrao o Exerccio 153.
Teorema 7.5.4 Uma variedade diferencivel M de dimenso n orientvel se, e somente se, ela possui uma n-
forma diferencial que nunca se anula.
7.5. VARIEDADES ORIENTVEIS 129
Demonstrao. Suponhamos que M orientvel e seja {(U , )} uma estrutura diferencivel de M na qual todo
determinante Jacobiano das mudanas de coordendas positivo. Consideremos { } uma partio da unidade
(C ) subordinada {U } (veja o Exerccio 149). Definamos
= dx1 . . . dxn ,
onde x1 , . . . , xn so as funes coordenadas de . Para todo p M, existe uma vizinhana aberta U p de p que
intercepta somente um nmero finito de conjuntos supp . Segue que uma soma finita em U p e portanto suave
em todo ponto p M.
Fixemos agora uma vizinhana coordenada (U, ) de um ponto p da estrutura diferencivel que orienta M,
onde = (x1 , . . . , xn ), e consideremos U U . Pelo Exerccio 153 temos que
xi
dx1 . . . dxn = det
dx1 . . . dxn ,
xj
xi
onde det xj
> 0, pois M orientvel. Segue que
h xi i
= dx1 . . . dxn = det
dx1 . . . dxn .
xj
Como (p) > 0 para algum , temos que
para alguma funo k > 0. Sendo p arbitrrio obtemos que nunca se anula em M.
Suponhamos agora que uma n-forma diferencial em M que nunca se anula. Dada uma estrutura diferen-
civel em M, vamos usar para modificar esta estrutura de forma que o determinante Jacobiano de cada mudana
coordenada seja positivo.
Seja (U, ) uma vizinhana coordenada com = (x1 , . . . , xn ). Ento
= f dx1 . . . dxn
para alguma funo f de classe C . Como nunca se anula e f contnua, temos que f > 0 ou f < 0 em U.
Se f > 0, deixe o sistema de coordenadas como ele est; se f < 0 trocamos o sistema de vizinhana coordenada
(U, ) por (U, ), onde = (x1 , x2 . . . , xn ). Aps todas estas mudanas (quando necessrias), podemos assumir
que, em qualquer vizinhana coordenada (V, ), com = (y1 , . . . , yn ), temos
= hdy1 . . . dyn ,
com h > 0. Esta uma estrutura diferencivel na qual toda mudana de coordenadas possui determinante Jacobiano
positivo. De fato, se (U, ) e (V, ) so tais que = (x1 , . . . , xn ) e = (y1 , . . . , yn ), ento
ou seja
f 1
dx . . . dxn = dy1 . . . dyn .
h
Pelo Exerccio 153 temos que
yi f
det = > 0 em U V.
xj h
Isto finaliza a demonstrao.
A escolha de uma orientao da variedade diferencivel M define uma orientao em cada espao tangente
Tp M, p M. Neste caso, dizemos que o espao tangente est orientado de acordo com a orientao da variedade e
a base cannica de Tp M chamada de base orientada.
130 CAPTULO 7. VOLTANDO S VARIEDADES
Proposio 7.6.2 Sejam U,V Hn abertos e f : U V um difeomorfismo. Ento f aplica pontos interiores em
pontos interiores e pontos de bordo em pontos de bordo.
Demonstrao. Seja p U com p Int(Hn ). Ento existe um aberto B em Rn com p B Hn . Segue que f (B)
aberto em Rn . Assim, f (p) f (B) V Hn e f (p) um ponto interior.
Se p Hn , ento f 1 ( f (p)) = p Hn . Como f 1 : V U e um difeomorfismo, f (p) no pode ser
interior, ou seja, f (p) Hn .
Definio 7.6.3 Uma variedade diferencivel com bordo de classe C um subconjunto M Rn com uma estru-
tura diferencivel U no seguinte sentido generalizado: U = {(U , )} consiste de uma famlia de subconjuntos
abertos U de M, cada um com um homeomorfismo sobre um subconjunto aberto de Hn (com a topologia de
subespao de Rn ) tais que
1) os conjuntos U cobrem M;
Seja p M e (U, ) uma vizinhana coordenada de p. Pela Proposio 7.6.2, se (p) Hn , ento (p)
Hn para qualquer vizinhana coordenada (V, ) de p. O conjunto dos pontos p M para os quais (p) Hn
para algum (U, ) chamado de bordo de M. Tal conjunto denotado por M. Temos que M \ M uma variedade
no sentido usual. Se M = 0,
/ dizemos que M uma variedade sem bordo.
Teorema 7.6.4 Se M uma variedade diferencivel de dimenso n com bordo, ento a estrutura diferencivel de
M determina em M uma estrutura diferencivel com a qual este subconjunto uma variedade diferencivel sem
bordo de dimenso n 1. Alm disso, a incluso i : M M um mergulho.
Observao 7.6.5 Toda variedade diferencivel pode ser considerada como uma variedade com bordo. Para
verificar este fato, basta fixarmos uma vizinhana coordenada (U, ) da variedade M com = (x1 , . . . , xn ),
que possui como imagem um aberto (U) Rn , e compor com um difeomorfismo de Rn em Int Hn dado por
(x1 , . . . , xn ) 7 (x1 , . . . , xn1 , exn ).
Mesmo que o termo variedade com bordo englobe tambm as variedades no sentido original, usa-se nor-
malmente o termo variedade sem bordo para denotar as variedades onde M = 0. / O termo variedade fechada
normalmente indica uma variedade compacta sem bordo. J as variedades abertas so aquelas no-compactas sem
bordo.
Aplicaes diferenciveis entre variedades com bordo, posto, etc, podem agora serem definidos exatamente
como no caso de variedades sem bordo. Vamos estudar com um pouco mais de detalhes os espaos tangentes
variedades com bordo.
Lema 7.7.1 Se M uma variedade diferencivel de dimenso n com bordo e p M, ento Tp M um espao
vetorial de simenso n com base dada pelos vetores
(p), . . . , (p)
x1 xn
Demonstrao. Que Tp M um espao vetorial segue claramente da definio. Para qualquer vizinhana coor-
denada (U, ) de p M, temos que o pushforward : Tp M T (p) Hn um isomorfismo como no caso de
variedades sem bordo. Assim, basta encontrarmos uma base para Tq Hn com q H n .
Seja i : Hn Rn a aplicao incluso. Vamos verificar que i : Tq Hn Tq Rn um isomorfismo.
Suponhamos que i X = 0 e seja f qualquer funo suave de com valores em R definida em uma vizinhana
de q em Hn . Estendemos f para uma funo f em uma vizinhana de q em Rn . Segue que f i = f , o que implica
X f = X( f i) = i X( f) = 0,
e i injetiva.
Por outro lado, dado Y Tq Rn , seja X Tq Hn definido por
X f = Y f,
onde f qualquer extenso de f . Escrevendo
n
Y = Yi (q)
i=1 xi
em termos da base cannica de Tq Rn , obtemos
n
f
X f = Yi (q).
i=1 xi
Ento X Tq Hn e i X = Y, ou seja, i sobrejetora.
Passamos agora a estudar com mais detalhes a relao entre a orientao de uma variedade e de seu bordo.
Iniciamos observando que a orientao de uma variedade diferencivel definida como no caso sem bordo.
Se D uma variedade suave e compacta de dimenso n, mergulhada em uma outra variedade M tambm de
dimenso n, ento dizemos que D um domnio regular de M. Uma orientao em M define uma orientao em
D. De fato, basta restringirmos D uma n-forma diferencial que nunca se anula em M. O bordo de uma variedade
uma subvariedade mergulhada, ou seja, M orientvel desde que M o seja. Deixaremos este fato mais explcito
no prximo resultado.
Teorema 7.7.2 Seja M uma variedade orientada com bordo. Ento M orientvel e a orientao de M deter-
mina uma orientao de M. Em particular, se {(U , )} uma estrutura diferencivel que orienta M, ento a
estrutura induzida {(U M, |U M )} orienta M.
Demonstrao. Como M uma variedade diferencivel de dimenso n 1, temos que Tp ( M) pode ser vsto
como um subespao vetorial de Tp M de dimenso n 1. Sejam (U, ) e (V, ) vizinhanas coordenadas de p M
com = (x1 , . . . , xn ) e = (y1 , . . . , yn ). Neste caso temos que xn = yn = 0 sobre U M e V M. Alm disso,
como a composio
1 : (U V ) (U V )
aplica pontos interiores em pontos interiores e pontos de M e Hn , temos que
yn (x1 , . . . , xn ) = 0 se xn = 0 e yn (x1 , . . . , xn ) > 0 se xn > 0,
onde xi = x1
i , i = 1, . . . , n. Segue que
yn yn
( (q)) = = n1 ( (q)) = 0
x1 x
para q U V M. Assim, sobre U V M temos
y y1 y1
1
x1
... xn1 xn
.. .. ..
. . .
D( 1
)=
.
yn1 yn1 yn1
x1
... xn1 xn
yn
0 ... 0 xn
7.8. EXERCCIOS DO CAPTULO 133
Pelo Teorema 7.7.2, a orientao natural do bordo de uma variedade diferencivel M parece inicialmente ser
aquela dada pela restrio M da estrutura que orienta M. Entretanto, veremos que esta orientao causa alguns
problemas ao apresentarmos, por exemplo, o Teorema de Stokes.
Definio 7.7.3 Seja M uma variedade orientada com bordo e com dimenso n. Seja {(U , )} uma estrutura
diferencivel que orienta M. Se n for par, ento a orientao do bordo M aquela dada pela estrutura induzida
{(U M, |U M )}. Se n mpar, ento a orientao do bordo M dada pelo oposto da estrutura induzida
(trocando-se o sinal da primeira funo coordenada de cada ). Esta orientao chamada de orientao de
Stokes de M.
Exemplo 7.7.4 A orientao de Rn cannica dada pela n-forma dx1 . . . dxn e a restrio dessa forma
Hn orienta o espao modelo para variedades com bordo. Segue que a orientao de Stokes de H n dada pela
(n 1)-forma (1)n dx1 . . . dxn1 .
Exerccio 147 Demonstre que se uma variedade diferencivel de dimenso n difeomorfa a uma variedade dife-
renciel de dimenso m ento m = n.
Exerccio 148 Seja A Rn um subconjunto qualquer. Uma cobertura U de A chamada de localmente finita se
cada ponto de A possui uma vizinhana que intercepta no mximo uma quantidade finita de elementos de U. Uma
outra cobertura V de A um refinamento de U se, para cada V V , existe U U tal que V U. Dizemos que
A paracompacto se toda cobertura aberta de A admite um refinamento localmente finito.
a) Demonstre que toda variedade diferencivel admite uma cobertura enumervel e localmente finita formada
por conjuntos relativamente compactos (o fecho compacto).
b) Demonstre que toda variedade diferencivel M paracompacta.
Sugesto: consulte seu livro favorito de variedades diferenciveis ou use os resultados que conhece para subcon-
juntos de Rn .
134 CAPTULO 7. VOLTANDO S VARIEDADES
Exerccio 149 Seja M uma variedade diferencivel e A = {A } I uma cobertura de M por abertos (em M).
Demonstre que existe uma partio da unidade suave em M subordinada A , isto , existe uma coleo de
funes contnuas { : M R | I} com as seguintes propriedades:
Exerccio 150 Seja M uma variedade diferencivel com bordo e A = {A } uma cobertura de M por abertos (em
M). Demonstre que existe uma partio da unidade suave em M subordinada A .
Exerccio 151 Sejam M uma variedade diferencivel, A M um subconjunto fechado e U M um aberto com
A U. Demonstre que existe uma funo contnua : M R tal que 0 1 sobre M, 1 sobre A e
supp U. Uma funo dessa forma chamada de funo bacia para A com suporte em U.
Sugesto: tome U0 = U e U1 = M \ A e uma partio da unidade subordinada {U0 ,U1 }.
Exerccio 152 (Lema de extenso) Sejam M uma variedade diferencivel, A M um subconjunto fechado e
f : A Rm uma funo suave. Demonstre que, para qualquer subconjunto aberto U M com A U, existe
uma funo suave f : M Rm tal que f|A = f e supp f U.
Sugesto: para cada p A escolha uma vizinhana Wp de p e uma funo fp definida e suave em Wp que coincide
com f em A; diminuindo Wp podemos assumir que Wp U; considere a cobertura {Wp | p A} {M \ A} de M e
uma partio da unidade subordinada a esta cobertura; considere o produto de cada membro dessa partio pela
funo f() correspondente.
Exerccio 153 Seja M uma variedade de dimenso n e consideremos uma vizinhana coordenada (U, ) de um
ponto p M. Sejam f1 , . . . , fn funes suaves em U e = (x1 , . . . , xn ) funes coordenadas em U. Prove que
f
i
d f1 . . . d fn = det dx1 . . . dxn .
xj
Exerccio 154 Seja f : R3 R de classe C e assuma que M = f 1 (0) seja uma subvariedade regular de R3 de
dimenso 2. Mostre que as igualdades
dx dy dy dz dz dx
= =
fz fx fy
valem em M sempre que fizerem sentido. Em particular, mostre que M possui uma 2-forma que nunca se anula em
M sendo assim orientvel.
Exerccio 155 Demonstre que qualquer subconjunto aberto de uma variedade diferencivel orientvel orient-
vel.
Exerccio 158 Suponha que a variedade diferencivel M seja unio de duas variedades orientadas abertas e com
interseco conexa. Demonstre que M orientvel. Em particular, isto demonstra que a esfera Sn orientvel.
7.8. EXERCCIOS DO CAPTULO 135
Exerccio 159 Seja T : Sn Sn a alicao antpoda dada por T x = x. Demonstre que T preserva orientao
se, e somente se, n mpar.
Exerccio 160 Seja M = S1 [0, 1] o cilindro com a orientao no sentido anti-horrio quando visto do exterior.
Descreva a orientao de Stokes de S1 {0} e de S1 {1}.
Exerccio 161 Seja M uma variedade sem bordo e f : M R uma funo de classe C . Suponha que d f 6= 0
sobre o conjunto f 1 (0). Demonstre que M + = {p M; f (p) 0} um domnio regular e encontre seu bordo.
Exerccio 162 Seja E um espao vetorial com produto interno h, i e de dimenso finita n = dim E. Suponhamos
que E esteja orientado e fixemos uma base ortonormal {e1 , . . . , en } que nos d a orientao de E. Definimos
V : E n R por
V (v1 , . . . , vn ) = det A,
onde A = (ai j )nn com ai j = hei , v j i.
Integrao em variedades
Neste captulo definimos a integral de uma n-forma diferencial em uma variedade diferencivel de dimenso n com
ou sem bordo, que so os objetos integrveis em Geometria. Primeiramente definimos de uma forma diferencial
em subconjuntos de Rn e depois utilizamos o pullback de uma vizinhana coordenada e parties da unidade para
estendermos a definio para variedades. Demonstraremos um dos resultados fundamentais de Anlise e Geome-
tria, que o Teorema de Stokes. Este resultado engloba os importantes teorema de Clculo Vetorial: Teorema de
Green, Teorema de Gauss e Teorema Fundamental para integrais de linha.
Para definirmos a integral de uma forma diferencial em um aberto U qualquer devemos tomar um certo
cuidado, uma vez que, mesmo supondo que possui suporte compacto, no sabemos se este suporte retificvel.
Lema 8.1.1 Sejam U um aberto e K um compacto, ambos subconjuntos de Rn com K U. Ento existe um
compacto retificvel D tal que K D U.
Demonstrao. Dado p K, existe uma bola aberta contendo p cujo fecho no intercepta o bordo de U. Cobrindo
K com bolas com estas propriedades e usando a compacidade, existe uma quantidade finita de tais bolas abertas
B1 , . . . , Bk cobrindo K. O bordo de cada uma dessas bolas possui medida nula e, dessa forma, D = B1 . . . Bk
satisfaz as propriedades requeridas.
n
Suponha que U R seja um aberto e considere uma n-forma em U com suporte compacto. A integral de
em U definida por Z Z
= ,
U D
onde D um compacto retificvel tal que supp D U.
Se V Hn um subconjunto (relativamente) aberto e se uma n-forma com suporte compacto em V,
definimos a integral de em V por Z Z
= ,
V DHn
sendo novamente D um compacto retificvel satisfazendo supp D V. Assim, a definio de integrao em
Hn generaliza a definio em Rn .
137
138 CAPTULO 8. INTEGRAO EM VARIEDADES
Proposio 8.1.2 Sejam A, B Rn compactos retificveis e n (B). Supnha que F : A B seja uma aplicao
suave cuja restrio Int A um difeomorfismo sobre IntB. Ento, se F preserva a orientao,
Z Z
= F .
B A
Demonstrao. Esta uma consequncia do Teorema de Mudana de Variveis. Denote por (y1 , . . . , yn ) e por
(x1 , . . . , xn ) as coordenadas B e A respectivamente. Ento = f dy1 . . . dyn para alguma funo suave f : B R.
Se F preserva orientao:
Z Z
= f dy1 . . . dyn
B
ZA
= f F| det DF|dx1 . . . dxn
ZA
= f F detDFdx1 . . . dxn
ZA
= F ,
A
onde na ltima igualdade utilizamos (6.11) e o Exerccio 131. Para o caso em que F reverte orientao basta
observarmos | det DF| = detDF.
Pela igualdade (6.11) vemos que ( 1 ) possui suporte compacto contido em (U) Rn , o que implica
que o lado direito de (8.1) est bem definido. Alm disso, nada precisamos mudar nessa definio no caso em que
M uma variedade diferencivel orientada com bordo, supondo que possua suporte contido em um aberto de
uma vizinhana coordenada generalizada que orienta M.
Proposio 8.2.1 Seja uma n-forma diferencial em uma variedade diferencivel orientada M de dimenso n,
com ou sem bordo. Suponha que possua suporte contido em um elemento U de uma vizinhana coordenada
(U, ). Ento
Z
M
Demonstrao. Seja (V, ) uma otra vizinhana coordenada que orienta M e tal que supp V. Ento 1
8.2. INTEGRAO DE FORMAS EM VARIEDADES 139
Para integrarmos uma n-forma diferencial no necessariamente com suporte contido em uma vizinhana
coordenada, utilizamos a definio anterior e partio da unidade.
Seja M uma variedade diferencivel (com ou sem bordo) orientada com dim M = n. Fixada uma forma
n (M) com suporte compacto, seja {(Ui , i )} uma cobertura finita de supp formada por vizinhanas coordenadas
orientadas de M e seja tambm {i } uma partio partio da unidade subordinada a esta cobertura. Definimos a
integral de sobre M por Z Z
= i .
M i M
Notemos que i possui suporte compacto em Ui e, portanto, cada termos desta soma uma integral de uma
n-forma em M como em (8.1).
Proposio 8.2.2 Seja uma n-forma diferencial em uma variedade diferencivel orientada M de dimenso n,
com ou sem bordo. Suponha que possua suporte compacto em M. Ento
Z
M
no depende da escolha da escolha da estrutura diferencivel fixada nem da partio da unidade subordinada.
Demonstrao. Suponhamos que {(V j , j )} e {(Ui , i )} sejam duas colees finitas de vizinhanaas coordenadas
orientadas que cobrem supp e fixemos duas respectivas parties da unidade { j } e {i }. Para cada i temos
Z Z
! Z
M
i =
M
j i =
M
i j .
j j
Somando em i obtemos Z Z
i = i j . (8.2)
i M i, j M
Observe que cada termo na soma do lado direito de (8.2) a integral de uma n forma com suporte compacto em Ui
(por exemplo). Trocando os papis de i e j obtemos
Z Z
M
j =
M
i j ,
j i, j
e conclumos a demonstrao.
Supnnha que N M seja uma subvariedade orientada de dimenso k (com ou sem bordo) imersa na variedade
diferencivel. Se k (M) e |N possui suporte compacto em N, ento podemos definir a integral de em N
usando a restiro: Z Z
= |N .
N
140 CAPTULO 8. INTEGRAO EM VARIEDADES
Proposio 8.2.3 Suponha que M e N sejam variedades diferenciveis orientadas de dimenso n, com ou sem
bordo, e sejam , n (M). As seguintes propriedades so vlidas:
a) se , R, ento Z Z Z
+ = + ;
M M M
Demonstrao. O item a) de simples verificao. J o item d) segue da Proposio 8.1.2 se supormos incialmente
que a n-forma possui suporte compacto em uma vizinhana coordenada e, aps isso, usarmos partio da unidade
e o item a). No caso do item c), observamos inicialmente que a restrio de a uma vizinhana coordenada
{(U, )} satisfaz ( 1 ) |U = f dx1 . . . dxn , onde f > 0 em U. Assim, cada termo na definio da integral de
positivo. Observando que M e M so difeomorfas via um difeomosfismo que reverte orientao, o item b)
segue do item d).
O prximo resultado uma ferramenta que auxilia no clculo de integrais de formas diferenciais.
Lema 8.2.4 Seja M uma variedade diferencivel com ou sem bordo orientada com dimenso n. Suponha que
A1 , . . . , Ak M e B1 , . . . , Bk Rn sejam compactos retificveis e que Fi : Ai Bi , i = 1, . . . , k sejam aplicaes
suaves satisfazendo as seguintes propriedades:
a) Fi (Ai ) = Bi e Fi |Int Ai um difeomorfismo de Int Ai em IntBi que preserva orientao para cada i = 1, . . . , k;
Demonstrao. Suponhamos que supp est contido em U, onde (U, ) uma vizinhana coordenada orientada
de M. Diminuindo um pouco U, podemos assumir que U retificvel. Definimos
Ci = U Bi , i = 1, . . . , k.
Exemplo 8.2.5 Vamos agora verificar como o Lema 8.2.4 facilita o clculo de integrais de formas com um exem-
plo. Fixemos a 2-forma em R3 \ {0} dada por
= xdy dz + ydz dx + zdx dy,
3 3
a qual queremos integrar na esfera S2 = B (B a bola fechada de raio 1 em R3 ). Para tanto, consideramos
F : D S2 , onde
D = [0, ] [0, 2 ], F( , ) = (sen cos , sen sen , cos ).
3
Notemos que F = F|{1}D , sendo F : (0, 1] D B dada por
As coordenadas de F so
F 1 ( , ) = sen cos , F 2 ( , ) = sen sen , F 3 ( , ) = cos ,
e por linearidade,
F = F (xdy dz) + F (ydz dx) + F (zdx dy),
onde:
F (xdy dz) = (x F)dF 2 dF 3 = sen3 cos2 d d ,
F (ydz dx) = (y F)dF 3 dF 1 = sen3 sen2 d d ,
F (zdx dy) = (z F)dF 1 dF 2 = sen cos2 d d .
Dessa forma,
Z Z
= F
S2 D
Z
= sen d d
D
Z 2 Z
= sen d d = 4 .
0 0
142 CAPTULO 8. INTEGRAO EM VARIEDADES
Teorema 8.3.2 (Teorema de Stokes) Seja M uma variedade diferencivel orientada de dimenso n. Suponha que
seja uma (n 1)-forma em M com suporte compacto. Ento
Z Z
d = , (8.3)
M M
O Teorema de Stokes possui um enunciado conciso e engloba vrias informao importantes. Em particular,
se M = 0/ ou se supp M = 0,/ devemos interpretar a integral sobre M em (8.3) como sendo nula. Alm
disso, se dim M = 1, ento o lado direito de (8.3) ser uma soma finita.
onde o circnflexo sobre dxi siginifa que este elemento est omitido no produto exterior. Calculamos ento d :
n
ci . . . dxn
d = d fi dx1 . . . dx
i=1
n
fi ci . . . dxn
= dx j dx1 . . . dx
i, j=1 x j
n
fi
= (1)i1 dx1 . . . dxn .
i=1 xi
Para o clculo dos termos i 6= n usamos o Teorema Fundamental do clculo para para mostrarmos que eles so
nulos:
n1 Z RZ R Z R n1 Z RZ R Z R
fi fi
(1)i1 0 R
...
R xi
dx1 . . . dxn = (1)i1 0 R
...
R xi
ci . . . dxn
dxi dx1 . . . dx
i=1 i=1
n1 Z RZ R Z R
= (1)i1 ... fi |xxii =R
=R ci . . . dxn
dx1 . . . dx
i=1 0 R R
= 0,
uma vez que fn = 0 se xn = 0. Note ainda que, se supp no intercepta Hn , fn tambm ser zero para xn = 0.
Agora calculamos o lado direito de (8.3) e comparamos com (8.4). Temos
Z n Z
= ci . . . dxn .
fi (x1 , . . . , xn1 , 0)dx1 . . . dx
Hn i AHn
A restrio de dxn Hn zero pois xn constante neste conjunto (veja o Exerccio 166). Segue que todas as
parcelas na soma que contm dxn se anulam, ou seja,
Z Z
= fn (x1 , . . . , xn1 , 0)dx1 . . . dxn1.
Hn AHn
Agora lembremos que, na orientao de Stokes, (x1 , . . . , xn1 ) orienta positivamente Hn se n par e negativamente
se n mpar. Portanto,
Z Z
= (1)n fn (x1 , . . . , xn1 , 0)dx1 . . . dxn1
Hn AHn
Z R Z R (8.5)
= (1)n ... fn (x1 , . . . , xn1 , 0)dx1 . . . dxn1 ,
R R
Isto conclui o Passo 2, uma vez que orienta M positivamente (orientao de Stokes).
Passo 3. Finalmente vamos supor que uma (n 1)-forma com suporte compacto na variedade orientada M
e escolhemos uma coleo finita {(Ui , i )} de vizinhanas coordenadas que orientam M e que cobrem supp .
Fixamos (i ) uma partio da unidade subordinada a esta cobertura e aplicamos o Passo 2 ao produto i para
144 CAPTULO 8. INTEGRAO EM VARIEDADES
obtermos
Z Z Z
= i = d(i )
M i M i M
Z
= d i + i d
i M
Z
! Z
!
=
M
d i +
M
i d
i i
Z
= d ,
M
pois !
d i = d1 = 0.
i
Como j mencioamos, o Teorema de Stokes apresenta, de uma maneira bastante concisa, vrios resultados
importantes de Anlise Vetorial. Em sua demonstrao utilizamos o Teorema Fundamental do Clculo. Seja agora
N uma variedade diferencivel e suponha que : [a, b] N uma imerso suave de maneira que M = [a, b] seja
uma subvariedade mergulhada com bordo em N. Se orientarmos M de maneira que preserva orientao, ento
para qualquer f C (N) temos do Teorema de Stokes e da Observao 8.3.1 que
Z Z Z
df = df = f = f ( (b)) f ( (a)),
M M
que o Teorema Fundamental para Integrais de Linha. Em particular, se : [a, b] R a incluso, ento temos o
Teorema Fundamental do Clculo.
Corolrio 8.3.3 Suponha que M seja uma variedade diferencivel compacta, orientvel e com bordo. Se
n1 (M) fechada, ento Z
= 0.
M
Corolrio 8.3.4 Suponha que M seja uma variedade diferencivel compacta, orientvel e sem bordo. Se
n1 (M) exata, ento Z
d = 0.
M
Demonstrao. Basta aplicarmos o Teorema de Stokes forma Pdx + Qdy observando que
P Q
d(Pdx + Qdy) = dP dx + dQ dy = dy dx + dx dy
y x
e que dx dy = dy dx.
8.4. EXERCCIOS DO CAPTULO 145
9.3 Homotopia
Exerccio 171 Utilize o Lema de Poincar para demonstrar que, para qualquer funo f : U R, onde U R
um aberto, existe uma funo suave g : U R tal que g = f .
Exerccio 172 Seja U R2 um subconjunto aberto e estrelado. Utilize o Lema de Poincar para demonstrar as
afirmaes abaixo.
a) Se u, v : U R so duas funes suaves tais que
u v
= 0,
x y
ento existe uma funo suave f : U R tal que
f f
=v e = u.
x y
b) Para toda funo suave f : U R, existe um par de funes suaves u, v : U R tais que
u v
= f.
x y
147
148 CAPTULO 9. POINCAR, DE RHAM E EXEMPLOS ADICIONAIS
Exerccio 173 Seja U R3 um subconjunto aberto e estrelado. Utilize o Lema de Poincar para demonstrar as
afirmaes abaixo.
rot v = 0,
f = v.
div v = 0,
rot w = v.
c) Para toda funo suave f : U R, existe um campo de votres suave w : U R3 tal que
div w = f .
onde P, Q e R so funes desconhecidas. Mostre que tal sistema possui soluo se, e somente se,
A B C
+ + = 0.
x y z
[1] Brezis, Haim: Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer,
New York, 2011.
[2] Dieudonn, J. A. Foundations of modern analysis. Enlarged and corrected printing. Pure and Applied Mathe-
matics, Vol. 10-I. Academic Press, New York-London, 1969.
[3] Krantz, S. G. e Parks, H. R. The implicit function theorem. History, theory, and applications. Birkhuser
Boston, Inc., Boston, MA, 2002.
[4] Lima, E. L. Curso de Anlise. Vol. 2, Rio de Janeiro, IMPA, Projeto Euclides, 1989.
[5] Lima, E. L. Variedades diferenciveis, Publicaes Matemticas, Rio de Janeiro, IMPA, 2007.
[6] Folland, Gerald B.: Real analysis. Modern techniques and their applications. Second edition. Pure and Ap-
plied Mathematics (New York). A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1999.
[7] Goursat, E. J. B. Sour la thorie des fonctions implicites, Bulletin de la Socit Mathmatique de France, 31
(1903), 184192.
[8] Hilbert, D. e Cohn-Vossen, S. Geometry and the imagination. Translated by P. Nemnyi. Chelsea Publishing
Company, New York, N. Y., 1952.
[9] Abraham, R.; Marsden, J.E. e Ratiu, T.: Manifolds, tensor analysis, and applications. Second edition. Applied
Mathematical Sciences, 75. Springer, Verlag, New York, 1988.
[10] Munkres, J. R. Analysis on manifolds, Addison-Wesley Publishing Company, Advanced Book Program,
Redwood City, CA, 1991.
[11] Munkres, J. R. Topology: a first course, Prentice-Hall, NJ, 1975.
[12] Rudin, W. Priciples of mathematical analysis, 2 ed., McGraw-Hill, New York, 1964.
[13] Spivak, M. Calculus on manifolds: a modern approach to classical theorems of advanced calculus, W. A.
Benjamin, Inc., New York-Amsterdam, 1965.
149