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
