Conceitos basicos de analise

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

rodrigo.u.math@gmail.com

Sum
ario
1 Conceitos b
asicos de an
alise
1.1

Axiomas algebricos de um corpo . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Subcorpo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2

Lei do corte na adicao e multiplicacao

. . . . . . . . . . . . . . . .

1.2

Inteiros e conjuntos indutivos . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.3

Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1.4

N
umeros irracionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1.5

Potencia de base real e expoente inteiro . . . . . . . . . . . . . . . . . . . . 13

1.6

Homomorsmo e Isomorsmo . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.7

Axiomas de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.7.1

1.8

Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

Supremo e nmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.8.1

Propriedade Arquimediana dos n

umeros reais. . . . . . . . . . . . . 34

1.8.2

Conjuntos limitados de inteiros possuem maximo e mnimo . . . . . 37

1.8.3

Q e denso em R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

1.8.4

Intervalos encaixados . . . . . . . . . . . . . . . . . . . . . . . . . . 38

1.8.5

Propriedades basicas de supremo e nmo . . . . . . . . . . . . . . 40

1.8.6

sup(A + B) = sup(A) + sup(B). . . . . . . . . . . . . . . . . . . . . 42

1.8.7

inf(A + B) = inf A + inf B. . . . . . . . . . . . . . . . . . . . . . . 43

1.8.8

c > 0, sup(c.A) = c. sup A. . . . . . . . . . . . . . . . . . . . . . . . 43

1.8.9

c > 0, inf cA = c inf A. . . . . . . . . . . . . . . . . . . . . . . . . . 43

1.8.10 c < 0, inf(cA) = c sup A. . . . . . . . . . . . . . . . . . . . . . . . . 44

1.8.11 c < 0, sup(cA) = c inf A. . . . . . . . . . . . . . . . . . . . . . . . . 44
1.8.12 inf(f + g) inf(f ) + inf(g) e sup(f + g) sup f + sup g.

. . . . . 45


SUMARIO

1.8.13 sup(A B) = max{sup A, sup B} . . . . . . . . . . . . . . . . . . . 49

1.8.14 inf(A B) = min{inf A, inf B} . . . . . . . . . . . . . . . . . . . . . 50
1.8.15 sup{|f (x) f (y)| | x, y A} = sup f inf f . . . . . . . . . . . . . 51
1.8.16 Corte de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.8.17 Classicacao de intervalos . . . . . . . . . . . . . . . . . . . . . . . 54
1.9

A reta estendida

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

1.10 Razes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.11 Diametro de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.12 Calculo de supremo e nmo de alguns conjuntos . . . . . . . . . . . . . . . 62

Captulo 1
Conceitos b
asicos de an
alise
1.1
m

Axiomas alg
ebricos de um corpo

Definic
ao

1 (Corpo). Um corpo e um conjunto K munido de duas operacoes,

uma adicao + e uma multiplicacao que satisfazem os axiomas que descreveremos a

seguir (Chamados axiomas de corpo1 ). Sejam x, y, z elementos quaisquer de K, que serao
chamados de n
umeros.
Axiomas da adic
ao
Axioma 1. Para cada par de n
umeros x e y corresponde um terceiro n
umero z chamado
de soma de x e y e denotado por x + y.
Axioma 2 (Existencia de elemento neutro para adicao). Existe 0 K tal que x+0 = x.
Axioma 3 (Comutatividade da adicao). x + y = y + x
Axioma 4 (Associatividade da adicao). (x + y) + z = x + (y + z)
Axioma 5 (Existencia de inverso aditivo). Existe x K tal que
x + (x) = 0.
O elemento x e chamado simetrico de x.
1

Em ingles e usada a palavra field para o que chamamos de corpo.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

2 (Subtracao). Denimos a operacao de subtracao como xy := x+(y).

Axiomas da multiplicac
ao
Axioma 6. Para cada par de n
umeros x e y corresponde um terceiro n
umero z chamado
de produto de x e y e denotado por x.y.
Axioma 7 (Comutatividade da multiplicacao). x.y = y.x.
Axioma 8 (Existencia do elemento neutro multiplicativo). Existe 1 K tal que
1.x = x.
Axioma 9 (Associatividade da multiplicacao).
(x.y).z = x.(y.z).
Axioma 10 (Existencia do inverso multiplicativo). Para todo x = 0 K existe
x1 K tal que
x.x1 = 1.
Enfatizamos que 01 nao esta denido. Sempre que consideramos x1 , estaremos
supondo x = 0. O elemento x1 e chamado inverso de x.

Observac
ao 1. Como uma operacao e denida como funcao, entao podemos adi-

cionar e multiplicar de ambos lados de uma igualdade, sem alterar a igualdade. por
exemplo, dado c xo no corpo, temos a funcao soma que faz Sc (x) = x + c, se x = y
entao Sc (x) = Sc (y), logo x + c = y + c, o mesmo vale para o produto, temos Pc (x) = x.c
funcao, da se x = y tem-se Pc (x) = Pc (y), isto e, x.c = y.c.

x=y x+c=y+c

x = y x.c = y.c c K.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

3 (Fracao). Sendo x = 0 denimos a fracao

y
= y.x1
x

chamamos y de numerador e x de denominador da fracao

y
.
x

Axioma 11 (Distributividade da multiplicacao).

x(y + z) = xy + xz.
Esses sao os axiomas da adicao e multiplicacao num corpo.

Z Exemplo 1. Considerando Q, Z e N munidos de multiplicacao e adicao usuais.

O conjunto dos n
umeros racionais Q e um corpo.
O conjunto dos inteiros Z nao e um corpo, pois nao possui inverso multiplicativo

para todo elementos, por exemplo nao temos o inverso de 2.

O conjunto dos n
umeros naturais nao e um corpo, pois nao possui simetrico para

cada elemento contido nele.

Z Exemplo 2. O conjunto dos polinomios de coeciente racionais Q[t] nao e um corpo,

pois por exemplo o elemento x nao possui inverso multiplicativo, se houvesse haveria
n
n
n

k
k
ak x tal que x
ak x = 1 =
ak xk+1 o que nao e possvel pois o coeciente do
k=0

k=0

termo independente x0 e zero em

k=0

ak xk+1 e deveria ser 1.

k=0

Propriedade 1. Sejam X um conjunto qualquer e K um corpo, entao o conjunto

F (X, K) munido de adicao e multiplicacao de funcoes e um anel comutativo com unidade, nao existindo inverso para todo elemento. Lembrando que em um anel comutativo com unidade temos as propriedades, associativa, comutativa, elemento neutro e
existencia de inverso aditivo, para adicao. valendo tambem a comutatividade, associatividade, existencia de unidade 1 para o produto e distributividade que relaciona as duas
operacoes.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

Demonstrac
ao.
Vale a associatividade da adicao

((f + g) + h)(x) = (f (x) + g(x)) + h(x) = f (x) + (g(x) + h(x)) = (f + (g + h))(x)

Existe elemento neutro da adicao 0 K e a funcao constante 0(x) = 0 x K, da

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

Comutatividade da adicao

(f + g)(x) = f (x) + g(x) = g(x) + f (x) = (g + f )(x)

Existe a funcao simetrica, dado g(x), temos f com f (x) = g(x) e da

(g + f )(x) = g(x) g(x) = 0.

Vale a associatividade da multiplicacao

(f (x).g(x)).h(x) = f (x).(g(x).h(x))
Existe elemento neutro da multiplicacao 1 K e a funcao constante I(x) = 1 x

K, da
(g.I)(x) = g(x).1 = g(x).
Comutatividade da multiplicacao

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

Por u
ltimo vale a distributividade (f (g + h))(x) = f (x)(g(x) + h(x)) = f (x)g(x) +
f (x)h(x) = (f.g + f.h)(x).
Nao temos inverso multiplicativo para toda funcao, pois dada uma funcao, tal que
f (1) = 0 e f (x) = 1 para todo x = 1 em K, nao existe funcao g tal que g(1)f (1) = 1,
pois f (1) = 0, assim o produto de f por nenhuma outra funcao gera a identidade.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.1.1

Subcorpo

m Definicao

4 (Subcorpo). Um conjunto A K munido das operacoes +, do corpo

k que satisfaz as propriedades

O elemento neutro da adicao 0 pertence ao conjunto.
O elemento neutro da multiplicacao 1 pertence ao conjunto.
A adicao e fechada.
O produto e fechado.
Dado x A implica x A.
Dado x = 0 A tem-se x1 A.

Z Exemplo 3. O conjunto da forma {x + yp} onde x e y sao racionais e subcorpo

dos n
umeros reais.

O elemento neutro da adicao 0 pertence ao conjunto. Pois 0 = 0 + 0 p

O elemento neutro da multiplicacao 1 pertence ao conjunto. Pois 1 = 1 + 0 p

A adicao e fechada. Pois x + y p + z + w p = x + z + (y + w) p.

O produto e fechado. Pois (x + y p)(z + w p) = xz + xw p + yz p + y.wp.

Dado x A implica x A. Pois dado x + y p temos o simetrico x y p.

Dado x = 0 A tem-se x1 A. Pois dado x + y p temos inverso

xy p
x2 y 2 p
como inverso multiplicativo.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

Z Exemplo 4. O conjunto dos elementos da forma a + b onde =

3
2 nao e um

corpo pois o produto nao e fechado, vamos mostrar que 2 nao pertence ao conjunto.
Suponha que 2 = a + b entao 3 = a + b2 = 2 substituindo a primeira na segunda
temos que
a + b(a + b) = a + ab + b2 = (b2 + a) + ab = 2 (b2 + a) = 2 ab
2 ab
o que e absurdo pois e irracional, entao devemos ter
b2 + a
a = b2 , multiplicamos a expressao a + b2 = 2 por , de onde segue a2 + 2b = 2,
se b2 + a = 0 entao =

substituindo 2 = a + b nessa u
ltima temos
a(a + b) + 2b = a2 + ab + 2b = 2 (2 ab) = 2b + a2
2b + a2
, temos que ter entao 2 = ab e a = b2
2 ab
de onde segue 2 = b3 , porem nao existe racional que satisfaz essa identidade, da nao

se 2 = ab chegamos num absurdo de =

podemos escrever 2 da forma a+b com a e b racionais, portanto o produto de elementos

nao e fechado e assim nao temos um corpo.

1.1.2

Lei do corte na adic

ao e multiplica
c
ao

b Propriedade 2 (Lei do cancelamento da adicao). Se x + y = x + z entao y = z.

