Axioma del Supremo

April 25, 2008

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Observaciones
M se llama cota superior de A.

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Observaciones
M se llama cota superior de A.

Si M es cota superior de A, entonces todos los reales en [M, +∞)

también son cotas superiores de A.

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Observaciones
M se llama cota superior de A.

Si M es cota superior de A, entonces todos los reales en [M, +∞)

también son cotas superiores de A.

Si M es cota superior de A ¿existen cotas superiores de A menores

que M?.

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Observaciones
M se llama cota superior de A.

Si M es cota superior de A, entonces todos los reales en [M, +∞)

también son cotas superiores de A.

Si M es cota superior de A ¿existen cotas superiores de A menores

que M?.

A es acotado superiormente ssi ∃M, ∀x ∈ A, x ≤ M

Axioma del Supremo

Cotas superiores

Definición
A ⊆ R es acotado superiormente si existe M tal que
∀x ∈ A, x ≤ M.

Observaciones
M se llama cota superior de A.

Si M es cota superior de A, entonces todos los reales en [M, +∞)

también son cotas superiores de A.

Si M es cota superior de A ¿existen cotas superiores de A menores

que M?.

A es acotado superiormente ssi ∃M, ∀x ∈ A, x ≤ M

A NO es acotado superiormente ssi ∀M, ∃x ∈ A, x > M

Axioma del Supremo

Cota inferior

Definición
A ⊆ R es acotado inferiormente si existe m tal que
∀x ∈ A, m ≤ x.

Axioma del Supremo

Cota inferior

Definición
A ⊆ R es acotado inferiormente si existe m tal que
∀x ∈ A, m ≤ x.

Observaciones
m se llama cota inferior de A.

Axioma del Supremo

Cota inferior

Definición
A ⊆ R es acotado inferiormente si existe m tal que
∀x ∈ A, m ≤ x.

Observaciones
m se llama cota inferior de A.

Si m es cota superior de A, entonces todos los reales en (−∞, m]

también son cotas inferiores de A.

Axioma del Supremo

Cota inferior

Definición
A ⊆ R es acotado inferiormente si existe m tal que
∀x ∈ A, m ≤ x.

Observaciones
m se llama cota inferior de A.

Si m es cota superior de A, entonces todos los reales en (−∞, m]

también son cotas inferiores de A.

Observación
Un conjunto acotado superior e inferiormente, se dice acotado.

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Definición de Mínimo
p es mínimo de A si es cota inferior de A que pertenece al conjunto.

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Definición de Mínimo
p es mínimo de A si es cota inferior de A que pertenece al conjunto.

Notación: u = max A = max x p = min A = min x

x∈A x∈A

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Definición de Mínimo
p es mínimo de A si es cota inferior de A que pertenece al conjunto.

Notación: u = max A = max x p = min A = min x

x∈A x∈A

Teorema
Si el máximo (mínimo) existe, este es único.

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Definición de Mínimo
p es mínimo de A si es cota inferior de A que pertenece al conjunto.

Notación: u = max A = max x p = min A = min x

x∈A x∈A

Teorema
Si el máximo (mínimo) existe, este es único.

Demostración: ver pizarra...

Axioma del Supremo

Máximo y Mínimo

Definición de Máximo
u es máximo de A ⊆ R si es cota superior de A y además u ∈ A.

Definición de Mínimo
p es mínimo de A si es cota inferior de A que pertenece al conjunto.

Notación: u = max A = max x p = min A = min x

x∈A x∈A

Teorema
Si el máximo (mínimo) existe, este es único.

Demostración: ver pizarra...

Ejemplos: [0, 1], (0, 1)

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

OBS: sup(A) es la menor de las cotas superiores.

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

OBS: sup(A) es la menor de las cotas superiores.

Definición de Ínfimo
i = inf A es ínfimo de A si:
1
i es una cota inferior de A.
2
Cualquier otra cota inferior de A es menor o igual que u.

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

OBS: sup(A) es la menor de las cotas superiores.

Definición de Ínfimo
i = inf A es ínfimo de A si:
1
i es una cota inferior de A.
2
Cualquier otra cota inferior de A es menor o igual que u.

