Cap tulo 0: N meros Reales u

0.1. Los n meros racionales u

El conjunto formado por los nmeros 1, 2, 3, ... se denota por N y se dir u a que es el conjunto de los n meros naturales. Son los nmeros que, histriu u o camente, aparecen primero en escena, pues se usan para reejar de cuntos a miembros consta cualquier grupo: un rebao, una tribu,... En algunas situan ciones puede interesar que N contenga el nmero 0, pero es completamente u irrelevante considerar que N contenga el cero o no. La caracter stica fundamental de N es que posee un primer elemento (sea ste 0 1) y que para e o cada natural hay un siguiente. El conjunto formado por 0, 1, 2, ... se denota por Z y se dir que es el a conjunto de los n meros enteros. Durante mucho tiempo los matemticos u a no sintieron la necesidad de considerar nmeros negativos. Por ello, los llamau dos nmeros racionales fueron considerados antes que los enteros negativos. u Se llama n mero racional al cociente m de dos enteros m y n con n = 0. Reu n mp m curdese que np y n representan el mismo nmero racional. Por tanto, todo e u nmero racional puede representarse de la forma m con m y n sin divisores u n comunes, pues bastar dividir numerador y denominador por su mximo a a comn divisor. Se denota por Q el conjunto de todos los nmeros racionales. u u Fueron usados por las civilizaciones egipcia y babilnica, pues son necesaro ios en problemas cotidianos (como la medida de longitudes). Para resolver el problema de la medida de longitudes, se escoge un segmento cualquiera como unidad y los dems se miden con respecto a l. As 2 representar la a e , 3 a 1

longitud de un segmento que contuviera tres mitades del segmento unidad. Estas simples ideas son las que se necesitan para proceder a representar los nmeros racionales en una recta. Se escoge una recta en el plano geomtriu e co y en ella se seleccionan dos puntos: O (el origen) y a su derecha U, y el segmento OU se toma como segmento unidad. Los puntos O y U son las representaciones grcas de 0 y 1, respectivamente. Para representar el nmero a u m racional n , con m y n enteros positivos, se divide el segmento unidad OU en 1 n partes iguales y una de esas partes (que es un segmento de longitud n ) se lleva m veces a la derecha de O, obtenindose un punto P. Se dir que P es e a m m la representacin grca del nmero n y tambin que n es la abcisa (o o a u e m coordenada) de P (ntese que n es la longitud del segmento OP). o Ahora podemos ver la conveniencia de considerar nmeros negativos. Hasu ta el momento, hemos visto que podemos asociar a los puntos P de la recta situados a la derecha de O una coordenada x que representa la longitud del segmento OP. Se ocurre asignar a un punto Q, situado a la izquierda de O, el nmero negativo x que, cambiado de signo, representa la longitud del segu mento OQ. De esta forma a todo nmero racional x, positivo o negativo, le u corresponde un punto P sobre la recta. Esta idea es de gran importancia en las aplicaciones de las matemticas a las ciencias. Imaginemos una part a cula que se mueve a lo largo de la recta. Su posicin en la recta en el instante t o puede venir reejada por la coordenada x(t) del punto donde se encuentra en ese instante. x(t) ser positivo o negativo, segn que la part a u cula est a la e derecha o a la izquierda de O en el instante t. Terminamos este apartado recordando que todo nmero racional m puede u n expresarse en forma decimal realizando la divisin (con decimales) de m o entre n. As por ejemplo, 3 = 1.5, 7 = 2.3333..., etc. En unos casos, la , 2 3 expresin decimal es nita y, en otros, innita (con un nmero de cifras o u decimales innito). Pero cuando la forma decimal de un nmero racional u 7 es innita siempre hay un periodo, como ocurre con 3 = 2.3333... o con 773 = 4.6848484 . . .. Es decir, cuando un nmero racional tiene un desarrollo u 165 decimal innito entonces, a partir de alguna cifra decimal, se repite un mismo

grupo de cifras decimales al que se denomina periodo. En el caso de periodo es 84. No es dif demostrar esta propiedad cil

773 165

el