Demonstrac
ao.
y = 0 + y = (x + x) + y = x + (x + y) = x + (x + z) = (x + x) + z = z
logo y = z.
Tal propriedade garante que podemos somar um n
umero de ambos lados de uma
igualdade e ela continua sendo verdadeira, pois suponha que queremos adicionar a a
igualdade x = y que e equivalente `a x + a a = y + a a, por lei do corte segue que
x + a = y + a. Entao podemos somar um n
umero a ambos lados de uma igualdade.

b Propriedade 3 (Lei do cancelamento do produto). Se x = 0 e x.y = x.z entao y = z.

Demonstrac
ao. Se x = 0 entao existe x1 tal que x.x1 = 1, logo
y = 1.y = (x.x1 ).y = x1 .(x.y) = x1 (x.z) = (x1 x)z = z
logo y = z.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

10

b Propriedade 4 (Unicidade do elemento neutro da adicao).

Demonstrac
ao. Supondo que existam o e 0 elementos neutros temos o + 0 = o e
o + 0 = 0 logo 0 = o , o elemento neutro e u
nico.

b Propriedade 5 (Unicidade do elemento neutro da multiplicacao).

Demonstrac
ao. Suponha que existam dois elementos neutros para o produto l e
1 , logo l.1 = l e l.1 = 1 assim l = 1.

b Propriedade 6 (Unicidade do inverso aditivo).

Demonstrac
ao. Suponha dois inversos z e y para um elemento x, entao temos
x + y = 0 e x + z = 0 logo x + y = z + x, pela lei do corte segue y = z logo eles sao iguais.

b Propriedade 7 (Unicidade do inverso multiplicativo).

Demonstrac
ao. Suponha dois inversos y e z para x segue xy = 1 e xz = 1 logo
xy = xz pela lei do corte segue y = z.

b Propriedade 8.
(bd)1 = b1 .d1 .
Demonstrac
ao.
(bd)1 .bd = 1
b1 .d1 .b.d = 1
logo (bd)1 = b1 .d1 . por unicidade de inverso .

b Propriedade 9. (x1)1 = x.
Demonstrac
ao. Pois x.x1 = 1, logo x e o inverso de x1 , isto e x = (x1 )1 .

$ Corolario 1.

pois

( )1
a
b
=
b
a
( )1
a
b
= (ab1 )1 = a1 b =
b
a

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

b Propriedade 10.
a c
ac
. = .
b d
bd
Demonstrac
ao.
ac
a c
. = a.b1 .c.d1 = ac.b1 .d1 = ac.(bd)1 = .
b d
bd

b Propriedade 11.
a c
a+c
+ =
.
d d
d
Demonstrac
ao.
a c
a+c
+ = d1 a + d1 c = d1 (a + c) =
d d
d
por distributividade do produto em relacao a soma.

b Propriedade 12.
a c
ad + bc
+ =
.
b d
bd
Demonstrac
ao.
a c
ad cb
ad cb
ad + bc
+ =
+
=
+
=
.
b d
bd db
bd db
bd

b Propriedade 13.
a.0 = 0.
Demonstrac
ao.
a.(0) = a(0 + 0) = a.0 + a.0
subtraindo a.0 de ambos lados segue
0 = a.0.

b Propriedade 14 (Generalizacao para soma de fracoes). Vale que

n

ak
k=1

bk

n k1
n

( bt )ak (
bt )

k=1 t=1

s=1

t=k+1

bs

11

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

12

Demonstrac
ao.
n k1
n

( bt )ak (
bt )
k=1 t=1

t=k+1

bs

s=1

k=1

k1

bt )ak (

t=1

t=k+1

k1

bt )bk (

t=1

bt )
=
bt )

ak
k=1

bk

t=k+1

Z Exemplo 5 (Corpo degenerado). Seja um corpo K onde vale 1 = 0 . Tomamos um

elemento qualquer a do corpo entao, a.1 = a = a.0 = 0, logo a = 0, o corpo se resume ao
elemento 0, K = {0}, nesse caso dizemos que o corpo e degenerado.

b Propriedade 15. a(1) = a.

Demonstrac
ao.
a(1) + a = a(1 + 1) = a(0) = 0
logo a(1) e inverso de a , assim a = (1)a.

b Propriedade 16.
(1)(1) = 1.
Demonstrac
ao.
(1)(1) + (1) = (1)(1 + 1) = 0
como temos 1 e inverso de (1)(1) e de 1 pela unicidade de inverso segue 1 = (1)(1).

$ Corolario 2.
(a)(b) = (1)(1)a.b = a.b.

1.2
m

Inteiros e conjuntos indutivos

Definic
ao

5 (Conjunto indutivo). Um conjunto A de n

umeros reais e dito um

conjunto indutivo se ele possui as seguintes propriedades

1 A.
Se x A ent
ao x + 1 A.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

13

6 (Naturais). Podemos denir o conjunto dos n

umeros naturais como o

conjunto indutivo que pertence a todos conjuntos indutivos. Denotamos tal conjunto por
N

m Definicao

7 (Inteiros). Podemos denir o conjunto dos inteiros como o conjunto dos

naturais, dos inversos aditivos dos n

umeros naturais e o zero. Denotamos o conjunto dos
n
umeros inteiros por Z

1.3
m

Racionais

Definic
ao 8 (Racionais). Denimos o conjunto dos n
umeros racionais como Q =

{a.b1 |a Z, b = 0 Z}.

1.4
m

N
umeros irracionais

Definic
ao 9 (N
umero irracionais). Denimos o conjunto dos n
umeros irracionais

pelo conjunto que possui os n

umeros que nao sao racionais.

1.5

Pot
encia de base real e expoente inteiro

m Definicao

10 (Potencia de expoente natural). Denimos an recursivamente como

an+1 = an a
a0 = 1

com n natural e a real arbitrario . Denimos tambem an = (an )1 para n natural e

a = 0.

$ Corolario 3.
a1 = a0 .a = a.

$ Corolario 4. 00 = 1.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

14

b Propriedade 17. Se a = 0 entao an = 0 para todo n natural.

Demonstrac
ao. Por inducao sobre n, para n = 0 a0 = 1 que nao e zero. Supondo
an = 0 vamos provar que an+1 nao e zero.
an+1 = an .a
a e invertvel e an tambem, entao an+1 nao e zero.
Sabendo que se a = 0 entao an nao e zero podemos denir an com n natural.

m Definicao

11 (Potencia de expoente inteiro). Denimos

an = (an )1

com n N e a = R.

$ Corolario 5.
ap ap = app = a0 = 1
pois se p natural
ap ap = ap (ap )1 = 1.

b Propriedade 18. Para todo m inteiro vale

am .a = am+1 .
Demonstrac
ao. Para m natural vale pela denicao de potencia, agora para
m = n, n > 0 N um inteiro vamos provar an .a = an+1 . Para n = 1 temos
a1 a = a1+1 = a0 = 1.
Vamos provar agora para n > 1, n 1 > 0
an = (an )1 = (an1 a)1 = an+1 a1
multiplicando por a de ambos lados an .a = an+1 como queramos demonstrar.

b Propriedade 19.
am .an = am+n .

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

15

Demonstrac
ao. Primeiro seja m um inteiro qualquer e n natural, vamos provar
a identidade por inducao sobre n, para n = 0 vale
am .a0 = am = am+0
para n = 1 vale
am a1 = am a = am+1 .
Supondo valido para n
am .an = am+n
vamos provar para n + 1
am .an+1 = am+n+1
temos
am .an+1 = am an a = am+n .a = am+n+1

Agora para n com n natural , se m e natural temos que a propriedade ja foi demonstrada
am an = amn
se m e inteiro negativo temos
am an = amn
pois o inverso de am an e am an = am+n propriedade que ja esta provada por m e n
serem naturais e amn anm = 1 por unicidade do inverso de = am an = am+n e am an
logo ca provado para n e m inteiros. Para potencia negativa n podemos fazer como se
segue
am an = (am )1 (an )1 = (am an )1 = (am+n )1 = amn .

b Propriedade 20.
(am )n = amn
para m e n inteiros.
Demonstrac
ao. Primeiro por inducao para m inteiro e n natural
(am )0 = 1 = am.0
(am )1 = am = am.1 .

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

16

Supondo valido para n

(am )n = amn
vamos provar para n + 1
(am )n+1 = am(n+1)
temos pela denicao de potencia e pela hipotese da inducao que
(am )n+1 = (am )n am = amn am = amn+m = am(n+1)
onde usamos a propriedade do produto de potencia de mesma base. Para n inteiro negativo
(am )n = ((am )n )1 = (amn )(1) = amn .

b Propriedade 21. Vale que

(a.b)n = an bn
para todo n natural e a, b R, ou a, b nao nulos e n Z.
Demonstrac
ao. Primeiro para n natural . Por inducao sobre n, para n = 0
temos
(a.b)0 = 1 = a0 .b0 .
Supondo validade para n, vamos provar para n + 1
(a.b)n+1 = (a.b)n .a.b = an .bn .a.b = an+1 bn+1

Para expoente inteiro negativo n, n N , a e b nao nulos usamos que

an .bn = (a.b)n
multiplicando por an bn temos que an bn (a.b)n = 1 por unicidade do inverso segue que
(a.b)n = an bn assim as propriedades cam demonstradas.

Z Exemplo 6. Se xy

ak K, k In tais que

xs
para todos k, s In , num corpo K, prove que dados,
ys

ak yk = 0 tem-se

k=1
n

k=1
n

k=1

ak xk
=
ak yk

x1
.
y1

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

Chamando

17

x1
xk
= p temos
= p logo xk = pyk e a soma
y1
yk
n

ak xk = p

k=1

logo

k=1
n

ak yk

k=1

ak xk
=p=
ak yk

x1
y1

k=1

b Propriedade 22.
(a + b)2 = a2 + 2ab + b2
Demonstrac
ao.
(a + b)2 = (a + b)(a + b) = a(a + b) + b(a + b) = a2 + ab + ba + b2 = a2 + 2ab + b2
Usamos a denicao de potenciacao, propriedade distributiva e comutatividade do produto.

b Propriedade 23.
(a b)(a + b) = a2 b2 .
Demonstrac
ao.
(a + b)(a b) = a(a b) + b(a b) = a2 ab + ba b2 = a2 b2 .

b Propriedade 24.
a+x=bx=ba
Demonstrac
ao. Somando a a ambos lados segue
x = b a.

b Propriedade 25.
a+b=a+cb=c
Demonstrac
ao. somando a a ambos lados segue b = c.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

18

$ Corolario 6.
a+x=0
entao x = a por unicidade de inverso aditivo.

$ Corolario 7.
a+x=a
entao x = 0 por unicidade do elemento neutro da adicao.

$ Corolario 8.
ax = ay
com a = 0 entao x = y, multiplicamos por a1 em ambos lados.

b Propriedade 26.
a.b = 0
entao a = 0 ou b = 0.
Demonstrac
ao. Suponha a = 0 entao podemos multiplicar por a1 concluindo
que b = 0. Supondo b = 0 multiplicando por b1 segue a = 0 e se ambos forem 0 temos
obviamente 0.0 = 0.

b Propriedade 27.
x2 = x
entao x = 1 ou x = 0.
Demonstrac
ao.
x2 = x, x2 x = 0, x(x 1) = 0
assim x = 0 ou x 1 = 0, x = 1.

b Propriedade 28.
x2 = a2
entao x = a ou x = a.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

19

Demonstrac
ao.
x2 = a, x2 a = 0, (x a)(x + a) = 0
logo x a = 0, x = a ou x + a = 0, x = a.

$ Corolario 9.
x2 = 1
entao x = 1 ou x = 1.

$ Corolario 10.
a.x = 1
com a = 0 entao x = a1 por unicidade do inverso multiplicativo.

1.6

Homomorfismo e Isomorfismo

m Definicao

12 (Homomorsmo de corpos). Sejam A, B corpos. Uma funcao f : A

B chama-se um homomorsmo quando se tem

f (x + y) = f (x) + f (y)
f (x.y) = f (x).f (y)
f (1A ) = 1B
para quaisquer x, y A. Denotaremos nesse caso as unidades 1A e 1B pelos mesmos
smbolos e escrevemos f (1) = 1.

b Propriedade 29. Se f e homomorsmo entao f (0) = 0.

Demonstrac
ao. Temos
f (0 + 0) = f (0) + f (0) = f (0)
somando f (0) a ambos lados segue
f (0) = 0.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

20

b Propriedade 30. Vale f (a) = f (a).

Demonstrac
ao. Pois
f (a a) = f (0) = 0 = f (a) + f (a)
da f (a) = f (a).

$ Corolario 11.
f (a b) = f (a) + f (b) = f (a) f (b).

b Propriedade 31. Se a e invertvel entao f (a) e invertvel e vale f (a1) = f (a)1.

Demonstrac
ao.
f (a.a1 ) = f (1) = 1 = f (a).f (a1 )
entao pela unicidade de inverso em corpos segue que f (a)1 = f (a1 ).

b Propriedade 32. f e injetora.

Demonstrac
ao. Sejam x, y tais que f (x) = f (y), logo f (x)f (y) = 0, f (xy) =
0, se x = y entao x y seria invertvel logo f (x y) nao seria nulo, entao segue que x = y.

b Propriedade 33. f (A) e subcorpo de B.

Demonstrac
ao.
A adicao e fechada, dados a = f (x) e b = f (y) ent
ao a + b f (A) pois

f (x + y) = f (x) + f (y) = a + b.
O produto e fechado, pois f (x.y) = f (x).f (y) = a.b.
a f (A) pois f (x) = f (x) = a.
Se a = 0 ent
ao a1 f (A) pois f (x1 ) = f (x)1 , x = 0 pois se fosse x = 0 entao

a = 0, logo x e invertvel.

b Propriedade 34. Se f e bijetora entao a funcao inversa f 1 de f e um homomorsmo.

Demonstrac
ao. Sejam a = f 1 (x) e b = f 1 (y).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

21

f 1 (1) = 1 pois f (1) = 1.

f 1 (x + y) = f 1 (f (a) + f (b)) = f 1 (f (a + b)) = a + b = f 1 (x) + f 1 (y).

f 1 (x.y) = f 1 (f (a).f (b)) = f 1 (f (a.b)) = a.b = f 1 (x).f 1 (y).

b Propriedade 35.

Se f : A B com f (x + y) = f (x) + f (y) e f (x.y) = f (x)f (y)

para x, y arbitrarios, entao f (x) = 0 x ou f (1) = 1.

Demonstrac
ao. f (1) = f (1.1) = f (1)f (1), logo f (1) = f (1)2 por isso f (1) = 1
ou f (1) = 0. Se f (1) = 0 entao f (x.1) = f (x)f (1) = 0, f (x) = 0 x.

b Propriedade 36. Se f : Q Q e um homomorsmo entao f (x) = x x Q.

Demonstrac
ao. Vale que f (x + y) = f (x) + f (y), tomando x = kh e y = h xo,
tem-se
f ((k + 1)h) f (kh) = f (h)
aplicamos a soma

n1

de ambos lados, a soma e telescopica e resulta em

k=0

f (nh) = nf (h)
p
segue
n
p
p
p
p
f (n ) = f (p) = p = nf ( ) f ( ) = .
n
n
n
n

tomando h = 1 segue que f (n) = n, tomando h =

b Propriedade 37. Seja K um conjunto onde valem todos os axiomas de corpo, exceto
a existencia de inverso multiplicativo. Seja a = 0. f : K K com f (x) = ax e bijecao
a1 K.
Demonstrac
ao. ). A funcao e sobrejetora logo existe x tal que f (x) = 1 = ax
portanto a e invertvel com a1 = x K.
). Dado qualquer y K tomamos x = ya1 da f (x) = aa1 y = y e a funcao e
sobrejetiva. f tambem e injetiva, pois se f (x1 ) = f (x2 ), ax1 = ax2 implica por lei do
corte que x1 = x2 .. Em geral f e injetiva vale a lei do corte por essa observacao.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

22

b Propriedade 38. Seja K nito. Vale a lei do corte em A existe inverso para cada
elemento nao nulo de K,
Demonstrac
ao. ). Se vale a lei do corte, pela propriedade anterior tem-se que
para qualquer a = 0 em K, f : K K com f (x) = ax e injetiva, como f e injetiva de K
em K que e um conjunto nito, entao f e bijetiva, o que implica a ser invertvel.
). A volta e trivial pois existencia de inverso implica lei do corte.

Definic
ao 13 (Isomorsmo). Um Isomorsmo e um homomorsmo bijetor. Dois

corpos sao ditos isomorfos se existir um isomorsmo entre eles. Para todos os efeitos dois
corpo isomorfos sao considerados identicos.

1.7

Axiomas de ordem

Um corpo ordenado e um corpo onde valem os dois axiomas

Axioma 12. Existe um subconjunto nao vazio R+ de K tal que se x e y R+ vale
x + y R+
x.y R+
Os elementos de R+ serao chamados positivos , R+ podendo ser simbolizado tambem por
P.
Axioma 13. 0
/ R+ e se x = 0 K vale: Se x R+ entao x
/ R+ e se x
/ R+
entao x R+ .

Z Exemplo 7. Q e um corpo ordenado.

$ Corolario 12. Uma das tres possibilidades ocorre, x = 0 ou x R+ ou x R+ .
Tomamos x R se x = 0 nada precisamos demonstrar, agora temos duas possibilidades:
x R+ novamente nada temos a mostrar, agora se x
/ R+ segue x R+

b Propriedade 39. Se a = 0 entao a2 R+.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

23

Demonstrac
ao. Se a R+ entao a.a = a2 R+ , se a
/ R+ entao a R+ e
(a)(a) = a2 R+

$ Corolario 13. 1 R+ pois 12 = 1 R+ .

$ Corolario 14. C o corpo dos numeros complexos, nao pode ser tomado como um
corpo ordenado respeitando a ordem de R pois i e nao nulo e vale i2 = 1 que e negativo.

m Definicao

14 (Relacao de ordem). Seja F um conjunto, uma relacao sobre F e

dita de ordem se
1. x x x F . Reexividade.
2. Se x y e y z entao x z . Transitividade.
3. Se x y e y x entao x = y.

m Definicao

15 (Ordem lexicograca em C). Podemos denir uma relacao de ordem

em C conjunto dos n
umeros da forma a + bi, da seguinte maneira, dados z = a + bi,
w = c + di denimos que
z<w
quando a < c, ou se vale a = c entao b < d. Dizemos que z w se z < w ou z = w.

b Propriedade 40. Ordem lexicograca em C e uma ordem em C.

Demonstrac
ao.
Vale a reexividade z z.
Transitividade. Se x y e y z entao x z. x = a + bi, y = c + di, z = e + f i,

temos que se e > c a entao e > a o que implica z > x. Se c = e = a entao

f > d > b o que tambem implica z > x. Caso c = e > a entao c > a o que tambem
implica z > x entao em todos os casos temos z > x.
Se y x e z x entao x = y pois vale a c e c a, entao a = c e nao podemos

ter duas desigualdades estritas pois se nao b > d e d > b o que e absurdo. Entao
deve valer a igualdade.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

24

16. Denimos como R o conjunto dos elementos x = 0 tal que x

/ R+ .

Os elementos de R serao chamado negativos.

$ Corolario 15.
R = R+ {0} R
e a uniao e disjunta.

m Definicao

17. Escrevemos x > y ou de maneira equivalente y < x para denotar que

x y R+ e diz-se x e maior que y para x > y e y e menor que x para y < x.

$ Corolario 16. x > 0 entao x 0 = x R+ e x R+ , x 0 R+ , x > 0.

$ Corolario 17. 1 > 0 (Se 1 = 0) pois 1 R+ .
$ Corolario 18. 0 > x x P x / P e x = 0.

Definic
ao

18. Escrevemos x y ou y x para denotar que x y R+ ou

x y = 0, x = y.

b Propriedade 41 (Transitividade). Se x < y e y < z entao x < z.

Demonstrac
ao. Se x < y e y < z temos y x R+ e z y R+ logo
y x + z y = z x R+ logo x < z.

b Propriedade 42. Se x > y e z > t entao x + z > y + t.

Demonstrac
ao. De x > y e z > t segue que x + z > y + z e y + z > y + t logo
por transitividade segue que x + z > y + t.

b Propriedade 43 (Tricotomia). Dados dois numeros reais x, y uma das possibilidades

ocorre x = y, x < y ou y < x.
Demonstrac
ao. Uma das possibilidades ocorre x y = 0 logo x = y, x y R+
de onde segue y < x ou x y
/ R+ donde y x R+ que signica x < y.

b Propriedade 44 (Ordem total). A relacao e uma relacao de ordem total , isto e,

valem as propriedades

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

25

1. Reexividade x x.
2. Anti-simetria x y e y x entao x = y.
3. Transitividade x y e y z entao x z.
4. Total . Vale x y ou y x. As 3 primeiras propriedades denem uma relacao de
ordem e uma relacao de ordem onde vale a quarta propriedade e dita uma relacao
de ordem total .
Demonstrac
ao.
1. Nao vale x > x pois 0
/ R+ , porem vale x = x, logo vale x x.
2. Nao pode valer simultaneamente x < y e y < x, pois da teramos y x R+ e
x y R+ . Da mesma forma nao pode valer x y R+ e y = x, logo so pode valer
x = y em ambas desigualdades .
3. Segue da transitividade.
4. Segue por tricotomia.

b Propriedade 45 (Monotonicidade da adicao). Se x < y e para qualquer z R vale

x + z < y + z.
Demonstrac
ao. Se y x R+ temos y x = y + z (z + x) R+ logo
x + z < y + z.

b Propriedade 46 (Monotonicidade da multiplicacao I).

Se x < y e z R+ (z > 0)

segue zx < xy.

Demonstrac
ao. Se x < y temos y x R+ e sendo z R+ temos z(y x) =
zy zx R+ logo zx < zy. Isto e, multiplicar por um n
umero positivo nao altera a
desigualdade.

$ Corolario 19. Se z R temos z R+ logo podemos escrever 0 < z ou z < 0.

Propriedade 47 (Monotonicidade da multiplicacao II). Se x < y e z R temos

yz < zx.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

26

Demonstrac
ao. Se x < y temos y x R+ e z R , z R+ assim
z(y x) R+ zx zy R+ logo zy < zx. Multiplicar por um n
umero negativo altera
a ordem da desigualdade.

$ Corolario 20. Se x < 0 e y > 0 segue xy < 0 pois multiplicamos a desigualdade

y > 0 por um n
umero negativo x, xy < x.0 = 0. Isto e o produto de um n
umero positivo
com um negativo e negativo.

$ Corolario 21. Se x > 0 e x.y > 0 entao y > 0. y nao pode ser zero (pois se fosse o
produto seria nulo) nem y < 0 (pois se fosse o produto seria negativo), logo por eliminacao
y>0.

$ Corolario 22. Se x < 0 e x.y > 0 entao y < 0. y nao pode ser zero nem y > 0 (pois
se fosse o produto seria negativo), logo por eliminacao y < 0 .

$ Corolario 23. Se x > 0 entao x1 > 0, pois 1 > 0, x.x1 = 1 > 0 como x e positivo
x1 tem que ser positivo pois se nao o produto seria negativo. Outra maneira de mostrar
essa propriedade e que x.(x1 )2 = x1 os dois primeiros fatores sao positivos entao x1 e
positivo .
Da mesma maneira se x < 0 entao x1 < 0 pois x.x1 = 1 > 0.

$ Corolario 24. Se x > 0 e y > 0 entao

x
y
> 0 e > 0, pois x1 e y 1 sao positivos.
y
x

$ Corolario 25. Se x < 0 e y < 0 entao xy > 0, pois x R+ e y R+ logo

(x)(y) = xy R+ assim 0 < xy.

$ Corolario 26. Se x > y entao x < y pois multiplicamos por 1 em ambos lados
da desigualdade.

b Propriedade 48. Sejam a, b R tais que b > a > 0 temos entao b2 > a2.
Demonstrac
ao. Da desigualdade b > a multiplicando por b temos b2 > ba e da
mesma desigualdade multiplicando por a tem-se ab > a2 logo b2 > ba > a2 assim b2 > a2 .

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

27

19. Dado um n
umero real a 0 R o n
umero a indica o u
nico n
umero

real nao -negativo y tal que y 2 = a, a e chamado raiz quadrada de a

m Definicao

a = y y 2 = a, y, a 0.

b Propriedade 49. Sejam a, b R tais que b > a > 0 entao

b > a.

Demonstrac
ao. Sabemos que b > a da b a > 0, ( b + a)( b a) > 0

como ( b + a) temos que ter ( b a) caso contrario o produto seria negativo, assim

b > a.

b Propriedade 50. Sejam x, y > 0 .

x < y x1 > y 1 .

Demonstrac
ao. ). Como y > x e x1 e y 1 sao positivos, multiplicamos a
desigualdade por x1 y 1 em ambos lados x1 y 1 y > x1 y 1 x implicando x1 > y 1 ,
1
1
entao se y > x temos > .
x
y
). Se x1 > y 1 . x, y sao positivos, multiplicamos a desigualdade por xy em ambos
lados, de onde segue que y > x.

$ Corolario 27. Se x < y < 0 entao 0 >

1
1
>
multiplicamos a desigualdade por
y
x

x1 y 1 de ambos lados
y 1 < x1 < 0.

$ Corolario 28. Se x < 0 < y entao

1
1
1
1
< 0 < , pois < 0 e > 0.
x
y
x
y

b Propriedade 51. Para todo x R vale x + 1 > x.

Demonstrac
ao. Temos que 1 > 0 somando x a ambos lados x + 1 > x ou entao
1 = x + 1 x R+ logo x + 1 > x.

b Propriedade 52. Se y > x vale y > x +2 y > x.

Demonstrac
ao. y > x somando y a ambos lados 2y > x + y como 2e positivo
1
1
x+y
temos positivo, multiplicando por segue y >
.
2
2
2
1 y+x
De y > x somando x temos y + x > 2x multiplicando por
>x
.
2 2

b Propriedade 53. Dados x, y R, x2 + y2 = 0 x = y = 0.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

28

Demonstrac
ao. ).Suponha que x = 0, entao x2 > 0 e y 2 0 de onde segue que
x2 +y 2 > 0 , absurdo entao deve valer x2 = 0 x = 0 logo temos tambem y 2 = 0 y = 0,
portanto x = y = 0.
). Basta substituir x = y = 0 resultando em 0.

Z Exemplo 8. A funcao f : K

x > y > 0 entao xn > y n pois xn =

K + com f (x) = xn , n N e crescente. Sejam

n

x>
y = y n , por propriedade de multiplicacao

k=1

k=1

de positivos. Se f : Q+ Q+ , Q+ o conjunto dos racionais positivos, entao f nao e

sobrejetiva para n = 2, pois nao existe x Q tal que x2 = 2 Q+ .
f (K + ) nao e um conjunto limitado superiormente de K, isto e, dado qualquer x K
existe y K + tal que y n > x. O limitante superior do conjunto, se existisse, nao poderia
ser um n
umero negativou ou zero, pois para todo y positivo tem-se y n positivo, que e maior
que 0 ou qualquer n
umero negativo. Suponha que x positivo seja, tomando y = x + 1
temos y n = (x + 1)n 1 + nx > x, logo f (K + ) nao e limitado superiormente.

b Propriedade 54. Sejam a > 0 em K e f : Z K com f (n) = an. Nessas condicoes

f e crescente se a > 1, decrescente se a < 1 e constante se a = 1.
Demonstrac
ao. Para qualquer n Z vale f (n+1)f (n) = an+1 an = an (a1),
an e sempre positivo, entao o sinal da diferenca depende do sinal de a 1. Se a = 1 vale
f (n + 1) = f (n) n Z logo f e constante, se a 1 < 0, a < 1 entao f (n + 1) f (n) <
0, f (n + 1) < f (n), f e decrescente e nalmente se a 1 > 0, a > 1 entao f (n + 1) > f (n)
e a funcao e crescente.
Perceba que as propriedades citadas valem para todo n Z, por exemplo no caso de
a > 1 temos
< f (4) < f (3) < f (2) < f (1) < f (0) < f (1) < f (2) < f (3) < < f (n) < f (n+1) <
analogamente para os outros casos.

b Propriedade 55. Se ab < dc entao

a
a+c
c
<
< ,
b
b+d
d
onde b, d sao positivos no corpo K .

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

Demonstrac
ao. De

29

c
a
< ,
b
d

(1.1)

ad
<c
b

(1.2)

cb
,
d

(1.3)

temos multiplicando (1.1) por d que

e multiplicando (1.1) por b tem-se

a<

somando a em ambos lados de (1.2) e c em ambos lados de (1.3) segue por transitividade que
ad
cb
ad + ab
cb + cd
<a+c<
+c
<a+c<

b
d
b
d
a(b + d)
c(b + d)
a
a+c
c
<a+c<
<
< ,
b
d
b
b+d
d
como queramos demonstrar.
a+

Propriedade 56. Todo conjunto nao vazio, nito de um corpo ordenado possui

maximo e mnimo.
Demonstrac
ao. Vamos provar por inducao pelo n
umero de elementos do conjunto. Se A possui apenas um elemento, entao ele e maximo e mnimo. Suponha que a
propriedade seja verdadeira para um conjunto com n elementos, vamos provar para um
conjunto qualquer com n + 1 elementos.
Seja B = {x1 , , xn+1 } o conjunto com n + 1 elementos. B \ {xn+1 } possui n
elementos, logo possui maximo x e mnimo y.
Por tricotomia vale xn+1 > x ou xn+1 < x se vale a primeira opcao xn+1 e o maximo
do conjunto B, se nao continua sendo x. Vale xn+1 < y ou xn+1 > y, se vale a primeira
entao xn+1 e o mnimo de B, se vale a segunda y continua sendo o mnimo. Em qualquer
dos casos B possui maximo e mnimo, logo por inducao todo conjunto nito em um corpo
ordenado possui maximo e mnimo.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.7.1

30

Intervalos

m Definicao

20 (Intervalos). Dados a, b K com b > a denimos os seguintes conjuntos

que serao chamados de intervalos

intervalos limitados
1.
[a, b] := {x K|a x b}
Chamado de intervalo fechado.
2.
(a, b) = {x K|a < x < b}
Chamado de intervalo aberto.
3.
(a, b] = {x K|a < x b}
Aberto em a e fechado em b.
4.
[a, b) = {x K|a x < b}
Fechado em a e aberto em b.
Se um intervalo e limitado, de um desses tipos acima, denimos o comprimento ou
diametro do intervalo como b a. Em cada um desses intervalos a e chamado de extremo superior e b de extremo inferior.
Intervalos ilimitados
1.
(, b] = {x K|x b}
Aberto em menos innito e fechado em b.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

31

2.
(, b) = {x K|x < b}
Aberto em menos innito e aberto em b. Nos dois intervalos acima b e chamado de
extremo superior menos innito de extremo inferior.
3.
[a, ) = {x K|a x}
Fechado em a e aberto em innito.
4.
(a, ) = {x K|a < x}
Aberto em a e aberto em innito. Em ambos intervalos acima a e chamado de
extremo inferior e innito de extremo superior.
5.
(, ) = K.
No intervalo acima menos innito e o extremo inferior e innito e o extremo superior.
Aberto em menos innito e aberto em innito e o proprio corpo K.
Um intervalo qualquer denidos acima pode ser denotado por I. O que caracteriza um
intervalo I e a propriedade: Se a, b I e a < x < b entao x I.

m Definicao

21 (Intervalo degenerado.). [a, a] = {a} e chamado intervalo degenerado

m Definicao

22 (Maximo). A admite um maximo se existe um elemento a A tal que

a x x A e denotamos tal elemento por a := maxA.

b Propriedade 57 (Unicidade do maximo). O maximo de um conjunto , quando existe

e u
nico.
Demonstrac
ao. Suponha existencia de dois maximos a e b, temos a b e b a,
logo a = b.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

32

23 (Mnimo). A admite um mnimo se existe um elemento b A tal que

b x x A e denotamos tal elemento por b := minA.

b Propriedade 58 (Unicidade do mnimo). O mnimo de um conjunto , quando existe

e u
nico.
Demonstrac
ao. Suponha que existam dois mnimos para o conjunto A, c e d,
por d ser mnimo temos c d e por c ser mnimo temos c d de onde segue c = d.

m Definicao

24 (Cota superior). Dizemos que c, um n

umero real, e cota superior de

A, se ele e maximo ou se e maior que todo n

umero de A, isto e, x A vale c x sendo
que c nao necessariamente pertence a A.

m Definicao

25 (Cota inferior). Dizemos que d, um n

umero real , e cota inferior de

A, se ele e mnimo ou se e menor que todo elemento de A, isto e, x A temos d x e

mais uma vez d nao necessariamente pertence a A.

m Definicao

26 (Conjunto limitado superiormente). Se existe c A tal que x c x

B, entao B e dito limitado superiormente.

m Definicao

27 (Conjunto limitado inferiormente). Se existe v A tal que v x x

B, entao B e dito limitado inferiormente.

Definic
ao 28 (Conjunto limitado). Um conjunto A e dito limitado, quando ele e

limitado superiormente e inferiormente.

1.8

Supremo e nfimo

m Definicao

29 (Supremo). Sejam K um corpo ordenado e A K um subconjunto

limitado superiormente , um elemento b K chama-se supremo do subconjunto A quando

satisfaz as duas condicoes
1)x A vale x b. Esta propriedade implica que o supremo e cota superior.
2) Se c k| x A vale x c entao b c. Essa segunda condicao diz que o supremo e
a menor das cotas superiores, sendo mnimo do conjunto {c K| x c x A}.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

33

$ Corolario 29 (Unicidade do supremo). O supremo e o mnimo do conjunto das cotas

superiores, pela unicidade do mnimo temos que o supremo quando existe e u
nico.

Definic
ao 30 (Inmo). Sejam K um corpo ordenado e A K um subconjunto

limitado inferiormente , um elemento b K chama-se nmo de A quando e o maximo

do conjunto formado pelas cotas inferiores.

$ Corolario 30. O nmo quando existe e unico, pois e maximo de um conjunto.

m Definicao

31 (Corpo ordenado completo). Um corpo ordenado K e dito ser completo

quando todo subconjunto de K nao-vazio limitado superiormente possui supremo.

Axioma 14 (Propriedade de completamento- Postulado de Dedekind). Existe um corpo
ordenado completo chamado corpo dos n
umeros reais e denotado por R.

b Propriedade 59. Todo conjunto A R limitado inferiormente possui nmo.

Demonstrac
ao. Considere o conjunto B = {x | x A }, A e limitado
inferiormente, entao existe c R tal que c < x x A logo c > x e B e limitado
superiormente. Seja a o supremo B, vale a x x A, da a x o que implica
que a e cota inferior para A. Suponha que exista uma outra cota inferior t > a, entao
a < t x que implica a > t x signicando que t e uma cota superior para B
menor que o supremo, o que e absurdo, entao a e a maior cota inferior de A, entao seu
nmo .

b Propriedade 60. Se assumimos como axioma em um corpo ordenado que todo conjunto limitado inferiormente possui nmo entao todo conjunto limitado superiormente
possui supremo.
Demonstrac
ao. Seja B o conjunto limitado superiormente, denimos A =
{x | x B}, como B e limitado superiormente entao existe c R tal que c x e
da x c x B, A e portanto limitado inferiormente e portanto possui um nmo
t, valendo x t x B da t x, supondo que t nao seja o supremo de B, entao
existe uma outra cota inferior y com t > y x x e da t < y x e y e uma cota
inferior de A maior que t o que e absurdo pois t e nmo de A.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

34

$ Corolario 31. Conclumos entao que podemos tomar o axioma que dene um corpo
ordenado completo como
Todo conjunto limitado superiormente possui supremo ou todo conjunto limitado

inferiormente possui nmo, pois as duas proposicoes sao equivalentes.

Propriedade 61. Seja S R nao vazio . u R e cota superior de S t R e

t > u entao t
/ S.
Demonstrac
ao.
). Suponha que u e cota superior de S, entao u satisfaz u x para todo x S
, entao se t > u , t nao pode pertencer `a S , pois caso fosse elemento de S teria que
satisfazer u t o que nao podemos ter junto com t > u.
). Suponha que para qualquer t R com t > u temos que t
/ S , nessas condicoes
u e cota superior de S . Suponha que u nao seja cota superior de S, entao existe v S
tal que v > u, mas por hipotese para um n
umero v maior que u temos que v
/ S o que
contradiz v S, por isso u e cota superior.

