An alise IV

Ricardo P. da Silva
2010
Sumario
1 Integrais curvilneas 3
1.1 Integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Denicoes basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Integral de Riemann-Stiltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Integrais M ultiplas 5
2.1 Denicoes basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Caracterizacao das funcoes integraveis . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 A integral sobre conjuntos limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Integracao repetida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5 Integrais Improprias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.6 Mudanca de Variaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.6.1 Particoes da Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Integracao em Cadeias 31
3.1 Tensores e formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1.1 Tensores Alternados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Vetores tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1
2 SUM

ARIO
Captulo 1
Integrais curvilneas
1.1 Integral de Riemann
1.1.1 Denic oes basicas
Uma particao de um intervalo fechado [a, b] R e um subconjunto nito P [a, b] contendo
os extremos a e b do intervalo.

E usual, por conveniencia de nota cao, indexar os elementos de P
em ordem crescente P = a = t
0
< t
1
< < t
k
= b. Cada intervalo [t
i1
, t
i
], i = 1, , k, e
chamado de subintervalo determinado por P do intervalo [a, b].
Consideremos agora uma fun cao limitada, f : [a, b] R, denida em [a, b]. Se P = t
0
< t
1
<
< t
k
e uma particao de [a, b], para cada sub-intervalo determinado por P sejam
m
i
(f) = inf
t[t
i1
,t
i
]
f(t) e M
i
(f) = sup
t[t
i1
,t
i
]
f(x), i = 1, , k.
Denimos as somas de Riemann, inferior e superior, respectivamente, de f com respeito `a particao
P, por:
s(f, P) =
k

i=1
m
i
(f)(t
i
t
i1
) e S(f, P) =
k

i=1
M
i
(f)(t
i
t
i1
).
Como m
i
(f) M
i
(f), i = 1, , k, e evidente que s(f, P) S(f, P).
Alem disso, como f : [a, b] R e uma fun cao limitada, temos que para toda parti cao P de [a, b]
k(b a) s(f, P) S(f, P) K(b a),
onde k = inf
t[a,b]
f(t) e K = sup
t[a,b]
f(t).
Portanto existem os n umeros
_

[a,b]
f := sup
P
s(f, P) e
_
[a,b]
f := inf
P
S(f, P)
chamados respectivamente de integral superior e integral inferior de f. Observemos que os supremo
e nmo acima sao tomados sobre todas as particoes P do intervalo [a, b]. Dizemos que f : [a, b] R
3
4 CAP

ITULO 1. INTEGRAIS CURVIL

INEAS
e Riemann integravel, se
_

[a,b]
f =
_
[a,b]
f. Este valor comum e chamado a integral de Riemann de f
no intervalo [a, b] e denotado por
_
[a,b]
f.
Como observado as integrais superior e inferior de uma funcao limitada, f : [a, b] R, sempre
existem. A questao da igualdade e, por outro lado, uma questao um pouco mais delicada e sera
explorada na proxima se cao em um contexto mais geral.
1.2 Integral de Riemann-Stiltjes
Seja : [a, b] R uma funcao monotona nao-decrescente, isto e, uma funcao tal que (x)
(y) sempre que a x y b.
Dados uma fun cao limitada, f : [a, b] R, e P = t
0
< t
1
< < t
k
uma particao de [a, b],
com a mesma notacao da secao anterior denimos as somas de Riemann-Stieltjes, inferior e superior
de f com respeito `a parti cao P e a fun cao , por:
s(f, , P) =
k

i=1
m
i
(f)((t
i
) (t
i1
)) e S(f, , P) =
k

i=1
M
i
(f)((t
i
) (t
i1
))
respectivamente.
Similarmente como k(a)(b a) s(f, , P) S(f, , P) K(b)(b a), existem os n umeros
_

[a,b]
f d := sup
P
s(f, , P) e
_
[a,b]
f d := inf
P
S(f, , P)
onde os supremo e nmo acima sao tomados sobre todas as particoes P do intervalo [a, b]. Dizemos
que f : [a, b] R e Riemann-Stiltjes integravel com respeito a funcao no intervalo [a, b], se
_

[a,b]
f d =
_
[a,b]
f d. Este valor comum e chamado a integral de Riemann-Stiltjes de f com respeito
a em [a, b] e denotado por
_
[a,b]
f d. Usaremos a notacao f !() para dizermos que f e
Riemann integravel com respeito a .
Observacao Note que a integral de Riemann e obtida como um caso particular da integral de
Riemann-Stieltjes tomando (t) = t, a funcao identidade.
Captulo 2
Integrais M ultiplas
2.1 Denic oes basicas
Recordemos que uma particao de um intervalo fechado [a, b] R e um subconjunto nito
P [a, b], contendo os extremos a e b do intervalo.

E usual, por conveniencia de notacao, indexar
os elementos de P em ordem crescente P = a = t
0
< t
1
< < t
k
= b. Cada intervalo [t
i1
, t
i
],
i = 1, , k, e chamado de subintervalo determinado por P do intervalo [a, b].
Para um retangulo n-dimensional A = [a
1
, b
1
] [a
n
, b
n
] R
n
, uma particao e um sub-
conjunto P = P
1
P
n
, onde cada P
i
e uma particao do respectivo intervalo [a
i
, b
i
]. Se
para cada i, L
i
e um dos subintervalos determinados por P
i
do intervalo [a
i
, b
i
], entao o retangulo
S = L
1
L
n
e chamado de sub-retangulo determinado por P do retangulo A, e escrevemos
S P. Evidentemente se P
i
divide o intervalo [a
i
, b
i
] em N
i
subintervalos, entao P = P
1
P
n
decompoe o retangulo A em N = N
1
N
n
sub-retangulos.
O retangulo A = [a
1
, b
1
] [a
n
, b
n
] e um subconjunto compacto de R
n
, e seu interior,
denominado retangulo aberto, e o produto cartesiano, int A = (a
1
, b
1
) (a
n
, b
n
), dos intervalos
abertos (a
i
, b
i
). Denimos o volume n-dimensional de A e int A por vol(A) = vol(int A) :=
n

