Nmeros reales

El conjuntos de los nmeros reales

Nmeros reales
1
1.1 El conjuntos de los nmeros reales 3 1.2 Naturales, enteros, racionales
e irracionales 6
1.3 Valor absoluto 7 1.5 Intervalos y conjuntos
destacados 11

Existen diferentes formas de formalizar el conjunto de los nmeros reales aunque se

pueden agrupar en dos variantes: constructivos y axiomticos. Los primeros son demasiado laboriosos para un curso de Clculo y, por este motivo, hemos preferido dejarlos de
lado. En su lugar, hemos asumido que el conjunto de los nmeros reales es conocido por
el lector y elegimos la definicin axiomtica de este conjunto.

1.1 El conjuntos de los nmeros reales

Vamos a definir el conjunto de los nmeros reales, R, en trminos de qu sabemos
hacer con sus elementos. Es difcil que si alguien nos pregunta seamos capaces de dar una
respuesta clara de qu es un nmero pero s somos capaces de decir qu cosas podemos
hacer con ellos.
En el conjunto de los nmeros reales tenemos definidas varias operaciones. La primera
que todos aprendemos es la suma.

Suma de nmeros reales

Las suma verifica, entre otras, las siguientes propiedades. Sean a, b y c nmeros reales
cualesquiera.
1) Propiedad asociativa: a + (b + c) = (a + b) + c.
2) Propiedad conmutativa: a + b = b + a.
3) Existencia de elemento neutro: a + 0 = a.
4) Existencia de elemento opuesto: a + (a) = 0.
Estas cuatro propiedades se resumen diciendo que (R, +) es un grupo abeliano o conmutativo.

Producto de nmeros reales

Adems de la suma tambin sabemos multiplicar nmeros reales. Por el mismo motivo, se supone que sabemos dividir. Mucho cuidado con esta afirmacin. No estamos
hablando de cmo se dividen nmeros sino de que, supuesto conocido el producto de
nmeros, la divisin es la operacin inversa. Ocurre lo mismo con la suma: no hemos
dicho como se restan nmeros reales pero, en teora restar una cantidad es simplemente sumar la cantidad cambiada de signo. Con el producto, dividir por un nmero a es
multiplicar por 1/a.

El conjuntos de los nmeros reales

Nmeros reales

Sean a, b y c nmeros reales distintos de cero. Entonces se verifican las siguientes propiedades.
5) Propiedad asociativa: a(bc) = (ab)c.
6) Propiedad conmutativa: ab = ba.
7) Existencia de elemento neutro: a1 = 1a.
8) Existencia de elemento inverso: a 1a = 1 (a 6= 0).
Observacin 1.1. El elemento opuesto en el caso de la suma y el elemento inverso para
el producto son nicos. En el caso de la suma la notacin es siempre la misma: el opuesto
de a es a. Para el producto usaremos indistintamente la notacin 1a o a1 .
Una vez que tenemos la suma y el producto, sera conveniente que estas dos operaciones se relacionen de alguna manera:
9) propiedad distributiva: a(b + c) = ab + ac.

Orden
Las propiedades que hemos comentado hasta ahora no determinan de manera nica el
conjunto de los nmeros reales. El conjunto de los nmero racionales tambin las verifica
como se puede comprobar fcilmente. Cal es la diferencia entre ambos conjuntos? Qu
sabemos hacer en R que no podamos hacer en Q? Siempre que se hace esta pregunta en
clase las respuestas suelen ser del tipo: races cuadradas, logaritmos, senos o cosenos,
etc. Aunque se podra intentar seguir por ah, ese camino puede tener ms dificultades a
posteriori que el que vamos a elegir.
El orden en el conjunto de los nmeros reales tambin es algo conocido por el lector.
Lo podemos ver de varias formas: sabemos cundo un nmero es positivo o somos capaces de decidir cul de dos nmeros es el mayor. Hagamos un breve resumen de sus
propiedades.
10) Propiedad reflexiva: a a.
11) Propiedad antisimtrica: si a b y b a, entonces a = b.
12) Propiedad transitiva: si a b y b c, entonces a c.
13) El orden es total: dado a R, se cumple que a 0 o que a 0 o, lo que es lo mismo,
dados a, b R, se cumple que a b o que b a.
Las siguientes propiedades relacionan la suma y el producto con el orden que acabamos de presentar.
14) Si a b, entonces a + c b + c.
15) Si a b y c 0, entonces ac bc.