1.8.1

Propriedade Arquimediana dos n

umeros reais.

m Definicao

32 (Corpo arquimediano). Um corpo K e dito arquimediano quando vale

que N K e um conjunto ilimitado superiormente.

b Propriedade 62. Dado um corpo ordenado K , sao equivalentes

1. K e arquimediano.
2. Dados a > 0 e b em K existe n tal que na > b .
3. Dado qualquer a > 0 K existe n N tal que 0 <

1
< a.
n

Demonstrac
ao.
1 2. Como K e arquimediano, ent
ao existe n natural tal que n >

pois a > 0.
2 3 . Tomamos b = 1, a >

1
> 0.
n

b
, logo n.a > b
a

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

35

1
1
1
, para algum b > 0, logo > implicando n > b, como b
b
b
n
e arbitrario positivo, segue a propriedade.

3 1 . Tomamos a =

b Propriedade 63. Dado um corpo ordenado K , sao equivalentes

1. K e arquimediano.
2. Z e ilimitado superiormente e inferiormente.
3. Q e ilimitado superiormente e inferiormente.
Demonstrac
ao.
1 2. N Z ent
ao Z e ilimitado superiormente. Suponha por absurdo que Z seja

limitado inferiormente, entao existe a K tal que a < x x Z, logo a > x,

