You are on page 1of 3

TOPOLOGÌA GENERAL

_____________________________________________________________________________

SUPREMOS E ÌNFIMOS

Definiciones
Sea T un subconjunto no vacío de ℝ.

 Si T está acotado por arriba , entonces se dice que una cota superior es un
supremo - o una mínima cota superior - de T si es menor que cualquier cota
superior de T. En tal caso, a esa cota superior se le denota sup T.

 Si T está acotado por abajo, entonces se dice que una cota inferior es un ínfimo
- o una máxima cota inferior- de T si es mayor que cualquier cota inferior de T.
En tal caso, a esa cota inferior se le denota inf T.

Propiedades
 s es supremo del subconjunto T no vacío del conjunto R de números reales si es
cota superior de T y si sólo si para toda ε > 0 existe 𝑆ε en T tal que s - ε < 𝑆ε .
 r es ínfimo del subconjunto T no vacío del conjunto R de números reales si es
cota inferior de T y si sólo si para toda ε > 0 existe 𝑟ε en T tal que r+ε > 𝑟ε .
 Sea L un subconjunto acotado de números reales. A su vez K un subconjunto no
vacío de L, entonces se cumple que inf L ≤ inf K ≤ sup K ≤sup L.
 Si el supremo (ínfimo) existe, entonces es único
 sup(AꓴB)= max{sup(A),sup(B)}, si es que dichos supremos existen.
 inf(AꓴB)= min{inf(A),inf(B)}, si es que dichos ínfimos existen
 Un conjunto tiene máximo (mínimo) si y solamente si el supremo (ínfimo) es un
elemento de dicho conjunto.

Ejemplos
En el campo de los números reales, todo subconjunto no vacío, acotado superiormente
posee un supremo, contenido o no dentro del subconjunto.
TOPOLOGÌA GENERAL
_____________________________________________________________________________

¿De cuál de los intervalos siguientes es supremo el número 2?

a) (2, +∞) b) (-∞, 2) c) [-5, 2]

El intervalo (2, +∞) contiene a todos los números mayores que 2. No tiene cotas
superiores pues no hay ningún número que sea mayor o igual que todos los demás en
el intervalo. Por no tener cotas superiores no puede tener supremo.

El intervalo (-∞, 2) contiene a todos los números menores que el 2. Cotas superiores
son el 100, el 5, el 4, el 3, el propio 2, por ejemplo. No hay ninguna cota superior más
pequeña que el 2. Por ello el 2 es el supremo del intervalo.

El intervalo [-5, 2] contiene a todos los números comprendidos entre el -5 y el 2
(incluidos). Tiene las mismas cotas superiores que el intervalo anterior. Por ello el 2
también es supremo del intervalo.

¿De cuál de los intervalos siguientes es ínfimo el número -2?

a) [-2, +∞) b) (-3, -2) c) (-2, 2]
TOPOLOGÌA GENERAL
_____________________________________________________________________________

El intervalo [-2, +∞) contiene a todos los números mayores o iguales que -2. Cotas
inferiores son el -100, el -10, el -4, el -3 y el propio -2, por ejemplo. No hay ninguna
cota inferior más grande que el -2. Por ello el -2 es el ínfimo.

El intervalo (-3, -2) contiene a todos los números comprendido entre el -3 y el -2.
Cotas inferiores son el -100, el -5, el -4, el -3, pero no el -2, ya que -2 no es menor o
igual que todos los números del intervalo (por ejemplo, no es menor o igual que -2,5).
Al no ser cota inferior, -2 no puede ser el ínfimo.

El intervalo (-2, 2] contiene a todos los números comprendidos entre el -2 y el 2
(incluido). En este caso -2 es una cota inferior pues es mayor o igual que todos los
números del intervalo. Además es la mayor de todas las cotas inferiores (otras cotas
inferiores serían el -3, el -10, etc.). Por ello -2 es el ínfimo del in
tervalo.