Tema

Supremo e nmo. Nmeros irracionales

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 nmo, 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 nmo

El axioma del continuo tiene un signicado 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 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 m ax 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

4. Supremo e nmo. Nmeros irracionales

25

Veamos algunos ejemplos sencillos de las nociones recin introducidas. El conjunto R no est mayorado ni minorado. El conjunto R no est minorado, pero s est mayorado, el conjunto de sus mayorantes es R+ 0 y ninguno de ellos pertenece a R , de ah que R no tenga mximo.
El conjunto R+ n R+ 0 no est mayorado, el conjunto de sus minorantes es R0 , 0 = m 0 y + todos los elementos de R son minorantes de R0 que no le pertenecen.

Finalmente, el conjunto A = {a R : 0 a < 1} est acotado, R 0 es el conjunto de los minorantes de A y 0 = m n A. El conjunto de los mayorantes de A es {y R : y 1} y A no tiene mximo. Es obvio que si y es un mayorante de un conjunto A y tomamos z R con z > y, tambin z es mayorante de A, pero al sustituir y por z hemos perdido informacin. Podramos decir que un mayorante es tanto ms til cuanto ms pequeo sea, lo que nos lleva a preguntarnos si el conjunto de los mayorantes tiene mnimo. Anlogamente, para un conjunto minorado, podemos preguntarnos si el conjunto de sus minorantes tiene mximo. El axioma del continuo nos permitir contestar armativamente ambas preguntas: Teorema (Existencia de supremo e nmo). Si A es un conjunto de nmeros reales no vaco y mayorado, entonces el conjunto de los mayorantes de A tiene mnimo, que recibe el nombre de supremo del conjunto A y se representa por sup A. Anlogamente, si A es un conjunto de nmeros reales no vaco y minorado, entonces el conjunto de los minorantes de A tiene mximo, que recibe el nombre de nmo del conjunto A y se representa por nf A. Demostracin. En efecto, sea A un conjunto no vaco y mayorado de nmeros reales, y sea B el conjunto de todos los mayorantes de A. Por denicin de mayorante tenemos a b para cualesquiera a A y b B. El axioma del continuo nos proporciona un x R vericando que a x b, tambin para todo a A y todo b B. Pero entonces est claro que x es mayorante de A y es menor o igual que cualquier otro mayorante de A, luego es el mnimo del conjunto de los mayorantes de A, como queramos. Para la existencia del nmo se razona de manera anloga, usando un conjunto minorado y el conjunto de sus minorantes. Naturalmente, si A es un conjunto de nmeros reales no vaco y acotado, entonces A tiene supremo e nmo, siendo evidente que: nf A sup A. La siguiente observacin ayuda a comprender rpidamente la utilidad de las nociones de supremo e nmo. Para un conjunto mayorado A, est claro que un nmero real y es mayorante de A si, y slo si, y sup A. As pues, el conjunto de los mayorantes de A es {y R : y sup A}. Segn la denicin de mayorante, lo que tenemos es la siguiente equivalencia: a y a A sup A y

Obsrvese que a la izquierda de esta equivalencia tenemos tantas desigualdades como elementos de A, pero mirando a la derecha, la nocin de supremo nos ha permitido reducir todas esas desigualdades a una sola.

4. Supremo e nmo. Nmeros irracionales

26

Para el nmo tenemos la equivalencia anloga: x

a a A x

nf A.

Veamos ahora la relacin entre las nociones de supremo y mximo, o nmo y mnimo. Si un conjunto no vaco A R no est mayorado, no podr tener mximo ni supremo, as que supongamos que A est mayorado, con lo que sabemos que tiene supremo y podr tener mximo o no. Si A tiene mximo, entonces m ax A es un mayorante de A, pero como m ax A A, todo mayorante de A ser mayor o igual que m ax A, as que m ax A = sup A y en particular, sup A A. Recprocamente, si sup A A, entonces sup A es un mayorante de A que pertenece al conjunto A, luego A tiene mximo, y de nuevo m ax A = sup A. En resumen, para un conjunto A R, no vaco y mayorado, hemos visto que A tiene mximo si, y slo si, sup A A, en cuyo caso m ax A = sup A. Anlogamente, un conjunto no vaco y minorado A R tiene mnimo si, y slo si, nf A A, en cuyo caso, m n A = nf A. La relacin recin comentada explica que usemos el supremo o el nmo de un conjunto como sucedneo de un mximo o mnimo que no existe, o al menos no sabemos si existe. A este respecto puede ser til un paralelismo que vamos a establecer entre la denicin del mximo de un conjunto y una caracterizacin del supremo que se comprueba sin dicultad. Concretamente, dado un conjunto no vaco A R y un R, se tiene = m ax A a a A A = sup A a a A R+ a A : < a

