D I S C I P L I N A

Anlise Real

Nmeros reais
Autores

Andr Gustavo Campos Pereira

Viviane Simioli Medeiros Campos

aula

03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___

Nome:______________________________________

Governo Federal
Presidente da Repblica
Luiz Incio Lula da Silva
Ministro da Educao
Fernando Haddad
Secretrio de Educao a Distncia SEED
Carlos Eduardo Bielschowsky

Reitor
Jos Ivonildo do Rgo
Vice-Reitora
ngela Maria Paiva Cruz
Secretria de Educao a Distncia
Vera Lucia do Amaral

Secretaria de Educao a Distncia SEDIS

Coordenadora da Produo dos Materiais
Vera Lucia do Amaral
Coordenador de Edio
Ary Sergio Braga Olinisky

Arte e Ilustrao
Adauto Harley
Carolina Costa
Heinkel Hugenin
Leonardo Feitoza

Projeto Grco
Ivana Lima

Diagramadores
Joacy Guilherme de A. F. Filho

Revisora de Estrutura e Linguagem

Jos Antonio Bezerra Junior

Thalyta Mabel Nobre Barbosa

Adaptao para Mdulo Matemtico
Revisoras Tipogrcas

Joacy Guilherme de A. F. Filho

Adriana Rodrigues Gomes

Margareth Pereira Dias
Nouraide Queiroz

Diviso de Servios Tcnicos

Catalogao da publicao na Fonte. UFRN/Biblioteca Central Zila Mamede

Pereira, Andr Gustavo Campos.

Anlise real / Andr Gustavo Campos Pereira, Viviane Simiolli de Medeiros
Campos. Natal, RN: EDUFRN, 2009.
196 p.
ISBN:
Contedo: Aula 01 Revisando a linguagem matemtica e o conceito
de funes; Aula 02 Conjuntos nitos e enumerveis; Aula 03 Nmeros reais;
Aula 04 Sequncias de nmeros reais; Aula 05 Desigualdades, operaes com
sequncias e limites innitos; Aula 06 Sries numricas; Aula 07 Limite de funes;
Aula 08 Funes contnuas; Aula 09 Funes derivveis; Aula 10 Mximos e mnimos.
1. Anlise matemtica. 2. Enumerabilidade. 3. Limite. 4. Continuidade. 5.
Derivadas. I. Campos, Viviane Simiolli de Medeiros. II. Ttulo.

RN/UF/BCZM

2009/66

CDD 515
CDU 517

Todos os direitos reservados. Nenhuma parte deste material pode ser utilizada ou reproduzida
sem a autorizao expressa da UFRN - Universidade Federal do Rio Grande do Norte.

VERSO DO PROFESSOR

Apresentao
a aula 02 - Conjuntos Finitos e Enumerveis estudamos vrias propriedades dos
conjuntos , e , por exemplo, que eles so innitos e enumerveis. Nesta aula
iremos estudar o conjunto dos nmeros reais . Vamos entender o que signica
ser um corpo ordenado completo. Ser que , e
tambm so corpos ordenados
completos? E innito e enumervel? Resumindo, qual a diferena e qual a relao entre
esses conjuntos?

Objetivos
Esperamos que ao nal desta aula voc seja capaz
de argumentar o que signica ser um corpo ser
ordenado completo. Saiba demonstrar e aplicar algumas propriedades dos nmeros reais bem como

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

Denies e operaes
No conjunto dos nmeros reais, que indicaremos por
aes:

1. Adio: Que a cada par de elementos x, y

faz corresponder x + y

2. Multiplicao: Que a cada par de elementos x, y

E estas operaes denidas em

faz corresponder x.y

satisfaam aos seguintes axiomas:

Associatividade: Para quaisquer x, y, z

tem-se:

(x + y) + z = x + (y + z)

Elementos neutros: Existem em

esto denidas duas oper-

(xy)z = x(yz);

dois elementos distintos 0 e 1 tais que:

x+0=x

Comutatividade: Para quaisquer x, y

, tem-se:

x+y =y+x

x.1 = x;

x.y = y.x;

Inversos: Todo x possui inverso aditivo x tais que x + (x) = 0 e se x = 0,

existe tambm um inverso multiplicativo x1 tal que x.x1 = 1.
Distributividade: Para quaisquer x, y, z

, tem-se x(y + z) = xy + xz.

A todo conjunto que tem bem denida estas duas operaes satisfazendo todas as propriedades acima chamamos de corpo, sendo assim, um corpo.

Atividade 1
Verique se no conjunto dos nmeros naturais as operaes de adio e multiplicao
esto bem denidas e conclua se N um corpo ou no.

Atividade 2
Verique se o conjunto dos nmeros inteiros Z um corpo.