Teorema 0.1.1. Si un nmero racional tiene un desarrollo decimal innito, u entonces ste es peridico. e o DEMOSTRACION: Consideremos un nmero racional m que tiene un desaru n rollo decimal ilimitado N c1 c2 c3 .... Esto signica que, al dividir m por n, nunca encontramos un resto nulo y podemos obtener innitas cifras decimales. El resto que se obtiene al calcular la cifra decimal ci lo denotamos por ri . Estos restos slo pueden ser 1, 2, 3, ..., n 1, pues un resto siempre es menor que el o divisor, en nuestro caso, n. Por tanto, entre los primeros n restos r1 , r2 , ..rn tiene que haber dos iguales. Supongamos que los dos primeros restos que coinciden son ri y rj (i < j). Las cifras decimales ci , ci+1 , .., cj1 volvern a a aparecer a partir de cj . Este es el periodo que se repite eternamente.

0.2.

2 no es racional

Los nmeros racionales son fciles de presentar y manipular, pero desu a graciadamente resultan insucientes para las necesidades, incluso ms elea mentales, de las ciencias. Para convencernos de esto, vamos a considerar un cuadrado cuyos lados sean iguales al segmento unidad OU. La longitud de sus lados es 1, pero qu longitud tiene una diagonal del cuadrado? El Teorema e de Pitgoras nos permite escribir 12 + 12 = d2 . Es decir, la longitud de la a diagonal es d = 2. Hasta ahora, slo hemos tratado con nmeros racionales, o u cociente de dos nmeros enteros, pero en un problema tan elemental como el u anterior nos hemos topado con el nmero 2. Vamos a probar que 2 no es u un nmero racional. u

Teorema 0.2.1.

2 no se puede expresar como cociente de dos nmeros u 3

enteros. DEMOSTRACION: Vamos a hacer la demostracin en dos pasos indepeno dientes a) Si el cuadrado de un entero positivo m es par, entonces el propio m es par: Basta comprobar que m impar obliga a que sea m2 impar tambin. En e 2 2 efecto, sea m = 2k + 1, entonces (2k + 1) = 4k + 4k + 1 = par + 1. b) 2 no es racional. Vamos a suponer que 2 = m , siendo m y n enteros n positivos sin divisores comunes y llegaremos a una contradiccin. Esto deo mostrar que es imposible que 2 sea racional. Tenemos, pues, que 2 = m . a n De la igualdad 2 = m resulta que m2 = 2 n2 . Esta ultima obliga a que m2 n sea par y esto slo es posible si el propio m es par, segn hemos visto en el o u apartado (a). Hemos obtenido, pues, que m es par. Entonces podemos poner m = 2k y sustituyendo en la igualdad m2 = 2 n2 , resulta 4k 2 = 2n2 . O lo que es lo mismo 2k 2 = n2 . Recapitulemos: el supuesto de que 2 = m , con n m y n sin divisores comunes, nos ha permitido deducir: (a) m es par y (b) n2 = 2k 2 . Repitiendo el razonamiento anterior, de la igualdad n2 = 2 k 2 , podemos deducir que n debe ser par. Hemos llegado, pues, a que m y n son ambos divisibles por 2. Esto es imposible, pues se ha partido de dos nmeros u m y n sin divisores comunes. Hemos comprobado que 2 no es racional. Con un razonamiento similar se puede probar que n no es racional, siempre que n no sea un cuadrado perfecto. Tambin se prueba, aunque la demostracin es de mayor dicultad, e o que no son racionales y e. Estos hechos nos dicen que el campo numrico e formado por los racionales no sirve para dar respuesta a los problemas que nos plantean las ciencias y que necesitaremos otros nmeros ms complicados u a conceptualmente que los racionales.

0.3.

Los n meros irracionales u

Para presentar los nmeros irracionales, vamos a recurrir a su repreu sentacin decimal. Al contrario que los racionales, los nmeros irracionales o u tienen una representacin decimal innita y no peridica. Un ejemplo puede o o ser el siguiente: 0 12112111211112111112.... (1) El conjunto formado por los nmeros racionales junto con los irracionales u se denota por R y se dir que es el conjunto de los nmeros reales. Por tanto, a u m son nmeros reales tanto el racional n como el irracional que aparece en (1). u Tambin es un nmero real 2; si quisiramos encontrar su desarrollo decie u e mal, tendr amos que realizar la ra cuadrada de 2 e ir sacando las sucesivas z cifras decimales que, por tratarse de un nmero irracional, ser innitas y u an no presentar un periodo. an Sabemos que en Q podemos considerar dos operaciones principales, suma y producto, con las propiedades: 1. Commutativa: x + y = y + x; x y = y x 2. Asociativa: (x + y) + z = x + (y + z); (x y) z = x (y z). 3. Distributiva del producto respecto de la suma: x (y + z) = x y + x z. 4. Existencia de elemento neutro: x + 0 = 0 + x = x; x 1 = 1 x = x. 5) Todo nmero posee simtrico: u e 1 = 1 x R (x = 0). x Por esta razn se dice que (Q, +, ) es un cuerpo commutativo. En R, o la suma y el producto gozan de las mismas propiedades anteriores, por lo que tambin (R, +, ) es un cuerpo commutativo. Es decir, realizaremos las e operaciones con nmeros reales teniendo en cuenta las propiedades familiares u de los nmeros que hasta ahora hemos manejado. u x + (x) = 0 x R, x EJEMPLO. En cierta aplicacin nos encontramos con la necesidad de o 1+2 efectuar el clculo siguiente 1 2 . Proceder a amos de este modo: Primero 5

