Sea un subconjunto no vaco del conjunto de nmeros reales.

a) Diremos que est acotado superiormente por , o que es cota superior de

, cuando , para todo .
Una cota superior de se llama supremo de si ningn nmero menor que
es cota superior de , es decir cuando es la menor de las cotas superiores de .
b) Anlogamente a los anteriores se pueden definir los conceptos siguientes:
El conjunto est acotado inferiormente por , o bien es cota inferior de ,
cuando para todo .
Una cota inferior de se llama nfimo de S si ningn nmero mayor que es
cota inferior de , es decir cuando es la mayor de las cotas inferiores de .
Observacin:
a. El nfimo y el supremo pueden no pertenecer al conjunto .
b. El nfimo y el supremo son nicos (ejercicio actividad 1).
Una propiedad fundamental de los nmeros reales la constituye el axioma del
supremo, el cual establece que todo subconjunto de no vaco y acotado
superiormente posee supremo. De l se deduce otra condicin anloga para la
existencia de nfimo. Adems estas propiedades son caractersticas del
conjunto .
Ejemplo: Hallar el supremo y el nfimo del siguiente conjunto:
=
1

| .
Observe que el conjunto est formado por los elementos 1,
1
2
,
1
3
,
1
4
,
1
5
, , por lo
que podemos ver que todos estos elementos son menores o iguales que 1. Por
lo tanto, cualquier nmero 1,2,3,4,5, es una cota superior de , es decir,
1

1,
1

2,
1

3,
1

4,
1

5, ..
Pero de todas estas cotas superiores el 1 es el nmero ms pequeo. Esto es,
el 1 es la menor cota superior, por lo tanto el supremo del conjunto es el 1.
Por otra parte podemos ver que todos los nmeros de la forma
1

se hacen
cada vez ms pequeos. Se acercan a cero pero nunca valen cero, es decir,
1

> 0.
Esto significa que el 0 es una cota inferior. Pero tambin
1

> 0,
1

> 1,
1

> 2,
esto es, los nmeros 0, 1, 2, son cotas inferiores para el conjunto . Sin
embargo el 0 es el mayor valor de este conjunto. Por lo tanto el cero es la
mayor cota inferior. Es decir el 0 es el nfimo del conjunto (pero no pertenece
al conjunto).