porem existe n natural tal que n > a |{z}
n < a o que contraria a hipotese.
Z

2 3 . Z Q portanto Q e ilimitado superiormente e inferiormente.

a
a
3 1 . Para todo y K existe
Q com a, b > 0 naturais tal que
> y,
b
b
x
da a > yb, podemos tomar y = , logo a > x, a N , portanto N e ilimitado
b
superiormente e o corpo e arquimediano.

b Propriedade 64.

Seja K um corpo ordenado. K e arquimediado > 0 em K

1
existe n N tal que n < .
2
Demonstrac
ao.

1
). Como K e arquimediano, entao > 0 existe n N tal que n > n + 1 >

1
1
1
n
n > por desigualdade de Bernoulli temos 2 > n + 1 > n < .

2
1
1
). Se > 0 em K existe n N tal que n < , tomamos = , x > 0 arbitrario
2
x
entao x < 2n , com 2n = m N entao K e arquimediano, N nao e limitado superiormente.

Propriedade 65. Seja a > 1, K corpo arquimediano, f : Z K com f (n) = an ,

entao
f (Z) nao e limitado superiormente.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

36

inf(F (Z)) = 0.

Demonstrac
ao.
Vale que a > 1 ent
ao a = p + 1 onde p > 0, por desigualdade de Bernoulli temos
x
(p + 1)n 1 + pn. x > 0 K existe n tal que n > pn > x (p + 1)n
p
1 + pn > x, logo f (Z) nao e limitado superiormente.
0 e cota inferior de f (Z) pois vale 0 < an n Z. Suponha que exista x tal que
1
1
0 < x < am m Z, sabemos que existe n N tal que an > da x > n = an ,
x
a
absurdo, entao 0 deve ser o nmo.

