Universidade Federal de Goia s Campus Catala o Curso de Matema tica

LISE: UMA INTRODUC O ANA A

Prof. Andr e Luiz Galdino

Ouvidor 2011

Sum ario
Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 N umeros Reais 1.1 1.2 1.3 1.4 1.5 1.6 N umeros naturais e inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . N umeros racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 5 5 7 9

N umeros Irracionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

N umeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 M odulo de um n umero real . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 M aximo, M nimo, Supremo e Inmo de um Conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

1.7 1.8

Princ pio de Indu c ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 35

2 Sequ encias de N umeros Reais 2.1 2.2 2.3 2.4 2.5 2.6

No c oes Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Limite de uma Seq u encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Opera co es com limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Crit erio de Converg encia de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 50 Limites Innitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 59

3 No co es de Topologia 3.1

Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

ii 4 Limite e continuidade de Fun co es 4.1 4.2 4.3 4.4 4.5 4.6 70

Limite e continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 Limites laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Teorema do Valor Intermedi ario . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Limites no innito e limites innitos . . . . . . . . . . . . . . . . . . . . . . . 85

Descontinuidade de uma fun c ao . . . . . . . . . . . . . . . . . . . . . . . . . . 87 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 91

5 Derivadas de Fun co es Reais 5.1 5.2 5.3

Deni ca o e Propriedades da Derivada . . . . . . . . . . . . . . . . . . . . . . . 91 Teorema do Valor M edio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Introdu c ao
Al em da liberta c ao da geometria e da liberta ca o da a lgebra, um terceiro movimento matem atico profundamente signicativo teve lugar no s eculo XIX. Esse terceiro movimento, que se materializou lentamente, tornou-se conhecido como aritmetiza c ao da an alise . Quando se entende apenas parcamente a teoria subjacente a uma certa opera c ao matem atica, h a o perigo de se aplicar essa opera ca o de maneira formal, cega e, talvez, il ogica . O executante, desinformado das poss veis limita co es da opera ca o, e levado a us a-la em exemplos nos quais ela n ao se aplica necessariamente. Quase todo dia os professores de matem atica se deparam com erros dessa natureza cometidos por alunos. Assim, um aluno de algebra elementar, convencido rmemente de que a0 = 1 para todo n umero real a, p oe que 00 = 1, ao passo que outro admite que a equa c ao ax=b sempre tem exatamente uma u nica solu ca o real para um par de n umeros reais dados a e b. Al em disso, um aluno que faz trigonometria pode pensar que a f ormula

1 sen2 x = cosx

se verica para todo x. Um aluno de c alculo, que desconhe ca as integrais impr oprias, pode obter um resultado errado aplicando de maneira aparentemente correta as regras formais da integra ca o ou pode chegar a resultados paradoxais aplicando a certas s eries innitas convergentes resultados que s o valem para s eries innitas absolutamente convergentes. Foi isso essencialmente o que aconteceu com a an alise durante o s eculo seguinte a ` inven ca o do c alculo. Tangidos pela aplicabilidade imensa do assunto, e carecendo de um entendimento real dos seus fundamnetos, os matem aticos manipularam os processos anal ticos de uma maneira quase cega, muitas vezes guiados apenas pela intui ca o. O resultado s o poderia ser uma acumula ca o de absurdos, at e que, como rea ca o natural ao emprego desordenado do intucionismo 1

2 e do formalismo, alguns matem aticos conscieciosos se sentiram na obriga c ao de tentar a dif cil tarefa de estabelecer uma fundamenta ca o rigorosa para a an alise. A primeira sugest ao de um rem edio real para o estado insatisfat orio dos fundamentos da an alise veio de Jean-le-Rond dAlembert(1717-1783), ao observar muito corretamente, em 1754, que era necess aria uma teoria dos limites; mas at e 1821 n ao se vericou um desenvolvimento s olido dessa teoria. O mais antigo matem atico de primeiro plano a efetivamente tentar uma rigoriza c ao do c alculo foi o talo-franc es Joseph Louis Lagrage(1736-1813). A tentativa, baseada na representa ca o de uma fun c ao por uma expans ao em s erie de Taylor, cou muito longe de ser bem sucedida, pois ignorava quest oes necess arias sobre converg encia e diverg encia. Essa tentativa foi publicada em 1797 no monumental trabalho de Lagrange, Th eorie des Fonctions Analytiques. Por ser talvez Lagrange o matem atico mais importante do s eculo XVIII, seu trabalho teve uma inu encia profunda nas pesquisas matem aticas posteriores; com o trabalho de Lagrange teve in cio a longa e dif cil tarefa de banir o intucionismo e o formalismo da an alise. No s eculo XIX o corpo da an alise continuou a se erguer, mas sobre alicerces cada vez mais profundos. Sem d uvida, deve-se a Gauss o m erito de ter laborado mais do que qualquer matem atico de seu tempo para romper com as id eias intuitivas e estabelecer padr oes de rigor mais elevados para a matem atica. Ademais , no tratamento das s eries hipergeom etricas feito por ele em 1812 encontra-se o que geralmente se considera como a primeira considera ca o efetivamente adequada a respeito da quest ao da converg encia de uma s erie innita. O primeiro grande progresso se deu em 1821, quando o matem atico franc es Augustin-Louis Cauchy(1789-1857) p os em pr atica e com exito a sugest ao de dAlembert de desenvolver uma teoria dos limites aceit avel e denir ent ao continuidade, diferenciabilidade e integral denida em termos do conceito de limite. S ao essas deni co es, em ess encia, embora formuladas mais cuidadosamente que encontramos hoje nos textos elememtares de c alculo. Certamente, o conceito de limite e essencial e indispens avel para o desenvolvimento da an alise, pois converg encia e diverg encia de s eries tamb em dependem desse conceito. O rigor de Cauchy inspirou outros matem aticos a se unirem no esfor co para escoimar a an alise do formalismo e do intucionismo. A procura de um entendimento mais profundo dos fundamentos da an alise ganhou um

3 relevo extraordin ario em 1874 com a publica ca o de um exemplo, da lavra do matem atico alem ao Karl Weierstrass, de uma fun c ao cont nua n ao-deriv avel ou, o que e equivalente, de uma curva cont nua que n ao admite tangente em nenhum de seus pontos. Georg Bernhard Riemann inventou uma fun ca o que e cont nua em todos os valores irracionais da vari avel mas descont nua para os valores racionais. Exenplos como esses pareciam contrariar a intui ca o humana e tornavam cada vez mais evidente que Cauchy n ao tinha atingido o verdadeiro a mago das diculdades na procura de uma fundamenta c ao s olida para a an alise. A teoria dos limites fora constru da sobre uma no c ao intuitiva simples do sistema dos n umeros reais. De fato, o sistema dos n umeros reais tinha sido mais ou menos admitido sem maiores cuidados, como ainda se faz na maioria dos textos elementares de c alculo. E e claro que a teoria dos limites, continuidade e diferenciablidade dependem mais de propriedades rec onditas dos n umeros do que se supunha ent ao. Assim, Weierstrass defendeu um programa no qual o pr oprio sistema dos n umeros reais, antes de mais nada, fosse tornado rigoroso para que assim tudo que dele decorresse na an alise inspirasse seguran ca. Esse not avel programa, conhecido como arimetiza c ao da an alise, revelou-se dif cil e intrincado, mas acabou se concretizando atrav es de Weierstrass e seus seguidores, e hoje a an alise pode ser deduzida logicamente de um conjunto de postulados que caracterizem o sistema dos n umeros reais. Os matem aticos foram consideravelmente al em do estabelecimento do sistema dos n umeros reais como o fundamento da an alise. Pode-se tamb em fazer com que a geometria euclidiana se baseie no sistema dos n umeros reais atrav es de sua interpreta ca o anal tica e foi demonstrado pelos matem aticos que a maior parte dos ramos da geometria e consistente se a geometria euclidiana e consistente. Ademais, como o sistema dos n umeros reais , ou alguma parte dele, pode servir para interpretar tantos ramos da algebra, parece evidente que tamb em se pode fazer depender uma boa parte da a lgebra desse sistema. De fato, pode-se armar hoje que, essencialmente, consist encia de toda a matem atica existente depende da consist encia do sistema dos n umeros reais. Nisso reside a tremenda import ancia do sistema dos n umeros reais para os fundamentos da matem atica. Uma vez que se pode fazer com o grosso da matem atica existente se alicerce no sistema dos n umeros reais, e natural a curiosidade de saber se seus fundamentos podem penetrar mais fundo ainda. Nos ns do s eculo XIX, com o trabalho de Richard Dedekind(1831-1916), Georg

4 Cantor (1845-1918) e Giuseppe Peano (1858-1932), esses fundamentos se assentaram no muito mais simples e b asico sistema dos n umeros naturais. Isto e, esses matem aticos mostraram como o sistema dos n umeros reais, e portanto o grosso da matem atica, pode ser deduzido de um conjunto de postulados para o sistema dos n umeros naturais. Ent ao, no princ pio do s eculo XX, mostrou-se que o sistema dos n umeros naturais pode ser denido em termos de conceitos da teoria de conjuntos, e assim o grosso da matem atica pode ser fundamentado sobre uma plataforma na teoria dos conjuntos. Especialistas em l ogica, como Bertrand Russel (18721970) e Alfred North Whitehead (1861-1947) empenharam-se em aprofundar ainda mais esses fundamentos, deduzindo a teoria dos conjuntos de um embasamento no c alculo proposicional da l ogica, embora nem todos os matem aticos entendam que esse passo tenha sido dado com exito. Texto retirado do livro Introdu c ao ` a Hist oria da Matem atica de Howard Eves.

Cap tulo 1 N umeros Reais

Como vimos na se ca o anterior o conjunto dos n umeros reais e fundamental no estudo da matem atica, em particular da an alise. Com base nisto faremos uma lista das principais propriedades dos n umeros reais, as quais ser ao admitidas sem serem demonstradas. Por em, antes deniremos os conjuntos dos n umeros naturais, inteiros e racionais.

1.1

N umeros naturais e inteiros

O conjunto IN = {1, 2, 3, 4, ...} e usado para contagens. De t ao natural, IN e chamado de conjunto dos n umeros naturais, o primeiro conjunto num erico que aparece na hist oria de qualquer civiliza ca o ou em qualquer tratado sobre os fundamentos da Matem atica. Admitiremos conhecidos os conjunto IN e Z Z = {..., 3, 2, 1, 0, 1, 2, 3, ...} (dos n umeros inteiros) bem como suas propriedades alg ebricas de soma e multiplica ca o e sua rela ca o de ordem . No conjunto IN valem dois princ pios fundamentais: o Princ pio da Boa Ordem e o Princ pio de Indu c ao , do qual falaremos com mais detalhes mais adiante. Tamb em provaremos que estes dois princ pios s ao equivalentes. Princ pio da Boa Ordem: Todo subconjunto n ao vazio de IN possui elemento m nimo, ou seja, se B IN com B = , ent ao existe n B tal que n m para todo m B . Princ pio de Indu c ao: Seja A IN satisfazendo as seguintes propriedades: 5

CAP ITULO 1. (a) 1 A;

NUMEROS REAIS

(b) n A implica que n + 1 A. Ent ao A = IN. O Princ pio da Indu c ao (e suas variantes) e usado para demonstrar que certas propriedades s ao verdadeiras para todo n umero natural. A estrat egia e a seguinte. Denimos o conjunto A constitu do pelos n umeros naturais que possuem uma certa propriedade P . A seguir, mostra-se que A satisfaz (a) e (b) do Princ pio de Indu ca o. Da , conclu mos que A = IN e, portanto, que P e vericada por todo n umero natural. Este tipo de argumento e chamado de demonstra c ao por indu ca o. Teorema 1.1.1 [Boa Ordem = Indu c ao]: Vale o Princ pio da Boa Ordem se, e somente se, vale o Princ pio de Indu c ao. Demonstra c ao: Suponha v alido o Princ pio da Boa Ordem. Seja A IN satisfazendo (a) e (b) do Princ pio de Indu ca o. Suponhamos, por absurdo, que A = IN. Isto signica que existe algum elemento de IN que n ao pertence a A e, portanto, o conjunto B = Ac e n ao vazio. Pelo Princ pio da Boa Ordem, B possui um elemento m nimo m B . Com certeza m > 1 pois como 1 A, 1 / B = Ac . Assim, m 1 e um natural menor que m. Pela minimalidade de m, temos que m 1 / B e portanto m 1 A. De (b) conclu mos que m = (m 1) + 1 A, o que e absurdo. Suponha v alido o Princ pio da Indu ca o. Seja B IN n ao vazio. Suponhamos por absurdo que B n ao possua elemento m nimo. Em particular, 1 B (sen ao 1 seria elemento m nimo de B ). Seja A = {n IN; n < mm B } Observamos inicialmente que A B = . De fato, se A B = , ent ao existe n A B . Tendo n A temos tamb em n < m qualquer que seja m B , em particular, tomando m = n B obtemos n < n o que e absurdo. Conclu mos que A B = . Mostraremos a seguir que A = IN. Vejamos agora que isto e suciente para concluir a demonstra c ao. Neste caso temos = A B = IN B = B contradizendo a hip otese B = . Mostremos, por indu ca o, que A = IN. J a sabemos que 1 / B e portanto 1 < m qualquer que seja m B , ou seja, 1 A. Tomemos n A. Por deni ca o de A temos n < m qualquer que seja m B , logo n + 1 m para todo m B . Se n + 1 B ent ao n + 1 e um elemento

CAP ITULO 1.

NUMEROS REAIS

m nimo de B . Como, por hip otese, B n ao possui elemento m nimo, segue que n + 1 /B e portanto n + 1 < m para qualquer m B . Conclu mos que n + 1 A. Pelo Princ pio da Indu c ao A = IN.

1.2

N umeros racionais

Os n umeros que podem ser escritos na forma p , onde p e q s ao inteiros e q = 0, s ao chamados q de n umeros racionais e representado pelo s mbolo Q. I Podemos escrever esta deni ca o como Q I ={ p q | p, q Z Z, q = 0}.

f E acil o leitor notar que Q I cont em Z Z que por sua vez cont em IN. Fa camos agora, um estudo, pouco mais detalhado, sobre os n umeros racionais. Sendo dados por: ad + bc a c + = b d db a c ac . = b d bd Dizemos que o n umero racional ent ao, que
p q p q a b

c d

dois n umeros racionais quaisquer, a soma e o produto de tais n umeros s ao

e positivo se p.q IN. Se p.q IN e p = 0 dizemos,

e estritamente positivo. O n umero racional a e estritamente menor que o n umero

racional b, ou que b e estritamente maior que a, e escrevemos a < b, ou respectivamente b > a, se existe um n umero racional t estritamente positivo tal que b = a + t. A nota c ao a b e usada para indicar a arma c ao a < b ou a = b. A nota c ao a b e equivalente a b a. Observe que a positivo equivale a a 0 e que se a 0, dizemos que a e negativo. Considerando os n umeros racionais x, y e z , a qu adrupla (I Q, +, , ) satisfaz as seguintes propriedades: Associativa (A1) (x + y ) + z = x + (y + z ) Comutativa (M1) (xy )z = x(yz )

CAP ITULO 1.

NUMEROS REAIS (M2) Exist encia de elemento neutro xy = yx

(A2) x + y = y + x

(A3)

x+0=x Exist encia de oposto

(M3)

x1=x

(A4)

Para todo racional x existe um u nico racional y tal que x + y = 0. Tal y denomina-

se oposto de x e indica-se por x. Assim, x + (x) = 0. Exist encia de inverso (M4) Para todo racional x = 0 existe um u nico racional y tal que x y = 1. Tal y

1 . Assim, x x1 = 1. denomina-se inverso de x e indica-se por x1 ou x

