El conjunto de los Números

Irracionales I

Ya hemos visto que no existe un número racional cuyo cuadrado sea 2. En estas notas mostraremos
que como consecuencia del axioma del supremo (y de los axiomas de campo y de orden) se puede
garantizar la existencias de números reales que no son racionales. El resultado que se presenta es el
siguiente:

Teorema 1 Existe un número real cuyo cuadrado es 2.

Demostración. Consideramos el conjunto

B = x ∈ R : x > 0 y x2 < 2 .


Se observa que B es un conjunto acotado superiormente, de hecho, x ≤ 2 para todo x ∈ B. En efecto,

si x ∈ B y x < 1, entonces multiplicando por x > 0 se obtiene x2 < x < 1 < 2; mientras que si 1 ≤ x
entonces nuevamente multiplicando por x > 0 se obtiene x ≤ x2 < 2 pues x ∈ B. Ası́ que en todo
caso, x ≤ 2 como se afirmó y B es un conjunto acotado superiormente.
Por el axioma del supremo existe b ∈ R tal que b = sup(B). Vamos a mostrar que b2 = 2 lo cual
demuestra el teorema. Observe que como 1 ∈ B, entonces b ≥ 1 y que como x ≤ 2 para todo x ∈ B,
se tiene que b ≤ 2. Ası́ que 1 ≤ b ≤ 2.
Por la ley de tricotomı́a, se tienen tres casos para b2 : (i) b2 < 2, (ii) b2 > 2 o (iii) b2 = 2. Vamos a
mostrar que los dos primeros casos no son factibles.
(i) Si b2 < 2, entonces el número
2 − b2
ε=
3b
es positivo y es menor que b ya que al ser b ≥ 1, ciertamente 4b2 > 2 con lo cual 3b2 > 2 − b2 y por
tanto, dividiendo por 3b > 0 se obtiene

2 − b2
b> = ε.
3b
Se tiene entonces que

(b + ε)2 = b2 + ε (2b + ε) < b2 + ε (3b)

2 − b2
 
2
= b + (3b) = b2 + 2 − b2 = 2,
3b

1
donde en la primera desigualdad se ha usado que ε < b. Se concluye entonces que b + ε ∈ B
contradiciendo el hecho que b = sup(B). Asi que el caso (i) no es factible.
(ii) Si b2 > 2, entonces se considera el número
b2 − 2
=
2b
el cual es positivo y es menor que b ya que al ser 2b2 > b2 > b2 − 2, se concluye que al dividir por
2b > 0 que
b2 − 2
b> = .
2b
De manera entonces que por la propiedad de aproximación, debe existir x0 ∈ B tal que x0 ≥ b− > 0,
multiplicando esta desigualdad por x0 > 0 y después por b −  > 0, se obtienen

x20 > x0 (b − )
x0 (b − ) > (b − )2 ;

de donde se concluye que

x20 > (b − )2 = b2 − 2b + 2

= b2 − b2 − 2 + 2 = 2 + 2 > 2,

lo que contradice el hecho que x0 ∈ B. Ası́ que el caso (ii) tampoco es factible.
Se concluye entonces que b2 = 2, lo cual demuestra el Teorema. 
√
Definición 1 El número b ∈ R+ cuyo cuadrado es 2, se denota por 2 y se llama la raı́z cuadrada
de 2. Un número real que no sea racional se llama irracional, el conjunto de los números irracionales
se denota por I.

El siguiente resultado, el cual es consecuencia de la propiedad arquemediana, muestra que R

contiene muchos números racionales e irracionales.

Teorema 2 En R se cumple lo siguiente:

√
1. Si x es un número racional distinto de cero, entonces x 2 es un número irracional.

2. Si x, y son números reales tales que x < y, entonces existe z ∈ Q tal que x < z < y.

3. Si x, y son números reales tales que x < y, entonces existe w ∈ I tal que x < w < y.
√
Demostración.√ 1. Supongamos que x ∈ Q.
√ Si y = x 2 ∈ Q, entonces dividiendo por x 6= 0 se
concluye que 2 = y/x lo cual nos dice que 2 es racional ya que el √ cociente de dos racionales se ha
mostrado que es √un número racional. Esto contradice el hecho que 2 es irracional y por tanto, se
debe tener que x 2 es un número irracional.
2. Supongamos que x, y son números reales tales que x < y, entonces y − x > 0 y consecuentemente,
por la propiedad arquimedeana, existe un entero positivo n tal que
1
< y − x.
n

2
Sea m la parte entera de nx. Por definición se tiene que m ≤ nx < m + 1, con lo cual
m m+1
≤x<
n n
y por tanto
m 1 m+1
y = x + (y − x) > + = > x.
n n n
Ası́ que la proposición es cierta con q = (m + 1)/n ∈ Q.
√
3. Supongamos que x, y son números reales tales que x < y. Como 2 > 0 entonces
x y
√ <√ .
2 2
Luego, como consecuencia del item 2, existe un número racional r, el cual podemos suponer distinto
de cero, en virtud de que podemos usar el item 2 dos veces, tal que
x y
√ <r< √ ;
2 2
√ √
lo cual equivale a decir que x < r 2 < y y el resultado sique haciendo w = r 2 el cual es un número
irracional en virtud del item 1. 