El ltimo axioma
Tanto R como Q verifican todas las propiedades que hemos expuesto. Necesitamos,
por tanto, alguna propiedad ms para diferenciarlos. Esta ltima propiedad est muy relacionada con el orden, pero antes de presentarla necesitamos definir algunos conceptos.

Cota

Definicin 1.2.
a) Sea A R, diremos que M R es una cota superior o mayorante (resp. inferior o
minorante) de A si a M para cualquier a A (resp. a M).

Nmeros reales

El conjuntos de los nmeros reales

b) Sea A un subconjunto de R. Diremos que a0 A es el mximo absoluto (resp. mnimo

absoluto) de A si verifica que a a0 (resp. a a0 ) para cualquier a A.

Mximo absoluto

Veamos algunos ejemplos de estos conceptos.

Ejemplo 1.3.
a) El conjunto de los nmeros naturales no es un conjunto acotado. Ms concretamente,
no es un conjunto acotado superiormente pero s est acotado inferiormente. Como no
est acotado superiormente no tiene mximo. S tiene mnimo: 1 n para cualquier
natural n n
o
b) El conjunto n1 : n N est acotado superior e inferiormente: 0 n1 1 para cualquier
natural n. Tiene mximo: el 1, pero no tiene mnimo. El mnimo podra ser el cero pero
no pertenece al conjunto./
A la vista de los ejemplos, la existencia de mximo implica que el conjunto esta acotado pero el recproco no es cierto. Hay conjuntos acotados y que no tienen ni mximo ni
mnimo: piensa en el intervalo ]0, 1[. Sin embargo, aunque ni el 0 ni el 1 sean ni mximo
ni mnimo, s parece claro que tienen un papel destacado. De alguna forma son los extremos del conjunto, pertenezcan o no a dicho conjunto. El supremo y el nfimo van a ser
una forma de reconocer este tipo de puntos.
Definicin 1.4. Sea A un subconjunto acotado superiormente de R. El supremo del
conjunto A, sup(A), es la menor de sus cotas superiores. Anlogamente se define el
nfimo de un conjunto acotado inferiormente como la mayor de sus cotas inferiores y
lo notaremos inf(A).
Con esta definicin ya podemos aadir la ltima propiedad que nos falta para definir
el conjunto de los nmeros reales:
Axioma del supremo: todo conjunto acotado superiormente tiene supremo.
Este axioma es equivalente al axioma del nfimo. Slo hay que darse cuenta de que
si cambiamos el signo las desigualdades tambin cambian.
Ejemplo 1.5. Los extremos de un intervalo acotado son el supremo e nfimo de dicho
intervalo independientemente de si pertenecen o no al intervalo. En el caso particular
de que alguno de ellos est en dicho intervalo sern, adems mximo o mnimo (lo que
corresponda). /
Proposicin 1.6. Sea A un conjunto acotado superiormente y sea x el supremo de A.
a) Si x / A, entonces A no tiene mximo.
b) Si x A, entonces A tiene mximo y, de hecho, x = max(A).
La siguiente proposicin ser til en la demostracin de algunos resultados posteriores.
Sea A R un subconjunto acotado superiormente y sea x R. Entonces
(
i) a x, para todo a A
x = sup(A)
ii) dado > 0, a A tal que x < a.

Proposicin 1.7.

Supremo
nfimo

Naturales, enteros, racionales e irracionales

Nmeros reales

1.2 Naturales, enteros, racionales e irracionales