Atividade 3
Verique se o conjunto dos nmeros racionais Q um corpo.

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Vamos demonstrar, nos exemplos a seguir, usando o fato de que
propriedades dos nmeros reais, todas conhecidas e muito utilizadas.

um corpo, vrias

Exemplo 1
Mostre que x.0 = 0, x

Seja x . Temos x = x.1, pela existncia do elemento neutro na multiplicao, e

x.1 = x(1 + 0), pela existncia do elemento neutro na adio. Pela distributividade, temos
x(1 + 0) = x.1 + x.0 = x + x.0 x = x + x.0. Somando (x) em ambos os membros,
temos x + (x) = x + (x) + x.0 0 = x.0. Logo, x.0 = 0, x .

Exemplo 2
Mostre que se xy = 0, ento ou x = 0 ou y = 0.
Suponhamos y = 0. Assim, y 1

tal que yy 1 = 1. Logo,

xy = 0 (xy)y 1 = 0y 1 x(yy 1 ) = 0 x = 0.
O caso anlogo para x = 0.
A soma x + (y) ser indicada por x y e chamada diferena entre x e y. Se y = 0,
o produto xy 1 ser representado por xy e chamado quociente de x por y.
A operao que a cada par x, y associa xy ser chamada subtrao, e a operao
x
que a cada par x , y {0} associa ser chamada diviso.
y

Observao 1
Note que

x
x
s far sentido se y = 0, pois = xy 1 , e s existe y 1 para y = 0.
y
y

Exemplo 3
Mostre que o inverso aditivo de um nmero real nico.
Suponha que x
x + z = 0. Assim,

possua dois inversos aditivos y, z

. Logo, x + y = 0 e

x + y = 0 = x + z (x + y) + y = (x + z) + y
0 + y = (x + y) + z = 0 + z
y = z.
o elemento inverso aditivo nico.

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

Exemplo 4
Mostre que o inverso multiplicativo de um nmero real nico.
Seja x

, x = 0 e y, z

tais que xy = 1 e xz = 1. Assim,

xy = xz (xy)y = (xz)y y = xyz = z.

o elemento inverso multiplicativo nico.

Exemplo 5
Mostre que x(y) = (xy).
xy + x(y) = x(y + (y)) = x0 = 0, ou seja, xy + x(y) = 0. Logo, pela unicidade
do elemento inverso, temos x(y) = (xy).

Exemplo 6
Mostre que (x) = x.
Note que (x) o inverso aditivo de x. Como x + x = 0, temos x = (x),
pela unicidade do inverso aditivo.

Exemplo 7
Mostre que x = y x = y.
Inicialmente, mostremos que x = y x = y.
x + (x) = 0 y + (x) = 0 y + (y) + (x) = 0 + (y) x = y.
Para mostrar que x = y x = y, basta observar que
x = y (x) = (y) x = y.

Exemplo 8
Mostre que (x y)(x + y) = x2 y 2 .
x2 y 2 = xx yy = xx + xy xy yy = x(x y) + y(x y) = (x y)(x + y).

Exemplo 9
Mostre que se x2 = y 2 , ento x = y ou x = y.
x2 + (y 2 ) = y 2 + (y 2 ) = 0 x2 y 2 = 0 (x y)(x + y) = 0.
Disso, temos (x y) = 0 x = y ou (x + y) = 0 x = y.

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Ordenao
No conjunto dos nmeros reais existe um subconjunto, que denotaremos por
conjunto dos nmeros reais positivos que cumpre as seguintes condies:

chama

i. A soma e o produto de nmeros reais positivos so positivos, ou seja, se x, y

ento x + y + e xy + .
ii. Dado x

+,

, exatamente uma das trs situaes abaixo ocorre:

1. x = 0;
+;

2. x
3. x

+.

Indicando = {x |x + } = {x | x + }, pela propriedade 2 temos

= + {0}, e essa unio disjunta. chamado conjunto dos nmeros reais
negativos, ou seja, os nmeros y so chamados nmeros reais negativos.

Exemplo 10
Mostre que todo nmero real x = 0 tem quadrado positivo.
x

{0} x

ou x

Se x

+,

ento x.x

+,

Se x

ento x

Garantida a existncia de

+,

ou seja, x2

+.

e, conseqentemente, (x)(x) = x.x = x2

temos bem denida em

+.

a seguinte relao de ordem:

Dizemos que x menor que y e escrevemos x < y quando x y + , isto , quando

existe z + tal que y = x + z; neste caso, escreveremos tambm y > x e dizemos que y
maior que x.
Em particular,x > 0 signica que existe z + tal que x = 0 + z = z + ,
isto , se x > 0, ento x positivo, enquanto x < 0 signica que z + tal que
0 = x + z 0 + (z) = x + z + (z) z = x + (z + (z)) = x + 0 = x, isto , se
x < 0, ento x negativo.
Valem as seguintes propriedades da relao de ordem x < y em :

