Sie sind auf Seite 1von 85

Notas Para um Curso de C alculo Avan cado Daniel V.

Tausk

Sum ario
Cap tulo 1. 1.1. 1.2. Diferencia c ao ......................................................... 1

Nota c ao em C alculo Diferencial.................................... 1 Fun c oes Diferenci aveis .................................................. 8

Exerc cios para o Cap tulo 1.................................................. 17 Ap endice A. A.1. A.2. Um pouco de algebra linear e multilinear ........... 20

Aplica c oes lineares e multilineares............................... 20 Soma direta ................................................................. 27

Exerc cios para o Ap endice A ................................................ 32 Ap endice B. B.1. B.2. B.3. B.4. B.5. B.6. B.7. B.8. B.9. B.10. B.11. Espa cos m etricos ................................................. 34

Deni c ao e conceitos b asicos........................................ 34 Fun c oes cont nuas e uniformemente cont nuas............. 45 Limites de Fun c oes ...................................................... 47 Seq u encias.................................................................... 52 Topologia e equival encia entre m etricas....................... 57 M etricas no produto cartesiano ................................... 60 Conexidade .................................................................. 62 Completude.................................................................. 66 Compacidade ............................................................... 69 Bases de abertos e separabilidade .............................. 72 Espa cos vetoriais normados ....................................... 73

Exerc cios para o Ap endice B ................................................ 79 Refer encias Bibliogr acas ........................................................... 82

iii

CAP ITULO 1

Diferencia c ao
1.1. Nota c ao em C alculo Diferencial Nesta se c ao preliminar quero esclarecer alguns aspectos da nota c ao que e normalmente usada em cursos elementares de C alculo Diferencial. Na discuss ao que segue, farei men c oes a conceitos (como diferencia c ao e integra c ao) que ser ao denidos ao longo do restante destas notas; em particular, estarei falando sobre certos conceitos antes de t e-los denido. Isso n ao e t ao estranho quanto parece: em primeiro lugar, como essa discuss ao preliminar (um pouco informal) gira apenas em torno de nota c ao e n ao de conte udo, n ao faz realmente muita diferen ca o signicado dos conceitos. Em segundo lugar, e bem prov avel que o leitor t pico destas notas j a tenha feito cursos b asicos de C alculo Diferencial (embora isso n ao seja estritamente necess ario). A motiva c ao para escrever estes esclarecimentos iniciais e proveniente do fato que e comum encontrar alguns abusos de nota c ao em cursos de C alculo (principalmente quando s ao direcionados a n ao-matem aticos) e tamb em pela minha sensa c ao de que muitas coisas sobre essa nota c ao n ao costumam ser devidamente explicadas. S o para dar um exemplo, observe que as express oes: (1.1.1) (1.1.2) f 2 (x y, y x), x f (x2 y, y x) x

t em signicados bastante diferentes, embora tenham apar encia similar. As ocorr encias de x em ambas as express oes t em fun c oes diferentes. Como eu nunca vi algu em fazer uma discuss ao sobre o assunto, achei que seria adequado inclu -la neste curso. 1.1.1. Uma distin c ao fundamental: nomes para fun c oes versus f ormulas para fun c oes. Parte da confus ao que ocorre em cursos de C alculo e devida ` a falta da consci encia da diferen ca entre um nome para uma fun c ao e uma f ormula para uma fun c ao. Vamos elucidar a quest ao. Quando dizemos: Seja f : R R a fun c ao denida por f (x) = x3 x cos(x2 ), para todo x R.
1

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

n os estamos descrevendo uma fun c ao e avisando que ela ser a denotada pela letra f . A letra f e um nome para a fun c ao que foi descrita. Quando trabalhamos com C alculo n os normalmente precisamos falar sobre uma quantidade enorme de fun c oes que aparecem ao longo de longas manipula c oes alg ebricas; por exemplo, numa manipula c ao rotineira como: d d [cos(x3 + x2 ) x2 sen(x5 )] = sen(x3 + x2 ) (x3 + x2 ) dx dx d d 2 x sen x x2 sen(x5 ) dx dx = sen(x3 + x2 )(3x2 + 2x)

2x sen x 5x6 cos(x5 ), n os precisamos fazer refer encia ` as derivadas das fun c oes f , g , h, k denidas por: f (x) = cos(x3 + x2 ) x2 sen(x5 ), h(x) = x2 , g (x) = x3 + x2 ,

k (x) = sen(x5 ),

para todo x R. Se s o houvesse nota c ao para falar sobre a derivada de uma fun c ao atrav es do nome dessa fun c ao os c alculos acima cariam assim: f (x) = sen(x3 + x2 )g (x) h (x) sen x x2 k (x) = sen(x3 + x2 )(3x2 + 2x) 2x sen x 5x6 cos(x5 ). Como e muito desagrad avel e desajeitado dar nomes para todas as fun c oes que aparecem ao longo das manipula c oes alg ebricas que fazemos quando trabalhamos com C alculo, n os usamos uma estrat egia pr atica para fazer refer encia a uma fun c ao sem que ela tenha um nome: n os usamos frases como considere a fun c ao x3 + sen(x2 ), tome a derivada da fun c ao cos(x + x3 ), 3 2 3 etc; mas x + sen(x ) e cos(x + x ) n ao s ao nomes para fun c oes e sim os resultados obtidos pela avalia c ao de fun c oes num ponto x de seus dom nios. 3 2 3 Express oes tais como x + sen(x ) e cos(x + x ) ser ao chamadas f ormulas para fun c oes. Antes de continuarmos, deve-se esclarecer que f ormulas n ao identicam fun c oes de forma inequ voca como os nomes fazem. Para come car, uma f ormula n ao deixa claro qual seja o dom nio e o contra-dom nio 1 da fun c ao que se quer considerar , mas isso em geral e um problema menor. Um problema mais s erio e o seguinte; considere a f ormula: (1.1.3) sen(xy ) y cos(x + 1).

1Embora exista normalmente um dom nio natural para uma f ormula, isto e, o maior

conjunto no qual faz sentido calcular a f ormula, ` as vezes n os podemos preferir considerar uma fun c ao cujo dom nio e menor do que o dom nio natural de uma f ormula para essa fun c ao. Por exemplo, n os poder amos considerar a fun c ao f : ]0, +[ R denida por 1 1 f (x) = x , para todo x > 0, embora a f ormula x fa ca sentido para todo x = 0.

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

A que fun c ao ela se refere? Pode ser que y R seja xado e estejamos interessados em fazer refer encia ` a fun c ao2: R x sen(xy ) y cos(x + 1) R,

mas pode ser que x R seja xado e estamos fazendo refer encia ` a fun c ao: R R2 y sen(xy ) y cos(x + 1) R. Pode ser tamb em que estejamos pensando numa fun c ao denida em R2 : (x, y ) sen(xy ) y cos(x + 1) R,

ou, como n ao h a regra alguma que diga que x e a primeira vari avel e y a segunda vari avel (imagine se us assemos as letras e t no lugar de x e y ! qual v em primeiro?) n os poder amos tamb em estar fazendo refer encia ` a fun c ao: R2 (y, x) sen(xy ) y cos(x + 1) R. necess E ario ent ao (principalmente quando se lida com f ormulas que cont em v arias vari aveis3) que seja fornecida alguma informa c ao adicional para que um leitor possa identicar a que fun c ao uma dada f ormula se refere. Uma estrat egia para se tornar mais claro e rigoroso um texto em que f ormulas de fun c oes s ao usadas onde se deveriam usar nomes de fun c oes seria a de se introduzir uma simbologia que nos permitisse transformar facilmente f ormulas de fun c oes em nomes de fun c oes. Por exemplo, usar (como j a zemos acima) a express ao: A x f ormula B

ou, mais abreviadamente, x f ormula como um nome para a fun c ao f : A B tal que f (x) = f ormula , para todo x A. Assim, por exemplo, se R x x3 R (ou, mais abreviadamente, x x3 ) seria um nome para a fun c ao f : R R tal que f (x) = x3 , para todo x R; poder amos 4 3 3 escrever ent ao (x x )(2) = 8, j a que (x x )(2) e o mesmo que f (2). Poder amos escrever tamb em (x x3 ) (2) = 12, j a que (x x3 ) (2) e o mesmo que f (2). Evitarei essa abordagem, pois n ao quero introduzir nota c oes que sejam muito diferentes das que aparecem normalmente nos livros de C alculo. A estrat egia que adotarei que e a mesma que os livros de C alculo adotam, s o que sem uma explica c ao expl cita ser a a de usar s mbolos para derivadas (e tamb em limites ou integrais) que possam ser usados junto com f ormulas de fun c oes e n ao s o com nomes de fun c oes,
x f (x) B como nome para uma fun c ao f : A B . Assim, por exemplo, a fun c ao f : R R denida por f (x) = x2 , para todo x R, ser a denotada por R x x2 R. Repare na diferen ca entre os s mbolos e . 3Mas n ao somente nesse caso. Por exemplo, a f ormula x2 poderia fazer refer encia ` a 2 2 fun c ao f : R R denida por f (x, y ) = x , para todos x, y R. 4Daniel J. Bernstein faz exatamente isso em [1].
2No que segue usarei a express ao A

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

como e o caso da nota c ao f para a derivada da fun c ao cujo nome e f. A nota c ao para derivadas usando f ormulas de fun c oes e a seguinte: d f ormula , d onde o s mbolo deve ser trocado por uma vari avel e f ormula por uma f ormula que tipicamente (mas n ao necessariamente) utiliza a vari avel que ser a substitu da por . A express ao (1.1.4) signica f (), onde f e a fun c ao f ormula . Assim, temos por exemplo: (1.1.4) d d (x3 + x2 ) = 3x2 + 2x, cos(t5 ) = 5t4 sen(t5 ), dx dt d 2 (x + xy + y 2 ) = x + 2y. dy Note que n ao devemos escrever (x3 + x2 ) pois o ap ostrofe (ou linha) deve ser usado apenas junto ao nome de uma fun c ao e n ao junto a uma f ormula. Note que uma express ao como (x2 + xy + y 2 ) seria realmente amb gua, j a que n ao ca claro qual e a fun c ao que se pretende derivar. Por outro lado, df d d a que d a n ao devemos escrever d x f ou dx , j x deve ser usado apenas junto ` f ormula de uma fun c ao e n ao junto ao nome (veja, no entanto, Subse c ao 1.1.2 f ao: a seguir para uma explica c ao sobre d dx ). No entanto, a express d f (x) dx e perfeitamente correta e e igual a f (x), j a que f (x) e uma f ormula para a fun c ao f . Alguns autores podem preferir utilizar no lugar de d em (1.1.4), de modo que: f ormula tem exatamente o mesmo signicado que (1.1.4). Eu, no entanto, utilizarei sempre a forma (1.1.4). O uso de para derivadas parciais ou direcionais e discutido na Subse c ao 1.1.2 a seguir. Note que uma express ao como (1.1.4) n ao e um nome para uma fun c ao, mas sim uma f ormula (que poderia corresponder a v arias fun c oes, especialmente no caso em que temos v arias vari aveis). N ao podemos ent ao escrever: d (x3 + x2 ) (1) = 5; dx de fato, para avaliar uma fun c ao num ponto x0 deve-se colocar o s mbolo (x0 ) na frente de um nome para a fun c ao em quest ao (veja, por exemplo, que n ao escrevemos (x2 + x3 )(1), para avaliar a fun c ao x x2 + x3 no ponto 1). Para que possamos avaliar uma fun c ao num ponto sem que tenhamos um nome para a mesma, e conveniente utilizar a nota c ao: (1.1.5) f ormula |=0

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

onde deve ser substitu da por uma vari avel e 0 por uma f ormula. A express ao (1.1.5) signica f (0 ), onde f e a fun c ao f ormula . Por exemplo, temos: (x2 + x3 )|x=1 = 12 + 13 = 2, (x2 + xy + y 2 )|y=3 = x2 + 3x + 9,

ou ainda (estendendo um pouco a nota c ao que acabamos de introduzir): (x2 + xy + y 2 )|(x,y)=(2,3) = 22 + 2 3 + 32 = 19. Dessa forma, temos: d f ormula d
=0

= f (0 ),

onde f e a fun c ao f ormula ; por exemplo, temos: d = (3x2 + 2x)|x=1 = 5. (x3 + x2 ) dx x=1 A distin c ao entre nomes e f ormulas nos permite tamb em entender melhor a nota c ao para integrais. Por exemplo, se f e uma fun c ao a valores reais cujo dom nio cont em o intervalo5 [a, b], podemos denotar a integral de f no intervalo [a, b] (ou seja, a integral da restri c ao de f a [a, b]) por:
b

f.
a 3 3 No entanto, n os n ao escrevemos a x2 = 1 a que x2 n ao e o nome 3 (b a ), j de uma fun c ao. Se queremos escrever a integral de uma fun c ao para a qual n ao demos nome, devemos usar a nota c ao: b b

(1.1.6)
a

f ormula d,

onde deve ser substitu do por uma vari avel. A express ao (1.1.6) signica a integral de a at e b da fun c ao f omula ; por exemplo:
b

x2 dx =
a

1 3 (b a3 ). 3

Note que n ao se deve escrever express oes como


b

f dx,
a

mas pode-se escrever:


b

f (x) dx,
a 5Na verdade, e poss vel tamb em que b < a, e nesse caso supomos que o dom nio de f

cont em o intervalo [b, a].

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

o que e (dado que f (x) e uma f ormula para f ) exatamente o mesmo que b ao (1.1.6) e em si uma f ormula para uma fun c ao que pode a f . A express d ser combinada com ou com |=0 , como no exemplo abaixo: d dy

cos(x + y ) dx
0

y =0

d sen( + y ) sen y dy y =0 = cos( + y ) cos y y=0 = 2. =

Por m, vamos rever a nota c ao usual para limites sob a luz da distin c ao entre nomes e f ormulas. A nota c ao usual para limites utiliza express oes do tipo: (1.1.7)
0

ormula , lim f

onde deve ser substitu do por uma vari avel e 0 por uma f ormula. A express ao (1.1.7) signica o limite no ponto 0 da fun c ao f ormula . Vemos ent ao que a nota c ao usual para limites adere naturalmente a f ormulas de fun c oes; na verdade, n ao h a uma nota c ao padr ao para limites que possa ser usada junto ao nome de uma fun c ao. No entanto, n ao h a problemas6: se f e uma fun c ao ent ao f (x) e uma f ormula para f e portanto o limite de f num ponto x0 pode ser escrito como:
xx0

lim f (x).

1.1.2. Derivadas parciais e direcionais. Se f e uma fun c ao denida num subconjunto (tipicante aberto, mas esse tipo de discuss ao n ao vem ao caso aqui) de Rn , v Rn e x pertence ao dom nio de f ent ao e comum denotar a derivada direcional de f no ponto x na dire c ao de v por7: f (x). v Essa nota ca o n ao pode ser usada para f ormulas e portanto utilizaremos: (1.1.8) f ormula v onde pode ser substitu do por uma vari avel qualquer. A express ao (1.1.8) signica f ( ), onde f e a fun c a o f o rmula . Por exemplo, temos: v x 2 2 2 sen(x2 1 x2 ) = 2 cos(x1 x2 )x1 x2 v1 + cos(x1 x2 )x1 v2 , v onde, como e usual, um ndice i numa express ao indica que estamos tomando a i- esima coordenada daquela express ao. Podemos tamb em escrever
6H a diculdade quando temos uma nota c ao que adere a nomes e n ao temos uma que

(1.1.9)

adere a f ormulas. A situa c ao inversa n ao causa problemas, j a que e simples produzir uma f ormula a partir de um nome, a saber, f (x) e uma f ormula para a fun c ao f (obviamente, podemos usar qualquer vari avel em vez de x). 7Alguns textos usam f (x), mas n os n ao adotaremos essa nota c ao. v

EM CALCULO 1.1. NOTAC AO DIFERENCIAL

(estendendo um pouco a nota c ao introduzida acima): (1.1.10) (x,y) 2 3 (x y ) = 2xy 3 v1 + 3x2 y 2 v2 . v Note que em (1.1.9) a vari avel x representa um vetor8 de R2 , mas em (1.1.10) a vari avel x (e tamb em a vari avel y ) representa um n umero real. Um caso particular importante das derivadas direcionais s ao as derivadas n n parciais: se (ei )i=1 denota a base can onica de R ent ao a derivada direcional f ( x ) de uma fun c a o f denida em (ou num subconjunto de) Rn e tamb em ei chamada a i- esima derivada parcial de f no ponto x. Na pr atica, n ao se f usa muito a nota c ao e ( x ) para a i - e sima derivada parcial de f no ponto i x, mas usa-se, por exemplo,

f em do mais, se f e denida em R3 , xi (x); al f f f f f muitas vezes se usa f x , y e z em vez de e1 , e2 e e3 . Em alguns casos f f encontra-se tamb em f u , v , , etc. O que signica tudo isso? Ocorre que f na pr atica e um tanto desagrad avel escrever e : digamos que tenhamos i 15 uma situa c ao em que f : R R modela um certo processo f sico que

depende de 15 vari aveis. N ao seria nada pr atico memorizar os signicados f f ao e estabelecer um acordo com f sicos de e1 , . . . , e15 . O que se faz ent o leitor de que os n umeros 1, 2, . . . , 15 corresponder ao a 15 letras que s ao mais f aceis de lembrar do que os n umeros. Por exemplo, se f e uma fun c ao 3 denida em R pode-se combinar que os n umeros 1, 2, 3 corresponder ao f f respectivamente ` as letras x, y , z , de modo que f , e devem ser lidos x y z
f f f , e e e , respectivamente9. como sin onimos de e 1 2 3 o. Se convencionamos que os n 1.1.1. Observac a umeros 1, 2, . . . , n correspondem, respectivamente, ` as letras x1 , x2 , . . . , xn ent ao, por deni c ao, f f e o mesmo que ei (x). Observamos que tamb em: xi (x)

d f (x) dxi
f (x), mas n ao apenas por deni c ao. dd e um caso particular e igual a e xi f (x) i da nota c ao (1.1.4) (entendendo que x abrevia (x1 , . . . , xn )) e e igual, por deni c ao, a g (xi ), onde g e a fun c ao xi f (x). E f acil ver que g (xi ) e f realmente igual a e ( x ), mas por um motivo um pouco mais indireto do que i

a igualdade entre

f xi (x)

f ei (x),

que e resultado de uma mera conven c ao.

8Na verdade, o leitor n ao pode deduzir isso apenas da express ao (1.1.9), j a que poderia ser, por exemplo, que x R3 , mas estamos considerando uma fun c ao que n ao depende de x3 . O contexto e portanto necess ario para a compreens ao do signicado da express ao. 9Um jeito (desnecessariamente) sosticado de olhar para a situa c ao e o seguinte: em vez de considerar uma fun c ao denida em R3 , pensamos numa fun c ao denida em R{x,y,z} , que e o R-m odulo livre gerado por {x, y, z }. Temos ent ao que x, y e z constituem uma base do espa co vetorial real R{x,y,z} . Evidentemente R{x,y,z} e isomorfo a R3 , mas o estabelecimento de um isomorsmo espec co depende justamente da escolha de uma bije c ao entre as letras x, y , z e os n umeros 1, 2, 3.

1.2. FUNC OES DIFERENCIAVEIS

1.2. Fun c oes Diferenci aveis Nesta se c ao introduzimos o conceito de fun c ao diferenci avel em espa cos vetoriais reais de dimens ao nita. Recordamos que todo espa co vetorial real de dimens ao nita admite uma norma e que quaisquer duas normas num espa co vetorial real de dimens ao nita s ao equivalentes, isto e, determinam os mesmos conjuntos abertos; temos, na verdade, que duas normas equivalentes 1 , 2 num espa co vetorial real E s ao tamb em Lipschitz-equivalentes, isto e, existem n umeros reais positivos c, c tais que: (1.2.1) c x
1

c x 1,

para todo x E . O leitor pode consultar a Se c ao B.11 do Ap endice B para mais detalhes. O fato que todas as normas num espa co vetorial real de dimens ao nita s ao equivalentes implica que podemos lidar com conceitos topol ogicos (tais como continuidade, limites, compacidade, etc) num espa co vetorial real de dimens ao nita sem nos preocuparmos em xar uma norma espec ca no espa co. O fato de que quaisquer duas normas s ao Lipschitzequivalentes nos diz que podemos lidar at e mesmo com alguns conceitos que n ao s ao puramente topol ogicos (como completude, continuidade uniforme ou conjunto limitado) sem nos preocuparmos em xar uma norma espec ca. Ao longo de toda a se c ao consideraremos xados espa cos vetoriais reais de dimens ao nita E , F , um subconjunto U de E , uma fun c ao f : U F e um ponto x U . Dada uma aplica c ao linear T : E F , n os denimos uma fun c ao r fazendo: (1.2.2) r(h) = f (x + h) f (x) T (h) F,

para todo h E tal que x + h U . O dom nio da fun c ao r e o conjunto: U x = ux:uU = hE :x+hU , e o contra-dom nio de r e o espa co F . o. Suponha que o ponto x n 1.2.1. Definic a ao seja isolado em U , isto e, que x seja um ponto de acumula c ao de U . A fun c ao f : U F e dita diferenci avel no ponto x se existe uma aplica c ao linear T : E F tal que a aplica c ao r denida em (1.2.2) satisfa ca a condi c ao: (1.2.3)
h0 def

lim

r(h) = 0, h

onde denota uma norma qualquer xada em E . Mais diretamente, f e diferenci avel no ponto x quando existe uma aplica c ao linear T : E F tal que: (1.2.4)
h0

lim

f (x + h) f (x) T (h) = 0. h

1.2. FUNC OES DIFERENCIAVEIS

h) O dom nio da fun c ao h r(h da qual consideramos o limite em (1.2.3) e o conjunto (U x) \ {0}; temos que a condi c ao de que x seja um ponto de acumula c ao de U e necess aria e suciente para que 0 seja um ponto de acumula c ao de (U x)\{0} e essa u ltima e a condi c ao m nima que precisamos para que o limite em (1.2.3) fa ca sentido. Vamos vericar que a condi c ao (1.2.3) n ao depende das normas xadas nos espa cos E , F . Para isso, observamos primeiro que na condi c ao (1.2.3) h a tr es refer encias ` as normas dos espa cos E e F : h a uma refer encia ` a norma de E e uma refer encia ` a norma de F escondidas na deni c ao de limite e h a uma refer encia expl cita ` a norma de E na descri c ao da fun c ao da qual tomamos o limite. Com as refer encias ` as normas de E e F escondidas na deni c ao de limite n ao precisamos nos preocupar pois, como mencionado no in cio da se c ao, a no c ao de limite e topol ogica e todas as normas em espa cos vetoriais reais de dimens ao nita s ao equivalentes. Fixemos ent ao nossa aten c ao na refer encia a norma de E que aparece no denominador da fra c ao em (1.2.3). Sejam 1 , 2 normas em E ; temos:

h r(h) = h 1 h

2 1

r(h) , h 2

r(h) h = h 2 h

1 2

r(h) , h 1
1

para todo h (U x) \ {0} e da Lipschitz-equival encia entre (veja (1.2.1)) segue que as fun c oes: E \ {0} s ao limitadas. Da :
h0

h h

2 1

R,

E \ { 0}

h h

1 2

lim

r(h) r(h) = 0 lim = 0. h0 h 2 h 1

Fa camos uma pequena digress ao das considera c oes estritamente formais para explicar melhor a no c ao de fun c ao diferenci avel. Temos que no ponto x a fun c ao f assume um certo valor y = f (x). Quando o ponto x sofre uma perturba c ao x = h, o valor y de f no ponto x sofre uma perturba c ao: y = f (x + h) f (x). Num curso de C alculo para fun c oes de uma vari avel considera-se o caso em que E = F = R e a derivada de f no ponto x e denida fazendo o limite: (1.2.5) c = lim
x0

y . x

A igualdade (1.2.5) pode ser reescrita na forma: y cx =0 x0 x e interpretada da seguinte maneira: quando x e pequeno, o produto cx e uma boa aproxima c ao para y . Por boa aproxima c ao entendemos (1.2.6) lim

1.2. FUNC OES DIFERENCIAVEIS

10

n ao apenas que y cx tende a zero quando x tende a zero10, mas que y cx tende a zero mais r apido do que x, no sentido que y cx e o produto de x por uma fun c ao que tende a zero quando x tende a zero (essa fun c ao e o quociente que aparece em (1.2.6)). No caso geral (em que E e F n ao s ao necessariamente iguais a R) as perturba c oes x e y s ao y vetores e o quociente sequer faz sentido. No entanto, podemos trocar x cx por T (x), onde T : E F e uma aplica c ao linear11 e da a diferen ca y T (x) e justamente igual ao resto r(h) denido em (1.2.2). Como x e um vetor, n ao faz sentido dividir y T (x) por x e a condi c ao de que y T (x) tenda a zero mais r apido do que x deve ser expressa atrav es da igualdade: y T (x) lim = 0, x0 x que e justamente (1.2.3) (note que n ao faria diferen ca alguma se em (1.2.6) troc assemos o denominador por |x|, j a que isso corresponderia apenas a multiplicar a fra c ao em (1.2.6) pelo sinal de x, que e uma fun c ao limitada). Pode-se pensar ent ao que f e diferenci avel no ponto x quando a perturba c ao que o valor de f sofre quando perturbamos x pode ser bem aproximada por uma fun c ao linear da perturba c ao sofrida por x. Note que n ao e correto dizer (como ` as vezes se ouve dizer) que f e diferenci avel no ponto x quando admite uma boa aproxima c ao linear em torno de x: se queremos falar em aproxima c oes de f devemos falar em aproxima c oes ans (veja Exerc cio 1.1). J a que toda aplica c ao linear em espa cos vetoriais reais de dimens ao nita e cont nua (veja Proposi c ao B.11.20), e natural esperar que tal propriedade seja herdada pelas fun c oes diferenci aveis. Esse e o conte udo da seguinte: o. Se f : E U F 1.2.2. Proposic a e diferenci avel no ponto x U ent ao f e cont nua no ponto x. o. Seja T : E F uma aplica Demonstrac a c ao linear satisfazendo (1.2.3), sendo r denida em (1.2.2). Temos:
h0

lim f (x + h) = lim f (x) + T (h) + r(h) .


h0

J a que toda aplica c ao linear e cont nua e T (0) = 0 temos limh0 T (h) = 0. Al em do mais: r(h) = 0, lim r(h) = lim h h0 h0 h donde limh0 f (x + h) = f (x) e f e cont nua no ponto x.
10A condi c ao de que y cx tende a zero quando x tende a zero e equivalente ` a continuidade de f no ponto x e portanto n ao diz nada sobre o escalar c. 11Se E = Rm e F = Rn estamos trocando o escalar c por uma matriz real n m (a matriz que representa T com respeito ` as bases can onicas).

1.2. FUNC OES DIFERENCIAVEIS

11

