Análisis Matemático 95

6 Axioma de completitud
Conjuntos acotados superiormente
Definición 1. Dado A ⊂ R, decimos que A está acotado superiormente si
existe un a ∈ R tal que

x≤a para todo x ∈ A.

El número a es una cota superior de A.

Nota. El conjunto vacío está acotado superiormente: en efecto, si suponemos
lo contrario, significa que para cada a ∈ R existe un x ∈ ∅, tal que x > a, lo
cual es una contradicción.
Definición 2. Un número 𝛼 es supremo de A si
(1) 𝛼 es una cota superior de A, y
(1) si 𝛽 es una cota superior de A, entonces a ≤ 𝛽 .
Nota. El supremo de A es conocido también como la cota superior mínima
de A y se denota por sup A.
Definición 3. Si A ≠ ∅, acotado superiormente y sup A ∈ A, decimos que
sup A es el máximo de A y lo denotamos por máx A.
Análisis Matemático 95 2 / 10
Unicidad del supremo
Proposición 1. Si 𝛼 es supremo de A, entonces 𝛼 es único.

Análisis Matemático 95 3 / 10
Propiedad del supremo (o de completitud)

Axioma 13. Propiedad del supremo: Si A ⊂ R, A ≠ ∅ y acotado

superiormente, entonces existe sup A.
√
Nota. En esta sección asumimos la existencia de x, para x ≥ 0 (observemos
que este hecho no puede deducirse de los axiomas 1-12).
Proposición 2. Q no satisface no satisface la propiedad descrita por el
axioma 13.

Análisis Matemático 95 4 / 10
Conjuntos acotados

Nota. En forma análoga a lo expresado anteriormente se definen: conjunto

acotado inferiormente, cota inferior, ínfimo y mínimo.
Proposición 3. Si A ⊂ R, A ≠ ∅ y acotado inferiormente, entonces existe
ı́nf A.
Definición 4. Decimos que un conjunto A es acotado si está acotado superior
e inferiormente; en caso contrario decimos que es no acotado.

Análisis Matemático 95 5 / 10
No acotación de N
Teorema 1. N no está acotado superiormente.

Análisis Matemático 95 6 / 10
No acotación de N
Teorema 2. Para todo 𝜀 > 0 existe un n ∈ N tal que 1/n < 𝜀.

Análisis Matemático 95 7 / 10
Propiedad arquimediana de los números reales
Teorema 3. Para todos p, x ∈ R, x > 0 existe un n ∈ N tal que nx > p.

Análisis Matemático 95 8 / 10
Existencia de raíces cuadradas
Teorema 4. Si a ≥ 0, entonces existe un 𝛼 ∈ R tal que 𝛼 2 = a.

Análisis Matemático 95 9 / 10
Una caracterización del supremo
Teorema 5. Sean 𝛼 ∈ R y A ⊂ R, no vacío y acotado superiormente.
Entonces 𝛼 = sup A si solo si para todo 𝜀 > 0 existe un x ∈ A tal que
𝛼 − 𝜀 < x ≤ 𝛼.

Análisis Matemático 95 10 / 10