Transitividade: Se x < y e y < z, ento x < z.

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

Tricotomia: Dados x, y
x < y ou x > y.

, ocorre exatamente uma das seguintes alternativas: x = y,

Monotonicidade da adio: Se x < y, ento, para todo z

, tem-se x + z < y + z.

Monotonicidade da multiplicao: Se x < y, ento, para todo nmero real z > 0, tem-se
xz < yz; porm, se z < 0, tem-se xz > yz.

Vamos demonstrar duas dessas propriedades:

Monotonicidade da adio
Demonstrao
Se x < y, ento, para todo z
Hiptese: x < y w
Tese: z

, tem-se x + z < y + z.

tal que y = x + w.

x + z < y + z z 

tal que y + z < x + z + z  .

Por hiptese, temos x < y, ou seja, w + tal que y = x + w. Assim, y + z =

x + w + z y + z = x + z + w x + z < y + z.

Monotonicidade da multiplicao
Demonstrao
Se x < y, ento, para todo nmero real z > 0, tem-se xz < yz; porm, se z < 0,
tem-se xz > yz.

Caso 1: z > 0.
Hipteses: x < y e z > 0.
Tese: xz < yz.
De x < y, existe w + tal que y = x + w, e de z > 0, existe p + tais
que z = 0 + p. Assim, y x + e z + , que implicam z(y x) + , isto ,
zy zx + zy zx > 0 zy > zx.

Caso 2: z < 0.
Hipteses: x < y e z < 0.
Tese: xz > yz.
De x < y e z > 0, temos y x R+ e z
yz + xz + xz yz + xz > yz.

Aula 03

(y x)(z)

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Atividade 4
Mostre que a relao de ordem x < y transitiva.

Atividade 5
Mostre que vale a tricotomia da relao de ordem x < y.

Exemplo 11
Mostre que se x < x e y < y  , ento x + y < x + y  .
De x < x e y < y  , temos x x
x x + y  y

e y y

+.

x + y  (x + y)

Assim,

x + y  > x + y.

Exemplo 12
Mostre que se 0 < x < x e 0 < y < y  , ento xy < x y  .
Por hiptese, temos as seguintes informaes:
De x + e y  y
temos y  (x x) + . Logo,

+,

temos x(y  y)

x(y  y) + y  (x x)

+,

e de y 

e x x

xy  xy + y  x y  x
y  x xy

+,

y  x > xy.

Exemplo 13
1
> 0.
x
Sabemos que x > 0 x = 0 x2
Mostre que se x > 0, ento

x1 = 1.x1 = xx1 x1 = x(x1 )2

Atividade 6
Mostre que se x < 0, ento

+.
+

Assim,

x2

1
> 0.
x

1
< 0.
x

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

Exemplo 14
Mostre que se 0 < x < y, ento 0 <
y 1

1
1
< .
y
x

De x > 0, temos x1 > 0, ou seja, x1

+ . Assim, x1 y 1 + .

+.

Analogamente, de y > 0, temos

Como x < y, por hiptese, temos:

x(x1 y 1 ) < y(x1 y 1 ) (xx1 )y 1 < (yy 1 )x1 y 1 < x1 .

Vamos mostrar que o conjunto dos nmeros reais

cos conhecidos.

contm outros conjuntos numri-

O exemplo 10 arma que o quadrado de qualquer nmero real diferente de zero positivo portanto 1 = 12 + , ou seja, 1 positivo. Note que 1 < 1 + 1 < 1 + 1 + 1 < ,
ou seja, 1 + 1 + , 1 + 1 + 1 + ,... , e podemos concluir que + . Mas + ,
portanto .
Sabemos que 0 e acabamos de ver que todo nmero natural um nmero real, ou
seja, n implica em n . Como um corpo, temos que n possui um inverso aditivo
n e podemos concluir que .
m

| m , n {0} . Acabamos de
Tambm podemos armar que =
n
ver que todo nmero inteiro tambm um nmero real, portanto, m . Como n {0},
m
ento n {0}; assim, n1 e mn1 o que implica em
. Logo, para
n
m
todo q =
, temos q , isto , .
n
Com isso, conclumos que

. Mais adiante veremos que

Exemplo 15
Desigualdade de Bernoulli
Para todo nmero real x 1 e todo n

, tem-se (1 + x)n 1 + nx.

Seja x um nmero real qualquer tal que x 1, ou seja, x = 1 ou x > 1.

Inicialmente, mostremos por induo que, para x = 1, a desigualdade verdadeira,

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
isto , para todo n

, tem-se:
(1 + (1))n 1 + n(1) 0 1 n.

Para n = 1, temos 1 1 = 0 0, isto , a desigualdade verdadeira. Suponhamos

