Tema 1. Los n umeros reales.

Asignatura: C alculo Innitesimal I Grado en Matem aticas

Indice
1. Introducci on axiom atica de los n umeros reales. 2. Propiedades de los n umeros reales 3. Representaci on geom etrica de los n umeros naturales, enteros y racionales. 4. El axioma de completitud. Supremos e nmos 5. La propiedad arquimediana y consecuencias 6. Potencias y ra ces 7. Complementos 7.1. Conjuntos nitos, n umeros naturales y sucesiones 7.2. Existen los n umeros reales? . . . . . . . . . . . . 7.3. Algunas nociones de topolog a . . . . . . . . . . . 7.4. La recta num erica extendida . . . . . . . . . . . . 8. Hoja de problemas 2 3 8 11 13 16 18 18 18 19 20 21

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

El conjunto de los n umeros reales no es un objeto matem atico tan sencillo como en principio se puede pensar. La representaci on decimal que usamos s olo tiene 300 a nos de antig uedad y la formulaci on abstracta que presentamos en este tema es de nales del siglo XIX, lo que contrasta con otros conceptos que parecen m as complicados, como derivadas e integrales, que en realidad fueron desarrollados mucho antes. Ser a razonable comenzar el estudio de los n umeros reales por los n umeros naturales pues estos son la clase m as elemental de n umeros que existen. Los n umeros naturales admiten una formulaci on axiom atica simple y a partir de ellos se construye el anillo de los n umeros enteros y el cuerpo de los n umeros racionales. Finalmente, con algo m as de trabajo, se llega al conjunto de los n umeros reales. El problema de este camino constructivo de los n umeros reales es que precisa de demasiado tiempo para su desarrollo completo, aunque desde luego representa un modo bastante intuitivo y ordenado de presentar los n umeros reales. La forma que hemos elegido aqu , la presentaci on axiom atica, es mucho m as efectiva desde la perspectiva temporal lo cual permite destinar m as tiempo a los dem as contenidos fundamentales del curso. 1

1.

Introducci on axiom atica de los n umeros reales.

Existe un conjunto de n umeros que denotamos por R y que llamaremos conjunto de los n umeros reales, sobre el cual hay denidas dos operaciones que llamamos suma, denotada por +, y multiplicaci on o producto, denotada por , que cumplen las siguientes propiedades (llamadas axiomas de cuerpo): La suma es conmutativa: x + y = y + x para todo par de n umeros reales x, y . La suma es asociativa: x + (y + z ) = (x + y ) + z para toda terna de n umeros reales x, y, z. Elemento neutro para la suma: existe un n umero que denotamos por 0 que cumple lo siguiente, x + 0 = x para todo x R. Elemento opuesto para la suma: dado un n umero real x, existe otro n umero que denotaremos por x tal que x + (x) = 0. La multiplicaci on es conmutativa: x y = y x para todo par de n umeros reales x, y . La multiplicaci on es asociativa: x (y z ) = (x y ) z para toda terna de n umeros reales x, y, z. Elemento neutro para el producto: existe un n umero que denotamos por 1, que es distinto de 0, que cumple lo siguiente: x 1 = x para todo x R. Elemento opuesto o inverso para el producto: dado un n umero real x distinto de 0, existe 1 1 otro n umero que denotaremos por x tal que x x = 1. El inverso para la multiplicaci on tambi en se denota por 1/x. Propiedad distributiva: x (y + z ) = x y + x z para toda terna de n umeros reales x, y, z. Usualmente el s mbolo es eliminado de la escritura, de modo que pondremos xy para denotar el producto de x por y . Esto es xy := x y. La operaci on resta entre dos n umeros reales x e y se dene mediante la f ormula x y := x + (y ). La operaci on resta es la opuesta de la operaci on suma, esto es, dado x R, si le sumamos un n umero real y y luego lo restamos, queda el n umero de partida: x + y y = x + y +(y ) = x +0 = x. La operaci on divisi on entre dos n umeros reales x e y , con y distinto de cero, se dene mediante la f ormula x := xy 1 . y La divisi on es la operaci on inversa de la multiplicaci on. Esto quiere decir que si un n umero x lo multiplicamos por un n umero y distinto de cero y luego lo dividimos por y , se obtiene el n umero 1 de partida: xyy = x1 = x. Suponemos tambi en que sobre R existe una relaci on de orden > (que se lee mayor que) que cumple los siguientes propiedades (axiomas del orden): Dado un n umero real x, ocurre una y s olo una de las siguientes relaciones: o bien 0 > x, o bien x > 0 o bien x = 0. 2

Si x > 0 e y > 0 entonces x + y > 0 Si x > 0 e y > 0 entonces xy > 0 La relaci on de orden permite establecer una comparaci on entre dos n umeros reales cualesquiera. Denici on 1.1. Dados x, y R, diremos que x es mayor que y, cosa que escribiremos x > y o de forma equivalente y < x (que se lee y es menor que x), si ocurre que x y > 0. Tambi en escribiremos x y o equivalentemente y x, para expresar que o bien x es menor que y o bien x = y . Denici on 1.2. Los n umeros reales x tales que x > 0 se llaman positivos y los que satisfacen x < 0 se llaman negativos.

Falta un u ltimo axioma, el m as complejo e importante, que se llama Axioma de completitud o de continuidad. El enunciado de este axioma es el siguiente: Sean A y B dos subconjuntos no vac os de n umeros reales. Sup ongase que a b para cualquier a A y para cualquier b B . Entonces existe R tal que a b para cualquier a A y para cualquier b B .

Comentario 1.1. Estos son todos los axiomas de los n umeros reales: los axiomas de cuerpo, los axiomas de orden y el axioma de completitud. A partir de ellos, mediante razonamiento deductivo, demostraremos uno a uno todos los resultados importantes de la teor a. Los axiomas son por lo tanto los cimientos que sirven para edicar la estructura de la asignatura. El conjunto R formado por los n umeros reales no es m as que un conjunto abstracto de elementos y como tal hay que entenderlos. No obstante, existe una forma muy adecuada de imaginarlos: el conjunto R se representa por una recta y los n umeros reales se piensan como puntos en esa recta. Por eso, el conjunto de los n umeros reales se llama a veces recta num erica. Esto lo veremos con detalle en las pr oximas secciones.

2.

Propiedades de los n umeros reales

En esta secci on estudiamos propiedades elementales de los n umeros reales que se demuestran a partir de los axiomas de cuerpo y de orden. Probaremos algunas y otras se dejar an como ejercicio. Una vez terminada la secci on, todas ellas podr an ser utilizadas libremente a lo largo del curso. 1. El elemento neutro de la suma es u nico. 2. El n umero opuesto a uno dado es u nico. 3. Para cualquier n umero real x se tiene que (x) = x. 4. Para cualquier par de n umeros reales x, y se tiene que x y = (x + y ). 3