o. Dado um vetor v E ent 1.2.3. Definic a ao a derivada direcional de f no ponto x e na dire c ao de v e denida por: f f (x + tv ) f (x) def (x) = lim F, t0 v t desde que 0 seja um ponto de acumula c ao do conjunto: (1.2.7) (1.2.8) t R : x + tv U
f (x+tv )f (x) t

e que o limite que aparece do lado direito da igualdade em (1.2.7) exista. O dom nio da fun c ao t (1.2.7) e o conjunto: (1.2.9) da qual consideramos o limite em

t R : x + tv U \ {0};

temos que 0 e ponto de acumula c ao de (1.2.8) se e somente se 0 e ponto de acumula c ao de (1.2.9) e essa u ltima e a condi c ao m nima necess aria para que fa ca sentido considerar o limite em (1.2.7). o. Se v = 0 ent 1.2.4. Observac a ao o conjunto (1.2.8) e R e a derivada f e igual a zero. Se v = 0 ent ao a aplica c ao direcional v (x) certamente existe e R t x + tv e um homeomorsmo sobre a reta: x + Rv = x + tv : t R e0 e ponto de acumula c ao do conjunto (1.2.8) se e somente se x e ponto de acumula c ao do conjunto (x + Rv ) U ; vemos que se v = 0 ent ao para que 0 seja ponto de acumula c ao de (1.2.8) e necess ario (mas em geral longe de ser suciente) que x seja ponto de acumula c ao de U . No caso particular em que E tem dimens ao 1, a reta x + Rv coincide com E para v = 0 de modo que 0 e ponto de acumula c ao de (1.2.8) se e somente se x e ponto de acumula c ao de U . o. Alguns livros elementares de C 1.2.5. Observac a alculo denem a no c ao de derivada direcional apenas quando o vetor dire c ao v tem norma igual a 1. N ao h a realmente nenhuma justicativa matem atica para se fazer isso e, na verdade, ser a bastante conveniente para n os permitir derivadas ( x ) com v E arbitr a rio (veja, por exemplo, Lema 1.2.8 a direcionais f v f seguir). Alguns livros adotam a conven c ao de denir v (x) apenas quando v = 1 pois quando se est a interessado em estudar a forma como f varia ao longo de uma reta que passa por um ponto x faz sentido eleger um vetor unit ario paralelo a essa reta como uma esp ecie de representante natural da dire c ao determinada por essa reta. No Exerc cio 1.2 pedimos ao leitor f ( x ) e para relacionar as derivadas direcionais f v (cv ) (x), sendo c R um escalar. o. Se E = R e x U 1.2.6. Definic a e um ponto de acumula c ao de U R ent ao a derivada direcional: f f (x + t) f (x) (x) = lim F t0 1 t

1.2. FUNC OES DIFERENCIAVEIS

12

e denotada tamb em por f (x) e e chamada a derivada (ou o vetor tangente) de f no ponto (ou no instante) x. Quando E = R podemos pensar f como sendo uma curva parametrizada no espa co vetorial F , o que explica a ado c ao da terminologia vetor tangente. Quando F tamb em e igual a R a Deni c ao 1.2.6 coincide com a deni c ao usual de derivada dos cursos de C alculo de uma vari avel. 1.2.7. Exerccio. Seja v E e suponha que 0 e um ponto de acumula c ao do conjunto (1.2.8). Considere a fun c ao: : R t R : x + tv U t f (x + tv ) F. Mostre que a derivada direcional f v (x) existe se e somente se a derivada (0) existe e que, caso ambas existam, s ao iguais. No Exerc cio 1.3 pedimos ao leitor para demonstrar uma pequena generaliza c ao do resultado do Exerc cio 1.2.7. Vamos agora relacionar a no c ao de fun c ao diferenci avel com a no c ao de derivada direcional. 1.2.8. Lema. Suponha que f : E U F seja diferenci avel no ponto x U e que T : E F seja uma aplica c ao linear tal que a condi c ao (1.2.4) seja satisfeita. Se v E e tal que 0 e ponto de acumula c ao do conjunto (1.2.8) ent ao a derivada direcional f e igual a T (v ). v (x) existe e o. Se v = 0 ent Demonstrac a ao fazer h = tv em (1.2.4) para obter: (1.2.10) Como: f (x + tv ) f (x) T (tv ) |t| f (x + tv ) f (x) T (tv ) = v t t |t| v e a fun c ao t
|t| t t0 f v (x)

= 0 = T (v ). Se v = 0 podemos

lim

f (x + tv ) f (x) T (tv ) = 0. |t| v

e limitada conclu mos que: f (x + tv ) f (x) T (tv ) = 0. t0 t lim

Mas: f (x + tv ) f (x) T (tv ) f (x + tv ) f (x) = T (v ), t t donde segue que: f (x + tv ) f (x) lim = T (v ). t0 t rio. Se x 1.2.9. Corola e um ponto interior de U e f : E U F e diferenci avel no ponto x ent ao existe apenas uma transforma c ao linear T : E F tal que a condi c ao (1.2.4) e satisfeita. Al em do mais, para todo v E a derivada direcional f e igual a T (v ). v (x) existe e

1.2. FUNC OES DIFERENCIAVEIS

13

o. J Demonstrac a a que x e um ponto interior de U temos que para todo v E o conjunto (1.2.8) cont em uma vizinhan ca de 0 e em particular possui 0 como ponto de acumula c ao. Se T : E F e uma aplica c ao linear satisfazendo (1.2.4) podemos ent ao aplicar o Lema 1.2.4 para obter: T (v ) = f (x), v

para todo v E . Essa igualdade evidentemente prova a unicidade de T . rio. Se E tem dimens 1.2.10. Corola ao 1, x U e um ponto de acumula c ao de U e f : E U F e diferenci avel no ponto x ent ao existe apenas uma transforma c ao linear T : E F tal que a condi c ao (1.2.4) seja satisfeita. o. Como E tem dimens Demonstrac a ao 1 e x e ponto de acumula c ao de U , temos que 0 e ponto de acumula c ao do conjunto (1.2.8) para todo v E (veja Observa c ao 1.2.4). Podemos ent ao argumentar como na demonstra c ao do Corol ario 1.2.9. Os Corol arios 1.2.9 e 1.2.10 nos permitem enunciar a seguinte: o. Se x 1.2.11. Definic a e um ponto interior de U ou se E tem dimens ao 1exU e um ponto de acumula c ao de U e se f : E U F e diferenci avel no ponto x ent ao a u nica aplica c ao linear T : E F tal que a condi c ao (1.2.4) e satisfeita e chamada a diferencial de f no ponto x e e denotada por df (x). Evidentemente, se x e um ponto interior de U ou se E tem dimens ao 1 exU e um ponto de acumula c ao de U e se f e diferenci avel no ponto x ent ao: (1.2.11) f (x + h) f (x) df (x) h = 0. h0 h lim

Alguns esclarecimentos s ao necess arios sobre a nota c ao df (x) h: temos que a diferencial df (x) e uma fun c ao (uma aplica c ao linear de E para F ) e portanto pode ser aplicada a um vetor h E . A nota c ao padr ao para aplicar uma fun c ao a um ponto de seu dom nio nos faria escrever df (x)(h) para denotar o valor de df (x) no ponto h. No entanto, para evitar sobrecarga de par enteses, n os muitas vezes escreveremos apenas df (x) h (o s mbolo pode ser lido como aplicado em) ou apenas df (x)h. Dado um vetor v E , temos que df (x) v coincide com a derivada direcional de f no ponto x e na dire c ao de v . De fato, o Lema 1.2.8 implica diretamente a seguinte: o. Se x 1.2.12. Proposic a e um ponto interior de U ou se E tem dimens ao 1 e x U e um ponto de acumula c ao de U e se f : E U F e ( x ) diferenci avel no ponto x ent ao para todo v E a derivada direcional f v

1.2. FUNC OES DIFERENCIAVEIS

14

existe e e igual a df (x) v , isto e: f (x) = df (x) v, v para todo v E . Ser a poss vel denir a direrencial df (x) em condi c oes mais gerais do que aquelas enunciadas na Deni c ao 1.2.11? Em outras palavras, ser a poss vel mostrar a unicidade da aplica c ao linear T : E F satisfazendo (1.2.4) em condi c oes mais gerais do que aquelas que aparecem nos Corol arios 1.2.9 e 1.2.10? A resposta e sim: para que possamos provar a unicidade de T (e ent ao denir df (x)) precisamos apenas que x seja ponto de acumula c ao do dom nio U ao longo de uma quantidade de dire c oes grande o suciente para gerar o espa co E . Pedimos ao leitor para trabalhar os detalhes dessa quest ao nos Exerc cios 1.4, 1.5 e 1.6. No entanto, para simplicar a exposi c ao, n os continuaremos a trabalhar com a no c ao de diferencial apenas no caso em que o ponto x e interior a U ou que E tem dimens ao 1 e x U e um ponto de acumula c ao de U . Vejamos alguns exemplos bem simples de aplica c oes diferenci aveis e suas respectivas diferenciais. 1.2.13. Exemplo. Se f : E F e constante ent ao f e diferenci avel em qualquer ponto x E e df (x) = 0. De fato, se T = 0 ent ao a fun c ao r denida em (1.2.2) e nula. 1.2.14. Exemplo. Se f : E F e linear ent ao para todo x E a fun c ao f e diferenci avel no ponto x e df (x) = f . De fato, fazendo T = f temos que a aplica c ao r denida em (1.2.2) e nula. 1.2.15. Exerc cio. Seja V um subconjunto de U e suponha que x e um ponto interior de V ou que E tem dimens ao 1 e x V e um ponto de acumula c ao de V . Mostre que: (a) se f : E U F e diferenci avel no ponto x ent ao tamb em f |V : V F e diferenci avel no ponto x e d(f |V )(x) = df (x); (b) se V e uma vizinhan ca de x relativamente a U e se f |V e diferenci avel no ponto x ent ao tamb em f e diferenci avel no ponto x. A exist encia de uma quantidade grande de derivadas direcionais de f no poss ponto x implica na diferenciabilidade de f no ponto x? N ao. E vel que x seja um ponto interior de U e que todas as derivadas direcionais de f no ponto x existam, mas que f n ao seja diferenci avel no ponto x (os resultados dos Exerc cios 1.7 e 1.8 fornecem uma fam lia de exemplos que conrmam essa arma c ao). No entanto, quando E tem dimens ao 1, temos o seguinte: 1.2.16. Lema. Se E tem dimens ao 1, x U e um ponto de acumula c ao f ao nulo de U e se a derivada direcional v (x) existe para algum v E n ent ao f e diferenci avel no ponto x. o. Como E tem dimens Demonstrac a ao 1 e v e n ao nulo temos que o conjunto unit ario {v } e uma base de E e portanto existe uma u nica aplica c ao

1.2. FUNC OES DIFERENCIAVEIS

15

linear T : E F tal que T (v ) = f c ao v (x). Vamos mostrar que a condi (1.2.4) e satisfeita. Como a aplica c ao R t tv E e um homeomorsmo, temos que (1.2.4) e equivalente a (1.2.10). Mas: f (x + tv ) f (x) T (tv ) 1 t f (x + tv ) f (x) = T (v ) , |t| v v |t| t onde a fun c ao t lim
t |t|

e limitada e:

t0

f f (x + tv ) f (x) T (v ) = (x) T (v ) = 0, t v

donde (1.2.10) vale. rio. Se E = R e x 1.2.17. Corola e um ponto de acumula c ao de U R ent ao a fun c ao f : U F e diferenci avel no ponto x se e somente se a derivada f (x) existe (veja Deni c ao 1.2.6). Caso f seja diferenci avel no ponto x, temos: (1.2.12) df (x) h = f (x)h,

para todo h R e f (x) = df (x) 1. o. Se f Demonstrac a e diferenci avel no ponto x ent ao segue da Pro( x ) = f ( x ) existe e e igual a posi c ao 1.2.12 que a derivada direcional f 1 df (x) 1; da linearidade de df (x) vem a igualdade (1.2.12). Reciprocamente, se f (x) = f ao o Lema 1.2.16 implica que f e diferenci avel 1 (x) existe ent no ponto x. o. Em tudo que segue, assumimos que x seja um 1.2.18. Convenc a ponto interior de U ou que E tenha dimens ao 1 e x U seja um ponto de acumula c ao de U . o. Se f : E U F , g : E U F s 1.2.19. Proposic a ao ambas aplica c oes diferenci aveis no ponto x ent ao a aplica c ao f + g tamb em e diferenci avel no ponto x e: d(f + g )(x) = df (x) + dg (x). o. Basta notar que df (x) + dg (x) Demonstrac a e uma aplica c ao linear e que: (f + g )(x + h) (f + g )(x) df (x) + dg (x) (h) h0 h lim = lim f (x + h) f (x) df (x) h h0 h + lim
h0

g (x + h) g (x) dg (x) h = 0. h

1.2. FUNC OES DIFERENCIAVEIS

16

1.2.20. Lema. Seja F um espa co vetorial real de dimens ao nita. Se f :EU F e diferenci avel no ponto x e se L : F F e uma aplica c ao linear ent ao L f tamb em e diferenci avel no ponto x e: d(L f )(x) = L df (x). o. Como L Demonstrac a e cont nua e L(0) = 0, de (1.2.11) vem:
h0

lim L

f (x + h) f (x) df (x) h = 0; h

da : (L f )(x + h) (L f )(x) L df (x) (h) = 0, h0 h e a conclus ao segue. lim rio. Se f : E U F 1.2.21. Corola e diferenci avel no ponto x e se c R ent ao a aplica c ao: cf : U e diferenci avel no ponto x e: d(cf )(x) = c df (x) : E h c df (x) h F. w cw F . y cf (y ) F

o. Aplique o Lema 1.2.20 com L : F Demonstrac a

rio. Se : E U R 1.2.22. Corola e diferenci avel no ponto x e se w F ent ao a aplica c ao: w : U e diferenci avel no ponto x e: d(w)(x) = d(x) w : E h d(x) h w F. c cw F . y (y )w F

o. Aplique o Lema 1.2.20 com L : R Demonstrac a

rio. Suponha que B = (ei )n 1.2.23. Corola i=1 seja uma base de F e que i : F R denote o funcional linear que associa a cada vetor de F sua i- esima coordenada na base B . Seja fi = i f : U R, i = 1, . . . , n. Temos que f e diferenci avel no ponto x se e somente se fi e diferenci avel no ponto x para todo i = 1, . . . , n; al em do mais, se f e diferenci avel no ponto x ent ao para todo h E , dfi (x) h e a i- esima coordenada de df (x) h na base B , isto e:
n

df (x) h =
i=1

dfi (x) h ei .

o. Se f Demonstrac a e diferenci avel no ponto x ent ao segue diretamente do Lema 1.2.20 que fi = i f e diferenci avel no ponto x, j a que i e linear; al em do mais, para todo h E , dfi (x) h = i df (x) h , isto e, dfi (x) h e a i- esima coordenada de df (x) h na base B . Reciprocamente, se fi e diferenci avel no ponto x para todo i = 1, . . . , n ent ao, como

EXERC ICIOS PARA O CAP ITULO 1

17

n c ao 1.2.19 e do Corol ario 1.2.22 que f e f = i=1 fi ei , segue da Proposi diferenci avel no ponto x.