Intuitivamente, la diferencia es que, mientras el mximo de un conjunto ha de pertenecer al conjunto, el supremo slo ha de tener elementos del conjunto tan cerca como se quiera. Naturalmente, anloga comparacin se puede hacer entre mnimo e nmo: = m n A a a A A = nf A a a A R+ a A : a < +

Un ejemplo que ya hemos usado anteriormente sirve para ilustrar las nociones de supremo e nmo y su relacin con las de mximo y mnimo. Para el conjunto A = {a R : 0 a < 1} se tiene que m n A = nf A = 0, sup A = 1 / A y A no tiene mximo.

4.2.

Raz n-sima

Como primera aplicacin de la existencia de supremo, vamos a probar una importante propiedad de los nmeros reales positivos: Teorema (Existencia de raz n-sima). Dado n N, para cada x R+ existe un nico + 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 1 = (1 + )k 1 + 3 k1 k N (1)

4. Supremo e nmo. Nmeros irracionales

27

Esta desigualdad se comprueba fcilmente por induccin. Para k = 1 es evidente, de hecho tenemos la igualdad. Suponiendo que la desigualdad es cierta para un k N, tenemos (1 + )k+1 = (1 + )k (1 + ) (1 + 3 k1 )(1 + ) 1 + 3 k1 + 3 k1 + 3 k1 = 1 + 3 k , por ser 0 1. Tenemos as la desigualdad = 1 + 3 k1 + + 3 k1 2 donde hemos usado que 3 k1 1 y que 2 buscada para el nmero natural k + 1.

Fijado ya n N, vamos con la segunda observacin: R , > 1 = R+ : (1 + )n (2)

En efecto, si > 1 + 3 n1 , basta tomar = 1 y aplicar la desigualdad (1). Si 1 + 3 n1 tomamos = ( 1)/3 n1 , con lo que 0 1 y (1) nos dice que (1 + )n 1 + 3 n1 = . Entramos ya en la demostracin propiamente dicha. Dado x R+ , supongamos de momento que x 1, lo que hace que el conjunto A = {z R+ : z n x} no sea vaco, pues 1 A. Adems, para z R con z > x, se tiene z n > x n x y z / A, luego x es mayorante de A. Podemos pues denir y = sup A 1, y veremos que y n = x, comprobando que, tanto si y n < x como si y n > x, se llega a contradiccin. Suponiendo y n < x podemos aplicar (2) con = x/y n > 1, obteniendo un R+ tal que n x. Pero entonces la denicin del conjunto A nos dice (1 + )n x/y n , es decir (1 + )y que (1 + )y A, de donde (1 + )y sup A = y, lo cual es una contradiccin, porque R+ . Suponiendo y n > x aplicamos tambin (2) pero con = y n /x > 1, obteniendo un R+ que ahora verica (1 + ) n y n /x. Escribiendo para simplicar w = y/(1 + ), tenemos x w n . Para z A se tendr z n x w n , luego z w. Pero entonces w es un mayorante del conjunto A y por tanto w sup A = y, es decir, otra vez y (1 + )y, la misma contradiccin. As pues, tenemos y n = x lo que prueba la existencia de y en el caso x 1. Si 0 < x < 1, tenemos 1/x > 1 luego, por lo ya demostrado, existe u R+ tal que u n = 1/x, y basta tomar y = 1/u R+ para tener y n = x. zn Finalmente, la unicidad de y est clara: para z R+ con z = 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 = x.

Ni que decir tiene, para n = 1 la armacin del teorema anterior es perfectamente obvia: 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 denir 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 soluciones reales, mientras que para x R+ , tiene exactamente dos: n x. n n Si n es impar, tenemos (y)n = y n para todo y R . Deniendo 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. Supremo e nmo. Nmeros irracionales