5. La ecuaci on a + x = b tiene soluci on u nica en R y es x = b a. 6. El elemento neutro del producto es u nico. 7. El n umero inverso a uno dado (distinto de cero) es u nico. 8. Para cualquier n umero real x no nulo (x1 )1 = x. 9. Para cualquier par de n umeros reales x, y no nulos se tiene que (xy )1 = x1 y 1 . 10. La ecuaci on ax = b tiene soluci on u nica en R y es x = b/a siempre que a sea distinto de cero. 11. Para cualesquiera n umeros reales x, y, z se tiene que x(y z ) = xy xz . Demostraci on. Partimos de la parte izquierda de la igualdad y tratamos de llegar a la parte derecha: x(y z ) = x(y z )+ xz xz = x((y z )+ z ) xz = x(y +(z z )) xz = x(y +0) xz = xy xz. 12. Para cualquier n umero real x se tiene que x 0 = 0. Demostraci on. Obs ervese que 0 = 1 1, luego: x 0 = x(1 1) = x 1 x 1 = x x = 0, donde hemos utilizado la propiedad 11 en uno de los pasos. 13. Si xy = 0 entonces o bien x = 0 o bien y = 0. Demostraci on: Sean x, y R. Supongamos que x = 0. Entonces existe x1 inverso de x para el producto. Multiplicando en la igualdad xy = 0 por x1 queda que xyx1 = 0 x1 y teniendo en cuenta la propiedad 12 y que el producto es conmutativo y asociativo se deduce que y = 0. Del mismo modo se puede demostrar que si y = 0 entonces x = 0. Esto termina la demostraci on. 14. Para cualesquiera n umeros reales x, y se tiene que (x)y = xy, y tambi en que (x)(y ) = xy . En particular (1)y = y para todo n umero real y . Demostraci on: Vamos a demostrar primero que (x)y = xy . Para ello partimos de la parte izquierda de la igualdad y tratamos de llegar a la derecha. Tenemos (x)y = (x)y + xy xy = ((x) + x)y xy = 0 y xy = 0 xy = xy. Ahora vamos a demostrar que (x)(y ) = xy . En primer lugar observemos que (x)(y ) = x(y ) aplicando lo que ya hemos demostrado en el p arrafo anterior. M as a un, aplic andolo una segunda vez podemos escribir: (x)(y ) = x(y ) = ((y )x) = (xy ) = xy. Para terminar obs ervese que la f ormula (1)y = y es un caso particular de la f ormula (x)y = xy que ya hemos demostrado (poniendo x = 1).

15. Sean t e y dos n umeros reales distintos de cero. La igualdad s/t = x/y es v alida si y solo si sy = tx. Demostraci on. Supongamos que s/t = x/y y vamos a demostrar que entonces sy = tx. 1 Si st = xy 1 , multiplicando ambos lados de la igualdad por t tenemos que s = xy 1 t, y multiplicando por y en la u ltima igualdad obtenemos sy = xy 1 ty = xt, justo lo que quer amos demostrar. Rec procamente, vamos a demostrar que si sy = tx entonces s/t = x/y . Multiplicando la igualdad por y 1 queda syy 1 = txy 1 , luego s = txy 1 . Multiplicando ahora por t1 obtenemos st1 = txy 1 t1 , por lo que st1 = xy 1 , o de otro modo s/t = x/y . 16. Sean y, z n umeros reales distintos de cero. Se tiene que xz x = . y yz Demostraci on. Seg un la propiedad 15, para demostrar que x/y = (xz )/(yz ) basta demostrar que x(yz ) = y (xz ), pero esto es evidente por los axiomas de cuerpo. 17. La suma de fracciones se realiza mediante la regla x s tx + sy + = , y t yt siempre que los denominadores sean distintos de cero. Demostraci on. Partimos de la derecha: x s tx + sy = (tx+sy )(yt)1 = (tx)(yt)1 +(sy )(yt)1 = txy 1 t1 +syy 1 t1 = xy 1 +st1 = + . yt y t Hemos utilizado la propiedad distributiva y que el inverso de un producto es el producto de los inversos. Por supuesto tambi en hemos usado la conmutatividad y asociatividad del producto. 18. La multiplicaci on de fracciones se realiza mediante la regla xs x s = , y t yt siempre que los denominadores sean distintos de cero. Demostraci on. Obs ervese que x s xs = (xy 1 )(st1 ) = (xs)(y 1 t1 ) = (xs)(yt)1 = . y t yt 19. La divisi on de fracciones se realiza mediante la regla x/y xt = , s/t sy siempre que y, s, t sean distintos de cero. Demostraci on. Para demostrar la igualdad basta demostrar que (x/y )(sy ) = (s/t)(xt), pero esto es inmediato pues (xy 1 )(sy ) = xs y (st1 )(xt) = sx. 5

20. Si x > y e y > z entonces x > z (propiedad transitiva del orden). Demostraci on. Tenemos que demostrar que x z > 0. Sabemos que x y > 0 y que y z > 0. Por uno de los axiomas del orden deducimos que x z = (x y ) + (y z ) > 0. 21. Si x > y entonces x + z > y + z para todo z R. Demostraci on. Tenemos que demostrar que x + z (y + z ) > 0, pero esto es evidente pues x + z (y + z ) = x y > 0 pues x > y . 22. Dados x, y R ocurre una y solo una de las siguientes armaciones: x < y , x > y , x = y . Demostraci on. Es inmediata a partir del axioma de orden que dice que dado un n umero real x, ocurre una y solo una de las siguientes posibilidades: o bien x < 0, o bien x > 0, o bien x = 0. 23. Si x < y entonces x > y . En particular, si x > 0 entonces x < 0. Tambi en se tiene que si x < 0 entonces x > 0. Demostraci on. Sabemos que y x > 0 y tenemos que demostrar que x (y ) > 0. Esto es claro pues x (y ) = x + y = y x. Poniendo como x = 0 se deduce que si y > 0 entonces y < 0. Y poniendo como y = 0 se deduce el otro caso particular. 24. Si x < y y s t entonces x + s < y + t. Demostraci on. Tenemos que demostrar que y + t x s > 0. Obs ervese que y x > 0 y que t s 0. Vamos a distinguir dos casos: t = s y t > s En el caso t = s la desigualdad se reduce a la propiedad 21 y no tenemos nada nuevo que demostrar. En el segundo caso, si t > s, entonces t s > 0. Por los axiomas de orden, la suma de dos n umeros positivos es positivo, luego y x + t s > 0 y por lo tanto y + t x s > 0. 25. Si x < y y s t entonces x s < y t. Demostraci on. Tenemos que demostrar que y t x + s > 0. Si s = t no tenemos nada que demostrar, as que podemos suponer que s > t. En ese caso sabemos que s t > 0 y por supuesto tambi en sabemos que y x > 0. La suma de dos n umeros positivos es positivo, luego s t + y x > 0 y eso es justo lo que ten amos que demostrar. 26. Si x < y y z < 0 entonces xz > yz . Demostraci on. Tenemos que demostrar que xz yz > 0. Obs ervese que xz yz = (z )((x)+ y ) = (z )(y x). Como x < y sabemos que y x > 0 y tambi en sabemos que z > 0 ya que z < 0. El producto de dos n umeros positivos es positivo (por los axiomas de orden), luego (z )(y x) > 0 y esto demuestra que xz yz > 0. 27. El producto de dos factores no nulos de igual signo es positivo. Demostraci on. Evidentemente el producto de dos n umeros positivos es positivo por los axiomas de orden. Sean ahora x e y dos n umeros negativos. Entonces x y y son n umeros positivos y por ello xy = (x)(y ) > 0. 28. El producto de dos factores no nulos de signo opuesto es negativo. Demostraci on. Sea x > 0 e y < 0. Entonces y > 0. Por ello xy = x(y ) < 0 puesto que x(y ) es positivo por ser el producto de dos n umeros positivos. 6