Teorema 1 (Propriedade Arquimediana dos n

umeros reais). Sejam x > 0 e y dois
n
umeros reais quaisquer entao existe um n
umero natural n tal que
nx > y.
Demonstrac
ao. Suponha que para todo n e x > 0 tenhamos nx y, logo o
conjunto A = {nx| n } e limitado superiormente e por isso possui supremo, seja s o
supremo do conjunto A, tem-se s x < s e s x nao e cota superior de A pois e menor
que o supremo , por nao ser cota superior temos um elemento mx tal que s x < mx
para algum natural m assim s < mx + x = (m + 1)x o que e um absurdo, pois desse modo
temos um elemento do conjunto A maior que uma das suas cotas superiores.

$ Corolario 32. N nao e limitado superiormente, pois para qualquer y R existe

n N tal que n > y.
1
< . Esse
n
1
corolario sai do teorema anterior tomando y = 1, x = pois temos n > 1 implica > .
n

$ Corolario 33. Para todo > 0 existe pelo menos um natural n tal que

Z Exemplo 9. Seja A = { n1 | n N } . Mostre que inf A = 0. Sabemos que 0 e uma

cota inferior, agora vamos mostrar que 0 e a menor delas. Dado 0 < x, x nao pode ser
1
cota inferior, pois existe n natural tal que < x, logo 0 e o nmo.
n

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.2

37

Conjuntos limitados de inteiros possuem m

aximo e mnimo

b Propriedade 66.

Todo conjunto limitado superiormente de n

umero inteiros possui

um maximo e todo conjunto limitado inferiormente de inteiros possui um mnimo.

Demonstrac
ao. Seja A = {m Z | m < x}, A e um conjunto limitado
superiormente, logo possui supremo s, entao de s 1 < s, existe m inteiro em A com
s1 < m s e da s < m+1, m+1 nao pertence ao conjunto, seja t um elemento qualquer
de A, vamos mostrar que t m, se existisse t > m no conjunto, entao t m + 1 > s o
que e absurdo, entao vale para todo t m t A, m e o maximo e por isso o supremo.
Um conjunto limitado inferiormente de inteiros e do tipo B = {m Z | m > x} o
conjunto A = {m Z | m < x}, A possui maximo m que e o mnimo de B,
m y y B logo m y, m e mnimo de B. ( Observe que estamos usando que nao
existe inteiro x, com m < x < m + 1, para m inteiro ).

Propriedade 67. Dado um n

umero real x, existem u
nicos inteiros m e m 1 tais

que
m 1 x < m.
Demonstrac
ao. Existe um natural n1 tal que n1 > x . Tome
A = {y Z | x < y n1 }
e B = {y Z | y x}, A possui um mnimo m que satisfaz m > x e m 1
/ A logo
m 1 B, implicando que
m 1 x < m.

1.8.3

Q
e denso em R

m
Teorema 2. Dados quaisquer n
umeros reais x e y, existe um n
umero racional
tal
n
m
< y.
que x <
n
Demonstrac
ao. Tem-se que x < y, da y x > 0, logo existe n natural tal que
n(y x) > 1 que implica 1 +nx < ny . Existe tambem um inteiro m com m1 nx < m
da m nx + 1 < m + 1
nx < m 1 + nx < ny nx < m < ny

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

como n > 0 segue que x <

38

m
< y.
n

b Propriedade 68. Sejam I um intervalo nao degenerado e k > 1 natural. O conjunto

A={

m
I | m, n Z} e denso em I.
kn

1
Demonstrac
ao. Dado > 0 existe n N tal que k n > , da os intervalos

m m+1
m+1
m
1
[ n,
] tem comprimento
n = n < .
k
kn
kn
k
k
m+1
m
Existe um menor inteiro m + 1 tal que x +
da

(x , x + ) pois
kn
kn
m
m
se fosse x + < n iria contrariar a minimalidade de m + 1 e se fosse n < x entao
k
k
m m+1
] teria comprimento maior do que de (x , x + ), que e , uma contradicao
[ n,
k
kn
com a suposicao feita anteriormente.

b Propriedade 69. Entre dois numeros reais, sempre existe um numero irracional.
Demonstrac
ao. Suponha que existem x < y, tais que nao existem irracionais em
(x, y) entao nesse intervalo so existem racionais, portanto e enumeravel, o que e absurdo
pois (x, y) e nao enumeravel.

1.8.4

Intervalos encaixados

Propriedade 70. Dada uma sequencia Ak Ak+1 onde Ak = [ak , bk ] entao existe

Ak .
[ak , bk ] =
c Ak k N , isto e, c
k=1

k=1

Demonstrac
ao. Como vale Ak Ak+1 , entao vale [ak+1 , bk+1 ] [ak , bk ], logo
ak ak+1 bk+1 bk k, denindo A = {ak k N } tem-se que A e limitado
superiormente, logo existe c = sup A, vale ak c k pois c e cota superior de A. Agora
vale as bp , para quaisquer s e p naturais, pois se s p, vale as ap bp , se s > p vale
as bs bp , isso mostra que qualquer bp e cota superior para A, entao vale c bp , para
todo p, vale entao c Ak k N.

b Propriedade 71. Sejam (Ik ) uma sequencia de intervalos

limitados dois a dois dis
juntos tais que Ik Ik+1 k N e a interseccao I =

Ik nao e vazia.

k=1

Nessas condicoes I e um intervalo que nao e um intervalo aberto.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

39

Demonstrac
ao. Sejam ak e bk extremidades de Ik entao vale ak bp , k, p N.
As sequencias (ak ) e (bk ) sao limitadas, (ak ) e nao-decrescente e (bk ) nao-crescente, logo
elas sao convergentes sendo lim an = a, lim bn = b.
Dado x I nao pode valer x < a, pois existe xn tal que x < xn < a e (xn ) e

nao-decrescente, da mesma maneira nao pode valer b < x, pois da existe yn tal que
b < yn < x e yn e nao-crescente. Com isso conclumos que I [a, b].
Se a = b, ent
ao I [a, a] = {a} de onde segue I = {a}.
Se a < b ent
ao x com a < x < b an < a < x < b < bn , logo (a, b) I [a, b].

Da conclumos que I e um intervalo com extremos a e b.

Como os In sao dois-a-dois distintos ent
ao (an ) ou (bn ) tem uma innidade de termos

distintos. Digamos que seja (an ), entao n N existe p N tal que an < an+p a
logo a (an , bn ) I, como a I entao I nao pode ser um intervalo aberto, sendo
do tipo [a, b) ou [a, b].

Z Exemplo 10. Sendo A

= [k, ) (fechados nao limitados) temos uma sequencia de

intervalos que sao conjuntos fechados porem a intersecao

Ak = A

k=1

e vazia, pois suponha que exista t A, da existe k > t e t

/ [k, ) = Ak logo nao pode
pertencer a intersecao de todos esses conjuntos.
Da mesma maneira existe uma sequencia decrescente de intervalos abertos limitados
1
com intersecao vazia, sendo Bk = (0, ) (limitados, nao fechados)
k

Bk = B

k=1

1
B e vazio, pois se houvesse um elemento nele x > 0, conseguimos k tal que < x da x
k
1
nao pertence ao intervalo (0, ) = Bk portanto nao pode pertencer a intersecao.
k

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.5

40

Propriedades b
asicas de supremo e nfimo

Propriedade 72 (Propriedade de aproximacao). Sejam A um conjunto limitado

superiormente e c = sup A. Entao para todo > 0 existe x A tal que c < x c.
Essa propriedade nos diz que existem elementos de A, arbitrariamente proximos do
seu supremo.
Demonstrac
ao. Se nao houvesse x A tal que x > c entao c seria uma
cota superior menor que o supremo, o que e absurdo.

b Propriedade 73 (Propriedade de aproximacao para o nmo). Sejam A um conjunto

limitado inferiormente e c = inf A. Entao para todo

> 0 existe x A tal que

c x c + .
Essa propriedade nos diz que existem elementos de A, arbitrariamente proximos do
seu nmo.
Demonstrac
ao. Se nao houvesse x entre c e c + entao c + seria uma cota
inferior , maior que o nmo, o que contradiz a sua denicao.

b Propriedade 74. Sejam A R nao vazio limitado e c R, entao

1. c sup(A) > 0 x A tal que c < x.
2. c inf (A) > 0 x A tal que c + > x.
Demonstrac
ao.
1. ). Para todo > 0 vale que c < sup(A). Dado > 0 xo, se nao existisse
x A tal que c < x entao c seria cota superior menor que o supremo, o que
e absurdo, contraria o fato do supremo ser a menor das cotas superiores.
). Suponha por absurdo que fosse c > sup(A), poderamos tomar c sup(A) =
da c c + sup(A) = sup(A) < x o que e absurdo.
2. ). Para todo > 0 vale que c + < inf (A). Dado > 0 xo, se nao existisse
x A tal que c + > x entao c + seria cota superior menor que o nmo, o que e
absurdo, contraria o fato do nmo ser a menor das cotas inferiores.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

41

). Suponha por absurdo que fosse c < inf (A), poderamos tomar inf (A) c =
da x < c + inf (A) c = inf (A) o que e absurdo.

b Propriedade 75. Sejam A e B conjuntos nao vazio de numero reais. Se A e limitado

inferiormente e B A entao toda cota inferior de A e cota inferior de B.
Demonstrac
ao. Se c e cota inferior de A vale c x para todo x A, em especial
vale c y para todo y B, pois y B implica y A.

b Propriedade 76. Se A e limitado inferiormente e B A entao inf (A) inf (B).

Demonstrac
ao. inf A e cota inferior de A, logo tambem e cota inferior de B,
sendo cota inferior de B vale inf A inf B, pois inf B e a maior cota inferior de B.

b Propriedade 77. Se A e limitado superiormente e B A entao sup(A) sup(B).

Demonstrac
ao. Toda cota superior de A e cota superior de B, logo o sup(A)
e cota superior de B, como sup(B) e a menor das cotas superiores de B segue que
sup(A) sup(B).