que para n = k a desigualdade verdadeira, ou seja, 0 1 k. Para n = k + 1, temos:
1 (k + 1) = 1 k 1 < 1 k 0 1 (k + 1) 0.
Logo, a desigualdade tambm vale para n = k + 1 e, portanto, 0 1 n, n

Agora, mostremos a desigualdade para x > 1, tambm por induo.

Para n = 1, temos (1 + x)1 = 1 + x = 1 + 1.x, ou seja, a desigualdade vlida.
Suponhamos que a desigualdade vlida para n = k, isto , (1 + x)k 1 + kx. Para
n = k + 1, temos:
(1 + x)k+1 = (1 + x)k (1 + x) (1 + kx)(1 + x)
= 1 + x + kx + kx2 = 1 + (k + 1)x + kx2
> 1 + (k + 1)x.
Logo, (1 + x)k+1 1 + (k + 1)x, ou seja, a desigualdade tambm vlida para
n = k + 1. Assim, para x > 1, tem-se (1 + x)n 1 + nx, n .
Portanto, conclumos que
(1 + x)n 1 + nx, n

, x 1.

Agora que sabemos o que signicam x > 0 e x < 0, podemos denir o valor absoluto
(ou mdulo) de um nmero real:

se x > 0;
x,
|x| =
0,
se x = 0;

x, se x < 0.
Note que |x| = max{x, x}, pois:

a. se x > 0, ento x < 0 e max{x, x} = x = |x|;

b. se x < 0, ento x > 0 e max{x, x} = x = |x|;
c. se x = 0, ento x = 0 e max{x, x} = 0 = |0|.

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

Proposio 1
Para x

, tem-se |x| x |x|.

Demonstrao
De |x| = max{x, x}, temos:
|x| x e |x| x |x| x e |x| x |x| x |x|.

Exemplo 16
|x| o nico nmero maior que ou igual a zero tal que |x|2 = x2 .
Que |x| 0 segue da denio. Para mostrar que |x|2 = x2 , basta observar que

|x|2 = |x||x| =

xx,
se x 0;
x(x), se x < 0.

De qualquer maneira, temos |x|2 = x2 , x

Agora, suponha que exista y 0, tal que y 2 = x2 . Logo,

y 2 = x2 y 2 = x2 = |x|2 y 2 = |x|2 y = |x| ou y = |x|.
No pode ocorrer y = |x| 0 (para y = 0) pois y 0. Portanto, y = |x|, ou seja,
|x| o nico nmero maior que ou igual a zero tal que |x|2 = x2 .

Atividade 7
Mostre que se x, y 0 e x2 = y 2 , ento x = y.

Teorema 1
Se x, y

, ento |x + y| |x| + |y| e |xy| = |x||y|.

Demonstrao
Sejam x, y . Sabemos que |x| = max{x, x} |x| x e que |y| = max{y, y}
|y| y. Assim, |x| + |y| x + y. De modo anlogo, temos |x| x e |y| y, e tambm
|x| + |y| x y = (x + y). Logo,
|x| + |y| x + y e |x| + |y| (x + y) |x| + |y| max{x + y, (x + y)} = |x + y|.

10

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Agora, vamos mostrar que |xy| = |x||y|. Note que |x| 0 e |y| 0 |x||y| 0 e
que |xy| 0. Sabemos tambm que:
|xy|2 = (xy)2 = (xy)(xy) = x2 y 2 = |x|2 |y|2 = (|x||y|)2 |xy| = |x||y|.

Teorema 2
Sejam a, x

+.

Tem-se:

|x a| < a < x < a + .

Demonstrao
Parte 1. |x a| < a < x < a + .
Hipteses: a, x

e |x a| < .

Tese: a < x < a + .

Da hiptese, temos:
|x a| < max{x a, (x a)} <
x a < e (x a) <
x a < e x a >
x<+aex>a
a < x < a + .

Parte 2. a < x < a + |x a| < .

Hipteses: a, x

e a < x < a + .

Tese: |x a| < .
Da hiptese, temos:
a <x<a+ a <xex<a+
x a > e x a <
(x a) < e x a <
max{x a, (x a)} <
|x a| < .

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

11

VERSO DO PROFESSOR

Atividade 8
Mostre que se a, x

+,

ento

|x a| > x < a ou x > a + .

Usaremos as seguintes notaes para representar tipos especiais de conjuntos de nmer
reais chamados intervalos:

1. [a, b] = {x

|a x b}.

2. (a, b] = {x

|a < x b}.

3. [a, b) = {x

|a x < b}.

4. (a, b) = {x

|a < x < b}.

5. (, b] = {x

|x b}.

6. (, b) = {x

|x < b}.

7. [a, +) = {x

|x a}.

8. (a, +) = {x

|x > a}.

9. (, +) =

Os intervalos 1, 2, 3 e 4 so limitados com extremos a e b: [a, b] um intervalo fechado,