28

4.3.

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 con un 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, n m es un nmero natural o un nmero irracional.

Bastar probar que si n m Q, entonces n m N. Siguiendo la pista del razonamiento anterior, es natural expresar n m como una fraccin irreducible, lo cual es bastante fcil, basta pensar que una fraccin es irreducible cuando su denominador es el ms pequeo posible. Por hiptesis, el conjunto {k N : k n m N} no es vaco, lo que nos permite denir q = m n {k N : k n m N} n Tenemos entonces que p = q n m N y obviamente m = p/q. La demostracin se concluir n probando que q = 1, con lo que m = p N. Supongamos por el contrario que q > 1, en cuyo caso ha de existir un nmero primo s > 1 que divide a q (si el propio q fuese primo tomaramos s = q). Puesto que p n = m q n vemos que s divide a p n , pero al ser s un nmero primo, esto implica que s divide a p. Escribiendo 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 verique 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 verique 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 = 0, se tiene que r + s R \ Q. En efecto, si fuese r + s = t Q tendramos = (t r)/s Q, una contradiccin.

4. Supremo e nmo. Nmeros irracionales

29

Tomando s = 1 en la armacin anterior, vemos que la suma de un nmero racional con un irracional es irracional, mientras que tomando r = 0 obtenemos que el producto de un nmero irracional por un racional no nulo es irracional. Conviene aclarar que la suma de dos nmeros irracionales puede ser racional Por ejemplo, 1 + 2 y 1 2 son irracionales, pero o irracional. su suma es 2. Por otra parte, 2 + 2 = 2 2 R \ Q. Tambin es claro que el producto de dos nmeros irracionales puede ser racional o irracional.

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 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 nito. 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 z < k + 1 de donde, por ser a y k nmeros enteros, deducimos que a k. Por tanto, k = m ax 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 nmo. Alternativamente, basta aplicar (i) al conjunto mayorado B = {a : a A}, y observar que m n A = m ax B. Finalmente, si A est acotado, podemos tomar p = m n A y denir 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 nito. Ahora bien, tomando q = m ax A tenemos claramente f (a) q p + 1 para todo a A, luego f (A) es nito por estar contenido en el conjunto nito {n N : n q p + 1}. Veamos una consecuencia til del teorema anterior: jado x R, el conjunto {k Z : k 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) = m ax {k Z : k x} x R

Tenemos claramente que E (x) Z y E (x) x < E (x) + 1. De hecho, E (x) se caracteriza por esas dos condiciones, es decir: si k Z verica que k x < k + 1, entonces k = E (x).

4. Supremo e nmo. Nmeros irracionales

30

Algunas propiedades sencillas de la parte entera se deducen de esta caracterizacin. Por ejemplo, si x R y p Z se tiene claramente E (x) + p x + p < E (x) + p + 1, de donde deducimos que E (x + p) = E (x) + p. En general, la denicin de la parte entera nos dice que E (x + y) E (x) + E (y) x, y R

puesto que E (x) + E (y) Z y E (x) + E (y) x + y. La desigualdad recin probada puede ser estricta: tomando x = y = 1/2 tenemos claramente E (x) + E (y) = 0 < 1 = E (x + y).

4.5.

Densidad de Q en R

Para x R \ Q, ya tenemos cierta informacin sobre la situacin de x en la recta real: debe ser un punto del segmento de extremos E (x) y E (x) + 1. Para anar mucho mejor, usaremos la principal consecuencia de la propiedad arquimediana de R: entre cada dos nmeros reales distintos, siempre existe un nmero racional. Es costumbre referirse a esta propiedad diciendo que Q es denso en R. Ms concretamente, dado un conjunto D R, se dice que D es denso en R cuando para cualesquiera x, y R con x < y, existe d D tal que x < d < y. Pues bien, vamos a ver que Q es denso en R y, con poco esfuerzo adicional, probaremos que tambin R \ Q es denso en R. Teorema (Densidad de Q y de R \ Q en R). Para cualesquiera x, y R con x < y, existe r Q vericando que x < r < y. Tambin existe R \ Q tal que x < < y. Demostracin. Para encontrar r empezamos tomando n = E 1/(y x) + 1, que claramente verica n N y n > 1/(y x), de donde 1/n < y x. Tomando entonces p = E (nx) + 1 Z, comprobaremos inmediatamente que x < p/n < y, luego bastar tomar r = p/n Q. En efecto: x= p nx < n n nx + 1 1 = x + < x + (y x) = y n n