Teorema
Si el supremo (ínfimo) existe, este es único.

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

OBS: sup(A) es la menor de las cotas superiores.

Definición de Ínfimo
i = inf A es ínfimo de A si:
1
i es una cota inferior de A.
2
Cualquier otra cota inferior de A es menor o igual que u.

Teorema
Si el supremo (ínfimo) existe, este es único.

Demostración: ver pizarra...

Axioma del Supremo

Supremo e Infimo

Definición de Supremo
s = sup A es supremo de A si satisface las dos siguientes condiciones:
1
s es una cota superior de A.
2
Si t es cota superior de A, entonces t ≥ s. Cualquier otra cota superior de
A es mayor que s.

OBS: sup(A) es la menor de las cotas superiores.

Definición de Ínfimo
i = inf A es ínfimo de A si:
1
i es una cota inferior de A.
2
Cualquier otra cota inferior de A es menor o igual que u.

Teorema
Si el supremo (ínfimo) existe, este es único.

Demostración: ver pizarra...

Ejemplos: [0, 1], (0, 1)
Axioma del Supremo
Características de intervalos

En el caso de intervalos, dados a, b ∈ R con a < b:

Axioma del Supremo

Características de intervalos

En el caso de intervalos, dados a, b ∈ R con a < b:

min max inf sup

[a, b] a b a b
(a, b) @ @ a b
[a, b) a @ a b
(a, b] @ b a b
(−∞, b] @ b @ b
(−∞, b) @ @ @ b
(a, ∞) @ @ a @
[a, ∞) a @ a @

Axioma del Supremo

Axioma del Supremo

Axioma del Supremo:

Todo conjunto no vacío y acotado
superiormente posee un supremo.

Axioma del Supremo

Axioma del Supremo

Axioma del Supremo:

Todo conjunto no vacío y acotado
superiormente posee un supremo.

Observaciones
Se puede demostrar que todo conjunto no vacío acotado inferiormente
pose ínfimo. Basta verificar que inf(A) = − sup(−A).

Axioma del Supremo

Axioma del Supremo

Axioma del Supremo:

Todo conjunto no vacío y acotado
superiormente posee un supremo.

Observaciones
Se puede demostrar que todo conjunto no vacío acotado inferiormente
pose ínfimo. Basta verificar que inf(A) = − sup(−A).
No es cierta la propiedad si se cambia supremo por máximo.

Axioma del Supremo

Ejercicio de supremos

Propiedades
Sean A y B dos conjuntos, definimos A + B = {x + y : x ∈ A, y ∈ B} y
A · B = {x · y : x ∈ A, y ∈ B}, entonces
sup(A + B) = sup(A) + sup(B).

Axioma del Supremo

Ejercicio de supremos

Propiedades
Sean A y B dos conjuntos, definimos A + B = {x + y : x ∈ A, y ∈ B} y
A · B = {x · y : x ∈ A, y ∈ B}, entonces
sup(A + B) = sup(A) + sup(B).
sup(A · B) = sup(A) · sup(B). Para A, B ⊆ [0, ∞).

Axioma del Supremo

Aplicación 1

Parte Entera
La parte entera de un real x > 0 (denotada [x]), se definirá como el supremo
del conjunto A = {n ∈ N : n ≤ x} .

Axioma del Supremo

Aplicación 1

Parte Entera
La parte entera de un real x > 0 (denotada [x]), se definirá como el supremo
del conjunto A = {n ∈ N : n ≤ x} .

Observación
[x] es un número natural.
Una consecuencia importante de esto último es que [x] ≤ x < [x] + 1.

Axioma del Supremo

Aplicación 2

Teorema
Los números naturales no son acotados superiormente.

Axioma del Supremo

Aplicación 2

Teorema
Los números naturales no son acotados superiormente.

Axioma del Supremo

Aplicación 2

Teorema
Los números naturales no son acotados superiormente.

Propiedad Arquimediana
El conjunto R es arquimediano, es decir, para todo real x > 0, existe un
natural n ∈ N, tal que n · x > 1.

Axioma del Supremo

Aplicación 2

Teorema
Los números naturales no son acotados superiormente.

Propiedad Arquimediana
El conjunto R es arquimediano, es decir, para todo real x > 0, existe un
natural n ∈ N, tal que n · x > 1.