rio. Suponha que F seja um subespa 1.2.24. Corola co de F e que a imagem de f : E U F esteja contida em F ; denote por f0 : U F a aplica c ao que difere de f apenas pelo contra-dom nio. Temos que f e diferenci avel no ponto x se e somente se f0 e diferenci avel no ponto x; al em do mais, se f e diferenci avel no ponto x ent ao a imagem de df (x) : E F est a contida em F e as aplica c oes lineares df (x) : E F e df0 (x) : E F diferem apenas pelo contra-dom nio. o. Denote por i : F F a aplica Demonstrac a c ao inclus ao. J a que f = i f0 e i e linear, o Lema 1.2.20 nos diz que se f0 e diferenci avel no ponto x ent ao f tamb em e diferenci avel no ponto x e df (x) = i df0 (x), isto e, df (x) toma valores em F e as aplica c oes df (x) e df0 (x) diferem apenas pelo contra-dom nio. Reciprocamente, suponha que f seja diferenci avel no ponto x. Seja L : F F uma aplica c ao linear cuja restri c ao a F seja a aplica c ao identidade de F (para obter L, escolha um subespa co complementar qualquer de F em F e tome L como sendo a proje c ao em F relativamente ` a decomposi c ao em soma direta obtida). Temos ent ao que f0 = L f e portanto o Lema 1.2.20 nos d a que f0 e diferenci avel no ponto x. Exerc cios para o Cap tulo 1 Diferencia c ao. 1.1. Exerccio. Sejam dados espa cos vetoriais E , F . Uma aplica c ao A:E F e dita am se existem uma aplica c ao linear T : E F e um vetor u F tais que A(z ) = u + T (z ), para todo z E . Suponha que E , F sejam espa cos vetoriais reais de dimens ao nita e que f : U F seja uma fun c ao denida num subconjunto U de E . Seja x U um ponto de acumula c ao de U . Dizemos que uma aplica c ao am A : E F e uma aproxima c ao de primeira ordem para f no ponto x se A(x) = f (x) e se:
z x

lim

f (z ) A(z ) = 0, zx

onde

denota uma norma qualquer xada em E . Mostre que: (a) se f e diferenci avel no ponto x e T : E F e uma aplica c ao linear que satisfaz (1.2.4) ent ao a aplica c ao am: A:E z f (x) T (x) + T (z ) F

e uma aproxima c ao de primeira ordem para f ; (b) se existe uma aplica c ao am A : E z u + T (z ) F (com T : E F linear e u F ) que e uma aproxima c ao de primeira ordem para f ent ao u = f (x) T (x), T satisfaz (1.2.4) e portanto f e diferenci avel no ponto x.

EXERC ICIOS PARA O CAP ITULO 1

18

1.2. Exerc cio. Sejam E , F espa cos vetoriais reais de dimens ao nita, U um subconjunto de E , x U , v E e f : U F uma fun c ao. Suponha que 0 seja um ponto de acumula c ao do conjunto t R : x + tv U e que f a derivada direcional v (x) exista. Dado c R, mostre que 0 e ponto de acumula c ao do conjunto t R : x + tcv U , que a derivada direcional f (cv ) (x) existe e que: f f (x) = c (x). (cv ) v 1.3. Exerc cio. Sejam E , F espa cos vetoriais reais de dimens ao nita, U um subconjunto de E , x U , v E e f : U F uma fun c ao. Considere a fun c ao: : R t R : x + tv U t f (x + tv ) F. Dado t0 R, mostre que: (a) t0 e ponto de acumula c ao do dom nio de se e somente se 0 e ponto de acumula c ao do conjunto t R : (x + t0 v ) + tv U ; (b) se t0 pertence ao dom nio de e e ponto de acumula c ao do dom nio de ent ao a derivada (t0 ) existe se e somente se a derivada direao iguais. cional f v (x + t0 v ) existe e, caso ambas existam, s 1.4. Exerc cio. Sejam E um espa co vetorial real de dimens ao nita, U um subconjunto de E e x, v E . Dizemos que x e um ponto de acumula c ao de U na dire c ao de v se existe uma seq u encia (xn )n0 em U e uma seq u encia (tn )n0 de n umeros reais positivos tal que xn x e tn (xn x) v . Se e uma norma em E e v = 0, mostre que x e um ponto de acumula c ao de U na dire c ao de v se e somente se existe uma seq u encia (xn )n0 em U \ {x} tal que xn x e: v xn x . xn x v 1.5. Exerc cio. Sejam E , F espa cos vetoriais reais de dimens ao nita, U um subconjunto de E , f : U F uma fun c ao, x U e v E um vetor tal que x e ponto de acumula c ao de U na dire c ao de v . Se T : E F , T : E F s ao aplica c oes lineares tais que: (1.13)
h0

lim

f (x + h) f (x) T (h) = 0, h

f (x + h) f (x) T (h) = 0, h0 h lim mostre que T (v ) = T (v ). Conclua que se f e diferenci avel no ponto x e o conjunto: (1.14) vE:x e ponto de acumula c ao de U na dire c ao de v

gera E como espa co vetorial ent ao existe uma u nica aplica c ao linear T tal que a condi c ao (1.13) e satisfeita.

EXERC ICIOS PARA O CAP ITULO 1

19

1.6. Exerc cio. Sejam E , F espa cos vetoriais reais de dimens ao nita, U um subconjunto de E e x U . Denote por f : U F a fun c ao identicamente nula. Mostre que para qualquer aplica c ao linear T : E F que se anula no conjunto (1.14) a condi c ao (1.13) e satisfeita. Conclua que se (1.14) n ao gera E como espa co vetorial ent ao existem innitas aplica c oes lineares T tais que a condi c ao (1.13) e satisfeita. 1.7. Exerc cio. Sejam E , F espa cos vetoriais reais de dimens ao nita e denote por S a esfera unit aria: S= xE: x =1 , onde e uma norma arbitr aria xada em E . Seja g : S F uma fun c ao x e dena f : E F fazendo f (x) = x g x , para todo x E \ {0} e f (0) = 0. Mostre que: (a) dado v S ent ao a derivada direcional f v (0) existe se e somente se g (v ) = g (v ) e, em caso armativo, essa derivada direcional e igual a g (v ); (b) f e cont nua no ponto 0 se e somente se a fun c ao g e limitada; (c) f e diferenci avel no ponto 0 se e somente se existe uma aplica c ao linear T : E F tal que g = T |S e, em caso armativo, df (0) = T . 1.8. Exerc cio. Sejam E , S como no enunciado do Exerc cio 1.7 e seja : S ]0, +[ uma fun c ao. Dena f : E R fazendo f (0) = 0, f (x) = 0 x x , e f (x) = 1 se x = 0 e x x . Mostre que: se x = 0 e x < x (a) para todo v E a derivada direcional f e igual a zero; v (0) existe e (b) f e cont nua no ponto 0 se e somente se inf (S ) > 0; (c) f e diferenci avel no ponto 0 se e somente se inf (S ) > 0.

APENDICE A

Um pouco de algebra linear e multilinear


Todos os espa cos vetoriais que aparecem neste ap endice s ao espa cos vetoriais sobre um certo corpo de escalares K que e considerado xado ao longo de todo o ap endice. O leitor pode, se desejar, assumir que esse corpo e R ou C (que s ao os u nicos corpos que s ao relevantes nestas notas), mas na verdade nenhuma particularidade desses corpos e usada nas demonstra c oes1. A.1. Aplica c oes lineares e multilineares Se E , F s ao espa cos vetoriais ent ao uma aplica c ao T : E F e dita linear se T (x + y ) = T (x) + T (y ) e se T (x) = T (x), para todos x, y E e para todo K. Dados espa cos vetoriais E1 , E2 , F ent ao uma aplica c ao B : E1 E2 F e dita bilinear se for linear em cada uma de suas vari aveis, isto e, se para todo x E1 a aplica c ao E2 y B (x, y ) F e linear e para todo y E2 a aplica c ao E1 x B (x, y ) F e linear; em outras palavras, devemos ter: B (x + x , y ) = B (x, y ) + B (x , y ), (A.1.1) B (x, y + y ) = B (x, y ) + B (x, y ), B (x, y ) = B (x, y ), B (x, y ) = B (x, y )

para todos x, x E1 , y, y E2 e para todo K. A.1.1. Exerc cio. Dados espa cos vetoriais E1 , E2 , F e uma aplica c ao bilinear B : E1 E2 F , mostre que:
n n n n

B
i=1

xi , y =
i=1

B (xi , y ),

B x,
i=1

yi =
i=1

B (x, yi ),

para todos x1 , . . . , xn , x E1 , y1 , . . . , yn , y E2 . o. Lin(E, F ) denota o conjunto de todas as aplica A.1.2. Notac a c oes lineares T : E F e Lin(E1 , E2 ; F ) denota o conjunto de todas as aplica c oes bilineares B : E1 E2 F , onde E , E1 , E2 , F s ao espa cos vetoriais. A.1.3. Exerc cio. Dados espa cos vetoriais E , F , mostre que Lin(E, F ) e um espa co vetorial quando munido das opera c oes denidas pelas igualdades: (T + T )(x) = T (x) + T (x), (T )(x) = T (x) ,
1Na verdade, tudo que aparece neste ap endice poderia ser feito com m odulos sobre um anel comutativo arbitr ario; a comutatividade do anel de escalares e necess aria quando tratamos de aplica c oes multilineares. 20

A.1. APLICAC OES LINEARES E MULTILINEARES

21

onde x E , K e T, T Lin(E, F ). Similarmente, dados espa cos vetoriais E1 , E2 , mostre que Lin(E1 , E2 ; F ) e um espa co vetorial quando munido das opera c oes denidas pelas igualdades: (B + B )(x, y ) = B (x, y ) + B (x, y ), (B )(x, y ) = B (x, y ) ,

onde x E1 , y E2 , K e B, B Lin(E1 , E2 ; F ). A.1.4. Exemplo. O produto interno can onico de Rn :


n

Rn Rn

(x, y ) x, y =
i=1

xi yi R

e uma aplica c ao bilinear. Mais geralmente, qualquer produto interno num espa co vetorial real e (por deni c ao) uma aplica c ao bilinear (veja o enunciado do Exerc cio A.1 para a deni c ao geral de produto interno em espa cos vetoriais reais). A.1.5. Exemplo. O produto vetorial em R3 : R3 (x, y ) x y = (x2 y3 x3 y2 , x3 y1 x1 y3 , x1 y2 x2 y1 ) R3

e uma aplica c ao bilinear. o. Mmn (K) denota o espa A.1.6. Notac a co vetorial das matrizes m n com entradas em K, onde m, n s ao n umeros naturais. Escrevemos tamb em Mn (K) = Mnn (K). A.1.7. Exemplo. A multiplica c ao de n umeros complexos e uma aplica c ao bilinear de C C em C (aqui podemos pensar em C como um espa co vetorial sobre R ou como um espa co vetorial sobre C)2. A.1.8. Exemplo. Dados n umeros naturais m, n, p ent ao a multiplica c ao de matrizes: Mmn (K) Mnp (K) (A, B ) AB Mmp (K)

e uma aplica c ao bilinear. A.1.9. Exemplo. Dados espa cos vetoriais E , F , ent ao a aplica c ao de avalia c ao denida por: aval : Lin(E, F ) E (T, x) T (x) F

e bilinear. Dado um outro espa co vetorial G ent ao a aplica c ao de composi c ao de aplica c oes lineares: Lin(F, G) Lin(E, F ) e bilinear.
2A multiplica c ao de quat ernios tamb em dene uma aplica c ao bilinear se pensarmos

(S, T ) S T Lin(E, G)

no conjunto dos quat ernios como um espa co vetorial sobre R, mas n ao se pensarmos nos quat ernios como um espa co vetorial sobre C. Observamos que, mais geralmente, se A e uma algebra sobre K ent ao a multiplica c ao de A e (por deni c ao) uma aplica c ao bilinear de A A em A.

A.1. APLICAC OES LINEARES E MULTILINEARES

22

Se T : E F , T : E F s ao aplica c oes lineares e se C E e um conjunto de geradores para E (isto e, se todo elemento de E e uma combina c ao linear nita de elementos de C ou, equivalentemente, se nenhum subespa co pr oprio de E cont em C ) e se T , T coincidem em elementos de C ent ao T = T . Algo similar vale para aplica c oes bilineares: o. Sejam E1 , E2 , F espa A.1.10. Proposic a cos vetoriais, C1 , C2 conjuntos de geradores para E1 , E2 , respectivamente, e B, B Lin(E1 , E2 ; F ) aplica c oes bilineares. Se B (x, y ) = B (x, y ) para todos x C1 , y C2 ent ao B=B. o. Dados x E1 , y E2 , podemos escrever: Demonstrac a
n m

x=
i=1

i xi ,

y=
j =1

j yj ,

com x1 , . . . , xn C1 , y1 , . . . , ym C2 e 1 , . . . , n , 1 , . . . , m K. Da :
n m n m

B (x, y ) = B

i xi , j yj i=1 j =1 n m
i=1 j =1

=
i=1 j =1

i j B (xi , yj )
n m

= Logo B = B .

i j B (xi , yj ) = B
i=1

i xi ,
j =1

j yj = B (x, y ).

Dados uma base B = (ei )n co vetorial E e elementos (fi )n i=1 de um espa i=1 de um espa co vetorial F ent ao existe uma u nica aplica c ao linear T : E F tal que T (ei ) = fi , para i = 1, . . . , n. Essa aplica c ao linear T e denida por:
n

T (x) =
i=1

i (x)fi ,

onde i : E K e o funcional linear que associa a cada x E a sua i- esima coordenada na base B (recorde que (i )n e uma base do espa co i=1 dual E = Lin(E, K) que e normalmente chamada a base dual de B ). Um resultado similar vale para aplica c oes bilineares: m o. Sejam E1 , E2 , F espa A.1.11. Proposic a cos vetoriais, B 1 = (e1 i )i=1 n uma base de E1 , B 2 = (e2 i )i=1 uma base de E2 e fij F , i = 1, . . . , m, j = 1, . . . , n elementos de F . Temos que existe uma u nica aplica c ao bilinear B : E1 E2 F tal que: (A.1.2)
2 B (e1 i , ej ) = fij , para todos i = 1, . . . , m, j = 1, . . . , n.

1 : E K o funcional o. Para i = 1, . . . , m, seja i Demonstrac a 1 linear que associa a cada x E1 a sua i- esima coordenada na base B 1 e 2 : E K o funcional linear que associa a para cada j = 1, . . . , n, seja j 2 cada y E2 a sua j - esima coordenada na base B 2 . Vamos tentar descobrir

A.1. APLICAC OES LINEARES E MULTILINEARES

23

como a aplica c ao bilinear desejada pode ser obtida: se B : E1 E2 F e uma aplica c ao bilinear satisfazendo a condi c ao (A.1.2) ent ao:
m n 1 i (x)e1 i, i=1 j =1 2 j (y )e2 j = i=1 j =1 m n 1 2 i (x)j (y )fij , i=1 j =1 m n 1 2 2 i (x)j (y )B (e1 i , ej )

B (x, y ) = B

para todos x E1 , y E2 . A u nica op c ao que temos ent ao para denir B e fazer:


m n 1 2 i (x)j (y )fij , i=1 j =1

(A.1.3)

B (x, y ) =

para todos x E1 , y E2 . A demonstra c ao da proposi c ao e obtida ent ao atrav es da verica c ao (puramente mec anica) de que a aplica c ao B denida por (A.1.3) e realmente bilinear e satisfaz a condi c ao (A.1.2). o. Na Proposi A.1.12. Observac a c ao A.1.11 estamos assumindo impli1 citamente que os espa cos vetoriais E , E 2 t em dimens ao nita, mas na verdade isso n ao e necess ario: bastaria considerar bases indexadas em conjuntos de ndices arbitr arios (possivelmente innitos). A demonstra c ao do resultado em dimens ao innita seria exatamente igual, j a que cada vetor tem no m aximo um n umero nito de coordenadas n ao nulas numa dada base e todas as somat orias aparentemente innitas que apareceriam na demonstra c ao seriam na verdade somas de fam lias quase nulas, isto e, fam lias (vi )iI em que vi = 0 apenas para um n umero nito de ndices i I . A Proposi c ao A.1.11 pode tamb em ser lida assim: uma aplica c ao bilinear 2 B : E1 E2 F ca unicamente denida pelos seus valores B (e1 i , ej ), m 2 2 n i = 1, . . . , m, j = 1, . . . , n, em vetores de bases B 1 = (e1 i )i=1 , B = (ei )i=1 de 1 2 E1 e E2 , respectivamente. Se escrevemos Bij = B (ei , ej ) F , i = 1, . . . , m, j = 1, . . . , n ent ao obtemos uma matriz (Bij )mn com entradas no espa co vetorial F que caracteriza completamente a aplica c ao bilinear B . No caso em que F = K ent ao (Bij )mn e uma matriz de escalares que e normalmente conhecida como a matriz da aplica c ao bilinear B com respeito ` as bases B 1 , B 2 . No caso geral (F n ao necessariamente igual a K) poder amos escolher uma base C = (fi )p de F (vamos supor que F tem dimens ao nita, por i=1 k a k - esima coordenada de Bij F na base simplicidade) e denotar por Bij C , para i = 1, . . . , m, j = 1, . . . , n, k = 1, . . . , p. A aplica c ao bilinear B : E1 E2 F ca ent ao completamente caracterizada por uma matriz k) de tr es ndices (Bij mnp com entradas em K. A.1.13. Exerc cio. Se E , E1 , E2 , F s ao espa cos vetoriais de dimens ao nita, determina as dimens oes dos espa cos Lin(E, F ) e Lin(E1 , E2 ; F ) em fun c ao das dimens oes de E , E1 , E2 e F . A no c ao de aplica c ao bilinear admite uma generaliza c ao natural, a saber:

A.1. APLICAC OES LINEARES E MULTILINEARES

24

o. Sejam E1 , . . . , En , F espa A.1.14. Definic a cos vetoriais. Uma aplica c ao B : E1 En F e dita n-linear ou multilinear se for linear em cada uma de suas vari aveis; mais precisamente, isso signica que para todo i = 1, . . . , n e para todos x1 E1 , . . . , xi1 Ei1 , xi+1 Ei+1 , . . . , xn En , a aplica c ao: Ei e linear. Evidentemente, a no c ao de aplica c ao n-linear reduz-se ` a no c ao de aplica c ao linear para n = 1 e reduz-se ` a no c ao de aplica c ao bilinear para n = 2. A no c ao de aplica c ao n-linear pode tamb em ser descrita atrav es de 2n igualdades (generalizando (A.1.1)). o. Lin(E1 , . . . , En ; F ) denota o conjunto das aplica A.1.15. Notac a c oes multilineares B : E1 En F , onde E1 , . . . , En , F s ao espa cos vetoriais. Se E = E1 = = En , escrevemos tamb em Linn (E ; F ). A.1.16. Exerc cio. Dados espa cos vetoriais E1 , . . . , En , F , mostre que Lin(E1 , . . . , En ; F ) e um espa co vetorial quando munido das opera c oes denidas pelas igualdades: (B + B )(x1 , . . . , xn ) = B (x1 , . . . , xn ) + B (x1 , . . . , xn ), (B )(x1 , . . . , xn ) = B (x1 , . . . , xn ) , onde x1 E1 , . . . , xn En , K, B, B Lin(E1 , . . . , En ; F ). A.1.17. Exemplo. Dados n umeros naturais k1 , k2 , . . . , kn+1 ent ao a aplica c ao: Mk1 k2 (K) Mk2 k3 (K) Mkn kn+1 (K) Mk1 kn+1 (K) (A1 , . . . , An ) A1 An e n-linear. A.1.18. Exemplo. A aplica c ao: Rm Rm Rn e trilinear (isto e, 3-linear). A.1.19. Exemplo. Dados espa cos vetoriais E1 , E2 , F ent ao a aplica c ao de avalia c ao: aval : Lin(E1 , E2 ; F ) E1 E2 (B, x1 , x2 ) B (x1 , x2 ) F (x, y, z ) x, y z Rn xi B (x1 , . . . , xi1 , xi , xi+1 , . . . , xn ) F

e trilinear. Mais geralmente, se s ao dados espa cos vetoriais E1 , . . . , En ent ao a aplica c ao: Lin(E1 , . . . , En ; F ) E1 En e (n + 1)-linear. (B, x1 , . . . , xn ) B (x1 , . . . , xn ) F

A.1. APLICAC OES LINEARES E MULTILINEARES

25

Um bom exemplo de aplica c ao multilinear e obtido a partir da no c ao de determinante de uma matriz. Recorde que se A e uma matriz n n com entradas em K ent ao o determinante de A e denido por: (A.1.4) det(A) =
Sn

sgn( )A1(1) A2(2) An(n) .

Na f ormula acima Sn denota o conjunto (que e um grupo, mas isso n ao vem ao caso) de todas as permuta c oes de n elementos, isto e, de todas as fun c oes bijetoras : {1, . . . , n} {1, . . . , n}. O sinal de , denotado por sgn( ), e igual a 1 se e uma permuta c ao par e igual a 1 se e uma permuta c ao mpar3. A.1.20. Exerc cio. Se A Mn (K), mostre que det(A) = det(At ), onde At denota a matriz transposta de A (sugest ao: fa ca = 1 na somat oria n n (A.1.4) e observe que i=1 Ai(i) = i=1 A (i)i e que sgn( ) = sgn( )). A.1.21. Exemplo. Dados vetores v1 , . . . , vn Kn , seja: det(v1 , . . . , vn ) =
Sn

sgn( )v1(1) vn(n)

o determinante da matriz n n que possui os vetores v1 , . . . , vn em suas colunas (ou, em vista do resultado do Exerc cio A.1.20, pode ser nas linhas tamb em!). Temos ent ao que det Linn (Kn ; K). As Proposi c oes A.1.10 e A.1.11 (e suas demonstra c oes) podem ser generalizadas de forma mais ou menos obvia para o contexto de aplica c oes multilineares. Colocamos aqui os enunciados e demonstra c oes resumidas; sua apar encia e meio desajeitada, mas espero que isso n ao intimide o leitor. o. Sejam E1 , . . . , En , F espa A.1.22. Proposic a cos vetoriais, Ci um conjunto de geradores para Ei , i = 1, . . . , n, e B, B Lin(E1 , . . . , En ; F ) aplica c oes n-lineares. Se: B (x1 , . . . , xn ) = B (x1 , . . . , xn ), para todos x1 C1 , . . . , xn Cn ent ao B = B . o. Dados xi Ei , i = 1, . . . , n, escrevemos: Demonstrac a
ri

xi =
=1

i xi ,

3Recorde que uma transposi c ao e uma permuta c ao que move exatamente dois elemen-

tos. Toda permuta c ao pode ser decomposta num produto de transposi c oes; tal decomposi c ao n ao eu nica, mas a paridade do n umero de transposi c oes utilizadas na decomposi c ao n ao depende da decomposi c ao escolhida. Dizemos ent ao que uma permuta c ao e par (resp., mpar) se o n umero de transposi c oes que aparece numa decomposi c ao qualquer de e par (resp., mpar).

A.1. APLICAC OES LINEARES E MULTILINEARES com x : i Ci , i K, = 1, . . . , ri , i = 1, . . . , n; da r1 rn

26

B (x1 , . . . , xn ) =
1 =1 r1

1 n n 1 1 n B (x1 , . . . , xn )

= Logo B = B .

n =1 rn 1 1 n =1 1 =1

1 n n n B (x1 , . . . , xn ) = B (x1 , . . . , xn ).

o. Sejam E1 , . . . , En , F espa A.1.23. Proposic a cos vetoriais, seja:


mi B i = (ei )=1

uma base de Ei , i = 1, . . . , n e sejam: f1 ...n F, i = 1, . . . , mi , i = 1, . . . , n elementos de F . Temos que existe uma u nica aplica c ao n-linear B : E1 En F tal que:
n (A.1.5) B (e1 1 , . . . , en ) = f1 ...n , para todos i = 1, . . . , mi , i = 1, . . . , n. i : E K o o. Para i = 1, . . . , n, = 1, . . . , mi , seja Demonstrac a i funcional linear que associa a cada elemento de Ei sua - esima coordenada f na base B i . E acil ver que a aplica c ao B denida por: m1 mn

(A.1.6)

B (x1 , . . . , xn ) =
1 =1

n =1

1 n (x1 ) (xn )f1 ...n , n 1

para todos x1 E1 , . . . , xn En e n-linear e satisfaz a condi c ao (A.1.5). A unicidade de B segue da Proposi c ao A.1.22 (ou de um argumento para se chegar ` a f ormula (A.1.6) an alogo ao que aparece na demonstra c ao da Proposi c ao A.1.11). o. A Proposi A.1.24. Observac a c ao A.1.23 pode ser facilmente generalizada para o caso em que a dimens ao dos espa cos vetoriais E1 , . . . , En n ao e necessariamente nita (veja Observa c ao A.1.12). A Proposi c ao A.1.23 pode tamb em ser lida assim: uma aplica c ao multilinear B : E1 En F ca unicamente denida pelos seus van lores B (e1 1 , . . . , en ), i = 1, . . . , mi , i = 1, . . . , n, em vetores de bases mi i i B = (e )=1 , i = 1, . . . , n dos espa cos E1 , . . . , En . Se escrevemos:
n B1 ...n = B (e1 1 , . . . , en ) F,

i = 1, . . . , mi , i = 1, . . . , n,

obtemos uma matriz (de n ndices) m1 mn com entradas em F que caracteriza completamente a aplica c ao multilinear B . Tomando uma base C = (fi )p de F (vamos supor que F tem dimens ao nita, por simplicidai=1 j de) e denotando por B1 ...n a j - esima coordenada na base C de B1 ...n , obtemos uma matriz (de n + 1 ndices) m1 mn p com entradas em K

A.2. SOMA DIRETA

27

que caracteriza completamente a aplica c ao multilinear B . Chamamos essa a matriz que representa B com respeito ` a bases B 1 , . . . , B n , C . A.1.25. Exerc cio. Dados espa cos vetoriais E1 , . . . , En , F de dimens ao nita, determine a dimens ao de Lin(E1 , . . . , En ; F ) em fun c ao das dimens oes dos espa cos Ei , i = 1, . . . , n, e da dimens ao de F . A.1.1. Tensores. N os ` as vezes chamaremos aplica c oes multilineares de tensores. A palavra tensor aparece em Matem atica com muitos signicados diferentes. Em alguns textos de F sica, tensores s ao matrizes com v arios ndices que transformam-se de modo adequado quando fazemos mudan cas de base; na verdade, essas matrizes de v arios ndices s ao as matrizes que representam aplica c oes multilineares com respeito ` a uma dada escolha de bases4. Tensores s ao importantes na F sica para modelagem de objetos como campos eletromagn eticos e campos gravitacionais (na Teoria da Relatividade Geral). Em Geometria Diferencial (na Geometria Riemannian, por exemplo) s ao usados tensores para se representar objetos geom etricos tais como a curvatura de uma variedade Riemanniana. A palavra tensor e muitas vezes usada tamb em para se referir a um elemento de um produto tensorial; produto tensorial e uma constru c ao alg ebrica5 que nos d a um novo espa co vetorial E1 E2 (l e-se E1 tensor E2 ) a partir de espa cos vetorais E1 , E2 . Ocorre que no contexto de espa cos vetoriais de dimens ao nita h a um isomorsmo natural entre produtos tensoriais e espa cos de aplica c oes , E ; K) multilineares: a saber, E1 E2 e naturalmente isomorfo a Lin(E1 2 E F . Notae Lin(E1 , . . . , En ; F ) e naturalmente isomorfo a E1 n mos que tais isomorsmos n ao existem no contexto geral de espa cos vetorias de dimens ao possivelmente innita (ou no contexto geral de m odulos), mas apesar disso n os usaremos a palavra tensor como sin onimo de aplica c ao multilinear. A.2. Soma direta Se E e um espa co vetorial e se E1 , E2 s ao subespa cos de E denotamos por E1 + E2 o conjunto de todas as somas x1 + x2 , com x1 E1 , x2 E2 ;
4Particularmente importantes s ao os chamados (p, q )-tensores ou tensores p vezes co-

variantes e q vezes contravariantes num dado espa co vetorial E ; tratam-se de aplica c oes multilineares de E E E E (p fatores E e q fatores E ) em K. Escolhendo uma base em E e tomando a base dual em E , essas aplica c oes multilineares s ao representadas por matrizes de p + q ndices; normalmente escreve-se os p ndices correspondentes a `s c opias de E embaixo (os ndices covariantes) e os q ndices correspondentes ` as c opias de E em cima (os ndices contravariantes). 5 Um produto tensorial de espa cos vetoriais E1 , E2 e um espa co vetorial E1 E2 junto com uma aplica c ao bilinear E1 E2 (x, y ) x y E1 E2 tal que para todo espa co vetorial F e toda aplica c ao bilinear B : E1 E2 F existe uma u nica aplica c ao linear B : E1 E2 F tal que B (x y ) = B (x, y ), para todos x E1 , y E2 . Mostra-se que, a menos de isomorsmos (num sentido adequado), dois espa cos vetoriais admitem um u nico produto tensorial. Essa constru c ao pode tamb em ser generalizada para o contexto de m odulos sobre an eis arbitr arios, embora algumas adapta c oes sejam necess arias quando o anel de escalares n ao e comutativo.

A.2. SOMA DIRETA

28

claramente, E1 + E2 coincide com o subespa co de E gerado por E1 E2 . Se E1 E2 = {0}, dizemos que a soma de E1 com E2 e direta e denotamos o subespa co E1 + E2 por E1 E2 . Evidentemente, E = E1 + E2 se e somente se todo vetor de E e soma de um vetor de E1 com um vetor de E2 ; al em do mais, e f acil ver que E = E1 E2 se e somente se todo vetor de E se escreve de modo u nico como soma de um vetor de E1 com um vetor de E2 . Generalizando essas id eias para o contexto de um n umero nito arbitr ario6 de subespa cos de E , obtemos a seguinte: o. Seja E um espa A.2.1. Proposic a co vetorial e E1 , . . . , En subespa cos de E . S ao equivalentes: (a) para todo i = 1, . . . , n, a interse c ao:
n

(A.2.1)

Ei
j =1 j =i

Ej

cont em somente o vetor nulo; (b) para todos x1 E1 , . . . , xn En , se x1 + + xn = 0 ent ao x1 = = xn = 0; (c) para todos x1 , y1 E1 , . . . , xn , yn En , se: x1 + + xn = y1 + + yn ent ao x1 = y1 , . . . , xn = yn . o. Deixamos a prova da equival Demonstrac a encia entre (b) e (c) a cargo do leitor. Vamos provar a equival encia entre (a) e (b). Suponha (a). Se x1 + + xn = 0 e xi Ei , i = 1, . . . , n, ent ao:
n n

xi =
j =1 j =i

(xj ) Ei
j =1 j =i

Ej = {0},

donde xi = 0, para todo i = 1, . . . , n. Agora suponha (b). Dado i = 1, . . . , n e x na interse c ao (A.2.1) ent ao existem xj Ej , j = 1, . . . , n, j = i, tais que:
n

x=
j =1 j =i

xj .

Tomando xi = x ent ao xi Ei e n j =1 xj = 0, donde xj = 0, para todo j = 1, . . . , n, sendo em particular x = xi = 0.


n i=1 Ei = E1 + + En pode ser denida ou iterando a opera c ao bin aria de soma de subespa cos, ou tomando o conjunto de todas as somas x1 + + xn , com x1 E1 , . . . , xn En , ou tomando o subespa co gerado pela uni ao n E . i i=1

6Dados subespa cos E1 , . . . , En de E , ent ao a soma

A.2. SOMA DIRETA

29

Quando uma das condi c oes (a), (b), (c) que aparece no enunciado da Proposi c ao A.2.1 ocorre dizemos que a soma dos subespa cos E1 , . . . , En e n E direta e escrevemos n E ou E E para denotar a soma 1 n i=1 i i=1 i (mas e bom observar que a nota c ao E1 En e um pouco enganosa, j a que a condi c ao de a soma dos subespa cos E1 , . . . , En ser direta e uma condi c ao que envolve os n subespa cos simultaneamente e n ao e equivalente a condi ` c ao das somas Ei + Ei+1 , i = 1, . . . , n 1 serem diretas e nem mesmo equivalente ` a condi c ao mais forte de as somas Ei + Ej , i, j = 1, . . . , n, i = j , serem diretas). e equivalente ` a condi c ao de que cada Note que a condi c ao E = n i=1 Ei elemento x E se escreva de modo u nico como uma soma: x1 + + xn , com x1 E1 , . . . , xn En ; chamamos a xi a componente de x no subespa co E (note que a comEi relativa ` a decomposi c ao em soma direta E = n i=1 i ponente de x no subespa co Ei depende n ao apenas de Ei mas dos outros Ej ; por exemplo, se E = E1 E2 = E1 E2 ent ao e bem poss vel que a componente em E1 de um elemento x E com respeito ` a decomposi c ao E = E1 E2 seja diferente da componente em E1 de x com respeito ` a decomposi c ao E = E1 E2 ). A aplica c ao i : E Ei que associa a cada n x E a sua componente em Ei relativa ` a decomposi c ao E = e i=1 Ei E . chamada a proje c ao em Ei relativa ` a decomposi c ao E = n i i=1 A.2.2. Exerc cio. Suponha que E = n i=1 Ei . Mostre que: (a) a aplica c ao i : E Ei de proje c ao em Ei relativa ` a decomposi c ao E e linear; E= n i i=1 (b) mostre que para todo i = 1, . . . , n a restri c ao de i a Ei e igual ` a aplica c ao identidade de Ei e que para j = 1, . . . , n, j = i, a restri c ao de i a Ej e a aplica c ao nula; (c) trocando o contra-dom nio da aplica c ao i de Ei para E (de modo 2 (isto que i seja um elemento de Lin(E, E )), mostre que i e, i i ) e igual a i , que i j = 0 para i, j = 1, . . . , n, i = j , e que n i=1 i e igual ` a aplica c ao identidade de E . A.2.3. Exemplo. Se (ei )n onica de Kn e se Kei i=1 denota a base can n denota o subespa co gerado pelo vetor ei ent ao K = n i=1 Kei . A.2.4. Exerc cio. Dado um espa co vetorial E , uma base7 B de E e n uma parti c ao B = i=1 Bi de B (isto e, Bi Bj = , para i = 1, . . . , n, i = j ) ent ao, denotando por Ei o subespa co gerado por Bi , mostre que n E = i=1 Ei .
7Para mim uma base e uma fam lia (indexada) de elementos e n ao apenas um con-

junto; a distin c ao entre fam lia e conjunto e importante: por exemplo, no caso de uma base de um espa co vetorial de dimens ao nita precisamos de uma ordem na base, para que se possa falar em primeira, segunda, etc., coordenada de um vetor. No entanto, ` as vezes cometo um certo abuso e trato uma base como se fosse apenas um conjunto, para facilitar a nota c ao.

A.2. SOMA DIRETA

30

e uma base de Ei , i = 1, . . . , n, A.2.5. Exerc cio. Se E = n i=1 Ei e Bi mostre que Bi Bj = , para i, j = 1, . . . , n, i = j e que n e uma base i=1 Bi de E . As Proposi c oes A.2.6 e A.2.7 abaixo s ao ferramentas pr aticas para se denir aplica c oes lineares com dom nio ou contra-dom nio numa soma direta8. n o. Se E = A.2.6. Proposic a ao espa cos vetoriais e se i=1 Ei , F s Ti : Ei F , i = 1, . . . , n, s ao aplica c oes lineares ent ao existe uma u nica aplica c ao linear T : E F tal que T |Ei = Ti , para i = 1, . . . , n. o. Se T : E F , T : E F s Demonstrac a ao aplica c oes lineares tais que T |Ei = T |Ei = Ti , para i = 1, . . . , n, ent ao T e T concidem em n e um conjunto de geradores de E ; logo T = T . A exist encia i=1 Ei , que de T e demonstrada tomando T = n T , onde : E E denota a i i i i=1 i n proje c ao em Ei relativa ` a decomposi c ao E = i=1 Ei .
n o. Se E = A.2.7. Proposic a ao espa cos vetoriais e se i=1 Ei , F s Ti : F Ei , i = 1, . . . , n, s ao aplica c oes lineares ent ao existe uma u nica aplica c ao linear T : F E tal que i T = Ti , para i = 1, . . . , n, onde i : E Ei denota a proje c ao em Ei relativa ` a decomposi c ao E = n i=1 Ei .

o. Se i : Ei E denota a aplica Demonstrac a c ao inclus ao ent ao n (Exerc cio A.2.2, item (c)) i=1 i i e a aplica c ao identidade de E , de modo que as igualdades i T = Ti , i = 1, . . . , n, implicam em:
n

(A.2.2)

T =
i=1

i Ti .

Isso mostra que a aplica c ao T eu nica, se existir (obrigatoriamente dada pela f ormula (A.2.2)). Denindo T usando (A.2.2), obtemos:
n

j T =
i=1

j i T i = T j ,

j a que j j e igual ` a aplica c ao identidade de Ej e j i = 0 para i = j . poss o. E A.2.8. Observac a vel tamb em denir somas diretas para fam lias possivelmente innitas (Ei )iI de subespa cos de um espa co vetorial E . Quando se trabalha com fam lias innitas, somas do tipo iI xi , xi Ei , fazem sentido apenas quando (xi )iI e uma fam lia quase nula (veja Observa c ao A.1.12). Todos os resultados apresentados nesta se c ao generalizam-se facilmente para o caso de somas diretas innitas, exceto a Proposi c ao A.2.7, que e falsa para somas diretas innitas.
8Essas proposi c oes exprimem fatos que t em um signicado especial quando se estuda Teoria das Categorias: a saber, a Proposi c ao A.2.6 exprime o fato que somas diretas n E s a o somas na categoria de espa c os vetoriais e aplica c oes lineares e a Propoi i=1 si c ao A.2.7 exprime o fato que somas diretas n E s a o produtos nessa categoria. i i=1

A.2. SOMA DIRETA

31

A.2.1. Somas diretas internas e externas. Dados espa cos vetoriais E1 , . . . , En (n ao necessariamente subespa cos de um mesmo espa co vetorial) ent ao podemos tornar o produto cartesiano E = n E = E 1 En i=1 i um espa co vetorial denindo opera c oes: (A.2.3) (x1 , . . . , xn ) + (y1 , . . . , yn ) = (x1 + y1 , . . . , xn + yn ), (x1 , . . . , xn ) = (x1 , . . . , xn ),

para xi , yi Ei , i = 1, . . . , n, K. A aplica c ao i : Ei E denida por: i (x) = (0, . . . , 0, x, 0, . . . , 0) (com o x na i- esima coordenada),

para todo x Ei , e linear injetora e nos d a um isomorsmo de Ei sobre o f subespa co i (Ei ) = {0}i1 Ei {0}ni de E . E acil ver que:
n

E=
i=1

i (Ei )

n e se identicarmos Ei com i (Ei ) escreveremos apenas E = i=1 Ei . E n c oes denidas comum chamar ao espa co vetorial i=1 Ei (munido das opera em (A.2.3)) a soma direta externa dos espa cos E1 , . . . , En ; da , a soma direta discutida no in cio da Se c ao A.2 (em que os Ei devem ser todos subespa cos de um mesmo espa co E ) e tamb em chamada soma direta interna dos espa cos vetoriais E1 , . . . , En . Observe que se E1 , . . . , En s ao subespa cos de um mesmo espa co vetorial E ent ao tamb em faz sentido considerar a soma e direta ou n ao! E , n a o importando se a soma n direta externa n i i=1 Ei i=1 n ao e f acil ver que a aplica c ao: No entanto, se a soma i=1 Ei for direta, ent n n n

(A.2.4)
i=1

Ei

(x1 , . . . , xn )
i=1

xi
i=1

Ei

e um isomorsmo linear. Vimos ent ao que: (a) a soma direta externa n e igual ` a soma direta interna de i=1 Ei espa cos i (Ei ) isomorfos aos Ei (o isomorsmo entre Ei e i (Ei ) corresponde apenas ao acr escimo de algumas coordenadas zero); n (b) se E = E e soma direta interna de subespa cos Ei ent ao i i=1 (A.2.4) nos d a um isomorsmo entre E e a soma direta externa n i=1 Ei . Em vista de (a) e (b) e comum simplesmente ignorar a diferen ca entre soma direta interna e externa. N os adotaremos essa pr atica, sempre que poss vel. A.2.9. Exerc cio. Se um espa co vetorial E e soma direta (interna) de subespa cos E1 , . . . , En , i : E Ei denota a proje c ao em Ei relativa ` a n decomposi c ao E = n E e : E E denota a i - e sima proje c a o i i i i i=1 i=1

EXERC ICIOS PARA O APENDICE A

32

do produto cartesiano

n i=1 Ei ,

mostre que o diagrama:


(A.2.4)
=

n i=1 E Gi

GG GG G i GGG #

Ei

/E      i 

e comutativo, para todo i = 1, . . . , n, isto e, se denota o isomorsmo (A.2.4) ent ao i = i , para todo i = 1, . . . , n. o. Se (Ei )iI A.2.10. Observac a e uma fam lia innita de espa cos vetorais ent ao o produto cartesiano iI Ei em geral n ao e soma direta interna dos subespa cos i (Ei ). Por isso, a soma direta externa e, nesse contexto, denida como sendo o subespa co de iI Ei formado pelas fam lias quase nulas; esse subespa co e igual ` a soma direta interna dos subespa cos i (Ei ). Evidentemente, no caso em que I e nito qualquer fam lia (xi )iI e quase nula. Se I e innito e E = iI Ei (soma direta interna) ent ao a aplica c ao E ( x ) x E n a o est a em geral sequer bem denida, i iI iI i iI i mas se trocamos iI Ei pelo espa co de fam lias quase nulas ent ao essa apli interessante notar que, embora a ca c ao torna-se um isomorsmo linear. E Proposi c ao A.2.7 n ao seja verdadeira para fam lias innitas de espa cos vetoriais (veja Observa c ao A.2.8), ela tornaria-se verdaderia9 se troc assemos a otese E = iI Ei . hip otese E = iI Ei pela hip Exerc cios para o Ap endice A A.1. Exerc cio. Seja E um espa co vetorial real. Um produto interno em E e uma aplica c ao bilinear: EE (x, y ) x, y R

tal que x, y = y, x , para todos x, y E e x, x > 0, para todo x E n ao nulo. Se , e um produto interno em E , n os denimos: x = x, x 2 ,
1

d(x, y ) = x y ,

para todos x, y E . Mostre que: (a) para todos x, y E , vale a desigualdade de CauchySchwarz: | x, y | x y ,

sendo que a igualdade vale se e somente se x, y s ao linearmente dependentes (sugest ao: p(t) = x + ty, x + ty 0, para todo t R; analise o sinal do discriminante do polin omio do segundo grau p);
9Para quem conhece um pouco de teoria das categorias, o que est a ocorrendo aqui pode ser entendido da seguinte maneira: para fam lias nitas de objetos, somas e produtos coincidem na categoria de espa cos vetoriais e aplica c oes lineares. No entanto, o mesmo n ao vale para fam lias innitas de objetos.

EXERC ICIOS PARA O APENDICE A

33

(b) para todos x, y E , vale a desigualdade triangular: (A.5) x+y x + y . (sugest ao: calcule x + y, x + y e use a desigualdade de Cauchy Schwarz); (c) para todos x, y, z E vale tamb em a seguinte desigualdade triangular: d(x, z ) d(x, y ) + d(y, z ). (sugest ao: x z = (x y ) + (y z ); use (A.5)).

APENDICE B

Espa cos m etricos


Este ap endice cont em um curso rel ampago sobre a teoria b asica de espa cos m etricos. A exposi c ao e feita de forma bem sucinta, de modo que o ap endice provavelmente n ao ser a adequado para leitores que est ao tomando contato com a teoria de espa cos m etricos pela primeira vez. Todas as deni c oes e teoremas (com demonstra c ao!) que considero relevantes como ferramentas para um curso de C alculo no Rn s ao apresentadas. Alguns resultados que considero simples de demonstrar s ao deixados a cargo do leitor sob a forma de exerc cios ao longo do texto; para o leitor menos experiente, resolver esses exerc cios e fundamental para que o mesmo adquira alguma intimidade com o assunto. Observo que alguns desses exerc cios s ao quase triviais e para resolv e-los basta compreender as deni c oes dos conceitos envolvidos. B.1. Deni c ao e conceitos b asicos o. Seja M um conjunto. Uma m B.1.1. Definic a etrica em M e uma fun c ao d : M M R que satisfaz as seguintes condi c oes: (a) d(x, y ) 0, para todos x, y M ; (b) para todos x, y M , d(x, y ) = 0 se e somente se x = y ; (b) d(x, y ) = d(y, x), para todos x, y M ; (c) (desigualdade triangular) d(x, z ) d(x, y ) + d(y, z ), para todos x, y, z M . Se d e uma m etrica em M ent ao o par (M, d) e chamado um espa co m etrico. Para deixar a linguagem menos carregada, n os muitas vezes escrevemos frases como seja M um espa co m etrico. . . em vez de seja (M, d) um espa co m etrico. . . ; ` as vezes dizemos tamb em que M est a munido de uma m etrica d, signicando que refer encias ao espa co m etrico M devem ser entendidas como refer encias ao espa co m etrico (M, d). B.1.2. Exemplo. A m etrica Euclideana em Rn e denida por:
n

d(x, y ) =
i=1

(xi yi )2

1 2

para todos x, y Rn . Deixamos a cargo do leitor a verica c ao do fato que d e realmente uma m etrica (a desigualdade triangular para d e mais dif cil, mas segue diretamente do resultado do Exerc cio A.1 aplicado ao produto interno can onico de Rn ). A menos de men c ao expl cita em contr ario, consideramos
34

E CONCEITOS BASICOS B.1. DEFINIC AO

35

Rn sempre munido da m etrica Euclideana. Tamb em s ao m etricas em Rn as fun c oes:


n

d1 : Rn Rn d : Rn Rn

(x, y )
i=1

|xi yi | R,

(x, y ) max |xi yi | : i = 1, . . . , n R.

A m etrica d1 e tamb em conhecida como m etrica da soma e a m etrica d e tamb em conhecida como m etrica do m aximo. A m etrica Euclideana d e as vezes tamb ` em denotada por d2 . No caso particular em que n = 1, todas essas m etricas coincidem: d(x, y ) = d1 (x, y ) = d (x, y ) = |x y |, x, y R.

Veremos adiante (Se c ao B.5) que as m etricas d, d1 , d s ao equivalentes num sentido que ser a esclarecido naquela se c ao. B.1.3. Exemplo. Dado um conjunto arbitr ario M , temos que a fun c ao d : M M R denida por: d(x, y ) = 0, se x = y, 1, se x = y,

para todos x, y M , e uma m etrica em M chamada a m etrica zero-um. B.1.4. Exemplo. Se d e uma m etrica em M e N e um subconjunto de M ent ao a restri c ao d|N N e uma m etrica em N chamada a m etrica induzida por d em N . Dizemos tamb em que (N, d|N N ) e um subespa co do espa co m etrico (M, d). A menos de men c ao expl cita em contr ario, assumese que um subconjunto de um espa co m etrico est a sempre munido da m etrica induzida. o. Dados um espa B.1.5. Definic a co m etrico M , um ponto x M e um n umero real r > 0 ent ao a bola aberta de centro x e raio r e denida por: B(x, r) = y M : d(y, x) < r e a bola fechada de centro x e raio r e denida por: B[x, r] = y M : d(y, x) r . Embora as nota c oes B(x, r) e B[x, r] s o fa cam refer encia expl cita ao centro e ao raio das bolas, e evidente que as bolas B(x, r) e B[x, r] dependem tamb em do conjunto M e da m etrica d (que normalmente est ao subentendidos pelo contexto). Em algumas situa c oes n os temos que lidar com as bolas abertas e fechadas de v arios espa cos m etricos e a podem ser necess arios ajustes de nota c ao e terminologia para remover ambig uidades na comunica c ao. Esse e o caso do enunciado do Exerc cio B.1.6 a seguir, onde pedimos ao leitor para destrinchar a (f acil!) rela c ao entre as bolas abertas e fechadas de um espa co m etrico e as bolas abertas e fechadas de um subespa co desse espa co m etrico.

E CONCEITOS BASICOS B.1. DEFINIC AO

36

B.1.6. Exerc cio. Sejam (M, d) um espa co m etrico, N um subconjunto de M e considere o espa co m etrico (N, d|N N ). Dados x M , r > 0, vamos denotar por BM (x, r), BM [x, r], respectivamente, a bola aberta e a bola fechada de centro x e raio r no espa co m etrico (M, d); se x N , vamos denotar por BN (x, r), BN [x, r], respectivamente, a bola aberta e a bola fechada de centro x e raio r no espa co m etrico (N, d|N N ). Mostre que, para todos x N , r > 0: BN (x, r) = BM (x, r) N, BN [x, r] = BM [x, r] N.

o. Dados um espa B.1.7. Definic a co m etrico M e um subconjunto A de M ent ao um ponto x de M e dito: interior a A se existe r > 0 tal que B(x, r) A; exterior a A se existe r > 0 tal que B(x, r) A = , isto e, tal que B(x, r) est a contido em M \ A (o complementar de A em M ); um ponto de fronteira de A se para todo r > 0 temos B(x, r) A = e B(x, r) (M \ A) = ; aderente a A se para todo r > 0 temos que B(x, r) A = .

O interior de A, denotado por int(A) ou A, e denido como sendo o conjunto dos pontos interiores a A e a fronteira de A, denotada por A, e denida como sendo o conjunto dos pontos de fronteira de A. O fecho de A, denotado por A, e denido como sendo o conjunto dos pontos aderentes a A. B.1.8. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que o conjunto dos pontos exteriores a A coincide com o interior do complementar de A, isto e, com int(M \ A). Em vista do resultado do Exerc cio B.1.8, n os n ao introduziremos nota c ao (ou nome) para o conjunto dos pontos exteriores a A: n os simplesmente usaremos int(M \ A). B.1.9. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que todo ponto interior a A pertence a A (isto e, int(A) est a contido em A), que todo ponto exterior a A pertence a M \ A e que todo ponto de A e aderente a A (isto e, A est a contido em A). Tomando M = R munido da m etrica Euclideana, d e exemplos de conjuntos A tais que: (i) A A; (ii) A A = ; (iii) nem (i) nem (ii) ocorrem. B.1.10. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que as possibilidades x e interior a A, x e exterior a A e x e um ponto de fronteira de A s ao exaustivas e mutuamente exclusivas para um dado ponto x M , isto e, mostre que os conjuntos int(A), A e int(M \ A) cobrem M e s ao dois a dois disjuntos. B.1.11. Exerc cio. Verique que na Deni c ao B.1.7 teria dado na mesma se tiv essemos usado bolas fechadas em vez de bolas abertas, isto e, obter amos deni c oes equivalentes se troc assemos todas as ocorr encias de

E CONCEITOS BASICOS B.1. DEFINIC AO

37

r B(x, r) por B[x, r] (sugest ao: a bola fechada B x, 2 est a contida na bola aberta B(x, r)). B.1.12. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que: (a) A e M \ A t em a mesma fronteira, isto e, A = (M \ A); (b) para todo x M , x e um ponto de fronteira de A se e somente se x e simultaneamente aderente a A e a seu complementar M \ A. Em outras palavras:

A = A M \ A. B.1.13. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que, dado x M , s ao equivalentes as condi c oes: (i) x e aderente a A; (ii) x n ao e um ponto exterior a A; (iii) x e interior a A ou x e um ponto de fronteira de A; (iv) x pertence a A ou x e um ponto de fronteira de A. Conclua que: (B.1.1) A = M \ int(M \ A) = int(A) A = A A. B.1.14. Exerc cio. Se A e um subconjunto de um espa co m etrico M , mostre que um dado ponto x M e interior a A se e somente se n ao est a no fecho de M \ A. Em outras palavras: int(A) = M \ M \ A. o. Um subconjunto A de um espa B.1.15. Definic a co m etrico M e dito denso (ou denso em M ) se todo ponto de M e aderente a A, isto e, se A = M. B.1.16. Exerc cio. Mostre que A e denso num espa co m etrico M se e somente se M \ A tem interior vazio. B.1.17. Exerc cio. Dados subconjuntos A, B de um espa co m etrico M , mostre que: (a) se A B ent ao int(A) int(B ); (b) se A B ent ao A B . Evidentemente as no c oes de ponto interior, ponto exterior, ponto de fronteira, ponto aderente, interior, fecho e conjunto denso dependem do espa co m etrico (M, d) no qual se est a trabalhando: se (M, d) e um espa co m etrico, N e um subconjunto de M , A e um subconjunto de N e x A ent ao e poss vel que x seja um ponto interior de A relativamente ao espa co m etrico (N, d|N N ), mas que x n ao seja um ponto interior de A relativamente ao espa co m etrico (M, d). Por exemplo, se A = N ent ao todo ponto x A e interior a A relativamente ao espa co m etrico (N, d|N N ) (pois uma bola aberta do espa co m etrico (N, d|N N ) tem que estar contida em A = N !), mas evidentemente e poss vel que existam pontos x A que n ao sejam interiores a A relativamente ao espa co m etrico (M, d). Como usualmente o

E CONCEITOS BASICOS B.1. DEFINIC AO

38

espa co m etrico (M, d) relativamente ao qual os conceitos s ao considerados est a subentendido pelo contexto, podemos escrever express oes como int(A), A ou A (ou falar em pontos interiores, aderentes ou de fronteira de A) sem fazer refer encia expl cita ao espa co m etrico (M, d); no entanto, quando o contexto n ao deixa claro o espa co m etrico em quest ao pode ser necess ario adotar ajustes de nota c ao e terminologia que nos permitam explicit a-lo ( eo que zemos no enunciado do Exerc cio B.1.6). No Exerc cio B.1.18 a seguir pedimos ao leitor para olhar mais de perto a rela c ao entre o fecho de um conjunto A num espa co m etrico (M, d) e o fecho de A num subespa co de (M, d) que cont em A. B.1.18. Exerc cio. Sejam (M, d) um espa co m etrico, N um subconjunto de M e considere o espa co m etrico (N, d|N N ). Dados um subconjunto A de N e um ponto x N , mostre que x e aderente a A relativamente ao espa co m etrico (N, d|N N ) se e somente se x e aderente a A relativamente ao espa co m etrico (M, d) (sugest ao: use o resultado do Exerc cio B.1.6). Conclua que o fecho de A relativamente a N e igual ` a interse c ao com N do fecho de A relativamente a M . o. Seja M um espa B.1.19. Definic a co m etrico. Um subconjunto A de M e dito aberto (ou aberto em M ) se coincide com seu interior, isto e, se int(A) = A. Dizemos que A e fechado (ou fechado em M ) se o seu complementar M \ A e um conjunto aberto. Como e sempre o caso que int(A) A, temos que A e aberto se e somente se todo ponto de A e interior a A, ou ainda, se para todo x A existe r > 0 tal que B(x, r) A. Note que fechado n ao e sin onimo de n ao-aberto! B.1.20. Exerc cio. Mostre que um subconjunto A de um espa co m etrico M e aberto se e somente se n ao cont em nenhum dos seus pontos de fronteira, isto e, se e somente se (A) A = . B.1.21. Exerc cio. Seja A um subconjunto de um espa co m etrico M . Mostre que: (a) A e fechado se e somente se todo ponto de M \ A e exterior a A (isto e, A e fechado se e somente se para todo x M \ A, existe r > 0 tal que B(x, r) A = ); (b) A e fechado se e somente se cont em todos os seus pontos aderentes (note que, como e sempre o caso que A A, pode-se concluir da e, um conjunto e que A e fechado se e somente se A = A, isto fechado se e somente se coincide com seu fecho); (c) A e fechado se e somente se cont em todos os seus pontos de fronteira (isto e, A e fechado se e somente se A A). B.1.22. Exerc cio. Mostre que todo subconjunto unit ario de um espa co m etrico M e um conjunto fechado (sugest ao: dados x M e y M , y = x, considere a bola aberta de centro y e raio d(y, x) > 0).

E CONCEITOS BASICOS B.1. DEFINIC AO

39

B.1.23. Exerc cio. Se M e um espa co m etrico, U e um subconjunto aberto de M e A e um subconjunto arbitr ario de M , mostre que U intercepta A se e somente se U intercepta A. B.1.24. Exerc cio. Mostre que um subconjunto A de um espa co m etrico M e ao mesmo tempo aberto e fechado se e somente se sua fronteira e vazia. B.1.25. Exerc cio. Dado um subconjunto A de um espa co m etrico M , mostre que todo conjunto aberto contido em A est a contido em int(A) e que ao: use o resultado todo conjunto fechado que cont em A cont em A (sugest do Exerc cio B.1.17). B.1.26. Exerc cio. Dado um espa co m etrico M , mostre que: (a) o conjunto vazio e o espa co M s ao ao mesmo tempo subconjuntos abertos e subconjuntos fechados de M ; (b) a uni ao de uma fam lia arbitr aria de conjuntos abertos e um conjunto aberto; (c) a interse c ao de dois conjuntos abertos (ou, mais geralmente, de uma fam lia nita de conjuntos abertos) e um conjunto aberto; (d) a interse c ao de uma fam lia arbitr aria de conjuntos fechados e um conjunto fechado; (e) a uni ao de dois conjuntos fechados (ou, mais geralmente, de uma fam lia nita de conjuntos fechados) e um conjunto fechado. (sugest ao: para (d), (e) use (b), (c) e as chamadas leis de De Morgan que dizem que o complementar de uma uni ao e igual ` a interse c ao dos complementares e que o complementar de uma interse c ao e igual ` a uni ao dos complementares). Tomando M = R munido da m etrica Euclideana, d e exemplos de fam lias innitas enumer aveis de conjuntos abertos cuja interse c ao n ao e um conjunto aberto e de fam lias innitas enumer aveis de conjuntos fechados cuja uni ao n ao e um conjunto fechado. B.1.27. Exerc cio. Seja M um espa co m etrico. Se U e um conjunto aberto e F e um conjunto fechado, mostre que U \ F e um conjunto aberto e que F \ U e um conjunto fechado (sugest ao: use o resultado do Exerc cio B.1.26 e as igualdades U \ F = U (M \ F ), F \ U = F (M \ U )). B.1.28. Lema. Toda bola aberta num espa co m etrico M e um conjunto aberto e toda bola fechada e um conjunto fechado. o. Dados x M , r > 0 e y B(x, r) ent Demonstrac a ao segue facilmente da desigualdade triangular que a bola aberta B(y, s) est a contida em B(x, r) para s = r d(x, y ) > 0. Logo B(x, r) e um conjunto aberto. Agora, se y M \ B[x, r], ent ao B(y, s) M \ B[x, r] para s = d(x, y ) r > 0; de fato, a exist encia de um elemento z em B(y, s) B[x, r] n os daria as desigualdades: d(x, y ) d(x, z ) + d(z, y ) < r + s = d(x, y ). Logo M \ B[x, r] e um conjunto aberto e portanto B[x, r] e fechado.

E CONCEITOS BASICOS B.1. DEFINIC AO

40

rio. Se A B.1.29. Corola e um subconjunto de um espa co m etrico M ent ao int(A) e aberto e A e fechado (tendo em conta o resultado do Exerc cio B.1.25, v e-se que int(A) e o maior conjunto aberto contido em A e o menor conjunto fechado que cont em A). eA o. Dado x int(A), existe r > 0 tal que B(x, r) A; Demonstrac a como B(x, r) e aberto, temos que B(x, r) int(A) e portanto x pertence ao interior de int(A). Logo int(A) e aberto. O fato que A e fechado segue ent ao da primeira igualdade em (B.1.1). B.1.30. Exerc cio. Sejam A um subconjunto de um espa co m etrico M e x M . Mostre que: (a) x pertence ao interior de A se e somente se x pertence a um aberto contido em A; (b) x pertence ao fecho de A (isto e, x e aderente a A) se e somente se todo conjunto aberto que cont em x intercepta A; (c) x pertence ` a fronteira de A se e somente se todo conjunto aberto que cont em x intercepta A e M \ A. B.1.31. Exerc cio. Mostre que um subconjunto A de um espa co m etrico M e denso se e somente se todo conjunto aberto n ao vazio intercepta A. o. Se M B.1.32. Definic a e um espa co m etrico, dizemos que um subconjunto V de M e uma vizinhan ca de um ponto x M se x pertence ao interior de V , isto e, (de acordo com o resultado do Exerc cio B.1.30) se x pertence a um aberto contido em V . B.1.33. Exerc cio. Dados um subconjunto A de um espa co m etrico M e um ponto x M , mostre que: (a) x pertence ao interior de A se e somente se x possui uma vizinhan ca contida em A; (b) x pertence ao fecho de A (isto e, x e aderente a A) se e somente se toda vizinhan ca de x intercepta A; (c) x pertence ` a fronteira de A se e somente se toda vizinhan ca de x intercepta A e M \ A. o. Sejam M um espa B.1.34. Proposic a co m etrico, A1 , . . . , An subn conjuntos de M e A = n A . Temos que A = e, o fecho de i=1 Ai (isto i=1 i uma uni ao nita e igual ` a uni ao dos fechos). o. Temos que A Demonstrac a e fechado e cont em Ai , donde A cont em Ai para todo i = 1, . . . , n e portanto:
n