[a, b) fechado esquerda e aberto direita, (a, b] fechado direita e aberto esquerda, e
(a, b) aberto. Os intervalos 5, 6, 7, 8 e 9 so ilimitados. Quando a = b, o intervalo fechado
[a, b] = {a} chamado intervalo degenerado.
Com relao aos intervalos, o teorema 2 diz que x fatisfaz |x a| < se, e somente
se, x satisfaz a < x < a + , ou seja, x (a , a + ).

Interpretao geomtrica de
Imagine

como uma reta e cada elemento x

como um ponto desta reta.

12

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Vimos que
= + {0}, que x > 0 x + e x < 0 x .
Utilizaremos a relao de ordem para representar os pontos na reta, dizendo que x < y
signica que a posio ocupada por y direita de x. Assim, os intervalos so segmentos
dessa reta e |y x| representa a distncia do ponto x ao ponto y.

distncia = |y-x|
x

Atividade 9
Mostre que se a distncia de x a y , ento a distncia de x a y tambm . Como
corolrio, conclua que a distncia de x a 0 a mesma que de x a 0.
Pelo teorema 2, temos que x (a , a + ) equivalente a |x a| < , ou seja, o
intervalo (a , a + ) formado pelos elementos cuja distncia at a menor que .

|x-a|

a s

a +s

|(a +) a| = |s| = s

At o momento, vimos que quaisquer que sejam x, y , temos x < y, x > y ou

x = y. A um corpo com esta propriedade chamamos corpo ordenado, isto , somos capazes de dizer quem maior que quem. Em outras palavras, existe uma relao de ordem
bem denida entre seus elementos.

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

13

Atividade 10
Podemos concluir que

O conjunto

um corpo ordenado?

um corpo ordenado completo

Quando estudamos os nmeros naturais vimos que X limitado se existe b

tal que x b, para todo x X. No nos preocupvamos, at ento, com a parte inferior, j
que o 1 o menor elemento de e, portanto, 1 x, para todo x X . No conjunto
no existe um menor elemento, pois se x , ento x 1 e x 1 < x (pois existe
1 + tal que x = x 1 + 1).

Atividade 11
Mostre que no existe y
Para falar de limitao em
inferior.

tal que x y, x

, precisamos falar de dois tipos de limitao: superior e

Dizemos que X limitado superiormente se existe b

Neste caso, b dito ser uma cota superior de X.

tal que b x, x X.

Exemplo 17
O conjunto X = (, 7) limitado superiormente?
Sim, pois existe 8 tal que x 8, x X. Logo, 8 cota superior de X. Note que
10 tambm cota superior de X, j que x 10, x X.

Atividade 12
Seja X
limitado superiormente. Mostre que se b cota superior de X, ento
qualquer nmero real c b tambm cota superior de X.
Se c cota superior de X , ento podemos armar que qualquer nmero real b < c
tambm cota superior de X? No! Considere X = (, 4] = {x |x 4}. O nmero
4 cota superior de x, mas 2 < 4 no cota superior de X, pois existe 3 X tal que 2 < 3.

14

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Denio 1
Seja X limitado superiormente e no-vazio. Chama-se supremo de X ao nmero
b que a menor das cotas superiores de X, e denota-se b = sup X. Mais explicitamente:

S1. b cota superior de X, ou seja, para todo x X, tem-se x b.

S2. Se c tal que x c, x X, ento b c. Isso signica que qualquer outra cota
superior de X , obrigatoriamente, maior que ou igual a b.

Podemos escrever a condio S2 da seguinte maneira:

S2 . Se d < b, ento d no cota superior de X, ou seja, existe x X tal que x > d. Isso
signica que nenhum nmero menor que b pode ser cota superior de X.
Podemos ainda reescrever S2 da seguinte maneira:

S2 . Qualquer que seja > 0, b no mais cota superior de X, ou seja, x X tal que
x > b .
Dizer que completo signica dizer que todo subconjunto X de
mente possui supremo.

limitado superior-

Exemplo 18
Considere X = (, 4]. Encontre b = sup X.
Note que X = e X limitado superiormente, pois existe 10
X. Mostremos que b = 4 satisfaz S1 e S2.

tal que x 10, x

Para todo x X, temos x 4. Assim, 4 cota superior de X, isto , 4 satisfaz S1.

Seja c tal que c x, x X. Temos c 4, pois 4 X. Logo, c b, isto , c satisfaz
S2. Portanto, b = 4 = sup X.
Podemos tambm mostrar que 4 satisfaz S2 e S2 , e o faremos a seguir.
d+4
Seja d < 4 e considere x =
. Assim, d < x < 4 e x X. Como d < 4 foi
2
qualquer, para todo d < 4 existe x X tal que x > d. Logo, 4 satisfaz S2.

Seja > 0. Tome x = 4 . Note que:

2
>0

> 0 4 < 4 4 X.
2
2
2

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

15

Tambm:
>

< 4 < 4 = x.
2
2
2

Logo, 4 no mais cota superior de X.

Como > 0 tomado foi qualquer, 4 no mais cota superior de X, para todo > 0.
Portanto, 4 satisfaz S2 .

Atividade 13
Seja X = (1, 2) (2, 4] [7, 9]. Encontre b = sup X.
Dizemos que X
limitado inferiormente se existe d
x X, tem-se d x. Neste caso, d dito ser uma cota inferior de X.

tal que, para todo

Se d cota inferior de X , ento qualquer nmero real c d tambm cota

inferior de X. De fato, temos d x, x X. Como c d, por transitividade, temos
c d x, x X. Logo, c cota inferior de X. Porm, no podemos armar que
qualquer nmero real c > d cota inferior de X. De fato, considereX = (0, ). 1 cota
1
1
inferior de X, mas 1 > 1 no cota inferior de X, pois existe X tal que < 1.
2
2

Denio 2
Seja X
limitado inferiormente e no-vazio. Chama-se nmo de X ao nmero
d que a maior das cotas inferiores de X, e denota-se d = inf X. Em outras palavras,
ao nmero d que satisfaz:

I1. d cota inferior de X, ou seja, para todo x X, tem-se d x.

I2. Se c tal que c x, x X, ento c d. Isso signica que qualquer outra cota
inferior de X , obrigatoriamente, menor que ou igual a d.

Podemos escrever a condio I2 da seguinte maneira:

I2 . Se c > d, ento c no cota inferior de X, ou seja, existe x X tal que x < c. Isso
signica que nenhum nmero maior que d pode ser cota inferior de X.
Podemos ainda reescrever I2 da seguinte maneira:

I2 . Qualquer que seja > 0, d + no mais cota inferior de X, ou seja, x X tal que
x < d + .

16

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Exemplo 19
Seja X = (3, 7). Encontre d = inf X.
d = 3 cota inferior de X, pois x X x > 3 x d, x X. Agora
vamos mostrar que 3 a maior das cotas inferiores de X. Seja c uma cota inferior de X,
ou seja, c x, x X. Temos duas possibilidades para tal c: ou c 3 ou c > 3. Caso
ocorresse c > 3 (c 7), teramos:
3 <

c + (3)
c + (3)
<cx=
X e x < c,
2
2

isto , c no seria cota inferior de X. Logo, c 3 e, portanto, d = 3 = inf X.

Atividade 14
Mostre que se X limitado superiormente, ento X = {y
inferiormente.

| y X} limitado

Atividade 15
Mostre que se b = sup X, ento b = inf(X).
Os prximos teoremas 3 e 4 a seguir sero utilizados no teorema 5, o qual garante que
no enumervel.

Teorema 3
So verdadeiras as seguintes armaes:

1.

no limitado superiormente;

1
|n
, ento inf X = 0;
2. Se X =
n

3. Dados a, b

+,

existe n

tal que na > b.

Demonstrao
Item 1.
Hiptese:

Tese: no existe cota superior para

Demostraremos este item por contradio.

Tese: existe cota superior para

, isto , c

tal que n c, n

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

17

Sabemos que
= e
. Logo, pela completude de , existe d tal que
d = sup . Assim, d 1 no supremo de , ou seja, x tal que x > d 1. Pela
monotonicidade de > , temos x + 1 > d 1 + 1 = d, o que absurdo, pois x + 1
pelos axiomas de Peano (x + 1 o sucessor de x).
Portanto,

Item 2.

ilimitado superiormente.

Hiptese: X =

1
,n
n

1 1
1, , , ... .
2 3

Tese: inf X = 0.
Inicialmente, devemos mostrar que 0 cota inferior de X. Sabemos que n > 0, n
1
> 0, n x > 0, x X. Logo, 0 cota inferior de X.
n
Agora, mostremos que para todo c > 0, c no cota inferior de X. Dado c > 0, temos
1
1
> 0, isto no cota superior de , pois ilimitado superiormente. Assim,
c
c
n
ou seja, existe x X, x =

tal que n >

1
1
1
nn1 c > n1 c c > ,
c
c
n

1
, tal que x < c. Logo, c no cota inferior de X.
n

Como c > 0 tomado foi qualquer, temos que, para todo c > 0, c no cota inferior de
X. Portanto, inf X = 0.

Item 3.
Hiptese: a, b
Tese: existe n

+.

tal que na > b.

Dados a, b + , temos a1 , b1 + . Tambm a1 b + e a1 b no cota

superior de , pois ilimitado superiormente. Assim, n tal que n > a1 b, isto ,
na > a1 ba, que implica na > b.

