Você está na página 1de 111

Curso de Anlise Matemtica

I Parte
Omar Catunda

Prefcio
Os primeiros captulos do presente Curso de Anlise Matemtica j so
bastante conhecidos dos estudantes de So Paulo, pois durante vrios anos
tm sido divulgados sob forma de apostilas mimeogrficas.
A presente edio, que tencionamos completar, incluindo toda a matria
fundamental dada nos trs anos da cadeira de Anlise Matemtica da Faculdade de Filosofia, Cincias e Letras da Universidade de So Paulo, foi cuidadosamente revista e atualizada. O autor preocupou-se, particularmente,
em simplificar as demonstraes, sem sacrifcio do rigor matemtico, e ao
mesmo tempo em manter a constante aproximao da Anlise com a intuio geomtrica; neste sentido, este curso, vem se afastando pouco a pouco
do carter excessivamente abstrato que o Professor Luigi Fantappi imprimiu ao seu curso, quando aqui lecionou de 1943 a 1939. No entanto, em
suas linhas gerais, o curso segue ainda a orientao daquele professor. Alm
disto, devemos ainda assinalar as constantes consultas que temos feito aos
tratados clssicos de F. SEVERI, E. GOURSAT, J. HADAMARD, CH. DE LA
VALE POUSSIN, etc., e a outros mais recentes, como os de L. GODEAUX, G.
VALIRON, PH. FRANKLIN, etc..
Devemos tambm advertir que o curso que dado na Faculdade de Filosofia no segue exatamente a exposio do atual curso. assim que, no
primeiro ano da Faculdade, o curso tem um carter mais prtico, dando-se,
alm das definies de limites e os teoremas mais elementares, toda a parte
algortmica de derivao e integrao das funes elementares, de uma ou
mais variveis, as aplicaes geomtricas, o clculo de integrais duplas e os
tipos elementares de equaes diferenciais lineares. No segundo ano retomamos o curso, expondo a teoria dos campos de nmeros e os teoremas mais
delicados contidos no Captulo IV - de Borel-Lebesgue, de Weierstrass, de
Heine e o critrio de convergncia de Cauchy; segue-se o estudo das sries
numricas e de funes, de integrais mltiplas e os teoremas de existncia
das equaes diferenciais. Esta alterao da ordem foi reconhecida absolutamente necessria, dada a falta de amadurecimento com que os estudantes se
apresentam s escolas superiores.
i

ii

PREFCIO

O autor aceita, e mesmo solicita encarecidamente, toda e qualquer crtica


tendente a melhorar o curso, para futuras edies.
So Paulo, abril de 1952.

Sumrio
Prefcio

Captulo I. Teoria dos Nmeros Reais


1. Fundamentos intuitivos do conceito de nmero
2. Postulados de PEANO
3. Operaes fundamentais. Desigualdade
4. Nmeros reais absolutos
5. Nmeros inteiros relativos
6. Nmeros racionais relativos
7. Seces no campo racional absoluto
8. Operaes entre os nmeros reais absolutos
9. Desigualdades
10. Nmeros reais relativos
11. Propriedades das desigualdades
12. Conjuntos ordenados e densos
13. Conjuntos contnuos. Continuidade do campo real
14. Classes minorantes e majorantes
15. Classes contguas. Representao decimal
16. Representao dos nmeros reais sobre uma reta
17. Intervalos e entornos
18. Elementos infinitos
Exerccios

1
1
2
3
4
5
7
7
10
11
11
12
13
14
15
15
17
18
19
20

Captulo II. Potncias e Logaritmos dos Nmeros Reais


1. Potncia com expoente inteiro e positivo
2. Potncia com expoente negativo ou nulo
3. Propriedades das potncias em relao s desigualdades
4. Razes e propriedades dos radicais
5. Potncias com expoente fracionrio
6. Potncias com expoente real
7. Funo exponencial
8. Logaritmos e suas propriedades

23
23
23
24
26
29
31
32
32

iii

iv

SUMRIO

Exerccios
Captulo III. Nmeros Complexos
1. Definio e operaes
2. Complexos conjugados. Norma e mdulo
3. Aplicaes
4. Forma trigonomtrica dos nmeros complexos, frmula de
MOIVRE
5. Representao geomtrica dos nmeros complexos
6. Raiz de um nmero complexo
7. Razes da unidade
8. Equaes binmias
Exerccios
Captulo IV. Conjuntos Lineares. Funes e Limites no Campo Real
1. Conjunto linear. Extremos
2. Pontos de acumulao. Teorema de BOLZANO
3. Conjuntos derivados
4. Teorema de BOREL-LEBESGUE
5. Conceito de funo segundo DIRICHLET
6. Grfico de uma funo
7. Funes elementares
8. Exemplos de funes no elementares
9. Extremos das funes. Teorema de WEIERSTRASS
10. Noo geral de limite
11. Limites sobre conjuntos parciais. Limite esquerda e limite
direita
12. Continuidade
13. Teoremas sobre limites e funes contnuas
14. Continuidade das funes elementares
15. Limite da razo do seno para o arco
16. Funes montonas
17. Conjunto linear. Extremos
18. Nmero e. Logaritmos neperianos
19. Funes contnuas em um intervalo fechado
20. Continuidade uniforme. Teorema de HEINE
21. Critrio de convergncia de Cauchy
22. Limite mximo, limite mnimo e oscilao em um ponto
23. Funes com valores complexos

35
37
37
39
41
42
43
46
47
50
50
53
53
56
57
58
59
61
61
64
66
67
70
71
73
77
80
82
85
86
89
91
92
94
95

SUMRIO

24. Funes de varivel complexa


Exerccios e Complementos
ndice Remissivo

96
96
101

CAPTULO I

Teoria dos Nmeros Reais


1. Fundamentos intuitivos do conceito de nmero. Na Matemtica elementar a noo de nmero se apresenta sob dois aspectos distintos: De um
lado, como resultado da operao de contar os elementos de um conjunto,
como um grupo de pessoas, uma coleo de objetos, etc., e sob este ponto de
vista pode-se dizer que um nmero um atributo de um conjunto, que no
depende nem da natureza nem da ordem de colocao dos elementos desse
conjunto, sendo que dois conjuntos tm o mesmo nmero quando (e somente
quando) os seus elementos podem ser postos em correspondncia um a um,
sem exceo. Assim se obtm os nmeros naturais, 1, 2, 3, . . . , para os quais
se definem, pela considerao de reunio de dois ou mais conjuntos, as operaes de soma e multiplicao, assim como as duas inversas, subtrao e
diviso.
Mas quando se estuda a teoria das grandezas chega-se noo de nmero como razo de duas grandezas homogneas ou como medida de uma
grandeza em relao a outra da mesma espcie, tomada como unidade. Sob
esse ponto de vista podem-se obter como casos particulares os mesmos nmeros naturais, quando somando grandezas iguais unidade se obtm uma
grandeza igual quela que se quer medir: neste caso, a medida o nmero de
grandezas iguais que se somaram. Se esta operao impossvel, pode acontecer que a grandeza dada e a unidade sejam comensurveis, isto , que exista
uma outra grandeza contida em um nmero exato n de vezes na unidade e ao
mesmo tempo um nmero exato m de vezes na grandeza dada, cuja medida
ser ento o nmero racional m{n, que pode ser inteiro, se m for mltiplo
de n, ou fracionrio, no caso contrrio. Existem porm grandezas incomensurveis com a unidade,1 para as quais a medida se introduz abstratamente,
pela considerao das medidas (nmeros racionais) aproximadas por falta e
1Por exemplo, a diagonal do quadrado construdo sobre a unidade de comprimento

incomensurvel com esta, pois se houvesse uma medida comum contida n vezes no lado do
quadrado e m vezes na diagonal, do teorema de PITGORAS se deduziria m2 2n2 , igualdade
impossvel entre nmeros inteiros, pois o primeiro membro s pode contar o fator primo 2
com expoente par, e o segundo membro contm certamente este fator com expoente mpar.
1

I. TEORIA DOS NMEROS REAIS

por excesso, admitindo que a medida exata de uma tal grandeza um nmero maior que todas as medidas aproximadas por falta e menor que todas
as medidas aproximadas por excesso. Essas medidas de grandezas incomensurveis com a unidade chamam-se nmeros incomensurveis, e os nmeros
racionais e irracionais chamam-se em geral nmeros reais. Enfim, pode-se
tambm introduzir a noo de grandeza nula, ou de medida zero, e de grandezas contadas em sentido oposto ao da unidade, obtendo-se assim a noo
de nmero negativo.
Desta maneira, j na matemtica elementar se introduzem os nmeros
reais relativos, com suas operaes, relaes de desigualdade, etc.
2. Postulados de PEANO. Mas para a construo de um edifcio lgico
como a Anlise Matemtica, conveniente fazer uma reviso do conceito
de nmero, introduzindo esse conceito, a partir do de nmero natural, de maneira puramente lgica, sem fazer nenhum apelo a noes exteriores, como a
de grandeza ou a de conjunto de objetos.
Para isto, se introduzem, sem definio, como conceitos primitivos: uma
classe - a classe dos nmeros (subentende-se, neste pargrafo e no seguinte nmeros naturais); um indivduo - o nmero 1; e uma relao expressa pelo
qualificativo sucessor. Para esses entes, toma-se como ponto de partida o
seguinte sistema de postulados, chamados postulados de PEANO:
I) 1 um nmero.
II) Todo nmero tem um sucessor, que um nmero.
III) 1 no sucessor de nenhum nmero.
IV) Nmeros distintos tm sucessores distintos.
V) Se um conjunto de nmeros contm o nmero 1 e se, do fato dele
contar um nmero n, se deduz que ele contm o sucessor de n, esse conjunto
contm todos os nmeros.
Este ltimo tem o nome de postulado ou princpio de induo, e usado
frequentemente nas demonstraes.
fcil verificar que os nmeros j introduzidos como atributos de conjuntos gozam dessas cinco propriedades, o que justifica o emprego da expresso - nmero de elementos de um conjunto, que se usa tambm em Anlise
Matemtica; os conjuntos que se consideram em matemtica elementar para
a definio de nmero e de operaes entre nmeros so justamente aqueles,
chamados conjuntos finitos, aos quais possvel associar um dos nmeros
naturais, que se deduzem dos postulados de PEANO. Os conjuntos para os
quais essa operao impossvel, isto , aqueles para os quais a operao de

I. TEORIA DOS NMEROS REAIS

contagem dos seus elementos no tem fim, chamam-se conjuntos infinitos. O


prprio sistema constitudo por todos os nmeros naturais infinito.
Enfim, pode-se verificar tambm que os postulados I) a V) contm em si
todas as propriedades essenciais dos nmeros naturais.
3. Operaes fundamentais. Desigualdade. Para a introduo das operaes entre os nmeros naturais, usaremos o processo de recorrncia; assim,
para definir, de modo geral, a soma a ` b de dois nmeros quaisquer a e b,
pomos:
a ` 1 sucessor de a
a ` pb ` 1q sucessor de a ` b.
Pelo postulado V, v-se que estas duas definies permitem definir a soma
de dois nmeros naturais quaisquer.
Quando, dados dois nmeros a e b, existe um terceiro nmero c tal que
a b ` c, diz-se que a maior que b (a b) ou que b menor que a
(b a), e que c a diferena entre a e b: c a b.
Analogamente se pode definir o produto a.b ou ab de dois nmeros naturais, pondo:
a.1 a
a pb ` 1q ab ` a.
Das definies dadas acima e do princpio de induo, segue-se que a
soma e o produto de nmeros naturais gozam das seguintes propriedades:
(propriedade associativa)
1. pa ` bq ` c a ` pb ` cq,
pabqc apbcq
(propriedade comutativa)
2. a ` b b ` a, ab ba
(propriedade distributiva do
3. pa ` bqc ac ` bc,
produto em relao soma)
apb ` cq ab ` ac
4. Se a ` b a ` c, b c; (lei de cancelamento da soma e do
produto).
se ab ac, b c
A desigualdade, definida acima pelas relaes maior e menor, goza
das seguintes propriedades, que se deduzem dos postulados e das propriedades anteriores da soma:
5. Entre dois nmeros quaisquer a e b, subsiste sempre uma e uma nica
das seguintes relaes:
a b,

a b,

a b.

6. Se a b e b c, tem-se certamente a c (propriedade transitiva da


desigualdade).

I. TEORIA DOS NMEROS REAIS

7. Dados dois nmeros quaisquer a e b, existe sempre um nmero natural


n tal que na b (teorema de ARQUIMEDES).2
Estas propriedades, que se baseiam estritamente nos postulados de PEANO e na definio das operaes e das relaes de desigualdade, servem de
fundamento a toda a teoria dos nmeros inteiros como o estudo dos sistemas
de numerao, a teoria da divisibilidade, e a dos nmeros primos.
Mas a impossibilidade, em certos casos, das operaes inversas de subtrao, diviso e extrao de raiz (operao inversa da potenciao, que ser
examinada no prximo captulo) nos leva construo de vrias extenses
do campo dos nmeros, que examinaremos resumidamente nos pargrafos
seguintes.
4. Nmeros reais absolutos. Tomemos um nmero natural n. Em vez
desse smbolo n, adotemos para esse nmero uma qualquer das notaes
an{a, em que a um nmero natural qualquer; reciprocamente, dados dois
nmeros naturais a e b, se a divisvel por b, escreveremos o quociente
sob a forma a{b. Todo nmero natural n pode pois ser representado por
esta notao, desde que o par de nmeros a e b satisfaa relao a
bn; para que a{b e c{d representem o mesmo nmero n, devemos ter a
bn e c dn, donde se deduz, usando a propriedade comutativa e a lei do
cancelamento do produto, adn bnc, ou ad bc.
V-se tambm que: um nmero natural representado pelo smbolo a{b
no se altera, se multiplicarmos ou dividirmos a e b pelo mesmo nmero; que
para somar dois nmeros naturais representados pelos smbolos a{b e c{b,
basta somar os primeiros nmeros, e que portanto, usando a regra anterior
a{b ` c{d ad{bd ` bc{bd pad ` bcq{bd; que o produto dos nmeros
naturais a{b e c{d o nmero ac{bd.
Posto isto, dados dois nmeros naturais quaisquer a e b, chamaremos de
frao ou nmero racional a esse par de nmeros escrito sob a forma a{b, e
diremos que outro par de nmeros c{d define a mesma frao, isto , que
c
a

b
d

se tivermos

ad bc.

Verifica-se imediatamente que a igualdade assim definida goza das propriedades reflexiva (a{b a{b), simtrica (se a{b c{d, c{d a{b) e
transitiva (se a{b c{d e c{d e{f, a{b e{f). Os nmeros que servem
2Chamaremos assim esta propriedade, em vista da sua semelhana com o postulado

sobre segmentos de retas (v. 16), que geralmente conhecido como postulado de ARQUIMEDES . No caso dos nmeros naturais, basta notar que para quaisquer nmeros naturais a e
b, temos sempre pb ` 1qa b.

I. TEORIA DOS NMEROS REAIS

para definir uma frao chamam-se termos da frao, sendo o primeiro o numerador e o segundo o denominador. Da definio de igualdade segue-se que
uma frao no se altera quando se multiplicam ou dividem os seus termos
por um mesmo nmero, donde se deduz que sempre possvel transformar
duas fraes dadas a{b e c{d em fraes homogneas, isto , com o mesmo
denominador: ad{bd e bc{bd. Definindo-se depois a soma de fraes homogneas pela soma dos numeradores (a{b ` c{b pa ` cq{b), temos, em
geral,
ad
bc
ad ` bc
a c
`
`

.
b d
bd bd
bd
Define-se tambm o produto pondo a{b c{d ac{bd.
Definindo-se depois a desigualdade como anteriormente, isto , pela afirmao de que a soma de dois nmeros racionais sempre maior que qualquer
das parcelas, pode-se facilmente verificar que para os nmeros a{b assim introduzidos, valem as mesmas propriedades 1. a 7. do 3; obtemos assim
um novo campo de nmeros - o campo dos nmeros racionais - que contm
o campo j conhecido dos nmeros naturais, pois toda frao a{b em que
a divisvel por b, representa um nmero natural. No novo campo valem
as mesmas operaes e relaes de desigualdade que no anterior, mas alm
disto se obtm outras propriedades importantssimas:
1 1 ) No campo racional sempre possvel considerar a diviso como operao inversa da multiplicao, isto , dados dois nmeros racionais quaisquer p a{b e q c{d, existe sempre um e um nico nmero racional
x a{b d{c tal que qx p; esse nmero se chama quociente de p (dividendo) por q (divisor) e se escreve sob a forma x p{q.
2 1 ) No campo racional, dados dois nmeros quaisquer p e q, existe sempre outro nmero compreendido entre eles, pois se por exemplo p q,
temos certamente p pp ` qq{2 q.
5. Nmeros inteiros relativos. Por um processo anlogo ao do pargrafo anterior, podemos escrever todo nmero natural n sob a forma pa `
nq a, qualquer que seja o nmero natural a; por outro lado, dados dois nmeros naturais a e b tais que a b, fica determinada a diferena ab. V-se
facilmente que: dois nmeros naturais a b e c d so iguais se tivermos
a ` d b ` c; a soma dos nmeros naturais a b e c d pode sempre ser
representada como a diferena pa ` cq pb ` dq, e o produto, pela diferena
pac ` bdq pad ` bcq.
Posto isto, definimos como nmero inteiro relativo um par de nmeros
naturais quaisquer a e b, escrito sob a forma a b, e dizermos que outro par
c d representa o mesmo nmero, isto , que a b c d se a ` d b ` c.

I. TEORIA DOS NMEROS REAIS

A soma e o produto definem-se pelas igualdades pa bq ` pc dq


pa ` cq pb ` dq; pa bq pc dq pac ` bdq pad ` bcq das quais
se deduz facilmente que tais operaes satisfazem tambm neste campo s
propriedades 1. a 4. do 3.
Os nmeros inteiros relativos a b se classificam em trs categorias,
conforme seja a b, a b ou a b. No primeiro caso, ponto a
b n, obtemos, como j vimos, uma das representaes do nmero n;
diremos que tal nmero positivo e escreveremos a b `n. No segundo
caso, obtemos um nico nmero, que chamaremos zero ou nmero nulo e
indicaremos com o smbolo 0 a a. Finalmente, no terceiro caso, pondo
b a m, obtemos um nmero que indicaremos com m a b e que
diremos nmero negativo, oposto do nmero `m b a. Diremos que
os nmeros positivos tm sinal mais (`) e que os nmeros negativos tm
sinal menos (). Chamaremos valor absoluto |p| de um nmero relativo p,
o prprio nmero se este for positivo ou nulo, ou o seu oposto, se p for
negativo.
Diremos que um nmero relativo p maior que outro, q, quanto existir
um nmero positivo r tal que se tenha p q ` r. fcil verificar que
alm das propriedades 1. a 4., os nmeros relativos satisfazem tambm s
propriedades 5. e 6. do 3, relativas s desigualdades.3
Mas alm disto, os novos nmeros satisfazem tambm s seguintes propriedades:
1 2 ) No novo campo est sempre definida a diferena como operao
inversa da soma, isto , dados os nmeros relativos p a b e q c d,
existe sempre um e um nico nmero x pa ` dq pb ` cq, que satisfaz
condio p q ` x, e que se chama diferena p q entre o nmero p
(minuendo) e o nmero q (subtraendo).
2 2 ) Existe nesse campo o nmero zero (0) que somado com qualquer
outro deixa este inalterado: pa bq ` 0 pa bq ` pc cq pa ` cq
pb ` cq a b, e que multiplicado por qualquer outro d um produto nulo:
pa bq.0 pa bqpc cq pac ` bcq pac ` bcq 0. A soma de dois
nmeros opostos sempre zero.

3Para os nmeros negativos e para o zero, no vale o teorema de ARQUIMEDES.

I. TEORIA DOS NMEROS REAIS

3 2 ) Escrevendo-se os nmeros relativos sob as formas simplificadas `n,


0, m, valem sempre as regras de sinais para a soma, subtrao e multiplicao: (a e b so nmeros naturais)
p`aq ` p`bq p`aq pbq `pa ` bq,
p`aq ` pbq pbq ` p`aq
p`aq p`bq pbq ` p`aq `pa bq pb aq,
paq ` pbq paq p`bq pa ` bq,
p`aq.p`bq paq.pbq `ab,
p`aq.pbq paq.p`bq ab.
6. Nmeros racionais relativos. Chamaremos nmeros racionais absolutos, os nmeros racionais introduzidos no 4, construdos a partir dos
nmeros naturais. Construindo agora como no pargrafo anterior, os pares p q em que p e q so nmeros racionais absolutos, e introduzindo do
mesmo modo as operaes e relaes de desigualdade, obtemos o campo dos
nmeros racionais relativos, que contm os trs campos definidos at aqui:
o campo dos nmeros naturais, o dos nmeros racionais absolutos e dos inteiros relativos. Neste novo campo as operaes e relaes de desigualdade
satisfazem s mesmas propriedades 1. a 6. do 3, 2 1 do 4 e 1 2 ) a 3 2 ) do
5; a propriedade 1 1 ) do 4 vale desde que se exclua o divisor nulo, pois se
q 0, a equao qx p ou indeterminada (se p 0) ou no tem soluo
(se p 0), pois qx 0x igual a zero qualquer que seja x. O valor absoluto
de um nmero se define do mesmo modo que no pargrafo anterior.
A diviso no campo racional relativo obedece s mesmas regras de sinais
que a multiplicao, isto , supondo sempre q 0 e sendo p e q nmeros
racionais absolutos, temos:
p
p
`p

`
`q
q
q

`p
p
p

.
q
`q
q

7. Seces no campo racional absoluto. Tomemos um nmero r racional absoluto. Este nmero determina entre os restantes uma separao em
duas classes: A - a classe dos nmeros a menores do que r, e A 1 - a dos nmeros a 1 maiores do que r. Essa diviso do campo racional em duas classes
chama-se uma seco racional ou seco imprpria, para distinguir de outras
que definiremos mais adiante; designaremos uma tal seco com o smbolo
a|a 1 . A primeira classe A chama-se classe minorante, a segunda, A 1 , classe

I. TEORIA DOS NMEROS REAIS

majorante da seco. fcil verificar que toda seco racional pode ser definida pelas duas classes A, A 1 , de nmeros racionais absolutos, que satisfazem
s seguintes propriedades:
1) Todo nmero racional absoluto, com uma e uma nica exceo, est
em uma e uma s das duas classes.
2) Todo nmero menor que um nmero da classe A, pertence a esta
classe; todo nmero maior que um nmero da classe A 1 pertence a esta.
3) A classe A no tem mximo; a classe A 1 no tem mnimo.
Com efeito, as propriedades 1) e 2) so evidentes e 3) se deduz da propriedade 2 1 ) do 4, pois sendo a r, existe outro nmero a1 compreendido
entre a e r, que pertence portanto mesma classe A e maior que a, o que
mostra que nenhum nmero a pode ser mximo na classe minorante; analogamente se demonstra que nenhum nmero a 1 pode ser mnimo na classe
majorante. Por outro lado, se duas classes A e A 1 satisfazem s trs propriedades acima, evidente, pela propriedade 2), que o nmero r que por 1) no
pertence a nenhuma dessas classes est compreendido entre elas, e portanto
as duas classes sero constitudas, respectivamente, pelos nmeros menores
e pelos maiores que r.
Se aos nmeros racionais r e s correspondem as seces a|a 1 e b|b 1 , ao
nmero r ` s corresponder a seco a ` b|a 1 ` b 1 , cuja classe minorante se
compe de todas as somas de um nmero qualquer a por um qualquer b, e
a classe majorante, de todas as somas a 1 ` b 1 ; ao produto rs corresponder
analogamente a seco ab|a 1 b 1 . Com efeito, todo nmero c r ` s pode ser
escrito sob a forma a`b, bastando por a pc{r`sqr r e b pc{r`sqs s.
Analogamente, sendo d rs, temos d{s r, logo existe um nmero racional
a tal que d{s a r, donde se deduz d{a b s, isto , d o produto de
um nmero a r por um nmero b s. A mesma demonstrao se pode
fazer para os nmeros c 1 r ` s e d 1 rs. Isto prova que os pares de classes
a ` b e a 1 ` b 1 , ab e a 1 b 1 constituem efetivamente as seces definidas pelos
nmeros r ` s e rs, respectivamente.
Vemos assim que sempre possvel caracterizar um nmero racional r
pelas duas classes da seco que ele determina e que as operaes entre dois
nmeros (e portanto entre mais de dois) esto perfeitamente determinadas
pelas operaes entre os nmeros componentes das duas classes determinadas por cada um dos nmeros dados. Podemos ento dizer que a seco a|a 1
no mais que um dos modos de representar o nmero r, o que autoriza a
escrever r a|a 1 .

I. TEORIA DOS NMEROS REAIS

Ora, vamos agora definir outras seces, ou pares de classes A (minorante) e A 1 (majorante), que satisfazem s mesmas propriedades 2) e 3), e
que em vez de 1) satisfazem a
1 1 ) Todo nmero racional absoluto est em uma e uma s das duas classes.
O conjunto das duas classes nestas condies forma uma seco prpria
no campo racional, ou nmero irracional, que se dir definido pela seco;
chamando esse nmero, pomos ento a|a 1 .
Uma tal seco se obtm, por exemplo, pondo na classe A todos os nmeros racionais absolutos cujo quadrado menor que 2, e na classe A 1 todos
aqueles cujo quadrado maior que 2. Como no h nenhum nmero inteiro
nem fracionrio que tenha por quadrado 2, a propriedade 1 1 ) est satisfeita;
a propriedade 2) tambm evidente. Quanto a 3), basta ver que se a2 2,
pondo 2 a2 h e tomando o nmero racional absoluto k menor que a e
que h{3a, temos

pa ` kq2 a2 ` kp2a ` kq a2 `

h
p2a ` aq a2 ` h 2,
3a

isto , o nmero a ` k est tambm na classe A, o que mostra que nenhum


nmero a dessa classe pode ser mximo. De maneira anloga se demonstra
que a classe A 1 no tem mnimo. A seco assim construda por definio
?
um nmero irracional que se indica com o smbolo 2 (raiz quadrada de 2),
e cujo estudo faz parte do captulo seguinte.
Podemos ento definir como nmero real absoluto toda seco prpria
ou imprpria do campo racional absoluto, isto , todo par de classes A e A 1 ,
de nmeros racionais absolutos a e a 1 respectivamente, que satisfazem s trs
propriedades seguintes:
I) Todo nmero racional, no mximo com uma exceo, est em uma e
uma s das duas classes.
II) Se a est em A e a1 a, a1 est em A; se a 1 est em A 1 , e a11 a 1 ,
a11 est em A 1 .
III) A no tem mximo, A 1 no tem mnimo.
Da propriedade II) se deduz a a 1 quaisquer que sejam os elementos a
e a 1 . Notemos porm que a recproca s verdadeira no caso das seces
prprias.
Uma propriedade das seces prprias ou imprprias que se deduz das
trs anteriores a seguinte:

10

I. TEORIA DOS NMEROS REAIS

I 1 ) Dado um nmero racional absoluto arbitrrio , h sempre um nmero a da classe minorante e outro, a 1 , da classe majorante, tais que a 1 a
.
Para demonstr-lo, tomemos outro nmero racional {2, e seja a1
um nmero da classe A. Consideremos os nmeros a1 , a1 ` , a1 ` 2, . . . ;
do teorema de ARQUIMEDES ( 3) aplicado aos nmeros racionais absolutos,
deduz-se que este conjunto contm elementos da classe A 1 ; entre esses elementos existe um mnimo, seja a1 ` n. Neste caso, o nmero a1 ` pn 1q
pode quando muito ser o elemento de separao das duas classes, mas em
qualquer caso a1 ` pn 2q pertencer certamente classe A. Os nmeros
a1 `pn2q e a1 `n satisfazem condio do teorema, pois a sua diferena
2 .
Esta propriedade I 1 ) pode substituir a propriedade I) das seces, uma
vez supostas satisfeitas II) e III); com efeito, suposta satisfeita essa condio
I 1 ), existir no mximo um nmero no pertencente a nenhuma das classes,
pois se houvesse dois nmeros racionais excetuados, p e q, supondo p q,
teramos pela propriedade 2), a p q a 1 , donde a 1 a q p 0,
quaisquer que fossem a e a 1 , o que contradiz a condio I 1 ) suposta satisfeita.
8. Operaes entre os nmeros reais absolutos. Dados dois nmeros
reais a|a 1 e b|b 1 , ponhamos numa classe C as somas c a ` b e
numa classe C 1 as somas c 1 a 1 ` b 1 ; essas duas classes formam uma seco,
segundo a definio dada no pargrafo anterior. Com efeito, a propriedade
III) evidente, pois satisfeita pelas seces dadas. Para a propriedade II),
basta notar que todo nmero c a ` b pode ser representado sob a forma
c pc{a`bqa`pc{a`bqb, isto , como soma de um nmero racional menor
que a com outro menor que b, e esses nmeros pertencem respectivamente
s classes minorantes de e ; analogamente se demonstra que todo nmero
c 1 a 1 ` b 1 est na classe C 1 . Para a propriedade I), basta notar que as
diferenas pa 1 ` b 1 q pa ` bq pa 1 aq ` pb 1 bq satisfazem condio I 1 ),
pois sempre possvel escolher cada uma das diferenas a 1 a e b 1 b menor
que um nmero racional absoluto dado, qualquer que seja este; e sendo essas
diferenas positivas, nenhuma soma a ` b pode coincidir com uma soma
a 1 ` b 1 . Conclumos pois que as classes C e C 1 , formam uma seco, que o
nmero c|c 1 , que chamaremos soma dos nmeros dados: ` .
De maneira anloga se pode verificar que as classes dos nmeros d ab
1
e d a 1 b 1 formam uma seco, que se define como produto dos nmeros
dados .

I. TEORIA DOS NMEROS REAIS

11

Como j vimos, essas duas operaes assim definidas se reduzem s operaes j conhecidas no caso dos nmeros e serem racionais. fcil
verificar que as propriedades 1. a 4. do 3 subsistem aqui, assim como a
propriedade 1 1 ) do 4. Tambm se verifica que a seco racional que define o nmero 1 continua a gozar da mesma propriedade .1 , qualquer
que seja o nmero real , e que o produto deste nmero por um nmero
natural n pode tambm ser definido como a soma de n parcelas iguais a .
9. Desigualdades. Entre os nmeros reais absolutos a desigualdade se
define do mesmo modo que no 3. Ora, fcil ver que dados os dois nmeros a|a 1 e b|b 1 , para que se tenha necessrio e suficiente
que um nmero a coincida com um b 1 ; com efeito, se existir um nmero
c|c 1 tal que seja ` , a um nmero c da classe minorante de se
podem associar, pela propriedade I 1 ), dois nmeros b e b 1 tais que b 1 b c,
donde b 1 b ` c, que por definio um nmero da classe minorante de .
Reciprocamente, se existe um nmero a1 b11 , existiro certamente nmeros a maiores que nmeros b 1 ; verifica-se ento que a classe constituda pelos
nmeros racionais absolutos c a b 1 e a classe constituda por todas as
diferenas c 1 a 1 b formam uma seco, que define a diferena ,
que satisfaz igualdade ` , e portanto, temos .
Dessa observao se deduz que entre os nmeros reais absolutos vale a
propriedade 5. do 3. As propriedades 6. e 7. do mesmo pargrafo se
deduzem com facilidade, assim como a propriedade 2 1 ) do 4.
Tambm se verifica imediatamente que todo nmero real maior que
todos os nmeros da sua classe minorante e menor que todos os da sua classe
majorante.
Veremos daqui a pouco ( 13 e seg.) que novas propriedades se obtm
no campo real.
10. Nmeros reais relativos. Se tomarmos como ponto de partido o
campo dos nmeros racionais relativos, podemos facilmente definir nesse
campo seces racionais e irracionais, com as mesmas propriedades I) ou
I 1 ), II) e III) do 7. As seces racionais definiro o prprio nmero racional
relativo excludo das duas classes, ao passo que as seces irracionais definem
nmeros irracionais relativos; os nmeros relativos, racionais e irracionais
formam o campo dos nmeros reais relativos, ou o campo real relativo. A
soma e a desigualdade se definem como nos 8 e 9. Verifica-se facilmente
que existe sempre a diferena de dois nmeros quaisquer e que o nmero
racional 0 (zero) continua a gozar das propriedades ` 0 , qualquer que
seja o nmero .

12

I. TEORIA DOS NMEROS REAIS

Um nmero real relativo a|a 1 se diz positivo se o nmero 0 est na


sua classe minorante, negativo se est na classe majorante. No primeiro caso,
desprezando na classe minorante todos os elementos no positivos, obtemos
evidentemente uma seco no campo racional absoluto, isto , um nmero
real absoluto, que por definio o mesmo nmero ; esta definio no
implica em nenhuma contradio, pois claro que as operaes de soma e
desigualdade entre nmeros positivos conduzem ao mesmo resultado, quer
se considerem ou no os nmeros negativos e o 0 das classes minorantes.
O valor absoluto se define como no 5. Desta maneira, todo nmero real
diferente de zero est perfeitamente determinado pelo seu valor absoluto, que
um nmero real positivo, e pelo seu sinal.
Levando ento em conta a definio do produto de nmeros absolutos
podemos definir o produto de nmeros reais relativos pelas seguintes igualdades (em que , so nmeros absolutos);
`. ` . `;