Distributiva da multiplica c ao em rela c ao ` a adi c ao (D) x(y + z ) = xy + xz . Reexiva (O1) x x. Anti-sim etrica (O2) x y e y x ent ao x = y . Transitiva (O3) x y e y z ent ao x z .

Quaisquer que sejam os racionais x e y (O4) x y ou y x. Compatibilidade da ordem com a adi c ao

CAP ITULO 1. (OA)

NUMEROS REAIS x y x + z y + z.

Somando-se a ambos os membros de uma desigualdade um mesmo n umero, o sentido da desigualdade se mant em. Compatibilidade da ordem com a multiplic c ao (OM) x y xz yz .

Multiplicando-se ambos os membros de uma desigualdade por um mesmo n umero positivo, o sentido da desigualdade se mant em. Nota 1.2.1: 1. O s mbolo () que aparece em (OA) e (OM) signica ent ao ou implica. 2. Seja K um conjunto qualquer com pelo menos dois elementos e suponhamos que em K estejam denidas duas opera co es indicadas por + e ; se a terna

( K,+, ) satisfaz as propriedades (A1) a (A4), (M1) a (M4) e (D), diremos que ( K,+, ) e um corpo. Se, al em disso, K estiver denida uma rela ca o () de modo que a ( K,+,, ) satisfa ca todas as 15 propriedades anteriormente listadas, ent ao diremos que (K,+,, ) e um corpo ordenado. Consequentemente ( Q,+, I , ) e um corpo ordenado, ao passo que ( Z Z,+,, ) n ao e um corpo ordenado, pois e f acil ver que (M4) n ao se verica.

1.3

N umeros Irracionais

A seguir, vamos mostrar que Lema 1.3.1: N ao existe um n umero racional cujo quadrado seja igual a 2. Em outras palavras, e um n umero racional. Antes de demonstrar o Lema 1.3.1, vamos demonstrar o seguinte teorema. Teorema 1.3.2: (1) Se a for mpar, ent ao a2 tamb em e mpar; 2 n ao

CAP ITULO 1.

NUMEROS REAIS

10

(2) Se a2 for par, ent ao a tamb em e par. Demonstra c ao: 1. Como a e mpar, a e da forma a = 2k + 1, com k inteiro. Ent ao: a2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1, como 2k 2 + 2k e inteiro, resulta a2 mpar. 2. Por hip otese, a2 e par. Se a fosse mpar, por (1), ter amos a2 tamb em mpar, que contraria a hip otese. Assim, a2 par a par.

Demonstra c ao do Lema 1.3.1: Suponhamos que 2 seja racional, ou seja, que exista uma fra c ao irredut vel (a )2 = 2; ent ao: b a2 =2 b2 a2 = 2b2 a2 par a par;

a b

tal que

sendo a par, ser a da forma a = 2p, p inteiro. De a2 = 2b2 temos:

4p2 = 2b2

2p2 = b2 .
a b

Assim, b2 e par e, portanto, b tamb em o e. Sendo a e b pares, a fra ca o

e redut vel, o

que nos leva a uma contradi ca o. N umeros como 2, n ao-racionais, s ao chamados irracionais e a partir desse n umero podemos construir uma innidade de n umeros irracionais. Com efeito, qualquer que seja o n umero ao n umeros irracionais. De fato, se para algum n, n 2 ou inteiro n, n ao-nulo, n 2 e 2/n s 2/n fosse racional teriamos: p n 2= q onde p e q Z Z. ou 2 p = n q

CAP ITULO 1. Se n 2 =
p q

NUMEROS REAIS for verdadeira ent ao:

11

Como

p nq

p . 2= nq e um n umero racional, o que e uma e um n umero racional, temos que 2

2 n

contradi ca o. Do mesmo modo a igualdade fosse teriamos

p q

tamb em n ao pode ser verdadeira, pois, se

np 2= . q

Outros exemplos cl assicos de n umeros irracionais s ao: o da Geometria Elementar; o umero natural n umero e, base dos logar mos neperianos; 3, 6, 3 2, etc. Em geral, se um n n ao e um quadrado perfeito, suas raizes quadradas s ao n umeros irracionais. Provemos, agora, a seguinte proposi ca o: Proposi c ao 1.3.3: Se a = 0 e racional e s e irracional, ent ao, a + s e a s s ao irracionais. Demonstra c ao: Sabemos que se b e racional, ent ao a + b e a b s ao racionais. Suponhamos, por contradi ca o,
p que a s seja racional. Ent ao, a s = p, onde p Q I e como a = 0, temos s = a , ou seja, s e

racional, pois e o produto de p pelo racional 1/a, o que e uma contradi ca o, pois s e irracional, por hip otese. Agora suponhamos que a + s seja racional. Ent ao, a + s = p, onde p Q I e como Q I e um corpo, temos s = p + (a), ou seja, s e racional, pois e a soma de p com o racional a, o que e uma contradi ca o, pois, por hip oteses, s e irracional.

1.4

N umeros Reais

O conjunto de todos os n umeros, racionais e irracionais, e chamado conjunto dos n umeros reais e indicamos por IR. Admitiremos que a qu adrupla (IR, +, , ) e um corpo ordenado, isto e, satisfaz todas as propriedades: (A1) a (A4), (M1) a (M4), (D), (O1) a (O4), (OA) e (OM) recomendamos ao leitor rever tais propriedades. Vejamos agora, em forma de exemplos, outras propriedades dos n umeros reais.

CAP ITULO 1. Exemplo 1.4.1:

NUMEROS REAIS

12

Se para quaisquer reais x, y , z e w tivermos x y e z w ent ao

x + z y + w, ou seja, somando-se membro a membro desigualdades de mesmo sentido, obt em-se outra de mesmo sentido. Solu c ao: Pela propriedade (OA) temos que

xy e zw

x+z y+z

(1)

y+z y+w

(2)

De (1) e (2) e da propriedade transitiva obtemos o resultado desejado, ou seja, x + z y + w. O exemplo a seguir caracteriza uma propriedade dos n umeros reais chamada de Lei do cancelamento. Exemplo 1.4.2: Se para quaisquer reais x, y , z tivermos x + z = y + z ent ao

x = y. Solu c ao: Somando-se z a ambos os membros da igualdade x + z = y + w, obtemos:

(x + z ) + (z ) = (y + z ) + (z ). Pela propriedade associativa temos,

x + [z + (z )] = y + [z + (z )].

CAP ITULO 1. Da ,

NUMEROS REAIS

13

x + 0 = y + 0, ou seja, x = y. Como queriamos demonstrar. Exemplo 1.4.3: Se para quaisquer reais x, y , z e w tivermos 0 x y e 0 z w ent ao

xz yw, ou seja, multiplicando-se membro a membro desigualdades de mesmo sentido e de n umeros positivos, obt em-se desigualdade de mesmo sentido. Solu c ao: Pela propriedade (OM) vem que:

0xy e 0zw donde, pela propriedade (O3), obt em-se

xz yz

yz yw

xz yw. Faremos a seguir uma lista de outras propriedades dos n umeros reais, cujas demonstra co es omitiremos, pois, trata-se de tarefa um tanto arida e n ao e o que mais importa aqui. Mesmo porque, suas demonstra co es podem ser obtidas facilmente das propriedades j a vistas at e o momento. Quaisquer que sejam os reais x, y , z e w tem-se: (a) x < y (b) z > 0 x + z < y + z; z 1 > 0;

CAP ITULO 1. (c) z > 0

NUMEROS REAIS z < 0; xz < yz ;

14

(d) se z > 0, x < y (e) se z < 0, x < y

xz > yz , ou seja, multiplicando-se ambos os membros de uma

desigualdade por um mesmo n umero negativo, o sentido da desigualdade muda; (f) se 0 x < y e 0 z < w ent ao xz < yw. (g) 0 < x < y 0<
1 y 1 <x ;

(h) Uma e somente uma das condi co es abaixo e verdadeira: x<y ou x = y ou x > y.

Esta propriedade e conhecida como Tricotomia; (i) xy = 0 x = 0 ou y = 0.

Esta propriedade conhecida como Anulamento do produto diz que um produto e nulo se, e somente se, um dos fatores for nulo. Exemplo 1.4.4: Supondo que x 0 e y 0 prove que: (a) x < y x2 < y 2 ; (b) x y x2 y 2 ; (c) x < y x2 < y 2 . Solu c ao: (a) De 0 x < y e 0 x < y e pela propriedade (f) temos: x2 < y 2 . (b) (c) Deixamos este a cargo do leitor. Por (a), x < y x2 < y 2 . Suponhamos, agora x2 < y 2 ; se x y , por (b) ter amos

x2 y 2 , contradi ca o. Assim, x2 < y 2 x < y . Fica provado, deste modo, que quaisquer que sejam os reais x 0 e y 0 x < y x2 < y 2 .

CAP ITULO 1.

NUMEROS REAIS

15

1.5

M odulo de um n umero real

Se x e um n umero real, o m odulo de x (ou valor absoluto de x) e o n umero |x| denido por :

|x| = x se x 0;

|x| = x se x < 0. Decorrem imediatamente para qualquer x IR, da deni ca o de valor absoluto, as seguintes propriedades: |x| 0; |x| = 0 x = 0; |x| = |x| |x| x Na proposi ca o seguinte est ao outras propriedades importantes do valor absoluto de um n umero real. Proposi c ao 1.5.1: Quaisquer que sejam os n umeros reais a, b e x, tem-se: 1. 2. 3. 4. 5. 6. 7. |x|2 = |x2 | = x2 ; |ab| = |a| |b|; |a + b| |a| + |b|( Desigualdade Triangular ); Se a > 0, |x| = x2 ; |x| a a x a;

|a| |b| ||a| |b|| |a b|; |a b| |a x| + |x b|.

CAP ITULO 1. Demonstra c ao: 1.

NUMEROS REAIS

16

Sendo x2 0, x IR, temos que: x2 = x2 , pela deni ca o de valor absoluto. Resta mostrar que |x|2 = x2 . Se x 0, temos |x| = x e, portanto, |x|2 = x2 . Se x < 0, |x| = x e, portanto, |x|2 = (x)2 = x2 .

2.

Do item 1 temos que:

|ab|2 = (ab)2 = a2 b2 = |a|2 |b|2 , ou seja, |ab| = |a| |b| . 3. Provaremos, agora, a chamada desigualdade triangular e na sua prova faremos uso do fato |x| x, x IR. Temos |a + b|2 = (a + b)2 = a2 + b2 + 2ab |a|2 + |b|2 + 2 |a| |b| = (|a| + |b|)2 .

CAP ITULO 1. Ou seja,

NUMEROS REAIS

17

|a + b|2 (|a| + |b|)2 , donde obtemos

|a + b| |a| + |b| . 4. Suponhamos que |x| a. Se x 0, temos x = |x| a. Sendo x 0, e claro que x a, de modo que, neste caso, a x a. Se x 0, ent ao x a e x = |x| a. Mas x a e equivalente a x a, de modo que a x a. Portanto, provamos que

|x| a

a x a.

Para provarmos a rec proca, tamb em distiguiremos os casos x 0 e x < 0. Suponhamos que a x a. Esta dupla desigualdade pode ser desdobrada em

x a e x a. Se x 0, |x| = x e a primeira desigualdade nos d a |x| a.

CAP ITULO 1.

NUMEROS REAIS

18

Se x < 0, |x| = x e, da segunda desigualdade, temos |x| a. Logo,

a x a 5.

|x| a.

Antes de provarmos esta parte, faremos uma observa ca o sobre o s bolo x, sendo x comum usar x para indicar uma das raizes de x, sem um n umero real positivo. E especicar qual dela, ou seja, colocar

x2 = x.

Tal nota ca o pode conduzir a uma contradi ca o, vejamos: Usando a f ormula x2 = x, temos 32 = 3 e Mas

(3)2 = 3.

32 =

(3)2 =

9.

Logo, 3 = 3 (absurdo?!?!) Para evitar este fato usaremos, sistematicamente, o s mbolo x para indicar a raiz quadrada positiva de x. A raiz quadrada negativa de x ser a indicada por x. Assim especicado, temos que: x2 e a raiz quadrada positiva de x2 , isto e, e o n umero positivo cujo quadrado e x2 e o n umero |x| satisfaz tais condi c oes, ou seja,

|x| 0 e

|x|2 = x2 .

CAP ITULO 1. Logo,

NUMEROS REAIS

19

x2 = |x| .

6.

Em virtude da desigualdade triangular, temos

|a| = |(a b) + b| |a b| + |b| , o que n os d a

|a| |b| |a b| . Pelo mesmo motivo, temos

(I )

|b| |a| |b a| . Ora, e evidente que

|a b| = |b a| . Consequentemente

|b| |a| |a b|

ou

|a b| (|a| |b|).

(II )

De (I) e (II) e do item 4 conclu mos que

||a| |b|| |a b| . A outra desigualdade, eo bvia, e deixamos a cargo do leitor. 7. Esta u ltima arma ca o resulta, tamb em da aplic c ao da desigualdade triangular ` a soma a b = (a x) + (x b), pois,

|a b| = |(a x) + (x b)| |a x| + |x b| ,

CAP ITULO 1. ou melhor,

NUMEROS REAIS

20

|a b| |a x| + |x b| . Como queriamos demonstrar.

Corol ario 1.5.2: Dado um n umero real positivo a, qualquer que seja o n umero real x, temos:

|x| a Demonstra c ao:

xa

ou

x a.

Seja |x| a. Suponhamos que exista um n umero real x que n ao satisfaz a condi c ao xa ou x a.

Mas x n ao satisfaz esta u ltima condi c ao se, e somente se, a < x < a o que, pelo item 4 da proposi ca o 1.2, e equivalente a |x| < a contradizendo nossa hip otese. Reciprocamente, se xa ent ao |x| a. De fato, x n ao satisfaz a condi c ao |x| a se, e somente se, x satisfaz a condi c ao |x| < a ou x a

CAP ITULO 1.

NUMEROS REAIS

21

novamente, pelo item 4 da proposi ca o 1.2, |x| < a e equivalente a a < x < a, o que nos a uma contradi ca o da hip otese xa Portanto, esta demonstrado o corol ario. ou x a.

Corol ario 1.5.3: Dados a, b, x IR, tem-se |x a| b se, e somente se, a b x a + b. Demonstra c ao: Com efeito, pelo item 4 da proposi c ao 1.2, |x a| b e equivalente a b x a b. Somando a a ambos os membros dessa desigualdade obtemos o resultado desejado, ou seja, a b x a + b.

Nota 1.5.4: Todas as arma co es da proposi c ao 1.2 e de seus corol arios s ao ainda verdadeiras com < em lugar de e > em lugar de , como se verica facilmente.

1.6

M aximo, M nimo, Supremo e Inmo de um Conjunto

O conjunto dos n umeros reais, como podemos observar, possui innitos subconjuntos, dentre os quais destacarremos os intervalos.

CAP ITULO 1.

NUMEROS REAIS

22

Sejam a e b dois n umeros reais, com a < b. Um intervalo em IR e um subconjunto de IR que tem uma das seguintes formas: 1. Intervalos Limitados (a) Fechado

[a, b] = {x IR; a x b} (b) Fechado ` a esquerda

[a, b) = {x IR; a x < b} (c) Fechado ` a direita

(a, b] = {x IR; a < x b} (d) Aberto

(a, b) = {x IR; a < x < b} 2. Intervalos Ilimitados (a) Semi-reta direita fechada, de origem b

(, b] = {x IR; x b} (b) Semi-reta direita aberta, de origem b

(, b) = {x IR; x < b} (c) Semi-reta esquerda fechada, de origem a

[a, +) = {x IR; a x}

CAP ITULO 1.

NUMEROS REAIS

23

(d) Semi-reta esquerda aberta, de origem a

(a, +) = {x IR; a < x} (e) Intervalo aberto ou fechado

(, +) = IR este intervalo tamb em e conhecido como intervalo total. 3. Intervalo degenerado

[a, a] este inervalo consiste em um u nico ponto a. Proposi c ao 1.6.1: Todo intervalo n ao-degenerado e um conjunto innito. Demonstra c ao: Como IR e um corpo ordenado temos que, se x < y , ent ao, x+y < y. 2

x<

Assim, se I for um intervalo de extremos a, b, com a < b, podemos obter uma innidade de elementos x1 , x2 , x3 , ..., xn , ... em I , tomando a+b , 2 a + x1 a + xn , .., xn+1 = , ... 2 2

x1 = dessa forma obtemos

x2 =

a < ... < x3 < x2 < x1 < b e assim esta completa a demonstra c ao.

CAP ITULO 1.

NUMEROS REAIS

24

Seja A um subconjunto dos n umeros reais. Dizemos que A e limitado superiormente quando existe x IR tal que x a para todo a A. Cada x IR com esta propriedade chama-se uma cota superior de A. Analogamente, dizemos que A e limitado inferiormente quando existe y IR tal que y a para todo a A. Um elemento y IR com esta propriedade chama-se uma cota inferior de A. Assim, um subconjunto A de IR e limitado quando e limitado superior e inferiormente, isto e, quando existem x, y IR tais que A [x, y ]. Sendo A um subconjunto dos n umeros reais, o maior elemento de A, quando existe, e chamado de m aximo de A e indica-se por max(A) e o menor elemento de A, quando existe, chama-se m nimo de A e indica-se por min(A). Seja A um subconjunto dos n umeros reais, ou seja, A IR. Um elemento y IR chama-se supremo do subconjunto A quando y e a menor das cotas superiores de A em IR. Assim, para que y IR seja supremo do subconjunto A, escrevemos y = sup(A), e necess ario e suciente que sejam satisfeitas as seguintes condi c oes: 1. Par todo a A tem-se a sup(A); 2. Se c IR e tal que c a para todo a A, ent ao c sup(A); 3. Se c < sup(A) ent ao existe a A tal que c < a < sup(A). Resulta da deni ca o que, o supremo de um conjunto, quando existe, eu nico. De fato, se dois elementos y e y IR satisfazem as condi co es acima, deve-se ter y y e y y , ou seja, y=y. Analogamente, um elemento x IR chama-se nmo de um conjunto B IR, limitado inferiormente, quando x e a maior das cotas inferiores de B . Para que x seja nmo de B IR, escrevemos x = inf (B ), e necess ario e suciente que as condi co es abaixo sejam satisfeitas: 1. Para todo b B tem-se inf (B ) b; 2. Se c IR e tal que c b para todo b B , ent ao c inf (B ); 3. Se c inf (B ) ent ao existe b B tal que inf (B ) < b < c.

CAP ITULO 1.

NUMEROS REAIS

25

Deixamos a cargo do leitor provar que o nmo de um conjunto B IR, quando existe, e u nico. Exemplo 1.6.2: Se A = ent ao todo x IR e cota superior de A. Como n ao existe menor elemento, respectivamente maior elemento, no corpo ordenado IR, segue-se que o conjunto n ao possui supremo, respectivamente nmo, em IR. Exemplo 1.6.3: Se A IR possuir um elemento m aximo, este ser a o seu supremo, se A possuir um elemeto m nimo, ele ser a seu nmo. Reciprocamente, se sup(A) pertence a A ent ao e o maior elemento de A; se inf (A) pertencer a A, ser a o seu menor elemento. Em particular, todo subconjunto nito A IR possui inf e sup. Outro exemplo: se A = (, a] e B = [b, +), temos inf (B ) = b e sup(A) = a. Exemplo 1.6.4: Dados a < b em IR, seja A = (a, b) o intervalo aberto com esses extremos. Tem-se inf (A) = a e sup(A) = b. Com efeito, a e, evidentemente, uma cota inferior de A. Provemos agora que nenhum c IR com a < c e cota inferior de A. Isto e claro se c b. Por outro lado, se a < c < b ent ao x =
a+c 2

e um elemento de A, com a < x < c, o que prova que c n ao

e cota inferior de A. Assim a = inf (A). De modo an alogo se mostra que b = sup(A). Neste caso, tem-se sup(A) A e inf (A) A. Exemplo 1.6.5: Sejam X = {x Q; I x 2 e x2 < 2} e Y = {y Q; I y > 0 e y 2 > 2}. Como x > 2 nos leva a x2 > 4 temos que x X , conclu mos, ent ao, que X [0, 2], logo X e um conjunto limitado de n umeros racionais. Por outro lado, Y (0, +), de modo que Y e limitado inferiormente. Note que o conjunto X possui inf (X ) = 0, pois 0 e o menor elemento de X . Entretanto, n ao existe sup(X ), assim como n ao existe inf (Y ) em Q I e s ao estas arma co es que mostraremos agora. Para isto, estabeleceremos os seguintes fatos: (A) O conjunto X n ao possui elemento m aximo.

CAP ITULO 1.

NUMEROS REAIS

26

Com efeito, dado x X , isto e, dado um n umero racional n ao-negativo cujo quadrado e inferior a 2, tomamos um n umero racional r < 1 tal que 2 x2 . 0<r< 2x + 1 (1.1)