Ai A.
i=1

Al em do mais, n e um conjunto fechado (Exerc cio B.1.26) que cont em i=1 Ai A e portanto cont em A. Logo A = n A . i=1 i

E CONCEITOS BASICOS B.1. DEFINIC AO

41

o. Seja (M, d) um espa B.1.35. Proposic a co m etrico e N um subconjunto de M . Temos que um subconjunto A de N e aberto em (N, d|N N ) se e somente se existe um conjunto U aberto em (M, d) tal que A = U N . o. Vamos usar a nota Demonstrac a c ao introduzida no enunciado do Exerc cio B.1.6 (bem como o resultado desse exerc cio). Se U e aberto em M ent ao para todo x U N temos que existe r > 0 tal que BM (x, r) U ; da : BN (x, r) = BM (x, r) N U N, o que mostra que A = U N e aberto em N . Seja agora A N um conjunto aberto em N e vamos mostrar que existe um conjunto U aberto em M tal que A = U N . Para cada x A, seja rx > 0 tal que BN (x, rx ) A. Dena: U= BM (x, rx ).
x A

Temos que U e aberto em M , sendo uma uni ao de conjuntos abertos (veja Exerc cio B.1.26 e Lema B.1.28); como cada bola aberta cont em seu centro, temos que A U e portanto A U N . Al em do mais: U N =
x A

BM (x, rx ) N =
x A

BN (x, rx ) A,

donde A = U N . rio. Seja (M, d) um espa B.1.36. Corola co m etrico e N um subconjunto de M . Se A N e aberto em (M, d) ent ao A e aberto em (N, d|N N ) e, reciprocamente, se A e aberto em (N, d|N N ) e N e aberto em (M, d) ent ao A e aberto em (M, d). o. Se A Demonstrac a e aberto em M ent ao A = A N e aberto em N ; reciprocamente, se A e aberto em N e N e aberto em M ent ao A = U N , com U aberto em M e portanto A tamb em e aberto em M , sendo interse c ao de dois abertos (Exerc cio B.1.26). o. Seja (M, d) um espa B.1.37. Proposic a co m etrico e N um subconjunto de M . Temos que um subconjunto B de N e fechado em (N, d|N N ) se e somente se existe um conjunto F fechado em (M, d) tal que B = F N . o. Se F Demonstrac a e fechado em M ent ao B = F N e fechado em N pois, como: N \ B = N \ F = (M \ F ) N, a Proposi c ao B.1.35 nos d a que N \ B e aberto em N . Reciprocamente, se B e fechado em N ent ao N \ B e aberto em N e, pela Proposi c ao B.1.35, existe U aberto em M com N \ B = U N . Da B = (M \ U ) N , onde F =M \U e fechado em M .

E CONCEITOS BASICOS B.1. DEFINIC AO

42

rio. Seja (M, d) um espa B.1.38. Corola co m etrico e N um subconjunto de M . Se B N e fechado em (M, d) ent ao B e fechado em (N, d|N N ) e, reciprocamente, se B e fechado em (N, d|N N ) e N e fechado em (M, d) ent ao B e fechado em (M, d). o. Se B Demonstrac a e fechado em M ent ao B = B N e fechado em N ; reciprocamente, se B e fechado em N e N e fechado em M ent ao B = F N , com F fechado em M e portanto B tamb em e fechado em M , sendo interse c ao de dois fechados (Exerc cio B.1.26). o. O di B.1.39. Definic a ametro de um espa co m etrico (M, d), denotado por diam(M, d) (ou, quando a m etrica estiver subentendida pelo contexto, simplesmente por diam(M )), e denido por: (B.1.2) diam(M, d) = sup d(x, y ) = sup d(x, y ) : x, y M .
x,y M

Se A e um subconjunto de M ent ao o di ametro de A, denotado por diam(A), e denido como sendo o di ametro do espa co m etrico (A, d|AA ). O supremo em (B.1.2) e entendido como um supremo na reta estendida1 R = [, +]; temos que esse supremo e igual a + se e somente se para todo k R existem x, y M com d(x, y ) > k e temos que esse supremo e igual a se e somente se M e vazio. Evidentemente, se M e n ao vazio ent ao diam(M ) 0. Se A e um subconjunto de um espa co m etrico M ent ao o di ametro de A e obviamente igual a: diam(A) = sup d(x, y ).
x,y A