Para probar la existencia de , aplicamos dos veces lo ya demostrado, obteniendo r, s Q tales que x < r < s < y. Fijado R \ Q con 0 < < 1 (por ejemplo = 2 1), basta tomar = r + (s r), para tener claramente R \ Q y x < r < < s < y. La siguiente consecuencia inmediata de la densidad de Q en R es importante, pues pone de maniesto cmo podemos obtener todos los nmeros reales a partir de los racionales: Para todo x R se tiene: sup {r Q : r < x} = x = nf {s Q : s > x}. Veamos con detalle la demostracin de la primera igualdad, pues la segunda se prueba de forma anloga. Claramente el conjunto A = {r Q : r < x} no es vaco y x es mayorante de A. Poniendo z = sup A, tenemos por tanto z x, pero si fuese z < x, la densidad de Q en R nos dara un r Q tal que z < r < x, pero entonces r A y z no sera mayorante de A, una contradiccin. Luego z = x como queramos.

4. Supremo e nmo. Nmeros irracionales

31

Volvamos a la interpretacin geomtrica de los nmeros reales. Mediante la construccin geomtrica que vimos en su momento, habamos situado sobre la recta los nmeros racionales. Para la inmensa mayora de los nmeros irracionales, no es posible idear una construccin geomtrica que permita situarlos en la recta. Sin embargo, el resultado recin obtenido permite convencerse de que a cada nmero real corresponde un nico punto de la recta real, y viceversa. Concretamente, cada x R debe corresponderse con el nico punto de la recta que est situado a la derecha de r para todo r Q que verique r < x, y a la izquierda de s para todo s Q que verique s > x. Es claramente admisible, desde un punto de vista intuitivo, que de esta forma tenemos una correspondencia biunvoca entre nmeros reales y puntos de la recta. Como es natural entender que, para x R+ , el segmento de extremos 0 y x tiene longitud x, queda claro que los nmeros reales permiten medir la longitud de cualquier segmento. De manera ms general, en vez de la longitud, podemos considerar otras magnitudes fsicas: rea, volumen, tiempo, masa, energa, temperatura, carga elctrica, etc. Los nmeros reales permiten medir cualquier cantidad de esas magnitudes fsicas, es decir, cuanticar la relacin entre dicha cantidad y una ja que se toma como unidad. Tenemos as una interpretacin fsica de los nmeros reales.

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 dichos extremos, por lo que pueden ser de cuatro tipos: Cerrado: [a, b] = {x R : a x b} b} b, conteniendo o no