vamos a convertir el denominador en racional; multiplicando numerador y denominador por 1 + 2, resulta 3+2 2 1+ 2 (1 + 2)2 12 + 2 2 + ( 2)2 1+2 2+2 = = = . = 12 1 1 2 (1 2) (1 + 2) 12 ( 2)2 Por tanto, hemos obtenido 1+2 = 3 2 2. Ahora calculamos 2 con 1 2 el nmero de cifras decimales que requiera la precisin que exige nuestro u o amos problema concreto. Si necesitamos 2 con tres cifras decimales, tomar 2 = 1 414 y el valor nal de nuestro cociente ser a 1+ 2 = 3 2 1 414 = 3 2 828 = 5 828. 1 2 En denitiva, en la prctica no tendremos que manipular los nmeros ira u racionales considerando su desarrollo decimal ilimitado, pues, en el clculo a nal, siempre cortaremos el desarrollo decimal innito, quedndonos con el a nmero de cifras decimales que precisa la aplicacin concreta. u o Sin embargo, R es un cuerpo ms rico que Q. As hemos visto que en Q a , no se pueden realizar las ra ces n, si n no es un cuadrado perfecto. Pero en R existen todas ellas, si n no es negativo. Ms adelante veremos algunas a otras carencias de Q con respecto a R.

0.4.

Desigualdades

Si x e y son nmeros reales, cuando escribimos x > y, entendemos que u xy es positivo. La relacin existente entre las operaciones suma y producto, o y el orden se pueden reducir a estas reglas bsicas: a 1. x > y y z > 0 implican x z > y z. 2. x > y implica x + z > y + z, cualquiera que sea z R. De estas dos se deducen todas las relaciones que podamos necesitar. Veamos algunos ejemplos: 3. z > 0 implica z < 0. En efecto, la propiedad (2) me dice que puedo sumar un nmero a ambos miembros de una desigualdad y sta no cambia. u e 6

Entonces sumando z, de z > 0 se obtiene z + (z) > z + 0. Es decir, 0 > z. 4. x > y implica z x < z y, si z < 0. Por (3) sabemos que z > 0. Por (1) puedo multiplicar cada miembro de una desigualdad por un nmero u positivo y sta no cambia. Entonces multiplicando por z (positivo), de x > y e resulta z x > z y. Sumando ahora z y a ambos miembros de esta ultima, obtenemos z y z x > 0, que es lo mismo que z y > z x. 5. Si x y > 0 (esto es, si x e y tienen el mismo signo), entonces x y 1 1 implica . x y 6. Regla de los signos: x>0 e y>0 xy >0 o x<0 e y<0 x>0 e y<0 o x<0 e y>0

xy <0

Es importante destacar la propiedad 4. Arma que al multiplicar cada miembro de una desigualdad por un nmero negativo sta cambia de sentido. u e Veamos un ejemplo concreto: Si multiplicamos la desigualdad 4 > 3 por 2, resulta 8 < 6. Terminamos este apartado recordando las deniciones de los diferentes tipos de intervalos. Si a y b son dos nmeros reales tales que a < b, el conjunto u de todos los nmeros reales x que verican la cadena de desigualdades a u x b se denota por [a, b] y recibe el nombre de intervalo cerrado de extremos a y b. Con (a, b) se denota el conjunto de todos los nmeros reales x que u verican a < x < b y se dice que es el intervalo abierto de extremos a y b. Otros tipos de intervalos que usaremos son los siguientes

[a, b) = {x R : a x < b}, (, b] = {x R : x b}, (a, +) = {x R : a < x}. 7

0.5.

La propiedad del supremo