Atividade 16
Demostre a equivalncia entre os itens do teorema anterior, ou seja, mostre que 1 implica 2, 2 implica 3 e 3 implica 1.

18

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Teorema 4
Intervalos encaixados
Dada uma seqncia decrescente I1 I2 de intervalos fechados [an , bn ] = In ,

ento existe pelo menos um nmero real e tal que e In , n , isto , e
In .
n

Demonstrao
Hiptese: I1 I2 .
Tese: e

tal que e In , n

, ou equivalentemente, e

tal que e

In .

I1 I2 [a1 , b1 ] [a2 , b2 ] a1 a2 e b1 b2 .
Ser que aj bk , j, k ? Note que aj > bk no ocorre para nenhum j, k .
Caso ocorresse, teramos j > k, pois para j k temos a1 a2 aj ak bk .
Entretanto, se aj > bk para algum j > k, ento bj aj bk , e isso absurdo, pois da
hiptese temos bj bk b2 b1 . Logo, aj bk , j, k .
Considerando X = {bj |j }, temos X = , X
Assim, e tal que e = inf X.

e X limitado inferiormente.

Considerando Y = {aj |j }, temos Y = , Y

Assim, f tal que f = sup Y .

e X limitado superiormente.

Note que f e, pois como j vimos aj bk , j, k . Fixando j, temos aj

bk , k . Logo, aj cota inferior de X aj e = inf X. Note tambm que isso vale
para todo j , ou seja, aj e, j . Logo, e cota superior de Y sup Y = f e.
Observe que [f, e]

In . De fato,

x [f, e] f x e
aj sup Y = f x, j

, e

x e = inf X bj , j
aj x bj , j
x [aj , bj ], j

x
In .
n

Note que [f, e] = , pois no mnimo [f, e] = {e} um intervalo degenerado. Portanto,
e tal que e In , n .

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

19

Teorema 5
no enumervel.

Demonstrao
Mostraremos que no existe uma funo f :
f : bijetiva.
Hiptese: f :

sobrejetiva e, conseqentemente,

uma funo.

Tese: f no sobrejetiva.
De fato, considerando f (1) , podemos construir um intervalo [a1 , b1 ] tal que
/ I1 ou f (2) I1 .
f (1)
/ [a1 , b1 ] = I1 . Para f (2), temos duas prossibilidades: f (2)
Se f (2)
/ I1 , temos I2 = I1 .
Se f (2) I1 , temos:


a1 + f (1)

, se f (2) = a1 ;
a1 ,
2


[a2 , b2 ] = I2 =
f (1) + b1

, b1 , se f (2) = a1 .

2
Para f (3), tambm temos duas possibilidades: f (3)
/ I2 ou f (3) I2 .
Se f (3)
/ I2 , temos I3 = I2 .
Se f (3) I2 , temos:


a2 + f (2)

, se f (3) = a2 ;
a2 ,
2


[a3 , b3 ] = I3 =
f (2) + b2

, b2 , se f (3) = a2 .

2
Note que I1 I2 I3 . Logo, existe x

In . Se x In , ento

f (1), f (2), ..., f (n)
/ In e, conseqentemente, f (1), f (2), ..., f (n) = x. Como x
In ,
n

temos x = f (n), n

. Portanto, f no sobrejetiva, demonstrando o teorema.

O prximo resultado nos d uma innidade de exemplos de conjuntos no enumerveis.

20

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Corolrio 1
Todo intervalo no-degenerado no-enumervel.

Demonstrao
Hiptese: I um intervalo no-degenerado, isto , I = {c}.
Tese: I no-enumervel.
Sabemos que se X enumervel e Y X, ento Y enumervel. Assim, se Y X
no-enumervel, ento X no-enumervel. Tambm,
I no-degenerado a, b I, a < b tais que (a, b) I.
Considere

: (1, 1) (a, b)
1
x

[(b a)x + a + b]
2

Note que bijetiva.

Considere tambm

(1, 1)
x
x 
1 + |x|

Vamos mostrar que bijetiva.

Note que x > 0 > y (x) > (0) > (y). Considere, agora, (x) = (y) (x e y
tem o mesmo sinal e x, y = 0).
Se x, y > 0, temos:
x
y
=
x(1 + |y|) = y(1 + |x|)
1 + |x|
1 + |y|
x + x|y| = y + y|x| x + xy = y + yx

(x) = (y)

x = y.
Se x, y < 0, temos:
x
y
=
x(1 + |y|) = y(1 + |x|)
1 + |x|
1 + |y|
x + x|y| = y + y|x| x xy = y yx

(x) = (y)

x = y.
Logo, injetiva.

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

21

Para mostrar a sobrejetividade de , devemos mostrar que y (1, 1), x

que (x) = y.

tal

0
= (0) = 0 = y.
10

Se y = 0, ento existe 0

tal que

Se y > 0, procuremos x

