NR

nmeros reales

ngel RIVA
Mara Cristina AGUIRRE

EL CONJUNTO DE LOS NUMEROS REALES

Estamos ya familiarizados con el conjunto de los nmeros reales al que designamos

con R. Descubrimos este conjunto a travs de un largo proceso constructivo que comenz
tempranamente con el conjunto de los nmeros naturales N, el de los enteros Z, el de los
racionales Q y el de los irracionales I. . En todos ellos se han definido operaciones, las
cuales, a travs de restricciones sugirieron la necesidad de sucesivas ampliaciones hasta
llegar al descubrimiento de los irracionales.
Muchas veces utilizamos un diagrama conjuntista, tipo diagrama de Venn, para
representar al conjunto:

x
De

xR
hecho, esta conceptualizacin es til para

mostrar

algunas

situaciones

importantes

que

establecen relaciones inclusivas/exclusivas como las siguientes:

Q
I.

O bien

Z
I.

En nuestra asignatura estamos interesados en otras cuestiones, por ello destacamos la

necesidad de utilizar otro modelo representacional muy conocido, el llamado eje real, que
utiliza como soporte a una figura geomtrica muy sencilla, la recta.

Porqu este modelo representacional? Precisamente porque estamos interesados en

recalcar las siguientes cuestiones, las que supuestamente se visualizan mucho mejor sobre
este soporte, a saber:

R consta de infinitos entes o elementos llamados nmeros que no

pueden ser contados, numerados.
Dado que la recta, como figura, tiene a su vez infinitos puntos podemos identificar
puntos P con nmeros reales.
Es decir, a cada punto de la recta lo identifico con un nico nmero real y a cada
nmero real lo identifico con un nico punto P de la recta.
Para x R

P es punto de la recta

xP

Si bien puntos y nmeros son entes de naturaleza diferente hablamos indistintamente, a

la luz de esta modelizacin, de punto y/o nmero.
Elegimos un punto en la recta real y lo identificamos con el nmero cero.
0

P0

P1

Entonces, una vez elegido el cer, vamos a sealar un punto diciendo, por ejemplo, aqu
est el nmero 5; pero debemos tener cuidado, el 5 no es un punto, sino que es un
nmero real que visualizo o ubico en tal posicin.

Cuidado! Cualquier punto puede ser un nmero real, pero una vez fijado el 0 (cero) y
el 1 (uno) todos los dems quedan biunvocamente identificados con un nico punto.
Fijado el 0 y el 1 es posible representar el conjunto de los nmeros naturales N, sobre
la recta real teniendo en cuenta que luego del 1 todo natural tiene un nico sucesor.

x
0

10

N es un conjunto infinito porque hay infinitos nmeros naturales

N es un conjunto discreto, es decir, no siempre entre dos naturales encontramos
un tercer natural.
Qu ocurre con Z y Q en relacin con la discretitud?
Analizaremos el caso de los racionales
Dado que en Q la suma y la multiplicacin son operaciones cerradas se verifica que

x , y Q

x y
x y
Q y adems se puede probar que x
y
2
2

Entonces a travs de un proceso interminable resulta que entre dos racionales

siempre encontraremos un tercero intermedio entre ambos por ms prximos que estn.

Q es un conjunto denso.

Q es un conjunto infinito

Nos preguntamos, si N Q y ambos conjuntos son infinitos en qu conjunto hay

ms elementos? O dicho de otra manera es verdad que por el simple hecho de que los
nmeros naturales forman parte del conjunto de los nmeros racionales entonces son
menos?
Lo interesante es que, aunque parezcan muchsimos ms, hay tantos racionales como
naturales. Lo podemos demostrar asignando a cada nmero racional un nmero natural. Lo
hacemos as:

1
1

2
1

3
1

4
1

5
1

6
1

7
1

8
1

1
2

2
2

3
2

4
2

5
2

6
2

7
2

8
2

. .. .. .. .. .. .. .. .

1
3

2
3

3
3

4
3

5
3

6
3

7
3

8
3

. .. .. .. .. .. .. .. .

. .. .. .. .. .. .. .. .

Como se ve a cada nmero racional positivo le asignamos un nmero natural. Esta