Nmeros naturales
El conjunto de los nmeros naturales, al que denotaremos N, es
N = {1, 2, 3, . . .}
La inclusin del cero como nmero natural es una convencin. En algunos textos aparece
como natural y en otros no. Nosotros no lo vamos a incluir para simplificar algunas notaciones. Por ejemplo, para poder hablar de ln(n) o de n1 sin necesidad de estar recordando
constantemente que n no puede ser cero.

Nmeros enteros
El conjunto de los nmeros enteros, Z, es
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}
La operacin suma en Z es una operacin interna: la suma (y la resta) de enteros es un
entero. No ocurre lo mismo con el producto. El inverso de un nmero entero no nulo es
un nmero racional.

Nmeros racionales e irracionales

Los nmeros racionales son aquellos que se pueden expresar como cociente de un entero y un natural:
(
)
p
Q=
: p Z, q N .
q
Los nmeros irracionales, R \ Q, son aquellos que no son racionales. Probablemente ests ms acostumbrado a tratar con la representacin decimal de los nmeros reales. Los
racionales tienen una cantidad finita de decimales o infinita peridica. Los irracionales,
por tanto, tienen una cantidad infinita de decimales no peridicos.
Observacin 1.8. El conjunto de los nmeros irracionales no es, ni siquiera, un espacio
vectorial como lo es el conjunto de los nmeros racionales. El elemento neutro para la
suma o el producto, 0 y 1, no son irracionales. Es muy fcil encontrar ejemplos de que la
suma y el producto de nmeros irracionales no es necesariamente un numero irracional:
2
= 2.
Nmero algebraico
Nmero trascendente

Dentro de los nmeros reales podemos distinguir entre nmeros algebraicos y nmeros trascendentes. Un nmero es algebraico si es solucin de un polinomio con coeficientes

enteros. Por ejemplo, cualquier racional o 2 son nmeros algebraicos. Si no se puede expresar como raz de un polinomio con coeficientes enteros diremos que es un nmero
trascendente.
No es fcil buscar las races irracionales de un polinomio, pero s podemos buscar las
posibles races racionales de un polinomio con coeficientes enteros.

Nmeros reales

Valor absoluto

Observacin 1.9. Dada la ecuacin an xn + an1 xn1 + . . . + a1 x + a0 = 0, donde a0 , a1 ,,...,an

son nmeros enteros y a0 an 6= 0, si la ecuacin tiene una raz racional p/q (con p y q primos
entre si), entonces p divide a a0 y q divide a an .
El conocimiento de las races racionales nos puede servir para comprobar que un nmero no es racional.
Ejemplo 1.10. Las nicas posibles races racionales del polinomio x2 2 = 0 son 1, 2.

Cmo ninguna de ellas es solucindel polinomio, 2 no puede ser un nmero racional.

La otra demostracin usual de que 2 no es un nmero racional utiliza la
descomposicin
en primos de un nmero y la reduccin al absurdo:supongamos que 2 fuera racional.
p
p
Eso quiere decir que podra escribirse de la forma 2 = q , donde q es una fraccin irreducible. Si elevamos al cuadrado obtenemos que 2q2 = p2 y, en consecuencia, p2 es un
nmero par. Pero para que el cuadrado de un nmero sea par, necesariamente dicho nmero debe ser par. Luego p = 2a para conveniente a. Sustituyendo, q2 = 2a2 y, por tanto, q
tambin es par. Hemos obtenido una contradiccin: la fraccin p/q no puede
ser irredu
cible y, a la vez, que numerador y denominador sean pares. Por tanto, 2 no puede ser
racional.
Comprueba t mismo que con las mismas ideas puedes comprobar que la raz cuadrada
de un natural es otro natural o un nmero irracional. /

Representacin decimal
FALTA

1.3 Valor absoluto

La distancia entre dos nmeros reales se mide calculando la diferencia entre el mayor
y el menor de ellos. La funcin que mide la distancia al cero es la funcin valor absoluto.
Definicin 1.11.

Se define el valor absoluto de un nmero real x como


x,
si x 0
|x| =
x, si x < 0

Proposicin 1.12. Dados x, y R, se verifican las siguientes afirmaciones.