Si A es un subconjunto no vac de R, diremos que A es un conjunto o acotado superiormente si existe c R vericando a c, cualquiera que sea a A. c recibe el nombre de cota superior de A. Si c es cota superior de A, entonces cualquier nmero mayor que c tambin es una cota superior u e de A. Por tanto, si un conjunto es acotado superiormente, entonces posee un conjunto innito de cotas superiores. Cuando se desea encontrar una cota superior de un conjunto, interesa encontrar una que sea lo ms precisa posible; a es decir, cuanto ms pequea tanto mejor. La menor cota superior posible a n de A se llama supremo de A y se denota sup(A). Veamos un ejemplo. Sea A = { n1 : n N}. Es obvio que todos los elementos de A son menores n que 1. Entonces 1 es cota superior de A. Desde luego, tambin son cotas e superiores 2, 3, 6, ..., pero queremos encontrar la cota superior ms ajustada a (la ms pequea posible). Para convencernos de que es 1, basta observar que a n n1 1 = 1 n y a medida que n crece el elemento de A, n1 , cada vez est ms a a n n cerca de 1. Por lo tanto, resulta imposible que pueda haber una cota superior de A ms pequea que 1. Con este razonamiento hemos comprobado que 1 a n es el supremo de A. Hemos dicho con anterioridad que Q tiene varias carencias que R no tiene. Vamos a ver ahora una de ellas que est relacionada con el supremo. a PROPIEDAD DEL SUPREMO. Si A es un subconjunto de R, no vac o y acotado superiormente, entonces A posee supremo. Para comprender el signicado de esta propiedad, vamos a plantear un ejemplo que nos permita notar que Q no tiene dicha propiedad. Concretamente, vamos a ver que en Q podemos encontrar conjuntos acotados superiormente para los que no hay un nmero racional que sea su supremo. u Consideramos el subconjunto de Q siguiente A = {0.1, 0.12, 0.121, 0.1211, 0.12112, 0.121121, ...}. Ntese que los nmeros que forman parte de A se van aproximando cada o u vez ms al nmero irracional (1). Es fcil darse cuenta de que la menor cota a u a 8

superior de A es el citado nmero irracional (1). En denitiva, el supremo u de A es el nmero irracional anterior. Esto muestra que Q peca de una cieru ta incompletitud pues algunos subconjuntos suyos, acotados superiormente, tienen por supremo un nmero irracional. Entonces, si slo considerramos u o a nmeros racionales, no podr u amos dar por hecho que todo conjunto acotado superiormente de nmeros racionales posee supremo. Pero, si nos movemos u en R, s est garantizada la propiedad del supremo. a Cuando el supremo de un conjunto pertenece a dicho conjunto, el supremo se llama mximo del conjunto. a

Ejemplo 0.5.1. a) Si A = [0, 1], entonces 1 es el supremo de A y, por tanto, tambin 1 es el mximo de A. e a n1 b) Si A = { n : n N}, hemos visto que sup(A) = 1. Pero es claro que 1 no pertenece a A. Por tanto, en este caso A no tiene mximo a pesar de a que tiene supremo. De una forma similar se denen los conceptos de cota inferior e nmo de un conjunto (la mayor de las cotas inferiores del conjunto en cuestin). Fio nalmente, mencionamos la propiedad del nmo que arma: Todo subconjunto de R, no vaco y acotado inferiormente, posee nmo.

1 Ejemplo 0.5.2. El nmo del conjunto A = { n : n N} es 0. 1 Como 0 < n , para todo n N, sigue que 0 es cota inferior de A. Ahora vamos a ver que, si c es cualquier nmero positivo, es imposible que sea cota u inferior de A. Esto prueba que 0 es la mayor cota inferior de A y, por tanto, es el nmo de A. Sea c > 0, escojo un natural lo sucientemente grande 1 para que verique n > 1 . Entonces n < c, y queda probado que c no puede c ser cota inferior de A.

0.6.

Valor absoluto

Se dene el valor absoluto de un nmero real como sigue u |x| = x si x 0 x si x < 0

Algunas propiedades que usaremos son las siguientes ( si x, y R, a R+ ): 1) |x| 0, para cada x R. 2) |x| = 0 si y slo si x = 0. o 3) |x| x |x|. 4) |x y| = |x| |y|. 5) |x + y| |x| + |y|. 6) |x| a a x a. 7) |x| > a x > a x < a. o Cuando se desea probar que un conjunto A, que contiene elementos de ambos signos, es acotado resulta muy util manejar los elementos de A en valor absoluto, en lugar de buscar una cota superior y otra inferior. Veamos n un ejemplo de esto: Sea A = {(1)n n+1 : n N}. Tratemos de acotar superiormente los valores absolutos de sus elementos |(1)n n n |= 1, n+1 n+1