$ Corolario 34. Se A e B sao conjuntos limitados com B A entao vale sup(A)

sup(B) inf (B) inf (A) pois temos sup(A) sup(B) e inf (A) inf (B), tendo
ainda que sup(B) inf (B).

b Propriedade 78. Sejam A, B R tais que para todo x A e todo y B se tenha

x y. Entao sup A inf B.
Demonstrac
ao. Todo y B e cota superior de A, logo sup A y para cada y
pois sup A e a menor das cotas superiores, essa relacao implica que sup A e cota inferior
de B logo sup A inf B, pois inf B e a maior cota inferior.

b Propriedade 79.

sup A = inf B para todo > 0 dado , existam x A e y B

com y x < .
Demonstrac
ao. .) Usamos a contrapositiva. Nao podemos ter inf B < sup A
pela propriedade anterior, entao temos forcosamente que inf B > sup A, tomamos entao
= inf B sup A > 0 e temos y x para todo x A e y B pois y inf B e

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

42

sup A x de onde segue x sup A, somando esta desigualdade com a de y tem-se

y x inf B sup A = .

nao e cota superior de

2

A, pois e menor que o sup A (que e a menor cota superior), da mesma maneira inf A +
2
nao e cota inferior de B, entao existem x A e y B tais que
, Se sup A = inf B. Entao para qualquer > 0, sup A

< x sup A = inf B y < inf B +

2
2

inf B < x y < inf B +

2
2

de onde segue inf B < x, x < inf B e y < inf B + somando ambas tem-se
2
2
2
y x < .
sup A

Sejam A, B R, conjuntos limitados .

b Propriedade 80. O conjunto A + B = {x + y | x A, y B} tambem e limitado.

Demonstrac
ao. Se A e limitado , existe t tal que |x| < t para todo x A e
se B e limitado existe u tal que |y| < u y B. Somando as desigualdades e usando
desigualdade triangular segue |x| + |y| < u + t e |x + y| |x| + |y| < u + t logo o conjunto
A + B e limitado.

1.8.6

sup(A + B) = sup(A) + sup(B).

b Propriedade 81 (Propriedade aditiva). Vale sup(A + B) = sup(A) + sup(B).

Demonstrac
ao. Como A, B sao limitados superiormente, temos sup A := a e
sup B := b, como vale a x e b y para todos x, y A, B respectivamente segue que
a + b x + y logo o conjunto A + B e limitado superiormente. Para todo e qualquer > 0
existem x, y tais que

a<x+ , b<y+
2
2
somando ambas desigualdades-segue-se que
a+b<x+y+
que mostra que a + b e a menor cota superior, logo o supremo, ca valendo entao
sup(A + B) = sup(A) + sup(B).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.7

43

inf(A + B) = inf A + inf B.

b Propriedade 82. inf(A + B) = inf A + inf B.

Demonstrac
ao. Sejam a = inf A e b = inf B entao x, y A, B tem-se a x,
b y de onde segue por adicao a + b x + y, assim a + b e cota inferior de A + B.

x, y A, B tal que > 0 vale x < a + e y < b + pois a e b sao as maiores cotas
2
2
inferiores, somando os termos das desigualdades segue x + y < a + b + , que implica que
a + b e a maior cota inferior logo o nmo.
Para a proxima propriedade considere cA = {cx | x A}.

1.8.8

c > 0, sup(c.A) = c. sup A.

b Propriedade 83. Se c > 0 entao sup(c.A) = c. sup A.

Demonstrac
ao. Seja a = sup A. Para todo x A tem-se x a, de onde segue
d
d
cx ca, assim ca e cota superior de cA. Seja d tal que d < ca entao < a logo nao e
c
c
d
cota superior de A, implicando a existencia de pelo menos um x tal que < x, d < cx
c
de onde segue que d nao e cota superior de cA, assim ca e a menor cota superior de cA
logo o supremo.

1.8.9

c > 0, inf cA = c inf A.

b Propriedade 84. Se c > 0, inf cA = c inf A.

Demonstrac
ao.
Seja a = inf A, entao vale a x para todo x, multiplicando por c segue ca cx
d
de onde conclumos que ca e cota inferior de cA. Seja d tal que ca < d, entao a < ,
c
d
d
implicando que nao e cota inferior de A assim existe x A tal que x < cx < d,
c
c
logo d nao e cota inferior de cA, implicando que c.a e a maior cota inferior, logo o nmo
do conjunto.

b Propriedade 85. Se c > 0, inf cA = c inf A.

Demonstrac
ao.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

44

Seja a = inf A, entao vale a x para todo x, multiplicando por c segue ca cx

d
de onde conclumos que ca e cota inferior de cA. Seja d tal que ca < d, entao a < ,
c
d
d
implicando que nao e cota inferior de A assim existe x A tal que x < cx < d,
c
c
logo d nao e cota inferior de cA, implicando que c.a e a maior cota inferior, logo o nmo
do conjunto.

1.8.10

c < 0, inf(cA) = c sup A.

b Propriedade 86. Se c < 0 entao inf(cA) = c sup A.

Demonstrac
ao. Seja a = sup A . Tem-se x a para todo x A, multiplicando
por c segue cx ca para todo x A. Entao ca e uma cota inferior de cA. Se d > ca
d
d
tem-se < a como a e supremo, isso signica que existe x A tal que < x logo d > cx,
c
c
assim esse d nao e cota inferior, implicando que ca e a menor cota inferior, entao nmo
do conjunto.

1.8.11

c < 0, sup(cA) = c inf A.

b Propriedade 87. Se c < 0 entao sup(cA) = c inf A.

Demonstrac
ao. Seja b = inf A entao vale b x para todo x A, multiplicando
por c segue cb cx assim cb e cota superior de cA. Agora tome d tal que cb > d segue
d
d
b < , como b e nmo existe x A tal que x < , cx > d assim esse d nao pode ser cota
c
c
superior de cA, entao cb e a menor cota superior, logo o nmo.

b Propriedade 88.

Sejam A B tal que B e limitado superiormente. Se para cada

b B existe a A tal que b a entao sup A = sup B.

m Definicao

33 (Funcao limitada). Seja A R, f : A R e dita limitada quando o

conjunto f (A) = {f (x) | x A}, se f (A) e limitado superiormente entao dizemos que f e
limitada superiormente e caso f (A) seja limitado inferiormente dizemos que A e limitado
inferiormente.
Seja uma funcao limitada f : V R.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

m Definicao

45

34.
sup f := sup f (V ) = sup{f (x) | x V }

m Definicao

35.
inf f := inf f (V ) = inf{f (x) | x V }

b Propriedade 89. A funcao soma de duas funcoes limitadas e limitada.

Demonstrac
ao. Vale |f (x)| M1 e |g(x)| M2 x A entao
|f (x) + g(x)| |f (x)| + |g(x)| M1 + M2 = M
portando a funcao soma f + g de duas funcoes limitadas e tambem uma funcao limitada.

inf(f + g) inf(f ) + inf(g) e sup(f + g) sup f + sup g.

1.8.12

Sejam f, g : V R funcoes limitadas e c R.

b Propriedade 90.
sup(f + g) sup f + sup g.
Demonstrac
ao.
Sejam
A = {f (x) | x V }, B = {g(y) | y V }, C = {g(x) + f (x) | x V }
temos que C A + B, pois basta tomar x = y nos conjuntos, logo
sup(A + B) sup(f + g)
sup(A) + sup(B) = sup f + sup g sup(f + g)

Z Exemplo 11. Sejam f, g : [0, 1] R dadas por f (x) = x e g(x) = x

Vale sup f = 1, sup g = 0, f + g = 0 logo sup(f + g) = 0 vale entao

sup f + sup g = 1 > sup(f + g) = 0.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

46

Temos ainda inf f = 0, inf g = 1, f + g = 0, inf (f + g) = 0 logo

inf f + inf g = 1 < inf(f + g) = 0.

As desigualdades estritas tambem valem se consideramos as funcoes denidas em [1, 1],
nesse caso sup f + sup g = 2 e inf f + inf g = 2 e sup(f + g) = 0 = inf(f + g).

b Propriedade 91.
inf(f + g) inf(f ) + inf(g).
Demonstrac
ao. De C A + B segue tomando o nmo
inf(A + B) = inf(A) + inf(B) = inf(f ) + inf(g) inf(C) = inf(f + g).

b Propriedade 92. Se c > 0

sup(cf ) = c sup(f )
inf(cf ) = c inf(f ).
Se c < 0

sup(cf ) = c inf(f )
inf(cf ) = c sup(f ).
Basta aplicar o resultado que ja provamos para conjuntos.

b Propriedade 93. Vale a desigualdade

sup(f + g) inf(f ) + sup(g) inf(f + g).
Demonstrac
ao.
1. Vale que sup(f ) + sup(g) sup(f + g), da
sup(f + g) + sup(f ) sup(f + g f )
sup(f + g) inf(f ) sup(g) sup(f + g) sup(g) + inf(f )

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

47

2. Da mesma maneira, temos inf(f + g) inf(f ) + inf(g) e da

inf(f + g g) inf(f + g) + inf(g)
inf(f ) inf(f + g) sup(g) inf(f ) + sup(g) inf(f + g)
logo ca provado o resultado.
Demonstrac
ao. sup B e uma cota superior de A (ver depois)

m Definicao

36. Sejam A e B conjuntos nao vazios, denimos A.B = {x.y | x A, y

B}.

b Propriedade 94. Sejam A e B conjuntos limitados de numeros positivos, entao vale

sup(A.B) = sup(A). sup(B).
Demonstrac
ao. Sejam a = sup(A) e b = sup(B) entao valem x a e y
b, x A, y B da x.y a.b, logo a.b e cota superior de A.B. Tomando t < a.b segue
t
t
t
t
que < b logo existe y B tal que < y da < a logo existe x A tal que < x
a
a
y
y
logo t < x.y entao t nao pode ser uma cota superior, implicando que a.b e o supremo do
conjunto.

b Propriedade 95. Sejam A e B conjuntos limitados de numeros positivos, entao vale

inf(A.B) = inf(A). inf(B).
Demonstrac
ao. Sejam a = inf(A) e b = inf(B) entao valem x a e y b, x
t
A, y B da x.y a.b, logo a.b e cota inferior de A.B. Tomando t > a.b segue que > b
a
t
t
t
logo existe y B tal que > y da > a logo existe x A tal que > x logo t < x.y
a
y
y
entao t nao pode ser uma cota inferior, implicando que a.b e o nmo do conjunto.

b Propriedade 96. Sejam f, g : A R funcoes limitadas entao f.g : A R e limitada.

Demonstrac
ao. Vale que |f (x)| < M1 e |g(x)| < M2 entao |f (x)g(x)| < M1 M2 =
M x A , portanto f.g : A R e limitada.

b Propriedade 97. Sejam f, g : A R+ limitadas superiormente, entao

sup(f.g) sup(f ) sup(g).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

48

Demonstrac
ao. Sejam C = {g(x).f (x) | x A} , B = {g(y). | y A} e
A = {f (x) | x A} . Vale que C A.B para ver isso basta tomar x = y nas denicoes
acima, da
sup(A.B) sup(C)
sup(A) sup(B) sup(C)
sup(f ) sup(g) sup(f.g).

b Propriedade 98. Sejam f, g : A R+ limitadas inferiormente, entao

inf(f.g) inf(f ) inf(g).
Demonstrac
ao. Sejam C = {g(x).f (x) | x A} , B = {g(y). | y A} e
A = {f (x) | x A} . Vale que C A.B, da
inf(A.B) inf(C)
inf(A) inf(B) inf(C)
inf(f ) inf(g) inf(f.g).

Z Exemplo 12. Sejam f, g : [1, 2] R dadas por f (x) = x e g(x) = x1 , vale sup f = 2,
sup g = 1 sup f. sup g = 2 e sup(f.g) = 1, pois f.g = 1 logo
sup f sup g > sup(f.g).
Da mesma maneira inf f = 1, inf g =

1
1
vale inf f. inf g = e inf(f.g) = 1 portanto
2
2