asignacin es biunvoca, en el sentido que a toda fraccin le corresponde un natural y
viceversa. Hay flechitas que salen de un conjunto y llegan al otro sin dejar libre ningn
elemento de ninguno de los dos conjuntos.1
Decimos que Q es un conjunto numerable.

Podramos pensar que todos los conjuntos infinitos son numerables

Georg Cantor descubri que hay infinitos ms grandes que otros, o sea infinitos distintos al
de los naturales.
Eligi el segmento unitario [0;1]
y por ms esfuerzos que haca por encontrar flechitas para poder coordinar este
conjunto con los nmeros naturales, no poda. Tal era su desesperacin que en un
momento cambio de idea (e hizo algo genial, claro, porque tuvo una idea maravillosa) y
pens: y si no puedo encontrar las flechitas porque no es posible encontrarlas? No
ser preferible que trate de demostrar que no se pueden encontrar las flechitas porque no
existen? Cantor dijo entonces: voy a suponer que este conjunto (segmento unitario) se
puede coordinar con los naturales. O sea, supuso que tenan el mismo cardinal. Si esto
fuera cierto, entonces debera haber una asignacin (o lo que llamamos las flechitas)
entre los elementos del segmento [0;1] y los nmeros naturales. Resultara posible, como

Hay racionales que contamos varias veces, aun as quedan suficientes naturales para seguir contando todos
los que faltan

en el ejemplo anterior, que podramos poner en una lista a todos los elementos del
segmento [0;1].
Y eso hizo:
1

0,a11a12a13a14a15a16

0,a21a22a23a24a25a26

0,a31a32a33a34a35a36

0,a41a42a43a44a45a46

0,an1an2an3an4an5an6

En este caso, lo que representan los distintos smbolos de la forma apq, son los dgitos del
desarrollo de cada nmero. Por ejemplo, supongamos que estos son los desarrollos
decimales de los primeros nmeros de la lista:
1

0,483798099937

0,523787123478

0,52873440002

0,001732845

Es decir,
0,a11a12a13a14a15a16 = 0,483798099937
0,a21a22a23a24a25a26 = 0,523787123478
Y as siguiendo.
O sea, lo que Cantor hizo fue suponer que existe una manera de poner flechitas, o de
hacer asignaciones, de manera tal que todos los nmeros reales del segmento [0;1]
estuvieran coordinados con los naturales.
Y ahora, la genialidad de Cantor: voy a construir un nmero que esta en el segmento
[0;1], pero no est en la lista.

Y lo se construy el nmero fabric as:

A = 0,b1b2b3b4b5b6b7b8
Uno sabe que este nmero est en el segmento [0;1], porque empieza con 0
Pero quienes son las letras bk?. Bueno, Cantor dijo: Tomo

b1 de manera que sea un dgito diferente de a11

b2 de manera que sea un dgito diferente de a22
b3 de manera que sea un dgito diferente de a33

bn de manera que sea un dgito diferente de ann

De esta forma, tengo garantizado que el nmero A no est en la lista. Por qu? No puede
ser el primero de la lista, porque el b1 difiere de a11. No puede ser el segundo, porque el b2
difiere de a22. No puede ser el tercero, porque el b3 difiere de a33. No puede ser el ensimo,
porque el bn difiere de ann. Luego, Cantor se fabric un numero real que est en el
segmento [0;1] que no est en la lista. Y esto lo pudo construir independientemente de cual
fuera la lista.
Es decir, si viene cualquier otra persona y le dice yo tengo una lista diferente de la suya, y
la ma si funciona y contiene todos los nmeros reales del intervalo [0;1], Cantor puede
aceptar cualquier desafo, porque l puede construir un nmero real que debera estar en
la lista, pero que no puede estar.
Y esto culmina la demostracin, porque prueba que si uno quiere hacer una
correspondencia biunvoca entre los nmeros reales y los naturales, va a fracasar.
Cualquier lista que presuma de tenerlos a todos pecar por dejar alguno afuera. Y no hay
manera de arreglarlo.
Este mtodo se conoce con el nombre de mtodo diagonal de Cantor, fue uno de los saltos
cualitativos ms importantes de la historia, en trminos de conjuntos infinitos. A partir de
ese momento, se supo entonces que haba infinitos ms grandes que otros."2
Conclusin:

R es un conjunto infinito no numerable, se dice que goza de la potencia del

continuo.

Extrado de: Matemtica ests ah? Adrin Paenza. Coleccin Ciencia que ladra .. Universidad
Nacional de Quilmes. 2006.

Hemos mencionado al conjunto de los nmeros irracionales como un subconjunto I de R.

I es un conjunto numerable? Si lo fuera sera posible hacer una lista con los nmeros
irracionales y por la tanto contar los reales, cosa que Cantor ya demostr que no es posible.
Por lo tanto el conjunto I tiene la potencia del continuo.
Si visualizamos la numerabilidad de Q en nuestro modelo representacional, veramos que al
borrar todos los racionales la recta real quedara prcticamente intacta. Pero si fuera posible
borrar todos los irracionales, la recta quedara infinitamente agujereada.

R es un conjunto ordenado
Ya sobre el modelo hemos establecido la posicin del nmero real 0, que como
sabemos divide aguas; a los reales, en positivos y negativos
En R se plantea un orden estricto o lineal cuando escribimos

x y

Se lee x menor que y. En trminos representacionales aparecer del siguiente modo

x esta a la izquierda de y, luego, x es menor que y

y esta a la derecha de x, luego, y es mayor que x
Entre dos reales cualesquiera, el mayor est a la derecha.
Observamos que al incorporar el orden, incorporamos una punta de flecha a la derecha de la
recta numrica.
Entonces
R x R / x 0
O sea, los reales positivos son aquellos que yacen a la derecha del cero.
De igual modo
R x R / x 0
En forma habitual, a veces, escribiremos x 0 tratando de referirnos al conjunto de los
reales no positivos, es decir, a
R0 x R / x 0

De manera similar queda definido el conjunto de los reales no negativos

R0 x R / x 0
Si x , y R se da una y solamente una de las siguientes posibilidades:
x=y ,

x <y , x > y

Recordemos que:

x y k x k y si k 0
x y k x k y si k 0
x0
x0

x0
x0

Intervalos
Esta relacin de orden nos permite identificar, por ejemplo, que 3 x 4 es
cualquier real mayor que 3 y menor o igual que 4, es decir, x es un real que est a la
derecha de 3 , a la izquierda de 4 o coincide con 4.
En el modelo representacional queda:

No es posible dar los elementos de este conjunto por enumeracin (recordemos que R
es no numerable). Entonces utilizamos la ya conocida notacin de intervalo:

3;4 x R / 3 x 4
Avancemos un poco ms sobre esto:

a;b x R / a x b

Observamos que

C R tal que x a ;b es x C C es una cota superior

c R tal que x a; b es x c c es una cota inferior

a;b es un conjunto acotado, dado que posee cotas inferior y superior

Es evidente que si existe una cota superior C, existen infinitas cotas superiores; y si existe
una cota inferior c tambin hay infinitas cotas inferiores. Por lo tanto es bueno
preguntarnos:

Cul es la menor de las cotas superiores del intervalo a; b ? Respuesta: b

b pertenece al a ; b ? Respuesta: SI
Luego, a ; b admite o tiene valor mximo
Del mismo modo
Cul es la mayor de las cotas inferiores? Respuesta: a
Pertenece al a ; b ? Respuesta: NO
Luego, a ; b NO admite un valor mnimo
Estudiemos, ahora el intervalo

2; x R / x 2
Este conjunto admite cotas superiores? Respuesta: No
Entonces concluimos que 2; NO esta acotado superiormente
Este conjunto admite cotas inferiores? Respuesta: SI
Cul es la mayor de las cotas inferiores? Respuesta: 2
La cota inferior, pertenece al 2; ? Respuesta: SI
Luego 2; , admite un valor mnimo

Podemos concluir que:

R x R / x 0 = 0; es un conjunto acotado inferiormente

R x R / x 0 = ;0 es un conjunto acotado superiormente

R ; es un conjunto no acotado

