Resumos de AMIII
10 de Dezembro de 2005
1. Revis˜oes e Complementos de C´alculo Diferencial
1. Se U ⊂ Rn ´e aberto, f : U → Rm uma fun¸c˜ao (portanto f = (f1, . . . , fm)), x
0 ∈ U e
v ∈ Rn, ent˜ao a derivada direccional de f segundo v no ponto x0 ´e
∂vf (x0) = lim t→0 f (x0+ tv) − f (x0) t = d dtf (x0+ tv)|t=0 (caso o limite exista).
2. A i-´esima derivada parcial de f ´e a derivada direccional segundo o i-´esimo vector da base can´onica e escreve-se
∂f ∂xi ≡ ∂if ≡ ∂f1 ∂xi . . . ∂fm ∂xi ≡ ∂if1 . . . ∂ifn def = ∂eif .
3. f diz-se diferenci´avel em x0 se existe uma transforma¸c˜ao linear Df (x0) : Rn→ Rm
(repre-sentada por uma matriz m × n) tal que lim
h→0
f (x0+ h) − f (x0) − Df (x0) · h
khk = 0.
4. Se f ´e diferenci´avel em x0 ent˜ao
∂vf (x0) = Df(x0) · v.
Em particular, Df ´e representada na base can´onica pela matriz Jacobiana
Df = ∂f1 ∂x1 . . . ∂f1 ∂xn . . . . ∂fm ∂x1 . . . ∂fm ∂xn = ∂1f1 . . . ∂nf1 . . . . ∂1fm . . . ∂nfm . (1)
5. Uma norma num espa¸co vectorial V ´e uma fun¸c˜ao k · k : V → R+0 satisfazendo os seguintes
axiomas:
(i) kxk = 0 sse x = 0,
(iii) kx + yk ≤ kxk + kyk (Desigualdade triangular).
6. Se f : V → W ´e uma fun¸c˜ao entre espa¸cos vectoriais normados, dizemos que lim
x→af (x) = b
se
∀>0∃δ>0kx − akV < δ ⇒ kf (x) − bkW < .
Com esta no¸c˜ao de limite definimos as derivadas direccionais e derivadas de fun¸c˜oes entre espa¸cos vectoriais normados como acima.
7. Duas normas k · k1 e k · k2 num espa¸co vectorial V dizem-se equivalentes se existem
constantes A, B > 0 tais que para todo o x ∈ V
Akxk2 ≤ kxk1≤ Bkxk2.
Equivalentemente, duas normas s˜ao equivalentes se convergˆencia para 0 significa o mesmo em ambas as normas, ou ainda se cada norma ´e cont´ınua como fun¸c˜ao V → R+0 com
respeito `a no¸c˜ao de limite determinada pela outra norma.
8. Num espa¸co vectorial de dimens˜ao finita quaisquer duas normas s˜ao equivalentes. Em par-ticular, a no¸c˜ao de diferenciabilidade para uma fun¸c˜ao entre espa¸cos vectoriais de dimens˜ao finita ´e independente da escolha das normas nos espa¸cos em quest˜ao.
9. Se V ´e um espa¸co vectorial de dimens˜ao finita com base {v1, . . . , vm} e f : Rn→ V ´e uma
fun¸c˜ao diferenci´avel, escrevendo
f (x) =
m
X
i=1
fi(x)vi,
a derivada f0(a) (quando existe) ´e representada pela matriz (1) nas bases can´onica de Rn e {vi}mi=1de V .
10. Escreve-se L(V, W ) para o espa¸co vectorial das transforma¸c˜oes lineares entre os espa¸cos vectoriais V e W .
11. A fun¸c˜ao derivada de f : U ⊂ Rn → Rm ´e a fun¸c˜ao f0
: U → L(Rn; Rm) que associa a a a transforma¸c˜ao linear f0(a). Uma vez que L(Rn, Rm) ´e um espa¸co vectorial de dimens˜ao finita, podemos falar da derivada de f0 e mais geralmente definir a derivada de ordem k de f como uma fun¸c˜ao
f(k): U → L(Rn; L(Rn; (. . . ; L(Rn, Rm) . . .))). 12. Se V1, . . . , Vk, W s˜ao espa¸cos vectoriais, uma transforma¸c˜ao multilinear
f : V1× . . . × Vk→ W
´e uma fun¸c˜ao que satisfaz a equa¸c˜ao
f (v1, . . . , αvi+ βvi0, . . . , vk) = αf (v1, . . . , vi, . . . , vk) + βf (v1, . . . , vi0, . . . , vk),
ou seja, que ´e linear em cada vari´avel separadamente. As transforma¸c˜oes multilineares formam um espa¸co vectorial com a soma e o produto escalar definidos por
(αf + βg)(v1, . . . , vk) = αf (v1, . . . , vk) + βg(v1, . . . , vk).
13. H´a um isomorfismo can´onico L(V1; L(V2; W )) → L(V1, V2; W ) definido por
g 7→ ((v1, v2) 7→ (g(v1))(v2))
e com inverso
f 7→ (v1 7→ (v27→ f (v1, v2))) .
Mediante estes isomorfismos, a derivada de ordem k de uma fun¸c˜ao f : V → W identifica-se com uma transforma¸c˜ao multilinear
f(k): V × . . . × V → W.
14. O espa¸co vectorial V∗ = L(V ; R) diz-se o dual do espa¸co vectorial V . O espa¸co vectorial Tk(V ) = L(V, . . . , V ; R) diz-se o espa¸co dos tensores-k covariantes sobre V (portanto
V∗= T1(V )).
15. Se {e1, . . . , ek} ´e uma base para V , a base dual para V∗ ´e a base {e1, . . . , ek} definida por
ei n X j=1 αjej = αi.
16. Dados φ1, . . . , φk∈ V∗, escrevemos φ1⊗. . . φk∈ Tk(V ) para o tensor definido pela f´ormula
(φ1⊗ . . . ⊗ φk)(v1, . . . , vk) = φ1(v1)φ2(v2) . . . φk(vk).
17. Se {e1, . . . , en} ´e uma base para V ,
{ei1⊗ . . . ⊗ eik}n
i1,...,ik=1
´e uma base para Tk(V ).
18. Mais geralmente, se {ei,j}i=1,...,nj s˜ao bases para Vj e {fk}
m
k=1 ´e uma base para W , as
aplica¸c˜oes multilineares ei1
1 ⊗ . . . ⊗ e ik
k ⊗ fl: V1× . . . Vk → W
definidas pela f´ormula (ei1 1 ⊗ . . . ⊗ e ik k ⊗ fl)(v1, . . . , vk) = e i1 1(v1) . . . eikk(vk)fl
formam uma base para L(V1, . . . , Vk; W ).
19. As derivadas parciais de ordem 2 definem-se pela f´ormula ∂i∂jf = ∂2f ∂xi∂xj = ∂ ∂xi ∂f ∂xj
e analogamente para as derivadas de ordem superior.
20. Nas bases can´onicas {e1, . . . en} de Rn e {e1, . . . , en} de Rn∗, a segunda derivada de uma
fun¸c˜ao f : U ⊂ Rn→ R ´e representada pela matriz Hessiana de f
∂2f ∂x1∂x1 . . . ∂2f ∂x1∂xn . . . . ∂2f ∂x1∂xn . . . ∂2f ∂xn∂xn
21. Se f : U ⊂ Rn → Rm ´e uma fun¸c˜ao k vezes diferenci´avel em x ∈ U , todas as derivadas
parciais de ordem k existem em x e f(k)(x) ∈ Tk(Rn) ´e dada pela express˜ao f(k)(x) = m X j=1 n X i1,...,ik=1 ∂fj ∂xik. . . ∂xi1(x)e i1⊗ . . . eik⊗ e j.
22. Se V ´e um espa¸co vectorial de dimens˜ao finita, f : U ⊂ Rn → V diz-se de classe Ck se
as derivadas parciais de ordem menor ou igual a k das componentes fi de f numa base qualquer de V s˜ao fun¸c˜oes cont´ınuas.
23. Uma fun¸c˜ao de classe Ck ´e k vezes diferenci´avel.
24. Lema de Schwarz: Se f ´e de classe C2, ent˜ao ∂i∂jf = ∂j∂if .
25. Um tensor T ∈ Tk(V ) diz-se sim´etrico se
T (v1, . . . , vi, . . . , vj, . . . , vk) = T (v1, . . . , vj, . . . , vi, . . . , vk).
26. Se f : U ⊂ Rn→ R ´e de classe Ck, f(k) ´e um tensor sim´etrico.
27. Se f : U ⊂ Rn→ Rm ´e diferenci´avel em x
0 ∈ U , e g : V ⊂ Rm → Rp ´e diferenci´avel em
f (x0) ∈ V , ent˜ao g ◦ f : U ⊂ Rn→ Rp ´e diferenci´avel em x0 e
D(g ◦ f )(x0) = Dg(f (x0))Df (x0). Em coordenadas (x1, . . . , xn) em Rn e (y1, . . . , ym) em Rm, tem-se ∂gi ∂xj = m X k=1 ∂gi ∂yk ∂fk ∂xj (regra da cadeia).
28. F´ormula de Taylor: Se f : U ⊂ Rn→ R ´e de classe Ck e a + th ∈ U para t ∈ [0, 1], existe
θ ∈]0, 1[ tal que
f (a+h) = f (a)+f0(a)(h)+. . .+ 1 (k − 1)!f
(k−1)(a)(h, . . . , h)+ 1
k!f
(k)(a+θh)(h, . . . , h).
29. Se f : U ⊂ Rn→ R tem um extremo em a e f ´e diferenci´avel em a, ent˜ao f0(a) = 0. 30. Se f ´e diferenci´avel em a e f0(a) = 0, a diz-se um ponto de estacionariedade ou um ponto
cr´ıtico de f . Um ponto cr´ıtico que n˜ao ´e um ponto de extremo diz-se um ponto de sela. 31. Seja f de classe C2 e a um ponto cr´ıtico de f .
(i) Se f00(a)(h, h) > 0 para todo o h 6= 0 ent˜ao a ´e um ponto de m´ınimo relativo estrito de f .
(ii) Se f00(a)(h, h) < 0 para todo o h 6= 0 ent˜ao a ´e um ponto de m´aximo relativo estrito de f .
(iii) Se a ´e um ponto de m´ınimo, ent˜ao f00(a)(h, h) ≥ 0 para todo o h. (iv) Se a ´e um ponto de m´aximo, ent˜ao f00(a)(h, h) ≤ 0 para todo o h.
32. Uma vez que f00(a)(h, h) = htH(f )h onde H(f ) denota a matriz Hessiana de f , as condi¸c˜oes do ponto anterior s˜ao verificadas sse os valores pr´oprios (da matriz sim´etrica) H(f ) s˜ao
(i) todos positivos, (ii) todos negativos, (iii) todos ≥ 0, (iv) todos ≤ 0.
2. Teoremas da fun¸c˜ao inversa e ´ımplicita
1. O jacobiano de uma fun¸c˜ao diferenci´avel f : D ⊂ Rn→ Rn´e a fun¸c˜ao
J f (x) = det Df (x).
2. Teorema da fun¸c˜ao inversa Seja f : D ⊂ Rn→ Rnuma fun¸c˜ao de classe C1 com D aberto.
Se J f (a) 6= 0, ent˜ao existe um aberto W ⊂ D com a ∈ W tal que (i) f (W ) ´e um aberto,
(ii) f|W ´e injectiva,
(iii) f−1: f (W ) → W ´e de classe C1 e
Df−1(f (a)) = Df (a)−1.
3. Seja (V, k · k) um espa¸co normado. Uma sucess˜ao xnem V diz-se uma sucess˜ao de Cauchy
se
∀>0∃Nn, m > N ⇒ kxn− xmk < .
O espa¸co V diz-se completo ou um espa¸co de Banach se toda a sucess˜ao de Cauchy converge.
4. Seja D ⊂ V . Uma aplica¸c˜ao f : D → D diz-se uma contrac¸c˜ao se existe λ < 1 tal que kf (x1) − f (x2)k ≤ λkx1− x2k.
5. x diz-se um ponto fixo de uma aplica¸c˜ao f se f (x) = x.
6. Teorema do ponto fixo. Se (V, k · k) ´e um espa¸co completo, D ⊂ V ´e fechado e f : D → D ´e uma contrac¸c˜ao, ent˜ao f tem um ponto fixo ´unico.
7. Uma fun¸c˜ao f : A ⊂ Rn → Rm ´e cont´ınua se e s´o se para todo o aberto V ⊂ Rm, existe
um aberto W ⊂ Rn tal que
f−1(V ) = W ∩ A.
Recorde-se que f−1(V ) = {x ∈ A : f (x) ∈ V }. Uma intersec¸c˜ao de um aberto de Rn com A diz-se um aberto em A pelo que este resultado diz que uma fun¸c˜ao ´e cont´ınua sse transforma inversamente abertos em abertos.
8. Teorema da fun¸c˜ao impl´ıcita Seja F : U ⊂ Rn→ Rmuma fun¸c˜ao de classe C1com n > m.
Escrevemos (x, y) ∈ Rncom x ∈ Rn−me y ∈ Rm. Dado (x0, y0) ∈ U com F(x0, y0) = 0,
se
det∂F
∂y(x0, y0) 6= 0
existem abertos V ⊂ Rn−m e W ⊂ Rm com (x0, y0) ∈ V × W ⊂ U e uma fun¸c˜ao
g : V → W de classe C1 tal que
9. As derivadas da fun¸c˜ao impl´ıcita g no ponto x0 obtˆem-se derivando a equa¸c˜ao
F(x, g(x)) = 0. Obtemos a seguinte equa¸c˜ao matricial para a derivada de g:
∂F ∂x(x0, y0) + ∂F ∂y(x0, y0) ∂g ∂x(x0) = 0.
10. Se a fun¸c˜ao f no enunciado do Teorema da Fun¸c˜ao Inversa ´e de classe Ck(com 1 ≤ k ≤ ∞), o mesmo sucede com f−1 e analogamente, se a fun¸c˜ao F no enunciado do Teorema da Fun¸c˜ao Impl´ıcita ´e de classe Ck o mesmo sucede com a fun¸c˜ao g.
3. Variedades
1. O gr´afico de uma fun¸c˜ao f : D ⊂ Rm→ Rn−m ´e o conjunto
Graf(f ) = {(x, y) ∈ Rn: x ∈ D e y = f (x)}.
2. Um conjunto M ⊂ Rn ´e uma variedade diferenci´avel de dimens˜ao m ∈ {1, . . . , n − 1} e classe Ck (k ≥ 1) se para qualquer ponto x0 ∈ M existe uma vizinhan¸ca U 3 x0 e uma
fun¸c˜ao de classe Ck f : D ⊂ Rm→ Rn−m (D aberto) tais que
M ∩ U = Graf(f ) ∩ U para alguma ordena¸c˜ao das fun¸c˜oes coordenadas de Rn.
3. Uma variedade de dimens˜ao 0 ´e um conjunto do pontos isolados; uma variedade de dimens˜ao n em Rn ´e um conjunto aberto.
4. Variedades como conjuntos de n´ıvel. M ⊂ Rn ´e uma variedade diferenci´avel de dimens˜ao m e classe Ck sse para qualquer ponto x0 ∈ M existe um aberto U 3 x0 e uma fun¸c˜ao de
classe Ck F : U → Rn−m tais que (i) M ∩ U = {x ∈ U : F(x) = 0};
(ii) A caracter´ıstica de DF(x0) ´e n − m (ou seja, ´e m´axima).
5. Seja M ⊂ Rn uma variedade de dimens˜ao m, x ∈ M e U 3 x uma vizinhan¸ca aberta; g : V ⊂ Rm→ M ∩ U diz-se uma parametriza¸c˜ao de classe Cq de M ∩ U se
(i) g ´e uma bijec¸c˜ao de classe Cq,
(ii) A caracter´ıstica de Dg(t) ´e m para todo o t ∈ V , (iii) g−1: M ∩ U → V cont´ınua.1
A aplica¸c˜ao g−1: M ∩ U → V diz-se uma carta local para M e o conjunto M ∩ U diz-se uma vizinhan¸ca de coordenadas.
6. Variedades como conjuntos parametriz´aveis. Um subconjunto M ⊂ Rn ´e uma variedade-m de classe Ck sse para cada x ∈ M existe um aberto U ⊂ Rn contendo x e uma parametriza¸c˜ao g : V → M ∩ U de classe Ck com V um aberto de Rm.
7. Um caminho ´e uma aplica¸c˜ao cont´ınua g : I → Rncom I um intervalo de R. Um vector v ∈ Rn diz-se tangente a um conjunto X ⊂ Rn em x ∈ X se existe um caminho diferenci´avel g : (−, ) → X com g(0) = x e g0(0) = v.
1Isto ´
8. Se M ⊂ Rn´e uma variedade-m e x0 ∈ M , o conjunto Tx0M de todos os vectores tangentes
a M em x0 ´e um espa¸co vectorial de dimens˜ao m chamado o espa¸co tangente a x0 em M .
9. Se g : V → M ∩ U ´e uma parametriza¸c˜ao com g(t0) = x0, as colunas de Dg(t0) formam
uma base de Tx0M .
10. Se M ∩ U = {x ∈ U : F(x = 0} com F de classe C1 e DF(x) sobrejectiva, T
x0M ´e o
n´ucleo de DF(x0).
11. Se M ´e uma variedade e x0 ∈ M , o espa¸co normal a M em x0 ´e o complemento ortogonal
de Tx0M , e denota-se por T
⊥ x0M .
12. Se M ´e localmente definida pela equa¸c˜ao F(x) = 0 com F satisfazendo as condi¸c˜oes habituais, as linhas de DF(x0) formam uma base para Tx⊥0M .
13. M´etodo dos multiplicadores de Lagrange. Seja M uma variedade, f : U → R uma fun¸c˜ao diferenci´avel e x0 ∈ M ∩ U . Para que a restri¸c˜ao de f a M tenha um extremo em x0 ´e
necess´ario que ∇f (x0) ∈ Tx⊥0M .
Dito de outra forma, se U ´e um aberto contendo x0 e F : U → Rn−m ´e uma fun¸c˜ao de
classe C1 com derivada sobrejectiva e tal que M ∩ U = {x ∈ U : F(x) = 0}, existem λ1, . . . , λn−m∈ R chamados multiplicadores de Lagrange tais que
∇f (x0) + λ1∇F1(x0) + . . . + λn−m∇Fn−m(x0) = 0.
4. Integral de Riemann
1. I ⊂ Rn ´e um intervalo se I = I1 × . . . × In, onde cada Ik ´e um intervalo de R. I
´e limitado/aberto/fechado sse cada Ik ´e limitado/aberto/fechado. Se I ´e um intervalo
limitado com Ik= |ak, bk| (em que | designa aberto ou fechado), o seu volume n-dimensional
´e
Vn(I) = (b1− a1)(b2− a2) . . . (bn− an).
Uma parti¸c˜ao do intervalo limitado I ⊂ R ´e um conjunto finito P = P1× . . . × Pn, onde
cada Pk ´e uma parti¸c˜ao do intervalo Ik = |ak, bk| (i.e., Pk ´e um subconjunto finito de Ik
contendo ak, bk). Uma parti¸c˜ao de I subdivide I num n´umero finito de subintervalos Jα.
Uma fun¸c˜ao s : I → R diz-se uma fun¸c˜ao em escada se existe uma parti¸c˜ao P de I tal que s ´e constante (igual a sα) no interior de cada subintervalo Jα, sendo o seu integral o
n´umero real Z
I
s =X
α
sαVn(Jα). (2)
2. Uma parti¸c˜ao P0 diz-se um refinamento de P se P ⊂ P0.
3. O integral de uma fun¸c˜ao em escada definido em (2) ´e independente da parti¸c˜ao escolhida. 4. Seja I ⊂ Rn um intervalo limitado e f : I → R uma fun¸c˜ao limitada. O integral superior
de f em I ´e o n´umero real Z I f = inf Z I t : t ´e em escada e t(x) ≥ f (x) ∀x ∈ I . O integral inferior de f em I ´e o n´umero real
Z I f = sup Z I s : s ´e em escada e s(x) ≤ f (x) ∀x ∈ I .
A fun¸c˜ao f diz-se integr´avel `a Riemann em I se os seus integrais superior e inferior coinci-dem, e nesse caso define-se o seu integral como sendo
Z I f = Z I f = Z I f.
As seguintes nota¸c˜oes s˜ao tamb´em utilizadas para o integral de f : Z I f = Z I f dVn= Z I f (x)dVn(x) = Z I f x1, . . . , xn dx1. . . dxn.
5. Uma fun¸c˜ao em escada ´e integr´avel `a Riemann e o integral de Riemann ´e o n´umero definido pela f´ormula (2).
6. Se I ´e um intervalo limitado, P uma parti¸c˜ao de I e {Jα} s˜ao os subintervalos da parti¸c˜ao
escrevemos
mα= inf{f (x) : x ∈ int Jα}
e
Mα= sup{f (x) : x ∈ int Jα}.
A soma superior determinada pela parti¸c˜ao ´e U (f, P ) =X α MαVn(Jα) e a soma inferior ´e L(f, P ) =X α mαVn(Jα).
7. Seja I um intervalo limitado. Uma fun¸c˜ao limitada f : I → R ´e integr´avel `a Riemann sse para todo o > 0 existe uma parti¸c˜ao P de I tal que
U (f, P ) − L(f, P ) < .
8. Propriedades do integral. Sejam f, g : I → R fun¸c˜oes integr´aveis `a Riemann. (i) Se f (x) ≤ g(x) para todo o x ∈ I ent˜ao RIf ≤RIg.
(ii) Se α, β ∈ R, αf + βg ´e integr´avel em I e Z I (αf + βg) = α Z I f + β Z I g.
Ou seja, o conjunto das fun¸c˜oes integr´aveis `a Riemann ´e um espa¸co vectorial e o integral ´e uma transforma¸c˜ao linear.
(iii) |f | ´e integr´avel em I e R If ≤ R I|f |.
9. Uma fam´ılia {Uα} de subconjuntos de Rndiz-se uma cobertura de A ⊂ Rn se A ⊂SαUα.
A cobertura diz-se aberta se cada um dos conjuntos Uα⊂ Rn´e aberto. Uma subcobertura
de {Uα} ´e uma subfam´ılia de {Uα} que ´e ainda uma cobertura de A.
10. Diz-se que um conjunto A ⊂ Rn tem conte´udo nulo se para todo o > 0 existe uma cobertura de A por uma fam´ılia finita {I1, . . . , Ik} de intervalos limitados tal que
k
X
j=1
11. Diz-se que um conjunto A ⊂ Rntem medida nula se para todo o > 0 existe uma cobertura de A por uma fam´ılia cont´avel {I1, . . . , Ik, . . .} de intervalos limitados tal que
∞
X
j=1
Vn(Ij) < .
12. Propriedades dos conjuntos de conte´udo nulo e medida nula. (i) Se A tem conte´udo nulo ent˜ao tem medida nula. (ii) Um conjunto com conte´udo nulo ´e limitado.
(iii) Se A ⊂ B e B tem conte´udo (medida) nulo, ent˜ao A tamb´em tem. (iv) Uma uni˜ao finita de conjuntos com conte´udo nulo tem conte´udo nulo.
(v) Uma uni˜ao cont´avel de conjuntos com medida nula tem medida nula.
(vi) O gr´afico de uma fun¸c˜ao cont´ınua f : I → R com I ⊂ Rnum intervalo compacto tem conte´udo nulo em Rn+1.
(vii) O gr´afico de uma fun¸c˜ao cont´ınua f : I ⊂ Rn→ R com I um intervalo qualquer, tem medida nula em Rn+1.
(viii) Um intervalo de Rn com interior n˜ao vazio n˜ao tem conte´udo nulo.
13. Teorema de Heine-Borel: Um subconjunto A ⊂ Rn´e compacto sse toda a cobertura aberta de A tem uma subcobertura finita.
14. Se A ⊂ Rn ´e compacto, ent˜ao A tem medida nula sse A tem conte´udo nulo. 15. Se A ⊂ Rn tem interior n˜ao vazio, ent˜ao A n˜ao tem medida nula.
16. Seja f : U ⊂ Rn→ R uma fun¸c˜ao limitada. A oscila¸c˜ao de f em D ⊂ U ´e o n´umero real n˜ao negativo o(f, D) = sup x∈D f (x) − inf x∈Df (x). A oscila¸c˜ao de f no ponto x ∈ U ´e o(f, x) = lim δ→0+o(f, Bδ(x) ∩ U ).
17. Uma fun¸c˜ao f ´e cont´ınua em x sse o(f, x) = 0.
18. Seja A ⊂ Rn e P (x) uma proposi¸c˜ao dependente do ponto x. Diz-se que P ´e v´alida quase em toda a parte em A (abreviado q.t.p. em A) se
{x ∈ A : P (x) n˜ao ´e v´alida.} tem medida nula em Rn.
19. Crit´erio de integrabilidade de Lebesgue. Seja I ⊂ Rn um intervalo compacto. Uma fun¸c˜ao limitada f : I → R ´e integr´avel `a Riemann sse f ´e cont´ınua quase em toda a parte em I. 20. A fun¸c˜ao caracter´ıstica de um conjunto A ⊂ Rn ´e a fun¸c˜ao
χA(x) =
(
1 se x ∈ A 0 caso contr´ario.
21. Um conjunto limitado A ⊂ Rn diz-se mensur´avel `a Jordan se a fun¸c˜ao χA ´e integr´avel
nalgum intervalo limitado I ⊃ A (esta defini¸c˜ao ´e independente da escolha de I). O conte´udo ou volume n-dimensional de A ´e
Vn(A) =
Z
I
χA.
22. Seja I ⊂ Rn um intervalo limitado, f : I → R uma fun¸c˜ao limitada e A ⊂ I. Define-se o integral de f em A por Z A f = Z I f χA.
Esta defini¸c˜ao depende apenas de A e n˜ao do intervalo I.
23. Se f, g s˜ao integr´aveis em I, f g ´e integr´avel. Em particular, se f ´e integr´avel em I e A ⊂ I ´e mensur´avel `a Jordan, f ´e integr´avel em A.
24. Um conjunto A ⊂ Rn´e mensur´avel `a Jordan sse A ´e limitado e front(A) tem medida nula. 25. Seja J a fam´ılia dos subconjuntos mensur´aveis `a Jordan em Rn. Dados A, B ∈ J tem-se
(i) A ∩ B ∈ J , (ii) A \ B ∈ J , (iii) A ∪ B ∈ J ,
(iv) Se A ∩ B = ∅, ent˜ao Vn(A ∪ B) = Vn(A) + Vn(B).
26. Teorema de Fubini. Sejam I ⊂ Rn e J ⊂ Rm s˜ao intervalos limitados e f : I × J → R ´e uma fun¸c˜ao integr´avel, ent˜ao
Z I×J f = Z I Z J fx = Z I Z J fx ! .
onde para x ∈ I, a fun¸c˜ao fx: J → R ´e definida por fx(y) = f (x, y). Analogamente
tem-se Z I×J f = Z J Z I fy = Z J Z I fy ! . 27. As seguintes nota¸c˜oes s˜ao usadas para o integral de f : A → R:
Z A f = Z A f (x1, . . . , xn)dx1. . . dxn= Z · · · Z A f (x1, . . . , xn)dx1. . . dxn= Z A f (x)dVn(x).
28. Aplica¸c˜oes do integral.
(i) O volume n-dimensional de A ´e
Vn(A) =
Z
A
1, (ii) A m´edia de uma fun¸c˜ao f : A → R ´e
f = 1
Vn(A)
Z
A
(iii) Se ρ : A → R+´e a densidade de massa, ent˜ao a massa de A ´e M =
Z
A
ρ (iv) A coordenada k do centro de massa de A ´e
xkCM = 1 M
Z
A
xkρ, (v) A coordenada k do centr´oide ´e
xk = 1
Vn(A)
Z
A
xk, (vi) O momento de in´ercia de A em rela¸c˜ao ao eixo ` ´e
I`=
Z
A
ρd2` onde d` ´e a fun¸c˜ao distˆancia ao eixo `.
29. Seja I ⊂ Rnum intervalo compacto, f : I×]a, b[→ R uma fun¸c˜ao cont´ınua. Ent˜ao a fun¸c˜ao ϕ : ]a, b[→ R definida pela express˜ao
ϕ(t) = Z
I
f (x, t)dVn(x)
´e cont´ınua.
30. Regra de Leibniz. Seja I ⊂ Rn um intervalo compacto, e f : I×]a, b[→ R uma fun¸c˜ao cont´ınua e tal que ∂n+1f existe e ´e cont´ınua em I×]a, b[. Ent˜ao a fun¸c˜ao ϕ : ]a, b[→ R
definida por ϕ(t) = Z I f (x, t)dVn(x) ´e de classe C1 e ϕ0(t) = Z I ∂n+1f (x, t)dVn(x).
31. O suporte de uma fun¸c˜ao f : U ⊂ Rn→ R ´e
supp(f ) = f−1(R \ {0}) ⊂ Rn.
32. Teorema da parti¸c˜ao da unidade. Seja A ⊂ Rn e U uma cobertura aberta de A. Ent˜ao existe uma fam´ılia Φ de fun¸c˜oes ϕ : Rn → R de classe C∞ e suporte compacto com as
seguintes propriedades:
(i) 0 ≤ ϕ(x) ≤ 1 para todo o x ∈ Rn,
(ii) Para cada x ∈ Rn existe um aberto Ux tal que apenas um n´umero finito de ϕ ∈ Φ
n˜ao se anula identicamente em Ux.
(iii) Para cada x ∈ A tem-se
X
ϕ∈Φ
φ(x) = 1 (Note-se que esta soma ´e finita por (ii)).
(iv) Para cada ϕ ∈ Φ existe um aberto U ∈ U tal que supp(ϕ) ⊂ U . Φ diz-se uma parti¸c˜ao da unidade subordinada a U .
33. (i) Se A ⊂ Rn ´e compacto, qualquer parti¸c˜ao da unidade Φ para A cont´em apenas um n´umero finito de fun¸c˜oes que n˜ao se anulam identicamente num aberto contendo A. (ii) Em qualquer parti¸c˜ao da unidade Φ h´a no m´aximo um conjunto cont´avel de ϕ ∈ Φ
que n˜ao se anulam identicamente.
34. Uma cobertura aberta U de um aberto A ⊂ Rn diz-se admiss´ıvel se A = ∪U ∈UU.
35. Uma fun¸c˜ao f : A → R diz-se localmente integr´avel se para todo o x ∈ A existe um intervalo aberto limitado Ixcontendo x tal que f|Ix´e integr´avel (ou seja, limitada e cont´ınua
q.t.p.).
36. Seja A ⊂ Rn um aberto, f : A → R uma fun¸c˜ao localmente integr´avel, U uma cobertura admiss´ıvel de A e Φ uma parti¸c˜ao da unidade para A subordinada a Φ. Ent˜ao f diz-se integr´avel em A se a s´erie de termos positivos
X
ϕ∈Φ
Z
A
ϕ|f |
converge e nesse caso define-se o integral de f por X
ϕ∈Φ
Z
A
ϕf.
37. Seja A um aberto e f : A → R uma fun¸c˜ao localmente integr´avel.
(i) Se f ´e integr´avel no sentido do item anterior e Ψ ´e outra parti¸c˜ao da unidade para A subordinada `a cobertura admiss´ıvel U0, ent˜ao
X ψ∈Ψ Z A |ψf | < ∞ e X ϕ∈Φ Z A ϕf = X ψ∈Ψ Z A ψf. (ii) Se A ´e limitado e f : A → R ´e limitada, ent˜ao f ´e integr´avel.
(iii) Se A ´e mensur´avel `a Jordan e f : A → R ´e limitada, as duas defini¸c˜oes de integral de f est˜ao de acordo.
38. Uma transforma¸c˜ao de coordenadas ´e uma aplica¸c˜ao de classe C1, g : A ⊂ Rn→ Rn com
A aberto tal que g ´e injectiva e J g(t) 6= 0.
39. Teorema de mudan¸ca de vari´avel. Seja g : A ⊂ Rn → Rn uma transforma¸c˜ao de
coorde-nadas. Ent˜ao Z A f = Z g−1(A) f ◦ g|J g|
onde a igualdade significa que f ´e integr´avel em A sse f ◦ g|J g| ´e integr´avel em g−1(A) e nesse caso os integrais coincidem.
5. Formas diferenciais
1. Se T ∈ Tk(V ) e S ∈ Tl(V ), o produto tensorial de T e S ´e o tensor T ⊗ S ∈ Tk+l(V ) definido por
(T ⊗ S)(v1, . . . , vk+l) = T (v1, . . . , vk)S(vk+1, . . . , vk+l).
2. Propriedades do produto tensorial: (i) (S + T ) ⊗ U = S ⊗ U + T ⊗ U , (ii) S ⊗ (T + U ) = S ⊗ T + S ⊗ U , (iii) (cS) ⊗ T = c(S ⊗ T ) = S ⊗ (cT ), (iv) S ⊗ (T ⊗ U ) = (S ⊗ T ) ⊗ U ,
(v) S ⊗ T 6= T ⊗ S em geral.
3. Se f : V → W ´e uma aplica¸c˜ao linear, o pullback de T ∈ Tk(W ) por f ´e o tensor f∗(T ) ∈
Tk(V ) definido por
f∗(T )(v1, . . . , vk) = T (f (v1), . . . , f (vk)).
Tem-se
f∗(T ⊗ S) = f∗(T ) ⊗ f∗(S)
4. Um tensor ω ∈ Tk(V ) diz-se alternante, ou anti-sim´etrico, ou um covector -k se ω(v1, . . . , vi, . . . , vj, . . . , vk) = −ω(v1, . . . , vj, . . . , vi, . . . , vk).
Os tensores alternantes formam um subespa¸co vectorial de Tk(V ) designado por Λk(V ). 5. O conjunto das permuta¸c˜oes do conjunto {1, . . . , k} ´e designado por Σk. Este conjunto ´e
dotado de um produto (composi¸c˜ao de permuta¸c˜oes) que ´e associativo e dispˆoes de inversos (ou seja Σk com o produto de composi¸c˜ao ´e um grupo).
Uma transposi¸c˜ao ´e uma permuta¸c˜ao diferente da identidade que afecta apenas dois ele-mentos i, j ∈ {1, . . . , k}. Qualquer permuta¸c˜ao se pode escrever como uma composi¸c˜ao de transposi¸c˜oes
σ = τ1. . . τN
(n˜ao de forma ´unica). O sinal da permuta¸c˜ao σ ´e sgn σ = (−1)N.
A paridade do n´umero de transposi¸c˜oes na factoriza¸c˜ao de uma permuta¸c˜ao ´e independente da factoriza¸c˜ao pelo que o sinal da permuta¸c˜ao est´a bem definido.
Note-se que sgn(σ) sgn(η) = sgn(ση).
6. Um tensor T ∈ Tk(V ) ´e alternante sse para todo o σ ∈ Σk se tem
T (v1, . . . , vk) = sgn(σ)T (vσ(1), . . . , vσ(k)). 7. Define-se a aplica¸c˜ao Alt : Tk(V ) → Tk(V ) pela f´ormula Alt(T )(v1, . . . , vk) = 1 k! X σ∈Σk sgn(σ)T (vσ(1), . . . , vσ(k)).
8. Propriedades de Alt:
(i) Se T ∈ Tk(V ), ent˜ao Alt(T ) ∈ Λk(V ), (ii) Alt ´e linear,
(iii) Se T ∈ Λk(V ) ent˜ao Alt(T ) = T .
Ou seja, Alt ´e uma projec¸c˜ao de Tk(V ) no subespa¸co Λk(V ). 9. O produto exterior de ω ∈ Λk(V ) e η ∈ Λl(V ) ´e o covector-k + l
ω ∧ η = (k + l)!
k! l! Alt(ω ⊗ η) ∈ Λ
k+l(V ).
10. Propriedades do produto exterior: (i) ω ∧ (α + β) = ω ∧ α + ω ∧ β, (ii) ω ∧ (cα) = c(ω ∧ α),
(iii) Se ω ∈ Λk(V ) e η ∈ Λl(V ), ent˜ao ω ∧ η = (−1)klη ∧ ω.
(iv) ω ∧ (η ∧ θ) = (ω ∧ η) ∧ θ,
(v) Se f : V → W ´e uma aplica¸c˜ao linear, ent˜ao f∗(ω ∧ η) = f∗(ω) ∧ f∗(η). 11. Se {ϕ1, . . . , ϕn} ´e uma base para V∗ = Λ1(V ), ent˜ao
{ϕi1∧ . . . ∧ ϕik: 1 ≤ i
1 < . . . < ik≤ n}
´e uma base para Λk(V ). Em particular
dim Λk(V ) =n k e Λk(V ) = {0} para k > n. 12. Dados ϕi ∈ Λ1(V ) tem-se ϕ1∧ . . . ∧ ϕk= X σ∈Σk sgn(σ)ϕσ(1)⊗ . . . ⊗ ϕσ(k).
13. O tensor alternante (v1, . . . , vn) 7→ det[v1. . . vn] que designamos simplesmente por det ´e
uma base de Λn(Rn).
14. Seja V um espa¸co de dimens˜ao n e ω ∈ Λn(V ). Se {v1, . . . , vn}, {w1, . . . , wn} ⊂ V e
wi = n X j=1 ajivj ent˜ao ω(w1, . . . , wn) = det(aij)ω(v1, . . . , vn).
15. Diz-se que duas bases {vi} e {wi} de V tˆem a mesma orienta¸c˜ao se, quando escrevemos
wi =Pnj=1a j
ivj, obtemos det(aij) > 0. Caso contr´ario diz-se que as bases tˆem a orienta¸c˜ao
oposta.
16. Uma orienta¸c˜ao de um espa¸co vectorial ´e um conjunto de bases
[v1, . . . , vn] = { {w1, . . . , wn} : {wi}ni=1 tem a mesma orienta¸c˜ao que {vi}ni=1 }.
17. Um elemento ω ∈ Λn(V ) \ 0 determina uma orienta¸c˜ao de V {{w1, . . . , wn} : ω(w1, . . . , wn) > 0}.
Consequentemente uma orienta¸c˜ao de V corresponde precisamente a um elemento n˜ao nulo de Λn(V ) a menos de multiplica¸c˜ao por um escalar positivo.
18. Se V ´e um espa¸co vectorial de dimens˜ao n com um produto interno e uma orienta¸c˜ao, o elemento volume de V ´e o ´unico elemento ω ∈ Λn(V ) tal que
ω(v1, . . . , vn) = 1
para toda a base ortonormada {v1, . . . , vn} com a orienta¸c˜ao dada de V .
19. O elemento volume de Rncom o produto interno usual e a orienta¸c˜ao can´onica [e1, . . . , en]
´e o determinante.
20. Temos a seguinte f´ormula para os elementos da base can´onica de Λk(Rn): (ei1∧ . . . ∧ eik)(v
1, . . . , vk) = det(v ij
l )
Isto ´e, se (vlm) ´e a matriz n × k que tem por colunas as componentes dos vi, ei1∧ . . . ∧ eik
calcula o determinante da matriz k × k desta matriz determinada pelas linhas (i1, . . . , ik)
de (vlm). Em particular
det = e1∧ . . . ∧ en.
21. H´a uma identifica¸c˜ao natural entre um espa¸co vectorial V de dimens˜ao finita e o dual do seu dual (V∗)∗ dada por
v 7→ (ϕ 7→ ϕ(v)) .
Se {v1, . . . , vm} ´e uma base de V e {ϕ1, . . . , ϕn} ´e a base dual de V∗, ent˜ao a aplica¸c˜ao
anterior envia vi no i-´esimo elemento da base de (V∗)∗ dual a {ϕ1, . . . , ϕn}.
22. Um multivector -k ´e um elemento de Λk(V∗). Identificamos os multivectores-1 com os vectores pelo isomorfismo do ponto anterior, logo se {v1, . . . , vn} ´e uma base para V , uma
base para Λk(V∗) ´e dada por
{vi1 ∧ . . . ∧ vik: 1 ≤ i1< . . . < ik≤ n} .
23. Se U ⊂ Rn´e um aberto, o espa¸co tangente a U ´e o conjunto
T U = a
p∈U
Tp(U ) ∼= U × Rn
onde` denota a uni˜ao disjunta. Escrevemos vp para o elemento (p, v) em TpU ⊂ T U .
24. Da mesma maneira definimos
Λk(T U ) = a
p∈U
Λk(Tp(U )) ∼= U × Λk(Rn)
25. Um campo vectorial em U ´e uma aplica¸c˜ao ~F : U → T U da forma ~
F (p) = (F1(p), . . . , Fn(p))p
Uma forma diferencial de grau k ou simplesmente uma forma-k ´e uma aplica¸c˜ao ω : U → Λk(T U )
que associa a p ∈ U um covector ωp ∈ Λk(TpU ). Qualquer forma diferencial se pode
escrever de maneira ´unica na forma
ω(x) = X
i1<...<ik
ωi1...ik(x)e
i1
x ∧ . . . ∧ eixk
com ωi1...ik: U → R. A forma diz-se de classe C
m se as suas componentes ω
i1...ik s˜ao
fun¸c˜oes de classe Cm. O espa¸co vectorial das formas-k de classe C∞em U ´e denotado por Ωk(U ).
26. Por conven¸c˜ao, uma forma-0 ´e uma fun¸c˜ao. Assim Ω0(U ) = C∞(U ). Tamb´em por con-ven¸c˜ao, o produto exterior de uma forma-0 g por uma forma-k ω ´e simplesmente o produto
g ∧ ω = gω.
27. Se f : U → R ´e uma fun¸c˜ao diferenci´avel, a sua derivada exterior ´e a forma-1 determinada pela express˜ao
vp 7→
∂f ∂v(p).
Em termos da base can´onica de Λ1(TpE) = (TpE)∗ a derivada exterior escreve-se
df = n X i=1 ∂f ∂xi e i.
Note-se que se f ´e a i-´esima fun¸c˜ao coordenada (x1, . . . , xn) 7→ xi
ent˜ao df ´e a forma diferencial que associa a cada p ∈ U o covector eip. Esta forma diferencial ´e denotada por dxi e por essa raz˜ao qualquer forma-k se escreve
ω(x) = X
i1<...<ik
ωi1...ik(x)dx
i1 ∧ . . . ∧ dxik.
28. Sejam U ⊂ Rn, V ⊂ Rm s˜ao abertos, f : U → V ´e C∞ e ω ∈ Ωk(V ). A derivada de f determina para cada x uma aplica¸c˜ao
TxU → Tf (x)V
dada pela express˜ao
vx 7→ (Df (x)v)f (x).
Para k ≥ 1 definimos o pull-back de ω por f ´e a forma-k f∗ω ∈ Ωk(U ) definida por f∗ω(x)(v1, . . . , vk) = ω(f (x))(Df (x)v1, . . . , Df (x)vk)
para v1, . . . , vk∈ TxU .
29. Propriedades do pull-back: (i) f∗(ω + η) = f∗ω + f∗η; (ii) f∗(ω ∧ η) = f∗ω ∧ f∗η; (iii) f∗g∗ω = (g ◦ f )∗(ω).
30. Se U ⊂ Rn e f : U → Rn ´e uma fun¸c˜ao de classe C∞, tem-se
f∗(h(x)dx1∧ . . . ∧ dxn) = det Df (x)h(x)dx1∧ . . . ∧ dxn. 31. Se U ⊂ Rn´e aberto e ω ∈ Ωk(U ), ω(x) = X 1≤i1<...<ik≤n ωi1...ik(x)dx i1 ∧ . . . ∧ dxik,
a sua derivada exterior dω ∈ Ωk+1(U ) ´e dada por
dω = X 1≤i1<...<ik≤n n X i=1 ∂iωi1...ikdx i∧ dxi1 ∧ . . . ∧ dxik.
32. Propriedades da derivada exterior: (i) d(ω + η) = dω + dη;
(ii) d(ω ∧ η) = dω ∧ η + (−1)kω ∧ dη, onde ω ∈ Ωk(Rn); (iii) d(dω) = 0 (abreviadamente, d2 = 0);
(iv) d(f∗ω) = f∗(dω).
33. Seja U ⊂ Rn. Uma forma ω ∈ Ωk(U ) diz-se fechada se dω = 0. Diz-se exacta se existe η ∈ Ωk−1(U ) tal que dη = ω. Nesse caso diz-se que η ´e um potencial para ω.
34. Uma forma exacta ´e fechada.
35. Um conjunto A ⊂ Rn diz-se um conjunto em estrela se existe a ∈ A tal que para todo o
x ∈ A se tem
{ta + (1 − t)x : t ∈ [0, 1]} ⊂ A.
36. Lema de Poincar´e: Se U ⊂ Rn ´e um conjunto em estrela, ent˜ao toda a forma fechada em U ´e exacta.
37. Se U ⊂ R3, as formas-3 podem ser identificadas com fun¸c˜oes f (x, y, z)dx ∧ dy ∧ dz ←→ f (x, y, z) as formas-1 com campos vectoriais
ωF = F1(x, y, z)dx + F2(x, y, z)dy + F3(x, y, z)dz ←→ F = (F1, F2, F3)
e as formas-2 tamb´em com campos vectoriais
ΩF = F1(x, y, z)dy ∧ dz + F2(x, y, z)dz ∧ dx + F3(x, y, z)dx ∧ dy ←→ F = (F1, F2, F3).
i. O gradiente de uma fun¸c˜ao f ´e o campo vectorial grad f = ∇f definido por ω∇f = df ou seja ∇f = ∂f ∂x, ∂f ∂y, ∂f ∂z .
ii. O rotacional de um campo vectorial ~F ´e o campo vectorial rot ~F = ∇ × ~F definido por Ω∇× ~F = dωF~ ou seja ∇ × ~F = e1 e2 e3 ∂ ∂x ∂ ∂y ∂ ∂z F1 F2 F3 = ∂F 3 ∂y − ∂F2 ∂z , − ∂F3 ∂x + ∂F1 ∂z , ∂F2 ∂x − ∂F1 ∂y
iii. A divergˆencia de um campo vectorial ~F ´e a fun¸c˜ao div ~F = ∇ · ~F definida por dΩF~ = (div ~F )dx ∧ dy ∧ dz ou seja div ~F = ∇ · ~F = ∂F 1 ∂x + ∂F2 ∂y + ∂F3 ∂z .
iv. Tem-se rot grad f = 0, div rot ~F = 0. Se rot ~F = 0 diz-se que ~F ´e um campo fechado, e se existe f tal que ~F = grad f diz-se que ~F ´e um campo gradiente ou conservativo e que f ´e um potencial escalar para ~F . Um campo ~F tal que div ~F = 0 diz-se solenoidal. Se existe ~A tal que ~F = rot ~A, ~A chama-se um potencial vector para ~F .
6. Integra¸c˜ao em variedades
1. Seja M uma variedade de classe Ck e gi: Ui→ M com i = 1, 2 parametriza¸c˜oes de classe
Ck com g1(U1) ∩ g2(U2) 6= ∅. Ent˜ao
g−12 ◦ g1: g−11 (g1(U1) ∩ g2(U2)) → g−12 (g1(U1) ∩ g2(U2))
´e uma fun¸c˜ao de classe Ck e J (g2−1◦ g1)(t) 6= 0.
2. Uma orienta¸c˜ao µ de uma variedade M consiste numa escolha de orienta¸c˜ao µp para cada
espa¸co tangente TpM satisfazendo a seguinte condi¸c˜ao
• Para qualquer parametriza¸c˜ao g : U → M com U ⊂ Rm conexo e t, s ∈ U
µg(t)= [∂1g(t), . . . , ∂mg(t)] sse µg(s) = [∂1g(s), . . . , ∂mg(s)]
onde [v1, . . . , vm] designa a orienta¸c˜ao determinada pela base {v1, . . . , vm}.
3. Se g : U → M ´e uma parametriza¸c˜ao,
µg(t) = [∂1g(t), . . . , ∂mg(t)]
determina uma orienta¸c˜ao da vizinhan¸ca de coordenadas g(U ), dita a orienta¸c˜ao induzida por g.
4. Se µ ´e uma orienta¸c˜ao para M e a orienta¸c˜ao induzida por uma parametriza¸c˜ao g coincide com µ em g(U ) diz-se que g ´e compat´ıvel com a orienta¸c˜ao µ.
5. Seja M ⊂ Rn uma variedade-m. As seguintes afirma¸c˜oes s˜ao equivalentes: (i) M ´e orient´avel,
(ii) Existe ω ∈ Ωm(Rn) tal que ω|TpM 6= 0 para todo o p ∈ M ,
(iii) Existe ω ∈ Ωm(Rn) tal que g∗ω(t) 6= 0 para toda a parametriza¸c˜ao g e parˆametro t. (iv) Para quaisquer duas parametriza¸c˜oes gi: Ui → M com i = 1, 2, J (g−12 ◦ g1)(t) tem
sinal constante.
(v) Existe uma cobertura de M por vizinhan¸cas de coordenadas gi(Ui) tais que J (g−1i ◦
gj)(t) > 0 sempre que esta fun¸c˜ao esteja definida.
6. Uma forma ω ∈ Ωm(Rn) tal que ω|TpM 6= 0 para todo o p determina a orienta¸c˜ao µp
formada pelas bases {v1, . . . , vm} de TpM para as quais
ωp(v1, . . . , vm) > 0.
7. Uma variedade orient´avel conexa tem exactamente duas orienta¸c˜oes.
8. Uma variedade-1 ´e orient´avel sse admite um campo vectorial tangente cont´ınuo e que nunca se anula. 2
9. Uma variedade-(n − 1) em Rn ´e orient´avel sse admite um campo vectorial normal n : M → Rn com n(p) ∈ Tp(M )⊥
cont´ınuo e que nunca se anula.
A orienta¸c˜ao µp determinada pelo vector normal n(p) ´e a determinada pela forma Ωn ∈
Ωn−1(M ). Equivalentemente, µ
p ´e formada pelas bases {v1, . . . , vn−1} de TpM tais que
n(p) · (v1× . . . × vn−1) > 0.
10. A orienta¸c˜ao positiva de Rn ´e a orienta¸c˜ao determinada pela base can´onica, ou equivalen-temente, a orienta¸c˜ao determinada pela forma dx1∧ . . . ∧ dxn. Se U ⊂ Rn ´e um aberto,
U+ designa o aberto U com a orienta¸c˜ao positiva. Se ω = f (x)dx1 ∧ . . . ∧ dxn ´e uma
forma-m define-se Z U+ ω = Z U f.
11. Seja M uma variedade-m com orienta¸c˜ao µ, g : U → M uma parametriza¸c˜ao compat´ıvel com a orienta¸c˜ao, A ⊂ g(U ), e ω ∈ Ωm(A). Define-se o integral da forma-m ω sobre a
variedade M com orienta¸c˜ao µ pela f´ormula Z Mµ ω = Z U+ g∗(ω).
O integral ´e independente da escolha de parametriza¸c˜ao compat´ıvel com a orienta¸c˜ao. Al´em disso, designando por −µ a orienta¸c˜ao oposta a µ tem-se
Z M−µ ω = − Z Mµ ω.
12. Seja M uma variedade-m com orienta¸c˜ao µ, U = {gi(Ui)} uma cobertura numer´avel de
M por vizinhan¸cas de coordenadas e Φ uma parti¸c˜ao da unidade subordinada `a cobertura U . Se A ⊂ M e ω ∈ Ωm(A), diz-se que ω ´e integr´avel em A se a s´erie
X
φi∈Φ
Z
Ui∩g−1i (A)
|g∗i(φiω)|
converge e nesse caso define-se o integral Z Aµ ω = X φi∈Φ Z A∩gi(Ui)µ φiω.
Esta defini¸c˜ao ´e independente das escolhas da cobertura e da parti¸c˜ao da unidade.
13. ´E poss´ıvel demonstrar que se M ´e uma variedade-m existe uma vizinhan¸ca de coordenadas U tal que M \ U tem medida m-dimensional nula (isto ´e a imagem deste conjunto por qualquer carta tem medida m-dimensional nula), logo para calcular um integral de uma forma nunca ´e necess´ario recorrer a uma parti¸c˜ao da unidade.
14. Seja M uma variedade-m em Rncom uma orienta¸c˜ao µ. O elemento de volume de M dVm
´e a forma-m sobre M que associa a cada p ∈ M o elemento volume de TpM determinado
pela orienta¸c˜ao µp e pelo produto interno em Rn restrito a TpM .
15. Se g : U → M ´e uma parametriza¸c˜ao compat´ıvel com a orienta¸c˜ao de M e dVm ´e o
elemento volume de M , tem-se g∗(dVm) =
q
det(gij)dt1∧ . . . ∧ dtm
onde (gij) = (∂ig · ∂jg) = DgtDg.
16. Se M ´e uma variedade-1 o elemento volume tamb´em se escreve ds e a f´ormula anterior ´e g∗(ds) = kg0(t)kdt.
17. Se M ´e uma variedade-(n − 1) em Rn, tem-se
g∗(dVn−1) = k∂1g × . . . × ∂n−1gkdt1∧ . . . dtn−1.
Se n = 3 o elemento de volume tamb´em se escreve dS.
18. Se M ´e uma variedade-m em Rn com orienta¸c˜ao µ e A ⊂ M define-se o integral de uma fun¸c˜ao (ou campo escalar) f : A → R por
Z A f = Z Aµ f dVm
19. Uma vez que existe sempre uma vizinhan¸ca de coordenadas U de M cujo complementar tem medida m-dimensional nula, pode definir-se o integral de um campo escalar sobre uma variedade n˜ao orient´avel por meio do integral de f sobre U .
20. Aplica¸c˜oes do integral de um campo escalar: (i) O volume m dimensional de M ´e Vm(M ) =
R
M1,
(ii) As coordenadas do centr´oide de M s˜ao dadas por xi= 1 Vm(M ) Z M xi.
(iii) Se σ : M → R+´e uma fun¸c˜ao densidade de massa, a massa de M ´e dada pelo integral M =
Z
M
σ. (iv) As coordenadas do centro de massa s˜ao dadas por
xiCM = 1 M
Z
M
xiσ. (v) O momento de in`ercia de M em rela¸c˜ao ao eixo ` ´e
I`=
Z
M
σd2` onde d` ´e a fun¸c˜ao distˆancia ao eixo.
21. Integral de linha de um campo vectorial. Seja M uma variedade-1 em Rn com orienta¸c˜ao µ e ~F : M → Rn. Define-se o integral de linha de ~F ao longo de M percorrida no sentido
determinado por µ pela f´ormula Z M ~ F · d~r = Z Mµ ωF~
onde ωF~ = F1dx1+ . . . + Fndxn. Se ~t : M → Rn´e um campo vectorial tangente unit´ario
tal que ~t(p) ∈ µp para cada p ∈ M , tem-se
Z M ~ F · d~r = Z M ( ~F · ~t) ds.
Se g : ]a, b[→ M ´e uma parametriza¸c˜ao compat´ıvel com a orienta¸c˜ao µ tem-se Z g(]a,b[) ~ F · d~r = Z b a ~ F (g(t)) · g0(t)dt.
22. Interpreta¸c˜ao f´ısica do integral de linha. Se ~F ´e um campo de for¸cas e M a traject´oria de uma part´ıcula, RMF · d~~ r representa o trabalho realizado pela for¸ca ~F sobre a part´ıcula ao longo da traject´oria.
23. Fluxo de um campo vectorial atrav´es de uma hiper-superf´ıcie. Seja M uma variedade-(n−1) em Rne ~n : M → Rn um campo vectorial normal unit´ario. O fluxo de ~F atrav´es de M no sentido dado por ~n ´e
Z M ~ F · ~ndVn−1= Z Mµ ΩF~
onde ΩF~ = F1dx2∧ . . . ∧ dxn+ . . . + (−1)n−1Fndx1∧ . . . ∧ dxn−1 e µ denota a orienta¸c˜ao
de M determinada por ~n. Como a nota¸c˜ao indica, o fluxo coincide com o integral do campo escalar ~F · ~n sobre M .
24. Interpreta¸c˜ao f´ısica do fluxo. Se ~F = ρ~v ´e a densidade de fluxo de um fluido (onde ρ denota a densidade e ~v a velocidade) ent˜ao o fluxo de ~F atrav´es de uma superf´ıcie M ´e a quantidade de mat´eria que atravessa a superf´ıcie por unidade de tempo.
25. Se M ⊂ Rn´e uma variedade-(n − 1) e g : U → M ´e uma parametriza¸c˜ao compat´ıvel com a orienta¸c˜ao induzida pela normal unit´aria ~n, tem-se
Z g(U ) ~ F · ~ndVn−1= Z U ~ F (g(t)) · (∂1g × . . . × ∂n−1g).
26. Um subconjunto M ⊂ Rn ´e uma variedade-m de classe Ck sse para todo o p ∈ M existe um aberto U ⊂ Rn contendo p, um aberto V ⊂ Rn contendo 0 e um difeomorfismo de
classe Ck (isto ´e, uma fun¸c˜ao de classe Ck com inversa de classe Ck) ϕ : V → U tal que ϕ(0) = p e
ϕ({x ∈ V : xm+1 = . . . = xn= 0}) = M ∩ U.
27. Um subconjunto M ⊂ Rn diz-se uma variedade-m com bordo de classe Ck se para cada p ∈ M existe um aberto U ⊂ Rn contendo p, um aberto V ⊂ Rm contendo 0 e um difeomorfismo ϕ : V → U satisfazendo uma das seguintes condi¸c˜oes:
(i) ϕ({x ∈ V : xm+1 = . . . = xn= 0}) = M ∩ U ,
(ii) ϕ({x ∈ V : x1 ≤ 0, xm+1 = . . . = xn= 0}) = M ∩ U .
Note-se que pelo teorema da fun¸c˜ao inversa, as duas condi¸c˜oes s˜ao mutuamente exclusivas. Os pontos que satisfazem a segunda condi¸c˜ao dizem-se os pontos do bordo de M e formam o conjunto ∂M . Os restantes formam o interior de M que se nota ˙M .
28. Se M ´e uma variedade-m com bordo, ˙M ´e uma variedade-m e ∂M ´e uma variedade-(m−1). 29. Uma variedade-m com bordo M diz-se orient´avel se ˙M o for e nesse caso uma orienta¸c˜ao de M ´e, por defini¸c˜ao, uma orienta¸c˜ao para ˙M . O integral de uma forma-m sobre M com orienta¸c˜ao µ ´e definido por
Z Mµ ω = Z ˙ Mµ ω.
30. Seja m > 1. Se µ ´e uma orienta¸c˜ao para M , e ϕ : V → U ´e um difeomorfismo como em (ii) na defini¸c˜ao de variedade com bordo tal que a parametriza¸c˜ao
(t1, . . . , tm) 7→ ϕ(t1, . . . , tm, 0, . . . , 0)
´e compat´ıvel com a orienta¸c˜ao µ (para t1 < 0), a orienta¸c˜ao induzida por µ no bordo ∂M ´e a orienta¸c˜ao determinada pelas parametriza¸c˜oes do bordo
Estas orienta¸c˜oes em vizinhan¸cas de coordenadas para ∂M definem de facto uma orienta¸c˜ao em ∂M que ´e ainda denotada por µ.
Uma orienta¸c˜ao de uma variedade-0 (que ´e um conjunto de pontos isolados) ´e uma atribui¸c˜ao a cada ponto de um sinal ±. A orienta¸c˜ao determinada no bordo de uma variedade-1 C ´e a atribui¸c˜ao do sinal + a um ponto do bordo para o qual exista um difeomorfismo como em (ii) tal que t17→ ϕ(t1, 0, . . . , 0) seja compat´ıvel com a orienta¸c˜ao dada a C e a atribui¸c˜ao
do sinal − aos restantes.
31. Se M ´e uma variedade-n com bordo, (portanto ˙M ´e um aberto de Rn) a orienta¸c˜ao induzida pela orienta¸c˜ao positiva de M em ∂M ´e a correspondente `a normal a ∂M que aponta para o exterior de M .
32. Se M ´e uma variedade-2 com bordo em R3, com orienta¸c˜ao dada por uma normal unit´aria ~n, a orienta¸c˜ao induzida no bordo ´e dada pela regra da m˜ao direita.
33. Teorema de Stokes: Seja M ⊂ Rn uma variedade-m com bordo compacta e com ori-enta¸c˜ao µ e ω ∈ Ωm−1 uma forma de classe C1 em M . Ent˜ao
Z Mµ dω = Z ∂Mµ ω. 34. Se M ´e uma variedade-m compacta ent˜ao
I
M
dω = 0. (O s´ımboloH
usa-se para recordar que M ´e fechada, isto ´e, que n˜ao tem bordo.) 35. O Teorema de Stokes diz-nos em particular que
• Se ω ´e uma forma-m fechada de classe C1, podemos ”deformar”a variedade-m M1
em que estamos a integrar noutra variedade M2 com o mesmo bordo desde que exista
uma variedade-(m + 1) W contida no dom´ınio de ω tal que ∂W = M1∪ M2.
• Se ω ´e uma forma exacta de classe C1o integral de ω s´o depende do bordo da variedade de integra¸c˜ao e portanto podemos substituir a variedade M1 em que estamos a integrar
por qualquer outra variedade M2 com o mesmo bordo.
36. O Teorema de Stokes d´a-nos imediatamente os seguintes Teoremas fundamentais do c´alculo para os integrais de campos vectoriais:
(i) Teorema Fundamental do C´alculo para Integrais de Linha: Se ~F : U ⊂ Rn → Rn ´e
um campo gradiente (isto ´e ~F = ∇ϕ com ϕ de classe C1) e C ⊂ U ´e uma variedade-1
com bordo Z
C
~
F · d~r = ϕ(b) − ϕ(a)
onde ∂C = b − a. Em particular, o integral de linha de um campo gradiente depende apenas dos pontos inicial e final do caminho de integra¸c˜ao.
(ii) Teorema da Divergˆencia: Seja V ⊂ Rn uma variedade-n com bordo, e ~F : V → Rn um campo vectorial de classe C1. Ent˜ao
Z V div ~F = Z ∂V ~ F · ~ndVn−1
onde ~n designa a normal exterior a V , e div ~F = ∂F 1 ∂x1 + . . . + ∂Fn ∂xn.
Para n = 3 o Teorema da divergˆencia chama-se tamb´em Teorema de Gauss (ou Teorema de Gauss-Ostrogradsky).
(iii) Teorema de Green: Seja A ⊂ R2 uma variedade-2 com bordo e ~
F(x, y) = (P (x, y), Q(x, y)) um campo vectorial de classe C1. Ent˜ao
Z Z A ∂Q ∂x − ∂P ∂ydxdy = I ∂A ~ F · d~r = I ∂A P (x, y)dx + Q(x, y)dy
onde ∂A ´e percorrido de forma a que A esteja sempre `a esquerda.
(iv) Teorema de Stokes: Seja S ⊂ R3 uma variedade-2 com normal unit´aria ~n e bordo C, e ~F : S → R3 um campo vectorial de classe C1. Ent˜ao
Z Z S rot ~F · ~ndS = I C ~ F · d~r onde C ´e percorrido no sentido dado pela regra da m˜ao direita.
37. Lema da localiza¸c˜ao. Seja U ⊂ Rn um aberto e f : U → R uma fun¸c˜ao cont´ınua. Ent˜ao f (a) = lim →0 1 Vn(B(a)) Z B(a) f
38. Interpreta¸c˜ao geom´etrica da divergˆencia. Se ~F : U → Rn ´e um campo vectorial de classe C1
div ~F(a) = lim
→0 1 Vn(B(a)) Z ∂B(a) ~ F · ~ndVn−1
onde ~n designa a normal exterior `a bola.
39. Interpreta¸c˜ao geom´etrica do rotacional. Se ~F : U → R3´e um campo vectorial de classe C1. Se ~n ´e um vector unit´ario,
rot ~F(a) · ~n = lim
→0 1 π2 I C ~ F · d~r
onde C ´e a uma circunferˆencia de raio centrada em a, no plano perpendicular a ~n e
percorrida no sentido dado pela regra da m˜ao direita. Em particular, rot ~F(a) aponta na direc¸c˜ao perpendicular ao plano em que a circula¸c˜ao de ~F ´e m´axima.
40. Seja U ⊂ Rn um aberto e ω ∈ Ω1(U ) uma forma-1 cont´ınua. Ent˜ao ω ´e exacta sse uma das seguintes condi¸c˜oes equivalentes se verifica.
(i) O integral de linha de ω depende apenas dos extremos de integra¸c˜ao. (ii) H
Cω = 0 para cada variedade-1 fechada contida em U .
Equivalentemente, um campo vectorial ~F : U → Rn´e um campo gradiente (ou conservativo) sse o integral de linha depende apenas dos extremos do caminho de integra¸c˜ao, sse o integral de ~F ao longo de qualquer curva fechada se anula.
41. Seja U ⊂ Rn um aberto. Dois caminhos γ0, γ1: [a, b] → U com γ0(a) = γ1(a) e γ0(b) =
γ1(b) dizem-se homot´opicos se existe uma aplica¸c˜ao cont´ınua (dita uma homotopia entre
γ0 e γ1)
H : [a, b] × [0, 1] → U satisfazendo
H(t, 0) = γ0(t), H(t, 1) = γ1(t), H(a, s) = γ0(a) = γ1(a), H(b, s) = γ0(b) = γ1(b).
42. Se ω ∈ Ω1(U ) ´e uma forma-1 fechada, e γ0,γ1 s˜ao parametriza¸c˜oes de variedades-1 que
s˜ao homot´opicas por uma homotopia de classe C1, ent˜ao Z γ0(]a,b[) ω = Z γ1(]a,b[) ω.
43. Um conjunto aberto U ⊂ Rndiz-se simplesmente conexo se ´e conexo e uma das seguintes condi¸c˜oes equivalentes se verifica:
(i) Todo o caminho fechado em U ´e homot´opico a um caminho constante. (ii) Dois caminhos em U com o mesmo ponto inicial e final s˜ao homot´opicos. 44. Se U ´e simplesmente conexo, uma forma-1 ω ∈ Ω1(U ) ´e fechada sse ´e exacta.
45. Teorema (de Rham): Se U ⊂ Rn ´e um aberto. Uma forma ω ∈ Ωm(U ) ´e exacta sse R
Mω = 0 para toda a variedade-m compacta sem bordo M ⊂ U .
46. Se U ⊂ Rn ´e tal que toda a variedade-m compacta sem bordo M ⊂ U ´e o bordo de uma variedade-(m + 1) W ⊂ U , ent˜ao uma forma ω ∈ Ωm(U ) ´e fechada sse ´e exacta.
7. Integral de Lebesgue
1. Uma fam´ılia U de subconjuntos de X diz-se uma ´algebra de conjuntos se (i) ∅, X ∈ U ,
(ii) A, B ∈ U ⇒ A ∩ B ∈ U , (iii) A, B ∈ U ⇒ A \ B ∈ U ,
U diz-se uma σ-´algebra se al´em disso, (iv) An∈ U ⇒ ∪∞n=1An∈ U .
2. Seja U uma ´algebra de conjuntos. Uma fun¸c˜ao φ : U → [0, +∞] diz-se aditiva se ´e n˜ao constante e para A, B ∈ U com A ∩ B = ∅ se tem
φ(A ∪ B) = φ(A) + φ(B).
φ diz-se σ-aditiva se para An∈ U com Ai∩ Aj = ∅ e ∪∞i=1Ai ∈ U se tem necessariamente
φ(∪∞i=1Ai) = ∞
X
i=1
φ(Ai).
3. Propriedades das fun¸c˜oes aditivas. (i) φ(∅) = 0,
(iii) φ(A \ B) = φ(A) − φ(B),
(iv) φ(A ∪ B) = φ(A) + φ(B) − φ(A ∩ B),
(v) φ(A1∪ . . . ∪ An) = φ(A1) + . . . + φ(An) se Ai∩ Aj = ∅.
4. Se U ´e uma σ-´algebra, An∈ U , com An⊂ An+1, e φ : U → [0, +∞] ´e uma fun¸c˜ao aditiva
ent˜ao
φ(∪iAi) = lim φ(Ai).
5. A medida exterior de Lebesgue de A ⊂ Rn´e µ∗(A) = inf{
∞
X
k=1
Vn(Ik) : Ik intervalo aberto , A ⊂ ∪∞k=1Ik}.
6. Propriedades da medida exterior. (i) µ∗(∅) = 0
(ii) µ∗(B) ≤ µ∗(A) se B ⊂ A,
(iii) µ∗(I) = Vn(I) se I ´e um intervalo,
(iv) µ∗(x + A) = µ∗(A) para todo o x ∈ Rn, (v) µ∗(∪∞j=1Aj) ≤P∞j=1µ∗(Aj).
7. A diferen¸ca sim´etrica entre dois conjuntos A, B ´e
A ∆ B = A \ B ∪ B \ A.
8. Um conjunto A ⊂ Rndiz-se mensur´avel `a Lebesgue se para todo o > 0 existe uma fam´ılia cont´avel {Ik} de intervalos abertos tal que
µ∗(A ∆ ∪∞k=1Ik) < .
9. A fam´ılia M dos conjuntos mensur´aveis `a Lebesgue formam uma σ-´algebra e a restri¸c˜ao da medida exterior de Lebesgue a M ´e uma fun¸c˜ao σ-aditiva chamada a medida de Lebesgue e denotada µ.
10. Seja A ⊂ Rnum conjunto Lebesgue mensur´avel. Uma fun¸c˜ao f : A → R diz-se mensur´avel
se para todo o c ∈ R, se tem
f−1(] − ∞, c[) ∈ M. 11. As seguintes afirma¸c˜oes s˜ao equivalentes
(i) Para todo o c ∈ R, f−1(] − ∞, c[) ∈ M, (ii) Para todo o c ∈ R, f−1(] − ∞, c]) ∈ M, (iii) Para todo o c ∈ R, f−1(]c, +∞[) ∈ M, (iv) Para todo o c ∈ R, f−1([c, +∞[) ∈ M. 12. Propriedades das fun¸c˜oes mensur´aveis.
(i) Uma fun¸c˜ao cont´ınua ´e mensur´avel,
(ii) Se f ´e mensur´avel e c ∈ R, cf ´e mensur´avel, (iii) Se f ´e mensur´avel, |f | ´e mensur´avel,
(v) Se f, g s˜ao mensur´aveis, max{f, g}, min{f, g} e em particular f+ e f− s˜ao men-sur´aveis.
(vi) Se F : R2 → R ´e cont´ınua e f, g s˜ao mensur´aveis, ent˜ao F (f, g) ´e mensur´avel. Em particular f + g, f − g e f g s˜ao mensur´aveis.
13. Uma fun¸c˜ao simples s : Rn → R ´e uma fun¸c˜ao que toma apenas um n´umero finito de valores {c1, . . . , cn}. Escrevendo Ai = s−1(ci) temos s =Pni=1ciχAi. Uma fun¸c˜ao simples
´e mensur´avel sse cada Ai ´e mensur´avel.
14. Se s ´e uma fun¸c˜ao simples mensur´avel e A ⊂ Rn´e mensur´avel, define-se Z A s = n X i=1 ci µ(A ∩ Ai)
desde que esta soma n˜ao contenha infinitos de sinais contr´arios.
15. Dada f : A → R, existe uma sucess˜ao sk de fun¸c˜oes simples tais que sk(x) → f (x) para
todo o x ∈ A. Se f ´e mensur´avel podemos escolher sk mensur´aveis e se f ≥ 0 podemos
escolher sk tais que sk(x) seja uma sucess˜ao crescente para todo o x ∈ A.
16. Se f : A → R ´e uma fun¸c˜ao mensur´avel n˜ao negativa define-se o integral de Lebesgue de f por Z A f = sup{ Z A
s : s(x) ≤ f (x), s simples e mensur´avel} ∈ [0, +∞] Se f : A → R ´e mensur´avel define-se o integral de Lebesgue pela express˜ao
Z A f = Z A f+− Z A f−∈ [−∞, +∞]
desde que um dos termos do lado direito seja finito. Se o integral ´e finito, f diz-se integr´avel. O conjunto das fun¸c˜oes integr´aveis em A designa-se por L(A).
17. Crit´erio da compara¸c˜ao. Se f : A → R ´e mensur´avel, |f | ≤ g e g ∈ L(A), ent˜ao f ∈ L(A). 18. Propriedades do integral:
(i) f (x) ≤ g(x) ⇒R
Af ≤
R
Ag,
(ii) f ∈ L(A) sse |f | ∈ (A) e nesse caso, R Af ≤ R A|f |,
(iii) Se f ´e mensur´avel e limitada e µ(A) < ∞ ent˜ao f ´e integr´avel, (iv) Se µ(A) = 0 ent˜aoR
Af = 0 para toda a fun¸c˜ao f ,
(v) Se B ⊂ A s˜ao mensur´aveis e f ∈ L(A) ent˜ao f ∈ L(B)
(vi) σ-aditividade do integral: Se f ≥ 0 ´e mensur´avel e A = ∪∞i=1Ai com Ai mensur´aveis
e disjuntos dois a dois, temos Z A f = ∞ X i=1 Z Ai f.
(vii) Se B ⊂ A s˜ao mensur´aveis e A \ B tem medida nula ent˜aoRAf =RBf para qualquer f ∈ L(A).
19. Teorema da Convergˆencia Mon´otona: Seja A um conjunto mensur´avel, e fn: A → R+0 uma
sucess˜ao de fun¸c˜oes mensur´aveis tais que
fn(x) ≤ fn+1(x) ∀n, ∀x ∈ A, e seja f (x) = lim n→∞fn(x). Ent˜ao Z A f = lim n→∞ Z A fn.
20. Teorema da Convergˆencia Dominada: Seja A um conjunto mensur´avel, e fn: A → R uma
sucess˜ao de fun¸c˜oes mensur´aveis. Suponhamos que (i) Existe g ∈ L(A) tal que
|fn(x)| ≤ g(x) ∀n, ∀x ∈ A, (ii) O limite
f (x) = lim
n→∞fn(x)
existe para quase todo o x ∈ A. Ent˜ao f ∈ L(A), e Z A f = lim n→∞ Z A fn. 21. x1α ∈ L([1, +∞[) ⇔ α > 1 e x1α ∈ L(]0, 1]) ⇔ α < 1.
22. Regra de Leibniz: Seja A ⊂ Rn mensur´avel, U ⊂ Rn aberto e f : A × U → R mensur´avel tal que f (x, y) ´e integr´avel para cada y ∈ U . Se existe g ∈ L(A) tal que
∂f ∂y(x, y) ≤ g(x)
para x ∈ A e y numa vizinhan¸ca de y0, ent˜ao a fun¸c˜ao F : U → R definida por
F (y) = Z A f (x, y) ´e diferenci´avel em y0 e F0(y0) = Z A ∂f ∂y(x, y0).
23. Se f ´e integr´avel `a Riemann (no sentido generalizado) ent˜ao f ´e integr´avel `a Lebesgue e os integrais coincidem.