Abierto: ]a, b[= {x R : a < x < b} Semiabierto por la izquierda: ]a, b] = {x R : a < x Semiabierto por la derecha: [a, b[= {x R : a x < b}

Las semirrectas, que tambin pueden ser de cuatro tipos: A la derecha, cerrada: [a, +[= {x R : a A la izquierda, cerrada: ] , b] = {x R : x x} b}

A la derecha, abierta: ]a, +[= {x R : a < x} 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 signicado que el que les demos en cada momento.

4. Supremo e nmo. Nmeros irracionales

32

/ , R, cuatro tipos de intervalos acotados Tenemos pues en total diez tipos de intervalos: 0 y cuatro tipos de semirrectas. Mediante los conceptos de supremo e nmo vamos a obtener ahora una til caracterizacin de los intervalos, es decir, un criterio que nos permite decidir si un subconjunto de R es o no un intervalo, independientemente del tipo de intervalo de que se trate. La caracterizacin es la siguiente: Para un conjunto I R, las siguientes armaciones son equivalentes: (i) I es un intervalo (ii) Para cualesquiera x, y I con x < y, si z R verica x < z < y, entonces z I . Dicho de forma intuitiva, un subconjunto de R es un intervalo cuando, siempre que contenga dos puntos distintos, ha de contener todos los intermedios. / o I = R, es obvio que I verica (ii). En La armacin (i) (ii) es casi evidente. Si I = 0 otro caso I viene denido por una o dos desigualdades (segn se trate de una semirrecta o de un segmento) que pueden ser o no estrictas. Ahora bien, para x, y I con x < y, si z R verica x < z < y, puesto que tanto x como y cumplen las desigualdades que denen a I , es claro que tambin z ha de vericarlas, luego z I . Por ejemplo, en el caso I = [a, b[ con a, b R , a < b, tendramos a x < z < y < b, luego z I . Los dems casos son anlogos. (ii) (i). Supongamos que I R verica la condicin (ii) para probar que I es un intervalo, / . Para I = 0 / pueden darse cuatro casos, segn I est o cosa que obviamente ocurre cuando I = 0 no mayorado y minorado: (a) I no est mayorado ni minorado. Dado z R, puesto que z no puede ser minorante ni mayorante de I , existir un x I tal que x < z, as como un y I tal que z < y. Deducimos de (ii) que z I , pero z R era arbitrario, luego I = R es un intervalo. (b) I est minorado pero no mayorado. Tomamos a = nf I siendo claro que I [a, +[. Por otra parte, para z ]a, +[ se tiene que z no puede ser minorante de I , luego existe x I tal que x < z. Pero z tampoco puede ser mayorante de I luego existe y I tal que z < y. La condicin (ii) nos dice que z I , con lo que tenemos ]a, +[ I [a, +[. Ahora slo pueden darse dos casos: o bien a I , con lo que I = [a, +[, o bien a / I , en cuyo caso I =]a, +[. En cualquier caso, I es una semirrecta a la derecha. (c) I est mayorado pero no minorado. Un razonamiento anlogo al caso anterior, tomando b = sup I permite probar que I es una semirrecta a la izquierda: I =] , b[ o I =] , b]. (d) I est acotado. Tomamos a = nf I y b = sup I para probar que I es un intervalo acotado con extremos a y b. Si z ]a, b[, z no podr ser mayorante ni minorante de I , luego existirn x, y I tales que x < z < y; pero entonces z I , luego ]a, b[ I [a, b]. Esa doble inclusin nos deja solamente cuatro posibilidades: I =]a, b[, I = [a, b[, I =]a, b] o I = [a, b]. Como ejemplo que ilustra bien la utilidad de la caracterizacin recin obtenida, podemos probar fcilmente lo siguiente La interseccin de cualquier familia de intervalos es un intervalo. Ms concretamente, si es un conjunto no vaco y, para cada tenemos un intervalo I R, entonces el conjunto I = I es un intervalo.

En efecto, dados x, y I con x < y, si z R verica 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. Supremo e nmo. Nmeros irracionales

33

4.7.

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 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, existe x R tal que x Jn para todo n N.
nN

Demostracin. Empezamos observando, mediante una obvia induccin, que Jn+k Jn para cualesquiera n, k N. Usando entonces que an+k , bn+k Jn , tenemos an bn+k , an+k bn n, k N

de donde se deduce claramente que ai b j para cualesquiera i, j N. Equivalentemente, si consideramos los conjuntos A = {an : n N} y B = {bn : n N}, tenemos que a b para cualesquiera a A y b B. El axioma del continuo nos asegura que existe un x R vericando que a x b para cualesquiera a A y b B. Es claro entonces que x Jn , para todo n N. Veamos ahora cmo us Cantor el principio anterior para probar que R no es numerable: Teorema. Todo intervalo no trivial es un conjunto no numerable. Demostracin. Se basar en construir por induccin intervalos encajados, iterando un proceso sencillo: dados un intervalo I = [a, b] con a < b y un z R, existe otro intervalo J = [c, d ] I con c < d , tal que z / J . Esto es evidente: si z / I se puede tomar J = I , si z = a se toma a < c < b y d = b, mientras que si a < z b basta tomar c = a y a < d < z. En cualquier caso es c < d y tomando J = [c, d ], se tiene z / J I. Pues bien, jados a, b R con a < b, para probar que [a, b] no es numerable, veremos que una aplicacin f : N [a, b] nunca puede ser sobreyectiva, es decir, f (N) = [a, b]. Empezamos tomando un intervalo J1 como sigue: J1 = [a1 , b1 ] [a, b] , a1 < b1 , f (1) / J1 Suponiendo que, para un n N, disponemos ya de un intervalo Jn = [an , bn ], con an < bn , tal que f (n) / Jn , construimos el intervalo Jn+1 de la siguiente forma: Jn+1 = [an+1 , bn+1 ] Jn , an+1 < bn+1 , f (n + 1) / Jn+1 Por induccin, hemos denido una familia {Jn : n N} de intervalos encajados, vericando que f (n) / Jn para todo n N. El principio de los intervalos encajados nos proporciona un x R tal que x Jn para todo n N. Entonces x J1 [a, b] y para cualquier n N se tiene x = f (n), ya que x Jn mientras f (n) / Jn . As pues, x [a, b] \ f (N) y f no es sobreyectiva. Finalmente, si H es un intervalo no trivial, existen a, b H tales que a < b. Puesto que [a, b] H y sabemos ya que [a, b] no es numerable, H tampoco puede serlo.

4. Supremo e nmo. Nmeros irracionales

34

4.8.

Nmeros algebraicos y trascendentes

Resaltamos que el conjunto R \ Q de los nmeros irracionales no es numerable, pues si lo fuese, tambin lo sera R = Q (R \ Q). Intuitivamente, podramos decir que la inmensa mayora de los nmeros reales son irracionales. Conviene resaltar que en realidad, para probar / . Tenemos as una demostracin que R \ Q no es numerable, no hemos usado que R \ Q = 0 alternativa, no slo de la existencia, sino de la abundancia de nmeros irracionales. Aunque parezca sorprendente, a veces podemos probar que un conjunto no es numerable, luego intuitivamente muy grande, sin saber a priori que dicho conjunto no es vaco. En lo que sigue, vamos a ilustrar este procedimiento viendo que la inmensa mayora de los nmeros irracionales no se parecen en nada a los que ya conocemos. Se dice que un nmero real es algebraico cuando se puede obtener como solucin de una ecuacin algebraica con coecientes enteros. Expliquemos con ms detalle lo que esto signica: Por polinomio con coecientes enteros entenderemos una funcin P : R R de la forma
n

P(z) =

k=0

ak z k = a0 + a1 z + . . . + an z n

z R

(3)

donde n N y a0 , a1 , . . . , an Z. Cuando an = 0 decimos que el polinomio P tiene grado n. Para cada n N, denotaremos por Pn al conjunto de los polinomios con coecientes enteros de grado n y P ser el conjunto de todos los polinomios con coecientes enteros que no sean constantes, es decir, P= Pn
nN

Pues bien, se dice que x R es un nmero algebraico, cuando existe un polinomio P P tal que P(x) = 0. Denotaremos por A al conjunto de los nmeros algebraicos. Por ejemplo, es evidente que todo nmero racional es algebraico: Q A. Dados n, m N, tambin es claro que n x = m es un nmero algebraico, pues se verica 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 = 0. As pues Qn est formado por polinomios con coecientes 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 denido por P(z) = a + b z para todo z R, obtenemos una aplicacin sobreyectiva de Z Z en Q1 .

4. Supremo e nmo. Nmeros irracionales

35

Suponiendo que Qn es numerable, se tendr tambin que Qn Z es numerable. Entonces, si a cada par (Q, c) Qn Z asociamos el polinomio denido por P(z) = Q(z) + c z n+1 para todo z R, obtenemos evidentemente una aplicacin sobreyectiva de Qn Z en Qn+1 , luego Qn+1 es numerable. Sabiendo que Pn es numerable para todo n N, deducimos que P es numerable, por ser una unin numerable de conjuntos numerables. Finalmente, basta tener en cuenta un hecho bien conocido: para cada P P, el conjunto C(P) = {x R : P(x) = 0} es nito. Por tanto, escribiendo A = C(P), observamos que A es una unin numerable de conjuntos nitos, luego es numerable. Naturalmente, deducimos que el conjunto R \ A no puede ser numerable, pues si lo fuera, R = A (R \ A) tambin lo sera.
PP

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 x < 1} ; e) {x R : 2 x}

/ = B A. Probar que: 2. Sean A y B conjuntos de nmeros reales tales que 0 (i) Si A est mayorado, entonces B est mayorado con sup B (ii) Si A est minorado, entonces B est minorado con nf B sup A. nf A.

3. Sean A y B conjuntos no vacos de nmeros reales. Probar las siguientes armaciones: (i) A B est mayorado si, y slo si, A y B estn mayorados, en cuyo caso: sup (A B) = m ax {sup A , sup B} (ii) A B est minorado si, y slo si, A y B estn minorados, en cuyo caso: nf (A B) = m n { nf A , nf B} /. 4. Sean A y B conjuntos de nmeros reales tales que A B = 0 (i) Mostrar con un ejemplo que A B puede estar acotado, no estando A y B mayorados ni minorados. (ii) Suponiendo que A y B estn mayorados, probar que sup (A B) m n {sup A , sup B} (iii) Probar que, si A y B estn minorados, entonces nf (A B) m ax { nf A , nf B} (iv) Probar que, si A y B estn acotados, las dos desigualdades obtenidas en (ii) y (iii) pueden ser estrictas.

4. Supremo e nmo. Nmeros irracionales

36

5. Sean A y B conjuntos no vacos de nmeros reales y consideremos el conjunto C = {a b : a A , b B} Probar que C est mayorado si, y slo si, A est mayorado y B est minorado, en cuyo caso se tiene: sup (C) = sup A nf B. 6. Sean A y B conjuntos no vacos de nmeros reales positivos, y consideremos el conjunto: C = {a b : a A , b B} (i) Probar que C est mayorado si, y slo si, A y B estn mayorados, en cuyo caso: sup (C) = sup A sup B (ii) Probar tambin que nf (C) = nf A nf B 7. Sea A un conjunto no vaco de nmeros reales positivos y consideremos el conjunto: A1 = {a1 : a A} Probar que A1 est mayorado si, y slo si nf A > 0, en cuyo caso: sup A1 = ( nf A)1 8. Probar que el conjunto A = {x R : |x2 2x 1| < 2|x 2|} est acotado y calcular su supremo y su nmo.Tiene A mximo y mnimo? 9. Probar que: n ab
n k=1

2 n

n N

10. Probar que:

a+b a, b R+ . Cundo se da la igualdad? 2 a 1 1 < a+b 2(a + b) b b

11. Probar que para a, b R+ se verica que:

12. Probar por induccin que para y1 , y2 , . . . , yn R+ se tiene

n k=1 n

yk = 1

k=1

yk

dndose la igualdad si, y slo si, y1 = y2 = . . . = yn = 1. Deducir la llamada desigualdad de las medias: para x1 , x2 , . . . , xn R+ , se tiene
n
n

k=1

xk

1 n

n k=1

xk

Cundo se da la igualdad? 13. Probar que, para n N con n > 1, se tiene:

n k=1

(2k 1) < n n

n! <

n+1 2

4. Supremo e nmo. Nmeros irracionales 5+2 14. Probar que es un nmero irracional. 3 5+4

37

15. Probar que Q no verica el axioma del continuo, es decir, mostrar dos conjuntos A, B Q tales que a b para cualesquiera A A y b B, pero no existe x Q vericando que a x 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 nmo, y dilucidar si tiene mximo y mnimo: A = {x R : x2 + x < 2} ; B = {x Q : x2 3} ; C = {x R + \ Q : x 2 2}

17. Comprobar las siguientes igualdades: sup 1 1 : nN n = 1; nf 1 1 + n : m, n N m 2 =0

/ , entonces I J es un intervalo. 18. Probar que si I , J son intervalos vericando que I J = 0 / . Probar que 19. Sean A, B intervalos no vacos y acotados, tales que A B = 0 nf (A B) = m ax { nf A , nf B} Comparar este resultado con el ejercicio 4. 20. Para cada n N se consideran los intervalos In =]0, 1/n] y Jn = [n, +[. Obsrvese que In+1 In y Jn+1 Jn para todo n N. Probar que, sin embargo, In =
nN nN

sup (A B) = m n {sup A , sup B}

/ Jn = 0

Qu relacin guardan estos ejemplos con el principio de los intervalos encajados?