Análisis Matemático I

Actividad 1

PROPIEDADES DE LOS NÚMEROS REALES

16 de septiembre de 2014
Autor: Laura Pontón
 Análisis Matemático I
Actividad 1

1. Demuestra que todo conjunto no vacío de números reales, acotado

inferiormente, tiene ínfimo en los reales.

En el cuerpo de los números reales, tenemos:

1.5.3. El axioma del supremo

El axioma del supremo, junto con los axiomas (𝑎1)𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎 𝑥 + (𝑦 + 𝑧) = (𝑥 + 𝑦) +

𝑧, ∀𝑥, 𝑦, 𝑧 𝜖 ℝ 𝑦 𝑒𝑙 (𝑎12), La relación de orden es compatible con la multiplicación: ∀ 𝑥, 𝑦, 𝑧 ∈
𝑅, 𝑥 ≤ 𝑦 , 𝑧 ≥ 0 ⇒ 𝑥 𝑧 ≤ 𝑦 𝑧.
permite caracterizar de forma única el conjunto de los números reales.

(a13) (Axioma del supremo) Todo conjunto de números reales, no vacío y acotado
superiormente, tiene supremo.

Como consecuencia del axioma del supremo se deduce también que todo conjunto de
números reales, no vacío y acotado inferiormente, tiene ínfimo.

El axioma del supremo también se conoce como axioma de completitud o de continuidad

porque garantiza que los números reales “llenan” la recta. Además nos permite distinguir
entre ℚ y ℝ, porque ℚ no satisface el axioma del supremo. Por ejemplo el conjunto 𝐴 =
{𝑥 ∈ ℚ+ : 𝑥 2 < 2} está acotado superiormente en ℚ pero no tiene supremo en ℚ, puesto que
√2 no es racional.

Entonces partiendo del axioma (a13) deducimos que:

Sea A un conjunto no vacío acotado inferiormente por una cota llamada δ,

Análisis Matemático I | 16/09/2014

donde

𝑥 ≥ 𝛿 ∀ 𝑥 ∈ 𝐴 ⇒ −𝑥 ≤ −𝛿 ∀ 𝑥 ∈ 𝐴

Sea para la demostración el conjunto denominado 𝐵 = {−𝑥 | 𝑥 ∈ 𝐴} como un conjunto

acotado superiormente por −𝛿 ∴ tiene un supremo

𝑥 ≤ 𝑆𝑢𝑝 𝐵 ∀ 𝑥 ∈ 𝐵

1
 −𝑥 ≥ − 𝑆𝑢𝑝 𝐵 ∀ 𝑥 ∈ 𝐵

𝑠𝑖𝑔𝑛𝑖𝑓𝑖𝑐𝑎 𝑞𝑢𝑒 𝑝𝑎𝑟𝑎 𝑙𝑜𝑠 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 − 𝑥 𝑐𝑜𝑛 𝑥 ∈ 𝐵 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝐴

𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (−𝑆𝑢𝑝 𝐵) 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑡𝑎 𝑖𝑛𝑓𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝐴

y si existiese una cota inferior a la que denominemos 𝛼 > (−𝑆𝑢𝑝 𝐵)

−𝑠𝑢𝑝 𝐵 < 𝛼 ≤ 𝑥 ∀ 𝑥𝜖𝐴

𝑠𝑢𝑝 𝐵 > −𝛼 ≥ −𝑥 ∀ 𝑥 𝜖 𝐴

𝑙𝑜𝑠 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 − 𝑥 𝑐𝑜𝑛 𝑥 𝜖 𝐴 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝐵 ⇒ −𝛼 es una cota superior para B < Sup B, ∴
𝑒𝑠 𝑎𝑏𝑠𝑢𝑟𝑑𝑜.

∴ no existe una cota inferior 𝑑𝑒 𝐴 > −𝑆𝑢𝑝 𝐵 ⇒ 𝐼𝑛𝑓 𝐴 𝑒𝑥𝑖𝑠𝑡𝑒 𝑦 𝑠𝑢 𝑣𝑎𝑙𝑜𝑟 𝑒𝑠 − 𝑠𝑢𝑝𝐵

∎
2. Sean A y B dos conjuntos de números reales, no vacíos y B acotado.
Demuestra que si el conjunto A está contenido en el conjunto B, entonces:

𝑠𝑢𝑝𝐴 ≤ 𝑠𝑢𝑝𝐵 𝑦 𝑖𝑛𝑓𝐵 ≤ 𝑖𝑛𝑓𝐴

Sabemos que los conjuntos de los reales no vacíos y acotados tienen supremo e ínfimo.

Sean A y B dos conjuntos de ℝ, no ∅ y B acotado,