Armamos que x + r ainda pertence a X . De fato, de r < 1 segue-se r2 < r. Da desigualdade (1.1) segue-se r(2x + 1) < 2 x2 . Por conseguinte, (x + r)2 = x2 + 2rx + r2 < x2 + 2rx + r = x2 + r(2x + 1) < x2 + 2 x2 = 2. Assim, dado qualquer x X , existe um n umero maior, x + r X . (B) O conjunto Y n ao possui elemento m nimo. De fato, dado qualquer y Y , temos y > 0 e y 2 > 2. Logo podemos obter um n umero racional r tal que 0<r< Ent ao 2ry < y 2 2 e da (y r)2 = y 2 2ry + r2 > y 2 2ry > 2. Observa-se tamb em que r< y 1 , 2 y y2 2 . 2y

donde r < y , isto e, y r e positivo. Assim, dado y Y arbitr ario, podemos obter y r Y com y r < y . (C) Se x X e y Y , ent ao x < y . Com efeito, tem-se x2 < 2 < y 2 e, portanto, x2 < y 2 . Como x e y s ao ambos positivos, conclui-se que x < y . Usando os fatos de (A), (B) e (C) mostraremos que, entre os n umeros racionais, n ao existem sup(X ) nem inf (Y ). Veja,

CAP ITULO 1.

NUMEROS REAIS

27

Se existisse a = sup(X ), ent ao seria for cosamente a > 0. N ao poderia ser a2 < 2, porque isto obrigaria a X e, ent ao, a seria o elemento m aximo de X , que n ao existe, por (A). Tampouco poderia ser a2 > 2, porque isto faria a Y . Como, em virtude de (B), Y n ao possui elemento m nimo, existiria b Y , com b < a. Consequentemente usando (C), concluir amos que x < b < a para todo x X , o que contradiz ser a = sup(X ). Assim, se existir a = sup(X ), dever a ser a2 = 2. Mas, pelo Lema 1.3.1, n ao existe nenhum n umero racional com esta propriedade. Conclu mos que em Q I o conjunto X n ao possui supremo. Um racioc nio inteiramente an alogo, baseado nos fatos (A), (B) e (C), mostraria que o n umero b = inf (Y ), se existir, deve satisfazer b2 = 2, e, portanto, Y n ao possui nmo em Q. I Ao mesmo tempo, estes argumentos mostram que, se existir um corpo ordenado no qual todo conjunto n ao-vazio, limitado superiormente, possua supremo, existir a, neste dito corpo, um elemento a > 0 cujo quadrado 1 2. Com efeito, tal corpo, sendo ordenado cont em Q, I 2 logo cont em o conjunto X e nele existir a a = sup(X ), cujo quadrado, n ao podendo ser menor nem maior do que 2, dever a ser igual a 2, ou seja, a = 2. Tudo isto, nos leva ao conjunto dos n umeros reais, o qual possui a seguinte propriedade:

Propriedade do Supremo Todo conjunto de n umeros reais, n ao vazio e limitado superiormente, admite supremo. Esta propriedade nos diz que IR e um corpo ordenado completo, o qual cont em sup(X ), assim como inf (Y ). Segue imediatamente dessa propriedade que, no conjunto dos reais, todo conjunto n aovazio A IR, limitado inferiormente, possui um nmo. Com efeito, dado A, seja B = A, isto e, B = {a; a A}. Ent ao B e n ao-vazio e limitado superiormente; logo existe x = sup(B ). Como se v e facilmente, tem-se x = inf (A).

Propriedade de Arquimedes Se x > 0 e y s ao dois n umeros reais quaisquer, ent ao, existe pelo menos um n umero

CAP ITULO 1. natural n tal que

NUMEROS REAIS

28

nx > y. Demonstra c ao Suponhamos, por absurdo, que para todo natural n, nx y . Consideremos ent ao o conjunto A = {nx; n IN}. A e n ao vazio, pois 1 x = x A, e limitado superiormente por y , logo admite supremo. Seja s o supremo de A. Como x > 0, s x < s; assim, evidentemente s x n ao e cota superior de A; logo existe um n umero natural m tal que s x < mx e da s < (m + 1)x que e uma contradi c ao, logo, nx > y para algum natural n.

Como aplica ca o, imediata, da propriedade de Arquimedes temos o seguinte exemplo: Exemplo 1.6.6: (a) Para todo x > 0, existe pelo menos um n umero natural n tal que
1 n

< x.

(b) Para todo n umero real x existe pelo menos um n umero natural n tal que n > x. Solu c ao (a) Como x > 0, pela propriedade de Arquimedes, existe um n umero natural n tal que nx > 1 e, portanto,
1 n

< x. O leitor deve observar que nx > 1 nos leva a n = 0.

(b) Como 1 > 0, pela propriedade de Arquimedes, existe um n umero natural n tal que n > x.

CAP ITULO 1.

NUMEROS REAIS

29

1.7

Princ pio de Indu c ao Finita

O conjunto dos n umeros naturais possui uma importante propriedade que enuciaremos a seguir. Por em antes vale ressaltar que P (n) indicar a uma proposi ca o, que pode ser falsa ou verdadeira, associada ao n umero natural n. Por exemplo: 2n > n n+1=n 1 + 2 + 3 + ... + n = s ao proposi c oes associadas ao n umero natural n. A propriedade a qual nos referimos e chamada princ pio de indu c ao nita que ser a por n os admitido e cujo enunciado e o seguinte: Princ pio de Indu c ao Finita Sejam a um n umero natural dado e P (n) uma proposi c ao associada a cada n umero natural n, n a. Suponhamos que (i) P (n) seja verdadeira para n = a; (ii) para todo n umero natural k a n(1 + n) 2

P (k ) P (k + 1). Ent ao P (n) e verdadeira para todo n umero natural n a. Como interessante aplica c ao desse princ pio, vamos estabelecer a seguinte desigualdade, conhecida como Desigualdade de Bernoulli. Exemplo 1.7.1: Quaisquer que sejam o n umero x 1 e o n umero n 1, vale a seguinte desigualdade (1 + x)n 1 + nx. Solu c ao Para n = 1, eo bvio.

CAP ITULO 1.

NUMEROS REAIS

30

Vamos provar que P (k ) implica P (k + 1). Para isso partimos de P (k ), isto e, (1 + x)k 1 + kx. Multiplicando esta desigualdade pelo n umero n ao negativo 1 + x, obtemos: (1 + x)k+1 (1 + kx)(1 + x) = 1 + (k + 1)x + kx2 . Como kx2 0, podemos desprezar este termo, obtendo P (k + 1): (1 + x)k+1 1 + (k + 1)x. Isto completa a demonstra c ao, pois sabemos que P (1) e verdadeira e que P (k ) implica P (k + 1), concluimos, ent ao, pelo princ pio de indu c ao nita, que a desigualdade e verdadeira para todo n umero natural n. Vejamos mais alguns exemplos de aplica ca o desse princ pio. Exemplo 1.7.2: Prove que 10n > n para todo n umero natural n 1. Solu c ao Para n = 1, a proposi c ao e verdadeira pois 10 > 1. Provemos, agora, que para todo k 1 10k > k 10k+1 > k + 1. De fato 10k > k 10k+1 > 10k > k + 1 ou seja, 10k > k 10k+1 > k + 1. Segue do princ pio de indu ca o nita que, para todo n umero natural n 1, 10n > n.

CAP ITULO 1. Exemplo 1.7.3:

NUMEROS REAIS

31

Seja P (n), n 0 a proposi ca o n + 1 = n. Observe que, para todo k 0, P (k ) P (k + 1) pois, se k + 1 = k , somando 1 aos dois membros, obt em-se (k + 1) + 1 = k + 1. Entretanto, n ao existe um n umero natural a que torne P (n) verdadeira, pois se existisse um n umero natural a que tornasse P (n) verdadeira, ter amos a + 1 = a e, pela lei do cancelamento, 1 = 0 (absurdo !?!?). Portanto o princ pio de indu c ao nita n ao se aplica, pois a hip otese (i) n ao se verica. Exemplo 1.7.4: Para todo n umero natural n 1 1 + 2 + 3 + ... + (n 1) + n = Solu c ao Seja P (n) a proposi ca o acima. Para n = 1, P (n) e verdadeira, pois o primeiro membro e igual a 1 e o segundo e igual a
1(1+1) 2

n(1 + n) . 2

= 1. Provemos, que, para todo k 1, P (k ) P (k + 1).

P (k ) e a proposi ca o 1 + 2 + 3 + ... + (k 1) + k = e P (k + 1) e a proposi ca o 1 + 2 + 3 + ... + (k 1) + k + (k + 1) = Somando k + 1 aos dois membros de P (k ), vem: 1 + 2 + 3 + ... + (k 1) + k + (k + 1) = k (1 + k ) + (k + 1) 2 k (k + 1) + 1(k + 1) 2 (k + 1)(2 + K ) . 2 k (1 + k ) 2

CAP ITULO 1.

NUMEROS REAIS

32

= Portanto, para todo k 1 P (k ) P (k + 1).

(k + 1)(2 + k ) . 2

Como as hip oteses (i) e (ii) do princ pio de indu c ao nita est ao vericadas, resulta que P (n) e verdadeira para todo n umero natural n 1. Exemplo 1.7.5: Prove, por indu ca o nita, que 1 + t + t2 + ... + tn = com t = 1, para todo n umero natural n 1. Solu c ao Seja P (n) a proposi ca o acima. Para n = 1 1 t1 + 1 1 t2 = =1+t 1t 1t logo P (n) e verdadeiro para n = 1. P (k ) e a proposi ca o 1 + t + t2 + ... + tk = e P (k + 1) 1 + t + t2 + ... + tk + tk + 1 = 1 tk + 2 . 1t 1 tk + 1 1t 1 tn + 1 , 1t

Provemos que P (k ) P (k + 1) para todo k 1; somemos tk + 1 aos dois membros de P (k ): 1 + t + t2 + ... + tk + tk + 1 = Portanto, para todo k 1 P (k ) P (k + 1). Segue do princ pio de indu ca o nita que P (n) e verdadeira para todo n 1. Exemplo 1.7.6: Prove que n! > 2n 1 para todo n umero natural n 3. 1 tk + 1 1 tk + 2 + tk + 1 = . 1t 1t

CAP ITULO 1. Solu c ao

NUMEROS REAIS

33

Para n = 3, 3! = 1 2 3 = 6 e 22 = 4, logo, 3! > 22 . Assim a proposi c ao e verdadeira para n = 3. Para todo k 3, temos k ! > 2k 1 2(k !) > 2 2k 1 (k + 1) (k !) > 2k ; como (k + 1) (k !) = (k + 1)! resulta k ! > 2k 1 (k + 1)! > 2k para todo k 3. Segue do princ pio de indu c ao nita que a proposi ca o e verdadeira para todo n 3.

1.8

Exerc cios
|x + y | = |x| + |y |

1. Prove que

se, e somente se, x e y s ao ambos negativos ou ambos positivos. 2. Sejam a e b n umeros reais positivos. Mostre que: (a) (b) 3. b < x < a |2x + b a| < a + b. 2b < x + a b < 2a |x| < a + b.

Justique ou d e contra-exemplo para as implica co es seguintes: (a) (b) a = b |a| = |b|. |a| = |b| a = b.

4. Seja Y Q. I Mostre que o conjunto das fra co es do tipo 1 , 2n

1 com n N , possui inf (Y ) = 0 e sup(Y ) = 2 .

5. Use a propriedade do supremo para provar a exist encia da raiz n- esima positiva de qualquer n umero a > 0, com a = 1. 6. Prove, por indu ca o nita, que 1 + 3 + 5 + ... + (2n + 1) = (n + 1)2

CAP ITULO 1. para todo n 0. 7.

NUMEROS REAIS

34

Para que valores de n a arma c ao dada e verdadeira? Justique sua resposta por

indu ca o nita. (a) (b) 8. 3n > n!. n2 > n + 1.

Sejam u e v dois n umeros reais, com u > v > 0. Prove que (a) un v n > (u v )n . n uv > nu nv

(b) Usando (a) prove que

para todo natural n 2.

Cap tulo 2 Sequ encias de N umeros Reais

Na An alise os conceitos e resultados mais importantes se referem a limites, direto ou indiretamente. Da , num primeiro momento, estudaremos os limites de seq u encias de n umeros reais, os quais s ao mais simples, mais adiante, estudaremos os limites de derivadas, seq u encias de fun c oes e outros. Intuitivamente, podemos pensar numa seq u encia (a1 , a2 , ..., an , ...) de n umeros reais como sendo uma seq u encia de pontos da reta e o seu limite como sendo um ponto do qual os pontos an tornam e permanecem arbitrariamente pr oximos, desde que se tome o ndice n sucientemente grande.

2.1

No c oes Preliminares

Uma seq u encia de n umeros reais e uma fun c ao f : IN IR , denida no conjunto IN = {1, 2, 3, 4, ...} dos n umeros naturais e tomando valores no conjunto IR dos n umeros reais. O valor f (n) ser a representado por an , para todo n IN, e chamado o termo geral, ou n- esimo termo da seq u encia. comum usarmos as nota E co es (an ) , (an )nIN , (a1 , a2 , a3 , ...) ou simplesmente an para reprensentar uma seq u encia. Usaremos ainda a nota ca o {an } para indicar o conjunto de valores da seq u encia. Essa distin ca o e importante, pois uma seq u encia pode possuir innitos elementos, mesmo que seu conjunto de valores seja nito. Exemplo 2.1.1: 35

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS A seq u encia 1, 1, 1, 1, 1, 1, ... e innita, com an = (1)n = (1)n1 . Mas observe que seu conjunto de valores possui somente dois valores, +1 e -1, ou seja, {an } = {+1, 1}.

36

De acordo com a deni c ao que demos anteriormente, o ndice de uma seq u encia (an ) come ca em n = 1, ou seja a1 e seu primeiro termo. Observe, o leitor, que a seq u encia de termo geral an = 1 n3

s o faz sentido para n = 4, 5, 6, ... de modo que seu primeiro termo e a4 . N ao pense, o leitor, que isto seja um obst aculo, pois podemos, e faremos, uma transla c ao de ndices de forma que o primeiro termo da seq u encia tenha ndice n = 1. De fato, denindo a seq u encia 1 bn = an+4 = n+1 a seq u encia ca denida a partir de n = 1. Seja (an ) uma seq u encia. Dizemos que (an ) e crescente se a1 < a2 < a3 < ... < an ..., isto e, se an < an+1 Agora se a1 > a2 > a3 > ... > an ..., isto e, se an > an+1 dizemos que a seq u encia e decrescente. A seq u encia (an ) e n ao-crescente se a1 a2 a3 ... an ... e n ao-decrescente se a1 a2 a3 ... an ...

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Se uma seq u encia satisfaz qualquer uma dessas propriedades ela e dita mon otona.

37

Uma seq u encia an e dita ser limitada superiormente se existir um n umero real tal que , para todo n umero natural n, temos an . De maneira an aloga dizemos que uma seq u encia an e limitada inferiormente se existir um n umero real tal que, para todo n umero natural n, temos an . Se existirem reais e tais que, para todo n umero natural n, temos an , dizemos que an e uma seq u encia limitada. Note que uma seq u encia e limitada se, e somente se, ela e limitada superiormente e inferiormente. Em outra palavras, uma seq u encia e limitada se todos os seus termos pertencem ao intervalo [, ]. Lema 2.1.2: A seq u encia (an ) de n umeros reais e limitada se, e somente se, (|an |) e limitada. Demonstra c ao: Observe que todo intervalo [, ] est a contido num intervalo maior da forma [c, c] com c > 0, basta o leitor fazer c = max{|| , | |}. Uma vez que an [c, c] e o mesmo que |an | c, a seq u encia (an ) e limitada se, e somente se, existe um n umero real c > 0 tal que |an | c para todo n IN, e portanto (an ) e limitada se, e somente se, (|an |) e limitada.

Dada uma seq u encia f = (an )nIN de n umeros reais, uma subseq u encia de f e a restri ca o de f a um subconjunto innito IN = {n1 < n2 < n3 < ... < ni , ...} de IN. Escrevemos f = (an )nIN ou (an1 , an2 , an3 , ..., ani , ...) ou (ani )iIN para representar uma subseq u encia. Lema 2.1.3: Uma seq u encia (an )nIN mon otona e limitada se, e somente se, possui uma subseq u encia limitada.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Demonstra c ao:

38

Se a seq u encia (an )nIN mon otona e limitada, e f acil ver que toda subseq u encia e limitada. Seja an1 an2 an3 ... ank ... b uma subseq u encia limitada da seq u encia n aodecrescente (an ). Note que para qualquer n IN, existe um nk > n e, portanto, an ank b. Logo an b para todo n. Conseq uentemente, (an )nIN e limitada.

Exemplo 2.1.4: Sendo (an ) = 1 para todo n IN, temos a seq u encia constante (1, 1, 1, 1, ...), obviamente ela e limitada, n ao-decrescente e n ao-crescente. Exemplo 2.1.5: Sendo (an ) = n para todo n IN, temos a seq u encia (1, 2, 3, 4, ..., n, ...), que e limitada inferiormente, ilimitada superiormente, mon otona crescente. Exemplo 2.1.6: Se para n par temos an = 0 e n mpar temos an = 1, obtemos uma seq u encia limitada e n ao mon otona que e (1, 0, 1, 0, 1, ...). Exemplo 2.1.7: Seja an =
1 n

para todo n IN. Esta e a seq u encia 1 1 1 1 (1, , , , , ...) 2 3 4 5

que e mon otona decrescente e limitada. Exemplo 2.1.8: Consideremos a seq u encia (a1 , a2 , a3 , a4 , ..., an , ...) das pot encias de a, com a IR e n IN. (i) (ii) Se a = 0 ou a = 1, temos obviamente uma seq u encia constante. Se 0 < a < 1, a seq u encia e decrescente e limitada. Com efeito, multiplicando

ambos os membros da desigualdade a < 1 por an obtemos an+1 < an , e assim a seq u encia e decrescente. Observe, o leitor, que todos os termos dessa seq u encia s ao positivos e portanto 0 < an < 1

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS para todo n IN, em outra palavras esta seq u encia e limitada. (iii)

39

Se 1 < a < 0, a seq u encia (an ) n ao e mon otona, pois seus termos s ao alterna-