, x > 0 tal que (x) = y. Assim,

x
= y x = (1 + x)y x = y + xy
1+x
y
x xy = y x =
.
1y

x
=y
1 + |x|

Se y < 0, vamos procurar x

, x < 0 tal que (x) = y. Assim,

x
y
x
=y
=yx=
.
1 + |x|
1x
1+y
Logo, sobrejetiva.
Portanto, bijetiva (1, 1) no-enumervel (a, b) no-enumervel (pois
bijeo). Como I (a, b), ento I no-enumervel.

Exemplo de um nmero irracional

Vamos encerrar esta aula mostrando que 3 no um nmero racional, ou seja, irracional e assim estaremos mostrando que Q  .

m
Suponha que 3 racional, isto , existem m e n {0} tais que 3 = .
n

Assim, 3n = m 3n2 = m2 m|3n2 3|m2 . Isto signica que 3 fator primo de

decomposio de m2 . Logo, 3|m e, conseqentemente, a quantidade de 3 na decomposio
de m2 par. Temos ento duas possibilidades para 3: (a) 3 fator primo de n ou (b) 3 no
fator primo de n.
Se (a) ocorre, ento a quantidade de 3 na decomposio de n2 tambm par. Logo,
3n2 tem uma quantidade mpar de 3. Isto absurdo, pois 3n2 = m2 .
Se (b) ocorre, ento a quantidade de 3 na decomposio de 3n2 1, e isto tambm
absurdo.

Portanto,

22

Aula 03

3 irracional.

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Resumo
Nesta aula aprendemos que um corpo ordenado completo e no enumervel. Aplicamos vrios dos axiomas de corpo e a relao de ordem para demonstrar propriedades
interessantes e bem conhecidas dos nmeros reais. Estudando a completeza de aprendemos os conceitos de supremo e nmo de conjuntos.

Autoavaliao
Usando o fato de

ser um corpo, prove:

1) a unicidade do elemento neutro da adio, ou seja, se x + a = x para todo x

a = 0.

ento

2) a unicidade do elemento neutro da muliplicao, ou seja, se x.u = x para todo x

ento u = 1.
3) a unicidade do elemento inverso aditivo, ou seja, se x + y = 0 ento y = x.
4) a unicidade do elemento inverso multiplicativo, ou seja, se x.y = 1 ento y = x1 .
Usando o fato de

ser um corpo ordenado, prove que:

5) para quaisquer x, y, z
6) para quaisquer x, y
Usando o fato de

vale: |x z| |x y| + |y z| .
vale: ||x| |y|| |x y|.

ser um corpo ordenado completo, prove que:

7) se A e B so subconjuntos limitados de , satisfazendo A B ento supA supB e

inf A inf B. Construa um exemplo que ilustre essas armaes
8) Dados A e B subconjuntos limitados de

ec

. Mostre que:

a) o conjunto A + B = {x + y; x Aey B} limitado.

b) sup(A + B) = sup(A) + sup(B)

Aula 03
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real

23

VERSO DO PROFESSOR
c) inf (A + B) = inf (A) + inf (B)
d) sup(cA) = c.sup(A) se c 0
e) inf (cA) = c.inf (A) se c 0
f) sup(cA) = c.inf (A) se c 0
g) inf (cA) = c.sup(A) se c 0
10) Mostre que

2 no um nmero racional.

Referncias
FIGUEIREDO, Djairo Guedes de. Anlise I. Rio de Janeiro: LTC, 1996.

IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemtica Elementar 1. So Paulo:

Atual, 1993.

LIMA, Elon Lages. Anlise Real, Volume 1.Rio de Janeiro: Instituto de Matemtica Pura e
Aplicada, Coleo Matemtica Universitria, 1989.

MORAIS FILHO, Daniel Cordeiro de. Um convite Matemtica. Campina Grande: EDUFCG,
2007.

24

Aula 03

Anlise Real
Material APROVADO ((contedo e imagens)
g )

Data: ___/___/___ Nome:______________________

Anlise Real MATEMTICA

EMENTA

Conjuntos nitos, enumerveis e no-enumerveis. Nmeros reais. Cortes de Dedekind. Sequncias e sries
de nmeros reais. Topologia da reta. Limites de funes. Funes contnuas. Sequncias e sries de funes.
Panorama histrico.

AUTORES
> Andr Gustavo Campos Pereira
> Viviane Simiolli de Medeiros Campos

Revisando a linguagem matemtica e o conceito de funes

02

Conjuntos nitos e enumerveis

03

Nmeros reais

04

Sequncias de nmeros reais

05

Desigualdades, operaes com sequncias e limites innitos

06

Sries numricas

07

Limite de funes

08

Funes contnuas

09

Funes derivveis

10

Mximos e mnimos

12

2 Semestre de 2009

01

Impresso por: Grca

AULAS