inf f. inf g < inf(f.g).

b Propriedade 99. Seja f : A R+ limitada superiormente entao sup(f 2) = (sup f )2.

Demonstrac
ao. Seja a = sup f tem-se f (x) a x da f (x)2 a2 entao a2

e cota superior de f 2 , e e a menor cota superior pois se 0 < c < a2 entao c < a logo

existe x tal que c < f (x) < a e da c < f (x)2 < a2 logo a2 e a menor cota superior
sup(f 2 ) = sup(f )2 .

b Propriedade 100. Seja f : A R+ entao inf(f 2) = (inf f )2.

Demonstrac
ao. Seja a = inf f tem-se f (x) a x da f (x)2 a2 entao a2 e

cota inferior de f 2 , e e a maior cota inferior pois se a2 < c entao a < c logo existe x tal

que a < f (x) < c e da a2 < f (x)2 < c logo a2 e a maior cota inferior inf(f 2 ) = inf(f )2 .
Sejam A, B R nao vazios e limitados superiormente.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.13

49

sup(A B) = max{sup A, sup B}

b Propriedade 101. Vale sup(A B) = max{sup A, sup B}.

Demonstrac
ao. Suponha que max{sup A, sup B} = sup A, sem perda de generalidade. Sabemos que para todo a A vale a sup A e b B vale b sup B sup A,
entao dado x A B segue x sup A. O que implica sup A ser cota superior. Agora
vamos mostrar que sup A e a menor das cotas superiores. Suponha que exista d < sup A
entao d nao pode ser cota superior dos elementos do conjunto A, pois sup A e a menor
delas, da existe x A tal que d < x, mas como x A B implica que d tambem nao e
cota superior de A B, de onde segue que sup A e a menor cota superior, logo o supremo.

b Propriedade 102. Sejam Ak , k N , conjuntos nao vazios, limitados superiormente

de n
umeros reais. Vale a propriedade
sup(

Ak ) = max{sup Ak , k In }.

k=1

Demonstrac
ao. A propriedade vale para n = 1. Suponha que vale para n e vamos
n
n+1

Ak An+1 = B A, vale pela propriedade

Ak =
provar para n + 1. Temos que
| {z }
k=1
k=1
=A
| {z }
=B

anterior
sup(A B) = max{sup A, sup B}
n+1

sup(

Ak ) = max{sup An+1 , sup B}

k=1

temos que sup B = sup As para algum s In , como vale As Ak para todo k In
podemos colocar tais elementos Ak , k In dentro do conjunto do qual tomamos o maximo,
pois nao ira alterar a escolha do maximo, logo tem-se
n+1

sup(

Ak ) = max{sup Ak , k In+1 .}

k=1

Z Exemplo 13. Se A B = e verdade que sup A B = min{sup A, sup B}?

A propriedade em geral e falsa, pois podemos tomar A = {3, 4} e B = {3, 5}, temos
A B = {3} e sup A B = 3 alem disso min{sup A, sup B} = min{4, 5} = 4, logo nao
vale em geral a identidade.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.14

50

inf(A B) = min{inf A, inf B}

b Propriedade 103. Vale que inf(A B) = min{inf A, inf B} .

Demonstrac
ao. Suponha que inf(A) inf(B), inf(A) e cota inferior de A B,
dado x A, pois dado x A tem-se x inf(A), dado x B, x inf(B) inf(A).
Agora suponha c < inf(A), existe x A tal que
c < x < inf(A)
o que gera absurdo, pois c deveria ser cota inferior de A B.

b Propriedade 104. Sejam A e B dois conjuntos de numeros reais, limitados superiormente. Se sup A < sup B entao existe b B tal que b e uma cota superior de A.
Demonstrac
ao. Seja c = sup B. > 0 c nao e cota superior de B, logo existe
b B tal que c < b; tomando = sup B sup A, tem-se sup B sup B + sup A < b,
da b e cota superior de A.

b Propriedade 105. Seja A R.

O supremo pertence a um conjunto o conjunto possui maximo , e nessas condicoes

o supremo e o maximo do conjunto.

O nmo pertence a um conjunto o conjunto possui mnimo , e nessas condicoes

o nmo e o mnimo do conjunto.

Demonstrac
ao.
). Se c o supremo pertence ao conjunto, entao ele e o maximo, pois satisfaz

c x x A. ). Se o conjunto possui maximo c entao vale x c x A, c

e uma cota superior, vamos mostrar que e a menor delas, c nao pode ser cota
superior pois c < c, entao c e o supremo.
). Se c o nmo pertence ao conjunto, entao ele e o mnimo, pois satisfaz c

x x A. ). Se o conjunto possui mnimo c entao vale x c x A, c e uma

cota inferior, vamos mostrar que e a maior delas, c + nao pode ser cota superior
pois c + > c, entao c e o nmo.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.8.15

51

sup{|f (x) f (y)| | x, y A} = sup f inf f .

b Propriedade 106. Sejam f : A R limitada, m = inf f, M = sup f e w = M m,

entao

w = M m = sup{|f (x) f (y)| | x, y A}.

Demonstrac
ao. Sejam x, y A arbitrarios , sem perda de generalidade podemos
considerar f (x) f (y) entao
m f (y) f (x) M
e da
|f (x) f (y)| M m = w,
logo w e cota superior, vamos mostrar que e a menor. Para qualquer > 0 existem

x, y A tais que f (x) > M e f (y) < m + e da

2
2
|f (x) f (y)| f (x) f (y) > M m = w
logo w e a menor das cotas superiores.

Propriedade 107. Dada uma sequencia (at ) e um n

umero c maior que todos ele-

mentos dessa sequencia, entao vale

n

at

ak +

k=1

n+n
0

k=n+1

n0 + n

<c

para n0 sucientemente grande.

Demonstrac
ao.
n

at

a desigualdade

k=1

ak +

n+n
0
k=n0 +1

n0 + n

c
< c at n0 + at n <

ak + n0 c < nc + n0 c

k=1

ak + n0 c < nc + n0 c vale para qualquer n0 , devemos analisar agora a

k=1

primeira desigualdade. Vejamos dois casos, se

at n0 < cn0 , agora analisamos o caso de

k=1

ak > at n nada precisamos mostrar pois

k=1

ak < at n, isto e, 0 < nat

k=1

ak

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

at n0 + at n <

ak + n0 c at n
n

at n
entao tomando n0 maior que

ak < n0 (c at )
| {z }
k=1
positivo

ak

k=1

c at

< n0

ak

k=1

c at
n

at

at n

k=1

52

k=1

tem-se
ak +

n+n
0

k=n+1

n0 + n

< c.

b Propriedade 108. Todo conjunto nito de numeros reais possui maximo e mnimo.
Demonstrac
ao. Todo conjunto nito e limitado. Seja o conjunto {x1 , , xn },
n

|xk |, logo o conjunto e limitado. Como o conjunto e

para qualquer s vale |xs |
k=1

limitado ele possui supremo e nmo. Se o supremo c nao pertence ao conjunto, vale
n+n
n