damente positivos e negativos, respectivamentnte se n e par ou mpar, contudo, a seq u encia e limitada. De fato, como |an | = |a|n e 0 < |a| < 1, pelo item (ii) e Lema 2.1 conclui-se a arma ca o. (iv) (v) Se a = 1 temos a seq u encia (1, 1, 1, 1, ...) cuja an alise e trivial. Se a > 1 obtemos uma seq u encia crescente ilimitada. Com efeito, multiplicando

ambos os membros da desigualdade a > 1 por an obtemos an+1 > an , logo a seq u encia e crescente. Quanto a ser ilimitada, observe que a = 1 + h com h > 0 IR e fazendo uso da desigualdade de Bernoulli concluimos que an > 1 + nh. Note tamb em que dado qualquer n umero real b, podemos achar n tal que an > b, para isto, basta tomar n> Donde obtemos 1 + nh > b que por sua vez nos leva a an > b. Portanto, a seq u encia (an ) e crescente ilimitada. (vi) Se a < 1 a seq u encia (an ) n ao e mon otona, pois seus termos s ao alternadamente b1 . h

positivos e negativos, e e ilimitada superior e inferiormente. Com efeito, seus termos de ordem par, a2n = (a2 )n , constituem, pelo item v, uma subseq u encia crescente, ilimitada superiormente, de n umeros positivos. Enquanto isso, seus termos de ordem mpar, a2n+1 = a(a2n ), constituem uma subseq u encia decrescente, ilimitada inferiormente, pelo item v.

2.2

Limite de uma Sequ encia

Intuitivamente, dizer que o n umero real L e limite da seq u encia (an ) signica armar que, a ` medida que o ndice n cresce, os termos an tornam-se e se mant em t ao pr oximo de L quanto se deseje. Dizer que an vai-se tornando t ao pr oximo de L quanto se deseje signica dizer que |an L| torna-se inferior a qualquer n umero positivo , por menor que seja, desde que fa camos o ndice n sucentemente grande. Dizemos que o n umero real L e o limite da

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS seq u encia (an ) de n umeros reais, e escrevemos
n

40

lim an = L,

lim an = L

ou

an L.

Quando lim an = L, diz-se que a seq u encia (an ) converge para L, ou tende para L. Uma seq u encia que possui limite chama-se convergente, caso contr ario, divergente. Isto nos leva a ` seguinte deni ca o: Deni c ao 2.2.1: Diz-se que uma seq u encia (an ) converge para o n umero L, ou tem limite L se, dado qualquer n umero > 0, e sempre poss vel encontrar um n umero no tal que n > no Em linguagem simb olica lim an = L > 0 no IN : n > no |an L| < . Observe que se lim an = L ent ao qualquer intervalo (L , L + ), de centro L e raio > 0, cont em os termos an da seq u encia, com exce c ao no m aximo de um n umero nito de ndices n. Com efeito, dado o intervalo (L , L + ), com lim an = L, obtemos no IN : n > no |an L| < . Ou seja, n > no an (L , L + ). Assim, fora do intervalo (L , L + ) s o poder ao estar, no m aximo, os termos a1 , a2 , a3 , ..., ano . Reciprocamente, se qualquer intervalo de centro L cont em todos os an , salvo talvez para um n umero nito de ndices n, ent ao lim an = L. Com efeito, dado qualquer > 0, o intervalo (L , L + ) conter a todos os an exceto para um n umero nito de ndices n. Seja no o maior ndice n tal que an (L , L + ). Ent ao n > no ou seja |an L| < . Isto prova que lim an = L. an (L , L + ), |an L| < .

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Exemplo 2.2.2: Prove, segundo a deni ca o, que a seq u encia ( an ) = ( converge para o n umero 1. Solu c ao: Note que, dado qualquer > 0, |an 1| = n 1 1 1 = <n> 1 n+1 n+1
1

41

1 2 3 n n ) = ( , , , ... , ...) n+1 2 3 4 n+1

Logo, dado qualquer > 0 existe no =

1 tal que n 1 < , n+1

n > no

o que vem de encontro com a deni ca o 2.1, como queriamos. Exemplo 2.2.3: Calcule o ponto de convergencia da seq u encia, abaixo an = Solu c ao: Antes de calcularmos o pedido, observemos que: (i) Dividindo o numerador e denominador por n e lembrando que 3n . n + sen(2n)

[sen(2n)]/n 0, vemos que o ponto procurado e 3; (ii) e f acl, tamb em, ver que |n + sen(2n)| n |sen(2n)| n 1. Assim, |an 3| = 3 |sen(2n)| 3 3 3 . |n + sen(2n)| |n + sen(2n)| n |sen(2n)| n1

Portanto, dado qualquer > 0, temos que |an 3| 3 1 <n>1+ . n1

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Consequentemente o ponto de convergencia da seq u encia e 3, pois > 0 no = 1 + 1 : n > no |an 3| < .

42

Demonstraremos, agora, que uma seq u encia n ao pode possuir dois limites distintos, ou seja, se o limite existe ele eu nico. Teorema 2.2.4: Se lim an = L e lim an = L1 ent ao L = L1 . Demonstra c ao: Suponhamos que L = L1 e tomemos < |L L1 | . 2

Se lim an = L, ent ao, para um certo n1 temos n > n1 |an L| < . Da mesma forma se, lim an = L1 , ent ao, para um certo n2 temos n > n2 |an L1 | < . Seja no = max{n1 , n2 }, de forma que n > no nos leva simultaneamente a n > n1 e n > n2 . Assim, n > no implica que |L L1 | = |(L an ) + (an L1 )| |L an | + |L1 an | < 2 < |L L1 | , o que e aburdo. Logo, L = L1 .

Este teorema nos d a a Unicidade do limite. Se insistirmos em calcular limites pela deni ca o, isto pode tornar-se um trabalho muito complicado. Por em com esta deni ca o podemos estabelecer propriedades que torna este trabalho um pouco menos complicado, como veremos daqui por diante. Teorema 2.2.5: Se lim an = L ent ao toda subseq u encia de (an ) converge para o limite L.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Demonstra c ao:

43

Seja (an1 , an2 , an3 , ..., ani , ..) uma subseq u encia de (an ). Dado > 0, existe no IN tal que n > no |an L| < . Como os ndices da subseq u encia formam um subconjunto innito, existe entre eles um nio > no . Ent ao ni > nio ni > no |ani L| < . Logo lim ani = L.

Corol ario 2.2.6: Se limn an = L ent ao, para todo k IN, limn an+k = L. Demonstra c ao: Com efeito, (a1+k , a2+k , a3+k , a4+k , ..., an+k , ...) e uma subseq u encia de (an ) e pelo teorema anterior seu limite e L.

Nota 2.2.7: Este u ltimo corol ario nos diz que o limite de uma seq u encia n ao se altera quando dela retiramos um n umero nito de termos. Mas geral, e o teorema anterior a este corol ario, que diz que podemos retirar um n umero innito de termos de uma seq u encia, desde que se conserve uma innidade de ndices, de modo a restar uma subseq u encia, que o limite, ainda, se mant em. Teorema 2.2.8: Toda seq u encia convergente e limitada. Demonstra c ao: Seja (an ) uma seq u encia que converge par L. Ent ao dado qualquer > 0, exite no IN tal que n > no L < an < L + . Isto quer dizer que a partir do ndice n = no + 1, a seq u encia e certamente limitada: ` a direta por L + e a ` esquerda por L . Falta, ent ao , acrescentarmos os termos restantes

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS da seq u encia, para isto, basta considerarmos, dentre todos os n umeros a1 , a2 , ..., an , L , L + ,

44

aquele que e o menor de todos, digamos A, e aquele que e o maior de todos, digamos B e ent ao ser a verdade, para todo n, que A an B, como queriamos demonstrar.

Quando uma seq u encia n ao e limitada, seus elementos podem se espalhar por toda a reta, distanciando-se uns dos outros, como acontece com an = n, an = 1 n ou an = (1)n (2n +1). Se a seq u encia for limitada, estando seus elementos connados a um intervalo [A, B ], eles s ao for cados a se acumularem em um ou mais lugaresdesse intervalo. Isto e o que nos diz o Teorema de Bolzano-Weierstrass, enuciado a seguir, cuja demonstra ca o est a baseada na propriedade do supremo. Para mais detalhes, vinde [1], pg. 36. Teorema 2.2.9: de Bolzano-Weierstrass Toda seq u encia limitada (an ) possui uma subseq u encia convergente. Demonstra c ao: Como a seq u encia e limitada, existe um n umero positivo M tal que, para todos os ndices n, M < an < M . Seja X o conjunto dos n umeros x tais que existe uma innidade de elementos da seq u encia a ` direita de x, isto e, x < an para uma innidade de ndices n. E claro que M X e M e uma cota superior de X . Tratando-se, pois, de um conjunto n ao vazio e limitado superiormente, X possui supremo, que designamos por A. Vamos provar que existe uma subseq u encia convergindo para A. Come camos provando que, qualquer que seja > 0, existem innitos ndices n tais que A < an e somente um n umero nito satisfazendo A + < an . De fato, sendo A o supremo de X , existe x X a ` direita de A e innitos an a ` direita desse x, portanto a ` direita de A ; ao mesmo tempo, s o pode existir um n umero nito de elementos an > A + ; do contr ario, qualquer n umero entre A e A + estaria em X . Seja = 1 e an1 um elemento da seq u encia no intervalo (A 1, A + 1). Em seguida, seja an2 , com n2 > n1 , um elemento da seq u encia no intervalo (A 1 ,A + 1 ). Em seguida, seja 2 2

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS

45

1 ,A + 1 ). Continuando com an3 , com n3 > n2 , um elemento da seq u encia no intervalo (A 3 3

esse raciocinio, construimos uma subseq u encia (xj ) = (anj ), que certamente converge para A, pois |xj A| < 1 . E assim a demonstra c ao esta completa. j Al em de sua import ancia, tanto te orico como pr atica, o teorema abaixo teve papel hist orico relevante. Foi tentando prov a-lo de maneira puramente aritm etica que Dedekind(1858) vericou a imposibilidade de faz e-lo sem antes possuir uma teoria matem atica satisfat oria dos n umeros reais. Teorema 2.2.10: Toda seq u encia mon otona limitada e convergente. Demonstra c ao: Consideremos, para xar as id eias, a seq u encia (a1 a2 ... an ...) n ao-decrescente limitada. A hip otese de ser limitada signica que ela e limitada superiormente, ou seja, seu conjunto de valores possui supremo S . Armamos que lim an = S . Com efeito, dado qualquer > 0, como S < S , o n umero S n ao e cota superior do conjunto dos an . Logo existe u encia e mon otona, algum no IN tal que S < ano . Como a seq n > no ano an e, portanto, S < an . Como an S para todo n, vemos que n > no S < an < S + . Assim completamos nossa demonstra ca o.

Corol ario 2.2.11: Se uma seq u encia mon otona (an ) possui uma subseq u encia convergente, ent ao (an ) e convergente. Demonstra c ao:

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS

46

Com efeito, pelo Lema 2.2, a seq u encia mon otona (an ) e limitada e consequentemente pelo teorema anterior esta demonstrado o corol ario.

2.3

Opera co es com limites

Mostraremos agora algumas opera co es, soma, multiplica c ao e divis ao, dos limites de seq u encias. Teorema 2.3.1: Se lim an = 0 e (bn ) e uma seq u encia limitada, lim an .bn = 0. Iste resultado e v alido, ainda, que lim bn n ao exista. Demonstra c ao: Sendo (bn ) limitada, existe c > 0 tal que |bn | < c prar todo n IN. Dado > 0, como lim an = 0, podemos encontrar no IN tal que n > no |an | < . c Logo, n > no |an .bn | = |an | . |bn | < .c = . c Isto nos montra que an .bn 0.

Exemplo 2.3.2: Qualquer que seja x IR, temos sen(nx) = 0. n n lim Solu c ao: De fato, 1 sen(nx) = sen(nx). . n n Como |sen(nx)| 1,

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS em outras palavras, e limitado e 1 0, n pelo teorema anterior, temos o resultado desejado. Lema 2.3.3:

47

Sendo lim bn = y , com y = 0, ent ao, salvo um n umro nito de ndices n, tem-se bn = 0. Demonstra c ao: Com efeito, sendo y = 0, podemos tomar um intervalo (y , y + ) de centro y , tal que 0 (y , y + ). Para isto, tome = |y |. Ent ao existe no IN tal que n > no bn (y , y + ) isto e n > no bn = 0.

Teorema 2.3.4: Seja lim an = x e lim bn = y , ent ao: (a) (b) (c) lim(an + bn ) = x + y e lim(an bn ) = x y ; lim(an .bn ) = x.y ;
n lim( a )= bn

x y

se y = 0.

Demonstra c ao: (a) tais que: n > n1 |an x| < e n > n2 |bn y | < . 2 Seja no = max{n1 , n2 }. Ent ao n > no , nos leva a n > n1 e n > n2 . Logo n > no implica: |(an + bn ) (x + y )| = |(an x) + (bn y )| |an x| + |bn y | < + < . 2 2 2 Sendo lim an = x e lim bn = y temos, respectivamente que, existem n1 e n2 em IN

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Com isto provamos que lim(an + bn ) = x + y . De maneira an aloga se prova a diferen ca. (b) Observe que an bn xy = an bn an y + an y xy = an (bn y ) + (an x)y.

48

Pelo teorema 2.3, (an ) e uma seq u encia limitada e pelo item (a) lim(bn y ) = 0. Logo pelo teorema 2.5, lim[an (bn y )] = 0. De maneira an aloga temos, lim[(an x)b] = 0. Dessa forma temos, pelo item (a) lim(an bn xy ) = lim[an (bn y )] + lim[(an x)b] = 0, donde obtemos lim(an .bn ) = x.y. Para que a seq u encia
an bn

tenha sentido, ou seja, para que ela seja formada, limitamo-nos

aos ndices n sucientemente grandes de modo que bn = 0. (c) Note, pelo item anterior, que bn y y 2 , ou seja, existe no IN tal que n > no bn y > Para ver isto, basta tomar = e um n umero positivo inferior a
y2 2

y2 . 2
1 bn y

e achar o no correspondente. Da , para todo n > no ,

1 Logo, a seq u encia ( bn ) e limitada. Veja bem, y

2 . y2

an x yan xbn 1 = = (yan xbn ) . bn y bn y bn y Como

n

lim (yan xbn ) = xy xy = 0, an x ) = 0, bn y an x )= . bn y

