Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sup Inf
Sup Inf
Completamos en este tema la presentacin de los nmeros reales, estudiando las propiedades
ms importantes de R, las que se deducen del axioma del continuo. Para aplicar cmodamente
dicho axioma usaremos las nociones de supremo e nfimo, imprescindibles en Anlisis.
La existencia de nmeros irracionales ser nuestro primer objetivo. Despus intentaremos
entender la distribucin de los nmeros racionales e irracionales sobre la recta real. Finalmente
haremos un breve estudio de los subconjuntos de R que ms utilidad tendrn en lo que sigue,
los intervalos, y concluiremos probando que R no es numerable, con lo que quedar claro que
los nmeros irracionales abundan mucho ms que los racionales.
4.1.
Supremo e nfimo
El axioma del continuo tiene un significado intuitivo muy claro, pero casi nunca se usa tal
como lo hemos enunciado. Para aplicarlo con ms comodidad sirven las nociones que ahora
vamos a presentar.
Dado un conjunto no vaco A R, se dice que A est mayorado cuando existe y R tal que
y > a para todo a A. En tal caso decimos tambin que y es un mayorante de A, as que A est
mayorado cuando admite un mayorante. Anlogamente decimos que A est minorado cuando
admite un minorante, esto es, un x R tal que x 6 a para todo a A. Cuando A est a la vez
mayorado y minorado decimos que est acotado.
Resaltamos la relacin entre las nociones de mayorante y mximo o de minorante y mnimo.
La diferencia esencial estriba en que un mayorante o minorante de un conjunto no tiene por qu
pertenecer al conjunto. De hecho, si un conjunto A de nmeros reales tiene mximo, entonces
max A es el nico elemento de A que es mayorante de A. Anlogamente, el mnimo de un
conjunto, si existe, es el nico minorante de dicho conjunto que pertenece al mismo.
24
25
es R+
0 y ninguno de ellos pertenece a R , de ah que R no tenga mximo.
+
El conjunto R+
0 no est mayorado, el conjunto de sus minorantes es R0 , 0 = mn R0 y
todos los elementos de R son minorantes de R+
0 que no le pertenecen.
26
4.2.
Raz n-sima
+
n
n
y R tal que y = x. Se dice que y es la raz n-sima de x, simblicamente: y = x.
Demostracin. Empezamos con dos observaciones sencillas. La primera es la siguiente:
R , 0 6 6 1 = (1 + )k 6 1 + 3 k1 k N
(1)
27
(2)
Finalmente, la unicidad de y est clara: para z R+ con z 6= y, o bien z < y, con lo que
< y n = x, o bien z > y, con lo que z n > y n = x; en cualquier caso z n 6= x.
1
2
x = x. Para n = 2 tenemos
la raz cuadrada y escribimos
x en lugar de x. Para n = 3
3
4
tenemos la raz cbica x, para n = 4 la raz cuarta x, etc.
Aunque en el teorema anterior slo se usan nmeros positivos, podemos ahora fcilmente,
para cualesquiera x R y n N, discutir las soluciones reales de la ecuacin
y n = x. Para x = 0,
n
dicha ecuacin tiene solucin nica, y = 0, luego es coherente definir 0 = 0 para todo n N.
Para x R hay que distinguir dos casos:
Si n es par, tenemos (y)n = y n > 0 para todo y R. Para x R , la ecuacin
no tiene
n
n
Si n es impar, tenemos (y)n = y n para
todo
y
R.
Definiendo
x
=
x para todo
n
x R , vemos que, para todo x R, x es la nica solucin real de la ecuacin y n = x.
4.3.
28
Nmeros irracionales
Recordemos que los nmeros reales que no son racionales se denominan irracionales. No
se usa una notacin especial para el conjunto de los nmeros irracionales, es simplemente el
conjunto R \ Q. La existencia de races ensimas nos permitir encontrar abundantes nmeros
irracionales.
Empezamos conun caso muy sencillo, probando que no existe r Q tal que r2 = 2, con lo
que obligadamente 2 R \ Q. El siguiente razonamiento se atribuye a Hipaso de Metaponto,
miembro de la escuela pitagrica (siglo V a.C.):
Supongamos que existiese r Q, con r > 0, tal que r2 = 2, para llegar a contradiccin.
Podemos entonces escribir r = p/q donde p, q N son primos entre s, de forma que la fraccin
p/q sea irreducible. Puesto que p2 = 2q2 , observamos que p2 es un nmero par y, por tanto, p
tambin es par. Escribiendo entonces p = 2h con h N, tendremos 2q2 = p2 = 4h2 de donde
q2 = 2h2 . Entonces q2 es par, luego q es par y hemos llegado a una contradiccin: p y q son
pares, luego no son primos entre s.
Usando esencialmente el mismo razonamiento, podemos llegar mucho ms lejos:
Dados n, m N,
q = mn {k N : k n m N}
n
n
p = sh y q = sk con h, k N tenemos evidentemente m = h/k, luego k m = h N, es decir,
k pertenece al conjunto cuyo mnimo es q, una contradiccin: k > q = sk > k.
Podemos ya poner en marcha toda una fbrica de nmeros irracionales.
Fijados
n, k N,
n < m < (k +1) n tendremos k <
n
n
para cualquier
m
N
que
verifique
k
m
<
k
+1
luego
m
/ N,
n
as que m R \ Q. Por ejemplo, tomando
n = 2 y k = 1 obtenemos que 2 y 3 son nmeros
irracionales, con k = 2 obtenemos que m R \ Q para m = 5, 6, 7, 8, y as sucesivamente. Pero
tambin podemos usar races cbicas: 3 m R \ Q para todo m N que verifique 1 < m < 8, o
bien 8 < m < 27, etc.
An podemos incrementar nuestra coleccin de nmeros irracionales si pensamos que,
tomando R \ Q (por ejemplo = 2) y r, s Q con s 6= 0, se tiene que r + s R \ Q. En
efecto, si fuese r + s = t Q tendramos = (t r)/s Q, una contradiccin.
29
4.4.
Propiedad arquimediana
Es natural preguntarse cmo podemos situar los nmeros irracionales sobre la recta real. La
pregunta no es nada fcil, como se puede probablemente adivinar, pero vamos a obtener bastante
informacin al respecto. Empezaremos con la que se conoce como propiedad arquimediana del
orden de R: el conjunto N no est mayorado, es decir, para todo x R existe n N tal que
n > x. Para los nmeros racionales esto es evidente: si r Q, o bien r 6 0 < 1 o bien r = m/n
con m, n N, en cuyo caso r < m + 1. Para los irracionales el resultado no es tan obvio, pero
tambin es cierto. De hecho probaremos un resultado ms general:
Teorema. Sea A un conjunto no vaco de nmeros enteros.
(i) Si A est mayorado, entonces A tiene mximo. En particular, N no est mayorado.
(ii) Si A est minorado, entonces A tiene mnimo.
(iii) Si A est acotado, entonces A es finito.
Demostracin. (i) es sencillo, usando la existencia de supremo: sea z = sup A. Entonces
z 1 no puede ser mayorante de A, luego existe k A tal que z 1 < k. Para todo a A, se tiene
entonces a 6 z < k + 1 de donde, por ser a y k nmeros enteros, deducimos que a 6 k. Por tanto,
k = max A, como se quera. Est claro ahora que N no puede estar mayorado, puesto que no tiene
mximo. La demostracin de (ii) es anloga, usando la existencia de nfimo. Alternativamente,
basta aplicar (i) al conjunto mayorado B = {a : a A}, y observar que mn A = max B.
Finalmente, si A est acotado, podemos tomar p = mn A y definir f (a) = a p + 1 para
todo a A, obteniendo una aplicacin f : A N que claramente es inyectiva, as que A es
equipotente a f (A) y bastar ver que f (A) es finito. Ahora bien, tomando q = max A tenemos
claramente f (a) 6 q p + 1 para todo a A, luego f (A) es finito por estar contenido en el
conjunto finito {n N : n 6 q p + 1}.
Veamos una consecuencia til del teorema anterior: fijado x R, el conjunto {k Z : k 6 x}
no es vaco, pues tomando n N tal que x < n, es claro que n pertenece a dicho conjunto.
Tenemos as un conjunto de nmeros enteros no vaco y claramente mayorado, luego tiene
mximo, que recibe el nombre de parte entera de x, y se denota por E(x). As pues:
E(x) = max {k Z : k 6 x}
x R
Tenemos claramente que E(x) Z y E(x) 6 x < E(x) + 1. De hecho, E(x) se caracteriza por
esas dos condiciones, es decir: si k Z verifica que k 6 x < k + 1, entonces k = E(x).
30
4.5.
Densidad de Q en R
p
nx + 1
1
nx
< 6
= x + < x + (y x) = y
n
n
n
n
31
4.6.
Intervalos
Vamos a presentar varios tipos de subconjuntos destacados de R, que se usan con mucha
frecuencia, reciben el nombre genrico de intervalos y tienen una interpretacin geomtrica
muy intuitiva. Adems de R y el conjunto vaco, que ambos son intervalos, tenemos:
Los segmentos, o intervalos acotados, de extremos a, b R, con a 6 b, conteniendo o no
dichos extremos, por lo que pueden ser de cuatro tipos:
Cerrado: [a, b] = {x R : a 6 x 6 b}
Abierto: ]a, b[= {x R : a < x < b}
Semiabierto por la izquierda: ]a, b] = {x R : a < x 6 b}
Semiabierto por la derecha: [a, b[= {x R : a 6 x < b}
Las semirrectas, que tambin pueden ser de cuatro tipos:
A la derecha, cerrada: [a, +[= {x R : a 6 x}
A la derecha, abierta: ]a, +[= {x R : a < x}
A la izquierda, cerrada: ] , b] = {x R : x 6 b}
A la izquierda abierta: ] , b[= {x R : x < b}
Obsrvese que, para a R, el intervalo cerrado y acotado [a, a] se reduce al punto a, mientras
/ Se entiende por intervalo no trivial un intervalo que no es vaco ni
que ]a, a[= [a, a[=]a, a] = 0.
se reduce a un punto, es decir, que tiene al menos dos puntos distintos. Como es la primera vez
que aparecen, debe quedar claro que los smbolos, y + son exactamente eso, smbolos,
sin ms significado que el que les demos en cada momento.
32
En efecto, dados x, y I con x < y, si z R verifica x < z < y, debemos ver que z I. Pero esto
es evidente: para todo , tenemos que x, y I , luego z I por ser I un intervalo.
4.7.
33
Intervalos encajados
El insigne matemtico alemn Georg Cantor (1845-1918) descubri una til propiedad de
la recta real que enseguida vamos a demostrar, y la us para probar que R no es numerable.
Principio de los intervalos encajados. Supongamos que, para cada n N, tenemos un
intervalo cerrado y acotado Jn = [an , bn ], con an 6 bn , y cada uno de
\estos intervalos contiene
al siguiente: Jn+1 Jn para todo n N. Entonces la interseccin
Jn no es vaca, es decir,
nN
4.8.
34
P(z) =
ak z k = a0 + a1 z + . . . + an z n
z R
(3)
k=0
n
x = m es un nmero algebraico, pues se verifica evidentemente que m x n = 0. A partir de
aqu, no es difcil adivinar que todos los nmeros irracionales que hasta ahora conocemos son
algebraicos. Se dice que un nmero real es trascendente cuando no es algebraico.
Aunque por el momento no podamos asegurar que existan nmeros trascendentes, vamos a
probar que la inmensa mayora de los nmeros reales son trascendentes:
El conjunto de los nmeros algebraicos es numerable. Por tanto, el conjunto de los
nmeros trascendentes no es numerable.
Empezamos viendo que, para todo n N, el conjunto Pn es numerable. Para mayor comodidad,
conviene considerar el conjunto Qn de los polinomios de la forma (3), sin exigir que sea an 6= 0.
As pues Qn est formado por polinomios con coeficientes enteros de grado menor o igual que
n, incluyendo los polinomios constantes. Puesto que evidentemente Pn Qn , bastar ver que
Qn es numerable para todo n N, cosa que haremos por induccin.
Para n = 1 basta pensar que Z Z es numerable y que si a cada (a, b) Z Z asociamos el
polinomio definido por P(z) = a + b z para todo z R, obtenemos una aplicacin sobreyectiva
de Z Z en Q1 .
35
4.9.
Ejercicios
1. Sea A un conjunto no vaco de nmeros reales. En cada uno de los siguientes casos,
decidir si el conjunto dado puede ser el conjunto de todos los mayorantes de A:
a) R ;
b) 0/ ;
c) R+ ;
d) {x R : 0 6 x < 1} ;
e) {x R : 2 6 x}
36
n6
62 n
n N
k=1
a+b
a, b R+ . Cundo se da la igualdad?
ab 6
2
yk = 1
k=1
yk > n
k=1
(2k 1) < n
k=1
y
n! <
n+1
2
n
37
5+2
14. Probar que
es un nmero irracional.
3 5+4
15. Probar que Q no verifica el axioma del continuo, es decir, mostrar dos conjuntos A, B Q
tales que a 6 b para cualesquiera A A y b B, pero no existe x Q verificando que
a 6 x 6 b para todo a A y todo b B.
16. En cada uno de los siguientes casos, comprobar que el conjunto que se indica est acotado,
calcular su supremo e nfimo, y dilucidar si tiene mximo y mnimo:
A = {x R : x2 + x < 2} ;
B = {x Q : x2 6 3} ;
nf
C = {x R+ \ Q : x2 6 2}
1
1
+ n : m, n N
m 2
=0
/ entonces I J es un intervalo.
18. Probar que si I, J son intervalos verificando que I J 6= 0,
/ Probar que
19. Sean A, B intervalos no vacos y acotados, tales que A B 6= 0.
nf (A B) = max {nf A , nf B}
In =
Jn = 0/
nN