para cada n N. Hemos probado que |x| 1, para cada x A. Por la propiedad (5), tenemos que 1 x 1, para cada x A. Por tanto A es un conjunto acotado. Es interesante destacar que la idea anterior es general y puede ser enunciada como sigue: Un subconjunto A de R es acotado si y slo si existe una constante positiva o k, tal que |a| k, para cada a A.

10

0.7.

Representacin geomtrica de los n meros o e u reales

Hemos visto que los nmeros racionales se pueden representar como punu tos de una recta geomtrica en la que se han escogido dos puntos O y U e (origen y unidad, respectivamente). Dado un punto P en la recta, decimos que su coordenada es el nmero que expresa la longitud del segmento OP , u con signo + o , segn que P est a la derecha o a la izquierda de O (tamu e bin se dice que P es la representacin geomtrica del nmero x). Si slo e o e u o manejramos nmeros racionales, quedar en la recta puntos para los que a u an no tendr amos una coordenada que asignar. Para ver esto, basta pensar en un cuadrado unidad construido sobre el segmento unidad OU . Sabemos que u la diagonal de este cuadrado mide 2, que es un nmero irracional. Si, con un comps jado en O, llevamos la diagonal sobre la recta y a la derecha de a O, resulta un segmento OD cuya longitud es 2 y, por tanto, la coordenada de D es 2. Esto muestra que, si slo representamos los nmeros racionales o u sobre nuestra recta, quedan puntos, como D, sin marcar. Al considerar todos los nmeros, tanto los racionales como los irracionales, u se consigue que cada punto de la recta tenga una coordenada y esta correspondencia entre puntos y nmeros reales resulta ser biun u voca: a cada nmero u real le corresponde un punto sobre la recta (su representacin geomtrica) o e y a cada punto le corresponde un nmero real (su coordenada). Debido a u esta correspondencia biun voca entre puntos de la recta y nmeros reales, a u menudo nos referiremos a los nmeros reales como puntos de la recta (a la u que llamaremos recta real). Como puede comprenderse, este hecho es de capital importancia con vistas a las aplicaciones cient cas y representa una de las razones por las que se debe renunciar a manejar Q como campo numrico para desarrollar el clculo. e a Es importante conocer que los nmeros irracionales (tambin los racionales) u e estn distribuidos por toda la recta y que en cualquier intervalo, por pequeo a n que sea, existen innitos nmeros racionales e irracionales. Por ello, se dice u

11

que Q e I son densos en R (I es el conjunto de los nmeros irracionales). u

0.8.

Entornos

Dados dos nmeros reales x e y, se denota por d(x, y) la distancia que los u separa en la recta real. Si x > y, es obvio que d(x, y) = xy. Sin embargo, en el caso x < y, se tiene d(x, y) = y x = (x y). Por tanto, d(x, y) = |x y|, cualesquiera que sean x e y. En el desarrollo del Clculo, es frecuente que nos encontremos con la a necesidad de indicar que, todos los valores de x en las cercanias de x0 (en un entorno de x0 ), verican cierta propiedad. Por ello, es conveniente disponer de una notacin y terminolog adecuadas para reejar este hecho. o a El intervalo (x0 r, x0 + r) recibe el nombre de entorno de centro x0 y radio r > 0, y se denota, a menudo, por E(x0 , r). Se trata del conjunto formado por todos los nmeros reales x que verican x0 r < x < x0 + r. u Si sumamos x0 en todos los miembros de la expresin anterior, resulta o r < x x0 < r. Si recordamos la propiedad (5) del apartado (6), esto equivale a |xx0 | < r. Como d(x, x0 ) = |xx0 |, todos los conjuntos siguientes son el mismo conjunto: el entorno E(x0 , r). E(x0 , r) = (x0 r, x0 + r) = {x R : |x x0 | < r} = {x R : d(x, x0 ) < r}.

En el clculo de l a mites, a menudo nos encontramos con la necesidad de indicar que cierta propiedad se verica para todo x = x0 en un entorno de x0 . Por ello, es conveniente denotar por E (x0 , r) el conjunto de todos los x = x0 que verican x0 r < x < x0 + r. Se denomina entorno perforado de centro x0 y radio r.

12