29. Se cumple que 1 > 0. Demostraci on. Por reducci on al absurdo, sup ongase que no es cierto que 1 > 0. Como 1 = 0 es claro que esto es lo mismo que suponer que 1 < 0. En ese caso 1 > 0 y (1)(1) > 0 por ser el producto de dos n umeros positivos. Pero (1)(1) = 1 1 = 1 con lo que obtendr amos que 1 > 0, justo lo contrario de lo que hemos supuesto como cierto. Esto es una contradicci on y debe ser falso la suposici on de partida, esto es, debe ser 1 > 0. 30. Si x > 0 entonces x1 > 0 y si x < 0 entonces x1 < 0. Demostraci on. Sea x un n umero real positivo. Sabemos que xx1 = 1 > 0 luego debe ser 1 x > 0 ya que de lo contrario, si fuese x1 < 0, el producto de x con x1 ser a un n umero negativo, lo que contradice que 1 > 0. Terminamos la secci on introduciendo un nuevo concepto sobre los n umeros reales, el valor absoluto. Denici on 2.1. Para cualquier n umero real x se dene el valor absoluto mediante la f ormula siguiente x si x 0 , |x| = x si x < 0. El valor absoluto de un n umero se llama tambi en m odulo. Una forma diferente (pero equivalente) de denir el valor absoluto es la siguiente: |x| = m ax{x, x}. El valor absoluto cumple las siguientes propiedades: 1. El valor absoluto de un n umero real es un n umero mayor o igual que cero. Demostraci on: Inmediata a partir de la denici on. 2. El valor absoluto de un n umero y el de su opuesto es el mismo: |x| = | x| para todo x R. Demostraci on: obs ervese que |x| = m ax{x, x} = m ax{(x), x} = | x|. 3. Para cualquier n umero real x se tiene que |x| x |x|. Demostraci on. Como |x| = m ax{x, x} es claro que x |x| y que x |x|. De la segunda, multiplicando por -1 la desigualdad queda x |x| y si la unimos con la primera nos queda justo la cadena de desigualdades que deseamos probar. 4. Sean a y x dos n umeros reales. Se cumple que |x| a si y solo si a x a. Demostraci on. Primero voy a demostrar que si |x| a entonces a x a. Si |x| a entonces x |x| a y tambi en x |x| a. De la u ltima se deduce que a x y de la primera ya ten amos que x a, luego ya est a demostrado. Ahora vamos a demostrar que si a x a entonces |x| a. Basta demostrar que x a y que x a. Ambas son inmediatas a partir de la relaci on a x a.

5. Dados x, y R se cumple que |x + y | |x| + |y | (desigualdad triangular). Demostraci on: Sabemos que |x| x |x| y lo mismo para y : |y | y |y |. Sumando ambas cadenas de desigualdades tenemos |x| |y | x + y |x| + |y |. Como |x| |y | es el opuesto de |x| + |y | podemos entonces deducir que |x + y | |x| + |y | por la propiedad anterior poniendo a = |x| + |y |. 6. Dados x, y R se cumple que ||x| |y || |x y | (desigualdad triangular inversa). Demostraci on: obs ervese que |x| = |x y + y | = |(x y ) + y | |x y | + |y |, por lo tanto |x| |y | |x y |. De la misma forma |y | = |y x + x| |y x| + |x| y por ello |y | |x| |y x| = |x y | pues el valor absoluto de un n umero y el de su opuesto son el mismo. Entonces ||x| |y || = m ax{|x| |y |, |y | |x|} |x y | pues cada uno de los dos elementos del conjunto donde tomamos el m aximo es menor que |x y | seg un hemos demostrado antes. 7. Dados x, y R se cumple que |xy | = |x||y |. Demostraci on. Ejercicio.

3.

Representaci on geom etrica de los n umeros naturales, enteros y racionales.

Como ya comentamos al nal de la secci on 1 podemos utilizar una recta para representar geom etricamente los puntos de R. Para empezar colocamos en un lugar arbitrario el 0 y ahora veremos c omo vamos disponiendo los dem as n umeros. La colocaci on se hace de modo que los n umeros positivos quedan a la derecha del cero, y los negativos a la izquierda. M as a un, la representaci on ser a tal que si x < y , al disponerlos sobre la recta, x debe estar situado a la izquierda de y . Los n umeros naturales se construyen a partir del elemento neutro del producto, el 1, mediante la reiteraci on del proceso de sumar 1. As formamos los n umeros 1, 1 + 1 = 2, 1 + 1 + 1 = 3, etc. El conjunto formado por los n umeros naturales se denota por N. La representaci on de los n umeros naturales sobre la recta num erica es muy sencilla: el 1 se sit ua a la derecha del 0 puesto que 1 > 0, a una distancia arbitraria, y a partir de ah se dibujan los dem as n umeros naturales conservando la misma escala. Los n umeros enteros son los n umeros naturales, el 0, y los opuestos para la suma de los n umeros naturales. El conjunto de los n umeros enteros es denotado por Z: Z = { , 4, 3, 2, 1, 0, 1, 2, 3, 4, . . . }. Los n umeros enteros se disponen sobre la recta num erica de la forma evidente, poniendo los opuestos de los naturales a la izquierda del cero de forma sim etrica, conservando la escala que hayamos elegido. Los n umeros naturales tienen unas propiedades espec cas notables. A continuaci on vamos a enunciar las m as interesantes para nosotros: 1. Sea A un subconjunto de los n umeros naturales. Pongamos que A cumple las dos siguientes propiedades: a) 1 A; b) si x A entonces x + 1 A. Entonces A = N. Esta propiedad se llama principio de inducci on y se utiliza para la demostraci on de f ormulas. 8