a) | x | 0, y | x | = 0 x = 0,
b) | x | y y  x y,


 
c)  x + y  | x | +  y , 

  

d)  | x |  y     x y ,
 
 
e) si  xy  = | x |  y .
Para demostrar cualquiera de estas desigualdades o, en general, para trabajar con expresiones en las que intervienen valores absolutos tenemos varias posibilidades. La primera de ellas es discutir los distintos casos que se pueden presentar. Veamos un ejemplo.
Ejemplo 1.13. Cundo es cierta la desigualdad | x 3 | < | x 1 |?
Lo que vamos a hacer es eliminar el valor absoluto (una funcin definida a trozos) discutiendo todas las posibilidades:

Desigualdad
triangular

El principio de induccin

Nmeros reales

a) si x 1, | x 3 | < | x 1 | (x 3) < (x 1) 3 > 1 lo que, claramente,

no es cierto,
b) si 1 x 3, | x 3 | < | x 1 | (x 3) < (x 1) 2 < x, y por ltimo
c) si x 3, | x 3 | < | x 1 | (x 3) < (x 1) 3 < 1.
Resumiendo, la desigualdad es cierta si, y slo si, x > 2. /
Tambin podemos aprovechar el hecho de que elevar al cuadrado conserva el orden
en los reales positivos: 0 < a < b a2 < b2 . Vamos a utilizar esto para demostrar la
desigualdad triangular:
  2
2 

 


 x + y  | x | +  y   x + y  | x | +  y 
 
x2 + y2 + 2xy x2 + y2 + 2  xy 
 
xy  xy  ,
lo cual, evidentemente, es cierto. Observa que, de regalo,
probado que la igualdad

 hemos
en la desigualdad triangular es cierta si, y slo si, xy =  xy  o, lo que es lo mismo, si x e y
tienen el mismo signo. Prueba t a demostrar el resto de afirmaciones de la proposicin
anterior.

1.4 El principio de induccin

La definicin del conjunto de los nmeros naturales puede hacerse como la definicin
que hemos dado del conjunto de los nmeros reales mediante una serie de propiedades
que lo caractericen en lugar de especificar cules son sus elementos. Si el axioma del
supremo es la propiedad clave que nos ha permitido definir los nmeros reales, en el
caso de los naturales dicha propiedad es la de ser inductivo.
Conjunto
inductivo

Definicin 1.14. Un subconjunto A de los nmeros reales diremos que es inductivo

si verifica las siguientes dos propiedades:
a) 1 A,
b) si a A, entonces a + 1 A.
Ejemplo 1.15.
a) R, Q, Z, N, R+ son conjuntos inductivos.
b) Ningn conjunto acotado puede ser un conjunto inductivo./
Definicin 1.16. El conjunto de los nmeros naturales es el menor conjunto inductivo o, lo que es lo mismo, la interseccin de todos los conjuntos inductivos.

Principio de
induccin

Proposicin 1.17. Sea A un subconjunto de los nmeros reales verificando que

a) A es inductivo,
b) A N.
Entonces A = N.
En otras palabras, para demostrar que un subconjunto del conjunto de los nmeros
naturales, A N, es, en realidad, el conjunto de los naturales es suficiente con comprobar
que
a) 1 A, y que

Nmeros reales

Intervalos y conjuntos destacados

tringulo de Pascal

2
3

1
1

0
1

0

1
2

(a + b)n

n o combinatorio
0

2

0

1
3

3

0

a+b

1

1
2

1

3

1

2

2
3

2

a2
3

3

+ 2ab + b2

a3 + 3a2 b + 3ab2 + b3

Tabla 1.1 Tringulo de Pascal o Tartaglia

1.5 Intervalos y conjuntos destacados

Los conjuntos que van a jugar un papel ms destacado son los intervalos.
Definicin 1.20. Un subconjunto I de R es un intervalo si para cualesquiera x, y I
 
se cumple que x, y = {t R : x t y} I.

Intervalo