R es un espacio mtrico
Hemos ya trabajado con el valor absoluto de un nmero real, que definimos:

Sea x R

x si x 0
x si x 0

Tambin conocemos algunas propiedades tales como:

x x

x a

x x x

x a a x a con a R

x a

x y x y

xa

xa

x a con a R

x a con a R

Con el fin de medir la distancia entre reales, utilizaremos una mtrica, es decir una
funcin que nos va a permitir, por ejemplo, determinar la longitud del intervalo 3;4 o
encontrar los reales que equidisten de 2 en un dcimo.
Pero, qu es una mtrica?

Una mtrica es una ley que a cada par de nmeros reales x e y le asocia un nmero
real que simbolizaremos d ( x ; y )
Qu condiciones debe cumplir una mtrica?
Son las siguientes:
Simetra: d ( x ; y ) d ( y ; x ) , es decir, la distancia de x a y es la misma de y a x.
Por ejemplo; la distancia entre 3 y 4 es la misma que entre 4 y 3 (menos mal!)
Positividad: d ( x ; y ) 0 La distancia debe ser no negativa
Triangularidad: d ( x ; y ) d ( x; z ) d ( z ; y )

Veremos que la siguiente definicin respeta estas cuestiones:

x , y R d ( x; y ) x y
Simetra: d ( x ; y ) x y ( x y ) y x d ( y ; x )
Positividad: d ( x ; y ) x y 0
Triangularidad:
d ( x; y ) x y x z z y ( x z ) ( z y ) x z z y d ( x; z ) d ( z; y )
Entonces la definicin propuesta es efectivamente una mtrica, conocida como
mtrica euclidea que nos permite calcular las distancias entre reales.
En particular d ( x ;0 ) x razn por la cual el valor absoluto de un nmero real es
interpretado como la distancia de ese nmero al origen.
Veamos si esta mtrica nos ayuda a resolver las ecuaciones antes planteadas
Cul es la longitud del intervalo 3;4 ?
La longitud de este intervalo acotado es la distancia entre 3 y 4
long 3;4 = d ( 3;4 ) 3 4 7 7
Nos proponemos ahora encontrar los reales que equidistan de 2 exactamente un
dcimo.

Esbozar grficamente la situacin planteada. Procedamos analticamente para confirmar

nuestra intuicin:

x tal que d ( x , 2 ) 0.1

x tal que

x 2 0.1

x tal que

x 2 0.1

x 2 0.1

Por lo tanto los nmeros que equidistan de 0.1 dos unidades son 2.1 y 1.9
Veamos otros ejercicios. Algunos de ellos son muy fciles de resolver utilizando la
representacin de los reales en la rectal real.

Ejercicio 1:

Resolver

x 2 1

Como x 2 d ( x ,2 ) resolver esta inecuacin significa encontrar los nmeros reales

cuya distancia a 2 sea mayor que1
Grficamente:

La solucin al problema es el conjunto A ;1 3;

Ejercicio 2: Resolver x 3 x 1
En otros smbolos, d ( x,3) d ( x,1) , es decir, debemos encontrar el conjunto de
nmeros reales que estn a igual distancia de 3 que de 1

La solucin es el conjunto B 1

Ejercicio 3: Resolver x 4 x 2
En otros smbolos, d ( x, 4) d ( x, 2) , es decir, debemos encontrar el conjunto de
nmeros reales que estn mas cerca de 4 que de -2
Grficamente:

La solucin al problema es el conjunto C ; 3

Conclusiones
El modelo representativo discutido nos permite visualizar e intuir algunas
propiedades de R, a saber:

R es un conjunto ordenado

R ; es un conjunto no acotado

R es un conjunto infinito no numerable

R es un espacio mtrico, es decir, est dotado de una mtrica que nos permite
medir distancias entre reales.

Un modelo dinmico sencillo

Sobre el modelo representacional presentado para los nmeros reales es
posible edificar nuevos modelos matemticos. Veamos un ejemplo de un
modelo llamado dinmico discreto:

Vamos a suponer que el gobierno decreta que cada ao debemos mudarnos de nuestros
domicilios ubicados en el eje real segn la ley eleve su domicilio al cuadrado y mdese
all
Qu sucede con quien vive inicialmente en 1?
input : 1