2. Sea A un subconjunto de los n umeros naturales. Pongamos que A cumple las dos siguientes propiedades: a) 1 A; b) si 1, 2, , x A entonces x + 1 A. Entonces A = N. Esta propiedad se llama principio de inducci on fuerte. 3. Si A es un subconjunto no vac o de los n umeros naturales entonces A tiene un primer elemento, esto es, existe x A tal que x y para todo y A. 4. El algoritmo de la divisi on eucl dea: dados dos n umeros naturales x < y , existe un n umero natural q y un n umero entero r tales que y = qx + r con 0 r < x. 5. Teorema de factorizaci on en n umeros primos: todo n umero natural se expresa de forma u nica como producto de n umeros primos. Esto es, dado n N existen n umeros primos p1 , p2 , , pk nk n1 nica salvo y n umeros naturales n1 , n2 , nk tales que n = p1 pk siendo la escritura u ordenaci on de los factores del producto. No vamos a demostrar ninguna de ellas, pero podr an ser utilizadas en todo lo que sigue con libertad. m Los n umeros racionales son los n umeros reales x que se pueden escribir de la forma x = , n donde m Z y n N. El conjunto formado por los n umeros racionales se denota Q. Obviamente se da la cadena de inclusiones siguiente: N Z Q, puesto que todo n umero entero m puede ser visto como un caso particular de n umero racional: m = m/1. Para representar los n umeros racionales en la recta real es necesario utilizar el teorema de Tales. Este teorema proporciona un m etodo constructivo para dividir un segmento en una cantidad nita de partes iguales. El algoritmo para representar un n umero racional x = m/n es el siguiente: Dividimos el segmento que va desde el 0 hasta el 1 en n partes iguales utilizando el teorema de Tales. Cada uno de los subsegmentos representa una longitud igual a 1/n. Si m > 0, yuxtaponemos hacia la derecha del 0 el subsegmento obtenido en el paso anterior m veces. El punto que obtengamos al nal es el que representa el n umero m/n. Si m < 0 yuxtaponemos hacia la izquierda del 0 el subsegmento obtenido en el paso primero |m| veces. El punto que obtengamos al nal es el que representa el n umero m/n. Otra forma alternativa ser a dibujar el n umero m/n y luego pintar el sim etrico de este punto respecto del 0. Mediante este procedimiento obtenemos una representaci on de los n umeros racionales como puntos de la recta num erica. Y este proceso es tal que la representaci on hecha respeta el orden > denido sobre los n umeros reales, en el sentido de que si x, y Q y x < y entonces x est a a la izquierda de y sobre la recta num erica. Ya tenemos dibujados todos los n umeros reales que son racionales. En este momento cabe plantearse la siguiente cuesti on: existen otros tipos de n umeros reales que no son los racionales?; o de otro modo, existe puntos en la recta num erica que no representan a ning un n umero racional? La respuesta es que s . Concretamente, vamos a demostrar que no existen n umeros racionales r tales que r2 = 2. existe un n umero real x > 0 tal que x2 = 2. 9

Con ello habremos demostrado que el conjunto de los n umeros reales es estrictamente mayor que el de los racionales, puesto que al menos contiene un elemento m as. De hecho, como estudiaremos m as adelante, existen muchos n umeros reales (la mayor a de ellos), que no son racionales. Estos n umeros se llaman n umeros irracionales y el conjunto formado por ellos se denota por I: I = {x R : x / Q}. En esta secci on vamos a demostrar el primer punto, esto es, vamos a demostrar que no puede existir ning un racional r tal que r2 = 1. Dejaremos para secciones posteriores la demostraci on del segundo punto puesto que requiere de t ecnicas m as avanzadas. En el teorema que vamos a ver a continuaci on utilizaremos la siguiente propiedad de los n umeros racionales: si r es un n umero racional, existen m Z y n N sin divisores comunes tales que r = m/n. Esta forma de escribir r se llama forma can onica y es u nica. No vamos a demostrar esta propiedad aunque apuntamos que se deduce f acilmente del teorema de factorizaci on en n umeros primos. Teorema 1. No existe ning un racional r tal que r2 = 2. Demostraci on. Por reducci on al absurdo. Sup ongase que existe un n umero racional r de modo que 2 r = 2. Como r es un racional debe ser un n umero real de la forma r = m/n donde m Z y n N son n umeros que no tienen divisores comunes entre s (forma can onica del n umero racional r). 2 m deducimos que m2 es un Como r2 = 2 tenemos que 2 = 2 y por ello m2 = 2n2 . De aqu n n umero par puesto que es m ultiplo de 2. Pero si m2 es un n umero par entonces m tambi en es un n umero par, digamos que m = 2m para cierto m N. 2 Sigamos con la demostraci on. Como m = 2m entonces m2 = 4m2 que = 2n y de aqu 2 2 2 umero par y por ello n tambi en. Esto es una contradicci on n = 2m . Pero entonces n es un n pues hab amos supuesto que m y n no tienen divisores comunes entre s y hemos llegado a que 2 es un divisor com un de ambos. Terminamos esta secci on con la denici on de ciertos conjuntos de n umeros reales fundamentales: los llamados intervalos o segmentos. Si a b entonces el conjunto de n umeros {x R : a x b} se llama segmento de la recta num erica o intervalo cerrado y se denota por [a, b]: [a, b] = {x R : a x b}. En el caso l mite a = b el segmento es un punto. Si a < b entonces el conjunto {x R : a < x < b} se llama intervalo abierto y se denota por (a, b): (a, b) = {x R : a < x < b}. El intervalo abierto (a, b) se llama interior del segmento [a, b]. Los conjuntos de la forma [a, b) = {x R : a x < b} y (a, b] = {x R : a < x b} se llaman intervalos semiabiertos. En general todos los conjuntos anteriores se llaman intervalos. Los puntos a y b se llaman extremos (izquierdo y derecho) y los puntos x R tales que a < x < b se llaman puntos interiores. La longitud del intervalo es b a. Dado un n umero real x, y un n umero real > 0, el -entorno de x es el intervalo abierto (x , x + ). Un entorno de x es cualquier -entorno suyo. 10

Proposici on 2. Dados dos puntos distintos x < y en la recta real, existen dos entornos de x e y que no se cortan entre s . Demostraci on. Sea = (y x)/2. Consideramos (x , x + ) y (y , y + ), los -entornos de x e y . Para demostrar que estos entornos no se cortan basta demostrar que el extremo de la derecha de (x , x + ) es menor o igual al extremo de la izquierda de (y , y + ), esto es, tenemos que demostrar que x + y , o lo que es lo mismo 2 y x. Pero esto es claramente cierto con la elecci on de que hemos tomado.

4.

El axioma de completitud. Supremos e nmos

El axioma de completitud, tambi en llamado de continuidad, es de todos los axiomas de los n umeros reales el m as profundo. Los axiomas de cuerpo y de orden de los n umeros reales nos dicen que R es un cuerpo ordenado. Pero Q tambi en es un cuerpo ordenado, as que estos axiomas no determinan por completo a los n umeros reales: es el axioma de completitud el que marca la diferencia entre Q y R. En esta secci on introducimos una serie de conceptos que nos permiten enunciar el axioma de completitud de una forma equivalente con el animo de poder entenderlo mejor. Denici on 4.1. Sea A R un subconjunto de n umeros reales no vac o. Diremos que A est a acotado superiormente si existe x R tal que a x para todo a A. El n umero x es una cota superior del conjunto A. De forma similar se dene acotado inferiormente y cota inferior. Dejo como ejercicio la escritura del enunciado de estas dos deniciones completamente similares. Los conjuntos no acotados superiormente se llaman no acotados superiormente y lo mismo para los no acotados inferiormente. Denici on 4.2. Sea A un conjunto no vac o de n umeros reales acotado superiormente. Diremos que R es el supremo del conjunto A si es el m nimo de sus cotas superiores, esto es, es el supremo de A si cumple las dos propiedades siguientes: 1. es una cota superior del conjunto A. 2. Si x es cualquier cota superior de A entonces x. El supremo del conjunto A acotado superiormente, si existe, ser a denotado por = sup A. As que sup A viene caracterizado por dos propiedades: a) es una cota superior del conjunto; b) es la menor de todas las cotas superiores. Para los conjuntos no acotados superiormente se dice que el supremo es +. Esto es, si A es un conjunto no acotado superiormente entonces escribiremos sup A = +. Denici on 4.3. Sea A un conjunto no vac o acotado inferiormente. Diremos que R es el nmo del conjunto A si es el m aximo de sus cotas inferiores, esto es, es el nmo de A si cumple las dos propiedades siguientes: 1. es una cota inferior del conjunto A. 2. Si x es cualquier cota inferior de A entonces x .