. ` `. ;

.0 0. 0.
Com estas definies verifica-se que no campo real relativo, como no
campo racional relativo, esto definidas as quatro operaes elementares,
chamadas operaes racionais: soma, subtrao, multiplicao e diviso
(com divisor diferente de zero). Estas operaes e as relaes de desigualdade satisfazem s propriedades 1. a 6. do 3, 1 1 . e 2 1 . do 4 e 1 2 ., 2 2 . e
3 2 . do 5.
11. Propriedades das desigualdades. Vamos enumerar as propriedades
mais importantes das relaes de desigualdade no campo real relativo, que
se demonstram facilmente fazendo uso da definio e das propriedades das
operaes (, , , so nmeros reais relativos, e o smbolo indica que o
nmero esquerda pode ser menor ou igual ao da direita):
1. De S segue-se, respectivamente,
S e

T .

2. De e segue-se ` ` .
3. De e segue-se
(em 2. e 3. s vale a igualdade no caso e ).
4. De e S 0 segue-se, respectivamente, S .
5. || || | | || ` ||.

I. TEORIA DOS NMEROS REAIS

13

Esta ltima propriedade de uso frequente nas demonstraes; a segunda


relao se estende a um nmero qualquer de parcelas:
| . . . | || ` || ` || ` . . .
12. Conjuntos ordenados e densos. As palavras conjunto, coleo, famlia, classe, etc., so palavras sinnimas em matemtica; s o uso que
determina, em certos captulos desta cincia, qual destas palavras deve ser
empregada, de preferncia, em cada caso particular. De qualquer maneira,
sempre que falarmos em conjunto, suporemos que ele esteja bem definido,
ou pelo conhecimento individual dos seus elementos ou por um critrio em
virtude do qual, dado um elemento, se possa dizer com segurana se ele faz
parte ou no do conjunto dado.
Vimos nos nmeros anteriores vrios exemplos de conjuntos: o conjunto
dos nmeros naturais, dos nmeros inteiros relativos, dos nmeros reais absolutos, etc.. Assim tambm podemos considerar, em Geometria, o conjunto
dos pontos de um segmento, o conjunto das retas de um plano, o conjunto
das curvas planas de 2a. ordem, etc., em lgebra, o conjunto dos polinmios
com coeficientes inteiros, o conjunto das razes de uma equao, etc..
Dizemos que um conjunto C est ordenado, quando dado um critrio
segundo o qual, dados dois elementos distintos quaisquer a e b de C, se
pode sempre afirmar que ou a precede b ou a segue b, estas duas relaes
excluindo-se mutuamente e satisfazendo propriedade transitiva, isto : Se
a precede b e b precede c, ento a precede c.
Do fato dessas relaes de ordem se exclurem, segue-se que a precede b,
b segue a, e da propriedade transitiva admitida para a relao preceder se
deduz facilmente que a relao seguir goza da mesma propriedade.
Todos os campos de nmeros estudados atrs podem ser ordenados segundo o critrio do valor algbrico, isto , dizendo-se que um nmero a
precede ou segue outro nmero b, segundo seja a b ou a b. Os pontos
de uma reta tambm podem ser ordenados, dando-se para esta um sentido
de percurso. Os pontos de um crculo, ao contrrio, no ficam ordenados,
mesmo que se d o sentido de percurso.
OBSERVAO. Se um conjunto est ordenado, podemos sempre ordenlo de outra maneira, permutando as palavras segue e precede, pois as
consideraes anteriores mostram que estas duas relaes esto em perfeita
simetria. Dizemos ento que o conjunto fica ordenado de maneira inversa da
precedente. claro que invertendo de novo a ordem, obtemos o conjunto
ordenado segundo o critrio primitivo.

14

I. TEORIA DOS NMEROS REAIS

Em um conjunto ordenado, dizemos que um elemento est compreendido


entre dois outros, ou mais simplesmente, que ele est entre eles, se ele segue
um deles e precede o outro.
Dado um conjunto ordenado C, dizemos que ele denso se, dados dois
elementos distintos quaisquer a e b, existe sempre um outro elemento e compreendido entre eles. Os nmeros inteiros, ordenados pelo critrio do valor
algbrico, no formam um conjunto denso, pois entre dois inteiros consecutivos no h nenhum nmero inteiro. Mas os nmeros racionais, ordenados
segundo o mesmo critrio, formam um conjunto denso, pois entre dois nmeros racionais distintos est sempre a sua mdia aritmtica, que tambm
racional. Nota-se porm que esse mesmo conjunto, ordenado segundo outro
critrio, pode no ser mais denso.
13. Conjuntos contnuos. Continuidade do campo real. Tomemos um
conjunto C, ordenado e denso. Distribuamos os seus elementos em duas
classes K e K 1 , tais que; 1) todo elemento da classe K preceda todo elemento
da classe K 1 . Todo par de classes que satisfaa a essas duas condies chamase uma partio do conjunto C. O conjunto C se diz contnuo quando toda
partio nele efetuada determina de modo unvoco um elemento de C,
chamado elemento de separao das duas classes, tal que todos os elementos
que o precedem esto na classe K e todos os que o seguem esto na classe K 1 ,
(O prprio elemento pode pertencer a K ou a K 1 ).
O conjunto dos nmeros racionais absolutos, ordenado pelo critrio do
valor algbrico, denso, mas no contnuo, pois qualquer seco prpria
satisfaz s duas propriedades 1) e 2) acima, e no entanto no tem elemento
de separao racional.
Ora, a propriedade fundamental do campo real, que o distingue dos campos inteiros e racionais a seguinte: O campo real (absoluto ou relativo),
ordenado pelo critrio de valor algbrico, um conjunto denso e contnuo.
Com efeito, efetuemos uma partio pK, K 1 q no campo real, e vamos construir uma seco no campo racional que define o elemento de separao dessas duas classes. Para isto, ponhamos em uma classe A todo nmero racional
a que seja superado por algum nmero real de K, e noutra classe A 1 , todo
nmero racional que supere algum elemento de K 1 . claro que essas duas
classes A e A 1 satisfazem s propriedades II) e III) das seces, enunciadas
no 7; quanto propriedade I), se houvesse dois nmeros racionais p e q
no pertencentes a nenhuma das classes A ou A 1 , supondo p q, haveria
certamente um nmero real tal que p q; ora pela propriedade 1) da
partio, est ou em K ou em K 1 ; no primeiro caso, p estaria em A, no

I. TEORIA DOS NMEROS REAIS

15

segundo caso q estaria em A 1 , o que contradiz a hiptese feita. Logo, A


e A 1 formam uma seco que define um nmero real .
Todo nmero real k superado por um elemento a da classe A,
o qual pertence a K, logo k tambm pertence a K. Da mesma forma, todo
nmero real k 1 pertence classe K 1 , o que demonstra que o elemento
de separao das duas classes; este nmero pode pertencer a K, como mximo
desta classe, ou a K 1 , como mnimo desta. Como tomamos uma partio,
K, K 1 arbitrria, fica assim demonstrada a continuidade do campo real.
14. Classes minorantes e majorantes. Vimos no pargrafo anterior que
toda partio do campo real determina um nmero real que ou o mximo
da primeira classe (classe minorante) ou o mnimo da segunda (classe majorante). Mas uma partio fica perfeitamente determinada pelo conhecimento
de uma das suas classes. fcil ver que uma classe minorante K pode ser
definida como uma classe de nmeros reais que satisfaz s seguintes propriedades:
1) K no contm todos os nmeros reais.
2) Todo nmero menor que um nmero de K, pertence a K.
Se uma classe K satisfaz a estas condies, chamando K 1 a classe constituda pelos nmeros reais que no esto em K, claro que as duas classes K
e K 1 , formam uma partio.
De maneira anloga se pode definir uma classe majorante como uma
classe de nmeros reais satisfazendo s condies:
1 1 ) K 1 no contm todos os nmeros reais.
2 1 ) Todo nmero maior que um nmero K 1 pertence a esta classe.
Um dos processos que usaremos frequentemente para demonstrar a existncia de um nmero real consiste em definir um tal nmero por meio de
uma classe minorante ou majorante.
15. Classes contguas. Representao decimal. Outro processo dos
mais usados para definir um determinado nmero real, consiste na construo de duas classes contguas. Chamam-se assim duas classes H e H 1 de
nmeros reais, que gozam das seguintes propriedades:
1) Todo nmero de H menor que todo nmero de H 1 .
2) Dado um nmero real positivo arbitrrio , existe sempre um nmero
h de H e um nmero h 1 de H 1 , que satisfazem condio h 1 h .
Essas duas classes definem sempre um nico nmero real que satisfaz s
desigualdades h h 1 , quaisquer que sejam h e h 1 nas classes respectivas.
Para demonstr-lo, ponhamos numa classe B todo nmero racional b que
seja superado por algum nmero h e numa classe B 1 todo nmero racional

16

I. TEORIA DOS NMEROS REAIS

b 1 que supere algum elemento h 1 . Estas duas classes B e B 1 formam uma


seco, segundo a definio do 7; v-se, com efeito, que as propriedades II)
e III) esto satisfeitas, e quanto propriedade I), basta notar que se houvesse
dois nmeros p e q excetuados, teramos sempre, supondo p q, h p
q h 1 , donde h 1 h q p, o que contraria a condio 2). O nmero
b|b 1 assim definido, no pode ser menor que nenhum nmero h, pois do
contrrio haveria nmeros racionais b tais que b h, o que absurdo:
da mesma forma se verifica que no pode ser maior que nenhum nmero
h 1 , e portanto temos, como queramos demonstrar, h h 1 . Pode porm
acontecer que pertena classe H, como mximo, ou classe H 1 , como
mnimo.
Notemos que todas as seces prprias ou imprprias, assim como todas
as parties, so classes contguas.
Outro exemplo importante dado pela representao decimal de um nmero real. Dado um nmero real qualquer , impe-se o problema prtico
de represent-lo de uma maneira cmoda, adaptvel ao clculo numrico.
Para isto, pondo de parte o caso de nmero zero, j indicado com o smbolo 0, damos o sinal e o valor absoluto || que um nmero positivo;
para representar este nmero positivo, procuramos o mximo nmero inteiro a0 ||, que supomos como sempre escrito no sistema decimal. Teremos ento, a0 ` 1 ||. Se for a0 ||, a0 ser a representao exata do
nmero ||. Mas se for a0 ||, tomaremos o maior dos nmeros
a0 ,

a0 `

1
,
10

a0 `

2
,
10

...,

a0 `

9
10

que seja ainda ||, que podemos indicar com a0 ` a1 {10 ou a0 , a1 , sendo
a1 um dos algarismos 0, 1, 2, . . . , 9. Prosseguindo da mesma maneira,
sucessivamente, se chegarmos a um nmero decimal a0 , a1 a2 . . . an ||,
dizemos que um nmero decimal exato e sua representao est determinada por essa expresso precedida do sinal de . Mas se o processo continua
indefinidamente, teremos em qualquer caso uma lei pela qual se determinam sucessivamente e de modo unvoco os algarismos a1 , a2 , . . . , an , . . . .
Mesmo neste caso, o nmero est perfeitamente determinado. Com efeito,
consideremos a classe H dos nmeros decimais
a0 ;

a0 , a1 ;

a0 , a1 a2 ;

...;

a0 , a1 a2 . . . an ;

...

e a classe H 1 dos nmeros


a0 ` 1; a0 `

a2 ` 1
an ` 1
a1 ` 1
; a0 , a1 `
; ...
; . . . ; a0 , a1 a2 . . . an1 `
10
10n
102

I. TEORIA DOS NMEROS REAIS

17

claro que todos os nmeros de H so menores que qualquer nmero


de H 1 , e que dado o nmero real 0 arbitrrio, basta tomar n tal que seja
10n 1{ para que se tenha

1
an ` 1
pa0 , a1 a2 . . . an q n .
a0 , a1 a2 . . . an1 `
10n
10
Temos assim um par de classes contguas que determina, como vimos,
um nico nmero real absoluto que, devendo ser maior ou igual a todos
os nmeros de H e menor ou igual a todos os de H 1 , deve forosamente
coincidir com ||, que satisfaz s mesmas condies. O nmero real ter
ento a representao decimal
a0 , a1 a2 . . . an . . . .
16. Representao dos nmeros reais sobre uma reta. Sabemos da Geometria que a definio de reta como conjunto de pontos pode ser estabelecida sobre os seguintes sistemas de postulados:
1) Postulados da ordem, que dizem que o conjunto de pontos que constitui uma reta pode ser ordenado segundo dois critrios opostos; a cada um
desses critrios corresponde um sentido da reta; em qualquer caso, a reta
um conjunto denso (v. 12).
2) Postulado da continuidade de DEDEKIND, segundo o qual, efetuada
uma partio entre os pontos da reta orientada, isto , qual se assinalou um
critrio de ordem, existe sempre um ponto P tal que todo ponto que precede
P est na primeira classe e todo ponto que segue P est na segunda classe da
partio.
3) Postulado da igualdade de segmentos, que assegura que em toda semireta de origem O existe um e um nico ponto P tal que o segmento OP seja
igual a um segmento dado, essa relao de igualdade satisfazendo s propriedades reflexiva, simtrica e transitiva (cf. 4). Com base nesses postulados,
definem-se as operaes de soma, subtrao e multiplicao de segmentos por
um nmero inteiro positivo. Do postulado da continuidade pode-se deduzir
facilmente a divisibilidade de segmentos.
4) Postulado de ARQUIMEDES. Dados dois segmentos de uma reta AB
e AC AB, existe sempre um mltiplo conveniente de AB que maior que
AC. Este ltimo postulado indispensvel para caracterizar as propriedades
da reta na Geometria Mtrica.

18

I. TEORIA DOS NMEROS REAIS

Entre os nmeros reais relativos, ordenados segundo o critrio do valor


algbrico e os pontos de uma reta orientada, pode-se estabelecer uma correspondncia biunvoca perfeita, tal que se um ponto A segue um ponto B, o
nmero real que corresponde a A maior que o que corresponde a B.
Com efeito, fixemos sobre a reta, suposta horizontal, o ponto O e um
ponto sucessivo, U, que, segundo a conveno universalmente usada, supomos colocado direita de O. Ao ponto O fazemos corresponder o nmero
zero; a um ponto P distinto de O, fazermos corresponder a razo dos segmentos OP e OU, definida como no 1, se esses segmentos forem comensurveis,
e no caso contrrio, definida pela seco prpria das medidas por falta e por
excesso, atribuindo a essa razo o sinal ` ou , segundo P esteja direita ou
esquerda de O. O nmero real assim definido chama-se abscissa do ponto
P. fcil ver que a abscissa do ponto U 1 e que se um ponto P est direita
de outro ponto Q, as suas abscissas p e q satisfazem relao p q.
Reciprocamente, dado o nmero real , dividamos os pontos da reta em
duas classes, pondo na primeira os pontos cuja abscissa menor que e na
segunda, aqueles cuja abscissa maior ou igual a . Obtemos assim uma
partio da reta que, pelo postulado da continuidade, determina um ponto P
de separao. A abscissa de P no pode ser maior que , pois neste caso,
um nmero racional r compreendido entre eles corresponderia certamente a
um ponto B da reta que, sendo r , deveria estar na segunda classe, e
sendo r , deveria preceder P, isto , pertencer primeira classe, o que
absurdo. Analogamente se demonstra que no pode ser , e portanto
ao ponto P corresponde a abscissa .
Em virtude dessa correspondncia, que conserva a ordem, podemos representar os nmeros reais por meio de pontos sobre a reta; daqui por diante
falaremos indiferentemente, de pondo de uma reta ou do nmero real correspondente, que a sua abscissa, designando-os sempre pelo mesmo smbolo,
desde que no haja perigo de confuso.
17. Intervalos e entornos. Dados dois pontos (ou nmeros reais) a e
b, sendo a b, chama-se intervalo a $% b o conjunto dos pontos a, b
e dos pontos compreendidos entre a e b; em outras palavras, tomando os
nmeros reais correspondentes, chama-se intervalo a $% b o conjunto dos
nmeros x que satisfazem s desigualdades a x b. Este conjunto chamase tambm intervalo fechado, para distingui-lo dos outros intervalos que se
podem definir excluindo um ou outro dos nmeros a ou b; temos assim mais
trs espcies de intervalos:
a $ b - conjuntos dos nmeros x tais que a x b

I. TEORIA DOS NMEROS REAIS

19

a % b - conjuntos dos nmeros x tais que a x b


a b - conjuntos dos nmeros x tais que a x b;
este ltimo chama-se tambm intervalo aberto. Em qualquer caso, os pontos a e b so chamados, respectivamente, extremo inferior ou esquerdo e
extremo superior ou direito, do intervalo.
Chama-se entorno de um ponto a qualquer intervalo aberto que contenha a. Pela prpria definio v-se que a no pode ser extremo de um seu
entorno. Dado, por exemplo, um nmero positivo arbitrrio , o intervalo
a a ` um entorno de a; como ele dividido ao meio pelo ponto a,
chama-se tambm entorno simtrico de a, ou ainda, entorno () de a. Estes
entornos simtricos tm grande importncia na teoria dos limites.
Define-se tambm como entorno esquerdo de a qualquer intervalo c % a,
sendo c a, e entorno direito de a qualquer intervalo a $ d, sendo d a.
Todo entorno c d de a (entorno completo) pode ser considerado como a
reunio de um entorno esquerdo c % a e um entorno direito a $ d de a, este
sendo o nico ponto comum aos dois.
Quase todas as aplicaes do conceito de entorno de um ponto so baseadas nas seguintes propriedades;
1. Todo ponto tem uma infinidade de entornos, que o contm.
2. Dados dois entornos de um mesmo ponto, existe sempre um outro
entorno deste ponto que contido nos entornos dados.
3. Se um ponto b pertence a um entorno de outro ponto a, existe um
entorno de b todo contido em .
4. Dados dois pontos distintos a e b, pode-se sempre achar um entorno
de a e um entorno de b, sem pontos comuns.
Verifica-se facilmente que estas quatro propriedades so satisfeitas pelo
sistema de entornos completos, ou pelo sistema de entornos esquerdos ou
pelo sistema de entornos direitos.
18. Elementos infinitos. Suponhamos que, definida uma classe minorante com a propriedade 2), do 14, se verifique que todos os nmeros reais
pertencem a esta classe, isto , que essa classe no satisfaa propriedade 1).
Diremos ento que tal classe define o elemento `8 (mais infinito, ou infinito
positivo), que por definio maior que todos os nmeros reais; o mesmo
elemento pode ser definido por uma classe majorante que, pela sua definio, no contenha nenhum elemento, ou, como diremos por uma extenso
de linguagem, por uma classe majorante que seja vazia.
Da mesma forma, se, definida uma classe majorante, reconhecermos que
ela contm todos os nmeros reais, dizemos que essa classe define o elemento

20

I. TEORIA DOS NMEROS REAIS

8 (menos infinito ou infinito negativo), que tambm definido por qualquer classe minorante que seja vazia, e que menor que qualquer nmero
real relativo.
Essas classes que definem os elementos infinitos chamam-se classes minorantes ou majorantes imprprias.
Note-se porm que esses elementos infinitos no so nmeros e portanto
no podem intervir em operaes nem fazer parte de conjuntos de nmeros
reais.
O par de elementos `8 e 8 chama-se simplesmente infinito (8) e para
ele no se definem as desigualdades. Para esclarecimento chamaremos algumas vezes ponto ou nmero finito, qualquer ponto ou nmero real propriamente dito.
Estende-se a noo de intervalo dada no pargrafo anterior, admitindo
que um dos extremos seja `8 ou 8, no podendo este elemento fazer parte
do intervalo, pois no um nmero real. Um intervalo nestas condies dizse infinto ou ilimitado,, e em contraposio, um intervalo cujos extremos so
finitos diz-se finito ou limitado. O intervalo aberto 8 ` 8 coincide com
o campo real.
Chama-se entorno direito do infinito, todo intervalo aberto 8 a e
entorno esquerdo do infinito, todo intervalo b ` 8. A reunio de um
entorno direito 8 a e de um entorno esquerdo b ` 8, em que seja
a b, chama-se simplesmente entorno do infinito, que tambm se pode
definir como o conjunto de pontos externos a um intervalo fechado a $% b.
Se os extremos deste intervalo so k e `k, com k 0, obtemos o conjunto
dos nmeros x tais que |x| k, que se chama entorno simtrico ou entorno
(k) do infinito.
Exerccios
1. Demonstrar, usando exclusivamente os postulados de PEANO, as propriedades das operaes, de que trata o 3.
2. Demonstrar a propriedade distributiva do produto de nmeros racionais.
3. Desenvolver, baseando exclusivamente nas definies dadas, as propriedades da desigualdade entre nmeros reais positivos ( 11).
4. Chama-se enumervel todo conjunto cujos elementos podem ser postos em correspondncia com os nmeros naturais, correspondendo a cada
elemento um nmero e vice-versa. Demonstrar a) que toda parte infinita
de um conjunto enumervel enumervel; b) que o conjunto dos pares de

EXERCCIOS

21

nmeros naturais enumervel (basta coloc-los na ordem: p1, 1q, p2, 1q,
p1, 2q, p3, 1q, p2, 2q, p1, 3q, p4, 1q, p3, 2q, . . . ); c) que o conjunto dos nmeros
racionais enumervel.
5. O campo real no enumervel. (Basta considerar os nmeros reais entre 0 e 1. Se esse conjunto fosse enumervel, a cada nmero natural
n corresponderia um nmero real an , representvel como nmero decimal
0, an1 an2 . . . e com esse processo todos os nmeros entre 0 e 1 estariam
computados. Ora, o nmero b 0, b1 b2 . . . bn . . . em que bn ann ` 1,
para ann 9 e bn 8 para ann 9 no pode coincidir com nenhum
nmero an , pois o seu ensimo algarismo da parte decimal certamente distinto do de an ; logo b no est computado entre os an , o que demonstra a
contradio.)
6. Representar sobre a reta o conjunto dos nmeros