output : 1

input : 1

output : 1

.........

Eternamente vivir en 1!
Qu sucede con quien vive inicialmente en -1?
input : -1

output : 1

input : 1

output : 1

.........

De por vida debe convivir con 1!

La dinmica de este sistema puede visualizarse construyendo un retrato de fase

Quin vivir eternamente solo pero en su domicilio se acumularan infinidad de

vecinos? Cuando encuentres la respuesta habrs encontrado un atractor.
Quines pelearan constantemente y harn que todos sus vecinos huyan despavoridos?
Cuando encuentres la respuesta habrs encontrado un repulsor.
Te invitamos a cambiar las leyes para descubrir nuevas dinmicas.

NR01
Represente en el eje real los siguientes nmeros reales:
3

17

NR02
Interpole cinco nmeros racionales equidistantes entre - 4 y 8
Interpole otros cinco nmeros en el tercer intervalo del tem anterior. Cuntas
veces podra reiterar esta actividad?
Intercale un nmero racional y uno irracional entre 0,0000021 y 0,0000019

NR03
Ordene en forma creciente los siguientes reales y escriba los nmeros listados en
tem (a) en notacin cientfica
(a)

2,8 x 10-2

(b)

1,6 x 10-4

3,14141414.

0,032 x 10-4

3,1415

32,526 x 10-5

3,141514151415.

NR04
Grafique en el eje real los siguientes conjuntos:

7,3

2,4 5,9

a, b

4,7
,1 0 1,

Escriba ejemplos de conjuntos de nmeros reales de modo que todo elemento y

su opuesto pertenezcan a ellos

Escriba ejemplos de conjuntos de reales de modo que no siempre elementos

opuestos pertenezcan a los mismos
Defina conjunto simtrico. Dar ejemplos de conjuntos simtricos que contienen o
no al cero

NR05
Siendo

A 2,5 , B 1,8

A B
B 2

A B
B

y C 5,9 halle:
BA
A

C ( A B)
0 B

( C ) A

Grafique los conjuntos hallados. Defnalos por comprensin

NR06
Represente en el eje real los siguientes conjuntos:

A x / x , x 2t 1,4 t 3, t Z

B u / u 2m 2 , m N 6 m 10

C x / x2 p p Z

D x / 2 x 7

NR07
Encuentre el conjunto solucin para cada una de las siguientes inecuaciones o
sistemas de inecuaciones

3x 1 2

1 2 x 3 5

 4x 1 2

x 3 3

3x 2 1

x4
x3

NR08
Resuelva las siguientes inecuaciones
5x 2
1
x

3x 2
3
x 1

2
0
x3

NR09
Resuelva las siguientes ecuaciones

3x 4 5

x3 x5

x 2 2 1

x 3 12.531x10 17 7

NR10
a) Exprese las siguientes distancias en trminos de valor absoluto:
d ( x,3) 8

d ( z ,3) d ( z,5)

d ( x,0) 5

d (t 2) d (t ,4)

b) Determine los conjuntos de reales que verifican las condiciones planteadas en

el tem a)

NR11
Resuelva de dos modos diferentes:

x2 3
x2 3

x 1 x 3 0
2x 4 8
x x4

2 x2 5
x3 x4

3x 5 2

Discuta las ventajas y desventajas de cada modo de resolucin

NR12
Dados los siguientes subconjuntos de nmeros reales, clasifquelos en acotados y
no acotados. Determine si admiten o no valores mnimos y/o mximos

A 2;5

B x / x 2

A B

o A

C1 x / x 2
Ci 2;2 con i 1,2

C2 x /

D x / x 3

x 2 3

E x / 2 x 1 5

F x / 1 3x 9

G x /

x 3

NR13
Siendo A x / x 2 3 y B x / d ( x, O) 2 determine si son verdaderas o
falsas las siguientes afirmaciones, justificando su respuesta
a) A B admite valor mximo en A x / x 2 3
b) Existe un irracional

B que verifica la inecuacin 2 x 3 2

c) A B es un intervalo cerrado
d) A B 5,2 es un intervalo simtrico