11

El nmo del conjunto A acotado inferiormente, si existe, ser a denotado por = nf A. As que nf A viene caracterizado por dos propiedades: a) es una cota inferior del conjunto; b) es la mayor de todas las cotas inferiores. Para los conjuntos no acotados inferiormente se dice que el nmo es . Esto es, si A es un conjunto no acotado inferiormente entonces escribiremos nf A = . Teorema 3. Todo conjunto acotado superiormente no vac o tiene supremo. Demostraci on. Sea A un conjunto no vac o y acotado superiormente. Sea B el conjunto formado por las cotas superiores del conjunto A, que es distinto del vac o. El axioma de completitud implica la existencia de un n umero real tal que x para todo x A (esto es, es una cota superior de A) y x para todo x B (esto es, es la menor de todas las cotas superiores de A). Queda demostrado que = sup A. Obviamente existe un teorema an alogo para la existencia del nmo. Dejo como ejercicio el enunciado y la demostraci on del correspondiente teorema. En realidad el axioma de completitud es equivalente a la existencia de supremo para conjuntos acotados superiormente o a la existencia del nmo para conjuntos acotados inferiormente. Esto es, podr amos tomar como axioma que todo conjunto no vac o acotado superiormente tiene supremo (o que todo conjunto no vac o acotado inferiormente tiene nmo), y demostrar a partir de este hecho el axioma de completitud que enunciamos en la secci on 1. Son por lo tanto enunciados equivalentes. Teorema 4. Las dos siguientes armaciones son equivalentes: 1. El axioma de completitud. 2. Todo conjunto acotado superiormente no vac o tiene supremo. Demostraci on. (1) (2) Ya lo hemos demostrado en el teorema 3. (2) (1) Sean A y B dos conjuntos no vac os de n umeros reales tales que a b para todo a A y para todo b B . Tenemos que demostrar que existe un n umero real tal que a b para todo a A y para todo b B . Obviamente A es un conjunto acotado superiormente y todos los elementos de B son cotas superiores de A. Tomemos = sup A, que existe por (2). Es obvio que a para toda a A (pues el supremo por denici on es una cota superior) y adem as b para todo b B (pues el supremo es el menor de todas las cotas superiores. Esto demuestra que (2) implica (1). Es f acil de imaginar que existe un teorema equivalente para el nmo. Dejo como ejercicio el enunciado y la demostraci on del correspondiente teorema. Para terminar la secci on estudiaremos el principio de los intervalos encajados de Cantor. Una colecci on de intervalos cerrados [a1 , b1 ], [a2 , b2 ], , [an , bn ], se llama sistema de intervalos encajados si [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] . Esto es equivalente a que a1 a2 a3 a4 an b n b 2 b 1 . Teorema 5. Para cualquier sistema de intervalos cerrados encajados existe al menos un n umero real que pertenece a todos los intervalos del sistema, esto es, la intersecci on de todos los intervalos

[an , bn ] es distinta del conjunto vac o.

n=1

12

Demostraci on. Sean A = {an : n N} y B = {bn : n N}. Por ser un sistema de intervalos encajados es claro que cualquier elemento de A es menor o igual que cualquier elemento de B . En efecto, sea an un elemento de A y bm un elemento de B . Sup ongase que n < m. Entonces, [am , bm ] [an , bn ] y en ese caso debe ocurrir que an am bm bn . Obviamente se obtiene que an bm . Si suponemos que n = m entonces es evidente que an bn . Por u ltimo, si suponemos que n > m, entonces [an , bn ] [am , bm ] y en ese caso debe ocurrir que am an bn bm . Tambi en se obtiene que an bm . El axioma de completitud nos dice que existe al menos un elemento R tal que an para todo n N y tambi en bn para todo n N. De aqu se deduce que [an , bn ] para todo n N

y por ello

[an , bn ], luego la intersecci on es distinta del conjunto vac o.

n=1

Pero podemos demostrar m as cosas, podemos decir exactamente cuales son los elementos que est an en la intersecci on. Obs ervese que de lo anterior se deduce que existen sup A y nf B puesto que A est a acotado superiormente (por cualquier elemento de B ) y B est a acotado inferiormente (por cualquier elemento de A). No s olo eso, es claro que sup A bn para cualquier n N, con lo que sup A es una cota inferior del conjunto B y por ello sup A nf B . Si ahora x es cualquier n umero real tal que sup A x nf B , se cumple lo siguiente: para todo n umero natural n N, an sup A x nf B bn , por lo tanto x [an , bn ] para todo n umero natural n. Hemos demostrado que:

[sup A, nf B ]

[an , bn ].
n=1

Por otro lado, si x

[an , bn ], entonces an x bn para todo n N y por ello x es una cota

n=1

superior de A y una cota inferior de B . De aqu deducimos que sup A x nf B y por lo tanto x [sup A, nf B ] con lo que hemos demostrado que

[an , bn ] [sup A, nf B ].
n=1

Uniendo los dos resultados [sup A, nf B ] =

[an , bn ].
n=1

5.

La propiedad arquimediana y consecuencias

La propiedad arquimediana de los n umeros reales consiste en lo siguiente:

Teorema 6. Los n umeros naturales no est an acotados superiormente. Demostraci on. Sup ongase que N est a acotado superiormente. Entonces existe el supremo de N que denotamos por = sup N. Sea n cualquier n umero natural; obviamente n + 1 N y por lo tanto n + 1 . Pero entonces n 1 para todo n N y esto quiere decir que 1 es una cota superior de N, lo cual es una contradicci on pues 1 < .

13

Corolario 7. Sean 0 < x < y dos n umeros reales positivos. Existe un n umero natural n tal que nx > y . Demostraci on. T omese el n umero real y/x. Como N no est a acotado superiormente debe existir un natural n tal que n > (y/x). Si multiplicamos por x la desigualdad no cambia de sentido y queda nx > y . Corolario 8. Para todo n umero real x existe un u nico n umero entero m que cumple m x < m+1. El n umero m se llama parte entera de x y escribiremos m = [x]. Demostraci on. Sea x R. Primero vamos a demostrar el teorema para los x 1. Por la propiedad arquimediana, el conjunto A = {n N : n > x} es un subconjunto de los n umeros naturales no vac o y en consecuencia debe tener un primer elemento. Digamos que ese elemento es k ; obs ervese que k 2. Sea m = k 1. Es claro que m N (pues k 2) y que m / A (pues k es el primer elemento de A), por lo que m x < m + 1. Adem as m es u nico. En efecto, sup ongase que m x < m + 1 y que n x < n + 1, siendo m y n dos n umeros naturales. Sup ongase que m > n (el otro caso es completamente similar). Entonces m n x n puesto que m x y x n < (n + 1) n) = 1 luego al nal queda que m n < 1 lo cual es imposible, puesto que la menor distancia posible ente dos n umeros naturales es 1. Sea ahora x < 1. Tomemos un n umero natural k lo sucientemente grande como para que x + k 1 (la existencia de k est a garantizada por la propiedad arquimediana). Si aplicamos el resultado ya demostrado, obtenemos la existencia de un u nico m N tal que m x + k < m +1. Restando k en la desigualdad queda que m k x < m k + 1. Basta poner m = m k . Corolario 9. Si x < y son dos n umeros reales cualesquiera, existe un racional r tal que x < r < y . Demostraci on. Por la propiedad arquimediana, existe un n umero natural n tal que 1 < n(y x), por lo que (1/n) < y x. Sea m = [nx], entonces se tiene que m nx < m + 1. Teniendo en cuenta todo esto: m+1 m 1 1 m x< = + x + < x + (y x) = y. n n n n n T omese entonces r = (m + 1)/n. En la secci on 3 demostramos que no existen n umeros racionales r tales que r2 = 2 y qued o pendiente la demostraci on de que existen n umeros reales x tales que x2 = 2. En el siguiente teorema demostraremos un resultado mucho m as general. Teorema 10. Sea x 0. Para cada n umero natural n existe uno y s olo un n umero y 0 tal que yn = x Este n umero y se llama raiz n-esima de x y se denota por y = n x = x1/n .

