Académique Documents
Professionnel Documents
Culture Documents
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
Sumrio
Prefcio
1
1
2
3
4
5
7
7
10
11
11
12
13
14
15
15
17
18
19
20
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
96
96
101
CAPTULO I
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
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
a b,
a b.
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.
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.
`
`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
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 .
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
10
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 .
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
. ` `. ;
.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. || || | | || ` ||.
13
14
15
16
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 ;
...
a2 ` 1
an ` 1
a1 ` 1
; a0 , a1 `
; ...
; . . . ; a0 , a1 a2 . . . an1 `
10
10n
102
17
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
19
20
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
CAPTULO II
a1 a
e an`1 an .a
an .ap an`p ,
pan qq anq .
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
amp
23
am
ap
24
(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
1
1
1 1
. p n p n`p anp .
n
a a
a .a
a
25
(1)
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.
aTb
segue-se, respectivamente, an T bn
26
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,
27
?
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.
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
? ?
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.
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
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,
segue-se, respectivamente, ah T bh .
31
ba ba .
Ora, 1 membro desta desigualdade pode-se escrever, como j foi demonstrado para expoentes racionais,
1
ba pba a 1q;
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
32
donde
1
ba`c b` ba `c
pb.dq b .b .
bx a.
33
b1 b.
c by .
Das igualdades
ac bx by bx`y
bx
a
y bxy
c
b
34
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 . . . .
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
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
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
.
c ` di
pc ` diqpc diq
c2 ` d2
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
40
a bi
a bi
a ` bi
b
b
?
. .
|| ||.||.
41
`
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)
|| ` || | ` |
| | || ||.
|| || | | || ` ||.
a0 xn ` a1 xn1 ` ` an1 x ` an 0
42
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.
pcos ` i sen q
pcosp ` q ` i senp ` qq
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,
ei cos ` i sen
44
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
45
11
00
00
11
11
00
00
11
00
11
00
11
11
00
00
11
46
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
` 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)
47
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
48
0 , 1 , 2 , . . . , s , . . . .
49
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
50
axmn ` b 0,
ou
b
xmn .
a
?
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
seja real.
52
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
54
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
55
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
56
,...
2
3 3
4
n
n`1
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
59
1
1
,
3
2
...,
1
1
,
n`1
n1
....
60
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.
61
pa0 0q
a0 xn ` a1 xn1 ` ` an
fpxq
m
m1
pxq
b0 x ` b1 x
` ` bm
pa0 b0 0q.
62
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;
f1 pxq
;
1 pxq
?
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
63
yx
?
2
y xe
x
px sen yq
y arccos x
px cos yq
y arctg x
px tg yq.
64
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.
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
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
67
68
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
69
Dizemos que
lim y b
x8
(finito)
xa
x8
1
|b1 b2 |
2
|y b2 |
1
|b1 b2 |,
2
70
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
lim fpxq
xa
ou
fpaq.
lim fpxq
xa`
ou
fpa`q
71
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`
x0`
x1
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
73
xx0
ou
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)
xa
(2)
xa
xa
xa
xa
xa
xa
lim y2 b2 .
xa
74
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
lim y k,
xa
donde
lim ky k lim y
xa
e se k 1,
xa
xa
xa
xa
xa
75
lim
xa
1
1
.
y
b
1 1 |b y|
1
m2 . 2
y b
|b|.|y|
m
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
|yz| |y|.|z| K
K
76
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
lim
xa pDq
f pxptqq b.
|fpxptqq b|
77
lim fpxptqq b.
ta
ta
xa
segue-se daqui,
lim y lim ru ` py uqs lim u ` lim py uq lim u
xa
xa
xa
xa
xa
xa
78
a0 xn ` ` an
b0 x m ` ` bm
pa0 , b0 0q
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
79
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
x1
t1
lim t 1
xa
(1)
xa
xa
xa
1
1
a
x
a
80
&8, se 0
lim x 1, se 0
x`8
%
0, se 0.
xa
xa
lim tg x 8.
xa`
xb
lim cot x `8
xb`
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.
1
1
;
x
sen x
sen x
1.
x
Daqui se deduz
lim
x0
sen x
1
tg x
lim
1,
x0 x
x
cos x
82
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,
xa
xa
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.
83
xa
xa
84
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
yb
yb`
xa`
yb`
e se y decrescente,
lim x a.
yb
85
yb
yb`
x8
lim bx `8.
x`8
xa
x0`
x`8
86
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
87
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 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
x8
88
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
x
x
x
1
1
lim 1 `
1` x
lim 1 ` x
e
lim
x8
x8
x8
x
px 0q.
(5)
lim
x0
logp1 ` tq
log a
ax 1
t. log a
log a
lim
x0
t0 logp1 ` tq
x
limt0 logp1 ` tq1{t
lim
89
e como
lim logp1 ` tq1{t log lim p1 ` tq1{t
t0
t0
90
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
91
1 1 |z x|
z2
;
x z
xz
2xz
92
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| .
93
` ,
2 2
fpxq fpx 1 q .
2
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
xa
le ld l 1;
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
xa
lim Ypxq Y0 ,
xa
96
|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 .
EXERCCIOS E COMPLEMENTOS
97
98
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
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
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
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
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