0
ak +
c
k=1
k=n+1
ak < c, k, da para tomando y =
para n0 sucientemente grande, temn0 + n
se at < y < c para todo t, da y e uma cota superior menor que o supremo, o que e
absurdo. Logo o supremo deve pertencer ao conjunto e portanto e o maximo.
Vale que A e nito, entao possui supremo t no conjunto, portanto sendo maximo,
vale que sup(A) = inf (A) inf (A) = sup(A) = (t) = t, logo o nmo
pertence `a A logo e mnimo.

b Propriedade 109.

Sejam B A nao vazios, A limitado superiormente, se x A

existe y B tal que y x entao sup(B) = sup(A).

Demonstrac
ao. B e limitado superiormente pois esta contido em um conjunto
limitado e vale que sup(A) sup(B), pois B A, suponha que fosse c = sup(A) >
sup(B), entao tomando = sup(A) sup(B) > 0, existe x A tal que x > c =
sup(A) sup(A) + sup(B) = sup(B), por hipotese existe y x > sup(B) com y B, o
que e absurdo, pois nao pode existir um elemento maior que o supremo.

Propriedade 110. Sejam B A nao vazios, A limitado inferiormente, se x A

existe y B tal que y x entao inf (B) = inf (A).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

53

Demonstrac
ao. B e limitado inferiormente pois esta contido em um conjunto
limitado e vale que inf (A) inf (B), pois B A, suponha que fosse c = inf (A) <
inf (B), entao tomando = inf (B) inf (A) > 0, existe x A tal que x < c + =
inf (A) sup(A) + inf (B) = inf (B), por hipotese existe y x < inf (B) com y B, o
que e absurdo, pois nao pode existir um elemento menor que o nmo.

1.8.16

Corte de Dedekind

m Definicao

37 (Corte de Dedekind). Um corte de Dedekind e um par ordenado (A, B)

onde A, B Q nao vazios, tais que A nao possui maximo, A B = Q e x A, y B

vale x < y.
Seja C o conjunto dos cortes de Dedekind.

b Propriedade 111. Em (A, B) vale sup(A) = inf (B).

Demonstrac
ao. Ja sabemos que vale sup(A) inf (B), pois x A, y B vale
x < y implica sup(A) < y e sup(A) ser cota inferior implica sup(A) inf (B), suponha
por absurdo que fosse sup(A) < inf (B), entao o intervalo (sup(A), inf (B)) nao possui
valores x A, pois se nao x > sup(A), nem y B pois da y < inf (B), mas como existem
racionais em tal intervalo, pois Q e denso e A B = Q, chegamos em um absurdo.

b Propriedade 112. Existe bijecao entre R e C o conjunto dos cortes.

Demonstrac
ao. Denimos f : C R como f (A, B) = sup(A) = inf (B).
f e injetora, suponha f (A, B) = f (A , B ) entao sup(A) = inf (B) = sup(A ) =

inf (B ).
Dado x A vamos mostrar que x A .
x < sup(A ) = inf (B ) y , y B , da x A
a inclusao A A e analoga. Entao vale A = A .
Dado y B, vamos mostrar que y B .

x < sup(A) < inf (B ) y

com isso y B . De maneira similar, B B portanto B = B . Como vale B = B
e A = A entao a funcao e injetiva.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

54

A funcao e sobrejetiva. Para qualquer y R, tomamos os conjuntos (, y)Q = A

e B = [y, ) Q, A nao possui maximo, para todo x A e y B tem-se y > x e

Q = [(, y) Q] [ [y, ) Q], alem disso vale sup(A) = y = inf (B), portanto
f (A, B) = y e a funcao e sobrejetora, logo sendo tambem injetora f e bijecao.

1.8.17

Classificac
ao de intervalos

b Propriedade 113. Um conjunto I R e um intervalo a < x < b com a, b I

implica x I.
Demonstrac
ao.
). Se I e um intervalo entao ele satisfaz a propriedade descrita.
). Se a denicao tomada de intervalo for: dados a , b elementos de I se para todo x
tal que a < x < b entao x I, logo o conjunto I deve ser um dos nove tipos de intervalos.
Caso I seja limitado, inf I = a e sup I = b, se a < x < b, existem a , b tais que
a < x < b logo x I, isto e, os elementos entre o supremo e o nmo do conjunto
pertencem ao intervalo. Vejamos os casos
inf I = a, sup I = b sao elementos de I, logo o intervalo e da forma [a, b].
a
/ I, b I, o intervalo e do tipo (a, b].
aI eb
/ I, o intervalo e do tipo [a, b).
a
/ I e b
/ I tem-se o intervalo (a, b). Com isso terminamos os tipos nitos de

intervalos.
Se I e limitado inferiormente porem nao superiormente.
a I , gera o intervalo [a, ).
a
/ I, tem-se o intervalo (a, ).

Se I e limitado superiormente porem nao inferiormente.

b I , gera o intervalo (, b].
b
/ I, tem-se o intervalo (, b).

Ou
ltimo caso, I nao e limitado
I = (, )

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.9

55

A reta estendida

m Definicao

38 (Reta estendida). Denimos a reta estendida R, como o conjunto

R := R {} {}

, isto e, fazemos a adjuncao de dois pontos e , chamados pontos ideais, tal que
para elementos de R vale a ordem ja denida. Os pontos de R chamamos de nitos e
e de pontos innitos. Dado x R arbitrario denimos que vale
< x < .
Dado x R denimos as operacoes
x+=+x=
x = + x = .
Se x > 0 denimos
x. = .x = , x() = ().x = .
Se x < 0 denimos
x. = .x = ,

x() = ().x = .

Podemos denotar tambem R = [.] e = +.

x R, denimos
x
x
=
= 0.

:= .a1 e
:= .a1 .
a
a
Deniremos tambem 0 . = .0 = 0 e 0 .() = (). 0 = 0, porem essa
a = 0,

denicao nao e usual, sendo deixada por muitos autores como indenida, porem e usada
na teoria de integracao.

m Definicao

39. Se um conjunto A nao e limitado inferiormente, denimos inf A = .

m Definicao

40. Se um conjunto A nao e limitado superiormente, denimos sup A = .

com essas denicoes, todo conjunto nao vazio em R possui supremo e nmo em R.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

1.10

56

Razes

b Propriedade 114. Sejam x > 0, a > 0. Se xn < an entao x < a.

Demonstrac
ao. Se a = x entao an = xn absurdo, se x > a entao xn > an
absurdo, por tricotomia segue entao que x < a.

b Propriedade 115. Dado qualquer n > 0 N

e a 0 R , entao existe um u
nico

b R tal que b 0 e bn = a.
Demonstrac
ao. Unicidade. Suponha que existam b1 e b2 com b2 > b1 > 0 entao
bn2 > bn1 o que e absurdo.
Se a = 0, tomamos b = 0 e da 0n = 0. O caso de 0 < a 1 recai sobre o caso de
1
1
a 1, pois se existe a = bn com a 1 entao ( )n = 1.
b
a
Denimos o conjunto
Ca = {x > 0, x R | xn a}
Ca e nao vazio pois 1 Ca , pois 1n = 1 a, alem disso e limitado superiormente por
(1 + a)n , pois xn a < (1 + a)n da xn < (1 + a)n que implica x < 1 + a. Como o conjunto
e limitado superiormente e nao vazio entao ele possui um supremo b. Vamos mostrar que
b nao satisfaz bn > a nem bn < a, entao por tricotomia vale bn = a.
Suponha bn < a entao denimos

:= a bn > 0
( )
n nk
M = max{
b , k In }
k
e

}
= min{1,
|{z}
nM
>0

( )
n nn

, da M 1 pois
b
=1e
implicando nM e 1 que implica
n
nM
k < Tem-se
n ( )
n

n nk k
n
n
n
(b + ) = b +
b b +
M = bn + nM bn + = a.
k
k=1
k=1
Entao b + pertence ao conjunto Ca o que e absurdo pois b e o supremo.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

57

Suponha bn > a entao denimos

:= bn a > 0
, usamos as mesmas denicoes para e M . Tem-se
n ( )
n

n nk
k k
n
(b ) = b +
b (1) b
M = bn nM bn = a.
k
k=1
k=1
n

Como b nao e o supremo, entao existe x Ca tal que b < x < b e da

(b )n < xn a o que contradiz b a, absurdo. Como nao vale bn < a nem
bn > a entao vale bn = a.

Definic
ao 41 (Raiz n-esima). Para cada n N e a R com a 0 denimos a

n-esima raiz de a como o u

nico n
umero real b tal que b 0 e bn = a e denotamos por
b=
No caso de n = 2 escrevemos

a = an .

a ao inves de

2
a.

m Definicao

42 (Potencia racional). Dado qualquer n

umero racional r, podemos esm
com n > 0 e denimos
crever r =
n
m

a n := (am ) n
para cada a > 0 R.

Definic
ao 43 (Raiz negativa de ndice mpar). Se n e mpar e a 0 R entao

denimos
1

(a) n = (a n ).

b Propriedade 116. Se a > b > 0 entao

a > b.

Demonstrac
ao. Por tricotomia existem tres possibilidades

a=

b nesse caso a2 = b2 e da (a b)(a + b) = 0, implicando a = b, que nao

pode acontecer pois a > b ou implicando a = b, que nao pode acontecer pois um
deles seria negativo, contrariando a hipotese.

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

58

a da b2 > a2 entao (b a)(a + b) > 0, porem b a < 0 e a + b que e absurdo.

Segue entao por tricotomia que a > b.

b>

Z Exemplo 14.

Sejam X = {x Q+ | x2 < 2} e Y = {y Q+ | y 2 > 2}.

Se x > 2 entao x2 > 2. Se y < 2 entao y 2 < 2, disso conclumos que que vale

X (0, 2) e Y ( 2, ), pois 2 e irracional logo nao pode ser elemento de X

ou Y . Iremos mostrar que nao existe sup X nem inf Y em Q apesar dos conjuntos
serem limitados. Da observacao anterior segue tambem que X e Y sao disjuntos e
x Xey Y vale x < y.
X nao possui elemento maximo. Seja x X ent
ao x2 < 2, 0 < 2 x2 , vale tambem
2 x2
que 2x + 1 > 0, da 0 <
, podemos entao tomar um racional r < 1 tal que
2x + 1
2 x2
0<r<
, e vale ainda x + r X, pois de r < 1 tem-se r2 < r e da relacao
2x + 1
r(2x + 1) < 2 x2 implica

(x + r)2 = x2 + 2rx + r2 < x2 + 2rx + r = x2 + r(2x + 1) < x2 + 2 x2 = 2

entao (x + r)2 < 2.
O conjunto Y nao possui elemento mnimo. Como vale y > 0 e y 2 > 2, tem-se
y2 2
y 2 2 > 0 e 2y > 0, logo existe um racional r tal que 0 < r <
, logo
2y
r2y < y 2 2, y 2 2ry > 2. Vale ainda que y r Y pois

(y r)2 = y 2 2ry + r2 > y 2 2ry > 2

logo vale (y r)2 > 2. Vale tambem y r > 0 pois de 2ry < y 2 2 segue
y 1
r < < y, logo y r > 0, logo y r Y , perceba ainda que y r < y entao
2 y
o conjunto Y realmente nao possui mnimo.
Suponha que exista sup X = a, vale a > 0, nao pode ser a2 < 2 pois da a X,

mas X nao possui maximo. Se a2 > 2 entao a Y , porem Y nao possui mnimo
o que implica existir c Y tal que x < c < aX o que contradiz o fato de a ser
a menor cota superior (supremo). Sobre entao a possibilidade de ser a2 = 2, que

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

implica a =

59

2, n
umero irracional o que e absurdo, logo nao existe supremo para

X.
Seja a = inf Y , nao pode valer a2 > 2 pois se nao a Y , mas y nao possui mnimo.

Se a2 < 2 entao a X, porem X nao possui maximo, da conseguimos c X tal

que a > c > y y Y o que implica que a nao pode ser cota inferior, deve valer
entao que a2 = 2 o que e absurdo, logo Y nao possui nmo em Q. Conclumos
entao que X nao possui supremo e Y nao possui nmo.

b Propriedade 117. Se a, b R+ e q N entao

1

(a.b) q = a q .b q
1

Demonstrac
ao. Se fosse (a.b) q > a q .b q ou (a.b) q < a q .b q ao elevar `a q teramos
1

ab > ab o que e absurdo logo vale (a.b) q = a q .b q .

b Propriedade 118. Denimos que a

m
n

= (am ) n agora vamos provar que tambem vale

m

(a n )m = a n .
Demonstrac
ao. Primeiro provamos para m natural. Para m = 1 a propriedade
vale. Supondo a validade para m vamos provar para m + 1
1

(a n )m+1 = (a n )m a n = (am ) n a n = (am .a) n = (am+1 ) n = a

m+1
n

b Propriedade 119. Se a, b R+ e r, s racionais entao

ar+s = ar as
(ar )s = ars
(a.b)r = ar .br .

Demonstrac
ao.

aq+s = a

ps+qr
qs

ps

qr

= (a qs )ps+qr = (a qs ).(a qs ) = (a q ).(a s ).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

60

Primeiro mostramos que (a q ) p = (a pq ) pois y = ((a q ) p )p = (a q ) elevando `a q temos

1

y pq = a logo y = a pq . Agora demonstramos o caso geral

s

st

(a q ) p = (((a q )s ) p )t = (((a q ) p )s )t = (a qp .
1

Vale que (a.b) q = a q .b q elevando `a p Z tem-se (a.b) q = a q .b q como queramos

demonstrar.

1.11

Di
ametro de conjuntos

m Definicao

44 (Diametro de um conjunto limitado). Seja A R um conjunto limi-

tado, denimos seu diametro por

diam(A) = sup{|x y| |x, y A}.
Como A e limitado, o conjunto de n
umeros reais {|x y| |x, y A} e limitado superiormente por isso possui supremo, entao a denicao faz sentido.

Definic
ao

45 (Diametro de um conjunto ilimitado). Quando A nao e limitado

escrevemos diam A = .

b Propriedade 120. Se A B entao diam(A) diam(B).

Demonstrac
ao. A propriedade vale pois temos
{|x y| | x, y A} {|x y| | x, y B}
pois A B, logo por propriedade de supremo temos
sup{|x y| | x, y A} sup{|x y| | x, y B},
isto e, diam(A) diam(B).

b Propriedade 121. Vale que diam(A) = diam(A) A R.

Demonstrac
ao.[1] Seja c = diam(A). Existem x, y A tais que
||x y| c| <

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

61

da mesma forma existem v e w em A tais que

||v w| |x y|| <

da por desigualdade triangular temos

||v w| c| ||v w| |x y|| + ||x y| c| <

+ =
2 2

logo vale diam(A) = diam(A) .

Demonstrac
ao.[2]
Como vale E E, segue que diamE diamE. Por outro lado, sejam x, y E entao
existem x , y em E, tais que

|x x | , |y y |
2
2
da
|x y| |x x | + |x y | + |y y| |x y | +

+
2 2

|x y| |x y | + + diam(E)
logo por propriedade de supremo diam(E) diam(E) + como vale para todo temos
diam(E) diam(E) e da com a outra desigualdade segue que sao iguais.

Propriedade 122. Se K R e compacto entao existem x0 , y0 K tais que

diam(K) = |x0 y0 |.
Demonstrac
ao.
Seja f : K K R com f (x, y) = |x y|, a funcao e contnua, como K K
e subconjunto compacto de R R = R2 existe um ponto (x0 , y0 ) K K tal que
f (x0 , y0 ) = sup{|x y| K K} = diam(K).

b Propriedade 123. Sejam A limitado, m = inf(A), M = sup(A) e w = M m, entao

w = M m = sup{|x y| | x, y A}.
Isto e, vale que
diam(A) = sup(A) inf(A).

CAPITULO 1. CONCEITOS BASICOS

DE ANALISE

62

Demonstrac
ao. Sejam x, y A arbitrarios , sem perda de generalidade podemos
considerar x y entao
myxM
e da
|x y| M m = w,
logo w e cota superior, vamos mostrar que e a menor. Para qualquer > 0 existem

x, y A tais que x > M e y < m + e da

2
2
|x y| x y > M m = w
logo w e a menor das cotas superiores.

1.12

C
alculo de supremo e nfimo de alguns conjuntos

b Propriedade 124. Temos que sup(a, b) = b e inf(a, b) = a.

Demonstrac
ao. Consideramos o intervalo nao degenerado , b e cota superior de
(a, b) = I e a e cota inferior, pois I e o conjunto dos pontos x R tais que a < x < b .
b e a menor cota superior de (a, b) . Suponha que nao seja, entao existe uma cota

superior menor b tal que vale a < x b < b x (a, b) , o que e absurdo, pois
b + b
b + b
a < b <
<be
(a, b) contraria b ser cota superior de (a, b).
2
2
a e a maior cota inferior de (a, b) . Suponha que nao seja, entao existe uma cota

inferior maior a tal que vale a < a x < b x (a, b) , o que e absurdo, pois
a + a
a + a
< a < b e
(a, b) contraria a ser cota inferior de (a, b).
a<
2
2