n n Demostraci on. Obs ervese que si 0 y1 < y2 entonces y1 < y2 , por lo tanto, jado x s olo puede n existir un y tal que y = x. Hemos demostrado que de existir la ra z n- esima es u nica. Si x = 0 el n umero y = 0 es el u nico cumple las condiciones exigidas. Por lo tanto podemos suponer que x > 0. Tenemos que demostrar que existe y > 0 (pues y = 0 no puede ser), tal que y n = x.

14

Sea A el subconjunto de n umeros reales formados por aquellos R, > 0 y n < x. El conjunto A es distinto del vac o pues el n umero = (1/2) m n{1, x} est a en A ya que 0 < , < 1, n1 n n1 luego < 1, y adem as < x, luego = < 1 < x. Sea B el subconjunto de n umeros reales formado por aquellos R, > 0, tales que n > x. Este conjunto tambi en es distinto del vac o pues = 2 m ax{1, x} pertenece a el ya que n = n1 > 1 = x. Cualquier elemento de A es menor o igual que cualquier elemento de B . En efecto, si existiera un elemento de A, digamos , mayor que alg un elemento de B , digamos , entonces x < n n con lo que no estar a en A. As que debe ocurrir que todos los elementos de A son menores o iguales que cualquiera de los elementos de B . En virtud del axioma de completitud, existe un n umero y tal que y para todo A y para todo B . Vamos a demostrar que este y es tal que y n = x. En virtud de la desigualdad de Bernoulli, dado cualquier 0 < h < 1 se tiene que (1 h)n 1 nh. Si 0 < h < (1/n) entonces 1 nh > 0 y podemos escribir 1 1 n (1 h) 1 nh multiplicando por y n > 0 queda y 1h Tambi en se tendr a que (y (1 h))n y n (1 hn). Sup ongase que y n < x. Entonces tomando un n umero h tal que 0<h< 1 n 1 yn x
n

yn yn . = (1 h)n 1 nh

se tendr a que 0 < h < (1/n), 1 nh > (y n /x) y por ello y 1h

n

yn yn < n =x 1 nh y /x

de donde y/(1 h) estar a en el conjunto A y a la vez ser a > y , lo cual es una contradicci on. n Si fuese y > x entonces, tomando un n umero h tal que 0<h< queda que h < (1/n), 1 nh > (x/y n ) y (y (1 h))n y n (1 hn) > y n x =x yn 1 n 1 x yn

de donde y (1 h) estar a en el conjunto B y a la vez ser a < y . Esto es una contradicci on. S olo queda la posibilidad de que y n = x. 15

Corolario 11. Si x < y son dos n umeros reales cualesquiera, existe un irracional t tal que x < t < y. Demostraci on. Sea r un n umero racional tal que x < r < y . Por la propiedad arquimediana, existe 2 < y r. T omese t = r + ( 2/n). Entonces: un n umero natural n tal que n 2 x<r<r+ < r + (y r) = y. n

6.

Potencias y ra ces

Si n N y x es cualquier n umero real, se dene la potencia xn como el producto de x consigo umero negativo, y x es un n umero real no mismo n veces. Por denici on x0 = 1. Si n Z es un n nulo, se dene xn del siguiente modo: xn := 1 = (1/x)n . x n

Teorema 12. Sean n, m Z y x un n umero real no nulo. Entonces 1. xm+n = xm xn . 2. (xm )n = xmn . 3. (xy )m = xm y m . 4. (x/y )m = xm /y m . No vamos a escribir la demostraci on de este teorema. Apuntamos que hay que diferenciar casos en los apartados (1) y (2): a) m > 0 y n > 0; b) m < 0 y n > 0; c) m > 0 y n < 0; d) m < 0 y n < 0; los casos en que alguno de los dos es cero son muy f aciles de demostrar. En los apartados (3) y (4) tambi en se diferencian los casos m < 0 y m > 0. Enunciamos las propiedades b asicas de las ra ces de n umeros reales. En todas ellas suponemos que m y n son n umeros naturales y x > 0. Recu erdese que x1/n es el ( unico) n umero real mayor o 1/n n igual que cero tal que (x ) = x. Teorema 13. Sean m, n N y x, y n umeros reales positivos. 1. (x1/n )1/m = x1/mn . 2. (xy )1/n = x1/n y 1/n . 3. (x/y )
1/n

x1/n = 1/n . y

4. x1/n = (xm )1/mn . 5. (x1/n )m = (xm )1/n para todo m Z. 16

Demostraci on. (1) Sea b = (x1/n )1/m . Tenemos que demostrar que bmn = x. En primer lugar obs ervese que bm = x1/n , as que bmn = (bm )n = (x1/n )n = x. (2) Tenemos que demostrar que (x1/n y 1/n )n es igual a xy , pero es que esto es directo pues (x1/n y 1/n )n = (x1/n )n (y 1/n )n = xy. (3) Completamente similar al caso anterior. (4) Tenemos que demostrar que (x1/n )mn = xm . Y esto est a claro pues (x1/n )mn = ((x1/n )n )m = xm . (5) Tenemos que demostrar que ((x1/n )m )n = xm . Y eso est a claro pues ((x1/n )m )n = ((x1/n )n )m = xm .

Denimos ahora las potencias racionales. Sea x > 0 y r un n umero racional cualquiera, es decir, r = m/n donde m Z y n N. Se dene la potencia xr del siguiente modo: xr = (xm )1/n . La denici on es correcta, en el sentido de que no depende de la escritura de r: Lema 14. Sean m, p Z y n, q N. Si m/n = p/q y x > 0 entonces (xm )1/n = (xp )1/q Demostraci on. Sup ongase que m > 0 y por ello p > 0. Obs ervese que en virtud del teorema anterior: (xm )1/n = (xmp )1/np = (xmp )1/mq = (xp )1/q . En el caso m < 0 y por ello p < 0 tendr amos (xm )1/n = ((1/x)m )1/n = ((1/x)p )1/q = (xp )1/q .