B.1.40. Exerc cio. Sejam M um espa co m etrico e A um subconjunto de M . Mostre que diam(A) diam(M ) (em particular, se A B M ent ao diam(A) diam(B )). B.1.41. Exerc cio. Se M e um espa co m etrico, mostre que para todo x M e todo n umero real r > 0, o di ametro da bola aberta B(x, r) e da bola fechada B[x, r] s ao menores ou iguais a 2r. o. Se M B.1.42. Proposic a e um espa co m etrico e A e um subconjunto de M ent ao diam(A) = diam(A). o. Temos diam(A) diam(A), de modo que basta mosDemonstrac a trar que diam(A) diam(A). Essa desigualdade e trivial se diam(A) = +,
1A reta real usual R, junto com dois pontos adicionais +, , munida da ordem

total que coincide com a usual em R e tal que < x < +, para todo x R. Na reta estendida, todo conjunto possui supremo e nmo. Um conjunto ilimitado superiormente na reta real usual possui supremo igual a + em R e o conjunto vazio possui supremo igual a em R, j a que qualquer elemento de R e cota superior do vazio e e ent ao a menor cota superior do conjunto vazio.

E CONCEITOS BASICOS B.1. DEFINIC AO

43

de modo que podemos supor diam(A) < +. Sejam x, y A. Para todo > 0, as bolas abertas B(x, ), B(y, ) interceptam A, isto e, existem x , y A com d(x, x ) < e d(y, y ) < . Da : d(x, y ) d(x, x ) + d(x , y ) + d(y , y ) < diam(A) + 2. Como > 0 e arbitr ario, conclu mos que d(x, y ) diam(A), para todos x, y A. A conclus ao segue. o. Um espa B.1.43. Definic a co m etrico (M, d) e dito limitado se: diam(M ) < +. Um subconjunto A de M e dito limitado quando o espa co m etrico (A, d|AA ) e limitado. Evidentemente, um subconjunto A de um espa co m etrico M e limitado se e somente se existe k R tal que d(x, y ) k , para todos x, y A. o. Se X B.1.44. Definic a e um conjunto e M e um espa co m etrico, uma fun c ao f : X M e dita limitada se a sua imagem f (X ) e um subconjunto limitado de M . B.1.45. Exerc cio. Mostre que um espa co m etrico (M, d) e limitado se e somente se a fun c ao d : M M R e limitada, onde R e munido da m etrica Euclideana. B.1.46. Exerc cio. Seja M um espa co m etrico. Mostre que: (a) se M e limitado, todo subconjunto de M e limitado (em particular, um subconjunto de um subconjunto limitado e limitado); (b) se A, B M s ao limitados ent ao A B e limitado e, dados x0 A, y0 B temos: diam(A B ) diam(A) + diam(B ) + d(x0 , y0 ); (c) se A e um subconjunto limitado de M ent ao para todo x M existe r > 0 tal que A B(x, r) (sugest ao: se A = , escolha x0 A e tome r < d(x, x0 ) + diam(A)). o. Dados espa B.1.47. Definic a cos m etricos (M, d), (N, d ), uma fun c ao f : M N e dita Lipschitziana se existe um n umero real k 0 tal que d f (x), f (y ) k d(x, y ), para todos x, y M ; um tal n umero real k e chamado uma constante de Lipschitz para f . Uma fun c ao Lipschitziana que admite uma constante de Lipschitz menor do que 1 e tamb em chamada uma contra c ao (quando 1 e uma constante de Lipschitz para f ` as vezes se diz que f e uma contra c ao fraca). Obviamente se k e uma constante de Lipschitz para f e k k ent ao k tamb em e uma constante de Lipschitz para f . B.1.48. Exerc cio. Mostre que a composi c ao de aplica c oes Lipschitzianas e ainda Lipschitziana. Mais especicamente, se kf e uma constante de Lipschitz para f : M N e kg e uma constante de Lipschitz para g : N P ent ao kf kg e uma constante de Lipschitz para g f .

E CONCEITOS BASICOS B.1. DEFINIC AO

44

B.1.49. Exemplo. Se f : [a, b] R e uma fun c ao cont nua, deriv avel em ]a, b[ e |f (x)| k , para todo x ]a, b[ ent ao segue do Teorema do Valor M edio que f e Lipschitziana e k e uma constante de Lipschitz para f . o. Sejam (M, d), (N, d ) espa B.1.50. Proposic a cos m etricos com M limitado. Se existe uma fun c ao Lipschitziana sobrejetora f : M N ent ao N tamb em e limitado. Al em do mais, se M e n ao vazio e k 0 e uma constante de Lipschitz para f ent ao: (B.1.3) diam(N ) k diam(M ).

o. Se M = ent Demonstrac a ao N = e portanto N e limitado. Se M = , provamos (B.1.3). Dados x, y N existem x0 , y0 M com x = f (x0 ), y = f (y0 ) e portanto: d (x, y ) k d(x, y ) k diam(M ). rio. Se (M, d), (N, d ) s B.1.51. Corola ao espa cos m etricos ent ao uma fun c ao Lipschitziana f : M N leva subconjuntos limitados de M em subconjuntos limitados de N . Al em do mais, se A M e n ao vazio e k e uma constante de Lipschitz para f ent ao: diam f (A) k diam(A). o. Basta observar que f |A : A f (A) Demonstrac a e uma fun c ao Lipschitziana (com constante de Lipschitz k ) e sobrejetora. o. Dados espa B.1.52. Definic a cos m etricos (M, d), (N, d ) ent ao uma aplica c ao f : M N e dita uma imers ao isom etrica se: d f (x), f (y ) = d(x, y ), para todos x, y M . Uma imers ao isom etrica sobrejetora e dita uma isometria. Evidentemente toda imers ao isom etrica e Lipschitziana com constante de Lipschitz igual a 1. B.1.53. Exerc cio. Mostre que: (a) toda imers ao isom etrica e injetora; (b) a aplica c ao inversa de uma isometria e ainda uma isometria; (c) a composi c ao de duas imers oes isom etricas (resp., isometrias) e ainda uma imers ao isom etrica (resp., isometria). B.1.54. Exemplo. Se (M, d) e um espa co m etrico e N e um subconjunto de M (munido da m etrica induzida d|N N , como sempre) ent ao a aplica c ao inclus ao i : N M e uma imers ao isom etrica. Dados n umeros naturais m, n com m n ent ao a aplica c ao: Rm (x1 , . . . , xm ) (x1 , . . . , xm , 0, . . . , 0) Rn

e uma imers ao isom etrica.

B.2. FUNC OES CONT INUAS E UNIFORMEMENTE CONT INUAS

45

B.1.55. Exerc cio. Se (M, d) e um espa co m etrico, N e um conjunto ef :N M e uma fun c ao injetora, mostre que existe uma u nica m etrica df em N que torna f uma imers ao isom etrica (sugest ao: df tem que ser denida por df (x, y ) = d f (x), f (y ) , para todos x, y N ). A m etrica df e as vezes chamada a m ` etrica induzida em N por f e d (note que se N M ef e a aplica c ao inclus ao ent ao df = d|N N ). B.2. Fun c oes cont nuas e uniformemente cont nuas o. Sejam (M, d), (N, d ) espa B.2.1. Definic a cos m etricos. Uma fun c ao f :M N e dita cont nua num ponto x M se para todo > 0 existe > 0 tal que: (B.2.1) para todo y M , d(y, x) < = d f (y ), f (x) < .

A fun c ao f e dita cont nua se for cont nua em todo ponto de M . Obviamente a condi c ao (B.2.1) e equivalente a f B(x, ) B f (x), 1 ou a B(x, ) f B(f (x), ) . B.2.2. Exerccio. Mostre que em (B.2.1) poder amos trocar um ou ambos os sinais < por e a no c ao de fun c ao cont nua n ao seria alterada. B.2.3. Exerccio. Sobre uma fun c ao f : M N e um ponto x M , mostre que s ao equivalentes as seguintes condi c oes: (i) f e cont nua no ponto x; (ii) para toda vizinhan ca V de f (x) em N existe uma vizinhan ca U de x em M tal que f (U ) V ; (iii) para todo aberto V de N contendo f (x) existe um aberto U de M contendo x tal que f (U ) V . B.2.4. Exerc cio. Dados espa cos m etricos M , N , um subconjunto S de M , uma fun c ao f : M N e um ponto x S , mostre que: (a) se f e cont nua no ponto x ent ao a restri c ao f |S : S N tamb em e cont nua no ponto x; (b) se f |S : S N e cont nua no ponto x e x pertence ao interior de S ent ao f e cont nua no ponto x. D e um exemplo de uma situa c ao em que f |S e cont nua (isto e, cont nua em todo ponto de S ), mas f n ao e cont nua em ponto algum de S (sugest ao: 2 tome M = R , S = R {0} e f : M R uma fun c ao que vale 1 em S e 0 em M \ S ). B.2.5. Exerc cio. Dados espa cos m etricos M , N , um subconjunto S de N e uma fun c ao f : M N tal que f (M ) S , considere a fun c ao f0 : M S que difere de f apenas pelo contra-dom nio. Dado x M , mostre que f e cont nua no ponto x se e somente se f0 e cont nua no ponto x, onde S e munido da m etrica induzida da m etrica de N . o. Dados espa B.2.6. Proposic a cos m etricos (M, d), (N, d ), (P, d ) e fun c oes f : M N , g : N P , se f e cont nua num ponto x M e g e

B.2. FUNC OES CONT INUAS E UNIFORMEMENTE CONT INUAS

46

cont nua no ponto f (x) ent ao a fun c ao composta g f e cont nua no ponto x. Em particular, se f e g s ao cont nuas ent ao g f e cont nua. o. Dado > 0 ent Demonstrac a ao, pela continuidade de g no ponto f (x), existe > 0 tal que: (B.2.2) para todo z N , d z, f (x) < = d g (z ), g f (x) < ;

a partir de , a continuidade de f no ponto x nos d a > 0 tal que d(y, x) < implica d f (y ), f (x) < , para todo y M . Logo, se y M e d(y, x) < , podemos fazer z = f (y ) em (B.2.2) obtendo d (g f )(y ), (g f )(x) < . o. Sejam M , N espa B.2.7. Proposic a cos m etricos e f : M N uma fun c ao. S ao equivalentes: (a) f e cont nua; (b) para todo subconjunto aberto U de N , f 1 (U ) e aberto em M ; (c) para todo subconjunto fechado F de N , f 1 (F ) e fechado em M . o. A equival Demonstrac a encia entre (b) e (c) decorre facilmente do fato que um conjunto e aberto se e somente se seu complementar e fechado e do fato que f 1 (N \ U ) = M \ f 1 (U ). Vamos mostrar a equival encia entre (a) e (b). Suponha que f e cont nua e que U e aberto em N e vamos mostrar que f 1 (U ) e aberto em M . Para todo ponto x f 1 (U ), temos f (x) U e portanto existe > 0 tal que B f (x), U ; da , como f e cont nua no ponto x, existe > 0 tal que f B(x, ) B f (x), e portanto B(x, ) f 1 (U ). Logo f 1 (U ) e aberto. Agora assuma (b) e vamos mostrar que f e cont nua. Sejam x M e > 0 dados. Como U = B f (x), e aberto e cont em f (x), f 1 (U ) e aberto e cont em x, donde existe > 0 tal que B(x, ) f 1 (U ). Logo f B(x, ) B f (x), , mostrando que f e cont nua no ponto x. o. Sejam (M, d), (N, d ) espa B.2.8. Definic a cos m etricos. Uma fun c ao f :M N e dita um homeomorsmo se f e cont nua, bijetora e se a fun c ao 1 inversa f : N M tamb em e cont nua. Segue diretamente da Proposi c ao B.2.7 a seguinte: o. Sejam M , N espa B.2.9. Proposic a cos m etricos e f : M N uma fun c ao bijetora. S ao equivalentes: (a) f e um homeomorsmo; (b) para todo subconjunto U de N , U e aberto em N se e somente se f 1 (U ) e aberto em M ; (c) para todo subconjunto F de N , F e fechado em N se e somente se f 1 (F ) e fechado em M . B.2.10. Exerc cio. Mostre que a aplica c ao inversa de um homeomorsmo e ainda um homeomorsmo e que a composi c ao de homeomorsmos e um homeomorsmo.

B.3. LIMITES DE FUNC OES

47

o. Sejam (M, d), (N, d ) espa B.2.11. Definic a cos m etricos. Uma fun c ao f : M N e dita uniformemente cont nua se para todo > 0 existe > 0 tal que, para todos x, y M , se d(x, y ) < ent ao d f (x), f (y ) < . Uma fun c ao bijetora uniformemente cont nua com inversa uniformemente cont nua e dita um homeomorsmo uniforme. Obviamente toda fun c ao uniformemente cont nua e cont nua e todo homeomorsmo uniforme e um homeomorsmo. B.2.12. Exerc cio. Mostre que a composi c ao de aplica c oes uniformemente cont nuas (resp., de homeomorsmos uniformes) e uniformemente cont nua (resp., um homeomorsmo uniforme). B.2.13. Exemplo. Toda fun c ao constante e uniformemente cont nua e a aplica c ao identidade de um espa co m etrico e um homeomorsmo uniforme. B.2.14. Exemplo. Toda fun c ao Lipschitziana e uniformemente cont nua (e, em particular, cont nua): de fato, se k > 0 e uma constante de Lips chitz para f : M N ent ao, para todo > 0, podemos tomar = k na Deni c ao B.2.11. Note que, em particular, toda imers ao isom etrica e uniformemente cont nua e toda isometria e um homeomorsmo uniforme. e uniformemente B.2.15. Exemplo. A fun c ao s : [0, +[ x x R 2 cont nua. De fato, dado > 0, tome = 2 . Sejam x, y 0 com |x y | < . 2 2 Se x 4 ou y 4 , temos x + y 2 e portanto: x |x y | 2 2 y = = ; |x y | < x+ y
2 2

por outro lado, se x < 4 e y < 4 , temos: x y x + y < + = . 2 2 No entanto, observamos que a fun c ao s n ao e Lipschitziana, pois se k 0 fosse uma constante de Lipschitz para s ter amos x kx para todo x 0 1 e portanto k , para todo x > 0. A aplica c ao s : [0, +[ [0, +[ x e tamb em um exemplo de um homeomorsmo uniformemente cont nuo que n ao e um homeomorsmo uniforme; de fato, a aplica c ao inversa s1 : [0, +[ x x2 [0, +[

e cont nua (deixamos isso a cargo do leitor), mas n ao e uniformemente cont nua: se s1 fosse uniformemente cont nua, existiria > 0 tal que |x2 y 2 | < 1, para todos x, y 0 com |x y | < . Mas fazendo y = x + 2 , 2 1 2 2 obtemos |x y | = x + 4 > 1, para x > . B.3. Limites de Fun c oes Antes de denirmos a no c ao de limite, precisamos da no c ao de ponto de acumula c ao.

B.3. LIMITES DE FUNC OES

48

o. Seja M um espa B.3.1. Definic a co m etrico e seja A um subconjunto de M . Um ponto x M e dito um ponto de acumula c ao de A se para todo r > 0 existe y B(x, r) A com y = x (isto e, o conjunto B(x, r) A) \ {x} n ao e vazio). O conjunto dos pontos de acumula c ao de A e chamado o conjunto derivado de A e e denotado por2 A . B.3.2. Exerc cio. Sejam M um espa co m etrico e A M . Mostre que: (a) x e ponto de acumula c ao de A se e somente se x e ponto aderente de A \ {x}, isto e: x A x A \ {x}; (b) x e ponto de acumula c ao de A se e somente se x e ponto de acumula c ao de A \ {x}; (c) todo ponto de acumula c ao de A e ponto aderente de A, isto e, A A; (d) se x M \ A ent ao x e ponto de acumula c ao de A se e somente se x e ponto aderente de A; (e) A = A A ; (f) A e fechado se e somente se A A. B.3.3. Exerc cio. Se M = R e A = Z, mostre que A = A, mas A = . B.3.4. Exerc cio. Sejam M um espa co m etrico, A M e x M . Mostre que s ao equivalentes: (a) x e ponto de acumula c ao de A; (b) para todo aberto U em M , se x U ent ao (U A) \ {x} = ; (c) para toda vizinhan ca V de x temos (V A) \ {x} = . B.3.5. Exerccio. Sejam (M, d) um espa co m etrico e N um subconjunto de M . Se A e um subconjunto de N e x N , mostre que x e ponto de acumula c ao de A relativamente ao espa co m etrico (N, d|N N ) se e somente se x e ponto de acumula c ao de A relativamente ao espa co m etrico (M, d) (sugest ao: use o resultado do Exerc cio B.1.6). Conclua que o conjunto derivado de A relativamente ao espa co m etrico (N, d|N N ) e igual ` a interse c ao com N do conjunto derivado de A relativamente ao espa co m etrico (M, d). o. Seja (M, d) um espa B.3.6. Definic a co m etrico. Um ponto x M que n ao e ponto de acumula c ao de M e dito um ponto isolado de M . Um espa co m etrico no qual todos os seus pontos s ao isolados e chamado um espa co m etrico discreto. Se A e um subconjunto de M ent ao um ponto x A e dito isolado em A se x e um ponto isolado no espa co m etrico (A, d|AA ). O conjunto A e dito discreto se (A, d|AA ) e um espa co m etrico discreto. Evidentemente um subconjunto A de um espa co m etrico M e discreto se e somente se todo ponto de A e isolado em A. Em vista do resultado do
2Embora, quando n ao h a risco de confus ao com o conjunto derivado, n os usaremos o ap ostrofe tamb em como parte do nome de um conjunto, como em Sejam A, A conjuntos. . . .

B.3. LIMITES DE FUNC OES

49

Exerc cio B.3.5, um ponto x A e isolado em A se e somente se x n ao e ponto de acumula c ao de A relativamente ao espa co m etrico (M, d). B.3.7. Exerc cio. Seja M um espa co m etrico. Mostre que: (a) um ponto x M e isolado se e somente se existe r > 0 tal que B(x, r) = {x}; (b) um ponto x M e isolado se e somente se {x} e um conjunto aberto em M ; (c) M e um espa co m etrico discreto se e somente se todo subconjunto de M e aberto (sugest ao: j a que uni ao de abertos e aberto, se os subconjuntos unit arios s ao abertos ent ao todo subconjunto e aberto); (d) M e um espa co m etrico discreto se e somente se todo subconjunto de M e fechado. B.3.8. Exerc cio. Mostre que qualquer conjunto munido da m etrica zero-um (Exemplo B.1.3) e um espa co m etrico discreto. B.3.9. Exerc cio. Sejam M um espa co m etrico, A um subconjunto de M e x A. Mostre que: (a) x e um ponto isolado de A se e somente se existe r > 0 tal que B(x, r) A = {x}; (b) A e discreto se e somente se A A = ; (c) A n ao possui pontos de acumula c ao em M se e somente se A e discreto e fechado. B.3.10. Exerc cio. Se M = R, mostre que o conjunto: A=
1 n

: n = 1, 2, . . .

e discreto, mas possui pontos de acumula c ao em M (a saber: A = {0}). B.3.11. Exerc cio. Sejam M , N espa cos m etricos e f : M N uma fun c ao. Mostre que se x M e um ponto isolado ent ao f e cont nua no ponto x. Conclua que se M e discreto ent ao toda fun c ao f : M N e cont nua. o. Sejam M um espa B.3.12. Proposic a co m etrico, A um subconjunto de M e x M um ponto de acumula c ao de A. Para toda vizinhan ca V de x o conjunto V A e innito. o. Se V A fosse nito, o conjunto F = (V A) \ {x} Demonstrac a tamb em seria nito e portanto fechado. Da U = int(V ) \ F seria um aberto que cont em x e portanto, como x e ponto de acumula c ao de A, existiria y U A com y = x. Da y int(V ) V , y A e y = x, donde y F , contradizendo y U . o. Sejam (M, d), (N, d ) espa B.3.13. Definic a cos m etricos, A um subconjunto de M , a M um ponto de acumula c ao de A e f : A N uma fun c ao. Dizemos que L N e um limite de f no ponto a se para todo > 0 dado existe > 0 tal que: (B.3.1) para todo x A, 0 < d(x, a) < = d f (x), L < .

B.3. LIMITES DE FUNC OES

50

Note que a condi c ao (B.3.1) e equivalente a f B(a, ) \ {a} B(L, ) 1 ou a B(a, ) \ {a} f B(L, ) . O fato mais b asico a ser estabelecido sobre limites e a seguinte: o. Nas condi B.3.14. Proposic a c oes da Deni c ao B.3.13, se um limite para f no ponto a existe ele eu nico. o. Sejam L1 , L2 N limites para f no ponto a. Para Demonstrac a todo > 0, existem 1 > 0, 2 > 0 tais que: para todo x A, 0 < d(x, a) < 1 = d f (x), L1 < , para todo x A, 0 < d(x, a) < 2 = d f (x), L2 < . Tomando = min{1 , 2 } > 0, como a e ponto de acumula c ao de A, existe x B(a, )A diferente de a. Da d f (x), L1 < e d f (x), L2 < , donde, pela desigualdade triangular, d (L1 , L2 ) < 2. Como > 0 e arbitr ario, temos d (L1 , L2 ) = 0 e portanto L1 = L2 . Em vista da Proposi c ao B.3.14, um limite para f no ponto a, quando existe, ser a chamado o limite de f no ponto a e ser a denotado por:
xa

lim f (x).

o. Como queremos permitir que tome-se o limite B.3.15. Observac a de uma fun c ao f num ponto que n ao est a em seu dom nio, precisamos na Deni c ao B.3.13 considerar um espa co m etrico (M, d) que cont em o dom nio de f . Observamos que se troc assemos M por um subespa co de M que cont em A {a} o limite de f no ponto a n ao seria alterado. B.3.16. Exerc cio. Mostre que na Deni c ao B.3.13 n ao faria diferen ca se troc assemos um ou ambos os sinais < por em (B.3.1). B.3.17. Exerc cio. Sejam M , N espa cos m etricos, A um subconjunto de M , B um subconjunto de A, a M um ponto de acumula c ao de B e f : A N uma fun c ao. Dado L N , mostre que: (a) se L e o limite de f no ponto a ent ao L tamb em e o limite de f |B no ponto a; (b) se a possui uma vizinhan ca V em M tal que3: (A V ) \ {a} = (B V ) \ {a} e se L e o limite de f |B no ponto a ent ao L e o limite de f no ponto a. B.3.18. Exerc cio. Sejam M , N espa cos m etricos, A um subconjunto de M , B1 , B2 subconjuntos de A e f : A N uma fun c ao. Suponha que a M e ponto de acumula c ao de B1 e de B2 , que L1 N e o limite de f |B1 no ponto a e que L2 N e o limite de f |B2 no ponto a. Mostre que se L1 = L2 ent ao f n ao possui limite no ponto a (sugest ao: use o resultado do item (a) do Exerc cio B.3.17).
3Dois casos interessantes onde essa hip otese e satisfeita s ao: (i) se a int(B ), podemos tomar V = B ; (ii) se B = A \ {a} podemos tomar V = M .

B.3. LIMITES DE FUNC OES

51

B.3.19. Exerc cio. Sejam M , N espa cos m etricos, A um subconjunto de M , a M um ponto de acumula c ao de A, f : A N uma fun c ao, S um subconjunto de M que cont em f (A) e f0 : A S a fun c ao que difere de f apenas pelo seu contra-dom nio. Se L S e S e munido da m etrica induzida da m etrica de N , mostre que L e o limite de f no ponto a se e somente se L e o limite de f0 no ponto a. B.3.20. Exerc cio. Sejam M , N espa cos m etricos, f : M N uma fun c ao e a M um ponto que n ao seja isolado (isto e, um ponto de acumula c ao de M ). Mostre que f e cont nua no ponto a se e somente se f (a) eo limite de f no ponto a. B.3.21. Exerc cio. Sejam M , N espa cos m etricos, A um subconjunto de M , f : A N uma fun c ao e a M um ponto de acumula c ao de A. Mostre que s ao equivalentes sobre L N : (a) L e o limite de f no ponto a; (b) para toda vizinhan ca V de L em N , existe uma vizinhan ca U de a em M tal que f (U A) \ {a} V ; (c) para todo aberto V em N contendo L, existe um aberto U em M contendo a tal que f (U A) \ {a} V . o. Sejam (M, d), (N, d ), (P, d ) espa B.3.22. Proposic a cos m etricos, A um subconjunto de M , a M um ponto de acumula c ao de A e f : A N uma fun c ao. Se existe e e igual a L N o limite de f no ponto a e se g:N P e uma fun c ao cont nua no ponto L ent ao existe o limite de g f no ponto a e e igual a g (L); em s mbolos:
xa

lim g f (x) = g lim f (x) .


xa

o. Seja dado > 0. A continuidade de g no ponto L nos Demonstrac a d a > 0 tal que g B(L, ) B g (L), . Como limxa f (x) = L, existe > 0 tal que, para todo x A, se 0 < d(x, a) < ent ao d f (x), L < . Logo, se x A e 0 < d(x, a) < temos f (x) B(L, ) e portanto: g f (x) B g (L), , isto e, d (g f )(x), g (L) < . o. Sejam (M, d), (N, d ), (P, d ) espa B.3.23. Proposic a cos m etricos, A um subconjunto de M , a M um ponto de acumula c ao de A, f : A N uma fun c ao, B um subconjunto de N que cont em f (A) e g : B P uma fun c ao. Suponha que o limite de f no ponto a existe e denote por L N esse limite. Se a possui uma vizinhan ca V em M tal que f (x) = L, para todo x (V A) \{a}, ent ao L e um ponto de acumula c ao de B em N ; al em do mais, se o limite de g no ponto L existe ent ao o limite de g f : A P no ponto a existe e: (B.3.2)
xa

lim g f (x) = lim g (y ).


y L

ENCIAS B.4. SEQU

52

o. Para todo > 0, como limxa f (x) = L, existe > 0 Demonstrac a tal que 0 < d(x, a) < implica d f (x), L < , para todo x A. Como a e ponto de acumula c ao de A e B(a, ) V e uma vizinhan ca de a, existe x B(a, ) V A com x = a; da f (x) B(L, ) B e f (x) = L. Isso mostra que L e ponto de acumula c ao de B . Para mostrar (B.3.2), escreva L = limyL g (y ) e seja dado > 0; temos que existe > 0 tal que: (B.3.3) para todo y B, 0 < d (y, L) < = d g (y ), L < . Como limxa f (x) = L, existe 1 > 0 tal que 0 < d(x, a) < 1 implica d f (x), L < , para todo x A, e como V e uma vizinhan ca de a, existe tamb em 2 > 0 tal que B(a, 2 ) V . Tome = min{1 , 2 } > 0. Se x A e 0 < d(x, a) < ent ao d f (x), L < ; al em do mais, como x B(a, 2 ) V e x = a, temos f (x) = L, donde podemos fazer y = f (x) em (B.3.3) obtendo d (g f )(x), L < . B.4. Seq u encias o. Uma seq B.4.1. Definic a u encia num conjunto M e uma fun c ao cujo dom nio e o conjunto N = {0, 1, 2, . . .} dos n umeros naturais e o contradom nio e M. O valor no ponto n N de uma seq u encia x e normalmente denotado por xn em vez de x(n) e a seq u encia x e normalmente denotada por (xn )n0 . Com pequeno abuso, n os tamb em chamaremos de seq u encia uma fun c ao cujo dom nio e o conjunto N = {1, 2, . . .} dos n umeros naturais n ao nulos; nesse caso, escrevemos (xn )n1 em vez de (xn )n0 . o. Sejam (M, d) um espa B.4.2. Definic a co m etrico e (xn )n0 uma seq u encia em M . Dizemos que (xn )n1 e convergente se existe a M tal que para todo > 0 existe n0 N tal que d(xn , a) < , para todo n n0 ; um tal elemento a M e chamado um limite para a seq u encia (xn )n0 . B.4.3. Proposic ao. Uma seq u encia convergente possui um u nico limite. o. Se a, a M s Demonstrac a ao ambos limites de uma seq u encia (xn )n0 num espa co m etrico M ent ao para todo > 0, existem n1 , n2 N tais que d(xn , a) < , para todo n n1 e d(xn , a ) < , para todo n n2 . Tomando n = max{n1 , n2 }, vemos que d(xn , a) < e d(xn , a ) < , donde a desigualdade triangular nos d a d(a, a ) < 2. Como > 0 e arbitr ario, conclu mos que d(a, a ) = 0 e a = a . Em vista da Proposi c ao B.4.3, um limite para (xn )n0 , quando existe, ser a chamado o limite de (xn )n0 e ser a denotado por:
n

lim xn .

Se a = limn xn diremos tamb em que (xn )n0 converge para a e escreveremos xn a ou, se houver possibilidade de confus ao: xn a.
n

ENCIAS B.4. SEQU

53

B.4.4. Exemplo. Se M e um espa co m etrico arbitr ario e a M , ent ao a seq u encia constante denida por xn = a para todo n N converge para a. o. Uma seq B.4.5. Definic a u encia (xn )n0 num espa co m etrico M e dita limitada quando o conjunto xn : n N for limitado. o. Toda seq B.4.6. Proposic a u encia convergente num espa co m etrico M e limitada. o. Se (xn )n0 converge para a ent Demonstrac a ao existe n0 N tal que xn B(a, 1), para todo n n0 . Da o conjunto xn : n n0 e limitado. Mas o conjunto xn : n < n0 e nito, donde limitado, e da tamb em o conjunto xn : n N e limitado, sendo uni ao de dois conjuntos limitados. o. Uma seq B.4.7. Definic a u encia (xn )n0 em R e dita crescente (resp., decrescente) se xn xm (resp., xn xm ), para quaisquer n, m N tais que n m. A seq u encia (xn )n0 e dita estritamente crescente (resp., estritamente decrescente) se xn < xm (resp., xn > xm ) para quaisquer n, m N tais que n < m. Uma seq u encia que e ou crescente ou decrescente e dita mon otona. B.4.8. Exemplo. Toda seq u encia mon otona limitada em R e convergente. De fato, se (xn )n0 e crescente e limitada ent ao s = sup xn : n N eo limite de (xn )n0 , pois para todo > 0 existe n0 N com xn0 > s e da temos s < xn0 xn s, para todo n n0 . Analogamente, se (xn )n0 e decrescente e limitada ent ao inf xn : n N e o limite de (xn )n0 . B.4.9. Exerc cio. Sejam (M, d) um espa co m etrico, N um subconjunto de M , (xn )n0 uma seq u encia em N e a um ponto de N . Mostre que (xn )n0 converge para a no espa co m etrico (M, d) se e somente se (xn )n0 converge para a no espa co m etrico (N, d|N N ). Conclua que se (xn )n0 e convergente em (M, d) e o limite de (xn )n0 n ao est a em N ent ao (xn )n0 n ao e convergente em (N, d|N N ). As seguintes terminologias s ao convenientes quando lidamos com seq u encias: dada uma certa propriedade P relativa a n umeros naturais, dizemos que P vale para todo n sucientemente grande se existe n0 N tal que todo n n0 satisfaz P (em outras palavras, o conjunto dos n N que n ao satisfazem P e nito). Dizemos que P vale para todo n arbitrariamente grande se para todo n0 N existe n n0 que satisfaz P (em outras palavras, o conjunto dos n N que satisfazem P e innito). Assim, por exemplo, temos que uma seq u encia (xn )n0 converge para a M se e somente se para todo > 0 a desigualdade d(xn , a) < vale para todo n sucientemente grande. B.4.10. Exerc cio. Sejam M um espa co m etrico, (xn )n0 uma seq u encia em M e a M . Mostre que s ao equivalentes: (a) limn xn = a;

ENCIAS B.4. SEQU

54

(b) para toda vizinhan ca V de a, temos xn V , para todo n sucientemente grande; (c) para todo conjunto aberto U em M com a U , temos xn U , para todo n sucientemente grande; (d) a seq u encia d(xn , a) n0 converge para 0 no espa co m etrico R (munido da m etrica Euclideana). B.4.11. Exerc cio. Sejam M um espa co m etrico, (xn )n0 , (yn )n0 seq u encias em M e a M um ponto. Se o conjunto n N : xn = yn e nito, mostre que (xn )n0 converge para a se e somente se (yn )n0 converge para a. o. Dada uma seq B.4.12. Definic a u encia x : N M num conjunto M ent ao uma subseq u encia de x e uma seq u encia da forma x , onde : N N e uma fun c ao estritamente crescrente (isto e, k < l implica (k ) < (l)). Usualmente, n os omitimos o nome da fun c ao e denot amo-la simplesmente por N k nk N; a subseq u encia x de x = (xn )n0 e ent ao denotada por (xnk )k0 (ou (xnk )k1 , se o dom nio de for N ). o. Se uma seq B.4.13. Proposic a u encia (xn )n0 num espa co m etrico M converge para a M ent ao qualquer subseq u encia (xnk )k0 converge para a. o. Dado > 0, existe m N tal que d(xn , a) < , para Demonstrac a todo n m. Como a fun c ao k nk e estritamente crescente, existe k0 tal que nk m, para todo k k0 . Da d(xnk , a) < , para todo k k0 . o. Sejam M um espa B.4.14. Definic a co m etrico e (xn )n0 uma seq u encia em M . Dizemos que a M e um valor de ader encia para (xn )n0 quando existe uma subseq u encia de (xn )n0 que converge para a. Segue da Proposi c ao B.4.13 que se uma seq u encia e convergente ent ao seu limite e o seu u nico valor de ader encia. Assim, uma seq u encia que possui dois valores de ader encia distintos n ao pode ser convergente. B.4.15. Exerccio. Sejam (M, d) um espa co m etrico, N um subconjunto de M , (xn )n0 uma seq u encia em N e a N um ponto. Mostre que a e valor de ader encia de (xn )n0 no espa co m etrico (M, d) se e somente se a e valor de ader encia de (xn )n0 no espa co m etrico (N, d|N N ). B.4.16. Exerc cio. Considere a seq u encia (xn )n0 em R denida por xn = 0, se n e par, e xn = n, se n e mpar. Mostre que 0 eou nico valor de ader encia de (xn )n0 , mas que (xn )n0 n ao e convergente. o. Sejam M um espa B.4.17. Proposic a co m etrico e (xn )n0 uma seq u encia em M . Temos que a M e um valor de ader encia para (xn )n0 se e somente se para todo aberto U contendo a temos que xn U para todo n arbitrariamente grande, isto e, se e somente se para todo aberto U contendo a o conjunto: (B.4.1) e innito. n N : xn U

ENCIAS B.4. SEQU

55

o. Suponha que a Demonstrac a e um valor de ader encia para (xn )n0 u encia de (xn )n0 que converge para a. Dado e seja (xnk )k0 uma subseq um conjunto aberto U contendo a, temos que existe k0 N tal que xnk U , para todo k k0 ; dai o conjunto (B.4.1) cont em nk : k k0 e e portanto innito. Reciprocamente, suponha que para todo aberto U contendo a o conjunto (B.4.1) e innito. Vamos construir recursivamente uma fun c ao estritamente crescente k nk de modo que (xnk )k1 convirja para a. Em primeiro lugar4, seja n1 N tal que xn1 pertence ao aberto B(a, 1). Assumindo nk denido, seja nk+1 N tal que nk+1 > nk e xnk+1 pertence ao 1 aberto B a, k+1 ; note que tal nk+1 existe j a que o conjunto:
1 n N : xn B a, k+1

e innito. Obtemos ent ao uma subseq u encia (xnk )k1 de (xn )n0 tal que 1 d(xnk , a) < k , para todo k 1, donde segue que limk xnk = a. V arios dos conceitos estudados nas se c oes anteriores podem ser caracterizados usando a no c ao de limite de seq u encia, como veremos a seguir. o. Sejam M um espa B.4.18. Proposic a co m etrico e A um subconjunto de M . Temos que um ponto a M e interior a A se e somente se para toda seq u encia (xn )n0 em M tal que xn a temos xn M , para todo n sucientemente grande. Em particular, A e aberto se e somente se para toda seq u encia convergente (xn )n0 em M com limn xn A temos xn A, para todo n sucientemente grande. o. Se a int(A) e xn a ent Demonstrac a ao A e uma vizinhan ca de a e portanto xn A, para todo n sucientemente grande (Exerc cio B.4.10). Reciprocamente, suponha que para toda seq u encia (xn )n0 com xn a vale que xn A, para todo n sucientemente grande. Se a n ao fosse um ponto interior a A, ent ao para todo n umero natural n 1 n ao seria o caso 1 1 A e portanto existiria xn B a, n tal que xn A. Da que B a, n 1 d(xn , a) < n 0 e portanto (xn )n1 converge para a. Mas n ao existe nenhum n com xn A, contradizendo nossas hip oteses. rio. Sejam M um espa B.4.19. Corola co m etrico e A um subconjunto de M . Temos que a M e um ponto aderente a A (isto e, a A) se e somente se existe uma seq u encia (xn )n0 em A tal que xn a. Em particular, A e fechado se e somente se para todo seq u encia (xn )n0 em A que seja convergente em M temos limn xn A. o. Se xn A para todo n e xn a ent Demonstrac a ao n ao pode ser o caso que a pertence ao interior de M \ A, pois caso contr ario ter amos que xn M \ A, para todo n sucientemente grande. Logo a pertence a M \int(M \A), que e igual ao fecho de A (Exerc cio B.1.13). Reciprocamente,
4Se fazemos mesmo quest ao que as seq u encias estejam indexadas em N = {0, 1, 2, . . .} podemos obviamente colocar um valor qualquer para n0 , digamos n0 = 0, e depois tomar o cuidado de escolher n1 > n0 .

ENCIAS B.4. SEQU

56

se a e aderente a A ent ao a n ao pertence ao interior de M \ A e portanto existe uma seq u encia (xn )n0 em M com xn a e tal que n ao e o caso que xn M \ A para todo n sucientemente grande; em outras palavras, xn A para todo n arbitrariamente grande. Existe ent ao uma subseq u encia (xnk )k0 de (xn )n0 (que converge para a e) tal que xnk A, para todo k. rio. Sejam M um espa B.4.20. Corola co m etrico e A um subconjunto de M . Temos que a M e um ponto de acumula c ao de A se e somente se existe uma seq u encia (xn )n0 em A \ {a} tal que xn a. o. Segue do Corol Demonstrac a ario B.4.19 e do resultado do item (a) do Exerc cio B.3.2. o. Sejam (M, d), (N, d ) espa B.4.21. Proposic a cos m etricos, A um subconjunto de M , f : A N uma fun c ao e a M um ponto de acumula c ao de A. Dado L N ent ao s ao equivalentes: (a) limxa f (x) = L; (b) para toda seq u encia (xn )n0 em A \ {a} com xn a vale que f (xn ) L. o. Assuma (a) e seja (xn )n0 uma seq Demonstrac a u encia em A \ {a} que converge para a. Dado > 0, como limxa f (x) = L, existe > 0 tal que 0 < d(x, a) < implica d f (x), L < , para todo x A. Como xn a, existe n0 N tal que d(xn , a) < , para todo n n0 . Como xn = a para todo n, temos 0 < d(xn , a) < , para todo n n0 e portanto: d f (xn ), L < . Agora assuma (b). Se n ao fosse o caso que (a), existiria > 0 tal que para todo > 0 existe x A com 0 < d(x, a) < e d f (x), L . Para 1 cada n 1, seja xn A com 0 < d(xn , a) < n e d f (xn ), L . Da (xn )n1 e uma seq u encia em A \ {a}, xn a e n ao e o caso que f (xn ) L, contradizendo (b). o. Dados espa B.4.22. Proposic a cos m etricos (M, d), (N, d ), uma func ao f : M N e a M , s ao equivalentes: (a) f e cont nua no ponto a; (b) para qualquer seq u encia (xn )n0 em M com xn a vale que f (xn ) f (a). o. Assuma (a) e seja (xn )n0 uma seq Demonstrac a u encia em M que converge para a. Dado > 0, existe > 0 tal que d(x, a) < implica d f (x), f (a) < , para todo x M . Como xn a, existe n0 N tal que d(xn , a) < , para todo n n0 . Da d f (xn ), f (a) < , para todo n n0 . Agora assuma (b). Se n ao fosse o caso que (a), existiria > 0 tal que para todo > 0 existe x M com d(x, a) < e d f (x), L . 1 e d f (xn ), L . Da Para cada n 1, seja xn M com d(xn , a) < n

B.5. TOPOLOGIA E EQUIVALENCIA ENTRE METRICAS

57

(xn )n1 e uma seq u encia em M , xn a e n ao e o caso que f (xn ) f (a), contradizendo (b). B.5. Topologia e equival encia entre m etricas o. A topologia de um espa B.5.1. Definic a co m etrico (M, d) e o conjunto (M, d) de todos os subconjuntos abertos de M : (M, d) = U (M ) : para todo x U , existe r > 0 com B(x, r) U , onde (M ) denota o conjunto de todas as partes de M . Embora a m etrica d n ao apare ca explicitamente na deni c ao de (M, d) acima, e evidente que (M, d) pode depender (e normalmente depende) de d, j a que o uso da nota c ao de bola aberta B(x, r) faz uma refer encia impl cita a m ` etrica d. No entanto, por simplicidade, escreveremos ` as vezes apenas (M ) quando d estiver subentendida pelo contexto e n ao houver risco de confus ao. V arios dos conceitos estudados at e agora neste ap endice podem ser denidos fazendo refer encia apenas ` a topologia dos espa cos m etricos envolvidos, sem que seja feita refer encia direta ` as m etricas. Um conceito que pode ser descrito fazendo refer encia apenas ` as topologias, sem men c ao direta5 ` as m etricas e chamado um conceito topol ogico. Por exemplo, a Proposi c ao B.2.7 nos diz que o conceito de fun c ao cont nua e topol ogico: uma fun c ao f : M N e cont nua se e somente se f 1 (U ) (M ), para todo U (N ). Mais geralmente, o resultado do Exerc cio B.2.3 nos garante que tamb em o conceito de continuidade num ponto e topol ogico: f : M N e cont nua num ponto x M se e somente se para todo V (N ) com f (x) V existe U (M ) com x U e f (U ) V . Todos os conceitos introduzidos na Deni c ao B.1.7 s ao topol ogicos (veja Exerc cio B.1.30). Os conceitos de conjunto aberto e fechado s ao (trivialmente) topol ogicos. Tamb em s ao topol ogicos os conceitos de conjunto denso, de vizinhan ca de um ponto, de homeomorsmo, de ponto de acumula c ao (Exerc cio B.3.4), de ponto isolado, de espa co discreto, de limite de fun c ao (Exerc cio B.3.21) e de limite de seq u encia (Exerc cio B.4.10). Veremos que os conceitos de fun c ao uniformemente cont nua e de conjunto limitado n ao s ao topol ogicos (veja Observa c ao B.5.6 e Exemplo B.5.13 abaixo). o. Duas m B.5.2. Definic a etricas d1 , d2 num conjunto M s ao ditas equivalentes (ou topologicamente equivalentes) se (M, d1 ) = (M, d2 ), isto e, se os espa cos m etricos (M, d1 ) e (M, d2 ) possuem os mesmos conjuntos abertos. Temos ent ao que os conceitos topol ogicos s ao aqueles que permanecem invariantes quando trocamos uma m etrica por outra equivalente. Por exemplo, se f : M N e uma fun c ao cont nua quando M , N s ao munidos
5Evidentemente, uma refer encia ` a topologia e uma refer encia indireta ` a m etrica, j a

que a topologia depende da m etrica.

B.5. TOPOLOGIA E EQUIVALENCIA ENTRE METRICAS

58

respectivamente de m etricas d, d ent ao f ainda ser a cont nua se trocarmos d e d respectivamente por m etricas equivalentes d1 e d1 . o. Duas m B.5.3. Proposic a etricas d1 , d2 num conjunto M s ao equivalentes se e somente se a aplica c ao identidade de (M, d1 ) para (M, d2 ) e um homeomorsmo. o. Segue diretamente da Proposi Demonstrac a c ao B.2.9. o. Duas m B.5.4. Definic a etricas d1 , d2 num conjunto M s ao ditas uniformemente equivalentes se a aplica c ao identidade de (M, d1 ) para (M, d2 ) e um homeomorsmo uniforme (Deni c ao B.2.11). As m etricas d1 , d2 s ao ditas Lipschitz-equivalentes se a aplica c ao identidade de (M, d1 ) para (M, d2 ) e a aplica c ao identidade de (M, d2 ) para (M, d1 ) s ao Lipschitzianas. Como toda aplica c ao Lipschitziana e uniformemente cont nua, temos que m etricas Lipschitz-equivalentes s ao uniformemente equivalentes e como toda aplica c ao uniformemente cont nua e cont nua, temos que duas m etricas uniformemente equivalentes s ao equivalentes. B.5.5. Exerc cio. Mostre que se d e d s ao m etricas Lipschitz-equivalentes em M ent ao (M, d) e limitado se e somente se (M, d ) e limitado (sugest ao: use a Proposi c ao B.1.50). o. No Exerc B.5.6. Observac a cio B.4 pedimos ao leitor para demonstrar que toda m etrica e uniformemente equivalente a uma m etrica limitada. Vemos ent ao que n ao se pode trocar Lipschitz-equivalentes por uniformemente equivalentes no enunciado do Exerc cio B.5.5 (e, em particular, vemos que Lipschitz-equivalente n ao e o mesmo que uniformemente equivalente). Vemos tamb em que o conceito de espa co m etrico limitado n ao e topol ogico: podemos ter duas m etricas equivalentes (e at e uniformemente equivalentes), sendo uma limitada e a outra n ao. B.5.7. Exerc cio. Sejam d1 , d2 m etricas num conjunto M . Mostre que: (a) d1 e d2 s ao uniformemente equivalentes se e somente se para todo > 0 existe > 0 tal que, para todos x, y M , d1 (x, y ) < implica d2 (x, y ) < e d2 (x, y ) < implica d1 (x, y ) < ; (b) d1 e d2 s ao Lipschitz-equivalentes se e somente se existem n umeros reais k, k > 0 tais que: (B.5.1) k d1 (x, y ) d2 (x, y ) k d1 (x, y ), para todos x, y M .

B.5.8. Exerc cio. Mostre que, dado um conjunto M , as rela c oes ser equivalente a, ser uniformemente equivalente a e ser Lipschitz-equivalente a s ao rela c oes de equival encia (isto e, s ao rela c oes reexivas, sim etricas e transitivas) no conjunto de todas as m etricas em M (sugest ao: use os resultados dos Exerc cios B.2.10, B.2.12 e B.1.48). B.5.9. Exerc cio. Sejam (M, d), (N, d ) espa cos m etricos e d1 , d1 m etricas uniformemente equivalentes a d e a d , respectivamente. Dada uma fun c ao f : M N , mostre que f : (M, d) (N, d ) e uniformemente

B.5. TOPOLOGIA E EQUIVALENCIA ENTRE METRICAS

59

cont nua se e somente se a aplica c ao f : (M, d1 ) (N, d1 ) e uniformemente cont nua (sugest ao: use o resultado do Exerc cio B.2.12). B.5.10. Exerc cio. Sejam (M, d), (N, d ) espa cos m etricos e d1 , d1 m etricas Lipschitz-equivalentes a d e a d , respectivamente. Dada uma fun c ao f : M N , mostre que f : (M, d) (N, d ) e Lipschitziana se e somente se a aplica c ao f : (M, d1 ) (N, d1 ) e Lipschitziana (sugest ao: use o resultado do Exerc cio B.1.48). B.5.11. Exemplo. As m etricas d, d1 e d em Rn denidas no Exemplo B.1.2 s ao duas a duas Lipschitz-equivalentes. De fato, e f acil ver que: d (x, y ) d1 (x, y ) n d (x, y ), d (x, y ) d(x, y ) n d (x, y ), para todos x, y Rn , donde d e Lipschitz-equivalente a d1 e a d. Por transitividade, vemos que d e Lipschitz-equivalente a d1 . o. Sejam (M, d), (N, d ) espa B.5.12. Proposic a cos m etricos e seja dada uma fun c ao bijetora f : M N ; denote por df a m etrica em M induzida por f e por d (veja Exerc cio B.1.55). Temos que: (a) df e equivalente a d se e somente se a aplica c ao f : (M, d) (N, d ) e um homeomorsmo; (b) df e uniformemente equivalente a d se e somente se a aplica c ao f : (M, d) (N, d ) e um homeomorsmo uniforme; (c) df e Lipschitz equivalente e d se e somente se ambas as aplica c oes f : (M, d) (N, d ), f 1 : (N, d ) (M, d) s ao Lipschitzianas. o. Note que a aplica Demonstrac a c ao f : (M, d) (N, d ) e igual ` a composi c ao da aplica c ao identidade Id : (M, d) (M, df ) com a isometria f : (M, df ) (N, d ); em outras, palavras o diagrama: (M, d)
Id

/ (N, d ) t9 tt t t tt tt f (isometria)

(M, df ) e comutativo. J a que uma isometria e Lipschitziana (e portanto uniformemente cont nua e cont nua), segue facilmente que f : (M, d) (N, d ) tem as mesmas propriedades (continuidade, continuidade uniforme ou exist encia de constante de Lipschitz) que a aplica c ao identidade Id : (M, d) (M, df ). Uma observa c ao completamente an aloga vale para f 1 : (N, d ) (M, d) e Id1 : (M, df ) (M, d). B.5.13. Exemplo. Seja M = [0, +[ e denote por d a restri c ao a M da m etrica Euclideana de R. A fun c ao f : M x x2 M e um homeomorsmo de (M, d) em (M, d) e portanto, pela Proposi c ao B.5.12, a m etrica df : M M (x, y ) |x2 y 2 | e equivalente a d. Temos ent ao que a fun c ao f : (M, df ) (M, d) e uniformemente cont nua (pois e uma isometria), mas a fun c ao f : (M, d) (M, d) n ao e (veja Exemplo B.2.15). Em particular, continuidade uniforme n ao e um conceito topol ogico.

B.6. METRICAS NO PRODUTO CARTESIANO

60

B.6. M etricas no produto cartesiano Dados espa cos m etricos (M1 , d1 ), . . . , (Mn , dn ), h a muitas maneiras naturais de se denir uma m etrica no produto cartesiano M = n es i=1 Mi . Tr delas s ao:
n

(B.6.1) (B.6.2) (B.6.3)

D1 : M M D2 : M M D : M M

(x, y )
i=1

di (xi , yi ) R,
n

(x, y )
i=1

di (xi , yi )2

1 2

R,

(x, y ) max di (xi , yi ) : i = 1, . . . , n R.

Deixamos a cargo do leitor a verica c ao do fato que D1 , D2 e D s ao mesmo m etricas (veja Exerc cio B.5). As m etricas D1 , D2 e D s ao chamadas respectivamente a m etrica produto tipo 1, a m etrica produto tipo 2 e a m etrica produto tipo associadas ` as m etricas di , i = 1, . . . , n. As desigualdades (compare com o Exemplo B.5.11): (B.6.4) D (x, y ) D1 (x, y ) n D (x, y ), D (x, y ) D2 (x, y ) n D (x, y ),

v alidas para todos x, y M , mostram que as m etricas D1 , D2 e D s ao duas a duas Lipschitz-equivalentes. B.6.1. Exemplo. Se para todo i = 1, . . . , n, o espa co m etrico Mi eR n n etricas D1 , e di e a m etrica Euclideana ent ao M = i=1 Mi = R e as m D2 , D coincidem respectivamente com as m etricas d1 , d e d denidas no Exemplo B.1.2. B.6.2. Exerc cio. Sejam (M1 , d1 ), . . . , (Mn , dn ) espa cos m etricos e seja D : M M R a m etrica produto do tipo 1 associada ` as m etricas di , M . Para cada i = 1 , . . . , n , seja Ni um i = 1, . . . , n, onde M = n i i=1 n e a m etrica subconjunto de Mi e seja N = i=1 Ni . Mostre que D|N N produto do tipo 1 associada ` as m etricas di |Ni Ni , i = 1, . . . , n. Repita o exerc cio substituindo todas as ocorr encias de m etrica produto tipo 1 por m etrica produto tipo 2 e tamb em por m etrica produto tipo . B.6.3. Exerc cio. Sejam (Mij , dij ), j = 1, . . . , ni , i = 1, . . . , k , espa cos i M , i = 1 , . . . , k ; seja d a m e trica produto m etricos e dena Mi = n ij i j =1 tipo 1 em Mi associada ` as m etricas dij , j = 1, . . . , ni , e seja d a m etrica produto tipo 1 em M = k M associada a ` s m e tricas d , i = 1 , . . . , k . Se: i i i=1 M =
1ik 1j ni

Mij

e munido da m etrica produto tipo 1 associada ` as m etricas dij , j = 1, . . . , ni , i = 1, . . . , k , mostre que a aplica c ao: (x11 , . . . , x1n1 ), . . . (xk1 , . . . , xknk ) (x11 , . . . , x1n1 , . . . , xk1 , . . . , xknk )

B.6. METRICAS NO PRODUTO CARTESIANO

61

e uma isometria de M sobre M . Repita o exerc cio substituindo todas as ocorr encias de m etrica produto tipo 1 por m etrica produto tipo 2 e tamb em por m etrica produto tipo . B.6.4. Exerc cio. Sejam (Mi , di ), i = 1, . . . , n, espa cos m etricos e seja M= n M munido de uma das m e tricas produto associadas as m ` etricas i i=1 di , i = 1, . . . , n. Mostre que as proje c oes i : M Mi s ao Lipschitzianas com constante de Lipschitz igual a 1. Conclua que as proje c oes i s ao uniformemente cont nuas. B.6.5. Exemplo. Seja (M, d) um espa co m etrico arbitr ario e seja D a m etrica produto tipo 1 em M M , isto e: D : (M M ) (M M ) (x, y ), (x , y ) d(x, x ) + d(y, y ). Armamos que a fun c ao d : M M R e Lipschitziana com constante de Lipschitz igual a 1; em particular, d e uniformemente cont nua. De fato, dados x, y, x , y M , temos: d(x, y ) d(x, x ) + d(x , y ) + d(y , y ), donde: d(x, y ) d(x , y ) d(x, x ) + d(y , y ) = D (x, y ), (x , y ) . Trocando os pap eis de (x, y ) e (x , y ) obtemos: d(x , y ) d(x, y ) D (x, y ), (x , y ) , donde: d(x, y ) d(x , y ) D (x, y ), (x , y ) . o. Sejam (M1 , d1 ), . . . , (Mn , dn ) espa B.6.6. Proposic a cos m etricos e suponha M = n M munido de uma das m e tricas produto D associadas i i=1 as m ` etricas di , i = 1, . . . , n. Temos que: e (a) se Ai e aberto em Mi para todo i = 1, . . . , n, ent ao A = n i=1 Ai aberto em M ; (b) se Fi e fechado em Mi para todo i = 1, . . . , n, ent ao F = n i=1 Fi e fechado em M ; (c) se U e aberto em M ent ao para todo x U podemos encontrar conjuntos abertos Ai Mi , i = 1, . . . , n, tais que x n i=1 Ai U . o. Os itens (a) e (b) seguem da continuidade das proDemonstrac a 1 je c oes i : M Mi (Exerc cio B.6.4), das igualdades A = n i=1 i (Ai ), n 1 F = i=1 i (Fi ) e da Proposi c ao B.2.7. Passemos ` a prova do item (c); como as m etricas produto s ao todas equivalentes, podemos supor sem perda de generalidade que D e a m etrica produto tipo . Dado x U , como U e aberto em M , existe r > 0 tal que B(x, r) U . Mas e f acil ver que:
n

B(x, r) =
i=1

B(xi , r),

donde basta tomar Ai = B(xi , r), i = 1, . . . , n.

B.7. CONEXIDADE

62

A proposi c ao a seguir resume todas as propriedades importantes das m etricas produto. o. Sejam (M, d), (N1 , d1 ), . . . , (Nk , dk ), espa B.6.7. Proposic a cos m ek tricos; suponha N = i=1 Ni munido de algumas das m etricas produto D associadas ` as m etricas di , i = 1, . . . , k , e denote por i : N Ni a i- esima proje c ao. Temos que: (a) uma fun c ao f : M N e cont nua num ponto x M se e somente se i f e cont nua no ponto x para todo i = 1, . . . , k ; (b) uma fun c ao f : M N e uniformemente cont nua se e somente se i f e uniformemente cont nua para todo i = 1, . . . , k ; (c) uma fun c ao f : M N e Lipschitziana se e somente se i f e Lipschitziana para todo i = 1, . . . , k ; (d) dados um subconjunto A de M , um ponto de acumula c ao a M de A, uma fun c ao f : A N e um ponto L N ent ao L e o limite de f no ponto a se e somente se i (L) e o limite de i f no ponto a para todo i = 1, . . . , k ; (e) se (xn )n0 e uma seq u encia em N e se a N ent ao (xn )n0 converge para a se e somente se i (xn ) n0 converge para i (a) para todo i = 1, . . . , k . o. Como todas as m Demonstrac a etricas produto s ao Lipschitz-equivalentes, podemos supor sem perda de generalidade que D e a m etrica produto tipo . Nesse caso, para todos p, q N e para todo > 0 temos: D(p, q ) < para todo i = 1, . . . , k , di i (p), i (q ) < . Os itens (a), (b), (d) e (e) seguem quase que diretamente de inst ancias adequadas da equival encia acima: usamos p = f (x), q = f (y ) na demonstra c ao dos itens (a) e (b), p = L, q = f (x) na demonstra c ao do item (d) e p = xn , q = a na demonstra c ao do item (e). Passemos ent ao ` a demonstra c ao do item (c): se f e Lipschitziana ent ao cada i f e Lipschitziana, j a que i e Lipschitziana. Reciprocamente, se cada i f e Lipschitziana, podemos escolher uma constante de Lipschitz comum c 0 para todas as fun c oes i f (tome o m aximo de constantes de Lipschitz para cada uma das fun c oes) e da : D f (x), f (y ) = max di (i f )(x), (i f )(y ) c d(x, y ),
i=1,...,n

para todos x, y M , donde c e uma constante de Lipschitz para f . B.7. Conexidade o. Uma cis B.7.1. Definic a ao de um espa co m etrico (M, d) e um par (A, B ) de subconjuntos abertos e disjuntos de M tais que M = A B . Uma cis ao (A, B ) e dita trivial se A = ou B = . O espa co m etrico (M, d) e dito conexo se admite apenas a cis ao trivial. Um espa co m etrico que n ao e conexo e dito desconexo. Um subconjunto X de um espa co m etrico (M, d)

B.7. CONEXIDADE

63

e dito conexo (resp., desconexo) se o espa co m etrico (X, d|X X ) e conexo (resp., desconexo). Evidentemente, cis ao e conexidade s ao conceitos topol ogicos. B.7.2. Exerccio. Seja M um espa co m etrico. Mostre que (A, B ) e uma cis ao de M se e somente se M = A B , A B = e A, B s ao fechados. B.7.3. Exerc cio. Mostre que um espa co m etrico M e conexo se e somente se os u nicos subconjuntos de M que s ao ao mesmo tempo abertos e fechados s ao o conjunto vazio e M . o. Sejam M , N espa B.7.4. Proposic a cos m etricos. Se existe uma fun c ao cont nua sobrejetora f : M N e M e conexo ent ao N tamb em e conexo. o. Se (A, B ) Demonstrac a e uma cis ao de N ent ao f 1 (A), f 1 (B ) e uma cis ao de M , donde f 1 (A) = ou f 1 (B ) = ; como f e sobrejetora, segue que A = ou B = . rio. Sejam M , N espa B.7.5. Corola cos m etricos e f : M N uma fun c ao cont nua. Se X e um subconjunto conexo de M ent ao f (X ) e um subconjunto conexo de N . o. Basta observar que f |X : X f (X ) Demonstrac a e uma fun c ao cont nua e sobrejetora. o. Sejam M um espa B.7.6. Proposic a co m etrico e X um subconjunto denso de M . Se X e conexo ent ao M e conexo. o. Se (A, B ) Demonstrac a e uma cis ao de M ent ao (A X, B X ) e uma cis ao de X , donde A X = ou B X = . Como X e denso, segue que A = ou B = . rio. Sejam M um espa B.7.7. Corola co m etrico, X um subconjunto conexo de M e Y um subconjunto de M . Se X Y X ent ao Y e conexo. o. Basta ver que X Demonstrac a e denso no espa co m etrico Y . o. Seja M um espa B.7.8. Proposic a co m etrico e (Xi )iI uma fam lia de subconjuntos conexos de M . Se a interse c ao iI Xi e n ao vazia ent ao a uni ao iI Xi e conexa. o. Escreva X = iI Xi e seja (A, B ) um cis Demonstrac a ao de X . Escolha qualquer p iI Xi . Como X = A B , temos p A ou p B ; para xar as id eias, digamos que p A. Para todo i I , temos que (A Xi , B Xi ) e uma cis ao de Xi , donde B Xi = (note que A Xi n ao pode ser vazio, pois p A Xi ). Da B = iI (B Xi ) = . o. Dado um subconjunto I de R, as seguintes conB.7.9. Proposic a di c oes s ao equivalentes: (a) I e conexo; (b) para todos a, b I , c R, se a < c < b ent ao c I .

B.7. CONEXIDADE

64

o. Suponha que I Demonstrac a e conexo e sejam a, b, c R tais que a < c < b e a, b I . Se fosse c I , ter amos que ], c[ I, ]c, +[ I seria uma cis ao n ao trivial de I , o que n ao e poss vel; da c I . Suponha agora que a condi c ao (b) vale e suponha por absurdo que I seja desconexo. Seja (A, B ) uma cis ao n ao trivial de I e sejam a A, b B . Temos a < b ou b < a; para xar as id eias, vamos assumir que a < b. Considere o conjunto: S = x [a, +[ : [a, x] A . Temos que a S e S e limitado superiormente por b, donde S possui um supremo c R; de a c b e da condi c ao (b) vemos que c I . Como SAec e aderente a S , temos que c e aderente a A e, como A e fechado em I , temos que c A. Vemos ent ao que c < b, j a que b B . Mas como A e aberto em I , existe > 0 com [c , c + ] I A; podemos escolher esse de modo que c + b. Da a c < c + b e a condi c ao (b) implica que [c, c + ] I ; logo [c, c + ] [c , c + ] I A. Mas e f acil ver que [a, c[ A, donde [a, c + ] A e c + S , contradizendo o fato que c eo supremo de S . rio. R B.7.10. Corola e conexo. B.7.11. Exerc cio. Dizemos que um subconjunto I de R e um intervalo se satisfaz pelo menos uma das condi c oes abaixo: I = ou I = {a}, com a R; I = [a, b] ou I = ]a, b] ou I = [a, b[ ou I = ]a, b[, com a, b R, a < b; I = ], a] ou I = ], a[ ou I = [a, +[ ou I = ]a, +[, com a R; I = ], +[ = R. Mostre que um subconjunto de R e conexo se e somente se e um intervalo (sugest ao: mostre que um subconjunto I de R e um intervalo se e somente se satisfaz a condi c ao (b) no enunciado da Proposi c ao B.7.9; para isso, considere o nmo e o supremo de I ). o. Se M , N s B.7.12. Proposic a ao espa cos m etricos conexos e se M N e munido de uma das m etricas produto ent ao M N e conexo. Reciprocamente, se M e N s ao n ao vazios e M N e conexo ent ao M e N s ao conexos. o. Se M e N s Demonstrac a ao n ao vazios e M N e conexo ent ao a conexidade de M e de N segue da Proposi c ao B.7.4 observando que as proje c oes do produto M N s ao cont nuas e sobrejetoras. Suponha agora que M e N s ao conexos e mostremos que M N e conexo. Se M ou N e vazio ent ao M N e vazio e portanto conexo; suponha que M e N s ao n ao vazios. Dados x M , y N , denote por ix : N M N , jy : M M N as aplica c oes denidas por ix (q ) = (x, q ), jy (p) = (p, y ), para todos p M , q N . Segue da Proposi c ao B.6.7 que as aplica c oes ix e jy s ao cont nuas e portanto o Corol ario B.7.5 nos d a que ix (N ) e jy (M ) s ao

B.7. CONEXIDADE

65

subconjuntos conexos de M N . Como (x, y ) ix (N ) jy (M ) vemos que a uni ao Cxy = ix (N ) jy (M ) e conexa (Proposi c ao B.7.8). Mas: M N =
y N

jy (M )
y N

Cxy M N,

donde M N =

y N

Cxy ; mas: = ix (N )
y N

Cxy ,

donde a Proposi c ao B.7.8 nos d a que M N e conexo. rio. Se M1 , . . . , Mn s B.7.13. Corola ao espa cos m etricos conexos e n M = i=1 Mi e munido de uma das m etricas produto ent ao M e conexo. Reciprocamente, se M e conexo e cada Mi e n ao vazio ent ao cada Mi e conexo. o. Segue facilmente da Proposi Demonstrac a c ao B.7.12 por indu c ao em n. rio. Rn B.7.14. Corola e conexo. o. Segue dos Corol Demonstrac a ario B.7.10 e B.7.13. o. Um espa B.7.15. Definic a co m etrico (M, d) e dito conexo por caminhos (ou conexo por arcos) se para todos x, y M existe uma fun c ao cont nua : [0, 1] M tal que (0) = x e (1) = y . Um subconjunto X de M e dito conexo por caminhos se o espa co m etrico (X, d|X X ) for conexo por caminhos. Evidentemente, conexidade por caminhos e um conceito topol ogico. Note que um subconjunto X de M e conexo por caminhos se e somente se para todos x, y X existe uma fun c ao cont nua : [0, 1] M tal que (0) = x, (1) = y e [0, 1] X . o. Todo espa B.7.16. Proposic a co m etrico conexo por caminhos e conexo. o. Seja M um espa Demonstrac a co m etrico conexo por caminhos. Se M e vazio, ent ao M e conexo. Se M e n ao vazio, xe x M e denote por C o conjunto de todas as fun c oes cont nuas : [0, 1] M tais que (0) = x. A hip otese de que M e conexo por caminhos implica que: M=
C

[0, 1] .

Como cada e cont nua e [0, 1] e conexo (Proposi c ao B.7.9), segue que [0, 1] e conexo, para todo C (Corol ario B.7.5). Mas como: x
C

[0, 1] ,

segue da Proposi c ao B.7.8 que M e conexo.

B.8. COMPLETUDE

66

B.8. Completude o. Uma seq B.8.1. Definic a u encia (xn )n0 num espa co m etrico M e dita de Cauchy se para todo > 0 existe n0 N tal que d(xn , xm ) < , para todos n, m N com n, m n0 . B.8.2. Exerc cio. Mostre que uma seq u encia (xn )n0 num espa co m etrico M e de Cauchy se e somente se para todo > 0 existe n0 N tal que o conjunto: xn : n n0 tem di ametro menor do que . Conclua que toda seq u encia de Cauchy e limitada. B.8.3. Exerc cio. Sejam (M, d) um espa co m etrico e N um subconjunto de M . Uma seq u encia (xn )n0 em N e de Cauchy no espa co m etrico (N, d|N N ) se e somente se ela e de Cauchy em (M, d). o. Toda seq B.8.4. Proposic a u encia convergente e de Cauchy. o. Sejam M um espa Demonstrac a co m etrico e (xn )n0 uma seq u encia em M que converge para a M . Para todo > 0, existe n0 N tal que d(xn , a) < 2 , para todo n n0 . Da , se n, m n0 temos d(xn , a) < 2 e d(xm , a) < 2 , donde a desigualdade triangular nos d a d(xn , xm ) < . B.8.5. Exerc cio. Mostre que uma subseq u encia de uma seq u encia de Cauchy e ainda uma seq u encia de Cauchy. o. Sejam M um espa B.8.6. Proposic a co m etrico e (xn )n0 uma seq u encia de Cauchy em M . Se (xn )n0 possui uma subseq u encia (xnk )k0 que converge para um certo a M ent ao (xn )n0 converge para a.
o. Seja dado > 0 e seja m0 N tal que d(xn , xm ) < 2 , Demonstrac a para todos n, m N com n, m m0 . Fixe n m0 e vamos mostrar que , para todo d(xn , a) < . Como xnk a, existe k0 tal que d(xnk , a) < 2 k k0 . Tome k k0 tal que nk m0 . Temos ent ao que d(xnk , a) < 2 e que d(xnk , xn ) < 2 , donde a desigualdade triangular nos d a d(xn , a) < .

o. Sejam dados espa B.8.7. Proposic a cos m etricos (M, d), (N, d ). Se f : M N e uma fun c ao uniformemente cont nua e se (xn )n0 e uma seq u encia de Cauchy em M ent ao f (xn ) n0 e uma seq u encia de Cauchy em N . o. Dado > 0, existe > 0 tal que d(p, q ) < implica Demonstrac a d f (p), f (q ) < , para todos p, q M ; existe tamb em n0 N tal que d(xn , xm ) < , para todos n, m n0 . Da d f (xn ), f (xm ) < , para todos n, m n0 . rio. Se d, d s B.8.8. Corola ao m etricas uniformemente equivalentes em M ent ao uma seq u encia (xn )n0 em M e de Cauchy em (M, d) se e somente se for de Cauchy em (M, d ).

B.8. COMPLETUDE

67

B.8.9. Exerc cio. Seja M = ]0, +[ munido da restri c ao da m etrica 1 Euclideana. Mostre que a fun c ao f : M M denida por f (x) = x , para 1 , n = 1, 2, . . ., e de Cauchy todo x M e cont nua, que a seq u encia xn = n em M mas que a seq u encia f (xn ) n1 n ao e de Cauchy em M . B.8.10. Exerc cio. Sejam (M1 , d1 ), . . . , (Mn , dn ) espa cos m etricos e n a munido de uma das m etricas produto. Mosassuma que M = i=1 Mi est tre que uma seq u encia (xk )k0 em M e de Cauchy se e somente se para todo i = 1, . . . , n, a seq u encia i (xk ) k0 e de Cauchy em Mi , onde i : M Mi denota a i- esima proje c ao. B.8.11. Definic ao. Um espa co m etrico (M, d) e dito completo se toda seq u encia de Cauchy em M e convergente. Um subconjunto N de M e dito completo se o espa co m etrico (N, d|N N ) e completo. o. Sejam M um espa B.8.12. Proposic a co m etrico e N um subconjunto de M . Se N e completo ent ao N e um subconjunto fechado de M . Reciprocamente, se M e completo e N e fechado em M ent ao N e completo. o. Suponha que N seja completo. Para ver que N Demonstrac a e fechado em M , usaremos o Corol ario B.4.19. Seja (xn )n0 uma seq u encia em N que converge em M para a M ; ent ao (xn )n0 e de Cauchy em M e portanto tamb em e de Cauchy em N . Como N e completo, (xn )n0 converge em N para um certo a N . Mas isso implica que (xn )n0 converge em M para a , donde a = a e a N . Vemos ent ao que N e fechado. Suponha agora que N e fechado e que M seja completo. Seja (xn )n0 uma seq u encia de Cauchy em N ; temos que (xn )n0 e de Cauchy em M e portanto converge em M para um certo a M . Como N e fechado, temos que a N e portanto (xn )n0 e convergente em N . Isso completa a demonstra c ao de que N e completo. o. R B.8.13. Proposic a e completo. o. Seja (xn )n0 uma seq Demonstrac a u encia de Cauchy em R. Como toda seq u encia de Cauchy e limitada, existe c 0 tal que |xn | c, para todo n N. Para cada k N, seja: yk = inf xn : n k ; temos que esse nmo realmente existe e |yk | c, para todo k N. Logo existe tamb em o supremo: z = sup yk : k N . Note que a seq u encia (yk )k0 e crescente. Vamos mostrar que (xn )n0 converge para z . Seja dado > 0 e seja n0 N tal que: d(xn , xm ) = |xn xm | < , para todos n, m N com n, m n0 . Fixe k n0 . Temos xn > xk , para todo n k e portanto: z yk = inf xn : n k xk .

B.8. COMPLETUDE

68

Por outro lado, para todo n n0 , temos yn xn < xk + e portanto: z = sup yn : n N = sup yn : n n0 xk + . Logo d(xk , z ) = |xk z | , para todo k n0 . o. Sejam dados espa B.8.14. Proposic a cos m etricos (M, d), (N, d ). Se existe um homeomorsmo uniformemente cont nuo f : M N e se N e completo ent ao M e completo. o. Seja (xn )n0 uma seq Demonstrac a u encia de Cauchy em M . Como f e uniformemente cont nuo, a Proposi c ao B.8.7 nos diz que f (xn ) n0 e uma seq u encia de Cauchy em N . Como N e completo, essa seq u encia de Cauchy converge para um certo a N ; mas a a continuidade de f 1 implica que (xn )n0 converge para f 1 (a). rio. Se d, d s B.8.15. Corola ao m etricas uniformemente equivalentes em M e se (M, d) e completo ent ao (M, d ) e completo. B.8.16. Exerc cio. Sejam M = ]0, 1], N = [1, +[ munidos da restri c ao da m etrica Euclideana. Mostre que: 1 (a) a aplica c ao f : M x x N e um homeomorsmo; (b) conclua que a m etrica df (Exerc cio B.1.55) e equivalente ` a m etrica de M e que completude (assim como seq u encia de Cauchy) n ao e um conceito topol ogico (isto e, um conjunto pode ser completo quando munido de uma m etrica, mas n ao ser completo quando munido de outra equivalente). o. Sejam (M1 , d1 ), . . . , (Mn , dn ) espa B.8.17. Proposic a cos m etricos e n a munido de uma das m etricas produto. Se assuma que M = i=1 Mi est cada Mi e completo ent ao M e completo. Reciprocamente, se M e completo e se cada Mi e n ao vazio ent ao cada Mi e completo. o. Assuma que cada Mi Demonstrac a e completo e seja (xk )k0 uma seq u encia de Cauchy em M . Se i : M Mi denota a i- esima proje c ao ent ao, pelo resultado do Exerc cio B.8.10, a seq u encia i (xk ) k0 e de Cauchy e portanto converge para um ponto ai Mi . Segue ent ao do item (e) da Proposi c ao B.6.7 que a seq u encia (xk )k0 converge para (a1 , . . . , an ) M . Reciprocamente, suponha que M e completo e que cada Mi seja n ao vazio. Escolha pi Mi para i = 1, . . . , k e xe j {1, . . . , k }. A aplica c ao: Mj a (p1 , . . . , pj 1 , a, pj +1 , . . . , pn ) e um homeomorsmo uniformemente cont nuo sobre o subconjunto fechado: {p1 } {pj 1 } Mj {pj +1 } {pn } de M (Proposi c ao B.6.6). Segue ent ao das Proposi c oes B.8.12 e B.8.14 que Mj e completo. rio. Rn B.8.18. Corola e completo. o. Segue das Proposi Demonstrac a c oes B.8.13 e B.8.17.

B.9. COMPACIDADE

69

o. Seja M um espa B.8.19. Proposic a co m etrico. Temos que M e completo se e somente se vale a seguinte condi c ao: para toda seq u encia decrescente6 (Fn )n0 de fechados n ao vazios com limn diam(Fn ) = 0, a interse c ao n=0 Fn e n ao vazia. o. Suponha que M Demonstrac a e completo e seja (Fn )n0 uma seq u encia decrescente de fechados n ao vazios com limn diam(Fn ) = 0. Para cada n N, escolha xn Fn . Armamos que a seq u encia (xn )n0 e de , se Cauchy. De fato, dado > 0, existe n0 N tal que diam(Fn0 ) < ; da n, m n0 ent ao xn Fn Fn0 e xm Fm Fn0 , donde: d(xn , xm ) diam(Fn0 ) < . Seja a = limn xn . Para todo n N, a subseq u encia (xn+k )k0 de (xn )n0 converge para a e xn+k Fn , para todo k N; como Fn e fechado, segue que u encia a Fn e portanto a n=0 Fn = . Suponha agora que para toda seq decrescente (Fn )n0 de fechados n ao vazios com limn diam(Fn ) = 0 a e n ao vazia e vamos mostrar que M e completo. Seja interse c ao n=0 Fn (xn )n0 uma seq u encia de Cauchy em M . Para todo n 0, sejam: An = xk : k n e Fn = An . Como, para todo n N, An An+1 , temos Fn Fn+1 ; obviamente, Fn e n ao vazio, para todo n N. Segue facilmente do resultado do Exerc cio B.8.2 que limn diam(An ) = 0 e da Proposi c ao B.1.42 segue ent ao que limn diam(Fn ) = 0. Pelas nossas hip oteses, existe a n=0 Fn . Vamos mostrar que xn a. Dado > 0, existe n0 N tal que diam(Fn0 ) < ; como a Fn0 , temos d(xn , a) diam(Fn0 ) < , para todo n n0 . Isso completa a demonstra c ao. B.9. Compacidade Seja M um conjunto. Uma cobertura de M e uma fam lia (Ui )iI de conjuntos tal que M = iI Ui . Uma subcobertura de uma cobertura (Ui )iI e uma subfam lia (Ui )iJ , J I , de (Ui )iI tal que M = iJ Ui . Se (M, d) e um espa co m etrico ent ao uma fam lia (Ui )iI de subconjuntos de M e dita aberta se Ui e aberto em M , para todo i I . o. Um espa B.9.1. Definic a co m etrico (M, d) e dito compacto se toda cobertura aberta de M admite uma subcobertura nita. Um subconjunto K de M e dito compacto se o espa co m etrico (K, d|K K ) e compacto. Evidentemente compacidade e um conceito topol ogico. Dado um subconjunto K de M , ent ao uma fam lia (Ui )iI de subconjuntos de M com K iI Ui e dita uma cobertura de K por subconjuntos de M .
6Isto e, Fn Fn+1 , para todo n N.

B.9. COMPACIDADE

70

o. Seja M um espa B.9.2. Proposic a co m etrico e seja K um subconjunto de M . Temos que K e compacto se e somente se toda cobertura (Ui )iI de K por subconjuntos abertos de M admite uma subcobertura nita (isto e, existe J I nito com K iJ Ui ). o. Suponha que K Demonstrac a e compacto e seja (Ui )iI uma cobertura de K por subconjuntos abertos de M . Da (K Ui )iI e uma cobertura aberta de K e portanto existe J I nito tal que K = iJ (K Ui ); logo K iJ Ui . Reciprocamente, suponha que toda cobertura de K por subconjuntos abertos de M admite uma subcobertura nita e vamos mostrar que K e compacto. Seja (Vi )iI uma cobertura aberta de K ; para cada i I , existe Ui aberto em M com Vi = K Ui . Da K iI Ui e pelas nossas hip oteses existe J I nito com K iJ Ui . Logo K = iJ (K Ui ) = iJ Vi . o. Um espa B.9.3. Definic a co m etrico (M, d) e dito seq u encialmente compacto se toda seq u encia em M admite uma subseq u encia convergente. Um subconjunto K de M e dito seq u encialmente compacto se o espa co m etrico (K, d|K K ) e seq u encialmente compacto. Evidentemente, um espa co m etrico M e seq u encialmente compacto se e somente se toda seq u encia em M possui algum valor de ader encia (Deni c ao B.4.14). Veremos daqui a pouco que compacidade e compacidade seq u encial s ao propriedades equivalentes para um espa co m etrico7. o. Seja M um espa B.9.4. Proposic a co m etrico e seja A um subcone seq u encialmente compacto se e somente se toda junto de M . Temos que A seq u encia em A admite uma subseq u encia que e convergente em M . o. Se A Demonstrac a e seq u encialmente compacto ent ao toda seq u encia em A e uma seq u encia em A e portanto admite uma subseq u encia que e convergente em A; essa subseq u encia tamb em e convergente em M . Reciprocamente, suponha que toda seq u encia em A admite uma subseq u encia que e convergente em M e seja (xn )n1 uma seq u encia em A. Vamos mostrar que (xn )n1 possui uma subseq u encia convergente em A. Para todo 1 n 1, a bola aberta B xn , n intercepta A e portanto existe yn A com 1 d(xn , yn ) < n . Pelas nossas hip oteses, a seq u encia (yn )n1 admite uma subseq u encia (ynk )k0 que converge para algum a M ; como (ynk )k0 e uma seq u encia em A, temos que a A. Vamos mostrar que a subseq u encia (xnk )k0 de (xn )n1 converge para a. Dado > 0, existe k0 N tal que , para todo k k0 ; podemos escolher k0 de modo que nk0 > 2 d(ynk , a) < 2 . Da , para todo k k0 , temos: 1 d(xnk , a) d(xnk , ynk ) + d(ynk , a) < + < . nk 2
7Essas propriedades n ao s ao equivalentes para espa cos topol ogicos, mas n os n ao es-

tudaremos espa cos topol ogicos aqui.

B.9. COMPACIDADE

71

o. Um espa B.9.5. Definic a co m etrico (M, d) e dito totalmente limitado se para todo > 0 existe uma cobertura nita de M por conjuntos de di ametro menor do que . Um subconjunto A de M e dito totalmente limitado se o espa co m etrico (A, d|AA ) e totalmente limitado. Evidentemente todo espa co m etrico totalmente limitado e limitado. B.9.6. Exerc cio. Mostre que todo subconjunto de um espa co m etrico totalmente limitado e totalmente limitado (em particular, um subconjunto de um subconjunto totalmente limitado e totalmente limitado). B.9.7. Exerc cio. Se M e um espa co m etrico e A e um subconjunto de M , mostre que A e totalmente limitado se e somente se A e totalmente limitado (sugest ao: use a Proposi c ao B.1.34 e a Proposi c ao B.1.42). o. Seja M um espa B.9.8. Proposic a co m etrico. S ao equivalentes as seguintes condi c oes: (a) M e compacto; (b) M e seq u encialmente compacto; (c) M e completo e totalmente limitado. o. Assuma que M Demonstrac a e compacto e vamos mostrar que uma seq u encia arbitr aria (xn )n0 em M possui algum valor de ader encia. Suponha por absurdo que tal valor de ader encia n ao exista; da , para todo a M , como a n ao e um valor de ader encia para (xn )n0 , a Proposi c ao B.4.17 nos diz que existe um aberto Ua contendo a tal que o conjunto: n N : xn Ua e nito. Temos ent ao que (Ua )aM e uma cobertura aberta de M , da qual podemos extrair uma subcobertura nita, i.e., existe um subconjunto nito F de M tal que M = aF Ua . Mas da obtemos que: N=
a F

n N : xn Ua

donde chegamos ao absurdo de que N e um conjunto nito. Logo (xn )n0 possui algum valor de ader encia e n os provamos que M e seq u encialmente compacto. Suponha agora que M e seq u encialmente compacto e vamos demonstrar que M e completo e totalmente limitado. Em primeiro lugar, segue diretamente da Proposi c ao B.8.6 que M e completo. Suponha por absurdo que M n ao seja totalmente limitado; da existe > 0 tal que M n ao admite uma cobertura nita por subconjuntos de di ametro menor do que . Vamos construir recursivamente uma seq u encia (xn )n0 em M da seguinte forma: tome qualquer ponto x0 M (M n ao e vazio, pois M n ao e totalmente limitado). Supondo x0 , . . . , xn M denidos, observamos que:
n = M, B xi , 3 i=0 2 xi , 3 3 < . Escolha qualquer xn+1 M tal que xn+1 n u encia (xn )n0 em i=0 B xi , 3 . Obtemos assim uma seq

j a que diam B n ao pertence a

B.10. BASES DE ABERTOS E SEPARABILIDADE

72

M com d(xn , xm ) 3 , para todos n, m N com n = m. Essa seq u encia n ao pode ter subseq u encia convergente, pois ela n ao tem nenhuma subseq u encia de Cauchy. Isso contradiz a hip otese de que M e seq u encialmente compacto e mostra que M e totalmente limitado. Suponhamos, por m, que M seja completo e totalmente limitado e mostremos que M e compacto. Seja (Ui )iI uma cobertura aberta de M . Suponha por absurdo que (Ui )iI n ao admite uma subcobertura nita. N os construiremos recursivamente uma seq u encia decrescente (Fn )n1 de conjuntos fechados n ao vazios tal que para todo 1 n 1, diam(Fn ) < n e Fn n ao pode ser coberto por um n umero nito de conjuntos Ui . Em primeiro lugar, como M e totalmente limitado, M pode ser coberto por um n umero nito de conjuntos de di ametro menor do que 1; ao menos um desses conjuntos, chamemos ele de A1 , n ao pode ser coberto por um n umero nito de conjuntos Ui . Denote por F1 o fecho de A1 . Temos diam(F1 ) = diam(A1 ) < 1 e F1 n ao pode ser coberto por um n umero nito de conjuntos Ui . Suponha que tenha sido denido o conjunto fechado Fn que n ao pode ser coberto por um n umero nito de conjuntos Ui e vamos denir Fn+1 . Como Fn e totalmente limitado, Fn e igual ` a uni ao 1 ; ao menos de um n umero nito de conjuntos de di ametro menor do que n+1 um desses conjuntos, chamemos ele de An+1 , n ao pode ser coberto por um n umero nito de conjuntos Ui . Seja Fn+1 o fecho de An+1 . Temos ent ao que 1 Fn+1 Fn , diam(Fn+1 ) < n+1 e Fn+1 n ao pode ser coberto por um n umero nito de conjuntos Ui . Obtivemos ent ao uma seq u encia decrescente (Fn )n1 1 de conjuntos fechados tal que, par todo n 1, diam(Fn ) < n e Fn n ao pode ser coberto por um n umero nito de conjuntos Ui ; em particular, Fn = . Como M e completo e limn diam(Fn ) = 0, a Proposi c ao B.8.19 nos d a F . Como M = U , existe i I com a U um elemento a 0 i0 n=1 n iI i e como Ui0 e aberto existe r > 0 tal que B(a, r) Ui0 . Seja n 1 tal que diam(Fn ) < r. Como a Fn , temos Fn B(a, r) Ui0 , contradizendo o fato de que Fn n ao pode ser coberto por um n umero nito de conjuntos Ui . Isso prova que M e compacto e completa a demonstra c ao.

rio. Todo espa B.9.9. Corola co m etrico compacto e limitado e todo subconjunto compacto de um espa co m etrico e fechado. o. Segue do fato que todo espa Demonstrac a co m etrico totalmente limitado e limitado e do fato que todo subconjunto completo de um espa co m etrico e fechado (Proposi c ao B.8.12). B.10. Bases de abertos e separabilidade o. Seja M um espa B.10.1. Definic a co m etrico. Uma base de abertos para M e uma cole c ao B de subconjuntos abertos para M tal que para todo conjunto aberto U existe um subconjunto S B tal que U = B S B . B.10.2. Exerc cio. Sejam (M, d) um espa co m etrico, N um subconjunto de M e B uma base de abertos para M . Mostre que B N : B B e uma base de abertos para o espa co m etrico (N, d|N N ).

B.11. ESPAC OS VETORIAIS NORMADOS

73

o. Seja M um espa B.10.3. Proposic a co m etrico. Uma cole c ao B de conjuntos abertos e uma base de abertos para M se e somente se para todo conjunto aberto U e para todo x U existe B B com x B e B U . o. Um espa B.10.4. Definic a co m etrico M e dito separ avel se admite um subconjunto enumer avel denso. o. Dizemos que um espa B.10.5. Definic a co m etrico M e um espa co de Lindel of se toda cobertura aberta de M admite uma subcobertura enumer avel. o. Seja M um espa B.10.6. Proposic a co m etrico. S ao equivalentes: (a) M admite uma base de abertos enumer avel; (b) M e separ avel; (c) M e um espa co de Lindel of. o. Demonstrac a B.11. Espa cos vetoriais normados No que segue, todos os espa cos vetoriais considerados s ao reais. o. Seja E um espa B.11.1. Definic a co vetorial. Uma norma em E e uma aplica c ao E x x R que satisfaz as seguintes condi c oes: (a) (b) (c) (d) x 0, para todo x E ; para todo x E , se x = 0 ent ao x = 0; x = || x , para todos R, x E ; (desigualdade triangular) x + y x + y , para todos x, y E .

Um espa co vetorial normado e um espa co vetorial munido de uma norma (ou, mais precisamente, um par ordenado formado por um espa co vetorial e uma norma nesse espa co vetorial). Quando n ao h a possibilidade de confus ao, muitas vezes denotaremos mais de uma norma (` as vezes normas em espa cos diferentes) pelo mesmo s mbolo . B.11.2. Exerc cio. Se e uma norma num espa co vetorial E , mostre que: d : E E (x, y ) x y R e uma m etrica em E . A m etrica denida no Exerc cio B.11.2 e chamada a m etrica induzida pela norma . A menos de men c ao expl cita em contr ario, assuminos que todo espa co vetorial normado est a munido da m etrica induzida pela sua norma. B.11.3. Exemplo. A norma Euclideana em Rn e denida por:
n
1 2

x =
i=1

x2 i

B.11. ESPAC OS VETORIAIS NORMADOS

74

para todo x Rn (a desigualdade triangular para segue do resultado do Exerc cio A.1 aplicado ao produto interno can onico de Rn ). Tamb em s ao n normas em R :
n

=
i=1

|xi |,

= max |xi |; i = 1, . . . , n ,

x Rn .

A norma 1 e tamb em conhecida como norma da soma e a norma e tamb em conhecida como norma do m aximo. A norma Euclideana claro que as m e` as vezes tamb em denotada por 2 . E etricas induzidas por 1 , e s ao, respectivamente, as m etricas d1 , d e d (veja Exemplo B.1.2). No caso particular em que n = 1, todas essas normas coincidem com o valor absoluto. B.11.4. Exemplo. Sejam (Ei , i ), i = 1, . . . , n, espa cos vetoriais normados e considere o produto cartesiano (ou soma direta externa) E = n ao normas em E : i=1 Ei . S
n

(B.11.1) (B.11.2) (B.11.3) E E

x
i=1 n

xi xi
i=1

R,
1 2

x xi
i

R,

x max

: i = 1, . . . , n R.

Se cada Ei e munido da m etrica di induzida pela norma i ent ao as m etricas induzidas em E pelas normas (B.11.1), (B.11.2) e (B.11.3) s ao, respectivamente, as m etricas D1 , D2 e D denidas em (B.6.1), (B.6.2) e (B.6.3). Obviamente, se cada Ei eRe i e o valor absoluto ent ao E = Rn e as normas (B.11.1), (B.11.2) e (B.11.3) s ao iguais, respectivamente, ` as normas da soma, Euclideana e do m aximo em Rn (veja Exemplo B.11.3 acima). o. Duas normas , num espa B.11.5. Definic a co vetorial E s ao ditas equivalentes (resp., Lipschitz-equivalentes) se as m etricas induzidas pelas mesmas s ao equivalentes (resp., Lipschitz-equivalentes). B.11.6. Exerc cio. Mostre que duas normas 1 , 2 num espa co vetorial E s ao Lipschitz-equivalentes se e somente se existem n umeros reais k, k > 0 tais que: (B.11.4) k x
1

k x 1,

para todo x E (sugest ao: para provar (B.11.4) a partir de (B.5.1) fa ca y = 0 em (B.5.1) e para provar (B.5.1) a partir de (B.11.4) troque x por x y em (B.11.4)). B.11.7. Exemplo. As normas em Rn denidas no Exemplo B.11.3 s ao duas a duas Lipschitz-equivalentes (veja Exemplo B.5.11), o mesmo sendo verdade para as normas denidas no Exemplo B.11.4 (veja (B.6.4)).

B.11. ESPAC OS VETORIAIS NORMADOS

75

Seguir a da pr oxima proposi c ao que duas normas num espa co vetorial s ao equivalentes se e somente se s ao Lipschitz-equivalentes. o. Sejam E , F espa B.11.8. Proposic a cos vetoriais normados e seja T : E F uma aplica c ao linear. As seguintes condi c oes s ao equivalentes: (a) (b) (c) (d) (e) T e cont nua; T e cont nua na origem; existe k 0 tal que T (x) k , para todo x E com x 1; existe k 0 tal que T (x) k x , para todo x E ; T e Lipschitziana.

o. E Demonstrac a obvio que (a) implica (b). Assumindo (b) ent ao, dado = 1, existe > 0 tal que T (x) 1, para todo x E com x . Da , se x 1, temos x , donde: T (x) = 1 1 T (x) , x x

o que prova (c). Assuindo (c) ent ao, para todo x E com x = 0 temos: 1 x T (x) = T k,

donde T (x) k x ; essa desigualdade e obvia para x = 0, e isso prova (d). Assumindo (d), temos, para todos x, y E : T (x) T (y ) = T (x y ) k x y , donde T e Lipschitziana. Finalmente, e obvio que (e) implica (a). rio. Duas normas , num espa B.11.9. Corola co vetorial E s ao equivalentes se e somente se s ao Lipschitz-equivalentes. o. A aplica Demonstrac a c ao identidade de (E, ) para (E, ) (assim como sua inversa) e linear e portanto e Lipschitziana se e somente se for cont nua. f o. E B.11.10. Observac a acil ver que uma constante k 0 satisfaz a condi c ao (c) no enunciado a Proposi c ao B.11.8, se e somente se satisfaz a condi c ao (d) no enunciado dessa proposi c ao, se e somente se for uma constante de Lipschitz para T . A menor constante que satisfaz essas condi c oes (se existir) ser a o supremo de T (x) com x 1; n os denimos ent ao, se T :EF e uma aplica c ao linear cont nua, a norma de T por: (B.11.5) Temos ent ao: T (x) T para todo x E . x , T = sup
x 1

T (x) .

B.11. ESPAC OS VETORIAIS NORMADOS

76

B.11.11. Exerc cio. Dados espa cos vetoriais normados E , F , mostre que o conjunto de todas as aplica c oes lineares cont nuas de E para F e um subespa co do espa co vetorial Lin(E, F ) de todas as aplica c oes lineares de E para F e que (B.11.5) dene uma norma nesse subespa co. Se E , F , G s ao espa cos vetoriais normados e T : E F , S : F G s ao aplica c oes lineares cont nuas, mostre que: ST S T . B.11.12. Exemplo. Seja E um espa co vetorial. A soma de E : (B.11.6) EE (x, y ) x + y E e uma aplica c ao linear (n ao bilinear!). Escolha uma norma em E . Usando a norma (x, y ) x + y em E E , ent ao a desigualdade triangular para nos mostra que (B.11.5) e uma aplica c ao linear cont nua, j a que e Lipschitziana com constante de Lipschitz 1. B.11.13. Exerc cio. Sejam M um espa co m etrico e E um espa co vetorial normado. Dadas fun c oes f : M E , g : M E , podemos denir f + g : M E fazendo (f + g )(x) = f (x) + g (x), para todo x M . Mostre que se f , g s ao cont nuas num ponto x M ent ao f + g tamb em e cont nua no ponto x. Mostre tamb em que se f , g s ao uniformemente cont nuas (resp., Lipschitzianas) ent ao tamb em f + g e uniformemente cont nua (resp., Lipschitziana). A Proposi c ao B.11.8 possui uma generaliza c ao natural para aplica c oes multilineares. o. Sejam E1 , . . . , En , F espa B.11.14. Proposic a cos vetoriais normados e seja B : E1 En F uma aplica c ao multilinear. Se usamos em E1 En uma das normas equivalentes denidas no Exemplo B.11.4 ent ao as seguintes condi c oes s ao equivalentes: (a) B e cont nua; (b) B e cont nua na origem; (c) existe k 0 tal que: B (x1 , . . . , xn ) k, para todos x1 E1 , . . . , xn En , com xi 1, i = 1, . . . , n; (d) existe k 0 tal que: (B.11.7) B (x1 , . . . , xn ) k x1 xn , para todos x1 E1 , . . . , xn En . o. E Demonstrac a obvio que (a) implica (b). Assumindo (b) ent ao, dado = 1, existe > 0 tal que: max x1 , . . . , xn implica B (x1 , . . . , xn ) 1, para todos x1 E1 , . . . , xn En . Da , se xi 1, temos xi e portanto: 1 1 B (x1 , . . . , xn ) = n B (x1 , . . . , xn ) n ,

B.11. ESPAC OS VETORIAIS NORMADOS

77

para todos x1 E1 , . . . , xn En com xi 1, i = 1, . . . , n; isso prova (c). Assumindo (c), temos: 1 x1 xn B (x1 , . . . , xn ) = B x1 xn ,..., x1 xn k,

donde (B.11.7) vale se todos os xi s ao n ao nulos. Mas (B.11.7) e obvia se algum xi = 0, o que prova (d). Finalmente, vamos assumir (d) e provar que B e cont nua. Sejam x1 E1 , . . . , xn En xados e seja dado > 0; devemos determinar > 0 tal que se h1 E1 , . . . , hn En satisfazem hi < , i = 1, . . . , n, ent ao: B (x1 + h1 , . . . , xn + hn ) B (x1 , . . . , xn ) < . Usando a multilinearidade de B , v e-se que B (x1 + h1 , . . . , xn + hn ) e igual a uma soma de 2n termos, cada um deles da forma B (1 , . . . , n ), onde cada i e xi ou hi ; o termo em que 1 = x1 , . . . , n = xn cancela-se quando fazemos a diferen ca B (x1 + h1 , . . . , xn + hn ) B (x1 , . . . , xn ). Seja M > 0 tal que xi M , i = 1, . . . , n; temos: B (1 , . . . , n ) k r M nr , onde r e o n umero de ndices i tais que i e hi . Se M e r 1, teremos k r M nr kM n1 e portanto: B (x1 + h1 , . . . , xn + hn ) B (x1 , . . . , xn ) k (2n 1)M n1 . A demonstra c ao e conclu da tomando > 0 pequeno o suciente de modo que M e k (2n 1)M n1 < . o. Uma constante k 0 satisfaz a condi B.11.15. Observac a c ao (c) no enunciado da Proposi c ao B.11.14 se e somente se satisfaz a condi c ao (d) no enunciado dessa proposi c ao (mas, diferentemente do caso de aplica c oes lineares, a constante k n ao e em geral uma constante de Lipschitz!). A menor constante k que satisfaz essas condi c oes e o supremo de B (x1 , . . . , xn ) , com xi 1, i = 1, . . . , n. N os denimos ent ao, se B : E1 En F e uma aplica c ao multilinear cont nua, a norma de B fazendo: (B.11.8) Obviamente: B (x1 , . . . , xn ) B x1 xn , para todos x1 E1 , . . . , xn En . B.11.16. Exerc cio. Dados espa cos vetoriais normados E1 , . . . , En , F , mostre que o conjunto de todas as aplica c oes multilineares cont nuas de E1 En para F e um subespa co do espa co vetorial Lin(E1 , . . . , En ; F ) de todas as aplica c oes multilineares de E1 En para F e que (B.11.8) dene uma norma nesse subespa co. B = sup
xi 1 i=1,...,n

B (x1 , . . . , xn ) .

B.11. ESPAC OS VETORIAIS NORMADOS

78

B.11.17. Exemplo. Seja E um espa co vetorial. A multiplica c ao por escalar de E : (B.11.9) RE (, x) x E

e uma aplica c ao bilinear. Escolha uma norma em E . Se usamos no produto cartesiano R E uma das normas usuais (veja Exemplo B.11.4) ent ao segue da Proposi c ao B.11.14 e da identidade x = || x que a aplica c ao bilinear (B.11.9) e cont nua. B.11.18. Exerc cio. Sejam M um espa co m etrico e E um espa co vetorial normado. Dadas fun c oes f : M R, g : M E , podemos denir uma aplica c ao f g : M E fazendo (f g )(x) = f (x)g (x), para todo x M . Mostre que se f , g s ao cont nuas num ponto x M ent ao tamb em f g e cont nua no ponto x. B.11.1. Normas em espa cos vetoriais de dimens ao nita. Nossa meta agora e demonstrar as duas seguintes proposi c oes: B.11.19. Proposic ao. Se E e um espa co vetorial de dimens ao nita ent ao quaisquer duas normas em E s ao equivalentes (e, na verdade, pelo Corol ario B.11.9, s ao tamb em Lipschitz-equivalentes). o. Se E , F s B.11.20. Proposic a ao espa cos vetoriais normados e E tem dimens ao nita ent ao toda aplica c ao linear T : E F e cont nua. Mais geralmente, se E1 , . . . , En s ao espa cos vetoriais normados de dimens ao nita ent ao toda aplica c ao multilinear B : E1 En F e cont nua. Em primeiro lugar, observamos que a Proposi c ao B.11.19 segue diretamente da Proposi c ao B.11.20: o da Proposic o B.11.19. Se , s Demonstrac a a ao normas em E ent ao a aplica c ao identidade de (E, ) para (E, ) e linear e portanto cont nua, pela Proposi c ao B.11.20; o mesmo vale, evidentemente, para sua aplica c ao inversa. Para demonstrar a Proposi c ao B.11.20, usamos o seguinte: B.11.21. Lema. Quaisquer duas normas em Rn s ao equivalentes. o. Por transitividade, basta mostrar que uma norma arDemonstrac a bitr aria em Rn e equivalente ` a norma da soma 1 (Exemplo B.11.3). Observamos em primeiro lugar que para todo x Rn , temos:
n n

x =
i=1

xi ei
i=1

|xi | ei k x 1 ,

onde (ei )n onica de Rn e k = max{ e1 , . . . , en }. Da i=1 denota a base can a aplica c ao identidade de (Rn , 1 ) para (Rn , ) e Lipschitziana. Para mostrar que sua inversa e Lipschitziana, devemos mostrar que existe r 0 tal que x 1 r, para todo x Rn com x 1. Se tal r n ao existisse

EXERC ICIOS PARA O APENDICE B

79

ent ao para todo n umero natural r haveria um xr Rn com xr 1 e xr 1 > r. Seja: xr yr = , r = 0, 1, 2, . . . . xr 1 Como a seq u encia (yr )r0 e limitada com respeito a 1 , existe uma subseq u encia (yri )i0 que converge, com respeito a 1 , para um certo y Rn ; note que y 1 = 1, j a que yr 1 = 1, para todo r. Como a aplica c ao identidade de (Rn , 1 ) para (Rn , ) e cont nua, segue que (yri )i0 converge para y tamb em com respeito a ; mas, por outro lado: yr = xr xr <
1

1 0, r r . Conclu mos ent ao

donde (yri )i0 converge para zero com respeito a que y = 0, contradizendo y 1 = 1.

rio. Se E B.11.22. Corola e um espa co vetorial normado ent ao toda n n aplica c ao linear T : R E e cont nua, sendo R munido de uma norma arbitr aria. o. O Lema B.11.21 nos permite assumir que os espa Demonstrac a cos Rn e Rn1 Rnk ao munidos (por exemplo) da norma do = Rn1 ++nk est m aximo (veja Exemplo B.11.3). Usando a norma do m aximo em Rn ent ao n as proje c oes i : R R, i = 1, . . . , n, s ao cont nuas, j a que |i (x)| x , para todo x Rn . Denote por (ei )n a base can o nica de Rn . A continuidade i=1 de T segue da f ormula:
n

T (x) =
i=1

i (x)T (ei ),

x Rn ,

e tamb em da continuidade de somas e produtos de fun c oes cont nuas (veja Exerc cios B.11.13 e B.11.18). o da Proposic o B.11.20. Come Demonstrac a a camos por demonstrar a continuidade de uma aplica c ao linear T : E F , onde E tem dimens ao nita n. Seja : Rn E um isomorsmo linear arbitr ario; podemos denir uma norma em Rn que torna uma isometria, fazendo: x = (x) , x Rn , onde denota a norma de E . Segue do Corol ario B.11.22 que T e cont nua; como e um homeomorsmo, conclu mos que T e cont nua. Exerc cios para o Ap endice B Deni c ao e conceitos b asicos. B.1. Exerc cio. Seja : [0, +[ [0, +[ uma fun c ao crescente (isto e, a b implica (a) (b)) que satisfaz a desigualdade: (a + b) (a) + (b),

EXERC ICIOS PARA O APENDICE B

80

para todos a, b 0. Suponha que, para todo a [0, +[, (a) = 0 se e somente se a = 0. Se (M, d) e um espa co m etrico, mostre que a fun c ao d tamb em e uma m etrica em M . B.2. Exerc cio. Mostre que as fun c oes: [0, +[ a min{a, 1} [0, +[ , a [0, +[ a [0, +[ , 1+a

satisfazem as condi c oes que aparecem no enunciado do Exerc cio B.1. Conclua que se (M, d) e um espa co m etrico ent ao: (B.10) (B.11) M M M M (x, y ) min d(x, y ), 1 , (x, y ) d(x, y ) , 1 + d(x, y )

tamb em s ao m etricas em M . Fun c oes cont nuas e uniformemente cont nuas. B.3. Exerc cio. Seja : [0, +[ [0, +[ uma fun c ao que satisfaz as condi c oes que aparecem no enunciado do Exerc cio B.1. Mostre que se e cont nua no ponto 0 ent ao a aplica c ao identidade de (M, d) para (M, d) e uniformemente cont nua. Se existe a > 0 tal que a fun c ao |[0,a] e injetora e 1 se a fun c ao (|[0,a] ) : [0, a] [0, a] e cont nua no ponto 0, mostre que tamb em a aplica c ao identidade de (M, d) para (M, d) e uniformemente cont nua. Topologia e equival encia entre m etricas. B.4. Exerc cio. Se (M, d) e um espa co m etrico, mostre que as m etricas (B.10) e (B.11) s ao uniformemente equivalentes a d (sugest ao: use o resultado do Exerc cio B.3). Conclua que toda m etrica e uniformemente equivalente a uma m etrica limitada. M etricas no produto cartesiano. B.5. Exerc cio. Seja : [0, +[n [0, +[ uma fun c ao satisfazendo as seguintes propriedades: (a) se 0 a1 b1 , . . . , 0 an bn ent ao (a) (b); (b) para todo a [0, +[n , temos (a) = 0 se e somente se a = 0; (c) para todos a, b [0, +[n , temos (a + b) (a) + (b). Se (M1 , d1 ), . . . , (Mn , dn ) s ao espa cos m etricos e se M = que: M M
n i=1 Mi ,

mostre

(x, y ) d1 (x1 , y1 ), . . . , dn (xn , yn ) R

EXERC ICIOS PARA O APENDICE B

81

e uma m etrica em M . Mostre tamb em que as fun c oes:


n

(B.12) (B.13) (B.14)

[0, +[n [0, +[ [0, +[n


n

a
i=1 n

ai [0, +[ , a2 i
i=1
1 2

[0, +[ ,

a max{a1 , . . . , an } [0, +[ ,

satisfazem as condi c oes (a), (b) e (c) acima (sugest ao: para provar que (B.13) satisfaz (c) use o resultado do item (b) do Exerc cio A.1 aplicado ao produto interno can onico de Rn ). Conclua que as aplica c oes D1 , D2 e D denidas em (B.6.1), (B.6.2) e (B.6.3) s ao realmente m etricas.

Refer encias Bibliogr acas


[1] D. J. Bernstein, Calculus for mathematicians, http://cr.yp.to/papers/calculus.pdf

82