i=1
(b
i
a
i
).
Sejam P = P
1
P
n
e Q = Q
1
Q
n
particoes do retangulo A. Dizemos que Q
e mais na do que P, ou Q e um renamento de P, se P Q, isto e, se e somente se P
i
Q
i
,
i = 1, , n. Neste caso cada sub-retangulo determinado pela particao Q esta contido em um unico
sub-retangulo determinado pela particao P, enquanto que todo sub-retangulo determinado por P
e uma reuniao dos sub-retangulos determinados por Q neles contidos. Alem disso, dadas as duas
parti coes P e Q, a particao P + Q := (P
1
Q
1
) (P
n
Q
n
) e um renamento de ambas, e
sera chamada o renamento comum das parti coes P e Q.
Consideremos agora uma funcao f : A R limitada, denida no retangulo A R
n
. Se P e
uma particao de A, para cada sub-retangulo S determinado por P sejam
m
S
(f) = inf
S
f(x) e M
S
(f) = sup
S
f(x).
Denimos as somas inferior e superior de f relativamente `a particao P, respectivamente por:
s(f, P) =

SP
m
S
(f)vol(S) e S(f, P) =

SP
M
S
(f)vol(S).
5
6 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Como m
S
(f) M
S
(f), e evidente que s(f, P) S(f, P). Menos evidente porem, e a monoto-
nicidade das somas inferior e superior com relacao a renamentos.
Lema 2.1 Sejam P uma particao do ret angulo A e f : A R uma funcao limitada. Se Q e um
renamento de P, entao
s(f, P) s(f, Q) S(f, Q) S(f, P).
Demonstracao: Provemos a primeira desigualdade.
Observe que todo sub-retangulo S P e escrito como uma reuniao S =
_
S

S
S

de sub-retangulos
S

Q, e portanto, vol(S) =

S
vol(S

). Alem disso, como m

S
(f) m
S
(f), temos
m
S
(f)vol(S) = m
S
(f)

S
vol(S

)

S

S
m
S
(f)vol(S

). (2.1)
Portanto,
s(f, P) =

SP
m
S
(f)vol(S)

SP

S
m
S
(f)vol(S

) =

Q
m
S
(f)vol(S

) = s(f, Q).
Para mostrar a terceira desigualdade observemos que M
S
(f) M
S
(f) para todos S P e
S

S com S

Q. Dessa forma, de maneira analoga a (2.1) obtemos

M
S
(f)vol(S)

S

S
M
S
(f)vol(S

),
e novamente, de maneira similar, obtemos
S(f, P)

SP

S
M
S
(f)vol(S

) = S(f, Q).

Corolario 2.2 Sejam A um retangulo e f : A R uma funcao limitada. Se P e Q sao duas

particoes quaisquer de A, entao
s(f, P) S(f, Q). (2.2)
Demonstracao: Valendo-nos do renamento comum P +Q das particoes P e Q, segue do Lema
anterior que,
s(f, P) s(f, P +Q) S(f, P +Q) S(f, Q).

Deduzimos deste Corolario que o supremo tomado sobre todas as somas inferiores de f e menor
ou igual ao nmo tomado sobre todas as somas superiores de f. Dessa forma, cam bem denidas
as integrais: superior e inferior, de uma funcao limitada f : A R, denidas por
_

A
f := sup
P
s(f, P) e
_
A
f := inf
P
S(f, P)
2.1. DEFINIC

OES B

ASICAS 7
respectivamente.
Dizemos que uma fun cao limitada, f : A R, denida no retangulo A R
n
e integravel, se
_

A
f =
_
A
f. Este valor comum e chamado a integral de f sobre A e denotado por
_
A
f.
Teorema 2.3 (Criterio de Riemman) Uma funcao limitada, f : A R, denida no retangulo
A R
n
e integravel, se, e somente se, dado > 0 arbitrario, existe uma particao P de A tal que
S(f, P) s(f, P) < .
Demonstracao: Suponhamos que
_

A
f =
_
A
f =
_
A
f. Dado > 0, sejam P

e P

particoes de A
tais que
_

A
f s(f, P

) <

2
e S(f, P

)
_
A
f <

2
. Desde que
s(f, P

) s(f, P

+P

) S(f, P

+P

) S(f, P

),
segue portanto que S(f, P

+P

) s(f, P

+P

) < .
Reciprocamente suponhamos que =
_
A
f
_

A
f > 0. Observando que para qualquer particao
P de A
s(f, P)
_

A
f <
_
A
f S(f, P),
temos que a soma inferior dista da soma superior de f no mnimo , independentemente da parti cao
P, e dessa forma a condi cao de Riemann nao se verica.

Exemplo 2.4 .
1. Toda fun cao constante f : A R e integravel. Alem disso, se f(x) = c, entao
_
A
f =
c vol(A) = c

SP
vol(S), qualquer que seja a particao P de A.
2. A funcao f : [0, 1] [0, 1] R denida por f(x, y) =
_
0, se x Q
1, se x R Q
nao e integravel.
3. A funcao f : [0, 1] R denida por f(x) =
_
_
_
1
q
, se x =
p
q
Q e (p, q) = 1
0, caso contr ario
e integravel.
Para ve-lo apliquemos o criterio de Riemman para a funcao f.
8 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Dado > 0, basta tomar q N satisfazendo
1
q
< . Considerando a particao P = 0,
1
q
,
2
q
, , 1
de [0, 1], observamos que M
[
i1
q
,
i
q
]
=
1
q
e m
[
i1
q
,
i
q
]
= 0, para todo i = 1, , q. Logo
S(f, P) s(f, P) =
q

i=1
(M
[
i1
q
,
i
q
]
m
[
i1
q
,
i
q
]
)(
i
q

i 1
q
) =
1
q
< .
4. Sejam f, g : [0, 1] R duas funcoes nao-negativas e nao-decrescentes. A funcao h : [0, 1]
[0, 1] R denida por h(x, y) = f(x)g(y) e integravel.
Primeiramente observemos que se f(0) = f(1) e g(0) = g(1) entao h e uma func ao constante
e portanto integravel. Suponhamos portanto que ou f(0) ,= f(1) ou g(0) ,= g(1), ou seja,
suponhamos que h(0, 0) ,= h(1, 1).
Dado > 0, tomemos k N satisfazendo
(2k 1)(h(1, 1) h(0, 0))
k
2
< ( basta tomar
k >
(h(1, 1) h(0, 0))
_
1

(h(1,1)h(0,0))

)
1
.
Seja P = 0,
1
k
,
2
k
, , 1 uma particao do intervalo [0, 1] e consideremos a particao P

=
P P de [0, 1] [0, 1].
Notemos que se S P

, entao vol(S) =
1
k
2
. Alem disso M
S
(h) e m
S
(h) sao atingidos,
respectivamente, nos extremos superior direito e inferior esquerdo de S, isto e, se S = [a
1
, b
1
]
[a
2
, b
2
] entao
M
S
(h) = h(b
1
, b
2
) e m
S
(h) = h(a
1
, a
2
).
Observemos ainda que na diferen ca S(h, P) s(h, P), apos cancelamentos de termos comuns,
restarao 2k 1 parcelas que podem ser majoradas por (h(1, 1) h(0, 0))vol(S), pois h(0, 0)
h(x, y) h(1, 1), qualquer que seja (x, y) [0, 1] [0, 1]. Portanto
S(h, P) s(h, P) (2k 1)(h(1, 1) h(0, 0))
1
k
2
< .
1
h(1, 1) h(0, 0)
2.1. DEFINIC

OES B

ASICAS 9
Logo a funcao h e integravel pelo criterio de Riemann.
Exerccios
Proposicao 2.5 Sejam f, g : A R funcoes limitadas e integraveis no retangulo A R
n
. Entao:
1. A funcao f +g e integravel e
_
A
f +g =
_
A
f +
_
A
g.
2. Se R a funcao .f e integravel e
_
A
f =
_
A
f.
3. Se f(x) 0 para todo x A entao
_
A
f 0. Em particular se g(x) f(x) para todo x A
entao
_
A
g
_
A
f.
4. A funcao [f[ e integravel e

_
A
f

_
A
[f[. Em particular se [f(x)[ M para todo x A
entao

_
A
f

M vol(A).
5. Se f e contnua entao existe A tal que
_
A
f = f() vol(A);
Demonstracao: .
1. Observemos que para todo subconjunto S A, m
S
(f)+m
S
(g) m
S
(f+g) e M
S
(f) +M
S
(g)
M
S
(f +g). Logo, para quaisquer particoes P e Q de A:
s(f, P) +s(g, P) s(f +g, P) S(f +g, Q) S(f, Q) +S(g, Q).
Portanto
sup
P
s(f, P) +s(g, P) = sup
P
s(f, P) + sup
P
s(g, P) =
_

A
f +
_

A
g

A
f +g
_
A
f +g
inf
Q
S(f, Q) +S(g, Q) = inf
Q
S(f, Q) + inf
Q
S(g, Q) =
_
A
f +
_
A
g.
2. Se 0, entao s(.f, P) = s(f, P), enquanto que se < 0, s(.f, P) = S(f, P) qualquer
que seja a parti cao P de A.
10 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Dessa forma se 0, entao
_
A
f = inf
P
S(.f, P) = inf
P
s(f, P) = sup
P
s(f, P) =
_
A
f,
e
_

A
f = sup
P
s(.f, P) = sup
P
S(f, P) = inf
P
S(f, P) =
_
A
f.
O caso > 0 e de imediata verica cao.
3. Se f 0 em A, entao m
S
(f) 0 para todo sub-retangulo S de toda parti cao P de A.
Consequentemente, s(f, P) 0 para toda particao P e portanto
_
A
f =
_

A
f = sup
P
s(f, P) 0.
Agora se g(x) f(x) entao g(x) f(x) 0 e portanto
_
A
g f 0. Dos itens anteriores
temos
_
A
g
_
A
f =
_
A
g f 0, ou seja
_
A
g
_
A
f.
4. Consideremos a funcao auxiliar h(x) = maxf(x), 0. Observemos que para todo subconjunto
S A, M
S
(h) = maxM
S
(f), 0 e m
S
(h) = maxm
S
(f), 0. Observemos ainda se M
S
(f) 0
entao M
S
(h) m
S
(h) = M
S
(f) m
S
(h) M
S
(f) m
S
(f); e se M
S
(f) 0 entao M
S
(h)
m
S
(h) = 0 0 M
S
(f) m
S
(f).
Agora, dado > 0, pelo Teorema 2.3, existe uma parti cao P de A tal que S(f, P)s(f, P) < .
Logo
S(h, P) s(h, P) =

SP
vol(S)(M
S
(h) m
S
(h))

SP
vol(S)(M
S
(f) m
S
(f)) = S(f, P) s(f, P) < ,
mostrando ser h uma funcao integravel.
Similarmente mostra-se que a fun c ao k(x) = minf(x), 0 e integravel. Desde que [f[ = hk,
segue que [f[ e integravel pelos itens 1 e 2. Agora, ja que [f(x)[ f(x) [f(x)[ em A,
temos pelo item 3 que

_
A
[f[
_
A
f
_
A
[f[,
ou seja,

_
A
f

_
A
[f[.
5. Sejam m = inf
A
f(x) e M = sup
A
f(x). Pelo item 4, mvol(A)
_
A
f M vol(A), ou seja,
m
1
vol(A)
_
A
f M. Sendo A compacto, conexo e f : A R uma fun cao contnua,
2.2. CARACTERIZAC

AO DAS FUNC

OES INTEGR

AVEIS 11
segue do Teorema do Valor Intermediario que f(A) = [m, M], ou seja, existe A tal que
f() =
1
vol(A)
_
A
f.

Observacao Observamos que os itens 1 e 2 da Proposi cao anterior garantem que o conjunto
das fun coes limitadas sobre um retangulo A R
n
e um espa co vetorial real, e a correspondencia
f
_
A
f e um funcional linear neste espaco. O item 4 garante que este funcional e contnuo quando
se considera no espaco das funcoes (limitadas) integraveis a norma da convergencia uniforme.
Exerccios .
1. Sejam f, g : A R fun coes limitadas. Mostre que
a) m
S
(f) +m
S
(g) m
S
(f +g) e M
S
(f) + M
S
(g) M
S
(f +g), qualquer que seja S A,
b) Se < 0 entao s(.f, P) = S(f, P), qualquer que seja a particao P de A.
c) Sejam h, k : A R dadas por h(x) = maxf(x), 0 e k(x) = minf(x), 0. Mostre que
M
S
(h) = maxM
S
(f), 0 e m
S
(h) = maxm
S
(f), 0, qualquer que seja S A. Enuncie
e prove identidades similares para a funcao k.
2. Seja f : A R uma funcao limitada. A oscilacao de f em A e o n umero real (f, A) =
sup
A
f(x) inf
A
f(x). Mostre que (f, A) = sup
A
[f(x) f(y)[.
2.2 Caracterizacao das funcoes integraveis
Dizemos que um subconjunto A R
n
possui medida nula em R
n
se para todo > 0, existe
uma cobertura de A por retangulos n-dimensionais Q
1
, Q
2
, , tal que

i=1
vol(Q
i
) < .
Se na deni cao acima pudermos extrair uma subcobertura nita entao dizemos que A possui
conte udo nulo. Apesar de evidente e util observar que se um subconjunto compacto A R
n
possui
medida nula, entao A tambem possui conte udo nulo.
A seguir derivamos algumas propriedades dos conjuntos de medida nula. Primeiramente prove-
mos o seguinte Lema
Lema 2.6 Sejam A um retangulo e Q
1
, , Q
k
uma cobertura nita de A, constituda por ret angulos
de R
n
. Entao
vol(A)
k

i=1
vol(Q
i
).
12 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Demonstracao: Seja Q
k
_
i=1
Q
i
um retangulo de R
n
. Consideremos os extremos dos intervalos
das componentes dos retangulos A, Q
1
, , Q
k
para construir uma parti cao P de Q. Portanto
cada um dos retangulos A, Q
1
, , Q
k
e uma reuniao de sub-retangulos determinados por P, e em
particular, vol(A) =

SA
vol(S), S P. Como cada sub-retangulo S A esta tambem contido em
pelo menos um dos retangulos Q
1
, , Q
k
, temos
vol(A) =

SA
vol(S)
k

i=1

SQ
i
vol(S) =
k

i=1
vol(Q
i
),
provando o Lema.

Lema 2.7 .
1. Se A possui medida nula em R
n
e B A, entao B possui medida nula em R
n
.
2. Se A
1
, A
2
, e uma famlia enumeravel de conjuntos de medida nula em R
n
, entao

_
i=1
A
i
possui medida nula em R
n
. Em particular, todo subconjunto enumeravel de R
n
possui medida
nula.
3. Um subconjunto A R
n
possui medida nula em R
n
, se e somente se, para todo > 0, existe
uma cobertura enumeravel de A por retangulos abertos int Q
1
, int Q
2
, tais que

i=1
vol(Q
i
) < . (2.3)
Ou seja, podemos usar ret angulos abertos na denic ao de conjuntos de medida nula.
4. Se A R
n
e um retangulo, entao a fronteira de A, A, possui medida nula em R
n
, mas A
nao.
5. Se A R
n
e tal que para todo > 0 existe uma sequencia de retangulos Q
1
, Q
2
, tais que

i=1
vol(Q
i
) < e A (

_
i=1
Q
i
) X, com X de medida nula, entao A possui medida nula.
Demonstracao: .
1. Evidente.
2. Dado > 0, consideremos para cada i = 1, 2, , uma cobertura de A
i
, constituda por
retangulos Q
i,1
, Q
i,2
, com

j=1
vol(Q
i,j
) <

2
i
. Entao a cole cao de retangulos Q
i,j
e uma
2.2. CARACTERIZAC

AO DAS FUNC

OES INTEGR

AVEIS 13
cobertura enumeravel de

_
i=1
A
i
. Alem disso, dado qualquer subconjunto nito F N N,
existe k N tal que se (i, j) F entao i, j k e portanto

(i,j)F
vol(Q
i,j
)
k

i=1
k

j=1
vol(Q
i,j
) <
k

i=1

2
i
< .
Portanto, independentemente da ordenacao dos Q
i,j
temos

i,j=1
vol(Q
i,j
) < .
3. Se os retangulos abertos int Q
1
, int Q
2
, cobrem A assim tambem os retangulos Q
1
, Q
2
, .
Juntamente com (2.3), isto implica que A possui medida nula. Reciprocamente, suponhamos
que A possua medida nula. Dado > 0, sejam

Q
1
,

Q
2
, uma cobertura de A por retangulos
satisfazendo

i=1
vol(

Q
i
) <

2
. Como vol(

Q
i
), onde

Q
i
= [a
i
1
, b
i
1
] [a
i
n
, b
i
n
], e uma
fun cao contnua dos extremos a
i
1
, b
i
1
, a
i
2
, b
i
2
, a
i
n
, b
i
n
de cada intervalo em cada compo-
nente de

Q
i
, podemos escolher retangulos Q
i
com

Q
i
int Q
i
e vol(Q
i
) < 2 vol(

Q
i
). Portanto
int Q
1
, int Q
2
, e uma cobertura de A constituda por retangulos abertos de R
n
satisfazendo

i=1
vol(Q
i
) < .
4. Seja A = [a
1
, b
1
] [a
n
, b
n
]. Para cada i = 1, , n, os conjuntos F
i
= (x
1
, , x
n
) A :
x
i
= a
i
e G
i
= (x
1
, , x
n
) A : x
i
= b
i
sao chamados as i-esimas faces do retangulo A.

E facil ver que cada face possui medida nula em R

n
. Por exemplo a face F
i
pode ser coberta
por um unico retangulo
F

i
= [a
1
, b
1
] [a
i
, a
i
+] [a
n
, b
n
],
cujo volume pode ser feito tao pequeno quanto se queira. Uma vez que A e reuniao nita
de tais faces, segue que A possui medida nula.
Agora suponhamos por um momento que o retangulo A possua medida nula em R
n
. Seja
= vol(A). Podemos cobrir A por retangulos abertos int Q
1
, int Q
2
, com

i=1
vol(Q
i
) < .
Sendo A compacto, podemos extrair uma subcobertura nita, digamos, int Q
1
, , int Q
r
.
Assim
r

i=1
vol(Q
i
) < contradizendo o Lema 2.6.
5. Dado > 0, sejam os retangulos Q
1
, Q
2
, tais que

i=1
vol(Q
i
) <

2
e X de medida nula tal
que A (

_
i=1
Q
i
) X. Consideremos agora uma cobertura de X por retangulos Q

1
, Q

2
,
tais que

i=1
vol(Q

i
) <

2
. Logo Q
1
, Q

1
, Q
2
, Q

2
e uma cobertura de A constituda por
14 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
retangulos, tal que

i=1
(vol(Q
i
) + vol(Q

i
)) < .

Exemplo 2.8 .
1. O graco de uma fun cao contnua f : [a, b] R possui medida nula em R
2
.
De fato, dado > 0, pela continuidade uniforme de f existe uma particao P = a = t
0
< t
1
<
< t
k
= b do intervalo [a, b] tal que se x, y [t
i1
, t
i
], i = 1, , k entao [f(x) f(y)[ <

b a
. Se M
i
e m
i
sao, respectivamente, o supremo e o nmo de f restrita a cada subintervalo
[t
i1
, t
i
], entao, supondo que M
i
,= m
i
, os retangulos Q
i
:= [t
i1
, t
i
][m
i
, M
i
] cobrem o graco
de f e alem disso,
k

i=1
vol(Q
i
) =
k

i=1
(t
i
t
i1
)(M
i
m
i
) <

b a
k

i=1
(t
i
t
i
) = .
No caso em que M
i
= m
i
para algum i, escolhendo x
i
[t
i1
, t
i
] arbitrario, podemos cobrir a
respectiva porc ao do graco de f pelo retangulo [t
i1
, t
i
] [f(x
i
), f(x
i
) + ] com volume tao
pequeno quanto se queira.
O Teorema 2.9 descreve a classe das funcoes limitadas f : A R, denidas em um retangulo
A R
n
que sao integraveis. Como veremos, a integrabilidade de f esta intrinsecamente relacionada
com o seu conjunto de (des)continuidade, de modo que nos sera util estudar o quanto f deixa de
ser contnua em um dado ponto de seu domnio.
Sejam f : A R uma funcao limitada e a A. Dado > 0, denimos (f, a, ) =
sup
x,yB(a,)
[f(x) f(y)[. Como (f, a, ) e decrescente relativamente `a , ca bem denido o n umero
(f, a) := lim
0
(f, a, ) = inf
0
(f, a, ), chamado oscila cao de f em a. Fica a cargo do leitor
mostrar que f e contnua em a se, e somente se, (f, a) = 0 (exerccio 1.a.).
Teorema 2.9 (Lebesgue) Uma fun cao limitada f : A R, denida no retangulo A R
n
e
integravel, se e somente se, o conjunto de seus pontos de descontinuidade possui medida nula em
R
n
.
Demonstracao: Sejam D = x A : f e descontnua em x e M > 0 tal que [f(x)[ M, para
todo x A. Suponhamos que D possua medida nula e mostremos que f e integravel atraves do
Criterio de Riemann.
Dado > 0, seja

=

2(M + vol(A))
.
Seja int Q
1
, int Q
2
, uma cobertura de D por retangulos abertos tal que

i=1
vol(Q
i
) <

. Con-
sideremos tambem para cada a AD, um retangulo aberto, int Q
a
tal que [f(a)f(x)[ <

qual-
quer que seja x Q
a
A. Logo int Q
1
, int Q
2
, int Q
a
: a AD e uma cobertura aberta de
A. Sendo Acompacto podemos extrair uma subcobertura nita int Q
1
, , int Q
l
, int Q
a
1
, , int Q
a
k
.
2
2
notemos que os ret angulos int Q
1
, int Q
2
, , int Q
l
podem n ao cobrir D.
2.2. CARACTERIZAC

AO DAS FUNC

OES INTEGR

AVEIS 15
Por conveniencia, a partir de agora, denotaremos por Q
i
(ou Q
a
j
), a intersec cao do respec-
tivo retangulo com A. Esses novos retangulos ainda cobrem A e satisfazem
l

i=1
vol(Q
i
) <

e
[f(x) f(y)[ < 2

, x, y Q
a
j
, j = 1, , k.
Seja P a particao de A determinada pelos pontos extremos de cada intervalo em cada com-
ponente desses retangulos. Todo sub-retangulo S P esta contido em algum dos Q

i
s ou Q

a
j
s.
Fa camos uma divisao desses sub-retangulos em duas categorias (nao necessariamente disjuntas):
R := colecao dos sub-retangulos S contidos em algum dos Q

i
s e
R

:= colecao dos sub-retangulos S contidos em algum dos Q

a
j
s.
Portanto
S(f, P) s(f, P)

SR
(M
S
(f) m
S
(f))vol(S) +

SR

(M
S
(f) m
S
(f))vol(S)
2M

SR
vol(S) + 2

SR

vol(S)
< 2M

+ 2

vol(A) = ,
mostrando a integrabilidade de f.
Reciprocamente, suponhamos que f seja integravel. Para > 0 dado, consideremos o conjunto
D

:= x A : (f, x) .

E evidente que D =

_
n=1
D1
n
, dessa forma e suciente mostrar que
cada D1
n
possui medida nula.
Dado > 0, seja P uma parti cao de A tal que S(f, P) s(f, P) <

n
, e consideremos a
colecao o de sub-retangulos S P, cujo interior int S, intercepta D1
n
. Para todo S o tem-se
M
S
(f) m
S
(f)
1
n
, e portanto,
1
n

SS
vol(S)

SS
(M
S
(f) m
S
(f))vol(S)

SP
(M
S
(f) m
S
(f))vol(S) <

n
,
donde se conclui que

SS
vol(S) < .
Finalmente observando que D1
n
(
_
SS
S) (
_
SP
S) e
_
SP
S possui medida nula, entao D1
n

(
_
SS
S) (
_
SP
S) e segue do Lema 2.7, que D1
n
possui medida nula.

Teorema 2.10 Seja f : A R uma funcao integravel no retangulo A R

n
.
1. Se f e identicamente nula, exceto em um conjunto de medida nula, entao
_
A
f = 0.
2. Se f 0 e
_
A
f = 0, entao f e identicamente nula, exceto em um conjunto de medida nula.
16 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Demonstracao: .
1. Suponhamos que f seja identicamente nula, exceto no conjunto de medida nula E A. Se
P e uma particao de A sabemos que se S P entao S nao esta contido em E. Logo f se anula
em algum ponto de S qualquer que seja S P, e portanto, M
S
(f) 0 e m
S
(f) 0. Como essas
desigualdades valem para toda particao de A,
_

A
f 0 e
_
A
f 0,
o que implica
_
A
f = 0.
2. Mostremos que se f 0 e
_
A
f = 0 e alem disso, se f e contnua em a, entao f(a) = 0.
De fato, se f e contnua em a, supondo f(a) > 0 e tomando =
f(a)
2
, existe > 0 tal que
< f(x) < 3, qualquer que seja x B(a, ) A. Seja P uma particao de A com malha
3
|P| < .
Logo se S
0
P contem a, entao m
S
0
(f) e com isso
s(f, P) =

SP
m
S
(f)vol(S) vol(S
0
) > 0.
Mas s(f, P)
_
A
f, portanto temos uma contradicao. Alem disso, ja que f integravel, temos
pelo Teorema 2.9 que f e descontnua no maximo em um conjunto de medida nula e portanto f e
(possivelmente) diferente de 0 somente neste conjunto.

Observacao Dado um retangulo A R

n
, considerando J = f : A R : f e limitada e integravel,
entao da Proposicao 2.5 sabemos que J possui uma estrutura natural de espaco vetorial real. A
aplicacao | | : J R denida por J f
_
A
[f[ e uma norma em J? Que estrutura voce imporia
em J para que eventualmente | | seja norma ?
Exerccios .
1. .
a. Seja f : A R uma funcao limitada. Mostre que f e contnua em a A se, e somente
se, (f, a) = 0.
b. Se A R
n
e fechado, dado > 0, o conjunto x A : (f, x) e fechado.
2. .
a. Seja f : [a, b] R uma funcao crescente. Dados distintos pontos x
1
, x
2
, , x
n
[a, b],
mostre que
n

i=1
(f, x
i
) < f(b) f(a).
3
maior diametro entre todos os sub-ret angulos S P.
2.3. A INTEGRAL SOBRE CONJUNTOS LIMITADOS 17
b. Mostre que o conjunto dos pontos de descontinuidades de f tem medida nula. (sugestao:
o item a. permite demonstrar que para todo n N, o conjunto x [a, b] : (f, x) >
1
n

e nito).
3. Mostre que se X R
n
possui medida nula e g : R
n
R
n
e de classe C
1
entao g(X) possui
medida nula.
4. Mostre que se f, g : A R sao integraveis, entao f.g : A R e integravel.
5. Mostre que se B A e um retangulo e f : A R e integravel, entao a restricao f
|B
de f `a
B e integravel e
_
B
f
|B

_
A
f.
2.3 A integral sobre conjuntos limitados
Nesta secao estenderemos o conceito de integral para funcoes denidas em subconjuntos de R
n
mais gerais que retangulos.
Sejam X R
n
um conjunto limitado e f : X R uma funcao limitada. Consideremos a
extensao

f de f `a R
n
denida por

f(x) =
_
f(x), x X
0, x R
n
X
.
Se A R
n
e um retangulo que contem X, dizemos que f e integravel sobre X, se a restricao

f
|A
de

f `a A e uma funcao integravel, e a integral de f sobre X e denida como
_
X
f :=
_
A

f
|A
. (2.4)
Uma vez que a denicao acima leva em conta uma escolha arbitraria de um retangulo arbitrario
A contendo o conjunto X, devemos mostrar que esta deni cao independe desta particular escolha.
Lema 2.11 Sejam A, A

retangulos em R
n
. Se f : R
n
R e uma funcao limitada identicamente
nula em R
n
(A A

), entao
_
A
f
|A
existe se, e somente se,
_
A

f
|A
existe, e neste caso
_
A
f
|A
=
_
A

f
|A
.
Demonstracao: Consideremos primeiramente o caso A A

. Se E = x int A : f nao e contnua em x,

entao ambas as funcoes f
|A
: A R e f
|A
: A

R sao contnuas exceto nos pontos de E e possi-

velmente em A
4
. Dessa forma a existencia de cada integral equivale a E ter medida nula.
Suponhamos agora que ambas integrais existam. Sejam P

uma parti cao de A

e P o rena-
mento de P

obtido reunindo a cada componente de P

os pontos extremos dos intervalos de cada

componente do retangulo A. Logo A e uma reuniao de sub-retangulos determinados por P. Se
S P nao esta contido em A, entao f se anula em algum ponto de S, e portanto m
S
(f) 0.
Assim
s(f, P

) s(f, P)

SA
m
S
(f)vol(S)
_
A
f
|A
.
4
Lembre-se que f 0 em A

\ A.
18 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Com um argumento similar podemos mostrar que S(f, P

)
_
A
f
|A
. Desde que P

e uma
parti cao arbitraria de A

, segue que
_
A
f
|A
=
_
A

f
|A
.
Para demonstrar o caso geral, basta tomar um retangulo Q contendo simultaneamente A e A

e seremos capazes de demonstrar que

_
A
f
|A
=
_
Q
f
|Q
=
_
A

f
|A
.

Portanto se A, A

sao retangulos contendo X como

f se anula identicamente em R
n
(A A

),
segue do Lema anterior que
_
A
f =
_
A

f =
_
X
f, sempre que existirem
_
A
f ou
_
A

f.
Dizemos que um conjunto limitado X R
n
e J-mensuravel, quando a fun cao constante igual a
1 e integravel sobre X. Neste caso, o volume n-dimensional de X e denido como vol(X) :=
_
X
1.
Corolario 2.12 O conjunto limitado X R
n
e J-mensuravel se, e somente se, a fronteira X de
X possui medida nula.
Corolario 2.13 Sejam X R
n
J-mensuravel e f : X R uma funcao limitada. Ent ao f e
integravel se, e somente se, o conjunto de seus pontos de descontinuidade possui medida nula.
Demonstracao: Sejam D
f
e D

f
, os conjuntos dos pontos de descontinuidade de f e de sua ex-
tensao

f respectivamente. Se x D
f
, existe uma sequencia x
k
em X, x
k
x, com f(x
k
) f(x).
Evidentemente

f(x
k
) = f(x
k
) f(x) =

f(x), ou seja, x D

f
, mostrando que D
f
D

f
.
Por sua vez, os pontos de descontinuidade de

f, ou ja eram pontos de descontinuidade de f
ou estao na fronteira, X, de X, e assim podemos escrever D
f
D

f
D
f
X. Sendo X de
medida nula, D
f
possui medida nula se, e somente se, D

f
possui medida nula. Ora da denicao, f
integravel signica

f integravel o que equivale a D

f
possuir medida nula.

Teorema 2.14 Sejam X, Y R

n
J-mensuraveis. A funcao f : X Y R e integravel se, e
somente se, as restri coes f
|X
e f
|Y
sao integraveis. Neste caso
_
XY
f +
_
XY
f =
_
X
f +
_
Y
f.
Demonstracao: Indicando por D
f
, D
X
, D
Y
os conjuntos dos pontos de descontinuidade de f, f
|X
e f
|Y
respectivamente, temos
D
X
D
Y
D
f
D
X
D
Y
X Y.
Logo, D
f
possui medida nula se e somente se, D
X
e D
Y
possuem medida nula.
2.4. INTEGRAC

AO REPETIDA 19
Neste caso, sejam A R
n
um retangulo contendo XY e

f a extensao de f. Entao

f =

f.
XY
,
onde
S
denota a fun cao caracterstica do conjunto S. Como
XY
=
X
+
Y

XY
conclumos
que

f =

f
X
+

f
Y


f
XY
=

f
|X
+

f
|Y


f
|XY
. Logo
_
XY
f =
_
A

f =
_
A
_

f
|X
+

f
|Y


f
|XY
_
=
_
X
f +
_
Y
f
_
XY
f.

Corolario 2.15 Se X e Y sao conjuntos J-mensuraveis sem pontos interiores em comum, entao
_
XY
f =
_
X
f +
_
Y
f.
Demonstracao: Basta observar que a integral de f sobre X Y e nula pelo Teorema 2.10.

Corolario 2.16 Se f : X R e uma funcao limitada e integravel no conjunto J-mensuravel

X R
n
e Y X e J-mensuravel com int(X Y ) = , entao
_
X
f =
_
Y
f. Em particular
_
X
f =
_
intX
f.
Demonstracao: Note que X = (X Y ) (X Y ) = (X Y ) Y .
Este ultimo Corolario nos diz que ao considerarmos integrais sobre conjuntos J-mensuraveis de
R
n
, nao ha qualquer perda em supo-los abertos.
Exerccios .
1. Prove que se X R
n
e um conjunto J-mensuravel entao a integral sobre X possui proprie-
dades similares as apresentadas na Proposi cao 2.5 .
2. Seja f : X R uma funcao limitada e integravel no conjunto J-mensuravel X R
n
. Mostre
que se X possui medida nula, entao
_
X
f = 0.
3. Sejam X um conjunto J-mensuravel e Y X tmbem J-mensuravel. Se f : X R e
integravel, entao a restri cao f
|X
de f `a X e integravel e
_
Y
f
|Y

_
X
f.
2.4 Integracao repetida
Nesta se cao mostraremos que sob algumas hipoteses a integral
_
A
f de uma funcao limitada
f sobre o retangulo A = [a
1
, b
1
] [a
n
, b
n
] pode ser escrita como uma integral repetida
_
[a
1
,b
1
]
_
[a
2
,b
2
]

_
[a
n
,b
n
]
f(x
1
, x
2
, , x
n
) dx
n
dx
2
dx
1
.
20 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Teorema 2.17 (Fubini) Sejam A R
n
e B R
m
retangulos e f : A B R uma func ao
limitada e integravel. Para cada x A seja g
x
: B R dada por g
x
(y) = f(x, y). Entao as func oes
/(x) :=
_

B
g
x
e |(x) :=
_
B
g
x
sao integr aveis sobre A, e valem as identidades
_
AB
f =
_
A
/ :=
_
A
_
_

B
f(x, y)dy

dx (2.5)
_
AB
f =
_
A
| :=
_
A
_
_
B
f(x, y)dy

dx (2.6)
As integrais no terceiro membro sao chamadas de integrais repetidas, ou integrais iteradas de f.
Demonstracao: Sejam P
A
e P
B
particoes de A e B respectivamente. Entao P = P
A
P
B
e uma
parti cao de AB e se S P temos que S = S
A
S
B
para algum S
A
P
A
e S
B
P
B
. Portanto
s(f, P) =

SP
m
S
(f)vol(S) =

S
A
P
A

S
B
P
B
m
S
A
S
B
(f)vol(S
A
S
B
)
=

S
A
P
A
_

S
B
P
B
m
S
A
S
B
(f)vol(S
B
)

vol(S
A
).
Observando que para x S
A
, temos que m
S
A
S
B
(f) m
S
B
(g
x
) e consequentemente

S
B
P
B
m
S
A
S
B
(f)vol(S
B
)

S
B
P
B
m
S
B
(g
x
)vol(S
B
) = s(g
x
, P
B
)
_

B
g
x
= /(x),
o que implica

S
B
P
B
m
S
A
S
B
(f)vol(S
B
) m
S
A
(/).
Portanto
s(f, P) =

S
A
P
A
_

S
B
P
B
m
S
A
S
B
(f)vol(S
B
)

vol(S
A
)

S
A
P
A
m
S
A
(/)vol(S
A
) = s(/, P
A
)
De maneira analoga temos que
S(f, P) =

S
A
P
A
_

S
B
P
B
M
S
A
S
B
(f)vol(S
B
)

vol(S
A
).
E observando que tambem para x S
A
, M
S
A
S
B
(f) M
S
B
(g
x
) segue que

S
B
P
B
M
S
A
S
B
(f)vol(S
B
)

S
B
P
B
M
S
B
(g
x
)vol(S
B
) = S(g
x
, P
B
)
_
B
g
x
= |(x),
o que implica

S
B
P
B
M
S
A
S
B
(f)vol(S
B
) M
S
A
(|),
2.5. INTEGRAIS IMPR

OPRIAS 21
e que implica
S(f, P) S(|, P
A
).
Com isso temos
s(f, P) s(/, P
A
) S(/, P
A
) S(|, P
A
) S(f, P).
o que mostra que / e integravel e a identidade (2.5).
Finalmente observando que
s(f, P) s(/, P
A
) s(|, P
A
) S(|, P
A
) S(f, P).
temos que | e integravel e a identidade (2.6).

2.5 Integrais Impr oprias

Nesta se cao estenderemos nosso conceito de integral para fun coes f : X R nao necessaria-
mente limitadas, denidas em subconjuntos de R
n
nao necessariamente limitados. Entretanto nesta
apresentacao nos restringiremos somente ao caso em que X e aberto.
Seja f : X R uma fun cao contnua e nao-negativa denida no aberto X R
n
. Se sup
_
_
K
f :
K X e compacto, J-mensuravel
_
< , dizemos que f e integravel, e denimos a integral
impropria de f sobre X como

_
X
f := sup
_
_
K
f : K X e compacto, J-mensuravel
_
.
Mais geralmente se f : X R e uma fun cao contnua denida no aberto X R
n
, denotando
por f
+
e f

as partes positiva e negativa de f respectivamente,

5
dizemos que f e integravel se
ambos f
+
e f

o forem, e neste caso denimos

_
X
f :=

_
X
f
+

_
X
f

.
Se o aberto X R
n
e a funcao f forem limitados, entao e natural perguntar: existe uma relacao
entre
_
X
f e

_
X
f (caso existam)? Ou, a existencia de uma integral garante a existencia da outra?
Como veremos se f for integravel entao f sera integravel e
_
X
f =

_
X
f.
Primeiramente consideremos a seguinte construcao.
Lema 2.18 Se X e um aberto de R
n
, entao existe uma sequencia K
1
, K
2
, de compactos J-
mensuraveis de X, tal que K
n
int K
n+1
e X =

_
n=1
K
n
.
5
f
+
(x) = max{f(x), 0} e f

(x) = max{f(x), 0}
22 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Demonstracao: Dado n N, seja D
n
= x X : dist(x, X
c
)
1
n
e |x| n. Nao e difcil
vericar que D
n
possui as propriedades desejadas, exceto, possivelmente, ser J-mensuravel. Para
resolver isso para cada x D
n
, consideremos um retangulo contendo x em seu interior e contido
em int D
n+1
. Assim o interior desses cubos cobrem D
n
, que e compacto, e portanto admite uma
subcobertura nita. Seja K
n
a reuniao dessa subcobertura nita. Entao K
n
e J-mensuravel
6
,
D
n
int K
n
K
n
int D
n+1
D
n+1
int K
n+1
, X =

_
n=1
K
n
.

Teorema 2.19 Seja f : X R uma funcao contnua denida no aberto X R

n
. Se K
n
e
uma sequencia de compactos J-mensuraveis de X tal que X =

_
n=1
K
n
e K
n
int K
n+1
, entao f e
integravel sobre X se, e somente se a sequencia
_
_
K
n
[f[
_
e limitada, valendo neste caso,

_
X
f = lim
n
_
K
n
f.
Observemos que deste Teorema f e integravel se, e somente se, [f[ e integravel.
Demonstracao: Suponhamos primeiramente que f 0. Logo a sequencia
_
_
K
n
f
_
e crescente,
e portanto converge se, e somente se, e limitada.
Suponhamos f integravel. Entao
_
K
n
f sup
_
_
K
f : K X e compacto, J-mensuravel
_
=

_
X
f,
ou seja, a sequencia
_
_
K
n
f
_
e limitada.
Reciprocamente suponhamos que
_
_
K
n
f
_
seja limitada. Se K X e um compacto J-
mensuravel, entao K

_
n=1
int K
n
e podemos extrair uma subcobertura nita de K. Logo da
monotonicidade da cobertura K
n
, K K
m
para algum m. Portanto
_
K
f
_
K
m
f lim
n
_
K
n
f.
Sendo K arbitrario, conclumos que f e integravele

_
X
f lim
n
_
K
n
f.
No caso geral f e integravelse, e somente se, o sao f
+
e f

, e isto ocorre (do que ja pro-

vamos) se, e somente se, as sequencias
_
_
K
n
f
+
_
e
_
_
K
n
f

_
sao limitadas. Observando que
0 f
+
(x), f

(x) [f(x)[, e que [f(x)[ = f

+
(x) + f

(x), vemos que as sequencias

_
_
K
n
f
+
_
e
6
reuni ao nita de conjuntos J-mensuraveis
2.5. INTEGRAIS IMPR

OPRIAS 23
_
_
K
n
f

_
sao limitadas se, e somente se, a sequencia
_
_
K
n
[f[
_
e limitada. Neste caso temos ainda
que
_
K
n
f
+

_
X
f
+
e
_
K
n
f

_
X
f

e portanto
_
K
n
f =
_
K
n
f
+

_
K
n
f

_
X
f
+

_
X
f

_
X
f.

Teorema 2.20 Se f : X R e uma func ao contnua e limitada denida em um aberto limitado

X R
n
, entao f e integravel. Adicionalmente se f e integravel, entao

_
X
f =
_
X
f. (2.7)
Demonstracao: Sejam A um retangulo contendo X e M > 0 tal que [f(x)[ M, x X. Portanto
para todo compacto J-mensuravel K X,
_
K
[f[ M.vol(A), mostrando que f e integravel.
Para mostrar (2.7), suponhamos f 0 e integravel.
Entao se K X e um compacto J-mensuravel,
_
K
f
_
A

f
|X
=
_
X
f =

_
X
f
_
X
f.
Por outro lado, se P e uma parti cao de A, sejam S
1
, S
2
, , S
r
, os sub-retangulos determinados
por P contidos em X.

E facil ver que s(

f
|X
, P) =
r

i=1
m
S
i
(f)vol(S
i
).
Alem disso, considerando o compacto K =
r
_
i=1
S
i
, temos
r

i=1
m
S
i
(f)vol(S
i
)
r

i=1
_
S
i
f =
_
K
f

_
X
f,
e conclumos que
_
X
f

_
X
f.
Para o caso geral, escrevemos f = f
+
f

. Sendo f integrave, sao integraveis f

+
e f

, e
portanto do que ja provamos segue que
_
X
f =
_
X
f
+

_
X
f

_
X
f
+

_
X
f

_
X
f,
como queramos.

Corolario 2.21 Sejam X R

n
limitado e f : X R uma funcao contnua e limitada. Se f e
integravel ent ao
_
X
f =

_
int X
f

24 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Exemplo 2.22 Seja X = (x, y) R
2
: x > 1, y > 1. Mostre que f(x, y) =
1
x
2
y
2
e in-
tegravelsobre X e calcule sua integral impropria.
Considerando a famlia de subconjuntos compactos K
n
= [1 +
1
n
, n]
2
X, segue que a colecao
K
n
satisfaz as condic oes do Teorema 2.19 e portanto f e integravelse, e somente se, a sequencia
_
K
n
f e limitada. Do Teorema de Fubini temos,
_
K
n
f =
_
[1+
1
n
,n]
_
[1+
1
n
,n]
1
x
2
y
2
dxdy =
_
_
[1+
1
n
,n]
1
x
2
dx

2
=
_
n(n 1) 1
n(n + 1)
_
2
1.
Exerccios .
1. Prove que se X R
n
e um conjunto aberto J-mensuravel entao a integral sobre X possui
propriedades similares as apresentadas na Proposi cao 2.5.
2. Prove que se f, g : X R sao integraveis, entao as fun coes g, h denadas respectivamente
por g(x) = maxf(x), g(x) e h(x) = minf(x), g(x) sao integraveis.
2.6 Mudanca de Variaveis
Para demonstrar o Teorema de Mudan ca de Variaveis para Integrais M ultiplas precisamos
introduzir o conceito de particao da unidade.
2.6.1 Partic oes da Unidade
Lema 2.23 Seja A R
n
um ret angulo. Entao existe uma funcao : R
n
R de classe C

, tal
que > 0 em int A e 0 caso contr ario.
Demonstracao: Consideremos f : R R dada por f(x) =
_
e
1
x
, x > 0
0, x 0
, e denamos g(x) =
f(x).f(1 x). Entao g C

, alem disso, g e positiva para 0 < x < 1 e identicamente nula caso

contrario.
Finalmente se A = [a
1
, b
1
] [a
n
, b
n
], denimos (x) = g(
x
1
a
1
b
1
a
1
).g(
x
2
a
2
b
2
a
2
) g(
x
n
a
n
b
n
a
n
).

Lema 2.24 Seja / uma colecao de abertos de R

n
. Se A =
_
UA
U, entao existe uma sequencia
Q
1
, Q
2
, de retangulos contidos em A tais que A int

_
i=1
Q
i
. Alem disso, para cada i existe
U / tal que Q
i
U e todo ponto de A possui uma vizinhanca que intercepta somente um n umero
nito dos retangulos Q
i
.
7
.
7
Dizemos que a famlia Q
1
, Q
2
, e uma cobertura localmente nita de A.
2.6. MUDANC A DE VARI

AVEIS 25
Demonstracao: Sejam K
1
, K
2
, uma sequencia de compactos contidos em A como no Lema
2.18. Denimos B
1
= K
1
e para i 2, B
i
= K
i
int K
i1
. Entao cada B
i
e compacto e disjunto
de K
i2
, visto que K
i2
int K
i1
. Para cada x B
i
, considere o retangulo C
x
centrado em x
contido em A, disjunto de K
i2
e contido em algum aberto da colecao /.
Os interiores dos retangulos C
x
cobrem B
i
e dessa forma podemos extrair um n umero nito
deles que ainda cobrem B
i
. Seja (
i
esta colecao nita de retangulos.
Seja ( = (
1
(
2
. Esta e uma famlia enumeravel e mostraremos que ela satisfaz as conclusoes
do Lema.
De fato, por constru cao cada elemento de ( e um retangulo contido em algum elemento da
colecao /. Alem disso, se x A, seja i o menor natural tal que x int K
i
. Entao x B
i
=
K
i
int K
n1
. Desde que os interiores dos retangulos pertencentes a (
i
cobrem B
i
, segue que x
pertence ao interior de algum desses retangulos.
Finalmente dado x A temos que x int K
i
para algum i. Cada retangulo pertencente a
uma das cole coes (
i+2
, (
i+3
, e disjunto de K
i
por construcao, dessa forma o aberto, int K
i
, pode
interceptar, eventualmente, somente os retangulos das colecoes (
1
, , (
i+1
.

Se : R
n
R e uma funcao, entao o suporte de e o conjunto supp

= x R
n
: (x) ,= 0.
Teorema 2.25 Seja / uma colecao de abertos de R
n
. Se A =
_
UA
U, entao existe uma sequencia
de funcoes
1
,
2
, : R
n
R de classe C

tais que:
i)
i
0;
ii) Cada ponto de A possui uma vizinhanca que intercepta somente um n umero nito de conjunto
supp

i
;
iii) Para cada x A,

i=1

i
(x) = 1;
iv) Para cada i, o conjunto supp

i
e compacto;
v) Para cada i, o conjunto supp

i
esta contido em um elemento de /.
A famlia de fun coes
1
,
2
, e chamada de parti cao da unidade subordinada `a cole cao /.
Demonstracao: Dados / e A sejam Q
1
, Q
2
, a sequencia de retangulos como no Lema 2.24.
Para cada i seja
i
: R
n
R uma funcao de classe C

estritamente positiva em int Q

i
e identi-
camente nula caso contrario. Entao
i
0 e supp

i
= Q
i
que e um compacto contido em algum
elemento de / e alem disso, cada ponto de A possui uma vizinhan ca que intercepta somente um
n umero nito de Q
i
s.
Resta-nos, portanto, vericar a propriedade iii). Mas observemos que se x A, somente um
n umero nito dos
1
(x),
2
(x), sao diferentes de 0, e a serie
(x) =

i=1

i
(x)
26 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
e trivialmente convergente. Como todo x A possui uma vizinhan ca na qual a fun cao e uma
soma nita de funcoes C

, segue que C

. Alem disso, ja que, (x) > 0 qualquer que seja

x A, podemos denir, para cada i, a fun cao
i
=

i

que satisfaz cada condicao do Teorema.

Agora exploremos a conexao entre parti coes da unidade e a integral impropria. Primeiramente
provemos um Lema auxiliar.
Lema 2.26 Seja f : X R uma funcao contnua denida no aberto X R
n
. Se f e identicamente
nula fora do compacto J-mensur avel K X, entao f e integravele

_
X
f =
_
K
f.
Demonstracao: Note que a integral
_
K
f existe pelo Corolario 2.13.
Seja agora K
n
uma sequencia de compactos J-mensuraveis de X como no Lema 2.18. Logo
existe m N tal que K int K
m
. Como f e identicamente nula fora de K temos, pelo Lema 2.11,
_
K
f =
_
K
n
f
para todo n m. Este argumento aplicado `a funcao [f[ mostra que a sequencia
_
K
n
[f[ e
convergente e mostrando portanto f e integravel sobre X e

_
X
f =
_
K
f.

Teorema 2.27 Sejam f : X R uma funcao contnua denida no aberto X R

n
, e
n

uma particao da unidade em X. Ent ao a integral

_
X
f existe se e somente a serie

i=1

_
X

i
[f[ e
convergente, e neste caso,

_
X
f =

i=1

_
X

i
f.
Observemos que a integral

_
X

i
f existe e e igual, pelo Lema anterior, a
_
supp
i

i
f, visto que
supp
i
e um compacto J-mensuravel.
Demonstracao: Consideremos primeiramente o caso f 0.
Suponhamos a serie

i=1

_
X

i
[f[ convergente. Se K X e um compacto J-mensuravel, entao
existe m N tal que supp
i
K = , para todo i > m. Logo f(x) =
m

i=1
(x)f(x), qualquer que
seja x K. Agora por linearidade e monotonicidade temos
_
K
f =
_
K
m

i=1

i
f =
m

i=1
_
K

i
f
m

i=1
_
Ksupp
i

i
f =
m

i=1

_
X

i
f

i=1

_
X

i
f,
2.6. MUDANC A DE VARI

AVEIS 27
onde na pen ultima igualdade usamos o Lema anterior.
Portanto f e integravelsobre X e

_
X
f

i=1

_
X

i
f.
Por outro, supondo f integravelsobre X, para todo natural m N temos que
m

i=1

_
X

i
f =

_
X
m

i=1

i
f

_
X
f, mostrando que a serie

i=1

_
X

i
f e convergente e

i=1

_
X

i
f

_
X
f.
No caso geral temos que f e integravelse e somente se [f[ e integravel. Alem disso do que
demonstramos segue que

_
X
f =

_
X
f
+

_
X
f
=

i=1

_
X

i
f
+

i=1

_
X

i
f

i=1

_
X

i
(f
+
f

) =

i=1

_
X

i
f,
onde na pen ultima igualdade somamos termos de series convergentes.
Agora provemos a seguinte versao do Teorema de Mudanca de variaveis.
Teorema 2.28 (Mudanca de Variaveis) Seja g : X R
n
uma funcao de classe C
1
injetora no
aberto X R
n
tal que g

(x) e n ao singular para todo x X. Se f : g(X) R e integravel, entao

(f g)[det g

[ : X R e integravel e
_
g(X)
f =
_
X
(f g)[det g

[.
Demonstracao: Iniciamos a prova com algumas importantes simplica coes.
1
a
reducao - Se | e uma colecao de abertos tal que X =
_
UU
U e para cada U | o Teorema
e verdadeiro, entao o Teorema e verdadeiro.
De fato, como g e uma aplicacao aberta
8
, entao g(U) : U | e uma colecao de abertos tal
que g(X) =
_
UU
g(U). Seja
i
uma parti cao da unidade subordinada a esta cobertura. Se
i
= 0
fora de g(U), sendo g injetora, temos que (
i
f) g = 0 fora de U. Dessa forma temos
_
g(X)

i
f =
_
g(U)

i
f =
_
U
(
i
f) g[det g

[ =
_
X
(
i
f) g[det g

[.
Assim
_
g(X)
f =

i=1
_
g(X)

i
f =

i=1
_
X
(
i
f) g[det g

[ =

i=1
_
X
(
i
g)(f g)[det g

[ =
_
X
(f g)[det g

[,
aqui usamos que
i
g e uma particao da unidade subordinada `a colecao |.
Observemos que o Teorema tambem segue supondo
_
V
f =
_
g
1
(V )
(f g)[det g

[, para todo V
em uma cobertura por abertos de g(X)
9
.
8
Teorema da Fun c ao Inversa
9
basta tomar a fun c ao g
1
.
28 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
2
a
redu cao -

E suciente provar o Teorema para a fun cao f = 1.
De fato, se o Teorema e valido para a funcao f = 1, ele sera valido para qualquer funcao
constante.
Seja V um retangulo em g(X) e P uma parti cao de V . Para cada sub-retangulo S P seja f
S
a funcao constante igual a m
S
(f). Entao
s(f, P) =

SP
m
S
(f)vol(S) =

SP
_
int S
f
S
=

SP
_
g
1
(int S)
(f
S
g)[det g

SP
_
g
1
(int S)
(f g)[det g

[
_
g
1
(V )
(f g)[det g

[.
Isso mostra que
_
V
f
_
g
1
(V )
(f g)[det g

[. Um argumento similar, tomando f

S
= M
S
(f),
mostra que
_
g
1
(V )
(f g)[det g

[
_
V
f e o resultado segue da observacao anterior.
3
a
reducao - Se o Teorema for valido para g : X R
n
e para h : Y R
n
, com g(X) Y ,
entao ele sera valido para a composicao h g : X R
n
.
De fato,
_
hg(X)
f =
_
g(X)
(f h)[det h

[ =
_
X
[(f h) g][[det h

[ g][det g

[ =
_
X
[(f h) g][det (h g)

[.
4
a
redu cao - O Teorema e valido se g for linear.
De fato, das reducoes anteriores e suciente mostrar que para todo retangulo aberto V X
tem-se
_
g(V )
1 =
_
V
[det g

[. (Fato demostrado na ultima aula).

As reducoes 3
a
e 4
a
juntas garantem que podemos assumir para qualquer x X que g

(x) = I,
pois trocando g pela composicao g

(x)
1
g, temos que (g

(x)
1
g)

(x) = I, e sendo o Teorema

valido para g

(x), se for valido para g

(x)
1
g ele sera valido para a composicao g

(x)g

(x)
1
g = g.
Observados tais fatos, provemos o Teorema por inducao sobre n. Fica a cargo do leitor o caso
n = 1. Suponhamos entao que o teorema seja valido em dimensao n 1.
Para cada x
0
X e suciente encontrar uma vizinhanca aberta U X de x
0
para o qual o
Teorema seja valido. Alem disso podemos supor que g

(x
0
) = I.
Seja h : X R
n
dada por h(x) = (g
1
(x), , g
n1
(x), x
n
), onde x = (x
1
, , x
n
). Entao
h

(x
0
) = I. Portanto existe uma vizinhanca aberta U

X de x
0
, tal que h e injetora e det h

(x) ,= 0.
Logo ca bem denida a funcao k : h(U

) R
n
por k(x) = (x
1
, , x
n1
, g
n
(h
1
(x))) e note que
g = k h.
Como (g h
1
)

(h(x
0
)) = g

(x
0
)(h

(x
0
))
1
= I, temos que
(g
n
h
1
)
x
n
(h(x
0
)) = 1, e portanto
k

(h(x
0
)) = I. Assim em alguma vizinhan ca aberta V h(U

) de h(x
0
), a fun cao k e injetora e
det k

(x) ,= 0. Pondo U = k
1
(V ) temos a decomposicao g = k h satisfazendo a 3
a
reducao, isto
e com h : U R
n
e k : V R
n
com h(U) V .
Pela 3
a
redu cao e suciente mostrar o Teorema para as funcoes h e k, e pela 1
a
reducao basta
tomar retangulos em U e V respectivamente.
Para a fun cao h, seja W U um retangulo da forma W = D[a
n
, b
n
], onde D e um retangulo
n 1 dimensional. Como h preserva a ultima coordenada, h(W) esta contido em um retangulo da
2.6. MUDANC A DE VARI

AVEIS 29
forma E [a
n
, b
n
], onde E e um retangulo n 1 dimensional. Tomando extensoes por 0 fora de
h(W), segue pelo Teorema de Fubini que,
_
h(W)
1 =
_
[a
n
,b
n
]
_
_
E
1 dx
1
dx
n1

dx
n
.
Seja h
x
n
: D R
n1
dada por h
x
n
(x
1
, , x
n1
) = (g
1
(x
1
, , x
n
), , g
n1
(x
1
, , x
n
)).
Entao cada h
x
n
e evidentemente injetora, visto que h o e, e
det (h
x
n
)

(x
1
, , x
n1
) = det h

(x
1
, , x
n
) ,= 0.
Alem disso,
_
E
1 dx
1
dx
n1
=
_
h
x
n
(D)
1 dx
1
dx
n1
.
Finalmente aplicando o Teorema no caso n 1 temos
_
h(W)
1 =
_
[a
n
,b
n
]
_
_
h
x
n
(D)
1 dx
1
dx
n1

dx
n
=
_
[a
n
,b
n
]
_
_
D
[det (h
x
n
)

(x
1
, , x
n1
)[ dx
1
dx
n1

dx
n
=
_
[a
n
,b
n
]
_
_
D
[det (h

(x
1
, , x
n1
)[ dx
1
dx
n1

dx
n
=
_
W
[det h

[.
A verica cao desta identidade para a fun cao k e similar.

A condicao det g

(x) ,= 0 pode ser eliminada das hipoteses do Teorema 2.28 via a seguinte versao
do Teorema de Sard.
Teorema 2.29 (Teorema de Sard) Sejam g : X R
n
de classe C
1
no aberto X R
n
e
B = x X : det g

(x) = 0. Entao g(B) possui medida nula.

Demonstracao: Seja A X um retangulo com todos os lados de comprimento, digamos, l > 0.
Dado > 0, seja m N tal que dividindo A em m
n
retangulos, com lados iguais a
l
m
, tenhamos,
para cada x em um tal retangulo S,
|g

(x)(y x) g(y) g(x)| < |x y|

l

n
m
, y S. (2.8)
Agora se x S B, como det g

(x) = 0, o conjunto g

(x)(y x) : y S esta contido em um

subespa co (n 1) dimensional V de R
n
. Alem disso de (2.8) temos que o conjunto g(y) g(x) :
y S dista menos de
l

n
m
de V , e assim o conjunto g(y) : y S dista menos de
l

n
m
do
hiperplano V +g(x). Alem disso, se M = sup
S
|g

()| entao |g(x) g(y)| M|x y| M

l

n
m
.
Assim, se S intercepta B, o conjunto g(y) : y S esta contido em um cilindro cuja altura
e menor que 2
l

n
m
e cuja base e uma esfera (n 1) dimensional de raio menor que M
l

n
m
.
30 CAP

ITULO 2. INTEGRAIS M

ULTIPLAS
Este cilindro tem, portanto, volume menor que C
l
n
m
n
, onde C = C(n) e uma constante. Como
existem no maximo m
n
tais retangulos, g(A B) esta contido em um conjunto de volume menor
que C
l
n
m
n
m
n
= Cl
n
. Sendo > 0 arbitrario, segue que g(A B) tem medida nula. Como R
n
e
Lindelof, podemos cobrir X por uma sequencia de tais retangulos A, e assim provamos o resultado.

Exerccios .
1. Mostre que a fun cao f : R R dada por f(x) =
_
e
1
x
, x > 0
0, x 0
e de classe C

, porem nao
e analtica.
2. Mostre que se x / supp

, entao existe uma vizinhanca U de x tal que

|U
0.
3. Prove o Teorema 2.28 no caso n = 1.
4. Prove o Teorema 2.28 sem a hipotese det g

(x) ,= 0.
5. Calcule o volume da esfera n-dimensional de raio r.
Captulo 3
Integracao em Cadeias
3.1 Tensores e formas
Seja V um espa co vetorial real. O produto cartesiano V V de k copias de V sera denotado
por V
k
. Dizemos que o funcional f : V
k
R e multilinear se for linear em cada coordenada.
Chamamos tal funcional de um tensor de ordem k sobre V , ou simplesmente um k-tensor em V . O
conjunto dos k-tensores em V sera denotado por J
k
(V ). Com as operacoes usuais, e facil ver que
J
k
(V ) e um espaco vetorial real.
Podemos tambem introduzir uma operacao entre tensores de diferentes ordens. Se f J
k
(V ) e
g J
l
(V ) denimos o produto tensorial de f e g como o tensor f g J
k+l
(V ) dado por
f g(v
1
, , v
k
, v
k+1
, , v
k+l
) = f(v
1
, , v
k
, )g(v
k+1
, , v
k+l
).

E imediato que esta operacao e associativa e distributiva com rela cao a soma (ver Exerccios),
porem nao e, em geral comutativa. Por exemplo, dados dois funcionais nao nulos f, g V

, f ,= g
e facil ver que f g ,= g f.
Observando que J
1
(V ) = V

o produto tensorial nos permite expressar os demais J

k
(V ), em
termos de J
1
(V ).
Teorema 3.1 Sejam B = v
1
, , v
n
uma base de V e B

=
1
, ,
n
sua base dual. Entao
o conjunto
i
1

i
k
J
k
(V ) : 1 i
1
, , i
k
n, e uma base de J
k
(V ), o qual portanto,
possui dimens ao n
k
.
Demonstracao: Esta demonstracao e a extensao natural daquela sobre bases duais. Observando
primeiramente que

i
1

i
k
(v
j
1
, , v
j
k
) =
i
1
,j
1

i
k
,j
k
=
_
1, se j
1
= i
1
, , j
k
= i
k
0, caso contrario
para todos
i
1
, ,
i
k
B

e v
j
1
, , v
j
k
B, temos para w
i
=
n

j=1

i,j
v
j
V , i = 1, , k que

i
1

i
k
(w
1
, , v
k
) =
i
1
(
n

j=1

1,j
v
j
)
i
k
(
n

j=1

k,j
v
j
) =
1,i
1

1,i
k
31
32 CAP

ITULO 3. INTEGRAC

AO EM CADEIAS
Portanto, se f J
k
(V ) temos
f(w
1
, , w
k
) =
n

j
1
=1

1,j
1
f(v
j
1
, w
2
, , w
k
) =
n

j
1
=1
n

j
2
=1

1,j
1

2,j
2
f(v
j
1
, v
j
2
, w
3
, , w
k
)
= =
n

j
1
, ,j
k
=1

1,j
1

k,j
k
f(v
j
1
, , v
j
k
)
=
n

j
1
, ,j
k
=1
f(v
j
1
, , v
j
k
)
j
1

j
k
(w
1
, , w
k
).
Ou seja,
f =
n

j
1
, ,j
k
=1
f(v
j
1
, , v
j
k
)
j
1

j
k
.
Para mostrar a independencia linear, suponhamos que existam n umeros reais
i
1
, ,i
k
R tais
que
n

i
1
, ,i
k
=1

i
1
, ,i
k

i
1

i
k
= 0.
Entao
n

i
1
=1

n

i
k
=1

i
1
, ,i
k

i
1

i
k
(v
j
1
, , v
j
k
) =
n

i
1
=1

n

i
k
=1

i
1
, ,i
k

i
1
,j
1

i
k
,j
k
=
j
1
, ,j
k
= 0.

Podemos estender para o caso de tensores a seguinte construcao ja familiar para espa cos duais.
Sejam V e W espacos vetoriais e T : V W uma transformacao linear. Denimos T

:
J
k
(W) J
k
(V ) por
T

(f)(v
1
, , v
k
) = f(Tv
1
, , Tv
k
).

E facil ver que T

e uma transformacao linear e T

(f g) = T

f T

g.
Denicao Dizemos que um elemento g J
2
(V ) e um produto interno em V , se g e simetrico e
positivo denido, isto e, g(u, v) = g(v, u), u, v V e g(u, u) > 0, u ,= 0. Reservamos o smbolo
, para o produto interno usual em R
n
.
Teorema 3.2 Se g J
2
(V ) e um produto interno em V entao existe uma base v
1
, , v
n
de
V tal que g(v
i
, v
j
) =
i,j
. Portanto existe um isomorsmo T : R
n
V para o qual g(Tx, Ty) =
x, y, x, y R
n
, isto e T

g = , .
Demonstracao: Analoga `a prova do metodo de ortogonalizacao de Gram-Schmidt em R
n
.
Exerccios .
1. Seja V um espaco vetorial real.
(a) Se f J
k
(V ) e g J
l
(V ), mostre que f g J
k+l
(V ).
(b) Se h J
m
(V ) mostre que (f g) h = f (g h). Se l = m mostre que f (g +h) =
f g +f h.
(c)
3.1. TENSORES E FORMAS 33
3.1.1 Tensores Alternados
Dizemos que um k-tensor f J
k
(V ) e alternado se f(v
1
, , v
k
) = 0 sempre que houver
repeti coes v
i
= v
j
com i ,= j. Denotamos por
k
(V ) o subespaco de J
k
(V constitudo pelos
k-tensores alternados.
Dizemos que um k-tensor f J
k
(V ) e anti-simetrico quando f(v
1
, , v
i
, , v
j
, , v
k
) =
f(v
1
, , v
j
, , v
i
, , v
k
).

E facil ver que f
k
(V ) se e somente se f e anti-simetrico.
Para tornar elegante algumas demonstracoes das propriedades dos k-tensores alternados, intro-
duzimos o grupo simetrico G
k
das permuta coes : 1, 2, , k 1, 2, , k. Recordemos que
uma transposicao e uma permutacao G
k
que para algum i ,= j tem (i) = j e (j) = i com os
demais elementos permancendo xos. Recordemos tambem que #G
k
= k!.
Toda permutacao G
k
se escreve como um produto =
1

s
de transposi coes. Isto pode
ser feito de diversas formas, porem o n umero sgn := (1)
s
depende somente de .

E claro que
sgn (.) = sgn sgn e sgn
1
= sgn .
Agora se G
k
e f J
k
(V ), denimos o tensor f

J
k
(V ) por f

(v
1
, , v
k
) := f(v
(1)
, , v
(k)
).
Nao e difcil mostrar que (f

= f
.
, G
k
.
Com esta deni cao podemos mostrar que o tensor f J
k
(V ) e alternado se, e somente se,
f

= sgn f, G
k
.
Lema 3.3 Seja B = v
1
, , v
n
uma base de V . Se f, g
k
(V ) sao tais que f(v
i
1
, , v
i
k
) =
g(v
i
1
, , v
i
k
) para toda sequencia crescente (i
1
< < i
k
) de elementos do conjunto 1, , n,
entao f = g.
Demonstracao:
Teorema 3.4 Seja B = v
1
, , v
n
uma base de V e I = (i
1
< < i
k
) uma sequencia crescente
de elementos do conjunto 1, , n. Entao existe um unico tensor
I

k
(V ) tal que para toda
sequencia crescente J = (j
1
< < k
k
) de elementos do conjunto 1, , n

I
(v
j
1
, , v
j
k
) =
_
0, se I ,= J
1, se I = J.
Os tensores
I
sao chamados elementares e formam uma base de
k
(V ). Alem disso, podemos
escrever

I
=

G
k
sgn (
i
1

i
k
)

, (3.1)
onde B

=
1
, ,
n
e a base dual da base B.
Demonstracao:
Portanto dim(
k
(V )) =
_
n
k
_
=
n!
k!(n k)!
.
Lema 3.5 Seja T : V W uma trasformac ao linear. Se f
k
(V ) entao T

f
k
(W).
Demonstracao:
34 CAP

ITULO 3. INTEGRAC

AO EM CADEIAS
Exemplo 3.6 Um representante importante em
n
(R
n
) e o determinante. Como dim(
n
(R
n
)) =
1 o unico n-tensor elementar em R
n
e o tensor
(1, ,n)
. Dessa forma se v
i
= (v
1i
, , v
ni
) R
n
,
i = 1, , n, denimos o determinante da matrix (v
ij
) pela equac ao
det(v
ij
) =
(1, ,n)
(v
1
, , v
n
)
A formula (3.1) para
I
da uma expressao para o calculo da func ao determinante:
det(v
ij
) =

G
n
sgn (
1

n
)

(v
1
, , v
n
)
=

G
n
sgn (
1

n
)(v
(1)
, , v
(n)
)
=

G
n
sgn
1
(v
(1)
)
n
(v
(n)
)
=

G
n
sgn v
1(1)
v
n(n)
Finalmente podemos expressar todo
I

k
(R
n
) diretamente como uma fun cao de k-uplas de
vetores de R
n
.
Teorema 3.7 Seja
I
um tensor alternado elementar em R
n
correspondente a base canonica de
R
n
, onde I = (i
1
< < i
k
) e uma sequencia crescente em 1, , n. Dados os vetores v
i
=
(v
1i
, , v
ni
) R
n
, i = 1, , k em R
n
temos

I
(v
1
, , v
k
) = det X
I
,
onde X
I
= (v
lj
)
kk
e a matriz obtida da matriz (v
i,j
)
nk
cujas linhas sao as indexadas por I =
(i
1
< < i
k
).
Demonstracao: Um calculo direto mostra que

I
(v
1
, , v
k
) =

G
k
sgn
i
1
(v
(1)
)
i
k
(v
(k)
)
=

G
k
sgn v
i
1
(1)
v
i
k
(k)
que e a formula para o determinante da matriz X
I
.
Em particular podemos derivar o seguinte resultado.
Teorema 3.8 Sejam v
1
, , v
n
uma base de V e f
n
(V ). Entao dados
i
=
n

j=1

ij
v
j
V ,
i = 1, , n temos
f(w
1
, , w
n
) = f(v
1
, , v
n
) det(
ij
).
3.1. TENSORES E FORMAS 35
Exemplo 3.9 Um tensor alternado elementar no espaco
3
(R
4
), correspondente a base can onica
de R
4
e dado por

I
(x, y, z) = det
_
_
x
i
y
i
z
i
x
j
y
j
z
j
x
k
y
k
z
k
_
_
,
onde x = (x
1
, x
2
, x
3
, x
4
), y = (y
1
, y
2
, y
3
, y
4
), z = (z
1
, z
2
, z
3
, z
4
) e I = (1, 2, 3), (1, 2, 4), (1, 3, 4), (2, 3, 4).
Portanto um elemento arbitrario de
3
(R
4
) e uma combinacao linear desses quatro tensores.
Observamos que do Teorema 3.8 um tensor alternado f
n
(V ) separa as bases de V em
duas classes disjuntas, a saber aquelas para os quais f(v
1
, , v
n
) > 0 e aquelas para os quais
f(v
1
, , v
n
) < 0. Ainda deste Teorema duas bases B
1
= v
1
, , v
n
e B
2
= w
1
, , w
n
de V
relacionadas por sua matriz de mudanca de base A, pertencem a mesma classe, se e somente se,
det A > 0. Fixado uma base v
1
, , v
n
denotamos por [v
1
, , v
n
] sua classe de equivalencia e
chamamos de orientacao do espaco V .
Agora sejam T J
2
(V ) e um produto interno em V e v
1
, , v
n
e w
1
, , w
n
sao bases de
V ortonormais com rela cao a T. Sendo A = (a
ij
) a matriz mudanca de base
w
i
=
n

j=1
a
ij
v
j
,
tem-se que

ij
= T(w
i
, w
j
) = T(
n

l=1
a
il
v
l
),
n

k=1
a
jk
v
k
) =
n

l,k=1
a
il
a
jk
T(v
l
, v
k
) =
n

k=1
a
ik
a
jk
que corresponde ao termo b
ij
do produto AA
T
. Portanto AA
T
= I donde det A = 1. Dessa forma
se f
n
(V ) e tal que f(v
1
, , v
n
) = 1 entao f(w
1
, , w
n
) = 1. Logo xada uma orientacao
[v
1
, , v
n
] para V , segue que existe um unico tensor alternado
n
(V ) para o qual
(w
1
, , w
n
) = 1
qualquer que seja a base ortonormal w
1
, , w
n
de V . Este tensor e chamado o elemento de
volume de V , associado ao produto interno T e `a orienta cao [v
1
, , v
n
].
Com esta nomenclatura o det e o elemento de volume de R
n
determinado pelo produto interno
canonico e a orientacao usual [e
1
, , e
n
]. Alem disso, como ja foi observado no captulo anterior
[det (v
1
, , v
n
)[ e o volume do retangulo determinado pelos segmentos que unem a origem aos
vetores v
1
, , v
n
.
Conclumos com a seguinte constru c ao:
Dados v
1
, , v
n1
R
n
consideremos o seguinte funcional linear: R
n
det (v
1
, , v
n1
, )
R. Segue do Teorema de Representa cao de Riez que existe um unico z R
n
tal que , z =
det (v
1
, , v
n1
, ). Tal elemento e denotado por z = v
1
v
n1
e e chamado o produto
vetorial dos vetores v
1
, , v
n1
.

E imediato que v
j
, j = 1, , n 1.
36 CAP

ITULO 3. INTEGRAC

AO EM CADEIAS
Produto exterior
Observamos que o tensor produto f g denido para f J
k
e g J
l
e em geral nao alternado
mesmo quando f e g o sao. Algumas vezes isso e necessario. Dessa forma introduziremos uma nova
opera cao, cujas propriedades que ela satisfaz, sao para nossas necessidades mais importantes que
sua propria denicao.
Dados os funcionais
1
, ,
k
V

denimos o produto exterior

1

k
(v
1
, , v
k
) :=
det(
i
(v
j
)).
Corolario 3.10 Com a notac ao do Teorema 3.4 temos

I
=
i
1

i
k
.

Teorema 3.11 Se f
k
(V ) e g
l
(V ) entao f g
k+l
(V ) e sao v alidas as seguintes
propriedades:
i) f (g h) = (f g) h;
ii) (f) g = (f g) = f (g);
iii) Se f e g sao de mesma ordem entao: (f +g) h = f h +g h;
iv) g f = (1)
kl
f g;
v) Se T : V W e linear e f e g sao alternados em W entao T

(f g) = T

f T

g.
Demonstracao:
3.2 Vetores tangentes
Dado p R
n
, denotamos por T
p
(R
n
) := p R
n
. Um elemento de T
p
(R
n
) e um par (p, v),
com v R
n
. Munido das opera coes:
(p, v) + (p, w) := (p, v +w) e (p, v) := (p, v)
T
p
(R
n
) e um espaco vetorial chamado o espaco tangente `a R
n
no ponto p. Como existe uma estreita
relacao entre T
p
(R
n
) e R
n
e facil ver que muitas das estruturas que podem ser denidas em R
n
possuem um analogo bastante natural em T
p
(R
n
). Por exemplo podemos munir T
p
(R
n
) com o
produto interno (p, v), (p, w)
p
:= v, w. Tambem e imediato que se v
1
, , v
n
e uma base
ortonormal de R
n
entao (p, v
1
), , (p, v
n
) e uma base ortonormal de T
p
(R
n
). Alem disso, se
e
1
, , e
n
e a base canonica de R
n
entao (p, e
1
), , (p, e
n
) e chamado de base canonica de
T
p
(R
n
) e [(p, e
1
), , (p, e
n
)] e denida como sua orienta cao usual.
Nos denotamos por T(R
n
) a uniao dos espacos tangentes T(R
n
) :=
_
pR
n
T
p
(R
n
) chamado brado
tangente de R
n
(= R
n
R
n
). Imitando esta constru cao denotamos por
k
(R
n
) :=
_
pR
n

k
(T
p
(R
n
)).
3.2. VETORES TANGENTES 37
Dado um aberto U R
n
, um campo vetorial tangente a R
n
denido no aberto U e uma funcao
F : U T(R
n
) que a cada p U associa F(p) T
p
(R
n
). Portanto F tem a forma F(p) = (p, f(p))
para alguma funcao f : U R
n
. Dizemos que F e de classe C
k
se f e de classe C
k
.
Analogamente, uma forma diferencial de ordem k denida sobre o aberto U e uma fun cao
: U
k
(R
n
) tal que (p)
k
(T
p
(R
n
)), p U. Assim para cada p U, o valor de w(p) em
uma k-upla ((p, v
1
), , (p, v
k
)) (T
p
(R
n
))
k
sera (p)((p, v
1
), , (p, v
k
)).
Para cada i = 1, , n denimos a 1-forma diferencial
i
pela equacao

i
(x)(x, e
j
) =
_
0, se i ,= j
1, se i = j.
As formas
i
sao chamadas elementares em R
n
. Similarmente dado uma sequencia crescente I =
(i
1
< , i
k
) no conjunto 1, , n, denimos a k-forma

I
em R
n
pela equacao

I
(x) =
i
1
(x)
i
k
(x).
Podemos demonstrar que se e uma k-forma denida no aberto U entao
(x) =

I
(x)((x, e
i
1
), , (x, e
i
k
))

I
(x)
Observamos ainda que para cada x as 1-formas (funcionais) constituem uma base para (T
x
(R
n
))

=
J
1
(T
x
(R
n
)).
Um campo escalar no aberto U de R
n
e uma funcao f : U R de classe C
r
. Tambem dizemos
que f e uma forma diferencial de ordem 0. Se e uma k-forma sobre U entao denimos o produto
exterior da 0-forma f com a k-forma w pela expressao
(f )(x) := f(x)(x)
Diferencial
Primeiramente denimos a diferencial de uma 0-forma.
Seja f : U R uma fun cao de classe C
r
denida no aberto U R
n
. Denimos a 1-forma df
em U pela expressao:
df(x)(x, v) := f

(x)v
Esta forma e chamada a diferencial de f. Ela e de classe C
r1
.

E facil ver que o operador d e linear em 0-formas.

Usando este operador podemos expressar os elementos
i
como nos cursos de calculo.
Lema 3.12 Sejam
1
, ,
n
as forma elementares em R
n
. Se
i
: R
n
R e a i-esima projecao

i
(x) = x
i
, entao d
i
=
i
.
Demonstracao: d
i
(x)(x, v) = (
i
)

(x)v = [0 1 0 0]
_

_
v
1
.
.
.
v
n
_

_
= v
i
Portanto d
i
=
i
.

38 CAP

ITULO 3. INTEGRAC

AO EM CADEIAS
No que segue usaremos o seguinte abuso de notacao
i
= x
i
, isto e, denotaremos pela fun cao
seu valor em cada ponto, o que e usual em muitos contextos, por exemplo a fun cao exponencial e
x
.
Com esta observacao escreveremos dx
i
=
i
. Alem disso, se I = (i
1
< < i
k
) e uma sequencia
crescente em 1, , n tambem introduzimos a notacao dx
I
:= dx
i
1
dx
i
k
. Dessa forma uma
k-forma arbitraria pode ser escrita na forma =

b
I
dx
I
, para apropriadas fun coes b
I
.
Lema 3.13 Seja f : U R uma fun cao de classe C
r
denida no aberto U R
n
. Entao
df =
f
x
1
dx
1
+ +
f
x
n
dx
n
.
Demonstracao:
Agora denimos o operador diferencial em geral.
Seja
k
(U) o espa co vetorial de todas as k-formas denidas em U.
Teorema 3.14 Existe uma unica transformacao linear d :
k
(U)
k+1
(U) denida para todo
k 0 tal que
1. Se f e uma 0- forma entao df(x)(x, v) = f

(x)v;
2. Se e sao formas de ordem k e l respectivamente, entao d( ) = d +(1)
k
d;
3. Para toda forma , d(d) = 0.
Demonstracao: Se =

f
I
dx
I
denimos d =

df
I
dx
I
.

Se f : U R
m
e uma aplicacao diferenciavel entao f

(x) /(R
n
, R
m
). Com uma pequena
adaptacao denimos a transformacao linear: f

: T
x
(R
n
) T
f(x)
(R
m
) dada por
f

(x, v) := (f(x), f

(x)v)
Chamada a aplica cao linear induzida pela aplicacao diferenciavel f.
Observamos que pela regra da cadeia dado (x, v) entao o vetor f

(x, v) e o vetor velocidade da

curva (t) = f(x +tv) em t = 0.
Regra da cadeia implica (g f)

= g

.
U R
n
, V R
m
Esta transformacao induz ainda uma outra f

:
k
(V )
k
(U)
f

()(x)((x, v
1
), , (x, v
k
)) = (f(x))(f

(x, v
1
), , f

(x, v
k
)).
A relacao entre f

e a adjunta de f

e a seguinte:
Dado f : U R
m
de classe C

com f(x) = y esta induz a transforma cao linear

T = f

: T
x
(R
n
) T
y
(R
m
)
esta transformacao da origem a transformacao dual
T

:
k
(T
y
(R
m
))
k
(T
x
(R
n
))
3.2. VETORES TANGENTES 39
e satisfaz a equacao
T

((y)) = (f

)(x),
T

((y))((x, v
1
), , (x, v
k
)) = (f(x))(f

(x, v
1
), , f

(x, v
k
)) = (f

)(x)((x, v
1
), , (x, v
k
)).
Este fato nos permite escrever resultados anteriores sobre transformacoes duais T

como resul-
tados sobre formas.
PROVAS DE ANOS ANTERIORES
Questao 01: Seja : [a, b] R
n
(n > 1) uma curva contnua e reticavel. Mostre que ([a, b])
possui medida nula.
Questao 02: De exemplos de um conjunto J-mensuravel X R
2
e de uma funcao f : X R
limitada para os quais o Teorema de Fubini nao se aplica. Justique.
Questao 03: Seja f : U R
m
de classe C
1
no aberto U R
m
. Suponha que para algum
a U, f

(a) seja um isomorsmo. Mostre que

lim
r0
vol f(B(a; r))
vol B(a; r)
= [detf

(a)[.
Questao 04: Seja f : [0, 1] R uma fun cao integravel. Suponha que para 1 p < q < ,
_
[0,1]
[f[
p
1 e
_
[0,1]
[f[
q
1. Mostre que
_
[0,1]
[f[
r
1 para todo p r q. (Dica: aplique o Teo-
rema de Fubini para a funcao R
n
(x
1
, x
2
, , x
n
) f

n
(x
1
, x
2
, , x
n
) = f(x
1
)f(x
2
) f(x
n
)
R ).
Questao 05: Seja f : U R denida em U = (x, y) R
2
: x > 0, y > 0, por f(x, y) =
e
(x
2
+y
2
)
. Considere a cole cao de compactos K
n
= re
i
:
1
n
r n,
1
n


2

1
n
. Mostre que
a integral impropria
_
U
f e convergente e
_
U
f =

4
. Por outro lado, usando a colecao de compactos
L
n
= [
1
n
, n]
2
, mostre que
_
U
f = (
_
(0,)
e
t
2
dt)
2
. Conclua que
_
(0,)
e
t
2
dt =

2
.
Questao 01: Seja V um espaco vetorial real n-dimensional. Mostre que dimJ
k
(V ) = n
k
.
Questao 02: Sejam V um espa co vetorial real e T L(V ). Mostre que se dimV = n, entao
T

:
n
(V )
n
(V ) e uma multiplicacao por constante. Determine tal constante.
Questao 03: Seja V um espaco vetorial real n-dimensional.
1. Se v
1
, , v
n1
V , dena v
1
v
n1
.
2. Se J
k
(V ) dena A() :=
1
k!

S
k
sgn

. Mostre que se
k
(V ) entao A() = .
40 CAP

ITULO 3. INTEGRAC

AO EM CADEIAS
Questao 04: Sejam c um cubo singular de ordem k e : [0, 1]
k
[0, 1]
k
um difeomorsmo de
classe C
1
com det

(x) > 0, x [0, 1]

k
. Mostre que se e uma k-forma sobre [0, 1]
k
entao
_
c
=
_
c
.
Questao 01: Seja f : A R uma funcao limitada denida no retangulo A R
n
. Dada uma
parti cao P
0
de A, mostre que

_
A
f = infS(f, P) : P P
0
.
Questao 02: Sejam f : [a, b] R e g : [c, d] R duas funcoes integraveis. Mostre que a
fun cao h : [a, b] [c, d] R denida por h(x, y) = f(x)g(y) e integravel e
_
[a,b][c,d]
h =
_
[a,b]
f.
_
[c,d]
g
Questao 03: Sejam A, B R
3
conjuntos J-mensuraveis. Para cada c R considere
A
c
= (x, y) : (x, y, c) A e B
c
= (x, y) : (x, y, c) B.
Suponha que para todo c os conjuntos A
c
e B
c
sejam J-mensuraveis e possuam o mesmo volume.
Prove que A e B possuem o mesmo volume.
Referencias Bibliogracas
[1] R. G. Bartle, Elementos de Analise Real, Editora Campus, (1983).
[2] E. L. Lima, Curso de Analise volume 2, 6
a
Edi cao, IMPA, (2000).
[3] J. R. Munkres, Analysis on Manifolds, Addison-Wesley Publishing Company, (1991).
[4] M. Spivak, O Calculo em Variedades, Editora Ciencia Moderna, (2003).
41