segue do teorema 2.5 que lim( e portanto lim(

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Exemplo 2.3.5: Calcule o limite da seq u encia de n umeros reais an = onde x > 0. Solu c ao: 1 n x = xn ,

49

Note que esta seq u encia e decrescente se x > 1, crescente se x < 1 e limitada em qualquer um dos casos. Portanto, existe
n
1

lim x n = L.

Sem sombra de d uvida temos L > 0. De fato, (i) (ii) Se 0 < x < 1, ent ao L = sup{x n ; n IN} x. Se x > 1 ent ao x n > 1, para todo n, logo L = inf {x n ; n IN} 1
1 1 1

Podemos armar com toda certeza que lim x n = 1.

1

Com efeito, consideremos a subseq u encia (x n(n+1) ) = (x 2 , x 6 , x 12 , ...). Pelo teorema 2.2 e pelo item (c) do teorema 2.6 obtemos L = lim x Exemplo 2.3.6: Calcule
n
1 n(n+1) 1 1 1 1

= lim x

1 1 n+1 n

= lim

xn x
1 n+1

lim x n lim x
1 n+1

L = 1. L

lim

1 n n = lim n n .

Solu c ao: Primeiramente, vamos vericar se este limite existe. Para tanto, basta provar que a seq u encia e mon otona.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS

50

A seq u encia em quest ao e uma seq u encia de n umeros reais positivos, portanto limitada inferiormente. Vejamos se e mon otona: Para que seja n n> e necess ario e suciente que nn+1 > (n + 1)n , isto e, que n > (1 + 1 n ) . n
n+1

n+1

Isto de fato ocorre para todo n 3, pois sabemos que (1 + 1 n ) <3 n (verif ique!!!) n n e decrescente a partir do

seja qual for n. Assim conclu mos que a seq u encia dada por

seu terceiro termo. Note que 1 < 2 < 3 3, logo ela cresce em seus tr es primeiros passos, s o ent ao come cando a decrescer. Assim ( n n) e limitada e mon otona decrescente a partir do seu terceiro termo. Portanto seu limite existe. Seja lim n n
1 n 1

L.

Como a seq u encia e mon otona decrescente temos que

1 1

L = inf {n ; n IN}. Uma vez que n n > 1 para todo n IN, temos L 1. Em particular, L > 0. Considerando a subseq u encia (2n) 2n , temos L2 = lim[(2n) 2n ]2 = lim[(2n) n ] = lim[2 n .n n ] = lim 2 n . lim n n = L. Como L = 0, de L2 = L obtemos L = 1. Portanto, lim n n = 1.
1 1 1 1 1 1

2.4

Crit erio de Converg encia de Cauchy

Um crit erio de converg enciaj a foi dado antes, Teorema 2.4 (Toda seq u encia mon otona limitada e convergente ), ou seja, um teorema que nos permite saber, em certos casos, se uma dada seq u encia e convergente, mesmo sem conhecermos o valor desse limite. Mas e

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS

51

claro que muitas seq u encias convergentes n ao s ao mon otonas, de modo que aquele crit erio de converg encia n ao e o mais geral poss vel. Em contraste, o teorema seguinte e de car ater geral, e um crit erio de converg encia, que nos dar a uma condi c ao, n ao somente suciente mas tamb em necess aria, para a converg encia de qualquer seq u encia de n umeros reais. Este crit erio e conhecido como Crit erio de Converg encia de Cauchy. Deni c ao 2.4.1: Uma seq u encia de n umeros reais (an ) e dita ser uma uma seq u encia de Cauchy se ela satisfaz a seguinte condi c ao: dado arbitrariamente um n umero real > 0, pode-se obter no IN tal que m > no e n > no implicam |am an | < . Note, o leitor, que comparando esta deni c ao com a deni c ao de limite observamos que, na deni c ao de limite, exige-se que os termos an se aproximem arbitrariamente de um n umero real L, dado a priori. Enquanto que, para (an ) ser uma seq u encia de Cauchy, exige-se que seus termos am e an , para valores sucientemente grandes dos ndices m e n, se aproximem arbitrariamente uns dos outros, ou seja, imp oe-se, apenas, uma condi c ao sobre os termos da pr opria seq u encia. Lema 2.4.2: Toda seq u encia de Cauchy e limitada. Demonstra c ao: Seja (an ) uma seq u encia de Cauchy. Tomando = 1, obtemos no IN tal que m, n > no |am an | < 1. Em particular, n no |ano an | < 1, ou seja, n no an (ano 1, ano + 1). Sejam o menor e o maior elemento do conjunto {a1 , a2 , ..., ano 1, ano + 1}.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Ent ao an [, ] para cada n IN, logo (an ) e limitada.

52

Lema 2.4.3: Se uma seq u encia de Cauchy (an ) possui uma subseq u encia convergindo para L IR ent ao lim an = L. Demonstra c ao: Sendo (an ) uma seq u encia de Cauchy temos que dado > 0, existe no IN tal que m, n > no |am an | < . 2 Seja (ani ) uma subseq u encia de (an ) convergindo para L. Ent ao existe n1 > no tal que
|an1 L| < 2 . Portanto,

n > no |an L| |an an1 | + |an1 L| < Com isso mostramos que lim an = L.

+ = . 2 2

Teorema 2.4.4: Crit erio de Converg encia de Cauchy Uma seq u encia de n umeros reais e convergente se, e somente se, e Cauchy. Demonstra c ao: Seja (an ) uma seq u encia tal que lim an = L. Dado arbitrariamente > 0, existe no IN tal que m > no |am L| < e n > no |an L| < . 2 Logo, m, n > no |am an | |am L| + |an L| < Portanto (an ) e uma seq u encia de Cauchy. Reciprocamemte, seja (an ) uma seq u encia de Cauchy. Pelo Lema 2.4, ela e limitada. Consequentemente, pelo Teorema de Bolzano-Weierstrass, ela possui uma subseq u encia convergente. Finalmente do Lema 2.5 temos que (an ) converge. Isto completa a de + = . 2 2 2

monstra ca o do teorema.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS

53

2.5

Limites Innitos

Certas seq u encias, embora n ao convergentes, apresentam um comportamento tanto quanto regular, a saber, aquelas cujos valores se tornam e se mant em arbitrariamente grandes ou arbitrariamente pequenos com o crescer do ndice. Seq u encias com estas propriedades, dizemos que diverge para mais innito ou para menos innito respectivamente. Deni c ao 2.5.1: Seja (an ) uma seq u encia de n umeros reais. Dizemos que an diverge, ou tende , para mais innito, e escrevemos lim an = + quando, para todo n umero real A > 0 dado arbitrariamente, existe no IN tal que n > no an > A. Em outra palavras, para qualquer A > 0 dado, existe apenas um n umero nito de ndices n tais que an < A. Analogamente, dizemos que an diverge, ou tende , para menos innito, e escrevemos lim an = quando, para todo n umero real A > 0 dado arbitrariamente, existe no IN tal que n > no an < A. Em outra palavras, para qualquer A > 0 dado, existe apenas um n umero nito de ndices n tais que an > A. f E acil ver que lim an = se, e somente se, lim an = +. Portanto, se lim an = + ent ao (an ) e limitada inferiormente mas e ilimitada superiormente. Da mesma forma, se lim an = ent ao (an ) e ilimitada inferiormente mas limitada superiormente. Note, o leitor, que se lim an = + ent ao toda subseq u encia de (an ) tamb em tende para +. Exemplo 2.5.2: (a) Se an = n ent ao obviamente lim an = +.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS (b)

54

Seja an = xn com x > 1. Dessa forma x = 1 + h com h > 0. Ent ao dado A > 0, obtemos xn = (1 + h)n > 1 + nh > A desde que se tome n> Logo, se escolhermos um inteiro no > A1 . h teremos

A1 , h

n > no xn > A. (c) Para cada p IN temos que

n

lim np = +.

De fato, a seq u encia (1, 2, 3, 4, ...) possui (1, 2p , 3p , 4p , ...) como subseq u encia. (d) Para cada p IN temos que
n

lim n p = +.

Com efeito, porque a seq u encia (1, 2 p , 3 p , 4 p , ...) e crescente e possui a subseq u encia ilimitada (1, 2, 3, 4, ...). (e) A seq u encia an = (1)n .n n ao tem limite + nem pois e ilimitada nos dois sentidos. (f) A seq u encia (0, 1, 0, 2, 0, 3, 0, 4, ...) e limitada inferiormente, ilimitada superiormente mas n ao tem limite igual a + porque possui uma subseq u encia constante. Proposi c ao 2.5.3: Dada uma seq u encia n ao-decrescente (an ), ou ela e convergente, se for limitada, ou ela e divergente, ou seja lim an = +, se for ilimitada.
1 1 1

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Demonstra c ao:

55

Se (an ) for limitada e convergente como j a vimos anteriormente. Agora, sendo (an ) ilimitada, dado A > 0, existe no IN tal que ano > A. Como (an ) e n ao-decrescente, n > no an ano > A. Isto completa a demonstra c ao.

Vejamos, agora, algumas opera c oes aritm etica com limites innitos. Teorema 2.5.4: (a) (b) (c) Se lim an = + e (bn ) e limitada inferiormente, ent ao, lim(an + bn ) = +; Se lim an = + e existe c > 0 tal que bn > c para todo n IN, ent ao, lim an .bn = +. Seja an > 0 para todo n. Ent ao lim an = 0 lim (d) 1 = +; an

Sejam (an ) e (bn ) seq u encias de n umeros positivos. Ent ao: (i) se existe c > 0 tal que an > c para todo n e se lim bn = 0 tem-se lim (ii) an = +; bn

n se (an ) e limitada e lim bn = + ent ao lim a = 0. bn

Demonstra c ao: (a) Seja A > 0 dado. Sendo (bn ) limitada inferiormente, existe c IR tal que c < bn para todo n IN. Existe tamb em no IN tal que n > no an > A c. Segue-se que n > no an + bn > A c + c = A, donde lim(an + bn ) = +.

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS (b) Dado A > 0, existe no IN tal que n > no an > Logo n > no an .bn > e, portanto, lim(an .bn ) = +. (c) Supondo lim an = 0 e dado A > 0 existe no IN tal que n > no 0 < an < e, portanto,
1 an

56

A . c

A .c = A c

1 A

> A. Logo lim( 1 ) = +. an

) = +, dado > 0 existe no IN tal que Reciprocamente, se lim( a1 n n > no 1 1 > an

e, portanto, 0 < an < . Consequentemente lim an = 0. (d) (i) Dado A > 0, existe no IN tal que n > no 0 < bn < Ent ao n > no Portanto, lim (ii) an = +. bn an c > c = A. bn A c . A

Sendo (an ) limitada, existe k > 0 tal que an < k para todo n e dado > 0, existe no IN tal que n > no bn > k .

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Ent ao n > no 0 < e assim lim( E a demonstra ca o do teorema esta completa. an ) = 0. bn k an < k = , bn

57

Exemplo 2.5.5: Considere x > 1 e prove que xn = +. n n lim Solu c ao: Como x > 1 temos que a = 1 + h, com h > 0. Assim xn = (1 + h)n 1 + nh = Logo, xn 1 (n 1) 2 +h+ h n n 2 para n 2. Como
n

n(n 1) 2 h. 2

lim (

1 (n 1) 2 +h+ h ) = + n 2 xn = +. n

segue que lim Como queriamos. De maneira, an aloga prova-se que para todo p IN e x > 1 tem-se xn = +. n np lim Esta prova deixamos a cargo do leitor. Exemplo 2.5.6: Mostre que para todo n umero real x > 0 x! = +. n xn lim

 ENCIAS CAP ITULO 2. SEQU DE NUMEROS REAIS Solu c ao: Seja no IN tal que
no x

58

>2ek=

no ! . xno

Para todo n > no , teremos

x! n no + 1 no + 2 ... > k (2)nno . =k n x x x x Da segue que x! = +. n xn lim Este exemplo mostra que o fatorial de n cresce mais r apido do que xn , seja qual for x > 0 xo, ou seja, xn = 0. n x! lim

2.6
1.

Exerc cios
Seja a seq u encia xn = 1 + a + ... + an = 1 an+1 1a

com a IR e 0 < a < 1. Prove que esta seq u encia e crescente e limitada para todo n. 2. Prove que a seq u encia com x1 = 0 e x2 = 1 dada por 1 xn+2 = (xn + xn+1 ) 2 para todo n = 1, 2, 3, 4, ... e limitada. 3. 4. Prove que se, lim xn = a > 0, existe no IN tal que n > no xn > 0. Sejam (xn ) e (yn ) seq u encias convergentes. Prove que se xn yn para todo n IN

ent ao lim xn lim yn . 5. 6. Sejam xn zn yn para todo n IN. Se lim xn = lim yn = a, prove que lim zn = a. Seja (xn ) a seq u encia denida por |xn+2 xn+1 | |xn+1 xn | para o < < 1. Prove que (xn ) e uma seq u encia de Cauchy, e portanto convergente. 7. Usando o exerc cio anterior prove que: 1 a (x + ) > 2 x a . 2

Cap tulo 3 No co es de Topologia

O leitor deve ter observado, no decorrer deste texto, que a An alise Matem atica se fundamenta nos n umeros reais. Partindo desse princ pio, faremos um estudo das fun c oes reais de uma vari avel real de maneira puramente anal tica, ao contr ario do que acontece nos cursos de C alculo onde o estudo e feito apoiando-se na intui ca o geom etrica. Mas, n ao pense o leitor, que as id eias geom etricas ser ao abandonadas, pois ser ao usadas como guia importante da intui ca o, na busca dos caminhos da constru c ao l ogica. Em qualquer estudo de Topologia e indispens avel a no c ao de conjunto e e, por isso, que veremos agora algumas no c oes b asicas de conjunto e e claro que o leitor j a conhece v arias delas. Todos os conjuntos aqui considerados s ao conjuntos de n umeros reais, ou seja, s ao subconjuntos de IR. Fiquemos atentos para as nota co es: 1. 2. 3. 4. x A signica x pertence a A ou x e elemento de A; A B signica A e um subconjunto de B ou todo elemento de A est a em B ; A=B e o mesmo que A B e B A simultaneamente; Dados dois conjuntos A e B , (a) A B signica, interse c ao, o conjunto de todos os elementos que est ao em A e em B simultaneamente; (b) A B signica, uni ao, o conjunto de todos os elementos que est ao em pelo menos um dos conjuntos A e B . 59

 CAP ITULO 3. NOC OES DE TOPOLOGIA 5. O s mbolo signica um conjunto sem qualquer elemento, ou seja, vazio. Vejamos algumas propriedades e deni co es sobre conjuntos. 1. 2. 3. 4. 5. 6. A B = B A; A B = B A; A (B C ) = (A B ) C ; A (B C ) = (A B ) C ; A (B C ) = (A B ) (A C ); A (B C ) = (A B ) (A C ).

60

Denimos o complementar de um conjunto A, indicado por Ac , como sendo o conjunto dos elementos que n ao est ao em A, ou melhor, Ac = IR A = {x IR : x A}. Observe o leitor que IRc = e c = IR. Em rela ca o a um outro conjunto B , o complementar de A e denido como B A = {x B : x A}. facil ver que B A = B Ac . Temos ainda as chamadas leis de De Morgan para dois E conjuntos A e B , 1. o complementar da uni ao e a interse c ao dos complementares (A B )c = Ac B c ; 2. o complementar da interse ca o e a uni ao dos complementares (A B )c = Ac B c .

 CAP ITULO 3. NOC OES DE TOPOLOGIA

61

A uni ao e a interse ca o de conjuntos se estende a mais de dois conjuntos e, em geral, a uma quantidade ilimitada qualquer. Assim, dada uma fam lia qualquer (Ai )iI de conjuntos sua uni ao e sua interse ca o s ao denidas como {Ai : i I } = {x : x Ai para algum i I };

{Ai : i I } = {x : x Ai

para todo i I }.

De agora por diante sempre que falarmos em n umero sem qualquer especica c ao, entenderemos tratar-se de um n umero real. Como os n umeros reais s ao representados por pontos de uma reta, atrav es de suas abscissas, usaremos a palavra ponto em lugar de n umero , ou seja, ponto x signica n umero x . O conjunto dos n umeros reais e o espa co topol ogico, isto e, e um conjunto equipado com estruturas que permite falar em limites e continuidade de fun co es, mais frequentemente utilizado e por isso o mais importante. Passemos a estudar, nesse momento, as principais propriedades topol ogicas dos subconjutos da reta. Deni c ao 3.0.1: Dado um conjunto A IR, um ponto x A chama-se ponto interior de A quando existe um intervalo aberto (a, b) tal que x (a, b) A. O conjunto de todos os pontos interiores a A e indicado por int(A) e chamado o interior f de A . E acil ver que int(A) A e que se A B ent ao int(A) int(B ). Lema 3.0.2: Para que x A, A IR, seja um ponto interior do conjunto A e necess ario e suciente que exista > 0 tal que (x , x + ) A. Demonstra c ao: Se x (a, b) A, seja o menor dos n umeros positivos x e x + . Ent ao (x , x + ) (a, b), logo (x , x + ) A.

Outra maneira de exibirmos este lema e a que segue:

 CAP ITULO 3. NOC OES DE TOPOLOGIA

62

x e um ponto interior do conjunto A se, e somente se, existe > 0 tal que |y x| < implica y A. De fato, |y x| < signica que y pertence ao intervalo aberto (x , x + ). Exemplo 3.0.3: (1) Se A = (a, b), ou A = (, b) ou A = (a, +), ent ao int(A) = A. De fato, no

primeiro caso, para todo x A temos x (a, b) A. No segundo caso, dado arbitrariamente x A escolhemos a < x e temos x (a, b) A. O terceiro caso e an alogo ao segundo. (2) Sejam A = [a, b], B = [c, +) e C = (, d]. Ent ao int(A) = (a, b), int(B ) =

(c, +) e int(C ) = (, d). Com efeito, para cada x (a, b) temos x (a, b) A logo (a, b) int(A). Por outro lado a int(A), porque todo intervalo aberto contendo a possuir a pontos a esquerda de a, logo n ao estar a contido em [a, b]. Do mesmo modo, o ponto b n ao e interior ao intervalo [a, b]. Logo o interior de [a, b] e o intervalo aberto (a, b). O mesmo acontece com A1 = [a, b) e A2 = (a, b], ou seja, int(A1 ) = (a, b) e int(A2 ) = (a, b). De maneira an aloga prova-se as arma c oes feitas para B e C . Deni c ao 3.0.4: Um subconjunto A IR chama-se um conjunto aberto quando todos os seus pontos s ao interiores, isto e, quando int(A) = A. Em outras palavras, A e aberto se, e somente se, para todo x A existe um intervalo aberto (a, b) tal que x (a, b) A. Exemplo 3.0.5: (1) O conjunto vazio e aberto. Com efeito, um conjunto A s o n ao e aberto quando

existe em A algum ponto que n ao seja interior. Como o conjunto vazio n ao possui ponto algum, somos for cados a admitir que e aberto. (2) (3) Obviamente, a reta IR inteira e um conjunto aberto. Seja A = (0, 1) (2, 5). Ent ao A e um conjuto aberto da reta.

De fato, para todo x A tem-se x (0, 1) ou x (2, 5). Em qualquer um dos casos, existe um intervalo aberto que cont em x e est a contido em A. (4) Um intervalo e um conjunto aberto se, e somente se, e um intervalo aberto. Deixa-

mos a cargo do leitor a verica ca o deste fato.

 CAP ITULO 3. NOC OES DE TOPOLOGIA Teorema 3.0.6: (a) (b) Se A1 IR e A2 IR s ao abertos, ent ao A1 A2 e aberto. Seja (A )L uma fam lia arbitr aria de conjuntos abertos A IR. A reuni ao A=
L

63

e um conjunto aberto. Demonstra c ao: (a) seja x A1 A2 . Ent ao x A1 e x A2 . Logo existem intervalos tais que x (a1 , b1 ) A1 e x (a2 , b2 ) A2 . Sejam a o maior dos n umeros a1 , a2 , e b o menor dos n umeros b1 , b2 . Ent ao x (a, b) = (a1 , b1 ) (a2 , b2 ) A1 A2 . Assim, todo ponto x A1 A2 e interior e portanto esta interse ca o e um conjunto aberto. (b) Seja x A = A . Ent ao existe algum L tal que x A . Como A e aberto,

podemos obter um intervalo (a, b) tal que x (a, b) A. Como A A, temos x (a, b) A. Logo todo ponto x A e interior e consequentemente A e aberto.

Corol ario 3.0.7: Se A1 , A2 , A3 , ..., An s ao subconjuntos abertos de IR ent ao A1 A2 A3 ... An e aberto. Demonstra c ao: A demonstra ca o e de f acil obten ca o, basta aplicarmos n 1 vezes o teorema anterior, obtendo assim A1 A2 aberto, A1 A2 A3 = (A1 A2 ) A3 aberto, ..., A1 A2 A3 ... An = (A1 A2 , ..., An1 ) An aberto. Com isso esta demonstrado o corol ario.

Observa c ao 3.0.8: A interse ca o de um n umero innito de conjuntos abertos pode n ao ser um conjunto aberto. De fato, consideremos os conjuntos abertos 1 1 An = ( , ), n n n = 0, 1, 2, 3, ...

 CAP ITULO 3. NOC OES DE TOPOLOGIA Note que 0 An para todo n IN, logo 0 portanto, existe n tal que 0 <
1 n

64 An . Por outro lado, se x = 0 ent ao |x| > 0 e,

< |x|, ou seja, 1 1 x ( , ) = An . n n

Assim se x = 0 ent ao x

An . Isto signica que

An = {0},
n=1

mas o conjunto { 0 } n ao e aberto. Exemplo 3.0.9: (a) Todo conjunto aberto A IR e uma reuni ao de intervalos abertos. Com efeito, para

cada x A, escolhamos um intervalo aberto Ix tal que x Ix A. Isto pode ser escrito assim: {x} Ix A. Tomando reuni oes, temos {x}
x A x A

Ix A,

ou seja, A
x A

Ix A,

o que nos d a A=
x A

Ix .

(b)

Seja F = {x1 , x2 , x3 , ..., xn } um conjunto nito de n umeros reais. Sem perda de

generalidade, podemos admitir que x1 < x2 < x3 < ... < xn . Ent ao IR F = (, x1 ) (x1 , x2 ) (x2 , x3 ) ... (xn1 , xn ) (xn , +). Da conclu mos que IR F e aberto. Em outras palavras, o complementar de todo conjunto nito e aberto. De modo, an alogo, IR Z Z e aberto, pois IR Z Z=
nZ Z

(n, n + 1)

e uma reuni ao de conjuntos abertos.

 CAP ITULO 3. NOC OES DE TOPOLOGIA Deni c ao 3.0.10:

65

Seja A IR. Um n umero a IR e chamado ponto de acumula c ao do conjunto A quando todo intervalo aberto (a , a + ), de centro a, cont em algum ponto x A diferente de a. De outra maneira, dizemos que a IR e um ponto de acumula c ao do conjunto A se > 0 x A : 0 < |x a| < .

O conjunto dos pontos de acumula ca o de A e, as vezes, chamado de derivado de A, e indicado por A . Exemplo 3.0.11: (1)
1 1 1 , 3 , ..., n , ...} seu fecho e A Sendo A = {1, 2

= {0}.

De modo geral, se

lim xn = a e a = xn para todo n IN ent ao, pondo A = {x1 , x2 , x3 , ..., xn , ...}, temos A = {a}. (2) (a, b) = [a, b) = (a, b] = [a, b].

Deni c ao 3.0.12: Um ponto ade um conjunto A diz-se isolado se n ao for ponto de acumul c aode A, ou seja, para que aseja um ponto isolado e necess ario e suciente que exista > 0 tal que (a , a + ) A = {a} Exemplo 3.0.13: Todo ponto a Z Z e um ponto isolado de Z Z. Deni c ao 3.0.14: Dizemos que um ponto a e aderente a um conjunto A IR quando afor limite de uma seq u encia de pontos de xn A. O conjunto de todos os pontos aderente a A e chamado fecho do conjunto A e representado por A. B e que A A para todo A. f E acil ver que, se A B ent ao A Exemplo 3.0.15: (1) Todo ponto a A e aderente a A. De fato, tomando a seq u encia de pontos,

 CAP ITULO 3. NOC OES DE TOPOLOGIA constante, xn = a, temos: lim xn = a. (2)

66

Podemos ter um ponto a aderente a A sem que a perten ca a A. Com efeito, seja
1 n

A = (0, +), ent ao 0 A, mas 0 e aderente a A, pois lim f rac1n = 0, onde todo n. (3)

A para

O fecho do intervalo aberto (a, b) e o intervalo fechado [a, b]. Com efeito, os pontos

a e b s ao aderentes ao intervalo aberto (a, b) pois

n

lim a +

1 =a n

lim b

1 = b. n

Mas observe, o leitor, que se a < xn < b e lim xn = c ent ao a c b. Portanto, todo ponto aderente ao intervalo aberto (a, b) pertence ao intervalo fechado [a, b]. claro que [a, b] E e tamb em o fecho dos intervalos semi-abertos [a, b) e (a, b], assim como, o fecho de [a, b] e o proprio [a, b]. Teorema 3.0.16: Um ponto a IR e aderente a um conjunto A IR se, e somente se, para todo > 0 tem-se A (a , a + ) = . Demonstra c ao: Se a e aderente a A ent ao lim xn = a com xn A para todo n. Dado arbitrariamente > 0, temos xn (a , a + ) para todo n sucientemente grande.

Logo A (a , a + ) = . Reciprocamente, supondo satisfeita a condi ca o A (a , a + ) = , para cada n IN podemos encontrar xn A tal que xn ( a 1 1 , a + ). n n

Isto dene uma seq u encia de pontos xn A tais que |xn a| < Logo lim xn = a e ent ao a e aderente a A. 1 . n

 CAP ITULO 3. NOC OES DE TOPOLOGIA Deni c ao 3.0.17:

67

Um conjunto A IR e fechado se, e somente se, todo ponto aderente a A pertence a A, ( A=A ). ou seja, quando o conjunto A coincide com o conjunto A Teorema 3.0.18: Um conjunto F IR e fechado se, e somente se, seu complementar IR F e aberto. Demonstra c ao: Temos que F e fechado se, e somente se, todo ponto aderente a F pertence a F . Se a IR F ent ao a n ao e aderente a F , mas isso acontece se, e somente se, existe um intervalo aberto I tal que a I e I F = , mas isso se, e somente se, a I IR F tamb em se, e somente se, a e interior a IR F , ou seja, se, e somente se, IR F e aberto.

Corol ario 3.0.19: (a) (b) (c) IR e o conjunto vazio s ao fechados. Se F1 , F2 , F3 , ..., Fn s ao fechados ent ao F1 F2 F3 ... Fn e fechado. Se (F )L e uma fam lia qualquer de conjuntos fechados ent ao a interse c ao F =
L

e um conjunto fechado. Demonstra c ao: (a) (b) o E bvio, IR e o complementar do aberto , e e o complementar do aberto IR. Sendo F1 , F2 , F3 , ..., Fn fechados temos, IR F1 , IR F2 , IR F3 , ..., IR Fn abertos, isto implica que (IR F1 ) (IR F2 ) (IR F3 ) ... (IR Fn ) = IR (F1 F2 F3 ... Fn ) e aberto, ou seja, F1 F2 F3 ... Fn e fechado. (c) Sendo cada F fechado implica cada IR F aberto que por sua vez implica F ) = IR
(IR

F aberto, ou seja, F =

e fechado.

 CAP ITULO 3. NOC OES DE TOPOLOGIA

68

Observa c ao 3.0.20: A reuni ao de uma fam lia arbitr aria de conjuntos fechados pode n ao ser um conjunto f fechado. De fato, tome A IR qualquer conjunto que n ao seja fechado. E acil ver, que todo conjunto A e a reuni ao dos seus pontos, ou seja, A=
xA

{ x} .

Cada ponto x A forma um conjunto fechado {x} mas a reuni ao A n ao e um fechado. Teorema 3.0.21: O fecho de todo conjunto A IR e um conjunto fechado. Demonstra c ao: um ponto qualquer. Dessa forma x n Seja x IRA ao e aderente a A, ou seja, existe Logo um intervalo aberto I com x I e I A = e que, para todo y I vale y IRA. Isto mostra que todo ponto x IRA I IRA. e ponto interior, ou seja, que IRA e aberto. Portanto, A e fechado.

3.1
1.

Exerc cios
Prove que um ponto a e aderente ao conjunto A se, e somente se, para todo intervalo

aberto I contendo a tem-se I A = . 2. Sejam A IR limitado inferiormente e B IR limitado superiormente. Prove que

a = inf (A) e aderente a A e b = sup(B ) e aderente a B . 3. Sejam A IR e a IR. Prove que as seguintes arma c oes s ao verdadeiras: (a) (b) (c) 4. 5. a A , ou seja, a e um ponto de acumula c ao de A; a = lim xn , onde (xn ) e uma seq u encia de A, dois a dois distintos; todo intervalo aberto contendo a possui uma innidade de elementos de A.

Usando o exerc cio anterior prove que, se A = ent ao A e innito. A A . Ou seja, fecho de um conjunto A Prove que para todo A IR, tem-se A= e

obtido acrescentando-se a A os seus pontos de acumula c ao.

 CAP ITULO 3. NOC OES DE TOPOLOGIA 6. Usando o exerc cio 5 prove que: A e fechado se, e somente se, A A;

69

Cap tulo 4 Limite e continuidade de Fun co es

De forma mais geral, retornaremos agora a no ca o de limite. Em vez de seq u encias, como estudamos anteriormente, vamos considerar fun c oes reais f : D IR , denidas em subconjuntos arbitr arios D IR. Damos a seguir o conceito geral de fun c ao: Deni c ao 4.0.1: Uma fun ca o f : D Y e uma lei que associa elementos de um conjunto D, chamado o dom nio da fun ca o, a elementos de um outro conjunto Y , chamado o contradom nio da fun c ao. Nosso estudo se ressumir a somente em fun c oes cujos dom nios sejam subconjuntos dos n umeros reais, principalmente intervalos. O contradom nio ser a sempre o mesmo, o conjunto dos n umeros reais e para indicar que uma fun ca o associa o elemento y ao elemento x escrevemos y = f (x). Ent ao quando for usada a nota ca o y = f (x), deve-se entender que x denota qualquer valor no dom nio D, chamada vari avel independente. y e a imagem de x pela fun c ao f , chamada vari avel dependente. Deni c ao 4.0.2: Uma fun ca o f com dom nio D e dita limitada ` a esquerda ou limitada inferiormente se existe um n umero A tal que A f (x) para todo x D e limitada ` a direita ou limitada superiormrnte se existe um n umero B tal que f (x) B para todo x D. Uma fun ca o que e limitada a ` esquerda e ` a direita simultaneamente e dita limitada, ou seja, existe um n umero M tal que |f (x)| M para todo x D.

70

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Deni c ao 4.0.3:

71

Dizemos que uma fun c ao g e exten c ao de uma fun ca o f , ou que f e restri c ao de g , se o dom nio de f est a contido no dom nio de g e as duas fun co es coincidem no dom nio de f . Deni c ao 4.0.4: Dizemos que uma fun ca o f com dom nio D e injetiva ou invert vel se x = x f (x) = f (x ), isto equivale a dizer que f (x) = f (x ) x = x . Em outra palavras, isto signica que cada elemento da imagem de f prov em de um u nico elemento x no dom nio de f , y = f (x). Deni c ao 4.0.5: Chamamos de fun c ao inversa da fun c ao f , a qual e indicada por f 1 , a fun c ao que leva y f (D) no elemento x D tal que f (x) = y . f E acil o leitor notar que f 1 (f (x)) = x para todo x D e f (f 1 (y )) = y para todo y f (D). Deni c ao 4.0.6: Seja f uma fun ca o denida num intervalo. Dizemos que f e (a) (b) (c) (d) crescente se x > x f (x) > f (x ); decrescente se x > x f (x) < f (x ); n ao-decrescente se x > x f (x) f (x ); n ao-crescente se x > x f (x) f (x )

Em qualquer um desses casos f e chamada de fun c ao mon otona. Deni c ao 4.0.7: Uma fun c ao f : D Y , com dom nio D, e dita sobrejetiva se f (D) coincide com seu contradom nio Y .

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

72

4.1

Limite e continuidade

Seja f : D IR uma fun ca o com valores reais, denida num subconjunto D IR. Dizemos neste caso que f e uma fun ca o real de uma vari avel real. Deni c ao 4.1.1: Dada uma fun c ao f com dom nio D, seja xo um ponto de acumula ca o de D. Dizemos que o n umero L e o limite de f (x) com x tendendo a xo se, dado qualquer > 0, existe > 0 tal que x D, 0 < |x xo | < |f (x) L| < .

Indicamos o limite de uma fun ca o por: lim f (x) = L, f (x) L com x xo , ou lim f (x) = L.

xxo

Est au ltima omitimos a indica c ao x xo e ser a usada quando n ao houver nenhuma d uvida. Podemos reescrever a deni c ao de limite como sendo: lim f (x) = L > 0 > 0 : x D, 0 < |x xo | < |f (x) L| < .

x xo

Observa c ao 4.1.2: (1) Ao considerarmos o limite limxxo f (x), n ao exigimos que xo perten ca ao dom nio

da fun ca o f . (2) A exclus ao do ponto x = xo na deni c ao de limite e natural, pois o limite L nada tem

a ver com o valor f (xo ). O conceito de limite e utilizado para caracterizar o comportamento da fun ca o f (x) nas proximidades do valor xo , por em mantendo-se sempre diferente de xo . A deni ca o que faremos a seguir, fun ca o cont nua, e o tema central da Topologia. Ap os denir a no c ao de fun ca o cont nua, demonstraremos algumas de suas propriedades mais elementares. Deni c ao 4.1.3: Dizemos que a fun ca o f e cont nua no ponto xo se existir o limite de f (x) com x tendendo a xo e esse limite for igual a f (xo ). Dizemos tamb em, que f e cont nua em seu dom nio, ou simplesmente cont nua, se ela for cont nua em todos os pontos desse dom nio. Vejamos agora algumas das principais propriedades do limite de uma fun ca o.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Teorema 4.1.4: Sejam D IR, f : D IR , xo D . Se lim f (x) = L1 e lim f (x) = L2 ,

73

xxo

x xo

ent ao L1 = L2 . Demonstra c ao: Por deni ca o, dado quaquer > 0, existem 1 > 0 e 2 > 0, tais que para x D, 0 < |x xo | < 1 |f (x) L1 | < e 0 < |x xo | < 2 |f (x) L2 | < . 2 Seja = min{1 , 2 }. Como xo D , podemos obter y D, tal que 0 < |y xo | < . Ent ao |L1 L2 | |L1 f (y )| + |f (y ) L2 | < Ou seja, |L1 L2 | < para todo > 0, portanto L1 = L2 . + = . 2 2 2

Teorema 4.1.5: Sejam D IR, f : D IR , xo D . Para que lim f (x) = L,

x xo

e necess ario e suciente que se tenha lim f (xn ) = L

para toda seq u encia de pontos xn D {xo }, tal que lim xn = xo

Demonstra c ao: Suponhamos que

xxo

lim f (x) = L e que

lim xn = xo ,

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES com xn D {xo }. Dado > 0, existe > 0 tal que x D, Existe tamb em no IN tal que n > no |xn xo | < . Donde obtemos que n > no |f (xn ) L| < , ou seja,
n

74

0 < |x xo | < |f (x) L| < .

lim f (xn ) = L.

Reciprocamente, suponhamos que n ao se tenha lim f (x) = L.

x xo

Ent ao existe > 0 tal que para todo n IN podemos obter xn D com 0 < |xn xo | < Ent ao xn xo , mas n ao se tem
n

1 n

|f (xn ) L| .

lim f (xn ) = L,

o que nos leva a uma contradi c ao. Portanto, termina aqui a demonstra ca o.

Am de facilitar algumas demonstra co es, que est ao por vir, estudaremos agora o limite de uma fun ca o composta. Sejam D, E IR, f : D IR , g : E IR , xo D , yo E ,
xxo

lim f (x) = yo

e
y yo

lim g (y ) = L.

razo Para que tenha sentido falar em g (f (x)), x D, supomos que f (D) E . E avel esperar, nestas condi co es, que
xxo

lim g (f (x)) = L.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

75

Com efeito, xo e ponto de acumula c ao do dom nio da fun c ao g f : D IR. Logo, tem sentido considerar
xxo

lim g (f (x)).

Al em disso, como g (y ) tende para L quando y tende para yo , e plaus vel imaginar que isto ocorre, em particular, para y da forma y = f (x). Vejamos o seguinte teorema: Teorema 4.1.6: Sejam D, E IR, f : D IR , g : E IR , e f (D) E . Sejam xo D e yo E E , com g cont nua em yo . Se
xxo

lim f (x) = yo

e
y yo

lim g (y ) = L,

ent ao
xxo

lim g (f (x)) = L.

Demonstra c ao: Dado > 0, existe > 0 tal que y E , |y yo | < |g (y ) L| < . A partir de , obtemos > 0 tal que x D, 0 < |x xo | < |f (x) L| < . Ent ao, x D, 0 < |x xo | < |g (f (x)) L| < , o que nos d a o resultado desejado, ou seja, lim g (f (x)) = lim g (y ) = L.
y yo

xxo

Deixamos a cargo do leitor provar que as fun c oes f (x) = x2 e g (x) =

1 x

s ao cont nuas.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Exemplo 4.1.7: Se limxxo f (x) = L ent ao
xxo

76

lim [f (x)]2 = L2 .

Solu c ao: Como h(y ) = y 2 e cont nua temos lim [f (x)]2 = lim y 2 = L2 .
y L

xxo

Exemplo 4.1.8: Seja g : D IR e suponha g (x) = 0, para todo x D, L = 0 e limxxo g (x) = L. Prove que
x xo

lim

1 1 = . g ( x) L

Solu c ao: Seja 1 1 = g (x) y onde y = g (x), x D. Como h(y ) =

1 y

e cont nua em todo y = 0 temos lim 1 1 1 = lim = . g (x) yL y L

xxo

Teorema 4.1.9: do Confronto Sejam D IR, f, g, h : D IR , xo D . Se, para todo x D, x = xo , for f (x) g (x) h(x) e, al em disso, tivermos
x xo

lim f (x) = lim h(x) = L,

xxo

ent ao
x xo

lim g (x) = L.

Demonstra c ao: Por den ca o, dado qualquer > 0, existem 1 > 0 e 2 > 0 tais que, para x D, 0 < |x xo | < 1 L < f (x) < L +

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES e 0 < |x xo | < 2 L < h(x) < L + . Seja = min{1 , 2 }. Ent ao x D, 0 < |x xo | < L < f (x) g (x) h(x) < L + , donde obtemos
x xo

77

lim g (x) = L.

Teorema 4.1.10: Sejam D IR, f : D IR , g : D IR , xo D .Se k for uma constante lim f (x) = L

xxo

e
xxo

lim g (x) = M

ent ao (a)
xxo

lim (f (x) + g (x)) = L + M = lim f (x) + lim g (x).

xxo x xo

(b)
xxo

lim (k f (x)) = k L = k lim f (x).

xxo

(c)
xxo

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

xxo xxo

(d)

Se M = 0 ent ao
xxo

lim

L f (x) = . g ( x) M

(e)

Se
x xo

lim f (x) = 0

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES e existe uma constante A tal que |g (x)| A para todo x D {xo } ent ao lim (f (x) g (x)) = 0,

78

xxo

mesmo que n ao exista

xxo

lim g (x).

Demonstra c ao: (a) Seja limxxo f (x) = L e limxxo g (x) = M . Ent ao, dado > 0 existe > 0 tal que 0 < |x xo | < implica |f (x) L| < Notemos que, |(f (x) + g (x)) (L + M )| |f (x) L| + |g (x) M | . Assim, 0 < |x xo | < |(f (x) + g (x)) (L + M )| < . Portanto,
xxo

|g (x) M | < . 2

lim (f (x) + g (x)) = L + M = lim f (x) + lim g (x).

xxo xxo

(b)

Se k = 0 eo bvio. Se k = 0, dado > 0 existe > 0 tal que 0 < |x xo | < |f (x) L| < Logo, 0 < |x xo | < |k f (x) k L| < . Ou melhor
x xo

. |k |

lim (k f (x)) = k L = k lim f (x).

xxo

(c)

Conaremos ao leitor a verica ca o da seguinte igualdade: 1 f (x)g (x) = ([f (x) = g (x)]2 [f (x) g (x)]2 ). 4

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Temos tamb em que lim [f (x) + g (x)]2 = [ lim (f (x) + g (x))]2 = (L + M )2
x xo

79

xxo

e
xxo

lim [f (x) g (x)]2 = [ lim (f (x) g (x))]2 = (L M )2 .

xxo

Conclu mos da que 1 lim f (x)g (x) = ([L + M ]2 [L M ]2 ) = LM. xxo 4 (d)
xxo

lim

f (x) 1 1 L = lim f (x) =L = . x x o g ( x) g ( x) M M

(e)

Uma vez que |g (x)| A para todo x D {xo } temos |f (x)g (x)| = |f (x)| |g (x)| A |f (x)| . Logo para todo x D {xo } A |f (x)| f (x)g (x) A |f (x)| . Note que
x xo

lim A |f (x)| = 0 e

xxo

lim A |f (x)| = 0,

pois
xxo

lim f (x) = 0.

Pelo teorema do confronto obtemos o resultado desejado lim (f (x) g (x)) = 0.

xxo

Como consequ encia imediata deste teorema temos o seguinte: Teorema 4.1.11: (a) Se f, g : D IR s ao cont nuas no ponto xo D, ent ao f + g , f g , k f e f g s ao
f g

cont nuas nesse mesmo ponto. Se g (xo ) = 0, ent ao

tamb em e cont nua no ponto xo .

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES (b)

80

A composta de duas fun co es cont nuas e cont nua. Ou seja, se f : D IR e

g : E IR s ao cont nuas nos pontos xo D, yo = f (xo ) E , respectivamente, e al em disso, f (D) E , ent ao g f : D IR e cont nua no ponto xo . Teorema 4.1.12: Crit erio de Cauchy para Fun c oes Sejam D IR, xo D e f : D IR . Para que exista limxxo f (x) e necess ario e suciente que, dado arbitrariamente > 0, se possa obter > 0, tal que, para x, y D, com 0 < |x xo | < , 0 < |y xo | < impliquem |f (x) f (y )| < . Demonstra c ao: Se existe
xxo

lim f (x) = L,

ent ao, dado > 0, podemos obter > 0, tal que x, y D 0 < |x xo | < |f (x) L| < e 0 < |y xo | < |f (y ) L| < Da , |f (x) f (y )| |f (x) L| + |f (y ) L| < . Reciprocamente, dada uma seq u encia arbit aria de n umeros reais xn D {xo } com lim xn = xo , a seq u encia (f (xn )) e de Cauchy. Com efeito, dado > 0, tomamos > 0 fornecido pela hip otese. Existe ent ao no IN tal que m, n > no 0 < |xm xo | < e, portanto, |f (xm ) f (xn )| < . Logo (f (xn )) e convergente e pelo teorema 4.2, existe lim f (x). e 0 < |xn xo | < |f (x) f (y )| < . 2 2

xxo

Como queriamos demonstrar.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

81

4.2

Limites laterais

ca o D+ Sejam D IR, f : D IR e xo D+ . Queremos que o leitor saiba que a nota representa o conjunto dos pontos de acumula ca o a ` direita de D, ou seja, xo D+ se, e somente se, para todo > 0 vale D (xo , xo + ) = . De maneira an aloga, a nota ca o D representa o conjunto dos pontos de acumula ca o a ` esquerda de D, ou seja, xo D se, e somente se, para todo > 0 vale D (xo , xo ) = . Deni c ao 4.2.1: (a) Considerando xo , ponto de acumula c ao a ` direita do dom nio da fun ca o

f : D IR temos:

xx+ o

lim f (x) = L > 0 > 0 :

x D,

xo < x < xo + |f (x) L| < .

Este limite, quando existe, e chamado de limite lateral ` a direita de f , em xo .

(b)

Considerando, agora, xo , ponto de acumula ca o ` a esquerda do dom nio da fun c ao

f : D IR temos:

xx o

lim f (x) = L > 0 > 0 :

x D,

xo < x < xo |f (x) L| < .

Este limite, quando existe, e chamado de limite lateral ` a esquerda de f , em xo . Exemplo 4.2.2: Calcule o limite, ` a direita e ` a esquerda da fun ca o f , em 1, sendo f (x) = x2 , f (x) = 2x, Solu c ao: se x < 1 se x > 1

x1+

lim f (x) = lim 2x = 2. +

x1

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

82

x1

lim f (x) = lim x2 = 1.

x 1

Teorema 4.2.3: Seja D IR, f : D IR e xo D+ D . Ent ao existe

xxo

lim f (x) = L

se, e somente se, existem e s ao iguais os limites laterais

xx+ o

lim f (x) = lim f (x) = L.

xxo

Demonstra c ao: Se existe o limite ordin ario, evidentemente, existem os limites laterais e coincidem com o primeiro. Reciprocamente, se
xx+ o

lim f (x) = lim f (x) = L.

xxo

ent ao, dado > 0, existem 1 > 0 e 2 > 0 tais que x D (xo , xo + 1 ) |f (x) L| < e x D (xo 2 , xo ) |f (x) L| < . Seja = min{1 , 2 }. Ent ao x D {xo } (xo , xo + ) |f (x) L| < . Logo,
xxo

lim f (x) = L.

Como consequ encia imediata desse teorema temos o seguinte: Teorema 4.2.4: A condi c ao necess aria e suciente para que uma fun c ao seja cont nua num ponto xo de seu dom nio, que seja ponto de acumula ca o a ` direita e a ` esquerda dessse dom nio, e que os limites laterais da fun c ao existam nesse ponto e sejam ambos iguais a f (xo ).

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

83

4.3

Teorema do Valor Intermedi ario

Uma fun ca o cont nua num intervalo n ao pode passar de um valor para outro sem passar por todos os valores intermedi arios, isto e o que nos diz o pr oximo teorema: Teorema 4.3.1: do Valor Intermedi ario Seja f : [a, b] IR cont nua. Se f (a) < d < f (b) ent ao existe c (a, b) tal que f (c) = d. Demonstra c ao: Seja A = {x [a, b] : f (x) < d}. A e n ao vazio pois f (a) < d. Armamos que nenhum elemento de A e maior do que todos os outros. Com efeito, seja k A. Como f (k ) < d, vemos que k = b e, portanto, k < b. Tomando = d f (k ), a continuidade de f no ponto k nos d a um > 0, de forma que [k, k + ) [a, b], tal que, para todo x [k, k + ) tem-se f (x) < f (k ) + , ou seja, f (x) < d. Assim, todos os pontos do intervalo [k, k + ) pertencem a A. Agora ponhamos c = sup(A). Como c e o limite de uma seq u encia de pontos xn A, temos f (c) = lim f (xn ) d. Como A n ao possui maior elemento, n ao se tem c A. Logo n ao vale f (c) < d, o que nos obriga concluir que f (c) = d.

Corol ario 4.3.2: Seja f : I IR cont nua num intervalo I . Ent ao f (I ) e um intervalo. Demonstra c ao: Com efeito, sejam A = infxI f (x) e B = supxI f (x). N ao se ainja, o leitor, est a nota c ao e simb olica. Podemos ter A = , se f for ilimitada inferiormente em I , ou B = +, se f for ilimitada superiormente em I . Armamos que f (I ) e um intervalo, cujos extremos s ao A e B . Em outras palavras, dado y com A < y < B , deve existir x I tal que y = f (x). De fato, pelas deni co es de inf e de sup existem a, b I tais que f (a) < y < f (b). Pelo teorema do valor intermedi ario temos que exite um ponto x, entre a e b, tal que f (x) = y . Como queriamos.

Teorema 4.3.3:

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

84

Seja f : I IR uma fun ca o cont nua injetiva, denida num intervalo I . Ent ao f e mon otona, sua imagem J = f (I ) e um intervalo e sua inversa f 1 : J IR e cont nua. Demonstra c ao: Sem perda de generalidade, podemos admitir que I = [a, b]. Sabemos que

f (a) = f (b). Para uma melhor compreen c ao, vamos supor que f (a) < f (b). Nestas condi co es, armamos que f e crescente. De fato, se n ao fosse f crescente, existiriam pontos x < y em [a, b] tais que f (x) > f (y ). Temos ent ao duas possibilidades: (i) (ii) f (a) < f (y ) f (a) > f (y ).

No primeiro caso, temos f (a) < f (y ) < f (x) e pelo teorema do Valor intermedi ario existir a c (a, x) com f (c) = f (y ), em contradi ca o com a hip otese de f ser injetiva. No segundo caso, temos f (y ) < f (a) < f (b) e mais uma vez , pelo teorema do Valor intermedi ario existir a c (y, b) com f (c) = f (a), em contradi ca o com a injetividade de f . Com isto demonstramos que toda fun ca o cont nua injetiva, denida num intervalo, e mon otona. Temos, pelo corol ario anterior que J = f (I ) e um intervalo. Finalmente, temos evidentemente que a inversa de uma fun ca o mon otona e mon otona. Suponhamos, sem perda de generalidade, que f seja crescente, de forma que f 1 tamb em e. Seja a = f 1 (b), assim f (a) = b. Se a for interior ao intervalo I , dado qualquer > 0, seja > 0, com , tal que (a , a + ) I . Ora, f [(a , a + )] = (b 1 , b + 2 ). Seja agora o menor dentre 1 e 2 , de sorte que f 1 [(b , b + )] (a , a + ) (a , a + ), com isto provamos que f 1 e cont nua no ponto b. Um racioc nio an alogo se aplica no caso em que b e um dos extremos do intervalo J .

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES

85

Deixamos a cargo do leitor a demonstra ca o quando f 1 for decrescente, uma vez que a mesma e an aloga a ` anterior. Observa c ao 4.3.4: Sendo f uma fun c ao cont nua, injetiva e mon otona, o intervalo J = f (I ) e aberto, ou fechado, ou semi-aberto se o intervalo I e, respectivamente, aberto, ou fechado, ou semiaberto. Com efeito, sendo f mon otona injetiva, a I e um extremo de I se, e somente se, f (a) e um extremo de J .

4.4

Limites no innito e limites innitos

Sejam D IR, ilimitado superiormente, e f : D IR . Escrevemos lim f (x) = L,

Deni c ao 4.4.1: (a)

x+

quando o n umero real L satisfaz ` a seguinte condi ca o: > 0 A > 0 : x D, x > A |f (x) L| < .

Ou seja, dado qualquer > 0, existe A > 0 tal que |f (x) L| < sempre que x > A.

(b)

Sejam D IR, ilimitado inferiormente, e f : D IR . Escrevemos lim f (x) = L,

quando o n umero real L satisfaz ` a seguinte condi ca o: > 0 A > 0 : x D, x < A |f (x) L| < .

Ou seja, dado qualquer > 0, existe A > 0 tal que |f (x) L| < sempre que x < A. Quardando as devidas adapta co es, evidentes, todos os resultados obtidos para o limite quando x xo s ao validas aqui.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Exemplo 4.4.2: Calcule

x+

86

lim

1 . x
1 . x

Solu c ao: Note, o leitor, que quanto maior o valor de x, mais pr oximo de zero estar a dado qualquer > 0 e tomando A =
1

Assim,

x>A0< e, portanto, x>A0< Logo,

1 < x 1 < 0 + . x

1 = 0. x+ x lim Observe, o leitor, que

x

lim ex = 0

mas n ao existe
x+

lim ex .

Para englobarmos situa c oes como esta, deniremos limites innitos. Deni c ao 4.4.3: (a) Sejam D IR, xo D e f : D IR . Dizemos que
xxo

lim f (x) = +

quando, para todo A > 0 dado, existe > 0 tal que x D, (b) 0 < |x xo | < f (x) > A.

Sejam D IR, xo D e f : D IR . Dizemos que

xxo

lim f (x) =

quando, para todo A > 0 dado, existe > 0 tal que x D, 0 < |x xo | < f (x) < A.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES Exemplo 4.4.4: (a)

xxo

87

lim

1 = +, (x xo )2
1 A

pois, dado qualquer A > 0, basta tomar =

que obtemos 1 1 > A. A (x xo )2

0 < |x xo | < 0 < (x xo )2 <

(b)

Sem sombra de d uvida temos lim 1 = . (x xo )2

xxo

4.5

Descontinuidade de uma fun c ao

Dada f : D IR , um ponto de descontinuidade ou, simplesmente, uma descontinuidade, da fun c ao f e um ponto a D tal que f n ao e cont nua nesse ponto. Em outras palavras, a D e um ponto de descontinuidade de f : D IR se existe um n umero > 0 tal que, para todo > 0, existe um x D com |x a| < , mas |f (x ) f (a)| . As descontinuidades de uma fun c ao costumam ser classicadas em tr es tipos: remov vel, de primeira esp ecie e de segunda esp ecie. A descontinuidade remov vel e aquela que pode ser eliminada por uma conveniente deni ca o da fun c ao no ponto considerado, como por exemplo Exemplo 4.5.1: A fun c ao f ( x) = sen(x) x

possui uma descontinuidade remov vel em x = 0, pois, ela possui limite igual a 1 quando x 0, apenas n ao est a adequadamente denida nesse ponto. A descontinuidade e de primeira esp ecie ou do tipo salto quando a fun ca o possui, no ponto considerado, limites a ` direita e a ` esquerda , mas esses limites s ao distintos. Exemplo 4.5.2:

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES A fun c ao f ( x) = x + possui limites laterais
x0+

88

x |x|

lim f (x) = 1

e
x0

lim f (x) = 1,

pois coincide com x + 1 em (0, +) e com x 1 em (, 0). Logo, esta fun ca o possui uma descontinuidade de primeira esp ecie em x = 0. Finalmente, descontinuidade e de segunda esp ecie quando a fun ca o tende a no ponto considerado, ou n ao tem limite nesse ponto. Exemplo 4.5.3: A fun c ao f (x) = 1 xa

possui limites iguais a + e , respectivamente, se x a+ e x a . Conseq u entemente, f (x) possui uma descontinuidade de segunda esp ecie em x = a.

4.6
1.

Exerc cios
Sejam D IR, f : D IR , xo D . Prove que se existe
xxo

lim f (x)

ent ao f e limitada numa vizinhan ca de xo , isto e, existem A > 0 , > 0 tais que 0 < |x xo | < , 2. xD |f (x)| < A.

Sejam D IR, g ,f : D IR e xo D . Prove que se

xxo

lim f (x) = L e

xxo

lim g (x) = M

com L < M ent ao existe > 0 tal que x D, 0 < |x xo | < f (x) < g (x).

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES 3. Prove que se

xxo

89

lim f (x) = L > 0

ent ao existe > 0 tal que x D, 0 < |x xo | < f (x) > 0. 4. Se f (x) g (x) para todo x D, com x = xo , lim f (x) = L e lim g (x) = M.

xxo

xxo

Prove que L M . 5. Prove que: e necess ario que exista limn f (xn ) e independa da (a) Para que exista limxxo f (x) seq u encia de n umeros xn D {xo } com lim xn = xo .

(b) Para que exista limxxo f (x) e suciente que exista limn f (xn ) e para toda seq u encia de n umeros xn D {xo } tal que lim xn = xo .

6.

Sejam D IR, f : D IR , uma fun ca o mon otona limitada, x0 D+ e x1 D .

Mostre que existem os limites laterais L = lim+ f (x) e M = lim f (x)

xxo xxo

De posse do Teorema do Valor M edio resolva os exerc cios 7, 8 e 9 seguintes. 7. Seja I um intervalo e f : I IR uma fun ca o cont nua que s o assume valores inteiros.

Mostre que f e constante. 8. Mostre que todo polin omio real p : IR IR, p(x) = an xn + an1 xn1 + ...a1 x1 + a0 de grau mpar, ou seja, an = 0 e n mpar, possui uma raiz real, isto e, existe c IR tal que p(c) = 0.

 CAP ITULO 4. LIMITE E CONTINUIDADE DE FUNC OES 9. Prove que n y existe para todo y 0. 10. Prove que: (a)

90

Toda fun c ao mon otona e limitada, cujo dom nio contenha um intervalo do tipo

[c, +), possui limite com x ; (b) Toda fun c ao mon otona e limitada, cujo dom nio contenha um intervalo do tipo

(, c], possui limite com x ; 11. Seja f uma fun c ao mon otona e limitada, denida num intervalo I , do qual x = a e

ponto de acumula c ao a ` direita ou a ` esquerda. Mostre que f (x) tem limite com x a+ ou x a , respectivamente.

Cap tulo 5 Derivadas de Fun co es Reais

Vamos estudar, neste cap tulo, as derivadas de fun co es reais de uma vari avel. Evidentemente suponhamos que o leitor j a tenha tido um contato, num curso de C alculo, com as derivadas e suas aplica co es mais elementares.

5.1

Deni c ao e Propriedades da Derivada

Sejam I IR um intervalo aberto e f : I IR uma fun ca o. Deni c ao 5.1.1: Dizemos que f e deriv avel em xo I quando existe o limite
xxo

lim

f (x) f (xo ) . x xo

Para indicar esse limite usamos a nota ca o f (xo ), ou melhor, f (xo ) = lim
xxo

f (x) f (xo ) . x xo

Geometricamente, a derivada f (xo ) representa a inclinia ca o, ou coeciente angular, da reta tangente ao gr aco de f que passa pelos pontos (xo , f (xo )) e (x, f (x)). Em outras palavras, a reta de equa ca o f (x) = f (xo ) + f (xo )(x xo ) e, por deni ca o, a reta tangente ao gr aco de f no ponto (xo , f (xo )) cujo coeciente angular e a derivada de f em xo . 91

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS Fazendo x = xo + h podemos reescrever a derivada como segue: f (xo ) = lim f (xo + h) f (xo ) f ( x) f ( xo ) = lim . h0 x xo h

92

xxo

Sendo xo extremo esquerdo ou direito de um intervalo onde f seja denida podemos denir, de maneira an aloga, as derivadas laterais, ` a direita e ` a esquerda, respectivamente por: f (xo + h) f (xo ) h0 h f (xo + h) f (xo ) . f (xo ) = lim h0 h f (xo ) = lim+ Portanto, dizer que uma fun ca o f e derivavel num ponto x0 I , onde f est a denida, signica que existe, no ponto xo , as derivadas laterais de f e elas s ao iguais. Agora, caso xo seja um dos extremos, existe apenas, no ponto xo , aquela derivada lateral que faz sentido. A seguir daremos alguns exemplos que deixaremos para o leitor vericar a sua veracidade, coisa esta que n ao e dif cil, bastanto usar a deni c ao de derivada. Exemplo 5.1.2: (1) Sendo f : IR IR constante, ou seja, existe c IR tal que f (x) = c para todo x IR, temos que f (a) = 0 para todo a IR, isto e, a derivada de uma constante e nula. (2) Seja f : IR IR dada por f (x) = ax + b. Ent ao, para todo xo IR a derivada f (xo ) = a. Ora, para todo xo IR f (x) f (xo ) = a(x xo ) isto implica que f (x) f (xo ) = a. x xo (3) Seja f : IR IR denida como sendo f (x) = x2 . Armamos que f (xo ) = 2xo . De fato,
2 f (xo + h) = (xo + h)2 = x2 o + 2 xo h + h ,

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS assim f (xo + h) f (xo ) = 2xo + h. h (4)

93

Seja f : IR IR dado por f (x) = |x|. A fun ca o f n ao possui derivada no ponto xo = 0. Com efeito, se x = 0 ent ao f (x) f (0) |x| = = 1, x0 x 1 se x > 0 e -1 se x < 0. Logo existem as derivadas laterais f (0+ ) = 1 e f (0 ) = 1, mas n ao existe f (0), pois f (0+ ) = f (0 ). Entretanto, para xo = 0, existe a derivada f (xo ), como vimos ela vale 1 se xo > 0 e -1 se xo < 0.

Lema 5.1.3: Dada uma fun c ao f , a condi ca o necess aria e suciente para que f seja deriv avel em xo e que f (xo + h) = f (xo ) + L h + r(h), com
h0

lim

r(h) = 0. h

Demonstra c ao: Se a fun ca o f e deriv avel em um ponto xo , escreveremos r(h) = f (xo + h) f (xo ) f (xo ) h. Ent ao para todo h = 0 temos

f (xo + h) = f (xo ) + f (xo ) h + r(h), com

h0

lim

r(h) = 0. h

Reciprocamente, dada uma fun ca o f , suponhamos que exista uma constante L tal que se possa escrever f (xo + h) = f (xo ) + L h + r(h),

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS com r(h) = 0. h0 h lim Assim temos que f (xo + h) f (xo ) r(h) =L+ h h e, portanto, f (xo + h) f (xo ) = L, h0 h lim ou seja, existe a derivada f (xo ) e e igual a L. Assim termina a demonstra ca o.

94

Note que a constante L, se existir com aquela propriedade, eu nica e igual a f (xo ). Podemos, ainda, escrever a condi ca o do lema anterior como segue: f (xo + h) = f (xo ) + [f (xo ) + (h)]h, com
h0

lim (h) = 0.

A fun ca o ser a denida para todo h tal que xo + h Df , tamb em para h = 0. Para h = 0, teremos (h) = r(h) = f (xo + h) f (xo )h f (xo ). h

Para h = 0, faremos (h) = 0. Assim a continuidade da fun ca o no ponto 0 equivale a ` exist encia da derivada f (xo ). Vamos agora, ` a algumas propriedades da derivada. Teorema 5.1.4: Toda fun ca o f deriv avel num ponto xo e cont nua nesse ponto. Demonstra c ao: Sendo f deriv avel no ponto xo , existe o limite lim f (x) f (xo ) . x xo

xxo

Consequentemente, existe o seguinte limite lim [f (x) f (xo )] = lim f (x ) [ f (xx) (x x )] x

o o o

xxo

x xo

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS f ( x) f ( xo ) lim (x xo ) = 0. xxo x xo lim f (x) = f (xo )

95

= lim Portanto,

x xo

xxo

ef e cont nua em xo , como queriamos.

Usando a deni ca o de derivada, o leitor, facilmente prova que se f e g s ao deriv aveis num ponto x, ent ao f + g tamb em e deriv avel nesse ponto e [f (x) + g (x)] = f (x) + g (x), ou seja, igualmente f a derivada da soma e a soma das derivadas de cada parcela. E acil provar que [k f (x)] = k f (x), onde k e uma constante real. Isto e, a derivada do produto de uma constante por uma fun ca o e igual ao produto da constante pela derivada da fun ca o. Teorema 5.1.5: Se f e g s ao deriv aveis num ponto xo , ent ao: (a) f g tamb em e deriv avel nesse ponto e [f g ] (xo ) = f (xo ) g (xo ) + f (xo ) g (xo ) . (b) Se g (xo ) = 0, temos que
f g

e deriv avel em xo e
o o o o o

g (x )f (x ) f (x )g (x ) ] (x ) = . [f g [g (x )]
o 2

Demonstra c ao: (a) Observe o leitor que f (x)g (x) f (xo )g (xo ) = f (x)g (x) f (xo )g (x) + f (xo )g (x) f (xo )g (xo ) Logo por deni c ao [f g ] (xo ) = lim = lim f (x)g (x) f (xo )g (xo ) x xo

xxo

x xo

f (x)g (x) f (xo )g (x) + f (xo )g (x) f (xo )g (xo ) x xo f (x ) g (x) g (x ) g ( x) + f ( x ) ] [ f (xx) x xx
o o o o o

= lim

x xo

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS = f (xo ) g (xo ) + f (xo ) g (xo ) . Observe que, pelo fato de g ser deriv avel em xo , g ser a cont nua em xo e, assim, lim g (x) = g (xo ).

96

xxo

(b)

Se g (xo ) = 0, vem que g (x ) [ g(1 ] = . x) [g (x )]

o o o 2

De fato,

[
= lim
xxo

1 g (xo )

] = lim

1 g ( x)

1 g (xo )

x xo

x xo

g (x) g (xo ) 1 g (xo ) = . x xo g (x)g (xo ) [g (xo )]2

Do item (a), regra do produto, obtemos 1 1 1 ] (x ) = [f ] (x ) = f (x ) + f (x ) [ ] (x ) [f g g g (x ) g

o o o o o o

ou melhor, f (x ) f (x )g (x ) g (x )f (x ) f (x )g (x ) [f ] (x ) = = . g g (x ) [g (x )] [g (x )]
o o o o o o 2 o o o o o 2

Completando assim a demonstra ca o.

Teorema 5.1.6: Regra da Cadeia Consideremos uma fun c ao composta g f , denida num intervalo I , com f (I ) Dg . Suponhamos que f seja deriv avel num ponto xo I e g deriv avel em yo = f (xo ). Ent ao a fun c ao composta g (f (x)) e deriv avel no ponto xo e [g (f (x))] = g (f (x)) f (x). Demonstra c ao: Sendo f e g deriv aveis temos, pelo Lema 5.1, f (xo + h) = f (xo ) + [f (xo ) + 1 (h)]h,

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS com

h0

97

lim 1 (h) = 0,

g (yo + k ) = g (yo ) + [g (yo ) + 2 (k )]k, com

k0

lim 2 (k ) = 0,

Pondo k = f (xo + h) f (xo ) = [f (xo ) + 1 (h)]h, temos yo + k = f (xo + h) assim g (f (xo + h)) = g (yo + k ) = g (yo ) + [g (yo ) + 2 (k )]k = g (yo ) + [g (yo ) + 2 (k )] [f (xo ) + 1 (h)]h = g (yo ) + [g (yo ) f (xo ) + (h)]h, com (h) = 2 (f (xo + h) f (xo )) [f (xo ) + 1 (h)] + g (yo ) 1 . Como f e cont nua no ponto xo e 2 e cont nua no ponto 0 , temos lim 2 (f (xo + h) f (xo )) = 0 logo
k0

lim (h) = 0,

o que prova o teorema.

Teorema 5.1.7: Derivada de uma Fun c ao Inversa Seja y = f (x) uma fun ca o deriv avel num intervalo I = (a, b), com f (x) sempre positivo ou sempre negativa nesse intervalo. Ent ao sua inversa x = g (y ) e deriv avel no intervalo J = f (I ) e g (y ) = 1 1 = . f (x) f (g (y ))

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS Demonstra c ao: Sejam yo J , y J , xo = g (yo ) e x = g (y ). Ent ao g (y ) g (yo ) x xo = = y yo f (x) f (xo ) 1
f (x)f (xo ) xxo

98

Sabemos que J e um intervalo aberto, assim podemos fazer y variar em toda uma vizinhan ca de yo , ao mesmo passo que x estar a variando em toda uma vizinha ca de xo . Fazendo y yo implicar a que x xo , pois g e cont nua. Logo,
y yo

lim

g (y ) g (yo ) 1 = . )f (xo ) y yo ] limxxo [ f (xx xo

Portanto temos o resultado desejado g (y ) = 1 1 = . f (x) f (g (y ))

Exemplo 5.1.8: Seja fun ca o f : IR IR , dada por f (x) = x3 . Est a Fun ca o e uma bije ca o cont nua, com inversa cont nua g : IR IR onde g (y ) = 3 y . Temos que f (xo ) = 3x2 o . Consequentemente, f (xo ) = 0 para xo = 0 mas f (0) = 0. Logo g n ao possui derivada no ponto 0 = f (0). Para xo = 0 e y o = x3 o temos, pelo teorema anterior, que g (yo ) = 1 1 = 3 2 2 3xo 3 yo

Evidentemente, este resultado n ao tem nenhum sentido para yo = 0.

5.2

Teorema do Valor M edio

Dizemos que uma fun ca o f : D IR possui m aximo local no ponto xo D quando

Deni c ao 5.2.1: (i)

existe > 0 tal que x D (xo , xo + ) f (x) f (xo ). Agora se, x (D xo ) (xo , xo + ) f (x) < f (xo ),

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS dizemos que f possui um m aximo local estrito no ponto xo . (ii)

99

Dizemos que uma fun ca o f : D IR possui m nimo local no ponto xo D quando

existe > 0 tal que x D (xo , xo + ) f (x) f (xo ). Agora se, x (D xo ) (xo , xo + ) f (x) > f (xo ), dizemos que f possui um m nimo local estrito no ponto xo . Teorema 5.2.2: Se f e uma fun c ao deriv avel num ponto x = c, onde ela assume valor m aximo ou valor m nimo, ent ao f (c) = 0. Demonstra c ao: Seja c um ponto de m aximo. f (c + h) f (c) 0 e temos que f (c + h) f (c) h e 0 se h > 0 e 0 se h < 0. Consequentemente, o limite dessa raz ao com h 0 s o pode ser zero, donde obtemos f (c) = 0. Com racioc nio an alogo prova-se o mesmo quando c e um ponto de m nimo. Note que para |h| sucientemente pequeno,

Estamos na emin encia de enuciar o Teorema do Valor M edio, que, pelas v arias consequ encias, e o resultado central do C alculo Diferencial. Teorema 5.2.3: de Rolle Se f e uma fun c ao cont nua num intervalo [a, b], deriv avel nos pontos interiores, com f (a) = f (b), ent ao sua derivada se anula em algum ponto interior, ou seja,

f (c) = 0 para algum c (a, b). Demonstra c ao: Se f for constante, ent ao f se anula em todos os pontos interiores, e n ao h a nada a fazer. Agora se f n ao for constante, ter a que assumir valores maiores ou menores do que f (a) = f (b). Por outro lado, sendo f cont nua num intervalo fechado, f assume um valor m aximo e um valor m nimo. Ent ao, se f assumir valores maiores do que f (a), ela assumir a seu m aximo

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS

100

num ponto interior c e se assumir valores menores do que f (a), assumir a seu m nimo num ponto interior c. Em qualquer uma das hip oteses, pelo teorema anterior, f (c) = 0. Como queriamos demonstrar.

Exemplo 5.2.4: (i) Seja f : [0, 1] IR denida por f (x) = x se x [0, 1) e f (1) = 0. Temos que

f (0) = f (1) e que f e deriv avel em (0, 1) mas f (x) = 1 para qualquer 0 < x < 1, pois, f n ao e cont nua em [0, 1]. (ii) Seja agora f : [1, 1] IR, f (x) = |x|. Sem d uvida, a fun c ao f e cont nua em

[1, 1] e al em disso temos que f (1) = f (1), por em n ao existe c (1, 1) tal que f (c) = 0. Isto porque a fun ca o f n ao e deriv avel no ponto 0. e cont nua em [1, 1] (ii) Seja f : [1, 1] IR dada por f (x) = 1 x2 . Como vemos f mas e deriv avel apenas no intervalo aberto (1, 1). Contudo, podemos aplicar o Teorema de Rolle a esta fun ca o. No ponto x = 0, temos f (0) = 0. Vamos ent ao ao Teorema do Valor M edio. Teorema 5.2.5: do Valor M edio Se f e uma fun c ao cont nua num intervalo [a, b] e deriv avel nos pontos interiores, ent ao existe um ponto interior c (a, b) tal que f (b) f (a) = f (c)(b a). Demonstra c ao: Dena a fun c ao F com sendo F (x) = f (x) f (a) f (b) f (a) (x a). ba

Observe que est a fun ca o se anula nos pontos x = a e x b, ou seja, f (a) = f (b) = 0. Ent ao pelo Teorema de Rolle existe c (a, b) tal que F (c) = 0. Isto implica que F (c) = f (c) ou melhor f (c) = f (b) f (a) . ( b a) f (b) f (a) = 0, ba

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS Nota 5.2.6:

101

Geometricamente, isto signica que existe um n umero c entre a e b, tal que a reta tangente a ` curva y = f (x) no ponto (c, f (c)) e paralela a ` reta que passa pelos pontos (a, f (a)) e (b, f (b)). Este teorema e v alido, ainda que, a e b sejam substituidos por dois n umeros quaisquer x1 e x2 do intervalo [a, b], n ao importando qual desses dois n umeros e o maior, isto e, f (x1 ) f (x2 ) = f (c)(x1 x2 ), onde c e um n umero conveniente entre x1 e x2 . O Teorema do Valor M edio tem importantes consequ encias. Ele nos permite saber, por exemplo, se uma fun c ao e crescente ou decrescente, conforme sua derivada seja positiva ou negativa, respectivamente. Assim, se uma fun ca o tem derivada positiva em todo intervalo (a, b), obtemos x1 < x2 f (x1 ) < f (x2 ), assim f e uma fun ca o crescente. Agora se a derivada for negativa em (a, b), obtemos x1 < x2 f (x1 ) > f (x2 ), assim f e uma fun ca o decrescente. Exemplo 5.2.7: Seja f uma fun ca o com f (0) = 0 e f crescente em (0, ). Prove que a fun ca o g (x) = tamb em e crecente em (0, ). Solu c ao: Pelo Teorema do Valor M edio, g (x) = f (c), 0 < c < x. De c < x temos que f (c) < f (x), j a que f e crescente. Como g (x) = f (c) temos que g (x) < f (x). Consequentemente, g (x) > 0, pois: g (x) < f (x) xf (x) f (x) > 0 e portanto g e crescente. xf (x) f (x) > 0 g (x) > 0 x2 f (x) x

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS

102

5.3
1.

Exerc cios
Seja f : D IR deriv avel a ` direita no ponto a D D+ . Mostre que se, f+ (a) > 0,

ent ao existe > 0 tal que x D, a < x < a + f (a) < f (x). 2. Seja a D um ponto de acumula ca o a ` direita e ` a esquerda. Prove que: Se f : D IR possui, no ponto a, uma derivada f (a) > 0 ent ao existe > 0 tal que x, y D a < x < y < a + f (x) < f (a) < f (y ). 3. Seja a D D+ D . Se f : D IR e deriv avel no ponto a e possui um m aximo ou Seja f : [a, b] IR deriv avel em todos os pontos x [a, b]. Prove que, se f (a) < d <

um m nimo local nesse ponto, ent ao f (a) = 0. 4.

f (b) ent ao existe c (a, b) tal que f (c) = d. ( Este resultado e conhecido como Teorema do Valor intermedi ario para a derivada) 5. Prove que: Se uma fun ca o cont nua f : [a, b] IR possui derivada nua em todos os pontos x (a, b) ent ao f e constante. 6. Prove que: Se f, g : [a, b] IR s ao cont nuas, deriv aveis em (a, b), e f (x) = g (x) para todo x (a, b) ent ao existe c IR tal que g (x) = f (x) + c para todo x [a, b]. 7. Seja f : I IR deriv avel no intervalo aberto I . Se existe k IR tal que |f (x)| k

para todo x I , mostre que, para quaisquer que sejam x, y I , tem-se |f (x) f (y )| |x y | . 8. Seja f cont nua em [a, b] e deriv avel em (a, b). Prove que se existe lim f (x) = L

x xo

ent ao existe f+ (xo ) e vale f+ (xo ) = L. 9. Seja f uma fun c ao deriv avel em todo um intervalo [a, b], com f (a+ ) = f (b ). Prove que, dado qualquer n umero m entre f (a+ ) e f (b+ ), existe c (a, b) tal que f (c) = m.

 CAP ITULO 5. DERIVADAS DE FUNC OES REAIS

103

Em outras palavras, f (x) assume todos os valores entre f (a+ ) e f (b+ ), com x variando em (a, b). 10. Demonstre o seguinte teorema: Teorema do Valor M edio Generalizado de Cauchy Sejam f e g fun c oes cont nuas num intervalo [a, b] e deriv aveis em (a, b). Al em disso, suponhamos que g (x) = 0 e g (b) g (a) = 0. Ent ao existe c (a, b) tal que f (b) f (a) f (c) = . g (b) g (a) g ( c)

Refer encias Bibliogr acas

[1] Avila, Geraldo - Introdu c ao ` a An alise Matem atica - Edgard Blucher LTDA, S ao Paulo. [2] Lima, Elon L. - An alise Real - Instituto de Matem atica Pura e Aplicada, vol. 1, Rio de Janeiro. [3] Guidorizzi, Hamilton L. - Um Curso de C alculo - Livros T ecnicos e Cient cos , vol. 1, 2a edi c ao, Rio de Janeiro. [4] Guidorizzi, Hamilton L. - Um Curso de C alculo - Livros T ecnicos e Cient cos, vol. 4, Rio de Janeiro. [5] Reis, Gen esio L. , Silva, Valdir V. - Geometria Anal tica - Livros T ecnicos e Cient cos, 2a edi c ao, Rio de Janeiro.

104