Teorema 15. Sean x e y n umeros reales positivos y sean r y s dos n umeros racionales. 1. xr+s = xr xs . 2. (xr )s = xrs 3. (xy )r = xr y r 4. (x/y )r = xr /y r .

17

7.
7.1.

Complementos
Conjuntos nitos, n umeros naturales y sucesiones

Un conjunto X tiene cardinal n N si existe una aplicaci on biyectiva del conjunto X al conjunto {1, 2, , n}. Si para un conjunto existe alg un n umero natural n tal que X tiene cardinal n, diremos que es nito. Cualquier conjunto que no sea nito se dice innito. El conjunto de los n umeros naturales es un ejemplo de conjunto innito puesto que no se puede poner en correspondencia biyectiva con ning un conjunto de la forma {1, 2, , n}. Cualquier conjunto que pueda ponerse en correspondencia biyectiva con el conjunto de los n umeros naturales se dice que es innito numerable. Resulta sorprendente comprobar que Z y Q son conjuntos innitos numerables. M as a un, Cantor demostr o a nales del siglo XIX que R es un conjunto innito no numerable, esto es, no puede ponerse en correspondencia biyectiva con el conjunto de los n umeros naturales, lo cual quiere decir que el innito de los n umeros reales es m as innito que el de los naturales. La prueba de Cantor se basa en un proceso de diagonalizaci on muy u til que aprenderemos en el tema siguiente. El conjunto vac o, por denici on, se considera nito y su n umero de elementos igual a cero. Sea X un conjunto cualquiera. Cualquier aplicaci on f : N X se llama sucesi on de elementos del conjunto X . El elemento f (n) se denota por xn y se llama elemento n- esimo de la sucesi on. La sucesi on f : N X se denota por (xn ). En realidad, cada elemento de la sucesi on xn es un par ordenado, compuesto por el n umero n y el elemento de X asociado a n, esto es, xn = (n, x). El conjunto de elementos de una sucesi on es siempre innito numerable, aunque elementos distintos de la sucesi on pueden tener el mismo valor. Hay que distinguir por lo tanto entre la sucesi on (la aplicaci on f : N X ) y los valores tomados por la sucesi on (la imagen de f , que es el conjunto {f (n) : n N}. Por ejemplo, la sucesi on f : N R denida por f (n) = (1)n tiene innitos t erminos, pero s olo toma dos valores distintos: 1 y 1. El conjunto de valores que toma la sucesi on puede ser incluso un conjunto nito. Un caso extremo ser a considerar la sucesi on f (n) = a para todo n N, que asigna a cada n umero natural el mismo valor a X . Estas sucesi on s olo toma un valor, y se llama estacionaria o constante.

7.2.

Existen los n umeros reales?

Reexionemos un poco sobre la existencia de los n umeros reales. Existen realmente? Pueden existir otros conjuntos que tengan las mismas propiedades? Con nuestro modo de proceder la existencia de los reales ha sido garantizada por axioma, y los axiomas son enunciados que no se demuestran sino que se dan por v alidos, luego la respuesta de si existen o no los n umeros reales est a en el aire. Y la unicidad? Se puede demostrar (es un teorema) que b asicamente s olo existe un conjunto que verique los axiomas de los n umeros reales, esto es, s olo existe un conjunto dotado de dos operaciones que sea cuerpo ordenado y completo. Teorema 16. Sean (R, +, , <) y (R , +, , < ) dos cuerpos totalmente ordenados y completos. Entonces existe una biyecci on : R R que conserva la suma, el producto y el orden. La aplicaci on es un isomorsmo de cuerpos que identica las dos estructuras. La cuesti on de la unicidad queda zanjada con este teorema. La respuesta a la existencia es tambi en positiva: es posible construir un conjunto que cumple todos los axiomas. Pero, ojo, como toda construcci on matem atica (que es ciencia deductiva), la construcci on se asienta sobre otros 18

axiomas. As que cuando nos referimos a que es demostrable la existencia del conjunto de los n umeros reales, lo que queremos decir es que su existencia se deduce por razonamiento l ogico a partir de unos axiomas m as elementales. La labor de jar los axiomas elementales, base de todo el edicio matem atico, es la labor de estudio de la L ogica y Fundamentos de la Matem atica. La existencia de los reales se basa en los axiomas relativos a la existencia de los n umeros naturales. A partir de los naturales se construye de forma expl cita el anillo de los enteros y el cuerpo de los racionales. Existen dos m etodos cl asicos de construcci on de los reales a partir de los racionales: uno debido a Dedekind (principio de las cortaduras) y otro debido a Cantor (sucesiones de Cauchy).

7.3.

Algunas nociones de topolog a

Sea A un conjunto de n umeros reales. Un punto x perteneciente al conjunto A se dice interior si existe un n umero real > 0 tal que el -entorno abierto (x , x + ) est a completamente contenido en el conjunto A. Si todos los puntos de A son interiores diremos que A es un conjunto abierto. En general, el conjunto formado por todos los puntos abiertos de A se llama interior de A, y se nota por int(A). Teorema 17. Los intervalos abiertos son conjuntos abiertos. Demostraci on. Sea I = (a, b) un intervalo abierto, con a < b. Tenemos que probar que todos los puntos de I son interiores. Sea x un punto cualquiera de I . Por denici on a < x < b. Sea el m nimo entre (x a)/2 y (b x)/2. Entonces el entorno abierto (x , x + ) est a contenido en I . En efecto, obs ervese que a xa bx x+b a+x =x x <x+ x+ = b, 2 2 2 2

por tanto (x , x + ) I . Esto prueba que x es interior. Un conjunto de n umeros reales C se llama cerrado si su complemento R \ C es un conjunto abierto. Sea A un conjunto de n umeros reales y x R un n umero cualquiera. Se dice que x es un punto de acumulaci on del conjunto A si cumple que para todo > 0 el - entorno abierto perforado (x , x + ) \ {x} corta al conjunto A en alg un punto. El conjunto formado por todos los puntos de acumulaci on de A se llama derivado de A y se denota por A . Teorema 18. Un conjunto es cerrado si y s olo si contiene a todos sus puntos de acumulaci on. Demostraci on. Demostremos en primer lugar que un conjunto cerrado contiene a todos sus puntos de acumulaci on. Sea pues F un conjunto cerrado y x un punto de acumulaci on de F . Sup ongase que x no pertene a F ; entonces pertenece a su complemento R \ F . Como F por hip otesis es cerrado, su complemento es un conjunto abierto. Como x R \ F , x es un punto interior y debe existir alg un > 0 tal que (x , x + ) R \ F . Pero esto quiere decir en particular que el entorno abierto (x , x + ) no corta al conjunto F , lo cual contradice que x sea punto de acumulaci on de F . Hemos demostrado por reducci on al absurdo que x pertenece a F . Rec procamente, sup ongase que F contiene a todos sus puntos de acumulaci on y tratemos de probar que es cerrado, esto es, que su complemento es abierto. Sea x cualquier punto de R \ F . Como x no est a en F , no es un punto de acumulaci on, por ello debe existir alg un > 0 tal que el entorno perforado (x , x + ) \ {x} no corta a F . Esto quiere decir que el entorno perforado 19

est a contenido en R \ F , y por tanto todo el entorno (x , x + ) pues x tambi en est a en R \ F . Esto demuestra que x es interior a R \ F , y como el razonamiento es v alido para cualquier punto x del conjunto sigue que R \ F es abierto. Teorema 19. Los intervalos cerrados son conjuntos cerrados. Demostraci on. Ejercicio. Diremos que un conjunto es compacto si es a la vez cerrado y acotado (superior e inferiormente).

7.4.

La recta num erica extendida

A menudo es c omodo completar el conjunto R de los n umeros reales con dos puntos m as que se denotan y +, que se llaman respectivamente menos innito y m as innito. Cumplen las siguientes reglas: < +. (+) + (+) = + () + () = (+)(+) = ()() = +. (+)() = ()(+) = . Pero, por ejemplo, no est an denidas las operaciones (+) + () o (+)/(+) Tambi en cumplen las siguientes reglas: < x < + para todo n umero real x. x + (+) = + para todo n umero real x. x + () = para todo n umero real x. x(+) = (+)x = + para todo x > 0. x() = ()x = para todo x > 0. x(+) = (+)x = para todo x < 0. x() = ()x = + para todo x < 0. Los elementos + y se llaman a veces n umeros innitos a diferencia de los n umeros reales x que se llaman n umeros nitos. En todo lo que sigue si decimos n umero, sin precisar, entenderemos que nos estamos reriendo a un n umero nito. El conjunto R completado con los elementos + y se llama conjunto extendido de los n umeros reales. Los elementos + y se llaman a veces puntos innitamente alejados en la recta num erica (a derecha o a izquierda, respectivamente).

20

8.

Hoja de problemas
a ) La suma de un racional con un irracional. b ) El opuesto o el inverso de un n umero irracional. c ) La suma o producto de n umeros racionales. d ) El producto de un racional con un irracional. ax + b donde a, b, c, d son n umeros enteros, c = 0 y x un n umero irracional. e) cx + d