El supremo de B es cota superior de B, pero como A está incluido en B también es una
cota superior de A. Y como el supremo de A es la menor cota superior de A será
menor o igual que esa cota que es el supremo de B, por lo que:

𝑆𝑢𝑝 𝐴 ≤ 𝑆𝑢𝑝 𝐵
Es decir:

A ⊂ B si ∀x ∈ A ⇒ x ∈ B
Si 𝐁 está acotado y es no ∅ ⇒ tiene ínfimo y supremo

⇒ A es no ∅ y acotado ⇒ tiene ínfimo y supremo

Si 𝐀 ⊂ 𝐁 ⇒ ∀ 𝐱 ∈ 𝐀 → 𝐱 ∈ 𝐁 y ∀ cota superior de 𝐁 es cota superior de A

Análisis Matemático I | 16/09/2014

de donde 𝒔𝒖𝒑𝑩 es cota superior de A

∴ ∀ x ∈ A se tiene que x ≤ supB

y como el supremo de A es la mínima cota superior de A ⇒ 𝒔𝒖𝒑𝑨 ≤ 𝒔𝒖𝒑𝑩 (que es cota

superior de A)

el ínfimo de B es una cota inferior de B. Como A está contenido en B el ínfimo de B también

es cota inferior de A. Y el ínfimo de A es la mayor cota superior de A, luego será mayor o igual
que esa cota que es el ínfimo de B, por lo tanto

2
 𝐼𝑛𝑓 𝐴 ≥ 𝐼𝑛𝑓 𝐵

lo que es lo mismo

𝑖𝑛𝑓 𝐵 ≤ 𝑖𝑛𝑓 𝐴

Es decir:

B está acotado y es no ∅ ⇒ tiene ínfimo

A es no ∅ y acotado ⇒ tiene ínfimo

dado que A ⊂ B ⟹ ∀x ∈ A → x
∈ B por consecuencia toda cota inferior de B es cota inferior de A

de donde InfB es cota inferior de A

∴ ∀ x ∈ A se tiene InfB ≤ x

y como el ínfimo de A es la máxima cota inferior de A ⇒ InfB ≤ InfA

3. Demuestra que si x es cualquier número real mayor que cero, x > 0, entonces existe N en
1
los naturales tal, que: 𝑁3 < x

Por la propiedad Arquimediana

Sea "x" un número real positivo e "y" un número real cualquiera, entonces existe un
entero positivo "n" tal que nx>y

Dado que el conjunto de los enteros positivos no es acotado superiormente, existe n elemento
𝑦
del conjunto de los enteros positivos tal que 𝑛 > 𝑥 de donde se sigue que nx >y

Entonces para cualquier número x positivo tomaremos 𝑦 = 1, y existirá un número N natural tal
que
Análisis Matemático I | 16/09/2014

𝑁𝑥 > 1

Por ser N natural se verifica

𝑁 ≤ 𝑁3 ⇒

como x es positivo podemos multiplicar por él y se mantiene el sentido desigualdad

𝑁𝑥 ≤ 𝑁 3 · 𝑥

3
luego tenemos esta cadena de desigualdades

1 < 𝑁𝑥 ≤ 𝑁 3 · 𝑥

tomando primera y última

1 < 𝑁3 · 𝑥

Dividimos la desigualdad por 𝑁 3 y se mantiene el sentido por ser 𝑁 3 positivo

1
< 𝑥
𝑁3

4. Demuestra que √3 no es un número racional.

Si √3 no es irracional deberá entonces ser racional, en términos matemáticos, debe ser igual

𝑝
√3 = ⇒ 𝑚. 𝑐. 𝑑. = 1
𝑞

Entonces sabemos que no tienen factores comunes y por tanto son primos relativos.

Realizamos operaciones algebraicas:

𝑝2
3 = 𝑞2 ⇒ 3𝑞 2 = 𝑝2

Por lo tanto p2 debe ser múltiplo de 3, e implica que p también es un múltiplo de 3. Así, p =
3k para un cierto k.

Al sustituir p en la expresión anterior y simplificar 3 en esa igualdad obtenemos:

3𝑞 2 = (3𝑘)2 ⇒ 𝑞 2 = 3𝑘 2
Análisis Matemático I | 16/09/2014

Entonces q2 es múltiplo de 3, y por tanto también lo es de q.

Así el absurdo tiene su origen en la suposición de que p y q no tenían factores comunes (por
lo que el m.c.d.(p,q) = 1) y hemos encontrado entonces que los dos son múltiplos de 3, es
decir, que tienen al 3 como factor común, y por tanto su m.c.d debe ser al menos 3.

Ahí está la contradicción.

4
 Análisis Matemático I | 16/09/2014

5
Raíz de 3 es irracional.
∎