Ya conoces cules son los distintos intervalos: abiertos, semiabiertos, cerrados, acotados
o no:
[a, b] = {x R : a x b}
]a, b] = {x R : a < x b}
[a, b[= {x R : a x < b}
]a, b[= {x R : a < x < b}
[a, +[= {x R : a x}
]a, +[= {x R : a < x}
] , b] = {x R : x b}
] , b[= {x R : x < b}
Definicin 1.21. Sea A un subconjunto de R.
a) Diremos que a A es un punto interior si existe > 0 tal que ]a , a + [ I.


b) El interior de A es el conjunto, A = a A : a es un punto interior . Diremos que
el conjunto A es abierto si coincide con su interior.
c) Diremos que x R es un punto adherente si para cualquier > 0 se tiene que
]a , a + [A 6= .


d) El cierre o adherencia del conjunto A es A = x R : x es un punto adherente de A .
Diremos que el conjunto A es cerrado si coincide con su adherencia.
e) Diremos que x R es un punto de acumulacin de A si para cualquier r positivo
se cumple que
]a r, a + r[ (A \ {a}) 6= .
Notaremos A0 al conjunto de todos los puntos de acumulacin de A.

11

Punto interior

Punto adherente

Punto de acumulacin

Ejercicios

Punto aislado

Nmeros reales

f) Diremos que x R es un punto aislado del conjunto A si existe r > 0 tal que
]a r, a + r[A = {a}.

Frontera

g) La frontera de A es Fr(A) = A \ A.
Ejemplo 1.22.
a) Los intervalos abiertos, ya sean acotados o no, son conjuntos abiertos. De la misma
forma los intervalos cerrados son conjuntos cerrados.
b) El conjunto de los naturales N es cerrado y tiene interior vaco al igual que Z. Adems
todos sus puntos nson aislados.
o
c) El conjunto A = n1 : n N tiene interior vaco, todos sus puntos son aislados y su
cierre es A {0}. Ms concretamente, 0 es un punto de acumulacin de A./
Proposicin 1.23. Sea A un subconjunto de R. Se verifican las siguientes afirmaciones.
a) A A A,
b) A es abierto si, y slo si, R \ A es cerrado.

1.6 Ejercicios
Ejercicio 1.1. Calcular para qu valores de x se verifica que

2x3
x+2

< 13 .

Solucin 1.1. Para quitar denominadores tenemos que multiplicar por x + 2.

1
11
a) Si x > 2, entonces x + 2 > 0 y 2x3
x+2 < 3 6x 9 < x + 2 x < 5 .
1
11
b) Si x < 2, entonces x + 2 < 0 y 2x3
x+2 < 3 6x 9 > x + 2 x > 5 , que no se
verifica.
1
11
Resumiendo 2x3
x+2 < 3 2 < x < 5 .
Ejercicio 1.2. Encontrar aquellos valores de x que verifican que:
1
d) x2 6 x,
> 0,
a) 1x + 1x
b) x2 5x + 9 > x,
e) x3 6 x,
3
2
c) x (x 2)(x + 3) < 0,
f) x2 (a + b)x + ab < 0.
Solucin 1.2.
1
1
a) 0 < 1x + 1x
= x(1x)
0 < x(1 x) 0 < x < 1.
2
b) x 5x + 9 > x x2 6x + 9 > 0 (x 3)2 > 0 x 6= 3.
c) x3 (x 2)(x + 3)2 < 0 x3 (x 2) < 0 0 < x < 2.
d) x2 x x2 x 0 x(x 1) 0 x [0, 1].
e) x3 x x(x 1)(x + 1) 0 ] , 1] [0, 1].
f) 0 > x2 (a + b)x + ab = (x a)(x b) x ] min{a, b}, max{a, b}[.
Ejercicio 1.3. Discutir para qu valores de x se verifica que:
a) |x 1| |x + 2| = 3,
c) |x 1| + |x + 1| < 1,
2
b) |x x| > 1,
d) |x + 1| < |x + 3|.
Solucin 1.3.

12