1. D gase si puede ser racional:

2. Demuestre que (x + y )2 = x2 + y 2 solamente cuando x = 0 o y = 0. 3. Cu ando es cierto que (x + y )3 = x3 + y 3 ? 4. D gase si son ciertas las siguientes armaciones: a ) |x| < 3 x < 3. b ) x < 3 |x| < 3. c ) |x 4| < 3 1 < x < 7. d ) |1 + 3x| 1 x (2)/3. e ) No existe ning un n umero real x tal que |x 1| = |x 2|. 5. Descr base el conjunto de n umeros reales que cumplen las condiciones siguientes: a ) |3x + 5| < 2; |4x + 3| > 7; |4 (1/x)| < 1. |x 1| = 1; |2x 1| |x + 2|; |x 2| + |x 1| = 2. b) |x + 1| c ) |x| = x + 5; |x| = x 5; | 5x + 1| 1. 6. Descr base el conjunto de n umeros reales que cumplen las condiciones siguientes: a ) x2 5|x| + 6 = 0. b ) |x2 1| 1. c ) |x2 8x + 15| > x2 8x + 15. 7. Determine un irracional x tal que 1/3 < x < 1/4. 8. Determine todos los x R tales que |2 x| < 0,75. 9. Sabiendo que 105 x 2 105 y que 9999 y < 10000 ac otese el n umero y/x. 10. Pruebe que si x [2, 5] entonces 1/(2x + 1) [1/11, 1/5]. 11. D gase si son ciertas o no las siguientes f ormulas para todo n umero real: x x3 , x 2x, 2 2 |x| x , x |x|, 1 + |x| (1 + |x|) .

21

12. D gase si son ciertas o no las siguientes f ormulas para todo 0 < x < 1: x 1/x2 < 1/ x, x3 < x2 .

x, x < 1/x,

13. Elige la respuesta correcta: x2 < 9 si y solo si: a) x < 3; b) x < 3 y x < 3; c) |x| < 3; d) x < 3 o x < 3. 14. Determ nese el conjunto de n umeros reales que satisfacen: a) 2x 3 5x 2; b) 3x2 7x < 0; 2 2 c) (x 7) 25; d) 4 < x < 9. 15. Expresa |x| |x|2 prescindiendo del valor absoluto, tratando por separado distintos casos cuando sea necesario. 16. Demu estrense las siguientes f ormulas: a ) m ax{x, y } = x + y |x y | + . 2 2 x + y |x y | . b ) m n{x, y } = 2 2 c ) |x + y | = |x| + |y | si y solo si xy 0.

d ) |x y | = |x| |y | si y solo si xy 0, |x| |y |. 17. Sean a y b dos n umeros reales tales que a b + para todo > 0. Pru ebese que a b. 18. Demu estrense las siguientes f ormulas: a) 1 + 2 + 3 + + n = n(n + 1) . 2 n(n + 1)(2n + 1) b ) 12 + 22 + 32 + + n2 = . 6 c ) 13 + 23 + 33 + + n3 = (1 + 2 + + n)2 .

19. Demuestre la siguiente f ormula: si x = 1 entonces

n

xk =
k=1

x xn+1 . 1x

20. Demuestra que n+1 k = n n + . k1 k

21. Demuestre la f ormula del binomio de Newton: para todo par de n umeros reales x, y y para todo n umero natural n se cumple que
n

(x + y ) =
k=0

n k nk x y . k

22. Demuestre la desigualdad de Bernoulli: si x > 1 y n N entonces (1 + x)n 1 + nx. 23. Determine el supremo y el nmo de los siguientes conjuntos: (a) {x R : |x + 3| + |x 3| < 8}; (b) {x R : |x 5| < |x 1|}. 22

24. Sean A y B subconjuntos acotados de R. Demuestre los siguientes resultados: a) nf A = sup(A). b ) sup(A B ) = m ax{sup A, sup B }. c) nf(A B ) = m n{ nf A, nf B }. d ) sup C = sup A + sup B donde C = {a + b : a A, b B }. e ) m ax{ nf A, nf B } nf(A B ) sup(A B ) m n{sup A, sup B }. Ponga un ejemplo donde las desigualdades sean estrictas. 25. Sean x < y dos n umeros reales. a ) Demuestre que si 0 < t < 1 entonces x < tx + (1 t)y < y . b ) Demuestre que si x < r < y , entonces existe 0 < t < 1 tal que r = tx + (1 t)y . 26. Calcule la intersecci on del sistema de intervalos cerrados encajados [an , bn ] = [0, 1/n], con n N. Lo mismo para el sistema de intervalos encajados abiertos (an , bn ) = (0, 1/n). 27. Demuestre que si 0 < a < b entonces a< 28. Demuestre que 29. Sea an = ab < a+b <b 2

n es un n umero racional si y solo si n es un cuadrado perfecto.

1001n . Utiliza Mathematica para determinar el supremo y el nmo del conjunto n! A = {an : n N}.

23