n1
n
n1 m1
`

anm
n
m
n`1
n

em que m e n so nmeros naturais.


Mostrar que cada elemento desse conjunto tem um sucessor bem determinado.

CAPTULO II

Potncias e Logaritmos dos Nmeros Reais


1. Potncia com expoente inteiro e positivo. Seja a um nmero real
qualquer. As igualdades
(1)

a1 a

e an`1 an .a

definem, para qualquer nmero natural n, a expresso an , que se chama


potncia n (ensima) de a, em que a a base e n o expoente. Para n 1,
an pode ser definido como o produto de n fatores iguais a a. Da definio
(1) e da propriedade associativa do produto, se deduz, quaisquer que sejam
os nmeros naturais n e p,
(2)

an .ap an`p ,

propriedade que se estende a um nmero qualquer de potncias da mesma


base a. Se tivermos q fatores iguais a an , resulta
(3)

pan qq anq .

Enfim, das propriedades comutativa e associativa do produto segue-se tambm


(4)

pabqn an .bn ,

pois temos n fatores iguais a a e n iguais a b; esta ltima propriedade (propriedade distributiva da potenciao em relao ao produto) se estende a um
nmero qualquer de fatores. Se nesta frmula (4) pusermos ab c, supondo
b 0, deduzimos an cn {bn , ou
c n
cn
n
(5)
b
b

o que tambm se poderia deduzir diretamente da definio.


2. Potncia com expoente negativo ou nulo. Da frmula (2) do pargrafo anterior, se deduz, pondo n ` p m sendo a 0,
(1)

amp
23

am
ap

24

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

esta frmula s tem significao para m p, pois at aqui s definimos


potncias com expoente positivo; temos portanto liberdade de dar uma definio de potncia com expoente negativo ou nulo; mas essa definio s ter
utilidade se for mantida a propriedade formal (1). Para isso, notemos que se
em (1) pusermos m p, obteremos
a0 1

(2)

frmula que adotamos para definio de potncia com expoente nulo, qualquer que seja a 0. Pondo depois em (1) m 0, obtemos, para cada
nmero natural p, a frmula
ap

(3)

1
ap

que adotamos tambm para definio de potncia com expoente negativo,


para a 0. Desta maneira fica definida a potncia ap , sendo p um nmero
inteiro relativo qualquer. Se p 0, esse conceito se aplica qualquer que seja
o nmero real a. Se p 0, devemos ter sempre a 0.
fcil ver que as potncias com expoente inteiro relativo gozam das
propriedades fundamentais (2), (3) e (4) do pargrafo anterior. Com efeito, a
primeira dessas frmulas serviu para a extenso desse conceito, para n ` p
m p, isto , quando n negativo ou nulo. Temos depois
an .ap

1
1
1 1
. p n p n`p anp .
n
a a
a .a
a

As frmulas (3) e (4) se demonstram com facilidade, em todos os casos.


3. Propriedades das potncias em relao s desigualdades. Notemos
antes de tudo que das definies dadas se deduz que a) uma potncia com
expoente positivo s se anula quando a base nula; b) uma potncia com
expoente nulo ou negativo no se anula nunca; c) se a base a diferente
de zero, a potncia an ter o mesmo sinal que a ou ser sempre positiva,
conforme seja n mpar ou par; d) para a 1, todas as potncias de a so
iguais a 1.
Suponhamos agora a 0. Todas as potncias de a com expoente inteiro
relativo so positivas. Quanto s relaes de desigualdade, temos trs casos
a considerar:
1) a 1. Neste caso temos sempre an`1 an .a an , e portanto, para
n 1, temos an 1. Em geral, sendo n e p dois nmeros relativos tais
que n p, temos anp 1, logo, an ap .anp ap , isto , quando o
expoente cresce, a potncia tambm cresce.

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

25

2) a 1. O raciocnio anterior se aplica ao nmero 1{a 1, donde se


conclui que quando o expoente cresce a potncia decresce, isto se p q
temos sempre ap aq .
3) a 1. Neste caso, qualquer que seja n temos sempre an 1n 1, e
no h relaes de desigualdade a considerar.
TEOREMA. Sendo a 1, dado um nmero positivo arbitrrio A, h
sempre um nmero inteiro n tal que
an A.

(1)

Ponhamos, com efeito, a 1`h (h 0). Temos evidentemente, supondo


n 1,
an 1 pa 1qpan1 ` an2 ` ` a ` 1q h.n

ou an 1 ` h.n.

Para que seja satisfeita a desigualdade (1) basta fazer com que seja 1 `
nh A, ou
A1
.
n
h
COROLRIO. Sendo a 1, dado um nmero positivo arbitrrio h, h
sempre um nmero inteiro n tal que se tenha an h; basta tomar n tal
que seja p1{aqn 1{an 1{h, o que possvel pelo teorema anterior, pois
temos aqui 1{a 1.
Recordando ainda a definio que demos em (3) no 2, vemos que as
propriedades anteriores se podem resumir como segue (supondo sempre a
0):
Dado o nmero arbitrariamente grande A sempre possvel achar um
nmero natural n tal que se tenha an A, se a 1 e an A se a 1;
dado o nmero positivo h arbitrariamente pequeno, sempre possvel achar
um nmero natural n satisfazendo s desigualdades an h se a 1 e
an h se a 1. Determinado esse nmero n, as mesmas desigualdades so
satisfeitas para qualquer outro natural maior que n.
Vemos ainda que qualquer que seja o nmero natural n temos sempre
(2)

an T 1 e an S 1,

conforme seja a T 1.

Daqui se deduz que de


(3)

aTb

segue-se, respectivamente, an T bn

pois temos, respectivamente, a{b T 1. (a e b positivos.)

26

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

4. Razes e propriedades dos radicais. Seja a um nmero real qualquer


e n um nmero natural 1. Vamos ver se possvel determinar um nmero
real b que satisfaa condio
bn a.
Quando esse nmero b existe, chama-se raiz de ndice n, ou raiz ensima
?
(n) de a, e indica-se com a notao n a. Esta expresso chama-se tambm
um radical e a a quantidade sub-radical ou o radicando. Antes de prosseguir,
faamos algumas observaes.
a) Se a 0, temos sempre uma e uma nica soluo b 0.
b) Se a negativo e n par, no existe nenhuma soluo, pois qualquer
nmero real positivo ou negativo elevado a uma potncia com expoente par
d um resultado positivo.
c) Se a positivo e n par, se existir uma soluo positiva b, existir
forosamente outra, negativa, b, pois temos pbqn bn a.
d) Se n mpar, se existir uma soluo b, o nmero b satisfar condio pbqn a.
Vemos pois que basta examinar o problema da pesquisa de uma raiz
positiva de um nmero a positivo, isto , estudar o problema da extrao
da raiz de ndice n no campo real absoluto. Neste caso, como passamos a
demonstrar, existe sempre um e um nico nmero real absoluto que soluo
do problema.
Para isto, separemos os nmeros reais absolutos em duas classes K e K 1 ,
caracterizadas respectivamente pelas condies
kn a e

kn a.

fcil ver que essas duas classes formam uma partio (I, 13) desse
campo; com efeito, essas classes no so vazias, j que todo nmero menor
que 1 e que a pertence a K e todo nmero maior que 1 e que a pertence a K 1 ,
e alm disto temos sempre k k 1 , pois se fosse k k 1 , elevando potncia n
teramos kn k 1n , o que absurdo. Seja b o elemento de separao dessas
duas classes. Se tivssemos a bn , pela definio de produto haveria n
nmeros racionais menores que b (da classe minorante de b) cujo produto
seria maior que a, e sendo o maior deles, teramos a n bn , o que
absurdo, pois ( b) deve pertencer classe K. Da mesma maneira se
demonstra que no podemos ter bn a, logo temos forosamente bn a.
?
Determinada assim, para a positivo, a raiz positiva b n a, das observaes anteriores a) e d), deduzimos que a equao,
xn a,

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

27

tem uma nica raiz x 0, se a 0; no admite soluo, para a 0 e n


?
par; tem duas razes opostas, n a, se a 0 e n par; tem uma nica raiz,
?
do mesmo sinal que a, se n mpar. Em geral, no smbolo n a, quando a
positivo e n par, subentende-se o sinal positivo, designando-se as duas razes
?
?
?
com n a ` n a e n a.
No caso de ser n 1, evidente que a nica soluo b a, neste caso
?
?
o smbolo torna-se intil. Quando n 2, escreve-se apenas a.
Demonstrada a existncia de uma e uma nica raiz n de um nmero
real absoluto, no campo real absoluto, vamos estudar algumas propriedades
desta nova operao - a extrao de raiz.
TEOREMA I. Multiplicando-se ou dividindo-se por um mesmo nmero o
ndice da raiz e o expoente da quantidade sub-radical, o radical no se altera.
?
Seja b n am , isto , bn am . Elevando potncia p, temos
bnp amp
e portanto
b

?
n

am

?
amp .

np

Esta propriedade dos radicais permite fazer sobre os mesmos duas operaes importantes:
1) Simplificar um radical, dividindo por um mesmo nmero o ndice e o
expoente, exemplo:
a
?
?
6
6
3
25 52 5.

2) Reduzir radicais ao mesmo ndice (m.m.c. dos ndices dos radicais


? ? ?
dados). Sejam os radicais m a, n b, p c. Seja r o m.m.c. dos ndices m, n,
p, e seja r m.m 1 n.n 1 p.p 1 . Os trs radicais podem ser escritos sob a
forma
? 1 ?
? 1 ?
? 1 ?
r
nn 1
pp 1
r
mm 1
r
am am 1 ,
bn bn 1 ,
cp cp 1 .

Antes de efetuar esta reduo conveniente fazer, se for possvel, a simplificao anterior.
Esta ltima operao pode servir para a comparao de radicais de ndices diferentes, pois quando os radicais tm ndices iguais, as relaes de
desigualdade so as mesmas que entre as quantidades sub-radicais, como resulta da propriedade (3), no fim do anterior.
TEOREMA II. O produto e o quociente de radicais do mesmo ndice
acham-se efetuando essas operaes sobre as quantidades sub-radicais.

28

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

? ?
Sejam para multiplicar n a. n b. Elevando potncia n, temos ((4), 1),
?
?
? ?
?
p n aqn .p n bqn a.b e portanto n a. n b n ab. Para o quociente se aplica
analogamente a frmula (5) do 1.
Uma aplicao importante deste teorema consiste em fazer sair ou entrar
um fator no radical, ex.:
?
?
?
?
?
3
3
3
3
3
135 5.27 5. 27 3. 5
c
1 a
x a ax2 x.
x
Vemos que para introduzir um fator ou um divisor dentro do smbolo do
radical, preciso elevar esse fator ou divisor a um expoente igual ao ndice
do radical.
TEOREMA III. Para elevar um radical a uma potncia pode-se elevar a
essa potncia a quantidade sub-radical.
Esse teorema se deduz imediatamente do anterior, aplicando este ao caso
de um maior nmero de fatores iguais. Se o ndice do radical for divisvel
pelo expoente, pode-se fazer depois a simplificao 1), e portanto neste caso
pode-se diretamente dividir o ndice pelo expoente dado.
TEOREMA IV. Para extrair a raiz n de um radical pode-se multiplicar
por n o ndice do radical.
Este teorema se deduz imediatamente aplicando a frmula (3), 1, pois
temos
b
np
?
n ?
p
a
p p aqp a.
Este teorema se estende a um nmero qualquer de radicais superpostos:
cb
?
n p ?
q
a npq a.

Quanto s propriedades das razes em relao s desigualdades, deduzemse imediatamente do anterior:


?
1) De a 1 segue-se, qualquer que seja n 1, a n a 1.
?
2) De a 1 segue-se, qualquer que seja n 1, a n a 1.
3) Sendo a e b nmeros reais positivos e a b, temos, qualquer que seja
?
?
o nmero natural n, n a n b.
TEOREMA V. Sendo a 1, dado o nmero 0 arbitrrio, sempre
possvel determinar um nmero natural n tal que se tenha
?
n
a 1 ` .

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

29

Basta, com efeito, notar que pelo teorema do pargrafo anterior, pode-se
determinar n tal que seja satisfeita a desigualdade
p1 ` qn a.
TEOREMA VI. Sendo 0 a 1, dado o nmero 0 arbitrrio, podese sempre determinar um nmero natural n tal que tenha
?
n
a1
que se deduz do corolrio do teorema citado. Estas duas propriedades so
tambm satisfeitas para todo nmero natural maior que o nmero n determinado.
Note-se que todas essas propriedades se referem sempre ao campo real
absoluto. Para o campo real relativo basta levar em conta as observaes a)
e d) do princpio deste pargrafo.
5. Potncias com expoente fracionrio. O teorema I do pargrafo anterior e as aplicaes 1) e 2) oferecem evidentes analogias com a propriedade
das fraes, que no se alteram multiplicando-se numerador e denominador
por um mesmo nmero, assim como as aplicaes desta propriedade, isto :
simplificar uma frao e reduzir vrias fraes ao mesmo denominador. Por
outro lado, se m divisvel por p, temos
?
m
p
am a p
(1)
pois o 2 membro, elevado potncia p, reproduz am . Esta frmula s
tem significao, por enquanto, se m{p for um nmero inteiro. Para maior
generalidade, pomos por definio a igualdade (1) mesmo para o caso em
que m no seja mltiplo de p. A legitimidade dessa definio consequncia
do teorema I citado, pois se m{p n{q, reduzida essa frao expresso
?
?
mais simples r{s, vemos que os dois radicais p am e q an , simplificados, se
?
reduzem ao mesmo radical s ar , sendo portanto,
m

a p aq as .
O produto e o quociente de potncias fracionrias de mesma base se
fazem de acordo com o teorema II do pargrafo anterior, reduzindo previamente os expoentes fracionrios ao mesmo denominador, que o ndice do
radical. Obtemos assim:
?
?
?
?
?
p
p
mq`np
m
m
nq
amq`np a nq a n ` q
a n .a q n am . q ap nq amq . nq anp
e da mesma forma obtemos tambm
m

a n : aq a n q .

30

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

Estes resultados demonstram que a propriedade fundamental das potncias ( 1, frmula (2)) se estende ao caso dos expoentes fracionrios. Daqui
resulta imediatamente a propriedade (3), 1, para o caso de n fracionrio
e q inteiro; se q r{s, basta pr em evidncia o nmero s como ndice e
fazer as operaes sob o radical; esta propriedade portanto geral. Para a
propriedade (4), 1, temos pondo n r{s,
a
?
? ?
r
r
r
s
s
pabq s s pabqr ar br s ar br a s b s .
Enfim, todas as consideraes do 2 se aplicam ao caso dos expoentes
fracionrios e portanto podemos definir em geral potncia com expoente racional relativo qualquer, satisfazendo s mesmas propriedades formais que
as potncias com expoente inteiro positivo.
Quanto s propriedades relativas s desigualdades, deduzem-se tambm
com facilidade das propriedades 1), 2) e 3) do anterior: Qualquer que seja
o nmero racional positivo h, de
aT1

segue-se, respectivamente, ah T 1,

donde se deduz que de


aTb

segue-se, respectivamente, ah T bh .

Deduz-se que, sendo p e q dois nmeros racionais quaisquer e a 1 um


nmero real, se tivermos p q, teremos ap aq ; com efeito, ponhamos
p q ` h, (h 0); temos, como j vimos, ap aq .ah , e como ah 1, etc.
Se tivermos 0 a 1, teremos, na mesma hiptese, ap aq .
Enfim, usando expoentes fracionrios, podemos dar outra forma aos teoremas V e VI do anterior:
TEOREMA I. Sendo a 1, dado o nmero 0 arbitrrio, pode-se
sempre achar um nmero racional positivo h tal que se tenha
ah 1 ` .
TEOREMA II. Sendo 0 a 1, dado o nmero 0 arbitrrio, pode-se
determinar um nmero racional positivo h tal que se tenha
ah 1 .
Estas desigualdades so tambm satisfeitas para todo expoente menor
que o nmero h determinado. Para satisfaz-las basta pr h 1{n e aplicar
os teoremas j demonstrados.

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

31

6. Potncias com expoente real. No pargrafo anterior definimos a


operao de potenciao para uma base a - nmero real absoluto qualquer
- e um expoente racional relativo. Vamos estender esta definio ao caso de
um expoente real relativo; para isto nos basearemos nas propriedades das
desigualdades. Seja a|a 1 um nmero qualquer definido por uma seco
do campo racional e b 1 um nmero real positivo. Consideremos as duas
classes de nmeros reais positivos: H - dos nmeros ba e H 1 - dos nme1
ros ba . As duas classes so portanto separadas. Para demonstrar que so
contguas basta verificar que dado 0 arbitrrio possvel determinar um
nmero a e um nmero a 1 tais que
1

ba ba .
Ora, 1 membro desta desigualdade pode-se escrever, como j foi demonstrado para expoentes racionais,
1

ba pba a 1q;
1

seja M um nmero maior que algum nmero ba ; teremos tambm ba M


e portanto a desigualdade anterior ser satisfeita se tivermos
1

ba a 1 `
M
e isto possvel, pois a diferena a 1 a pode-se tornar to pequena quanto
se queira.
Vemos assim que as classes H e H 1 atrs definidas formam um par de
classes contguas que definem um nmero real positivo que se designa com o
smbolo b , estendendo assim a definio de potncia ao caso de um expo1
ente real qualquer. Este nmero b satisfaz s desigualdades ba b ba .
Para b 1, pomos por definio b 1 1.
Para b 1, mantendo a definio das potncias com expoente negativo,
pomos


1
1

1:
.
b
b
b

Da definio dada, deduz-se facilmente que de segue-se b b ,


quaisquer que sejam os nmeros reais relativos e , sendo b 1. As outras
propriedades das desigualdades se deduzem da mesma maneira que para os
expoentes racionais.
1
Quando a|a 1 racional, as desigualdades ba b ba mostram que o nmero b definido por elas deve forosamente coincidir com o
nmero b j definido para o caso das potncias com expoente racional; o
mesmo resultado se estende para o caso em que b 1.

32

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

Estabelecidas as propriedades das desigualdades, pelo mesmo raciocnio,


empregado vrias vezes no estudo dos nmeros reais, verificam-se as outras
propriedades das potncias. Assim, sendo a|a 1 e c|c 1 , temos, supondo b 1,
ba b ba
bc b bc

donde
1

ba .bc ba`c b .b ba .bc ba `c .


Mas por outro lado temos tambm
a ` c ` a1 ` c1
donde
1

ba`c b` ba `c

e como os membros extremos destas desigualdades formam um par de classes


contguas, temos enfim,
b .b g` .
De maneira anloga se demonstram as outras propriedades das potncias:
pb q b

pb.dq b .b .

7. Funo exponencial. Tomemos agora a expresso em que bx um


nmero real 1 e x um nmero varivel que toma todos os valores reais, entre 8 e `8. Como j vimos, quando x cresce, bx tambm cresce. Quando
x negativo e aumenta em valor absoluto, bx se aproxima de zero, podendose tornar menor que qualquer nmero positivo dado. Se x tende a zero, bx se
aproxima de 1; se x aumenta indefinidamente por valores positivos, o mesmo
acontece com bx , que se pode tornar maior que qualquer nmero dado. Estas propriedades so ilustradas na figura, onde est desenhada a curva de
equao y bx .
A expresso bx tem o nome de funo exponencial. No pargrafo seguinte examinaremos o problema que consiste em determinar x de modo a
satisfazer relao bx a, sendo a um nmero real positivo.
8. Logaritmos e suas propriedades. Seja dado um nmero real positivo
b 1. Vamos demonstrar que a cada nmero real e positivo a corresponde
um e um nico nmero real relativo x que satisfaz condio
(1)

bx a.

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

33

Separemos o campo real relativo


y
em duas classes: K, de nmeros k, e
K 1 , de nmeros k 1 , tais que se tenha
1
sempre bk a bk .
y bx
Pelo que vimos atrs, sendo a
0 e b 1, existem certamente n1
meros nas duas classes e temos semb
pre k k 1 . Essas classes formam
0
1
x
pois uma partio, que determina o
nmero real ; v-se como no 4
que b no pode diferir de a, e portanto a equao acima tem uma soluo. Esta alis nica, pois sabemos
que de x , segue-se bx b .
O nmero assim determinado chama-se logaritmo de a na base b e designa-se com a notao logb a. A base sempre suposta maior que 1; podiase tambm considerar uma base b 1 1, mas como temos b 1 x p1{b 1 qx ,
o problema se reconduziria facilmente ao da pesquisa do logaritmo em uma
base 1{b 1 maior que 1. Enfim, para b 1, o problema s possvel se a 1,
e neste caso indeterminado.
As propriedades dos logaritmos se deduzem imediatamente das propriedades das potncias com expoente real. V-se que quando um nmero varia
de 0 a `8 o seu logaritmo (em base b 1) varia de 8 a `8. Qualquer
que seja a base, o logaritmo de 1 sempre zero e o logaritmo de base 1,
pois temos
b0 1

b1 b.

Fixada a base b, podemos como atrs considerar a expresso logb x. Esta


expresso tem o nome de funo logartmica e s definida para x positivo,
e se anula para x 1. A curva de equao y logb x, chamada curva
logartmica, se obtm da curva exponencial considerada atrs, trocando simplesmente as coordenadas x e y, pois essa equao equivalente a x by .
Essa troca corresponde geometricamente a fazer uma simetria da figura em
torno da bissetriz do primeiro quadrante.
Tomemos agora dois nmeros positivos quaisquer a e c, e seja x logb a
e y logb c, isto ,
a bx

c by .

Das igualdades
ac bx by bx`y

bx
a
y bxy
c
b

34

II. POTNCIAS E LOGARITMOS DOS NMEROS REAIS

deduz-se:
I. O logaritmo de um produto a soma dos logaritmos dos fatores. (Este
teorema se estende, naturalmente, a um nmero qualquer de fatores.)
II. O logaritmo de um quociente igual diferena entre o logaritmo do
dividendo e o do divisor.
Temos tambm, sendo r um nmero real qualquer,
ar pbx qr brx ,
donde
III. O logaritmo de uma potncia igual ao logaritmo da base multiplicado pelo expoente.
No caso particular em que r 1{n, sendo n inteiro, temos:
IV. O logaritmo de uma raiz igual ao logaritmo do radicando dividido
pelo ndice da raiz.
Estas quatro regras mostram a grande vantagem prtica que se pode tirar
dos logaritmos, pois reduzem operaes complicadas a operaes mais simples, bastando para isso ter uma tboa de logaritmos, isto , uma tabela que
ao lado de cada nmero d o seu logaritmo (aproximado at uma certa casa
decimal, pois os logaritmos de nmeros racionais so em geral irracionais).
As tboas mais comuns so as que do os logaritmos de base 10, tambm chamados logaritmos vulgares ou de BRIGGS. Tambm se usam os
chamados logaritmos naturais ou neperianos, que tm por base o nmero
e 2, 71828183 . . . que ser definido no captulo IV. Os logaritmos de um
mesmo nmero x em dois sistemas de bases b e b 1 esto ligados por uma
relao da forma
logb 1 x M logb x,
sendo M um nmero independente de x, chamado mdulo da mudana de
base. Com efeito, de y logb x, ou x by , tira-se, tomando nesta ltima
igualdade, os logaritmos na base b 1 ,
logb 1 x y logb 1 b logb 1 b. logb x.
Vemos assim que o mdulo da mudana de base o logaritmo da base
antiga no novo sistema. Em particular, temos, para a passagem dos logaritmos vulgares para os neperianos e vice-versa,
loge 10 2, 30258509 . . .

log10 e 0, 43429448 . . . .

Se na relao acima fazemos x b 1 , temos logb 1 x 1, donde se deduz,


para b e b 1 quaisquer, a relao logb 1 b. logb b 1 1, que alis era evidente
pela regra anterior.

EXERCCIOS

35

Sobre o uso das tboas no nos estenderemos, pois esse estudo faz parte
do curso de lgebra elementar.
Exerccios
1. Sendo a e b dois nmeros positivos quaisquer, mostrar que a sua mdia
?
geomtrica ab sempre menor que a mdia aritmtica 1{2pa ` bq, a no
ser que esses nmeros sejam iguais.
2. Demonstrar que a seguinte desigualdade vlida quaisquer que sejam
os nmeros reais a1 , b1 , a2 , etc.:
pa1 b1 ` ` an bn q2 pa21 ` ` a2n qpb21 ` ` b2n q

(basta considerar a expresso pai x ` bi q2 , que ordenada em relao a x d


um trinmio do segundo grau, que no pode tomar valores negativos).
3. Demonstrar, por induo, que para x 1 e 0, vale sempre a
seguinte relao (chamada desigualdade de BERNOULLI):
p1 ` xqn 1 ` nx.
?
4. Mostrar que todo polinmio em x pode ser posto sob a forma Ppxq`
?
Qpxq x, sendo P e Q polinmios em x; o mesmo teorema vale para qualquer
funo racional de x.
5. Demonstrar a igualdade
?
3
?
1
2
3
?
` 2 3
3.
?
1
3
21
2` ?
3
2`1
1

6. Mostrar que o nmero 2 3 ` 2 3 raiz da equao

5
x3 3x .
2
?
?
7. Mostrar que a diferena n ` 1 n diminui tendendo a zero, quando
n aumenta, e que essa diferena menor que o nmero positivo h se tomarmos n 1{4h2 .
8. Provar que, quaisquer que sejam a, b, c, diferentes de 1, temos sempre
loga b. logb c. logc a 1.
9. Esboar o grfico da funo y logx a, para a 0.
10. Resolver o sistema: xxy y4a , yxy xa .
11. Conhecendo o valor de log10 2 0, 301030, calcular o logaritmo, na
mesma base 10, de
a
a
7
0, 0128. 3 6, 25.

CAPTULO III

Nmeros Complexos
1. Definio e operaes. Procedendo como no captulo I, vamos primeiramente designar um nmero real relativo qualquer a pela notao pa, 0q.
claro que para efetuar qualquer operao entre os nmeros reais pa, 0q e
pb, 0q, basta efetuar essas operaes entre os primeiros nmeros de cada par,
deixando o zero inalterado.
Posto isto, chamaremos nmero complexo a todo par ordenado pa, bq de
nmeros reais; dois nmeros complexos s so iguais quando forem iguais
respectivamente os primeiros e segundos nmeros que os definem, isto ,
temos pa, bq pc, dq, quando e somente quando a c e b d; por essa definio ficam mantidas evidentemente as propriedades da igualdade. Vemos
que os nmeros reais relativos so particulares nmeros complexos, com segundo nmero nulo; os nmeros complexos no reais, sero chamados imaginrios, e aqueles para os quais o primeiro nmero nulo, isto , os nmeros
da forma p0, bq, com b 0, sero chamados imaginrios puros.
A soma de nmeros complexos se define pela igualdade
pa, bq ` pc, dq pa ` c, b ` dq,
que se estende a um nmero qualquer de parcelas. Esta operao comutativa e associativa, e tem uma inversa, que a diferena pa, bq pc, dq
pa c, b dq, que goza das mesmas propriedades que no campo real.
O nmero real 0 p0, 0q, mantm aqui a sua propriedade fundamental:
o nico nmero que somado com qualquer outro d uma soma igual a este.
O produto de um nmero complexo por um nmero real definido por
c.pa, bq pa, bq.c pca, cbq;
daqui se deduz que o produto de qualquer nmero complexo por 0 0.
Pelas definies dadas at agora se v que todo nmero complexo
pa, bq pode ser decomposto como segue:
pa, bq pa, 0q ` p0, bq a ` b.p0, 1q.
37

38

III. NMEROS COMPLEXOS

Este nmero p0, 1q chama-se unidade imaginria e se designa pelo smbolo i. A expresso
a ` bi
chama-se forma algbrica do nmero complexo . A parcela a chama-se
parte real de e designa-se com R pq, e a parcela bi, parte imaginria; o
nmero real b o coeficiente do imaginrio e designa-se com I pq. Daqui
por diante escreveremos o nmero complexo sempre sob a forma algbrica.
Para definir o produto de dois nmeros complexos, basta agora impr a
propriedade distributiva e definir o quadrado da unidade imaginria; pomos
ento, por definio, i2 1, donde se deduz
pa ` biqpc ` diq ac ` pad ` bcqi ` bdi2 pac bdq ` pad ` bcqi.
Assim fica definido o produto de dois nmeros complexos como um nmero complexo, e esta operao goza, pela prpria definio, das propriedades comutativa e distributiva; facilmente se verifica tambm a propriedade
associativa.
Chama-se quociente de dois nmeros complexos a ` bi (dividendo) e
c ` di (divisor), um nmero x ` yi que multiplicado por c ` di reproduza
a ` bi; v-se logo que se tivermos a ` bi 0 e c ` di 0, no existe soluo.
Supondo ento c ` di 0, devemos ter pc ` diqpx ` yiq a ` bi, e portanto
cx dy a

dx ` cy b.

O determinante desse sistema c2 ` d2 , nmero positivo, j que exclumos a hiptese de ser c d 0; temos portanto uma nica soluo:
x ` yi

ac ` bd bc ad
a ` bi
2
` 2
i.
c ` di
c ` d2
c ` d2

Alis, esse quociente acha-se mais facilmente multiplicando o dividendo


e o divisor por c di, o que no altera o resultado e torna o divisor real:
pa ` biqpc diq
ac ` bd ` pbc adqi
a ` bi

.
c ` di
pc ` diqpc diq
c2 ` d2

Se tivermos a ` bi 0, teremos tambm x ` yi 0. Verificamos assim a


propriedade do produto, vlida em todos os campos de nmeros (que contm
o zero) estudados at aqui: o produto de dois nmeros complexos s se anula
quando um dos fatores nulo.
Assim ficam definidas para os nmeros complexos todas as operaes
racionais, para as quais so mantidas as mesmas propriedades formais que
no campo real, com exceo das que se referem aos conceitos de maior e
menor, que no so definidos neste novo campo. Para o clculo com os

III. NMEROS COMPLEXOS

39

nmeros complexos sob a forma algbrica, note-se que de i2 1, seguese i3 i2 .i 1.i i, e i4 pi2 q2 p1q2 1; para outra potncia
qualquer im , sendo q o quociente e r o resto da diviso de m por 4, temos,
usando a propriedade associativa do produto e a igualdade i4q 1q q,
vlida para qualquer nmero inteiro q,
im i4q`r i4q ir ir 1, i, 1, i

conforme seja o resto 0, 1, 2 ou 3.


Deduz-se tambm que todas as propriedades das potncias inteiras relativas que se deduzem das propriedades associativa e comutativa do produto
se estendem ao campo complexo. Quanto extrao de razes, veremos no
fim deste captulo.
2. Complexos conjugados. Norma e mdulo. Dado um nmero complexo a ` bi, chama-se nmero complexo conjugado de , e indica-se
com a notao , o nmero abi obtido de mudando o sinal do coeficiente
do imaginrio, ou mudando i em i. Evidentemente, o conjugado de o
prprio ; diz-se tambm, por isso, que os nmeros e so conjugados.
O conjugado da soma ou diferena de dois nmeros complexos
a ` a 1 i e b ` b 1 i a soma ou diferena dos conjugados, pois temos
pa bq pa 1 b 1 qi pa a 1 iq pb b 1 iq.
O conjugado de um produto o produto dos conjugados. Basta,
para prov-lo, recordar a definio do produto; tambm se pode observar
que mudando i em i, o produto i2 no se altera e portanto a parte real do
produto dos conjugados a mesma que a do produto dos nmeros dados, ao
passo que o coeficiente de i muda de sinal.
Daqui se deduz que o conjugado do quociente de dois complexos o
quociente dos seus conjugados, pois de
.
segue-se, pondo , e supondo 0,

.

Aplicando repetidamente esses teoremas se deduz que o conjugado de


qualquer expresso racional se obtm substituindo cada nmero complexo
que intervm na expresso pelo seu conjugado.
Para que um nmero a ` bi seja igual ao seu conjugado necessrio
e suficiente que seja b 0, isto , que o nmero seja real, pois devemos ter
b b.

40

III. NMEROS COMPLEXOS

A soma e o produto de dois complexos conjugados a ` bi e a bi so os


nmeros reais 2a e a2 ` b2 . Reciprocamente, se a soma e o produto de dois
nmeros complexos a ` bi e c ` di so reais e se um desses nmeros a ` bi
no real, eles so complexos conjugados. Com efeito, devendo a soma ser
real, temos b ` d 0, ou ab ` bc 0, donde, dividindo por b, que por
hiptese no nulo, resulta a c.
O produto de um nmero complexo a ` bi pelo seu conjugado ,
como acabamos de ver, pa ` biqpa biq a2 ` b2 , isto , um nmero real
no negativo, que se chama norma do nmero . A sua raiz quadrada no
negativa chama-se mdulo desse mesmo nmero e indica-se com a notao
||:
a
(1)
|| |a ` bi| ` a2 ` b2 .
Tanto o mdulo como a norma de um nmero complexo s se anulam
quando o nmero dado nulo, isto , se a b 0. evidente tambm que
os quatro nmeros
a ` bi

a bi

a bi

a ` bi

tm a mesma norma e o mesmo mdulo. De (1) se deduz tambm |a| || e


|b| ||, isto , o valor absoluto da parte real e do coeficiente do imaginrio
de um nmero complexo no pode superar o mdulo desse nmero.
No caso de um nmero real, o mdulo se confunde com o valor absoluto, como se deduz de (1), pondo b 0. por esta razo que se usa a
mesma notao para esses dois entes. Mas alm disto, as propriedades so
formalmente as mesmas em todo o campo complexo, como vamos ver:
1. O mdulo de um produto igual ao produto dos mdulos dos fatores.
Sejam dados os dois fatores e . Sendo ., temos
. ... .
ou

b
b
?
. .

isto , pela definio do mdulo,


(2)

|| ||.||.

Pondo nessa igualdade obtemos como consequncia,


2. O mdulo do quociente de dois nmeros igual ao quociente dos
mdulos desses nmeros.

III. NMEROS COMPLEXOS

41

3. O mdulo de uma soma no mximo igual soma dos mdulos das


parcelas.
Esta propriedade imediata se ` 0. Para ` 0, partimos da
identidade

`
1;
` `
sendo o segundo membro real, temos aqui, R p{p ` qq ` R p{p ` qq
1, e pela propriedade demonstrada acima para qualquer nmero (||
|R pq | R pq), temos


||
||

` ` | ` | ` | ` | 1
e multiplicando pelo nmero positivo | ` |,
(3)

|| ` || | ` |

como queramos demonstrar.


4. O mdulo de uma diferena maior ou igual diferena dos mdulos.
Basta pr em (3) ` , donde , e
(4)

| | || ||.

Notando que em (3) e (4) podemos substituir por , pois | | ||,


concluimos as seguintes desigualdades, que resumem os teoremas 3. e 4.:
(5)

|| || | | || ` ||.

3. Aplicaes. Das propriedades dos complexos conjugados se deduz


o seguinte teorema: se uma equao algbrica de coeficientes reais
(1)

a0 xn ` a1 xn1 ` ` an1 x ` an 0

tem uma raiz imaginria , o conjugado tambm raiz dessa equao,


com a mesma multiplicidade. Com efeito, o conjugado da expresso a0 n `
` an a0 n ` a1 n1 ` an , e se uma dessas expresses nula, a
outra tambm o , o que demonstra a primeira parte do teorema. Mas nesta
hiptese, o primeiro da equao (1) divisvel pelos dois binmios px q e
px q, e portanto pelo seu produto, que o trinmio de coeficientes reais
x2 p ` qx ` ; o quociente ter portanto coeficientes reais, logo se
raiz mltipla, isto , se anular esse quociente, ter a mesma propriedade,
e vice-versa; procedendo desta maneira, vemos que a multiplicidade de uma
dessas razes certamente igual da outra.
Deduz-se deste resultado que se uma equao de 3 grau tem uma raiz
dupla, esta forosamente real, pois do contrrio essa equao deveria ter

42

III. NMEROS COMPLEXOS

duas razes duplas imaginrias conjugadas, o que no possvel para equaes de grau menor que 4. Vemos tambm que toda equao algbrica de
coeficientes reais de grau mpar, tem ao menos uma raiz real, pois a soma das
multiplicidades das razes imaginrias certamente um nmero par.
4. Forma trigonomtrica dos nmeros complexos, frmula de MOIVRE . Tomemos um nmero complexo qualquer a ` bi no nulo e seja
o seu mdulo. Como j vimos, temos sempre
|a| |b|
e portanto as duas fraes a{ e b{ esto sempre compreendidas no intervalo 1 $% `1. Estas fraes satisfazem ainda relao
2 2
a2 ` b2
b
a
`

1.

2
Podemos pois achar um ngulo tal que se tenha
(1)

cos

sen

b
.

Este ngulo pode ser determinado pela sua tangente b{a, e o quadrante
a que pertence, pelos sinais do seno e do coseno, isto , dos nmeros a e b.
Evidentemente o ngulo , medido em radianos, est assim determinado a
menos de um mltiplo inteiro de 2; se o ngulo satisfaz s igualdades (1),
o mesmo acontece com todos os ngulos compreendidos na frmula `2k,
sendo k um nmero inteiro relativo qualquer. Qualquer um desses ngulos
se chama argumento do nmero complexo dado.
Das frmulas (1), tiramos
(2)

a cos

b sen

donde
(3)

pcos ` i sen q.

Esta a forma trigonomtrica do nmero complexo, em que se pem em


evidncia o mdulo e o argumento. As vantagens dessa forma trigonomtrica
aparecem principalmente no produto e nas potncias: tomemos os nmeros
pcos ` i sen q

pcos ` i sen q

fazendo o produto e pondo em evidncia os mdulos e , temos


pcos ` i sen qpcos ` i sen q rpcos cos sen sen q `
ipsen cos ` cos sen qs ou
(4)

pcosp ` q ` i senp ` qq

III. NMEROS COMPLEXOS

43

como o 2 membro j est sob a forma trigonomtrica, verificamos novamente que o mdulo do produto igual ao produto dos mdulos dos
fatores. Verificamos ainda mais, que o argumento de um produto a soma
dos argumentos dos fatores. Daqui se deduz imediatamente que o argumento
de um quociente igual diferena entre o argumento do dividendo e o argumento do divisor.
A frmula (4) se estende evidentemente a qualquer nmero de fatores.
Em particular, se tivermos n fatores iguais a , obtemos a importante frmula de MOIVRE:
n n pcos n ` i sen nq.
Se pusermos, como para os nmeros reais, n 1{n , aplicando a
este quociente a regra precedente, tomando para 1 o argumento 0, temos
imediatamente
n n pcos n ` i sen nq,

o que estende a frmula de MOIVRE ao caso das potncias negativas; para


n 0, a mesma frmula d tambm, 0 1 de acordo com a definio.
Mais adiante examinaremos a operao inversa da potenciao.
til tambm introduzir a notao
(5)

ei cos ` i sen

em que um nmero real qualquer, sendo portanto i um imaginrio puro,


salvo para 0, em que obtemos, como no campo real, e0 1. Nessa
notao a letra e entra somente como um smbolo; mas as propriedades demonstradas acima mostram que se tem ei .ei eip`q , isto , a expresso ei goza da mesma propriedade fundamental de uma potncia. Mais
tarde veremos a convenincia de identificar o smbolo e com o nmero real
e 2, 71828 . . . , base dos logaritmos neperianos, a que j nos referimos
no 8 do captulo anterior. Com a notao (5) obtemos para todo nmero
complexo de mdulo e argumento a representao
ei
que se chama forma exponencial do nmero complexo .
5. Representao geomtrica dos nmeros complexos. Tomemos em
um plano dois eixos orientados e retangulares, dispostos segundo a conveno usada em Geometria Analtica, e sobre esses eixos a mesma unidade de
medida. A cada nmero complexo a ` bi, podemos fazer corresponder
um ponto P do plano, de coordenadas a e b; reciprocamente, a cada ponto P
do plano corresponde um par de nmeros reais, que so as suas coordenadas
a e b, e portanto o nmero complexo a ` bi. O ponto P chama-se

44

III. NMEROS COMPLEXOS

afixo do nmero complexo correspondente e o plano sobre o qual se faz a


representao chama-se plano de ARGAND-GAUSS (tambm chamado plano
de GAUSS, ou de CAUCHY). Quando no houver confuso possvel, designaremos o nmero complexo e seu afixo com a mesma letra.
Nessa representao, os nmey
ros reais so representados pelos
pontos de Ox, e os imaginrios puros pelos de Oy, razo pela qual esses so chamados, respectivamente,
P
00
11
00
11
eixo real e eixo imaginrio. Ressalta
tambm claramente a signifi
b
cao geomtrica do mdulo, que,
pelo teorema de PITGORAS, igual

ao comprimento do raio vetor OP,


a
x
O
e do argumento, que o ngulo que
esse raio vetor faz com Ox. Estes
nmeros so portanto as coordenadas polares (raio vetor e anomalia) do
afixo do nmero dado. Os nmeros complexos que tm o mesmo mdulo
esto representados pelos pontos da circunferncia de centro na origem e raio
; os que tm o mesmo argumento, pelos pontos de uma semi-reta partindo
da origem.
Dado um nmero complexo ,
0
1
y
0
1
e o seu afixo no plano de ARGAND

0
1
0
1
1
0
1 GAUSS, o seu conjugado ser re0
0000000000
1111111111
0
1
0000000000
1111111111
0
1
0000000000
1111111111
presentado pelo ponto simtrico de
0
1
0000000000
1111111111

0
1
0000000000
1111111111
em relao ao eixo Ox; o nmero
0
1
0000000000
1111111111
111111111111
000000000000
x
0
1
0000000000
1111111111
, oposto de , pelo ponto sim0
1
0000000000
1111111111
0
1
0000000000
1111111111
trico de em relao origem e o
0
1
0000000000
1111111111
0
1
0
1
0
1
0000000000
1111111111
0
0
1
nmero , oposto do conjugado
1

0
1
0
1
ou conjugado do oposto de , pelo
ponto simtrico de em relao ao eixo Oy. Esses nmeros tm como argumentos, respectivamente, , ` , e , ou estes nmeros aumentados
de um mltiplo inteiro de 2, sendo o argumento de .
Dados dois nmeros complexos a ` bi e 1 a 1 ` b 1 i, a sua soma
representada pelo ponto ` 1 , cujas coordenadas so as somas das coordenadas homnimas dos afixos dos nmeros dados. Ora, pela propriedade
fundamental das projees, o mesmo resultado se obtm construindo a diagonal do paralelogramo de lados O e O 1 , ou por outra, fazendo a soma

III. NMEROS COMPLEXOS

45

dos dois vetores representados pelos segmentos orientados O e O 1 . Como


temos 1 `p 1 q, fcil ver que a diferena desses vetores representada pelo ponto que se obtm tirando de O uma paralela segunda diagonal
do mesmo paralelogramo. Vemos assim que a soma de nmeros complexos
se interpreta como soma de vetores no plano de ARGAND-GAUSS. Por esta
razo, indica-se tambm com o vetor representado pelo segmento orientado O.
Quanto ao produto, seja primeiramente um nmero complexo de mdulo 1. Sendo o seu argumento, temos cos ` i sen . O produto
desse nmero por outro nmero qualquer pcos ` i sen q ei d
outro nmero complexo do mesmo mdulo que e argumento igual ao de
acrescido de :
rcosp ` q ` i senp ` qs eip`q
podemos interpretar esse resultado, dizendo que o produto de por se
obtm fazendo girar de um ngulo o vetor ; em particular, para multiplicar um nmero por i basta fazer girar o vetor de um ngulo reto
no sentido positivo. Para multiplicar por um nmero real qualquer
pcos ` i sen q ei, podemos multiplic-lo primeiro por ei e depois
pelo nmero real , o que equivale a fazer girar o vetor de um ngulo e
depois multiplicar o seu mdulo por .
Esta operao pode ser construda geometricamente, quando
P
dado o crculo de raio 1 com centro na origem. Para isso, constremse a semi-reta OP, que faz com o
M
vetor o ngulo e sobre ela
o segmento OM, de comprimento

||; traa-se depois paralela a


NM, sendo ON o segmento uniN

trio sobre a semi-reta O. Com


esse processo, com efeito, construi
mos a quarta proporcional dos nmeros 1, ||, ||, donde se deduz
|| ||.||.
Uma construo inversa se faz para a diviso. Basta supr na figura
atrs conhecidos e ; para determinar , traa-se NM paralela reta ,
obtendo-se OM, de comprimento || ||{||; o argumento de o ngulo
que faz a semi-reta OP com o vetor .

11
00
00
11

11
00
00
11
00
11
00
11

11
00
00
11

46

III. NMEROS COMPLEXOS

Como aplicao, construimos na figura abaixo a 4 potncia de um nmero complexo de mdulo maior que 1:
4

1
0
3

1
0
0
1

1
0

1
0
0
1

1
0
0
1

6. Raiz de um nmero complexo. Seja dado um nmero complexo


0, sob a forma trigonomtrica: pcos ` i sen q. Propomonos determinar um outro nmero complexo (raiz de ndice n de ):
pcos ` i sen q que elevado potncia inteira n d em resultado , isto ,
tal que se tenha n . Pela frmula de MOIVRE, isto equivale a
n pcos n ` i sen nq pcos ` i sen q
ou n e n ` 2k, sendo k um nmero inteiro qualquer. Daqui se
tira
?
(1)
n
k

` 2 .
n
n
A relao (1) determina univocamente , que deve ser um nmero real
absoluto. Fazendo depois em (2) k 0, 1, 2, . . . , n 1, temos no segundo
termo n ngulos distintos diferindo uns dos outros de menos de 2, aos quais
correspondem n complexos distintos que satisfazem condio requerida.
Para qualquer outro valor de k, sendo nq o maior mltiplo de n no maior

(2)

III. NMEROS COMPLEXOS

47

que k, temos k nq ` r, com 0 r n. Substituindo em (2), obtemos o


ngulo

r
` 2 ` 2q
n
n
o qual difere de um dos ngulos j determinados de um mltiplo inteiro de
2, e portanto no fornece nenhuma nova raiz.
H, pois, exatamente n razes nas distintas de um nmero complexo qualquer diferente de zero; os seus afixos esto todos no mesmo crculo com cen?
tro na origem e raio n , e os raios vetores fazem entre si ngulos que
so sempre mltiplos inteiros de 2{n. Qualquer dessas razes se pode de?
signar com o mesmo smbolo n . Para 0, evidente que h uma nica
raiz, 0. Para conservar a generalidade, dizemos que neste caso h n
razes iguais a 0.
Para construir geometricamente essas n razes, para 0, comeamos
a
por traar um crculo com centro na origem e raio n ||. Depois tiramos
pela origem a semi-reta que faz com Ox o ngulo {n, a qual corta a circunferncia em um ponto Q0 que o afixo de uma das razes. Dividindo
ento a circunferncia em n partes iguais, a partir de Q0 , os outros pontos
de diviso, Q1 , Q2 , . . . , Qn1 so os afixos das outras razes.
Enfim, note-se que, fixado o valor de , uma das razes dada pela
frmula

?
?
? i

n
n
cos ` i sen
n e n
n
n
e elevando potncia m e introduzindo a noo de potncia fracionria de
?
um nmero complexo, definida por m{n n m , obtemos a nova extenso
da frmula de MOIVRE ao caso dos expoentes racionais

m
m
m
m
m
m
(3)
n n cos ` i sen n ei n .
n
n
7. Razes da unidade. Um caso particular importantssimo aquele em
que 1; o argumento aqui um qualquer dos nmeros 2k, com k inteiro,
e a frmula que d todas as razes
(1)

?
n

1 cos

2k
2k
` i sen
.
n
n

Os seus afixos esto sobre o crculo de raio 1, com centro na origem.


Se tomarmos para o nmero 1 o argumento 0, o ponto Q0 da construo
anterior ser o afixo de 1, isto , a interseco desse crculo com o eixo Ox.
O problema de determinar todas as razes nas da unidade coincide pois com
o da diviso do crculo em n arcos iguais ou o de construir o polgono regular
de n lados inscrito no crculo de raio 1. Entre as razes est sempre a raiz real

48

III. NMEROS COMPLEXOS

1, e, se n par, a raiz real 1; as outras razes so sempre conjugadas duas a


duas.
Vamos dar algumas propriedades das razes da unidade.
1. Se uma raiz na de 1, todas as potncias de tambm o so. Com
efeito, sendo por hiptese n 1, temos
pp qn pn pn qp 1p 1.

Consideremos agora a sucesso


(2)

0 , 1 , 2 , . . . , s , . . . .

Seja p o menor inteiro positivo que satisfaz condio p 1. Os


nmeros 0 , . . . , p1 so todos distintos, pois se para 0 r s p
tivssemos r s teramos sr 1, o que no possvel, pois s r p;
todos os outros elementos da sucesso (2) so iguais a esses p primeiros
repetidos na mesma ordem. Com efeito, sendo q e r o quociente e o resto da
diviso de s por p, temos
s pq`r pp qq .r r .
Temos assim, p 0 1, p`1 , p`2 2 , etc.. Por esta razo esse
nmero p chama-se perodo da raiz ; daqui se segue tambm que para que
se tenha s 1, preciso que s seja mltiplo de p. Em particular, n deve ser
mltiplo de p, isto ,
2. O perodo de uma raiz na da unidade sempre um divisor de n.
Chama-se raiz primitiva aquela cujo perodo n. evidente que existe
ao menos uma raiz primitiva, a que tem por argumento 2{n; tambm
primitiva a raiz de argumento ppn 1q{nq.2 2 2{n, que conjugada
da anterior. Do exposto, segue-se:
3. Se raiz na primitiva da unidade, todas as n razes so dadas por
0 1, , 2 , . . . , n1 ,
pois esses nmeros so razes distintas em nmero de n.
fcil achar o perodo de qualquer uma dessas razes. Seja a raiz q , com
0 q n. Se o seu perodo p, temos pq qp qp 1, o que s possvel
se pq for divisvel pelo perodo de , que n; para que p seja o perodo de
q , preciso que pq seja o menor mltiplo de q nessas condies, isto , o
mnimo mltiplo comum de q e n. Sendo d o mximo divisor comum de
q e n, devemos ter portanto, pq qn{d, ou p n{d. Para que q seja
raiz primitiva preciso que seja p n, ou d 1, isto , que q seja primo
com n. Daqui se deduz que o nmero de razes primitivas de ndice n igual
ao nmero de nmeros inteiros positivos no maiores que n e primos com

III. NMEROS COMPLEXOS

49

n, incluindo o nmero 1. Tal nmero chamado indicador de GAUSS, e


indica-se com o smbolo pnq. O clculo elementar d
p1q 1 p2q 1 p3q 2 p4q 2
p5q 4 p6q 2 p7q 6 p8q 4.
Note-se que todo este raciocnio s depende do nmero n e no da raiz
primitiva particular .
Seja uma raiz na primitiva (n 1). Da identidade

n1
p1 q 1 n
1 ` ` `
e sendo 1 e n 1, v-se que o primeiro parntesis nulo, isto :
4. A soma das n razes nas distintas da unidade sempre nula.
Consideremos tambm o produto das razes, que evidentemente
1`2``pn1q

npn1q
2

se n mpar, pn 1q{2 inteiro, e esse produto igual a pn qpn1q{2 1; se


n par, n{2 uma raiz de perodo 2 e portanto igual a 1, e sendo n 1
mpar, temos pn{2 qn1 p1qn1 1; em resumo:
5. O produto das n razes nas distintas da unidade `1 ou 1, conforme
seja n mpar ou par.
Para determinar todas as razes nas de um nmero complexo qualquer
, basta determinar uma raiz particular e multiplic-la por cada uma das
razes nas da unidade. Com efeito, sendo um raiz na de 1, temos
pqn n .n n
se tomarmos as n razes distintas da unidade, teremos assim as n razes distintas de ; se uma raiz na primitiva, todas as razes de sero dadas
por
, , 2 , . . . , n1 .
Deduz-se tambm aqui que a soma das razes nas (n 1) distintas de um
nmero complexo qualquer sempre nula, e que o produto , conforme
seja n mpar ou par. Do primeiro desses resultados se deduz facilmente a
proposio geomtrica:
Seja dado um polgono regular qualquer e uma reta passando pelo centro. A soma das distncias a esta reta dos vrtices que esto de um lado da
mesma igual soma das distncias dos vrtices que esto do lado oposto;
com efeito, fixado um sentido positivo na direo normal reta, a medida
algbrica da distncia de um vrtice do polgono a esta reta pode sempre ser

50

III. NMEROS COMPLEXOS

considerada como a parte real (ou coeficiente do imaginrio) da raiz na de


um nmero complexo conveniente, sendo n o nmero de lados do polgono.
8. Equaes binmias. Chama-se equao binmia toda equao algbrica da forma
axm ` bxn 0
sendo a e b nmeros complexos diferentes de zero e m e n nmeros inteiros no negativos e distintos. Podemos sempre supor m n. Como
n
o primeiro membro se pode escrever x paxmn `bq, a equao se decompe
em duas, a no ser que se tenha n 0:
xn 0

axmn ` b 0,

ou

b
xmn .
a

primeira dessas equaes correspondem n razes nulas. segunda


correspondem todas as m n razes do nmero complexo b{a, que se
constrem em geral como foi indicado no fim do pargrafo anterior. Por
exemplo, para resolver a equao
x5 ` p1 iqx2 0
alm das duas razes nulas x1 x2 0, temos que achar as trs razes
?
cbicas de 1 ` i, que um nmero complexo com mdulo 2 e argumento
?
3{4. Tais razes tm mdulo 6 2 e o argumento de uma delas, x3 , {4,
logo temos

?
1 ` i

6
?
x3 2 cos ` i sen
3
4
4
2
as outras razes se obtm multiplicando esta ltima pelas duas razes cbicas
da unidade diferentes de 1, isto , pelas duas razes da equao x2 `x`1 0;
temos assim,
?
?
?
p1 ` iqp1 ` i 3q
1 3 ` ip1 ` 3q
?
?
x4

232
232
?
?
?
p1 ` iqp1 i 3q
1 ` 3 ` ip1 3q
?
?
x5

.
232
232
Exerccios
1. Mostrar que, qualquer que seja o nmero complexo a ` bi, temos
?
sempre |a| ` |b| || 2.

EXERCCIOS

51

2. Achar o mdulo e o argumento de cada um dos nmeros


?
?
1 i
1i 3
3 i.
3. Representar o simtrico de um nmero complexo , em relao ao
ponto .
4. Resolver, usando o algoritmo algbrico e a resposta ao problema anterior, o seguinte problema de geometria plana: construir um polgono de n
lados, conhecendo os pontos mdios desses lados. (A resposta diferente,
conforme n seja par ou mpar.)
5. Mostrar que a condio para que trs pontos , , do plano estejam
em linha reta que p q{p q seja real.
6. Mostrar que a condio para que quatro pontos , , , estejam
sobre a mesma circunferncia que a razo anarmnica

:

seja real.

7. Achar o ponto z 1 que se obtm de z pela homotetia de centro e razo


r (r real 0).
8. Mostrar que a equao cartesiana de uma reta do plano
ax ` by ` c 0 pa, b, c reaisq
pode ser posta sob a forma seguinte, em que pomos z x ` iy:
z ` z ` c 0
em que um nmero complexo. ( designando o conjugado de .)
9. Mostrar que a equao de um crculo
x2 ` y2 ` 2ax ` 2by ` c 0
(a, b, c reais, a2 ` b2 c) pode ser posta sob a forma
z z ` z ` z ` c 0 p||2 cq.
10. No problema anterior, dizer qual a significao do ponto e discutir
a ltima equao em vista das posies particulares do crculo.
11. Mostrar que a equao
Azz ` Bz ` B z ` C 0 pA e C reais, AC BBq
representa um crculo ou uma reta no plano.
12. Mostrar que se pusermos z pz 1 ` q{pz 1 ` q, sendo , , ,
nmeros complexos quaisquer e 0, quando z descreve um crculo

52

III. NMEROS COMPLEXOS

ou uma reta, z 1 descrever um crculo ou uma reta, isto , se z satisfaz


equao
Azz ` Bz ` B z ` C 0 pA, C reais, AC BBq

teremos tambm

A 1 z 1 z 1 ` B 1 z 1 ` B 1 z 1 ` C 1 0 pA 1 , C 1 reais, A 1 C 1 B 1 B 1 q.
Calcular A 1 , B 1 , C 1 e discutir a equao obtida.
13. No problema anterior, achar a condio para que a reta real se transforme no crculo unitrio com centro na origem, ou vice-versa.
14. Resolver completamente as seguintes equaes binmias:
x6 ` ix3 0

x10 ` 64x2 0

2x6 `

ix2

0.
2
15. Resolver completamente a equao trinmia x6 ` 3x3 ` 2 0.
a)

b)

c)

CAPTULO IV

Conjuntos Lineares. Funes e Limites no Campo Real


1. Conjunto linear. Extremos. Chama-se conjunto linear todo conjunto de nmeros reais relativos ou dos seus pontos representativos. Por
extenso de linguagem, podem-se considerar conjuntos que pela definio
no contenha nenhum elemento, e que se dizem conjuntos vazios (cf. cap. I,
18). Por exemplo, a classe majorante que define o elemento 8 um conjunto vazio; tambm o o conjunto dos nmeros positivos menores que
1.
Qualquer nmero P que seja maior que todos os elementos de um conjunto C, chama-se limite superior de C. Quando existe um tal nmero, diz-se
que esse conjunto C limitado superiormente. O conjunto dos pontos correspondentes ser ento limitado direita, pois haver um ponto P direita de
todos os pontos do conjunto (adotando-se a conveno usual para o sentido
da reta). Quando h um nmero p menor que todos os nmeros de C, este
limitado inferiormente (ou esquerda) e p um limite inferior de C. Quando
um conjunto limitado superiormente e inferiormente, isto , quando ele est
todo contido dentro de um intervalo p $% P, diz-se simplesmente que ele
limitado.
Chama-se extremo superior de um conjunto C, um nmero L que goze
das seguintes propriedades:
1) nenhum nmero de C supera L;
2) dado um nmero real qualquer L 1 L, h sempre um nmero do
conjunto maior que L 1 .
Se o extremo superior pertence ao conjunto, diremos que ele o mximo
de C.
Chama-se igualmente extremo inferior de um conjunto C, um nmero l
que goze das seguintes propriedades:
1) nenhum nmero de C menor que l;
2) dado um nmero real qualquer l 1 l, h sempre um nmero do
conjunto menor que l 1 .
Se o extremo inferior pertence ao conjunto, dizemos que ele um mnimo.
53

54

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

TEOREMA FUNDAMENTAL (teorema da existncia e unicidade do extremo superior ou inferior). Todo conjunto limitado superiormente (inferiormente) tem um extremo superior (inferior) e um s.
Com efeito, se C tem um limite superior P, claro que todo nmero
maior que P tambm limite superior de C, logo os limites superiores desse
conjunto formam uma classe majorante K, no vazia, que no contm todos
os nmeros reais (pois os elementos de C no esto em K); seja L o nmero
determinado por K. Todo nmero maior que L est em K, e portanto, o
conjunto C no contm nenhum nmero maior que L; por outro lado, dado
o nmero L 1 L, qualquer nmero q compreendido entre L e L 1 est fora de
K, logo h em C ao menos um nmero c q, o qual portanto maior que
L 1 . Esto assim verificadas, para L, as duas propriedades caractersticas do
extremo superior. A fim de provar a unicidade desse extremo, suponhamos
que haja dois extremos superiores, L e L 1 , sendo L 1 L. Neste caso, L 1
sendo extremo superior, no poderia ser superado por nenhum nmero do
conjunto; mas por outro lado, L sendo tambm extremo superior, haveria ao
menos um nmero do conjunto maior que L 1 , o que uma contradio.
Para o caso do conjunto limitado inferiormente faz-se um raciocnio anlogo, considerando a classe k (minorante) dos limites inferiores do conjunto
dado.
Se o conjunto limitado superior e inferiormente, existem dois elementos l e L, e como para todo nmero c do conjunto temos l c L, ser
l L, verificando-se a igualdade somente quando o conjunto tem um nico
elemento; em caso contrrio, o intervalo l $% L o menor intervalo que
contm o conjunto dado.
Se o conjunto C no limitado superiormente, a classe K 1 considerada
atrs vazia e determina o elemento `8. Diz-se ainda neste caso que `8
o extremo superior. Analogamente, se C no limitado inferiormente, dizse que 8 o extremo inferior de C. Com esta conveno o teorema de
existncia e unicidade adquire a sua forma geral: Todo conjunto linear tem
um nico extremo superior e um nico extremo inferior (finito ou infinito).
Consideremos, por exemplo, o conjunto dos nmeros
n1
1 2 3
, , , ...,
, ....
2 3 4
n
Este conjunto limitado superior e inferiormente. Seu extremo inferior
1{2, que o mnimo. O extremo superior 1, pois de um lado, este nmero
maior que todos os nmeros do conjunto, e de outro, sendo a 1, podemos

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

55

sempre satisfazer desigualdade


n1
a
n

ou

1
a
n

bastando tomar

1
1a
que um nmero positivo e finito. interessante observar que temos aqui
um exemplo de conjunto limitado que no tem mximo, pois o seu extremo
superior no pertence ao conjunto.
Assim tambm podemos demonstrar que:
- O conjunto dos nmeros naturais tem por extremo inferior 1, que
mnimo, no sendo limitado superiormente (o extremo superior `8).
- O conjunto das fraes prprias positivas tem por extremo superior 1 e
inferior 0, que no pertencem ao conjunto, o qual portanto no tem mximo
nem mnimo.
- O conjunto dos nmeros inteiros no negativos, menores que 10 tem
por extremo superior 9 e inferior 0.
Todo conjunto finito de nmeros admite um mximo e um mnimo, que
so o primeiro e o ltimo dos seus elementos, supostos ordenados segundo
o seu valor algbrico. Como o mximo tem todas as propriedades do extremo superior, vemos que este ltimo conceito uma generalizao daquele,
generalizao que se tornou necessria para o estudo de conjuntos com nmero infinito de elementos. Para estes, pode no existir mximo, mas existe
sempre o extremo superior. O mesmo se pode dizer quanto ao mnimo.
Vamos demonstrar agora o seguinte teorema: Dado um nmero finito
de conjuntos limitados superiormente - C1 , de extremo superior L1 , C2 , de
extremo superior L2 , . . . , Cn , de extremo superior Ln , o conjunto C formado
pela reunio desses conjuntos tem por extremo superior o maior dos nmeros
L1 , L2 , . . . , Ln . Com efeito, seja por exemplo L1 o maior desses nmeros (se
fosse outro o maior, bastaria mudar a notao). Um nmero de C, estando
sempre em um dos conjuntos dados, no pode nunca ser maior que L1 ; por
outro lado, qualquer nmero menor que L1 superado por um nmero de
C1 , e portanto de C, o que prova a proposio. Uma consequncia imediata
desta o seguinte
n

COROLRIO. Dado um conjunto C de extremo superior L, e sendo C1 ,


C2 , . . . , Cn conjuntos parciais de C que estogem este, (isto , tais que todo
ponto de C esteja ao menos em um destes conjuntos), temos:
1) nenhum dos conjuntos parciais C1 , . . . , Cn pode ter extremo superior
maior que L;

56

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

2) ao menos um desses conjuntos tem extremo superior L.


O teorema enunciado e o seu corolrio se aplicam, tambm, no caso de
conjuntos no limitados e valem, mudando as desigualdades, para o extremo
inferior, mas no se aplicam se os conjuntos componentes so em nmero
infinito. Por exemplo, se considerarmos os intervalos
1
2 2
3
n1
n
, , . . . ,

,...
2
3 3
4
n
n`1

claro que o extremo superior do conjunto formado pela reunio desses


intervalos 1, que no extremo superior de nenhum deles.
2. Pontos de acumulao. Teorema de BOLZANO. Chama-se ponto de
acumulao de um conjunto C, um ponto P tal que em qualquer entorno do
mesmo se encontram pontos de C distintos de P. fcil ver que neste caso,
em qualquer entorno de P existe uma infinidade de pontos do conjunto. Com
efeito, se no entorno a b de P s existisse um nmero finito de pontos de
C, poderamos determinar um deles, distinto de P cuja distncia a P fosse
mnima. Mas neste caso, a parte do entorno () de P contida em a b
seria, evidentemente, um entorno de P sem nenhum ponto de C distinto de
P, contra a hiptese feita.
fcil ver, por exemplo, que todo nmero real ponto de acumulao
do conjunto de nmeros racionais; com efeito seja p um nmero real e a b
um seu entorno; sendo a p, existem, como sabemos, nmeros racionais
compreendidos entre a e p, e portanto contidos no entorno a b, o que
prova a nossa assero. V-se tambm facilmente que o conjunto formado
pelos pontos 1{2, 1{3, . . . , 1{n, . . . tem um nico ponto de acumulao,
que 0.
Diz-se que um ponto a ponto de acumulao direita de um conjunto
C, quando em qualquer entorno esquerdo de a existe ao menos um ponto
de C distinto de a. Ser ponto de acumulao esquerda, se o mesmo acontecer em qualquer entorno direito. Tambm se demonstra que em qualquer
entorno esquerdo (direito), de um ponto de acumulao direita (esquerda)
cai uma infinidade de pontos de C.
claro que um ponto de acumulao direita ou esquerda sempre
um ponto de acumulao simplesmente; e que um ponto de acumulao
sempre de acumulao ou direita ou esquerda, ou de ambos os tipos.
Estas definies se aplicam ao 8, tendo em vista as definies de entorno,
entorno direito e esquerdo do infinito.
Um ponto de um conjunto que no de acumulao para o mesmo conjunto chama-se ponto isolado.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

57

TEOREMA DE BOLZANO. Todo conjunto linear C, com um nmero infinito de elementos, e limitado, tem ao menos um ponto de acumulao.
Com efeito, o conjunto C sendo limitado, ser compreendido num intervalo a $% b; seja K a classe dos pontos tais que sua esquerda haja somente
um nmero finito (ou nulo) de pontos de C. evidente que o ponto a est em
K, e o ponto b fora de K; esta classe, portanto, no vazia e no contm os
nmeros reais. Alm disto, se k um ponto de K, todo nmero k1 k tambm est na mesma classe, pois sua esquerda no pode haver mais pontos
do que esquerda de k. Trata-se pois de uma classe minorante, que determina um ponto . Seja ento c d um entorno arbitrrio de ; sendo d ,
d est fora de K, logo, sua esquerda h infinitos pontos do conjunto C;
entre c e d estaro portanto esses mesmos pontos menos os que estiverem
esquerda de c, e eventualmente o prprio ponto c, isto , menos um nmero
finito ou nulo, pois c ( ) pertence a K. H, pois, infinitos pontos de C no
entorno arbitrrio c d de , o qual , portanto, ponto de acumulao, o
que demonstra o teorema.
Este teorema foi demonstrado para conjuntos limitados. Mas, recordando a definio que demos de entorno do infinito, vemos que todo conjunto no limitado tem o infinito por ponto de acumulao.
Podemos pois enunciar o teorema sob a forma geral:
Todo conjunto infinito de pontos de uma reta tem ao menos um ponto
de acumulao. Se o conjunto limitado, os seus pontos de acumulao so
finitos e esto no intervalo limitado pelos extremos do conjunto.
Por exemplo, o conjunto de nmeros naturais tem como nico ponto de
acumulao ( direita) o infinito. O conjunto dos nmeros 1{2, 2{3, 1{4,
3{4, . . . , 1{n, pn 1q{n, . . . tem como pontos de acumulao 0 e 1; como
no h nenhum nmero desse conjunto menor que 0 e nem maior que 1,
vemos que 0 ponto de acumulao esquerda e 1 direita; alis fcil ver
que 0 extremo inferior e 1 extremo superior do conjunto.
3. Conjuntos derivados. Os pontos de acumulao finitos de um conjunto C formam o conjunto derivado de C, que se indica com C 1 ; os pontos
de acumulao finitos de C 1 formam o segundo derivado de C, que se indica
com C 2 , e assim por diante. Note-se que sempre excluimos o infinito como
elemento de um conjunto linear.
Diz-se que um conjunto C discreto quando ele no tem nenhum ponto
comum com o seu derivado C 1 , isto , quando ele s consta de pontos isolados. Um conjunto C se diz fechado ou cerrado quando ele contm o seu
derivado C 1 , isto , quando ele contm todos os seus pontos de acumulao

58

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

a distncia finita. Um conjunto se diz denso em si quando ele est contido no


seu derivado, isto , quando todos os seus pontos so pontos de acumulao.
Se um conjunto C contm o seu derivado e est contido nele, isto , se C
coincide com C 1 , diz-se que C um conjunto perfeito.
Obtemos, por exemplo, um conjunto fechado, acrescentando os pontos
de acumulao 0 e 1 ao conjunto considerado no fim do pargrafo anterior.
Todo conjunto finito fechado, pois o seu derivado conjunto vazio, que
est contido em qualquer conjunto. Um exemplo de conjunto denso em si o
conjunto dos nmeros racionais. Enfim, fcil demonstrar que um intervalo
fechado, assim como todo o campo real so conjuntos perfeitos.
TEOREMA. Todo conjunto derivado C 1 fechado. Em outras palavras,
todo ponto de acumulao finito de C 1 faz parte de C 1 , e portanto tambm
ponto de acumulao de C.
Seja, com efeito, um ponto de acumulao finito de C 1 . Num entorno
arbitrrio a b de h sempre um ponto de C 1 , diferente de e esse
ponto de acumulao de C. Ora, sendo interno ao intervalo a b,
podemos sempre determinar um entorno c d de contido nesse intervalo;
nesse entorno h uma infinidade de pontos de C, e portanto h pontos de C
distintos de no intervalo a b, o que prova que ponto de acumulao
de C.
4. Teorema de BOREL-LEBESGUE. Vamos dar primeiramente uma definio: diz-se que um conjunto C est coberto por uma famlia F de intervalos,
ou que esses intervalos cobrem o conjunto C, quando todo ponto de C interno a um ao menos dos intervalos da famlia F. Posto isto, o teorema de
BOREL-LEBESGUE o seguinte:
Se um conjunto fechado e limitado C est coberto por uma famlia F
de intervalos, pode-se assinalar um nmero finito de intervalos de F com a
mesma propriedade.
Com efeito, suponhamos que o teorema no seja verdadeiro, isto , que
sejam necessrios infinitos intervalos de F para cobrir C. Seja a $% b um
intervalo que contm C internamente. Dividindo a $% b ao meio, obtemos
dois conjuntos parciais de C, contidos respectivamente nos dois intervalos
parciais obtidos. Evidentemente, ao menos um desses conjuntos parciais necessita tambm de uma infinidade de intervalos de F para ser coberto; tomemos, a contar da esquerda, o primeiro desses conjuntos em que isto acontece, e chamemos a1 $% b1 o intervalo (metade de a $% b) em que ele est
contido. Repetindo esta operao sucessivamente, obteremos um conjunto
infinito de intervalos parciais a1 $% b1 , a2 $% b2 , . . . , an $% bn , . . . ,

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

59

cada um contido no precedente, de amplitudes pb aq{2, pb aq{4, . . . ,


pb aq{2n , . . . e que satisfazem seguinte condio: a parte do conjunto C
contida em cada um desses intervalos s pode ser coberta por uma infinidade
de intervalos de F. Ora, os extremos desses intervalos formam um par de
classes contguas, que determina um ponto , o qual, satisfazendo sempre s
desigualdades an bn , pertence a todos os intervalos an $% bn ; mas
como qualquer entorno pq de contm um desses intervalos, bastando que
seja pb aq{2n , claro que ponto de acumulao de C, e portanto
pertence a este conjunto, que por hiptese fechado. Mas daqui se segue
tambm que existe um intervalo de F que contm internamente, e
que portanto contm todo o intervalo an $% bn cuja amplitude seja menor
que as distncias de aos extremos e . Este resultado, porm contradiz a
condio anterior, e portanto a hiptese feita absurda, o que demonstra o
teorema.
Note-se que a condio de ser o conjunto C fechado essencial; por
exemplo, o teorema no se aplica quando se considera o intervalo aberto
0 1, que evidentemente est coberto pelos intervalos
1
1,
3

1
1
,
3
2

...,

1
1

,
n`1
n1

....

No possvel assinalar um nmero finito destes intervalos que cubra o


intervalo 0 1, e a razo que este intervalo no contm o ponto 0, que
de acumulao.
5. Conceito de funo segundo DIRICHLET. Consideremos um conjunto linear C de nmeros x. Se a cada nmero x de C corresponde, de um
modo bem determinado, um ou mais valores de uma outra quantidade y,
dizemos que y uma funo de x definida ao campo C, que se chama campo
de definio, e indicamos essa correspondncia com a notao
y fpxq
ou por outro smbolo semelhante em que a letra f seja substituda por outra
qualquer. Usa-se frequentemente, por exemplo, a notao y ypxq.
Se a funo toma um s valor para cada valor de x, dizemos que ela
mondroma ou univalente, ou univocamente determinada. Em caso contrrio, ser poldroma ou multivalente. Podendo x tomar qualquer valor no
conjunto C, dizemos que x a varivel independente; y a varivel dependente.
Em todo este curso, no estudo de uma funo fpxq definida num campo
C, designaremos com a letra x somente pontos de C.

60

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

Suponhamos que variando x no campo C, a funo y fpxq tome somente valores pertencentes a um campo C1 ; seja u pzq uma outra funo
definida neste campo C1 ; se fizermos z y, isto , se substituirmos z por
fpxq, a cada valor de x correspondero valores bem determinados de z no
campo C1 , aos quais por sua vez correspondero certas determinaes para
u; u ser portanto uma funo de x definida em todo campo C e este fato se
exprime dizendo que u funo de funo de x, por intermdio da funo y,
e pomos
u pfpxqq.
A operao que consiste em exprimir uma funo pzq, da varivel z,
como funo de outra varivel x, ligada a z pela relao z fpxq, chama-se
mudana de varivel.
evidente que se f e so funes mondromas, u ser funo mondroma de x.
Na mesma hiptese acima, suponhamos que todos os pontos do campo
C1 sejam atingidos, quando x varia no campo C. Neste caso, para cada
valor de y de C1 existir um ou mais valores de x, aos quais corresponde
este valor de y, e portanto, se fizermos corresponder a cada valor y de C1
estes valores de x, ficara definida uma funo de y no campo C1 . Esta funo
chama-se funo inversa de fpxq e costuma-se indicar com a notao f1 pyq.
Naturalmente a funo inversa de f1 pyq ser a prpria fpxq definida no
campo C. Se cada valor de y corresponde a um nico valor de x do campo
C, a funo inversa x f1 pyq ser evidentemente mondroma, e goza da
propriedade expressa pela equao
f1 pfpxqq x
vlida para qualquer valor de x no campo C.
Se tanto a funo fpxq como a sua inversa f1 pxq so mondromas, dizemos que x e y se correspondem biunivocamente por meio da equao
y fpxq ou da equao equivalente x f1 pyq, e que essas equaes
transformam o campo C no campo C1 e reciprocamente. Neste caso, a mudana de varivel definida por esta ltima equao permite fazer o estudo
de uma funo qualquer Gpxq, definida no campo C, por meio da funo
Gpf1 pyqq Hpyq, que definida no campo C1 , pois as duas funes Gpxq e
Hpyq tomam sempre os mesmos valores para valores correspondentes de x e
y.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

61

6. Grfico de uma funo. Dada uma funo, y fpxq, se pusermos os


valores de x como abcissas e os valores correspondentes de y como ordenadas de pontos de um plano referido a um sistema cartesiano de coordenadas,
obtemos um conjunto G bem determinado de pontos do plano. Reciprocamente, dado qualquer conjunto G de pontos em um plano, podemos considerar o conjunto C constitudo pelos valores das abcissas x desses pontos. A
cada valor de x em C corresponde, de modo bem determinado, um ou mais
valores de y, que so as ordenadas dos pontos de G que tm a abcissa x, e
obtemos assim y como funo de x, definida no campo C. Esse conjunto
G de pontos do plano, que corresponde a uma funo y fpxq, chama-se
grfico dessa funo. Se o campo C um intervalo e se so satisfeitas certas
condies que veremos mais adiante, o grfico da funo fpxq uma curva,
no sentido corrente da palavra.
conveniente observar que dado o grfico G de uma funo y fpxq,
esta mesma figura pode ser interpretada como o grfico da funo inversa
x f1 pyq, pois basta encarar como campo de definio o conjunto dos
pontos do eixo Oy, projees dos pontos do conjunto G.
7. Funes elementares. Admitimos conhecidas as chamadas
y
funes elementares, cuja lista damos a seguir, com alguns grficos
y ax ` b
elucidativos:
1. Funo linear y ax ` b
(a 0), cujo grfico uma reta no
paralela a nenhum dos eixos, de coex
O
ficiente angular a e coeficiente linear
b. Evidentemente para a 0, obtemos a funo constante y b, cujo grfico uma reta paralela ao eixo Ox.
2. Funo racional inteira ou polinmio (de grau n 1)
y a0 xn ` a1 xn1 ` ` an1 x ` an

pa0 0q

cujo grfico se chama parbola de ordem n, e para n 2 uma parbola


comum, com eixo paralelo a Oy.
O campo de definio de uma funo inteira todo o campo real (alis
todo o campo complexo, mas por enquanto nos limitamos aos valores reais
de x).
3. Funo racional (quociente de dois polinmios)
y

a0 xn ` a1 xn1 ` ` an
fpxq

m
m1
pxq
b0 x ` b1 x
` ` bm

pa0 b0 0q.

62

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

O campo de definio aqui o campo real, excludos os zeros do denominador. Note-se que se um nmero anula ao mesmo tempo o numerador
e o denominador, podemos escrever
fpxq px qf1 pxq

pxq px q1 pxq;

neste caso, para todos os valores x , a funo y coincide com a funo


y1

f1 pxq
;
1 pxq

se excluirmos o valor x , que no pertence ao campo de definio de y,


podemos substituir a funo y pela funo mais simples y1 . Assim podemos
sempre simplificar uma funo racional, pois a nica alterao que provoca
esta simplificao consiste, eventualmente, em incluir um nmero finito de
pontos no seu campo de definio.
4. Funo algbrica. Chama-se assim a raiz de uma equao algbrica
cujos coeficientes so polinmios em x:
0 pxqyn ` 1 pxqyn1 ` ` n pxq 0.
Supomos aqui que se tenha n 1, e que o polinmio 0 pxq no seja
identicamente nulo. Com esta hiptese, a cada valor de x corresponde um
nmero finito (no mximo n) de razes y, que so as determinaes da funo
algbrica, ypxq, definida por essa equao. Por exemplo, a equao
y2 2xy 1 0

?
define a funo algbrica com dois valores y x2 ` 1, definida em todo
o campo real. J a equao
xy4 ` 2x2 y2 1 0
define a funo
d

x2

x4 ` x

x
cujo campo de definio o conjunto dos valores x 1 e x 0, sendo
que para x 0 h duas determinaes, para x 1, duas, e para x 1,
quatro. Enfim, a equao
y 2 ` x2 ` 1 0
no tendo raiz em y para nenhum valor real de x, no define nenhuma funo algbrica no campo real. claro que todas as funes consideradas nos
itens anteriores so particulares funes algbricas. Toda funo que no
algbrica chamada funo transcendente. As que damos a seguir so as chamadas funes transcendentes elementares, nome que se estende a todas as

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

63

funes obtidas destas por meio de um nmero finito de operaes algbricas


e de funo de funo.
5. Potncia irracional (ou melhor, potncia com expoente irracional) y

x , sendo um nmero irracional qualquer (se fosse racional e p{q,


teramos a funo algbrica definida por uma das equaes yq xp 0 ou
xp yq 1 0). No campo real s se considera esta funo para x 0, se
0 e s para x 0 se 0.
Damos abaixo os grficos correspondentes a dois exemplos:
y

yx

?
2

y xe
x

6. Funo exponencial y ax , com a 0, definida em todo o campo


real, e que goza da propriedade fpx ` x 1 q fpxqfpx 1 q.
7. Funo logartmica y loga x, com 0 a 1, definida no campo
dos nmeros reais positivos, e que goza da propriedade fpxx 1 q fpxq ` fpx 1 q.
Estes dois tipos de foram estudadas no captulo II, e a elas voltaremos
mais adiante.
8. Funes circulares diretas. Chamam-se assim as funes estudadas
em trigonometria, em que a varivel independente x representa um ngulo
que, salvo aviso em contrrio, suporemos sempre medido em radianos: sen x,
cos x, tg x, cot x, sec x e cosec x. Em geral nos limitaremos a considerar as
quatro primeiras.
9. Funes circulares inversas. So as funes inversas das anteriores,
mas ns s consideraremos as trs primeiras:
y arcsen x

px sen yq

y arccos x

px cos yq

y arctg x

px tg yq.

As duas primeiras so definidas no intervalo 1 $% `1 e tm para cada


valor de x uma infinidade de determinaes. Duas determinaes quaisquer

64

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

de arcsen x, correspondentes a um mesmo valor de x, ou diferem de um mltiplo de 2 ou tm por soma um mltiplo mpar de . Para arccos x, duas
determinaes correspondentes ou diferem de um mltiplo de 2 ou tm por
soma um mltiplo par de . A funo arctg x definida em todo o campo
real e tem para cada valor de x uma infinidade de determinaes que diferem
umas das outras por mltiplos de .
8. Exemplos de funes no elementares. Para habituar o raciocnio
noo de funo em toda a sua generalidade, vamos dar alguns exemplos que
se afastam das funes j conhecidas e das combinaes dessas por meio de
operaes elementares:
1. Faamos corresponder a cada nmero racional x m{n, em que m
inteiro no negativo e n inteiro e positivo, suposto reduzido expresso mais
simples (isto , sendo m e n primos entre si; se m 0 pomos n 1) a soma
m ` n. Esta soma, que se chama altura do nmero racional x, como se v,
uma funo de x definida no campo racional relativo, a qual designaremos
por pxq; esta funo s pode tomar valores inteiros e positivos.
2. Por meio da notao y rxs indicaremos o mximo nmero inteiro
no superior a x. Temos aqui o caso de uma funo definida em todo o
campo real, que em cada intervalo cujos extremos sejam dois nmeros inteiros consecutivos, da forma n $ n ` 1, toma o valor constante y n.
3. Ponhamos
$
&pxq, se x racional
y
%rxs,
se x irracional;
temos aqui outro exemplo de funo, definida em todo o campo real, isto ,
no intervalo 8 ` 8.
4. Tomemos para cada nmero natural n, o nmero de nmeros no
maiores que n e primos com n. Este nmero, que se indica com a notao
pnq, chamado o indicador de GAUSS, e uma funo de n, definida no
campo de nmeros inteiros positivos.
5. Seja y 1 x para 0 x 1, exceto para os pontos do conjunto 1{2,
1{4, . . . , 1{n, . . . para os quais y 0. Esta funo est assim completamente
definida no intervalo 0 $% 1.
Todos os exemplos anteriores so de funes mondromas. Vejamos
algumas funes poldromas. Destas j so conhecidos alguns exemplos,
?
como y x, que para cada x positivo tem dois valores opostos, e as
funes circulares inversas.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

65

a
?
6. Ponhamos y 2x ` r xs (vide exemplo 2 acima). Esta funo
s definida no intervalo 0 $ 8. O nmero de valores distintos de y para
um mesmo valor de x depende deste ltimo, p. ex.
para x 0, temos evidentemente, y 0;
?
para x 1{4, temos x 1{2, donde r xs 0 ou 1, e temos
a
assim dois valores: y 1{2 pois 1{2 1 1{2, sendo negativo, no
tem raiz quadrada no campo real;
?
para x 1 temos 4 valores y 3 e y 1.
7. Para cada x positivo, definamos y pela condio
|y| x.
Temos uma funo definida no campo real positivo, que a cada x desse
campo faz corresponder todos os valores reais do intervalo x ` x.
8. Seja y dado pela condio
py aq2 sen x.
Esta condio no pode evidentemente ser satisfeita para nenhum arco
x do 3 e 4 quadrantes. O campo de definio portanto formado pelos
intervalos fechados 2 $% , 0 $% , 2 $% 3, . . . . Nos extremos de
cada um destes intervalos temos y a. Para qualquer x interno temos para
?
?
y todos os pontos do intervalo a sen x $% a ` sen x.
9. Exemplos de funes importantes nas aplicaes so funes determinadas por observaes experimentais. Assim, a temperatura e a presso
do ar em certo local so funes do tempo; a resistncia eltrica e outras
grandezas caractersticas de um corpo so funes da temperatura. Pode-se
mesmo dizer que um dos principais instrumentos para o estudo das cincias
experimentais consiste em pesquisar as propriedades de certas funes determinadas pela observao. Estas funes so de tipos variadssimos, mas em
geral nos clculos so substitudas por outras funes mais simples (funes
elementares ou combinaes entre as mesmas) que as representam com um
erro suficientemente pequeno.
10. Sucesses. Um caso particular importantssimo do conceito de funo o conceito de sucesso. Esta pode-se definir como uma funo mondroma definida no campo dos nmeros naturais (aos quais algumas vezes se
acrescenta o zero). Neste caso, costuma-se pr a varivel independente como
ndice na letra que indica a funo: a1 , a2 , . . . , an , . . . . Designa-se tambm
a sucesso com a notao abreviada tan u.
Esta definio equivalente definio habitual: chama-se sucesso um
conjunto infinito e ordenado de nmeros (no necessariamente distintos) em

66

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

que cada elemento pode ser caracterizado por um nmero inteiro que o seu
nmero de ordem ou ndice, isto , o nmero de elementos que o precedem,
se o primeiro elemento tiver nmero de ordem 0, ou por esse nmero mais
1, se o primeiro elemento tem ndice 1.
No captulo V faremos um estudo mais demorado das sucesses.
9. Extremos das funes. Teorema de WEIERSTRASS. Dada uma funo y fpxq, definida num campo C, consideremos todos os valores que
toma y quando x varia no campo C. Esses valores de y formam um conjunto linear I, ao qual podemos aplicar os teoremas e definies do princpio
deste captulo. Se este conjunto limitado, ou apenas limitado superior ou
inferiormente, diz-se que a funo fpxq , respectivamente, limitada, limitada
superiormente ou limitada inferiormente no campo C.
Em qualquer caso, esse conjunto ter sempre um extremo superior L e
um extremo inferior l, que se chamam, respectivamente, extremo superior
e inferior da funo fpxq. Se ambos os extremos so finitos, a sua diferena
Ll chama-se oscilao da funo no campo C; sendo l L, vemos que
a oscilao de uma funo no pode nunca ser negativa. Se um dos extremos
infinito, diz-se que a oscilao da funo infinita. A oscilao nula
quando, e somente quando a funo constante, pois s neste caso, tendo
o conjunto I um nico elemento, este ao mesmo tempo extremo superior e
inferior, isto , temos L l, donde 0.
Se a funo fpxq atinge efetivamente o seu extremo superior L, isto , se
h um ponto x de C tal que se tenha fpxq L, diz-se que L o mximo
da funo fpxq no campo C, e x um ponto de mximo. Se fpxq atinge em
algum ponto x de C o seu extremo inferior l, diz-se que l o mnimo de fpxq
no campo C, e x um ponto de mnimo.
Se decompomos o campo C em um nmero finito de campos parciais C1 ,
C2 , . . . , Cn , a cada um desses campos corresponde um conjunto I1 , I2 , . . . In
de valores da funo, e como os pontos que pertencem ao menos a um desses
conjuntos constituem o conjunto I, podemos aplicar o teorema demonstrado
no fim do 1 e enunciar o seguinte lema: Se uma funo fpxq definida num
campo C tem extremo superior L, o extremo superior dessa funo em uma
parte de C no mximo L, e se o campo C se decompe em um nmero finito
de campos parciais, em um ao menos desses campos o extremo superior de
fpxq igual a L.
Vamos agora dar o importante teorema de WEIERSTRASS: Dada uma
funo fpxq definida um campo C, sendo L o seu extremo superior, existe ao
menos um ponto (finito ou infinito) tal que nos pontos de C contidos em

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

67

um entorno arbitrrio de o extremo superior de fpxq ainda L. Um ponto


nestas condies chama-se ponto de WEIERSTRASS relativo ao extremo
superior.
Com efeito, chamemos Ck o conjunto dos pontos x de C que so menores
que um nmero real k. Consideremos a classe K formada pelos nmeros k
tais que ou Ck seja vazio ou nesse conjunto o extremo superior de fpxq seja
menor que L. Se um nmero k pertence a K, todo nmero k 1 k tambm
pertence a esta classe, o que evidente se Ck vazio, e em caso contrrio,
deduz-se do lema anterior, pois Ck 1 est contido em Ck . A classe K portanto
uma classe minorante. Se K vazia, em qualquer entorno direito do infinito
haver pontos de C e nesses pontos o extremo superior de fpxq L, logo
temos neste caso, 8. Analogamente se demonstra que se K contm
todos os nmeros reais, temos `8. Enfim, se a classe K no vazia
nem contm todos os nmeros reais, ela determina um nmero real , tal
que todo nmero menor que pertence a K e todo nmero maior que est
fora de K. Seja ento a b um entorno arbitrrio de , isto , a b.
Estando b fora de K, o extremo superior de fpxq em Cb L. Mas neste campo
Cb separado por qualquer nmero c compreendido entre a e , em uma
parte Cc , no qual o extremo superior de fpxq L e outra parte contida
no intervalo c $ b, e portanto no entorno a b de , em que o extremo
superior L, o que demonstra o teorema.
evidente que se no faz parte de C, necessariamente ponto de
acumulao desse campo. Se for ponto isolado de C, haver um entorno
de sem nenhum ponto de C alm de ; e se a funo for mondroma,
teremos neste caso fpq L, e L ser o mximo. Conclui-se que se uma
funo mondroma no tem mximo, todo ponto de WEIERSTRASS relativo
ao extremo superior ponto de acumulao do seu campo de definio.
Analogamente se pode demonstrar a existncia de um ponto de WEIERSTRASS relativo ao extremo inferior.
Notemos tambm que pode haver outros pontos de WEIERSTRASS; a
classe K atrs construda define o mnimo do conjunto desses pontos. fcil
demonstrar tambm que os pontos de WEIERSTRASS de qualquer funo,
relativos ao extremo superior ou ao extremo inferior, formam sempre um
conjunto fechado.
10. Noo geral de limite. Seja y fpxq uma funo definida num
campo C, e seja a um ponto de acumulao desse campo. Dizemos que y
tem por limite o nmero real b, ou que y tende a b, para x tendendo a a, e

68

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

escrevemos
lim y b

xa

quando a cada entorno de b se pode fazer corresponder um entorno conveniente de a, tal que para todo ponto x, de C, diferente de a, contido em ,
o valor y fpxq correspondente pertena ao entorno . No caso de funo
poldroma aplica-se a mesma definio de limite, devendo a ltima condio
ser satisfeita para todos os valores de y fpxq, correspondentes ao mesmo
valor de x.
Podemos dar outra forma a essa definio, pois a condio acima evidentemente satisfeita se nos limitarmos aos entornos simtricos de b e de a,
pois dentro de qualquer entorno h sempre um entorno simtrico, e o elemento que estiver neste estar dentro do entorno primitivo. Ora, x estar
no entorno simtrico pq de a, se tivermos a x a ` , donde se tira
a x e x a , ou |x a| ; a condio x a pode ser expressa
por |x a| 0.
Podemos dizer, portanto, que y tende a b para x tendendo a a, quando,
dado o nmero 0 arbitrrio, se pode determinar em correspondncia um
nmero positivo , tal que para todo x, satisfazendo condio
0 |x a|
temos, para o valor (ou valores) de y fpxq correspondente,
|y b| .
Um caso em que o limite existe sempre o de uma funo constante
mondroma, isto , a que toma o mesmo valor k para todo ponto x. Neste
caso, qualquer que seja o ponto de acumulao a de C, temos limxa k k.
A condio de se tomar x a essencial, pois h muitos casos em que,
embora a pertena ao campo C, o limite de fpxq para x a diferente de
fpaq; seja, por exemplo, fpxq 1 para x 0 e fp0q 0; o campo C aqui o
campo real, de que 0 ponto de acumulao. Ora, qualquer que seja 0,
temos, para x 0, fpxq 1 0 , e portanto,
lim fpxq 1,

x0

ao passo que, pela definio, fp0q 0.


A primeira definio que demos de limite, expressa em linguagem de entornos, tem a vantagem de servir para o caso em que a ou b ou ambos, so
infinitos, e tambm para outras generalizaes da noo de funo, como
veremos no captulo VIII.
No caso em que entra o infinito, pode-se tambm adotar as definies:

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

69

Dizemos que
lim y b

x8

(finito)

quando, dado o nmero positivo arbitrrio, possvel achar um nmero


positivo K tal que para todo ponto x satisfazendo condio |x| K, se
tenha, em correspondncia, |y b| . Analogamente, dizemos que
lim y 8 (a finito)

xa

quando a cada nmero positivo K podemos fazer corresponder um nmero


0 tal que se tivermos 0 |xa| , tenhamos, para o valor (ou valores)
correspondente de y, |y| K. Tambm se interpreta facilmente a afirmao
expressa por
lim y 8.

x8

Mas nesses casos conveniente em geral fazer a distino entre o limite


`8 e o limite 8, substituindo a desigualdade |y| K por y K ou y
K, respectivamente.
NOTA. Diz-se que uma funo fpxq convergente num ponto a (finito ou
infinito) quando ela tem um limite finito para x a; divergente, quando esse
limite existe e infinito; se no existe limite, diz-se que ela indeterminada
para x a.
TEOREMA DE UNICIDADE. Uma funo y fpxq no pode ter dois limites diferentes quando x tende ao mesmo ponto de acumulao a do seu
campo de definio.
Com efeito, se houvesse dois limites b1 e b2 distintos, poderamos determinar dois entornos 1 e 2 de a, tais que para todo valor de x a dentro
de cada um deles, tivssemos, respectivamente,
|y b1 |

1
|b1 b2 |
2

|y b2 |

1
|b1 b2 |,
2

pois o segundo membro dessas desigualdades positivo. Ora, num entorno


de a comum aos dois intervalos 1 e 2 , valeriam simultaneamente essas duas
desigualdades, donde deduziramos
|b1 b2 | |pb1 yq pb2 yq| |b1 b2 |,
o que absurdo. Tambm se v facilmente que uma funo no pode ser ao
mesmo tempo convergente e divergente no mesmo ponto a.

70

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

11. Limites sobre conjuntos parciais. Limite esquerda e limite direita. Tomemos uma funo y fpxq definida num campo C, de que a
ponto de acumulao. Se C1 um conjunto parcial de C que tem ainda a
como ponto de acumulao, podemos restringir a variao de x aos pontos
de C1 , e neste caso pode ser que exista o limite de fpxq para x a, independentemente da existncia desse limite, quando x varia em C. Tal limite ser
designado com a notao
lim

xa pC1 q

fpxq.

Se existe o limite de fpxq para x tendendo a a em C, claro que as desigualdades acima continuam vlidas se limitarmos a variao de x ao conjunto
C1 , logo temos
lim

xa pC1 q

fpxq lim fpxq.


xa

Por outro lado, se o conjunto C se decompe em dois conjuntos parciais


C1 e C2 , ambos com ponto de acumulao a e se nos dois conjuntos a funo
fpxq tem o mesmo limite b, ento fpxq tem limite b para x a em C; pois
neste caso, dado 0, existem entornos 1 e 2 de a tais que nos pontos
x a desses entornos, pertencentes a C1 e C2 respectivamente, temos |fpxq
b| . Esta desigualdade estar ento satisfeita para qualquer x a do
conjunto C, contido num entorno de a comum a 1 e 2 , o que prova a
nossa afirmao. Este teorema se estende a um nmero finito de conjuntos
parciais.
claro tambm que em todas as consideraes de limite, podemos restringir a variao de x aos pontos de C que esto num entorno arbitrrio 0
de a, dado a priori, pois sempre podemos substituir o entorno de de a por
um entorno contido ao mesmo tempo em e em 0 .
Esses teoremas valem evidentemente, com pequenas modificaes na demonstrao, se a ou b ou ambos, so infinitos.
Consideremos, em particular, o conjunto dos pontos de C que esto
esquerda de a. Tal conjunto ter ponto de acumulao a, se a for ponto
de acumulao direita, em C. O limite de fpxq correspondente aos pontos
x a, chama-se limite esquerda, e designa-se com uma das notaes
(1)

lim fpxq

xa

ou

fpaq.

Analogamente, se pode considerar o limite direita


(1)

lim fpxq

xa`

ou

fpa`q

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

71

quando a ponto de acumulao esquerda e s se consideram os valores


de fpxq para x a. No caso do ponto de acumulao infinito, obtemos
o limite esquerda e o limite direita, restringindo a variao de x s aos
valores positivos ou s aos valores negativos, respectivamente. Tais limites
designam-se com as notaes
lim fpxq

x`8

ou

fp`8q

lim fpxq

x8

ou

fp8q.

Os dois limites (1) acima podem no coincidir, e neste caso fpxq no ter
limite no ponto a. Mas se esses limites coincidem, pelo teorema II o seu valor
comum d exatamente o limite de fpxq para x a.
Tomemos por exemplo, a seguinte funo definida no campo dos nmeros reais no negativos:
y 0 para x inteiro
y rxs para x no inteiro ( 8, exemplo 2q.
A representao grfica desta funo consta de uma srie de segmentos
paralelos a Ox e de pontos isolados sobre este eixo.
fcil ver que sendo n um nmero natural qualquer temos
lim n 1

xn

lim n,

xn`

isto , os dois limites existem e so diferentes; eles diferem tambm do valor


da funo no ponto n, exceto para n 0, e 1 pois temos
lim y lim y 0.

x0`

x1

12. Continuidade. Suponhamos agora que o campo de definio C, de


fpxq, contenha o seu ponto de acumulao x0 . Se tivermos
(1)

lim fpxq fpx0 q,

xx0

diremos que a funo fpxq contnua em x0 . Isto equivale seguinte definio: Diz-se que uma funo fpxq, definida no campo C, contnua no ponto
x0 (ponto de acumulao de C e pertencente a C) se, dado arbitrariamente o

72

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

nmero 0, possvel determinar 0 tal que para |x x0 | , se tenha


como consequncia,
|fpxq fpx0 q| .
Aqui evidentemente desnecessria a excluso x x0 .
Verifica-se que se uma funo contnua em um ponto, h sempre um
entorno desse ponto em que ela limitada.
Se a funo fpxq definida no ponto de acumulao x0 do seu campo de
definio e se a condio (1) no est satisfeita, diz-se que ela descontnua
em x0 e que este um ponto de descontinuidade de fpxq.
Se a funo fpxq contnua em todos os pontos de acumulao de C
pertencentes a C, diz-se que ela contnua nesse campo. evidente que toda
funo constante contnua.
O teorema de WEIERSTRASS, aplicado s funes contnuas, permite deduzir, como resultado importantssimo, o seguinte
TEOREMA. Toda funo mondroma, contnua em um campo C limitado e fechado, tem um mximo e um mnimo nesse campo.
Com efeito, seja um ponto de WEIERSTRASS relativo ao extremo superior L de fpxq. Se ponto isolado de C, temos, como j vimos ( 9),
fpq L. Se de acumulao de C, pertence a C, que fechado, e da
continuidade se deduz que dado 0 arbitrrio, existe um entorno de tal
que para todo x dentro dele se tenha
fpq fpxq fpq ` ;
e como nesse entorno o extremo superior ainda L, teremos tambm
fpq L fpq ` ,
donde
|L fpq| .
Mas |L fpq| um nmero determinado no negativo, e um nmero
positivo arbitrrio, logo temos forosamente, L fpq 0, isto ,
fpq L;
conclui-se que, em qualquer caso, todo ponto de WEIERSTRASS para o extremo superior um ponto de mximo.
A mesma demonstrao se pode fazer para o extremo inferior l, deduzindo assim a existncia de um ponto de mnimo , isto , tal que fpq l.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

73

Se, sendo x0 um ponto de acumulao direita, ou esquerda, tivermos


apenas
lim fpx0 q fpx0 q

xx0

ou

lim fpxq fpx0 `q fpx0 q

xx0 `

diremos que fpxq , respectivamente, contnua esquerda ou contnua direita, do ponto x0 . Evidentemente, se uma funo , ao mesmo tempo, contnua direita e esquerda no mesmo ponto, ela contnua nesse ponto, e
reciprocamente.
A funo definida no ltimo exemplo do pargrafo anterior contnua
para todos os valores no inteiros de x, e contnua direita no ponto 0 e
esquerda no ponto 1, sendo descontnua para os outros nmeros inteiros.
A funo y rxs, definida no 8, exemplo 2, contnua s direita para
todos os valores inteiros de x.
13. Teoremas sobre limites e funes contnuas. Vamos estabelecer
uma srie de teoremas simples que servem de base ao clculo de limites.
1. Se a funo y tem um limite b 0 para x a, existe um entorno
conveniente de a, tal que para todo ponto x a dentro dele, y conserva o
mesmo sinal do seu limite b. Basta, com efeito, determinar um entorno de a
tal que para os pontos x a dentro dele, tenhamos b y b ` , sendo
0 |b|, o que sempre possvel, dada a definio de limite. claro que
os dois nmeros b e b ` so do mesmo sinal que b. Em particular, se
uma funo fpxq contnua no ponto x0 e no se anula neste ponto, existe
um entorno de x0 em que a funo tem constantemente o sinal de fpx0 q.
2. Se para x a, y tem limite b, a funo |y| tem limite |b|: Com efeito,
dado 0 arbitrrio, podemos determinar um entorno de a tal que para
todo x a dentro de se tenha |yb| ; e como temos ||y| |b|| |yb|,
segue-se, para o mesmo entorno , ||y| |b|| , o que prova o teorema.
3. Se duas funes y1 e y2 de x, definidas no mesmo campo C, de que a
ponto de acumulao, tm limites finitos para x a temos tambm,
(1)

lim py1 ` y2 q lim y1 ` lim y2

xa

(2)

xa

xa

lim y1 y2 lim y1 lim y2 .

xa

xa

xa

Com efeito, seja


lim y1 b1

xa

lim y2 b2 .

xa

Dado ento 0 arbitrrio, podemos determinar um entorno 1 de a


para o qual se tenha |y1 b1 | {2 e um entorno 2 de a para o qual seja

74

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

|y2 b2 | {2. Destas desigualdades segue-se a condio


|py1 y2 q pb1 b2 q|
para todo ponto x a de um entorno de a contido em 1 e 2 , o que
demonstra (1). Para demonstrar a frmula (2), notemos que a diferena
y1 y2 b1 b2 pode-se pr sob a forma
y1 y2 y1 b2 ` y1 b2 b1 b2 y1 py2 b2 q ` b2 py1 b1 q;
pelo teorema 2, temos
lim |y1 | |b1 |

xa

e daqui se deduz que tomado um nmero M maior que |b1 | e que |b2 |, podemos determinar trs entornos, 1 , 2 , 3 , de a tais que
para x a dentro de 1 tenhamos |y1 | M

2 M
1
para x a dentro de 3 tenhamos |y2 b2 | ;
2 M
em um entorno de a, comum a 1 , 2 , 3 , temos ento

|y1 y2 b1 b2 | |y1 |.|y2 b2 | ` |y1 b1 |.|b2 | M


`M
,
2M
2M
o que demonstra a frmula (2).
Em particular, se y k (constante), temos como j vimos,
para x a dentro de 2 tenhamos |y1 b1 |

lim y k,

xa

donde
lim ky k lim y

xa

e se k 1,

xa

lim pyq lim y.

xa

xa

Estes teoremas se estendem evidentemente a um nmero finito qualquer


de parcelas ou de fatores. Em particular, se existe
lim y b,

xa

temos, sendo n um nmero natural qualquer,


lim yn bn .

xa

Dos teoremas anteriores se deduz que o valor absoluto de uma funo


contnua, assim como a soma, diferena e produto de funes contnuas em
nmero finito qualquer, em um mesmo ponto, so funes contnuas nesse
ponto.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

75

4. Se y fpxq tem um limite b 0 para x a, temos tambm


(3)

lim

xa

1
1
.
y
b

Com efeito, sendo m um nmero compreendido entre 0 e b, podemos


determinar um entorno 1 de a para o qual seja |y| |m|. Dado ento
0 arbitrrio, podemos determinar outro entorno 2 no qual se tenha,
para x a, |y b| m2 . Num entorno comum a 1 e 2 , teremos ento

1 1 |b y|
1

m2 . 2
y b
|b|.|y|
m

o que demonstra o teorema.


Deste teorema e do anterior, segue-se
5. Na hiptese do teorema 3, se tivermos

lim y2 b2 0,

xa

temos tambm

y1
1
b1
lim y1

.
xa y2
xa
y2
b2
Daqui se deduz que o quociente de funes contnuas uma funo contnua em todos os pontos que no anulem o denominador.
6. Se tivermos
lim

lim y 0

xa

e se a ponto de acumulao do conjunto parcial C de C para o qual seja


y 0, ento temos nesse conjunto,
1
8
xa pCq y
lim

pois pela hiptese, dado K 0 arbitrrio, pode-se determinar um entorno


de a tal que para x a dentro dele se tenha |y| 1{K. Considerando em
particular os pontos de C dentro de teremos pois,

1
K
y

o que demonstra o teorema.


7. Se num produto de funes limitadas, definidas no mesmo campo C,
uma delas tem limite 0 para x a, o produto tem limite 0 no mesmo ponto.
Sejam y e z as funes dadas. Sendo por hiptese |z| K e y 0 para
x a, ento dado 0 podemos determinar um entorno de a para o
qual se tenha |y| {K, logo temos nesse entorno,

|yz| |y|.|z| K
K

76

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

o que demonstra o enunciado. Quando h mais de dois fatores (sempre em


nmero finito) basta notar que o produto de um nmero finito de funes
limitadas sempre uma funo limitada, que podemos chamar z.
Este resultado se aplica em particular quando a segunda funo z tem um
limite finito para x a.
8. Se num produto de duas funes uma delas tem limite infinito e a outra
se conserva, em valor absoluto, maior que um nmero positivo k, o produto
tem limite infinito. Com efeito, sendo |z| k 0 e y 8, h um entorno
de a para o qual temos |y| K{k, logo temos nesse entorno

K
kK
k
o que demonstra o enunciado, pois K um nmero arbitrrio.
Este teorema se aplica no caso em que a segunda funo z tem, para
x a, um limite diferente de zero.
Tambm se demonstra facilmente o seguinte teorema:
9. Se uma funo y tem limite infinito, a funo 1{y tem limite zero.
Em todos esses teoremas conveniente distinguir os dois casos particulares: y `8 e y 8, o que se faz sem dificuldade.
10. (Funo de funo). Seja y fpxq uma funo definida num campo
C e a um ponto de acumulao deste campo. Seja x xptq uma funo de
t definida em certo campo D com um ponto de acumulao a e tal que para
todos os valores t de D, os valores correspondentes de xptq estejam em C.
Suponhamos tambm que seja
|yz|

lim fpxq b

xa

lim xptq a.

ta

Consideremos o conjunto D dos nmeros t para os quais se tenha xptq


a. Vamos demonstrar que para a funo de funo fpxpyqq temos sempre
(4)

lim
xa pDq

f pxptqq b.

Com efeito, dado 0 arbitrrio, podemos determinar um entorno


de a tal que para todo x a de C dentro de se tenha
|fpxq b| ;
mas pelas hipteses feitas h um entorno de a tal que para todo t a
de D dentro dele o valor (ou valores) correspondente de x seja interno a e
diferente de a. Para tais valores de t temos pois,
(5)

|fpxptqq b|

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

77

o que prova a relao (4).


H dois casos muito gerais em que no preciso considerar o conjunto
D.
a) se num entorno de a, tivermos sempre, para t a, xptq a; neste
caso, todos os pontos t contidos nesse entorno e distintos de a fazem parte
de D e limitando a variao de t a esse entorno temos pois
(6)

lim fpxptqq b.

ta

b) se tivermos fpxq b, isto , se a funo fpxq for contnua no ponto


a; neste caso, mesmo nos pontos t para os quais seja x a, a condio (5)
est satisfeita, e portanto vale tambm aqui a frmula geral (6). Neste ltimo
caso, podemos tambm escrever

lim fpxptqq f lim xptq


ta

ta

isto , os smbolos f e limta podem-se inverter. V-se assim em particular


que uma funo contnua de uma funo contnua sempre uma funo
contnua.
Os teoremas anteriores, baseados somente no conceito de entorno de um
ponto, se estendem, como veremos, a outros campos de variabilidade, alm
do campo real. O teorema seguinte, ao contrrio, baseia-se essencialmente
no conceito de ordem.
11. (Critrio de confronto). Se uma funo ypxq definida num campo
C com ponto de acumulao a, est, em todo um entorno 1 desse ponto,
compreendida entre duas outras definidas no mesmo campo e tendo o mesmo
limite para x a, ento a funo ypxq tem tambm esse limite para x a.
Com efeito, sejam u e v as duas funes. De u y v, segue-se 0 y u
v u. Como a ltima diferena tem limite zero para x a, a cada 0 se
pode fazer corresponder um entorno 2 de a no qual temos |v u| ; em
um entorno de a comum a 1 e 2 teremos ento 0 y u , donde
lim py uq 0

xa

segue-se daqui,
lim y lim ru ` py uqs lim u ` lim py uq lim u

xa

xa

xa

xa

xa

o que prova o enunciado.


14. Continuidade das funes elementares. Dos teoremas do 13 e da
igualdade evidente
lim x a,

xa

78

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

segue-se imediatamente que:


1. O limite de um polinmio a0 x2 ` ` an para x tendendo a um
nmero real c qualquer, a0 cn ` a1 cn1 ` ` an isto , um polinmio
uma funo contnua em todo o campo real.
2. Uma funo racional
y

a0 xn ` ` an
b0 x m ` ` bm

pa0 , b0 0q

contnua em todo ponto real c que no seja raiz do denominador. Em


particular, se for bm 0, temos
an
lim y
.
x0
bm
3. Na hiptese anterior, se c raiz do denominador e no do numerador,
temos ( 13, teoremas 6 e 8)
a0 xn ` ` an
8.
xc b0 xm ` ` bm
lim

Se c raiz ao mesmo tempo do denominador e do numerador, h um


fator comum aos dois termos da frao que se pode eliminar, obtendo-se
uma funo igual anterior, salvo para os valores de x que anulem esse fator.
Mas no clculo do limite essas duas funes se comportam identicamente.
4. Supondo sempre a0 b0 0, conforme seja m , ou n, a funo
anterior pode ser escrita, para x 0, respectivamente sob as formas
a0 xnm ` a1 xnm1 ` `

ou

b0 `

b1
x

` `

bm
xm

an
xm

a0 `
b0 `

a1
x
b1
x

` ...

` ...

a0 ` ax1 ` . . .
b0 xmn ` b1 xmn1 ` . . .
e aplicando os teoremas anteriores, vemos que a tais hipteses, correspondem
respectivamente, as igualdades
a0
lim y 8 lim y
lim y 0.
x8
x8
b0 x8
fcil distinguir, em cada exemplo particular, se y tende a `8 ou a 8,
quando x tende a infinito por valores positivos ou negativos.
?
5. Consideremos agora a funo y m x, sendo m inteiro e positivo.
Se m mpar, esta uma funo mondroma definida em todo o campo
real; se m par, temos uma funo com dois valores (exceto para x 0)
definida no campo dos nmeros no negativos; neste caso, consideraremos
?
somente a determinao no negativa, y ` m x. Vamos demonstrar a
continuidade dessa funo em todo o seu campo de definio. No ponto

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

79

zero, basta limitar a variao de x ao entorno |x| m , para que se tenha


a
?
|y 0| |y| m |x| . Para a 0, ponhamos m a b e tomemos um
nmero positivo, c |b|. Se x e a so do mesmo sinal, y e b tambm o sero
e se |x| cm , teremos tambm |y| c. Destas desigualdades e de
yb

y m bm
ym1 ` ym2 b ` ` bm1

deduzimos
|x a|
mcm1
e basta tomar |x a| mcm1 para se deduzir
|y b|

|y b|
o que demonstra a continuidade da funo.
Combinando este resultado com a elevao a potncia inteira e positiva
e com o teorema sobre o limite do inverso de uma funo, temos, qualquer
que seja o nmero racional relativo p 0,
lim xp ap ;

xa

mas se p 0, xp constante e igual a 1, logo a ltima frmula vale para p


racional qualquer.
6. Consideremos enfim, a funo y x , definida para x 0, sendo
um nmero real que supomos positivo. Para x 1, basta notar que, fixado
o nmero racional p , temos, para x 1, respectivamente xp x 1, e
sendo lim xp 1, obtemos pela aplicao do critrio de confronto,
lim x 1.

x1

Seja agora a um nmero positivo qualquer. Ponhamos x at, donde


y a y . Temos aqui,
lim y a

t1

lim t 1

xa

e alm disto, para x a, t 1, logo, pela regra de funo de funo,


lim x a ,

(1)

xa

o que demonstra a continuidade desta funo. O caso em que negativo,


se reconduz a este imediatamente, pois temos, sendo positivo,
lim x lim

xa

xa

1
1
a
x
a

e portanto a frmula (1) vlida para real qualquer.

80

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

Tambm se pode verificar que, supondo sempre x 0 e real, temos


$

&8, se 0

lim x 1, se 0
x`8

%
0, se 0.

7. Consideremos as funes sen x e cos x, que so definidas no campo


real. As frmulas da trigonometria do
xa
x`a
sen
sen x sen a 2 cos
2
2
x`a
xa
cos x cos a 2 sen
sen
.
2
2
Em ambos os segundos membros temos um fator limitado, respectivamente
2 cospx ` aq{2 e 2 senpx ` aq{2, cujo valor absoluto no pode ser maior
que 2. O outro fator, senpx aq{2, est sempre compreendido entre 0 e
px aq{2, e portanto tem limite 0 para x a. Pelo teorema 7 do 13,
deduzimos pois que os dois primeiros membros tm limite 0 para x a, e
portanto,
lim sen x sen a e
lim cos x cos a,
xa

xa

isto , as funes sen x e cos x so contnuas em todo o campo real. Deduz-se


daqui que a funo tg x contnua em todos os pontos que no anulem cos x,
ao passo que em tal ponto, que da forma a {2 ` n, com n inteiro,
como o coseno tem limite 0 e o seno tem limite 1, temos limxa tg x 8,
e mais precisamente,
lim tg x `8

xa

lim tg x 8.

xa`

Tambm se deduz facilmente, para qualquer ponto b da forma n,


lim cot x 8

xb

lim cot x `8

xb`

sendo a cotangente funo contnua em todos os outros pontos do campo


real. Quanto s funes elementares ax , log x, arcsen x, etc., veremos no
17.
15. Limite da razo do seno para o arco. Tomemos agora
Tomemos agora a funo
sen x
y
x
que definida e contnua em todo o campo real, excetuado o ponto 0. Este
porm ponto de acumulao desse campo, logo podemos indagar se a funo y tem limite e nesta hiptese, calcular este, para x 0. Limitemos a

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

81

A D

B1
variao x ao entorno {2 de 0; seja primeiramente x 0 e tomemos a representao geomtrica; medindo o ngulo em radianos e sendo OA 1,
temos pela figura,
"

CB sen x

AB x

DB tg x.

Construindo o ponto B 1 simtrico de B em relao a OA, e lembrando


que o comprimento do arco BB 1 2x est, por definio, compreendido
entre o de toda poligonal inscrita e o de toda poligonal circunscrita, em particular entre BB 1 e BDB 1 , temos
2. sen x 2x 2. tg x
ou, dividindo por 2 e tomando os inversos,
cot x

1
1

;
x
sen x

multiplicando por sen x, vem


cos x

sen x
1.
x

Ora, a ltima frmula vlida tambm para x negativo, pois nenhum


dos membros da desigualdade se altera mudando o sinal de x. A funo y
est assim compreendida entre a constante 1, e cos x, cujo limite para x 0
cos 0 1. Pelo critrio de confronto, resulta pois,
sen x
1.
x0 x
lim

Daqui se deduz
lim

x0

sen x
1
tg x
lim

1,
x0 x
x
cos x

pois ambos os fatores do segundo membro tm o mesmo limite 1.

82

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

16. Funes montonas. Seja y fpxq uma funo mondroma definida num campo C. Se, quaisquer que sejam os pontos x1 e x2 de C, com
x1 x2 , tivermos sempre
fpx1 q fpx2 q,
diz-se que fpxq funo no decrescente. Se na mesma hiptese for sempre
fpx1 q fpx2 q,
diz-se que fpxq funo no crescente. Tanto as funes no decrescentes
quando as no crescentes, chamam-se funes montonas. Se nas desigualdades acima s vale o sinal de igualdade para x1 x2 , a funo chama-se,
respectivamente, funo crescente ou funo decrescente.
TEOREMA FUNDAMENTAL SOBRE FUNES MONTONAS. Se y fpxq
uma funo montona em um campo C e se a um ponto de acumulao
direita de C, existe o limite de y esquerda de a, isto , fpaq.
Suponhamos fpxq no decrescente e seja L o extremo superior, que supomos finito por enquanto, de fpxq no conjunto dos pontos x a, de C. Para
todos esses pontos teremos ento, fpxq L. Dado 0 arbitrrio, podemos
achar x1 a tal que se tenha fpx1 q L ; ento, para todo ponto x a,
do entorno x1 % a, isto , tal que seja x1 x a, teremos fpx1 q fpxq, e
portanto,
L fpxq L,

isto , fpxq cai no entorno pq arbitrrio de L, donde


lim fpxq fpaq L.

xa

Se L fosse infinito, bastaria substituir L por um nmero arbitrrio K,


repetindo a mesma demonstrao, chega-se neste caso a
lim fpxq `8.

xa

Se fpxq funo no crescente, com extremo inferior l no mesmo campo


C, demonstra-se analogamente que
lim fpxq fpaq l.

xa

A uma concluso semelhante se chega no caso em que a ponto de acumulao esquerda de C, pois basta fazer a mudana de varivel x x 1 ,
donde fpxq fpx 1 q px 1 q, para se recair no caso anterior. Nesta hiptese,
se a funo no decrescente com extremo inferior l direita de a, temos
limxa` fpxq l, e se no crescente, com extremo superior L no mesmo
campo, temos limxa` fpxq L.

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

83

Esses teoremas se aplicam evidentemente ao caso em que o ponto de


acumulao considerado infinito positivo ou negativo. Tambm se aplicam
no caso em que, sendo a ponto de acumulao direita, a funo fpxq
montona somente nos pontos de C que caem num certo entorno esquerdo
de a, assim como em outros casos anlogos. Vemos assim que se uma funo
montona e limitada em um entorno esquerdo de um ponto de acumulao
direita a do seu campo de definio, ela convergente para x tendendo a a
pela esquerda, enunciado que se estende para todos os casos anlogos.
Suponhamos enfim que o nmero a, finito, seja ponto de acumulao
de C tanto direita como esquerda, e que a funo fpxq seja montona
nos pontos de C de um entorno completo de a. Como j vimos, existem
neste caso os dois limites fpaq e fpa`q. Se a funo no decrescente,
temos fpaq fpa`q, e o contrrio se no crescente. Com efeito, no
entorno os valores de fpxq para x a so todos menores ou iguais (se f
no decrescente) aos valores para x a; o mesmo acontece portanto com
o extremo superior esquerda de a e o inferior direita, e esses extremos
coincidem com os limites acima.
Podemos ver, alm disto, que se a pertence ao campo C, e se os limites
acima so iguais, o seu valor comum coincide com fpaq, isto , fpxq contnua
em a. Com efeito, neste caso, para x a x 1 , temos fpxq fpaq fpx 1 q, e
estas desigualdades devem valer tambm para o extremo superior fpaq de
fpxq para x a, assim como para o extremo inferior fpa`q de fpx 1 q para
x 1 a, logo fpaq fpaq fpa`q, e sendo iguais os extremos destas
igualdades, temos
lim fpxq fpaq

xa

como queramos demonstrar.


Suponhamos ainda que a seja ponto de acumulao direita de C e que
para os pontos x a de um entorno esquerdo de a tenhamos sempre fpxq
b, sendo fpxq funo no-decrescente. Neste caso, para se concluir que
lim fpxq b,

xa

basta que, dado 0 arbitrrio, se possa achar um desses pontos x a para


o qual se tenha fpxq b , pois da existncia de um tal ponto se deduz a
de todo um entorno x % a no qual esta propriedade satisfeita. O mesmo
raciocnio se aplica a uma funo no crescente, assim como para os pontos
de acumulao esquerda.

84

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

Se uma funo y fpxq crescente no campo C, a sua inversa montona do mesmo tipo; pois, designando como mesmo ndice os valores correspondentes de x e y, sendo x1 e x2 dois pontos quaisquer de C, de x1 S x2
segue-se, respectivamente, y1 S y2 ; logo, inversamente, sendo y1 e y2 dois
valores quaisquer de fpxq que correspondem, respectivamente, a x1 e x2 , de
y1 S y2 deduz-se, respectivamente, x1 S x2 , isto , x f1 pyq funo
mondroma e crescente de y, definida no conjunto I dos valores que toma
fpxq quanto x varia em C. Da mesma maneira se demonstra que se fpxq
funo decrescente, a sua inversa tambm mondroma decrescente.
Tomemos o caso da funo crescente e seja a um ponto de acumulao
direita de C. Vamos demonstrar que de
(1)

lim y b

xa

segue-se, para a funo inversa x f1 pyq definida no campo I,


lim x a.

yb

Em primeiro lugar, v-se que b ponto de acumulao direita de I, pois


extremo superior de fpxq no conjunto dos pontos x a e no mximo,
porque se tivssemos, por exemplo, fpx1 q b, com x1 a, em todos os
pontos x do intervalo x1 a fpxq seria constante, contra a hiptese. Temos
pois, para x a, y b. De outro lado, dado o entorno esquerdo arbitrrio
c % a de a, sendo x1 a um ponto de C desse entorno, todos os pontos
y b de I que esto no entorno y1 % b de b correspondem a pontos x de
c a, pois de y1 y b, segue-se c x1 x a, o que demonstra o
teorema.
No caso da funo decrescente, basta tomas como funo intermediria
y y para se cair no caso anterior e deduzir de (1), que
lim x a.

yb`

Se a ponto de acumulao esquerda e se


lim y b,

xa`

deduzimos tambm, se y crescente,


lim x a

yb`

e se y decrescente,
lim x a.

yb

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

85

Se a ponto de acumulao esquerda e direita e pertence a C, e se


alm da hiptese anterior tivermos
fpaq fpa`q fpaq b,
isto , se fpxq for contnua no ponto a, a funo inversa ser contnua no
ponto b, pois teremos
lim f1 pyq a lim f1 pyq f1 pbq;

yb

yb`

em outras palavras, se uma funo crescente e contnua, a sua inversa


tambm crescente e contnua. Uma proposio anloga vale para toda funo decrescente e contnua.
17. Conjunto linear. Extremos. Vamos aplicar os resultados do pargrafo anterior ao estudo da continuidade das funes elementares que no
foram ainda consideradas no 14:
1) Funo exponencial y bx , em que tomamos b 1. J vimos no
captulo III as propriedades desta funo: ela definida em todo o campo
real, crescente e toma todos os valores reais positivos. Deduz-se daqui
imediatamente
lim bx 0

x8

lim bx `8.

x`8

Seja agora a um nmero real qualquer; sabemos que dado 0,


sempre possvel achar um nmero x a tal que seja ba bx , ou bx
ba , e analogamente para x a, donde se conclui
lim bx ba .

xa

Para b 1, a funo bx constante 1, e portanto contnua.


Se fosse b 1, bastaria considerar a funo p1{bqx 1{bx , pois teramos
1{b 1. Deduz-se pois que a ltima frmula vlida qualquer que seja
b 0, isto , para todo valor positivo de b a funo bx contnua em todo
o campo real.
2) Funo logaritmo logb x. Das propriedades da funo exponencial se
deduz que para b 1 a funo logaritmo definida e mondroma no campo
real absoluto e crescente e contnua em todo esse campo. Para os extremos
0 e 8, temos
lim logb x 8

x0`

lim logb x `8.

x`8

O caso b 1, que d para logb x uma funo decrescente, reduz-se


facilmente ao anterior, pois temos
logb x log 1 x.
b

86

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

3) Funes circulares inversas. Consideremos a funo


x sen y
definida no intervalo {2 $% `{2; sabemos j que essa funo mondroma, crescente e contnua neste intervalo, e por conseguinte est definida
uma funo inversa, y arcsen x, mondroma, crescente e contnua no intervalo 1 $% `1, cujos valores pertencem ao intervalo anterior. Alm disto,
temos, para os valores extremos,

lim arcsen x
e
lim arcsen x .
x1
x1`
2
2
Para a funo inversa do coseno, temos que considerar a funo
x cos y
definida no intervalo 0 $% onde ela decrescente e contnua; a funo
inversa y arccos x ser definida, decrescente e contnua no intervalo 1 $
% 1, sendo para os valores extremos,
lim arccos x 0

x1

lim arccos x .

x1`

Finalmente, pode-se tambm considerar a funo arctg x, inversa da funo x tg y, que crescente e contnua no intervalo {2 `{2; a funo
arctg x ser uma funo crescente e contnua em todo o campo real, e para
os elementos infinitos, temos

e
lim arctg x ` .
lim arctg x
x`8
x8
2
2
18. Nmero e. Logaritmos neperianos. Consideremos a funo

1 x
fpxq 1 `
x
definida para x externo ao intervalo 1 $% 0. Vamos demonstrar que esta
funo convergente para x 8. Com efeito, consideremos primeiramente
os valores inteiros positivos de x. Pondo x n, temos pela frmula do
binmio de Newton,
1 npn 1q
npn 1q . . . pn r ` 1q 1
1
(1) fpnq 1`n. `
` `
. r ` ` n ;
n
2
r!
n
n
o termo geral desta soma pode ser posto sob a forma

1
2
n1
1
1
. 1
... 1
.
n
n
n
r!
pela qual se v que fixado r 1, este termo um produto de 1{r! por r 1
fatores positivos e menores que 1, que crescem tendendo a 1, para n 8.
Logo, no segundo membro de (1), quando n cresce, cresce tambm cada

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

87

termo a partir do 3 e ao mesmo tempo o nmero de termos; por outro lado,


essa soma sempre menor que

1
1
1
1
1
1
1`1`
`
` `
1 ` 1 ` ` 2 ` ` n1
2! 3!
n!
2 2
2
1`

1
2n
21

1
1

e como a ltima frao sempre menor que 2, temos, para n 1, 2


fpnq 3. A sucesso fp1q, fp2q, . . . portanto crescente e limitada, logo tem
um limite finito, que se costuma indicar com a letra e. Pode-se demonstrar
que esse nmero irracional e transcendente (isto , no pode ser raiz de nenhuma equao algbrica com coeficientes inteiros). O seu valor aproximado

e 2, 718281828459 . . .
Note-se tambm que, fixado r, o limite da soma dos r ` 1 primeiros
termos do desenvolvimento de (1)

1
1
` `
2!
r!
logo temos sr lim fpnq e. Mas como temos tambm fpnq sn , donde
e lim fpnq lim sn , deduzimos, fazendo r 8, e lim sr , isto , o
nmero e tambm se pode obter como soma da srie (vide captulo seguinte)
sr 1 ` 1 `

1
1
1
1
`
`
` `
` ...
1! 2! 3!
n!
Consideremos agora um valor positivo qualquer de x; pondo n rxs
( 8, exemplo 2), temos evidentemente,
(2)

1`

lim n 8,

x8

e sendo n x n ` 1, deduzimos

n
1
1`
1`
n`1

1`

1`

n`1
1
1
1
1`
n`1
n`1
x
n`1
1
1
1`
x
n
n

1
1
1`
;
n
n

ora, em cada um dos membros extremos destas desigualdades h um fator


que tende a e e outro que tende a 1, logo esses membros extremos tendem a
e para n 8, e pelo critrio de confronto temos
lim fpxq e.

x8

88

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

Para x negativo e 1, pomos x p1 ` yq, donde


lim y `8,

x8

1y

1 x
1
1
1 y
y ` 1 1`y
1`
1`
1

1`
x
1`y
y
y
y

donde

1 y
1
1 x
1`
e.
lim 1 `
lim 1 `
y8
x8
x
y
y
Temos, pois, em geral, para x crescendo em valor absoluto, por valores
positivos ou negativos,

1 x
e.
(3)
lim fpxq lim 1 `
x8
x8
x
Pondo x 1t , obtemos tambm

(4)

lim p1 ` tq t e.

t0

Seja um nmero real qualquer 0; como x{ tende a infinito ao


mesmo tempo que x, temos

x
x

x
1
1
lim 1 `
1` x
lim 1 ` x
e
lim
x8
x8
x8
x

igualdade que alis evidente para 0.


Chamam-se logaritmos neperianos, naturais ou hiperblicos os que tm
por base o nmero e. Tais logaritmos, que so os mais importantes na anlise
matemtica, costumam-se escrever sem indicao da base;
log x loge x

px 0q.

Vamos demonstrar a relao


ax 1
log a pa 0q
x0
x
que evidente para a 1. Suponhamos a 1. Pondo t ax 1, temos
evidentemente
lim t 0,

(5)

lim

x0

e tomando os logaritmos neperianos,


x
donde

logp1 ` tq
log a

ax 1
t. log a
log a
lim

x0
t0 logp1 ` tq
x
limt0 logp1 ` tq1{t
lim

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

89

e como
lim logp1 ` tq1{t log lim p1 ` tq1{t

t0

t0

(conforme 13, teorema 10), segue-se de (4) que o limite do denominador


log e 1, o que prova a igualdade (5).
19. Funes contnuas em um intervalo fechado. J vimos que todas
as funes elementares so definidas e contnuas ou em todo o campo real
(polinmios, funo exponencial, sen x, cos x, arctg x) ou nesse campo menos
um conjunto discreto de pontos (funes racionais, tg x, cot x) ou em intervalos com ou sem incluso dos pontos extremos (funes algbricas, potncia
com expoente irracional, log x, arcsen x, arccos x). Vemos que o campo de
definio dessas funes sempre composto de intervalos, abertos ou fechados. Mas tomados dois pontos dentro de um mesmo intervalo, a funo
ser certamente definida e contnua em todo o intervalo fechado que tem por
extremos esses dois pontos. Esta observao mostra a importncia que tm
para o estudo das funes elementares as propriedades gerais das funes
que so definidas e contnuas em um intervalo fechado. Essas propriedades
se baseiam no seguinte
LEMA. Se uma funo fpxq, definida e contnua em um intervalo fechado
a $% b, tem nos extremos a e b valores de sinal contrrio, essa funo fpxq
se anula ao menos em um ponto interno desse intervalo.
Seja por exemplo fpaq 0 e portanto fpbq 0. Consideremos o conjunto dos pontos de a $% b nos quais a funo positiva, e seja x0 o seu
extremo superior; temos, evidentemente, a x0 b, pois para cada um
dos extremos h um entorno (direito e esquerdo respectivamente) em que
fpxq tem um sinal constante. Em qualquer entorno de x0 existem pontos x
do conjunto C, para os quais fpxq 0, e pontos fora de C, por exemplo
os pontos x x0 , para os quais fpxq 0. Se tivssemos fpx0 q 0, como
a funo se supe contnua, haveria ao menos um entorno completo de x0
em que fpxq teria sinal constante, o que no possvel; logo temos forosamente fpx0 q 0. claro que a mesma demonstrao vale para o caso
fpaq 0 fpbq, e portanto o lema est demonstrado.
J vimos no 12, como aplicao do teorema de WEIERSTRASS, que
toda funo contnua em um conjunto fechado e limitado, atinge os seus extremos superior e inferior; como um intervalo fechado um conjunto nessas
condies, concluimos que existe sempre em tal intervalo e para toda funo
contnua um ponto de mximo e um ponto de mnimo. Aplicando o lema
anterior, obtemos o seguinte

90

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

TEOREMA. Uma funo fpxq definida e contnua em um intervalo fechado assume nesse intervalo todos os valores compreendidos entre o seu
mximo e o seu mnimo.
Com efeito, sejam l fpq e L fpq o mnimo e o mximo de fpxq
no intervalo a $% b em que esta funo definida e contnua; podemos
supor l L, pois se esses valores fossem iguais, a funo seria constante, e
o teorema evidente. Seja k um valor compreendido entre l e L. A funo
fpxq k evidentemente contnua no intervalo que tem por extremos os
pontos e , o qual est contido no anterior; aplicando o lema, deduzimos
que existe entre esses pontos, e portanto no intervalo a $% b, um ponto x0
em que aquela funo se anula, isto , para o qual se tem fpx0 q k.
Do ltimo resultado do 16, sobre funes montonas, se deduz facilmente que uma funo crescente e contnua em um intervalo a $% b, tem
sempre uma funo inversa crescente e contnua no intervalo fpaq $% fpbq, e
que toma neste intervalo todos os valores do intervalo a $% b. Uma proposio anloga vale para toda funo decrescente e contnua em um intervalo.
Estas proposies admitem uma recproca que a seguinte: Se y fpxq
uma funo definida e contnua no intervalo a $% b e se valores distintos
de x correspondem a valores distintos de y, essa funo ou crescente ou
decrescente nesse intervalo.
Interpretado geometricamente, este teorema pode-se enunciar da seguinte
maneira: Se os pontos de um segmento AB esto em correspondncia contnua e biunvoca com os pontos de um conjunto C de uma reta, ento esse
conjunto C tambm um segmento e a correspondncia conserva a ordem,
no sentido de que, sendo P, Q, R, trs pontos quaisquer de AB e P 1 , Q 1 ,
R 1 , os seus correspondentes, se Q est entre P e R, Q 1 estar entre P 1 e R 1 .
Segue-se daqui que aos extremos de um segmento correspondem os extremos
do outro, e que a correspondncia inversa tambm contnua.
Para demonstrar este teorema basta provar que fpxq no pode ter mximo
nem mnimo interno em nenhum intervalo parcial de a $% b. Com efeito, se
fosse um ponto de mximo, por exemplo, no intervalo x1 $% x2 contido
em a $% b, sendo x1 x2 , teramos fpx1 q fpq fpx2 q; mas ento,
pela continuidade de fpxq, tomado um valor k compreendido entre o maior
dos nmeros fpx1 q e fpx2 q e o valor mximo fpq, haveria um ponto x 1 entre
x1 e e outro, x 2 , entre e x2 , para os quais a funo tomaria o mesmo valor
k, contra a hiptese de biunivocidade. Da mesma maneira se demonstra que
no h mnimo interno em nenhum intervalo parcial. Logo, em qualquer
intervalo parcial de a $% b o mximo de fpxq est num dos extremos e o

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

91

mnimo no outro. Se a ponto de mnimo para todo o intervalo a $% b,


dados dois pontos quaisquer x1 e x2 deste intervalo, com x1 x2 , como fpaq
tambm mnimo de fpxq em a $% x2 , fpx2 q ser o mximo, donde se deduz
fpx1 q fpx2 q. Se a fosse ponto de mximo, deduziramos analogamente,
para dois pontos quaisquer x1 e x2 com x1 x2 , fpx1 q fpx2 q, logo o
teorema est completamente demonstrado.
20. Continuidade uniforme. Teorema de HEINE. J vimos que uma
funo fpxq definida em um intervalo qualquer contnua num ponto z desse
intervalo quando, dado arbitrariamente 0, pode-se determinar o nmero
0 tal que para todo ponto x satisfazendo condio |x z| se
tenha |fpxq fpzq| . Nesta definio o nmero depende no s de ,
mas tambm de z. Pode acontecer que mudando este ponto seja necessrio
tomar outro valor de e assim por diante. Por exemplo, a funo y 1{x
definida e contnua em todos os pontos do intervalo 0 8, pois fixados
z 0 e 0, basta que se tome menor que o menor dos nmeros z{2 e
z2 {2 para se deduzir de |x z| (e portanto x z{2),

1 1 |z x|
z2

;
x z
xz
2xz

neste caso vemos que o valor de depende essencialmente de z.


Ora, se, dada uma funo fpxq definida em um conjunto C e dado arbitrariamente 0, existe sempre um valor de independente do ponto z tal
que de |x z| se deduza sempre |fpxq fpzq| , a funo fpxq diz-se
uniformemente contnua no campo C.
Esta definio pode tomar outra forma, introduzindo a oscilao da funo em um conjunto parcial. Com efeito, se fpxq satisfaz condio anterior,
como nesta condio x e z entram simetricamente, podemos dizer que fixado
qualquer intervalo de amplitude menor que , a diferena dos valores de fpxq
em dois pontos quaisquer de C que estejam nesse intervalo menor que em
valor absoluto; segue-se daqui que a oscilao da funo em um tal intervalo,
que o extremo superior dessas diferenas, menor ou igual a ; reciprocamente, se esta condio est satisfeita para qualquer intervalo de amplitude
, basta fixar um ponto z de um tal intervalo para se obter a condio anterior (a menos do sinal de igualdade na ltima condio, que se pode mudar
facilmente). Diremos ento que uma funo fpxq uniformemente contnua
em um conjunto C, se dado 0 arbitrrio, possvel determinar um nmero 0 tal que em qualquer intervalo de amplitude , a oscilao de
fpxq nos pontos de C que caem nesse intervalo menor que .

92

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

Podemos agora demonstrar o teorema da continuidade uniforme, tambm chamado teorema de HEINE:
Toda funo contnua em um intervalo fechado a $% b, uniformemente
contnua nesse intervalo.
Este teorema se demonstra facilmente por meio do teorema de BORELLEBESGUE ( 4). Com efeito, seja dado o nmero positivo arbitrrio . Pela
continuidade da funo fpxq, cada ponto x 1 do intervalo a $% b interno
a ao menos um entorno p 1 q de x 1 , no qual a oscilao de fpxq menor
que . Consideremos a famlia F de todos os intervalos x 1 1 x 1 ` 1 ,
que satisfazem a esta condio, para todos os pontos x 1 e a $% b. Pelo
teorema citado, pode-se determinar um nmero finito n desses intervalos
que contm internamente todos os pontos de a $% b. Os extremos desses
intervalos formam um conjunto I com um nmero finito de pontos; seja
um nmero positivo menor que a mnima distncia de dois pontos distintos
quaisquer de I. Qualquer intervalo de amplitude contido em a $% b,
contm no mximo um ponto P de I, e portanto est contido em um dos
n intervalos determinados acima (se esse intervalo contm um ponto P,
ele estar contido no intervalo que contm P, pois as distncias de P aos
extremos deste intervalo so maiores que ). Logo, a oscilao de fpxq em
qualquer intervalo de amplitude sempre menor que , e sendo arbitrrio,
o teorema est demonstrado.
21. Critrio de convergncia de Cauchy. At aqui temos considerado
as propriedades dos limites das funes, nos casos em que esses limites existem, supondo o seu valor conhecido. Mas em muitas questes de Anlise
Matemtica preciso previamente saber se a funo fpxq tem ou no um
limite finito quando x tende a um ponto a, isto , se a funo ou no convergente neste ponto, e para esta pesquisa prvia no podemos introduzir no
raciocnio o valor do limite, que ainda no sabemos nem mesmo se existe.
Desta considerao ressalta a importncia fundamental do seguinte teorema,
ou
CRITRIO DE CONVERGNCIA DE CAUCHY. A condio necessria e
suficiente para que uma funo fpxq tenha um limite finito em um ponto
de acumulao a do seu campo de definio que, dado o nmero 0
arbitrrio, se possa sempre achar em correspondncia um entorno de a tal
que para dois valores quaisquer x 1 e x 2 dentro dele, e distintos de a, se tenha,
para os valores correspondentes da funo
|fpx 1 q fpx 2 q| .

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

93

A verificao desta condio no depende do conhecimento do limite cuja


existncia se trata de provar. Passemos demonstrao.
a) Suponhamos que a funo tenha um limite finito b; podemos ento,
dado positivo arbitrrio, determinar um entorno de a dentro do qual,
para x a, se tenha sempre |fpxq b| {2; tomados ento dois valores
quaisquer de x: x 1 e x 2 dentro de e distintos de a, temos
|fpx 1 q fpx 2 q| |fpx 1 q b| ` |fpx 2 q b|

` ,
2 2

e portanto a condio enunciada necessria.


b) Suponhamos que a condio seja satisfeita; dado um nmero 0
arbitrrio, podemos ento achar um entorno pq de a, dentro do qual se
tenha, sendo x 1 e x 2 valores quaisquer de x distintos de a, |fpx 1 q fpx 2 q|
{2. Fixado o valor de x 1 nesse entorno, teremos, para todos os pontos x a
do mesmo, {2 fpxq fpx 1 q {2, e portanto,
fpxq fpx 1 q `

fpxq fpx 1 q .
2

Sejam agora Lpq e lpq, respectivamente, o extremo superior e o inferior


de fpxq para x a no entorno pq de a. Pelas condies acima, teremos
evidentemente,

Lpq fpx 1 q `
lpq fpx 1 q
2
2
donde, sendo Lpq lpq,
(1)

0 Lpq lpq .

Mas pelas propriedades dos extremos das funes, fcil ver que Lpq
e lpq so funes montonas, a primeira no decrescente, a segunda no
crescente, de para 0. A oscilao pq Lpq lpq portanto
tambm funo montona no decrescente. Mas essas trs funes de so
limitadas ao menos em um entorno de 0, e portanto tm limites finitos para
0, e das desigualdades (1), deduzimos
lim rLpq lpqs lim Lpq lim lpq 0
0

donde
lim Lpq lim lpq b.

Isto quer dizer que dado 0 pode-se achar um nmero 0, tal que
no entorno pq de a se tenha
b lpq Lpq b `

94

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

e como para todo x a desse entorno pq sempre lpq fpxq Lpq,


obtemos finalmente, b fpxq b ` , ou
|fpxq b|
isto ,
lim fpxq b

xa

o que prova que a condio enunciada tambm suficiente.


Este teorema se aplica tambm para o limite esquerda, se a ponto
de acumulao direita, bastando substituir o entorno pq pelo entorno esquerdo a % a de a; igualmente se aplica ao limite direita, assim como
ao caso do ponto de acumulao infinito, para o qual facilmente se adapta a
demonstrao acima.
22. Limite mximo, limite mnimo e oscilao em um ponto. Seja y
fpxq uma funo qualquer definida em um campo linear C e a um ponto
de acumulao de C. O raciocnio que fizemos no pargrafo anterior em
relao s funes Lpq e lpq continua vlido em qualquer caso, se admitirmos que essas funes possam valer ` ou 8, isto , admitindo isto, estas
quantidades so sempre funes montonas de , respectivamente no decrescente e no crescente, e a sua diferena, a oscilao de fpxq no entorno
pq de a, excludo o ponto a, pq Lpqlpq funo no decrescente de
; esta oscilao deve ser considerada infinita quando Lpq 8 ou quanto
lpq 8. Em qualquer caso, temos evidentemente pq 0, e portanto,
chamando L, l e os limites destas funes montonas para 0, temos
0 ou L l.
Os nmeros L, l e chamam-se, respectivamente, limite mximo, limite
mnimo e oscilao de fpxq no ponto a. Considerando somente os pontos
de C esquerda de a, no caso deste ser ponto de acumulao direita,
definem-se analogamente, o limite mximo esquerdo Le e o limite mnimo
esquerdo le de fpxq em a, assim como a oscilao esquerda e ; tambm se
definem os mesmos elementos direita de a, isto , os nmeros Ld , ld e d ,
respectivamente limite mximo e mnimo direito e oscilao direita de fpxq
em a. Se a ponto de acumulao esquerda e direita do campo C, existem
sempre os quatro limites (finitos ou infinitos), Le , le , Ld e ld . Evidentemente,
o maior e o menor dos quatro coincidem, respectivamente, com os limites L
e l definidos atrs.
Verifica-se, por exemplo, que para a funo y ex sen x1 temos no ponto
0, com as notaes anteriores,
Le Ld L 1,

le ld l 1;

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

95

e para a funo
y
e no mesmo ponto 0, temos

1 e1{x
,
p1 sen 1{xq

1
.
2
Pode-se dar outra definio para esses limites. Consideremos os nmeros
M que tm a seguinte propriedade: existe um entorno de a no qual, para
todos os pontos x a, temos fpxq M. Naturalmente, o conjunto dos
nmeros M nesta condio forma uma classe majorante, e fcil ver que
essa classe define exatamente o limite mximo L. Analogamente o limite l
pode ser definido como o extremo superior do conjunto dos nmeros m tais
que exista um entorno de a no qual para x a se tenha sempre fpxq m.
23. Funes com valores complexos. Suponhamos que a cada valor de
x em um campo linear C correspondam, de modo bem determinado, um ou
mais valores complexos Z X ` iY. Diz-se ento que Z funo complexa
de x. Ora, neste caso claro que tanto a parte real X como o coeficiente do
imaginrio Y so funes de x; assim, dar uma funo Z Fpxq com valores
complexos o mesmo que dar duas funes Xpxq e Ypxq com valores reais,
definidas no mesmo campo C. Mas a considerao da funo Fpxq, alm
da vantagem da notao abreviada tem a de admitir a mesma definio de
limite: diz-se que Fpxq tem para limite um nmero complexo Z0 quando x
tende a um ponto de acumulao a de C, se dado 0 arbitrrio, existe em
correspondncia um nmero positivo tal que, sendo |x a| e x a, se
tenha em correspondncia |FpxqZ0 | . No primeiro membro desta ltima
desigualdade intervm o mdulo de um nmero complexo. Mas como as
propriedades da desigualdade para o mdulo so as mesmas que para o valor
absoluto de nmeros reais, facilmente se deduz que para estas funes valem
todos os teoremas sobre limites, com exceo do critrio de confronto, pois
no definimos a desigualdade entre nmeros complexos. Note-se tambm
que o teorema 1 do 13 deve ter aqui o seguinte enunciado: Se Fpxq tem
limite Z0 0 para x a, existe um entorno de a tal que para x nesse
entorno e a, Fpxq constantemente diferente de zero. A demonstrao se
adapta facilmente. V-se tambm que a condio necessria e suficiente para
que se tenha
lim Fpxq Z0 X0 ` iY0
Le le 8,

Ld `8, ld

xa

que se tenha ao mesmo tempo


lim Xpxq X0

xa

lim Ypxq Y0 ,

xa

96

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

o que facilmente se deduz das desigualdades


|X X0 | |Z Z0 |,

|Y Y0 | |Z Z0 |

|Z Z0 | |X X0 | ` |Y Y0 |.
Deduz-se imediatamente que para que a funo Fpxq seja contnua (com
a mesma definio do 12) necessrio e suficiente que o sejam as duas
funes Xpxq e Ypxq.
Entre as funes desse tipo, podem-se assinalar os polinmios e funes
racionais com coeficientes complexos e as funes algbricas, como a funo
definida pela equao
x2 ` y 2 ` 1 0
que para cada valor real de x admite dois valores imaginrios puros
a
y i 1 ` x2 .

Uma das funes mais importantes a funo z ex , com a ` bi,


a e b reais, que se define pela igualdade (vide captulo III, 4):
z eax`bix eax ebix eax pcos bx ` i sen bxq,

em que e o nmero definido no 18. O emprego do mesmo smbolo e para


este nmero e para a indicao da funo ebix , ser justificado no captulo
VI.
24. Funes de varivel complexa. Tambm se podem considerar funes (em geral com valores complexos), definidas em conjuntos de nmeros
complexos, ou de pontos do plano de ARGAND-GAUSS. No captulo VIII
daremos as noes fundamentais sobre conjuntos de pontos no plano. Aqui
podemos antecipar a noo de entorno pq e de ponto de acumulao, que
se definem da mesma maneira que no campo real, substituindo o valor absoluto pelo mdulo; assim, o entorno pq do nmero complexo o conjunto
dos nmeros complexos z que satisfazem desigualdade |z | ; esses
nmeros tm como afixos os pontos do plano que so internos ao crculo de
centro e raio . Toda a teoria dos limites e de funes contnuas, com exceo do critrio de confronto e dos teoremas em que intervm as relaes de
desigualdade entre os valores assumidos pelas funes, se aplica a este caso.
Exerccios e Complementos
1. Demonstrar a seguinte extenso do ltimo teorema do 1: Dada uma
famlia F de conjuntos, e chamando C o conjunto reunio dos conjuntos de
F, o extremo superior de C o extremo superior do conjunto de extremos

EXERCCIOS E COMPLEMENTOS

97

superiores dos conjuntos de F. Um teorema anlogo vale para o extremo


inferior.
2. Se o extremo superior de um conjunto C no mximo, ele ponto de
acumulao direita de C.
3. O conjunto dos nmeros decimais finitos, compreendidos entre 0 e 1,
em cuja representao s entram os algarismos 0 e 5, um conjunto denso
em si, pois todos os seus elementos so pontos de acumulao esquerda.
Os pontos de acumulao direita desse conjunto so os nmeros decimais
infinitos, escritos com os mesmos algarismos 0 e 5.
4. O conjunto dos nmeros reais compreendidos entre 0 e 1, em cuja
representao decimal s entram os algarismos 0 e 5, um conjunto perfeito,
se incluirmos o nmero 0.
5. Achar o conjunto derivado do conjunto de nmeros 1{m ` 1{n, em
que m e n so nmeros naturais.
6. Seja a um nmero positivo irracional. Tomemos para cada nmero
inteiro n o resto por falta, rn , da diviso de n por a, isto a diferena rn
n ma, sendo ma n pm ` 1qa. Mostrar que os nmeros rn formam
um conjunto denso em si, cujo derivado o intervalo 0 $% a (utilizar o teor.
de BOLZANO e o fato que, se r e r 1 so nmeros do conjunto, r r 1 tambm
o , assim como todos os mltiplos menores que a deste ltimo nmero).
7. A definio de funo por meio de grficos a base do conceito de
funo em geral: Consideremos dois conjuntos de entes quaisquer, X e Y (por
exemplo, X e Y sendo o campo dos nmeros reais, ou X - campo dos nmeros
reais e Y - conjunto de todas as curvas de um plano, ou vice-versa, ou X conjunto dos pontos do espao e Y - conjunto dos vetores no espao, etc).
Designa-se com X Y o conjunto dos pares ordenados px, yq, em que x um
elemento do conjunto X e y um elemento do conjunto Y. Um subconjunto
qualquer F desse conjunto X Y, define uma funo y fpxq, cujo campo
de definio o conjunto C dos elementos de X que fazem parte de pares
px, yq pertencentes a F, e que para cada elemento x de C, tem por valores
os elementos y tais que o par px, yq faa parte de F. Este mesmo conjunto F
define a funo inversa x f1 pyq. Na definio dada no 10, X e Y so o
campo real, ou o conjunto de pontos de uma reta, X Y est representado
pelo plano e F uma figura plana qualquer.
8. Determinar o campo de definio das funes:
a) y arcsen log x
a
b) y 4 1 log tg x
c) y log sen 2x

98

IV. CONJUNTOS LINEARES. FUNES E LIMITES NO CAMPO REAL

d) y log arcsenp1 tg xq
(em 8a) e 8d), tome-se para arcsen a funo mondroma definida no 17,
3).
9. Achar o extremo superior do conjunto dos nmeros an sen nc,
sendo c um nmero real fixo e n percorrendo o conjunto dos nmeros inteiros; mostrar que esse conjunto s tem mximo quando {c racional e
que esse mximo s igual a 1 se esse nmero, representado como frao
irredutvel, tem numerador par.
10. Seja y fpxq uma funo definida no campo real absoluto da seguinte maneira: y 1{q para todo x racional p{q (frao irredutvel);
y 0 para todo x irracional. Demonstrar que essa funo contnua nos
pontos irracionais e descontnua nos pontos racionais. (Basta notar que dado
0, o conjunto dos nmeros p{q com 1{q , ou q 1{ no tem nenhum ponto de acumulao finito, logo, se a irracional existe um entorno
de a sem ponto desse conjunto; para todo x desse entorno, racional ou irracional, temos fpxq ).
11. Demonstrar que se fpxq e gpxq so funes definidas em um entorno
de x 0 e se tivermos limx0 fpxq{x p 0 e limx0 gpxq{x q 0,
tomados dois nmeros reais quaisquer e , no nulos, temos
p
fpxq

.
x0 gpxq
q
lim

12. Deduzir dos resultados do 15, os seguintes limites:


a)
1
1 cos x
;
lim
2
x0
2
x
b)
cos x sen x ?
2;
lim

x 4
4 x
c)
arcsen x
arctg x
lim
lim
1.
x0
x0
x
x
13. Aplicar os resultados do 18 aos seguintes clculos dos limites:
a)
loga x
lim
loga e;
x1 x 1
b)
2
1
lim pcos xq2 cot x ;
x0
e
c)
1
2
lim p2 sen xqtg 2x .
e
x 4

EXERCCIOS E COMPLEMENTOS

99

14. Mostrar que a sucesso tp1 ` 1{nqn1 u crescente.


15. Mostrar que a sucesso tp1 ` 1{nqn`1 u decrescente. (Tomar o
quociente do termo geral pelo precedente e aplicar a desigualdade 1 ` 1{n
p1 ` 1{n2 qn ).
16. Uma funo definida num intervalo a $% b diz-se convexa quando,
dados nesse intervalo trs pontos quaisquer x1 , x2 , x3 tais que x1 x2 x3 ,
fpx2 q sempre menor ou igual ao valor da funo linear gpxq determinada
pelas condies gpx1 q fpx1 q e gpx3 q fpx3 q; em outras palavras, quando
qualquer arco da curva y fpxq fica abaixo ou coincide com a corda correspondente. Mostrar que esta condio equivale seguinte desigualdade:


fpx q x 1
1
1



fpx2 q x2 1 0.


fpx3 q x3 1
17. Demonstrar que, quaisquer que sejam as funes ypxq e zpxq, definidas num mesmo conjunto C com ponto de acumulao a, temos (subentendendo os limites para x a)
lim y ` lim z limpy ` zq limpy ` zq lim y ` lim z
limpy zq lim y lim z.
18. Esboar o grfico e determinar os limites mximos e mnimos, tanto
direita como esquerda, no ponto x 0, das seguintes funes:
a)
1
ex sen2
x
b)

1
sen
x 4
c)
cos x1
1 .
2 ex

ndice Remissivo

e, 87
entorno
de um ponto, 19
direito, 19
direito do infinito, 20
do infinito, 20
esquerdo, 19
esquerdo do infinito, 20
simtrico, 19
do infinito, 20
equao binmia, 50

altura de um nmero racional, 64

C
classe
majorante, 8
imprpria, 20
minorante, 7
imprpria, 20
classes contguas, 15
conjunto
contnuo, 14

F
frmula de MOIVRE, 43
funo, 59
algbrica, 62
circular
direta, 63
inversa, 63
contnua, 72
direita em um ponto, 73
esquerda em um ponto, 73
em um ponto, 71
convergente num ponto, 69
crescente, 82
decrescente, 82
descontnua em um ponto, 72
divergente num ponto, 69
exponencial, 63
indeterminada num ponto, 69
inversa, 60
limitada, 66
inferiormente, 66
superiormente, 66

denso, 14
denso em si, 58
discreto, 57
enumervel, 20
fechado, 57
finito, 2
infinito, 3
limitado, 53
limitado inferiormente, 53
limitado superiormente, 53
ordenado, 13
partio de um, 14
perfeito, 58
conjunto derivado, 57
conjunto linear, 53
correspondncia biunvoca, 60
critrio de confronto, 77
Critrio de convergncia de CAUCHY, 92

D
desigualdade de BERNOULLI, 35
101

102

linear, 61
logartmica, 63
mnimo de uma, 66
mximo de uma, 66
mondroma, 59
montona, 82
teorema fundamental, 82
no crescente, 82
no decrescente, 82
oscilao de uma, 66
poldroma, 59
ponto de mnimo de uma, 66
ponto de mximo de uma, 66
racional, 61
inteira, 61
transcendente, 62
elementar, 62
uniformemente contnua, 91
funo exponencial, 32
funo logartmica, 33
funes elementares, 61
G
grfico de uma funo, 61
grandezas comensurveis, 1
I
indicador de GAUSS, 49, 64
infinito, 20
negativo, 20
positivo, 19
intervalo, 18
aberto, 19
fechado, 18
finito, 20
ilimitado, 20
infinito, 20
limitado, 20

NDICE REMISSIVO

limite inferior de um conjunto, 53


limite superior de um conjunto, 53
logaritmo, 33
neperiano, 88
M
mais infinito, 19
menos infinito, 20
N
nmero, 1
decimal exato, 16
finito, 20
inteiro relativo, 5
irracional, 9
racional, 4
real absoluto, 9
nmero complexo, 37
coeficiente do imaginrio, 38
conjugado, 39
forma exponencial, 43
forma trigonomtrica, 42
imaginrio, 37
imaginrio puro, 37
mdulo de um, 40
norma de um, 40
parte imaginria de um, 38
parte real de um, 38
nmeros
incomensurveis, 2
irracionais, 2
racionais, 2, 5
absolutos, 7
relativos, 7
reais, 2
relativos, 11
O
oscilao, 94

L
limite, 67
direita, 70
esquerda, 70
mnimo, 94
mximo, 94
sobre um conjunto parcial, 70

P
partio, 14
polinmio, 61
ponto
finito, 20
ponto de acumulao, 56

NDICE REMISSIVO

direita, 56
esquerda, 56
ponto de WEIERSTRASS, 67
ponto isolado, 56
postulados de PEANO, 2
potncia, 23
potncia irracional, 63
R
raiz de ndice n, 26
raiz primitiva da unidade, 48
S
seco
prpria, 9
racional, 7
sucesso, 65
T
Teorema de BOLZANO, 57
Teorema de BOREL-LEBESGUE, 58
Teorema de HEINE, 92
Teorema de WEIERSTRASS, 66
Teorema fundamental sobre funes
montonas, 82
U
unidade imaginria, 38

103