Escritura decimal de un número real

En esta sección veremos que, como consecuencia de la propiedad arquemediana, todo número real
positivo admite una representación decimal de la forma

E.d1 d2 d3 d4 . . . ,

donde E es un entero positivo y los dk con k ∈ Z+ son dı́gitos, es decir, números enteros positivos
entre 0 y 9. En primer lugar, se aclara que significa la notación centrada

Definición 2 Para n ∈ Z+ fijo, E ∈ Z+ y d1 , d2 , · · · , dn dı́gitos, se define

E.d1 d2 · · · dn , (1)

como el número racional rn que cumple la siguiente relación

d1 d2 d3 dn
rn = E + + + + ··· + n (2)
10 102 103 10
Ejemplo 1 El número r = 1,25 representa el racional
2 5 1 1 20 + 4 + 1 25 5
r =1+ + =1+ + = = = .
10 102 5 20 20 20 4
El siguiente resultado nos provee un algoritmo de como hallar los números E y dk de la escritura (1).

Teorema 3 Para cada x ∈ R+ y n ∈ Z+ existe un número racional rn de la forma (2) tal que
1
rn ≤ x < rn + .
10n

3
Demostración. La demostración se hace recursivamente, primero hallamos la parte entera de x, a
ese número se le denota por E, con lo cual

E ≤ x < E + 1.

Ahora hacemos y1 = x − E con lo cual 0 ≤ 10y1 < 10 y llamamos d1 la parte entera de 10y1 , ası́ que
d1 es un dı́gito y además d1 ≤ 10y1 < d1 + 1 lo cual implica que
d1 d1 + 1 d1 1
≤ y1 < = + ;
10 10 10 10
es decir,
d1 d1 1
≤x−E < +
10 10 10
esto implica que
d1 d1 1
E+ ≤x<E+ +
10 10 10
y la proposición es cierta para n = 1.
Ahora se hace y2 = 10y1 − d1 lo cual es un número en [0, 1) y por tal motivo, la parte entera de 10y2 ,
el cual se denota por d2 , es un dı́gito que satisface la relación d2 ≤ 10y2 < d2 + 1 con lo cual
d2 d2 1
≤ y2 < + .
10 10 10
Por lo tanto, sustituyendo y2 y y1 se obtiene
d2 d2 1
≤ 10(x − E) − d1 < + .
10 10 10
lo cual implica que
d1 d2 d1 d2 1
E+ + 2 ≤x<E+ + 2+ 2
10 10 10 10 10
y la proposición es cierta para n = 2.
Finalmente, suponiendo que se han encontrado el dı́gito dn−1 el cual es la parte entera de 10yn−1 , se
define yn = 10yn−1 − dn−1 el cual es un número en el intervalo [0, 1) y por tanto la parte entera de
10yn es un dı́gito que se denota por dn y el se obtiene por sustitución sucesiva que
d1 d2 dn d1 d2 dn 1
E+ + 2 + ··· + n ≤ x < E + + 2 + ··· + n + n.
10 10 10 10 10 10 10
Esto muestra el resultado. 

Ejemplo 2 Si x = 5/4 entonces por el algoritmo de la división, x = 1+1/4, de donde la parte entera
de x es E = 1. De manera que y1 = x − E = 1/4 y ası́ 10y1 = 10/4 = 5/2 = 2 + 1/2. Por tanto, la
parte entera de 10y1 es d1 = 2. Ahora y2 = 10y1 − d1 = 1/2 y por tal motivo, la parte entera de 10y2
es d2 = 5. Se concluye desde aquı́ que d3 = d4 = · · · = 0 y la escritura de x es
5
x= = 1,25.
4
Esto se complementa con lo que se habı́a hecho en el Ejemplo 1.

4
Comentarios. Si x es un número real, la notación

x = E.d1 d2 d3 ...

indica que los números E y los dk son los obtenidos en el teorema anterior. Si en el Teorema 3 se
impone la condición que los rn deben cumplir que
1
rn < x ≤ rn + ,
10n
se obtiene una representación distinta de los números reales. Por ejemplo, con esta condición, se
tendrı́a que x = 54 = 1,24999 · · · .

√
Ejemplo 3 Demuestre que 1,4 < 2 < 1,5.

Demostración. En efecto, sea x = 1,4 y y = 1,5, entonces por definición x > 0 y

4 2
 
2 4 4 49
x = 1+ =1+ + = < 2,
10 5 25 25
√ √
ası́ que x ∈ B y por definición
√ de 2 (el supremo de B) se concluye√ que x = 1,4 ≤ 2. De
√ manera
similar se ve que 1,41 ≤ 2 y como 1,4 < 1,41 se concluye que 1,4 < 2. Finalmente, si b = 2 ≥ 1,5,
entonces
5 2
 
2 2 1
b ≥ (1,5) = 1 + =1+1+ >2
10 4
lo que contradice que b2 = 2. Esto culmina la demostración.