Definição 1.7.
Seja A um subconjunto não vazio do conjunto de números reais R.
i) Dizemos que o conjunto A é limitado superiormente, se existe um elemento k1 .
R tal que:
a = k1, para todo a .
A.
ii) Dizemos que o conjunto A é limitado inferiormente, se existe um elemento k2 .
R tal que:
k2 = a , para todo a .
A.
iii) Diremos que o conjunto A é limitado, se for limitado superior e inferiormente.
Exemplo 1.34.
1
a) Os conjuntos N, A=(0,+1)eB= { /.
n.
N } são conjuntos limitados inferiormente;
n
um limite inferior é k1 = -5.
b) Os conjuntos A = (-1, 3]eB= { x .
R ;5 -(x - 1)2 > 0 } são conjuntos limitados superiormente; um limite superior é k2 = 5.
1
c) O conjunto A = { =.
n .
N} é limitado.
n
Observação 1.8.
O menor dos limites superiores é chamado de “supremo” e, o maior dos limites inferiores é chamado “ínfimo”.
O ínfimo ou supremo de um conjunto, pode não pertencer ao próprio conjunto.
1
Por exemplo o ínfimo para o conjunto A = { =.
n .
N} é o zero.
n
Definição 1.8.
Seja A .
R e A 6
= ;.
i) O número real s é chamado supremo de A e denotamos s = sup:A quando:
1o O número s é limite superior de A; isto é a = s .
a .
A.
2o Se b .
A e b<s então existe x .
A tal que b<x = s.
ii) O número real r é chamado ínfimo de A e denotamos r = inf.A quando :
1o O número r é limite superior de A; isto é r = a 8a .
A.
2o Se b .
A e r<b então existe x .
A tal que r = x<b.
Definição 1.9.
Se o supremo e ínfimo de um conjunto A pertencem ao mesmo conjunto A, então são chamados de “máximo” e “mínimo” respectivamente de A e denotamos max :A e min :A (respectivamente).
38 Christian Quintana Pinedo
Exemplo 1.35.
1
Sejam os conjuntos:
A = (0, 9] B = { =:n .
N} C = N.
n
Então:
inf :(A)=0 e sup :(A) = 9 = max :(A); inf :(B)=0 e sup :(B) = 1 = max :(B) inf :(C)=0 e sup :(C) não existe.
Axioma 1.2.
Axioma do Supremo.
Todo conjunto de números reais não vazio limitado superiormente, tem supremo
Propriedade 1.11.
Se o conjunto A .
R sendo A 6e
= Ø A limitado inferiormente, então o conjunto A possui ínfimo.
Demonstração.
Seja B = f¡x .
R=.
x .
A } , B =6
Ø
Se c é limite inferior de A, então c = a .
a .
A; logo ¡a = c .
a .
A então ¡c é limite superior de B e pelo axioma do supremo então B possui supremo s = sup :(B); assim ¡s = inf :(A).
Propriedade 1.12.
Princípio da boa ordem.
Todo conjunto não vazio de Z limitado inferiormente possui mínimo.
A demonstração é exercício para leitor.