Axioma del Supremo

Aplicación 2

Teorema
Los números naturales no son acotados superiormente.

Propiedad Arquimediana
El conjunto R es arquimediano, es decir, para todo real x > 0, existe un
natural n ∈ N, tal que n · x > 1.

Ejemplo: inf n1 , n ∈ N = 0.

Axioma del Supremo

Aplicación 2

Teorema
Los racionales son densos en los reales. Esto significa que dados dos
reales x, y con x < y , entonces existe un racional r tal que x < r < y .

Axioma del Supremo

Aplicación 3

El axioma del supremo como constructor de números.

Axioma del Supremo

Aplicación 3

El axioma del supremo como constructor de números.

Buscaremos un número s > 0 tal que s2 = 2.

Axioma del Supremo

Aplicación 3

El axioma del supremo como constructor de números.

Buscaremos un número s > 0 tal que s2 = 2.
Consideremos nuevamente el conjunto A = r ∈ R : r 2 ≤ 2 .


Axioma del Supremo

Aplicación 3

El axioma del supremo como constructor de números.

Buscaremos un número s > 0 tal que s2 = 2.
Consideremos nuevamente el conjunto A = r ∈ R : r 2 ≤ 2 .


Raíz cuadrada de 2:
√
2 = sup r ∈ R : r 2 ≤ 2 .


Axioma del Supremo

Aplicación 3

El axioma del supremo como constructor de números.

Buscaremos un número s > 0 tal que s2 = 2.
Consideremos nuevamente el conjunto A = r ∈ R : r 2 ≤ 2 .


Raíz cuadrada de 2:
√
2 = sup r ∈ R : r 2 ≤ 2 .


√
Se tiene que 2∈
/ Q.

Axioma del Supremo

Extensiones

Lo anterior permite definir:

Axioma del Supremo

Extensiones

Lo anterior permite definir:

Raíz cuadrada de un
número real positivo:
√
x = sup r ∈ R : r 2 ≤ x .


De manera más general:

Axioma del Supremo

Extensiones

Lo anterior permite definir:

Raíz cuadrada de un
número real positivo:
√
x = sup r ∈ R : r 2 ≤ x .


De manera más general:

Raíz n-ésima de un
número real positivo:
√
n
x = sup {r ≥ 0 : r n ≤ x} .

Axioma del Supremo

Extensiones

Lo anterior permite definir:

Raíz cuadrada de un
número real positivo:
√
x = sup r ∈ R : r 2 ≤ x .


De manera más general:

Raíz n-ésima de un
número real positivo:
√
n
x = sup {r ≥ 0 : r n ≤ x} .

Observación
El axioma del supremo hace la diferencia entre R y Q.

Axioma del Supremo

Números irracionales

Observación
R \ Q se denomina I y se llaman irracionales.

Axioma del Supremo

Números irracionales

Observación
R \ Q se denomina I y se llaman irracionales.

Propiedades
x, y ∈ Q ⇒ x ± y ∈ Q.
x ∈ Q, y ∈ I ⇒ x + y ∈ I.
x ∈ Q∗, y ∈ I ⇒ x · y ∈ I.

Axioma del Supremo

Números irracionales

Observación
R \ Q se denomina I y se llaman irracionales.

Propiedades
x, y ∈ Q ⇒ x ± y ∈ Q.
x ∈ Q, y ∈ I ⇒ x + y ∈ I.
x ∈ Q∗, y ∈ I ⇒ x · y ∈ I.

Un teorema anterior, puede extenderse a I:

Proposición
∀x, y ∈ Q, x < y , ∃i ∈ I, x < i < y .

Axioma del Supremo

Números irracionales

Observación
R \ Q se denomina I y se llaman irracionales.

Propiedades
x, y ∈ Q ⇒ x ± y ∈ Q.
x ∈ Q, y ∈ I ⇒ x + y ∈ I.
x ∈ Q∗, y ∈ I ⇒ x · y ∈ I.

Un teorema anterior, puede extenderse a I:

Proposición
∀x, y ∈ Q, x < y , ∃i ∈ I, x < i < y .

Axioma del Supremo