Tema 1. Los nmeros reales.

u
Asignatura: Clculo Innitesimal I a Grado en Matemticas a

Indice
1. Introduccin axiomtica de los n meros reales. o a u 2. Propiedades de los n meros reales u 3. Representacin geomtrica de los n meros naturales, enteros y racionales. o e u 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, nmeros naturales y sucesiones u 7.2. Existen los nmeros reales? . . . . . . . . . . . . u 7.3. Algunas nociones de topolog . . . . . . . . . . . a 7.4. La recta numrica extendida . . . . . . . . . . . . e 8. Hoja de problemas 2 3 8 11 13 16 18 18 18 19 20 21

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

El conjunto de los nmeros reales no es un objeto matemtico tan sencillo como en principio u a se puede pensar. La representacin decimal que usamos slo tiene 300 aos de antigedad y la o o n u formulacin abstracta que presentamos en este tema es de nales del siglo XIX, lo que contrasta o con otros conceptos que parecen ms complicados, como derivadas e integrales, que en realidad a fueron desarrollados mucho antes. Ser razonable comenzar el estudio de los nmeros reales por los nmeros naturales pues stos a u u e son la clase ms elemental de nmeros que existen. Los nmeros naturales admiten una formulacin a u u o axiomtica simple y a partir de ellos se construye el anillo de los nmeros enteros y el cuerpo de a u los nmeros racionales. Finalmente, con algo ms de trabajo, se llega al conjunto de los nmeros u a u reales. El problema de este camino constructivo de los nmeros reales es que precisa de demasiado u tiempo para su desarrollo completo, aunque desde luego representa un modo bastante intuitivo y ordenado de presentar los nmeros reales. La forma que hemos elegido aqu la presentacin u , o axiomtica, es mucho ms efectiva desde la perspectiva temporal lo cual permite destinar ms a a a tiempo a los dems contenidos fundamentales del curso. a 1

1.

Introduccin axiomtica de los n meros reales. o a u

Existe un conjunto de nmeros que denotamos por R y que llamaremos conjunto de los nmeros u u reales, sobre el cual hay denidas dos operaciones que llamamos suma, denotada por +, y multiplicacin o producto, denotada por , que cumplen las siguientes propiedades (llamadas axiomas o de cuerpo): La suma es conmutativa: x + y = y + x para todo par de nmeros reales x, y. u La suma es asociativa: x + (y + z) = (x + y) + z para toda terna de nmeros reales x, y, z. u Elemento neutro para la suma: existe un nmero que denotamos por 0 que cumple lo siguiente, u x + 0 = x para todo x R. Elemento opuesto para la suma: dado un nmero real x, existe otro nmero que denotaremos u u por x tal que x + (x) = 0. La multiplicacin es conmutativa: x y = y x para todo par de nmeros reales x, y. o u La multiplicacin es asociativa: x (y z) = (x y) z para toda terna de nmeros reales x, y, z. o u Elemento neutro para el producto: existe un nmero que denotamos por 1, que es distinto u de 0, que cumple lo siguiente: x 1 = x para todo x R. Elemento opuesto o inverso para el producto: dado un nmero real x distinto de 0, existe u 1 1 otro nmero que denotaremos por x tal que x x = 1. El inverso para la multiplicacin u o tambin se denota por 1/x. e Propiedad distributiva: x (y + z) = x y + x z para toda terna de nmeros reales x, y, z. u 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 operacin resta entre dos nmeros reales x e y se dene mediante la frmula o u o x y := x + (y). La operacin resta es la opuesta de la operacin suma, esto es, dado x R, si le sumamos un o o nmero real y y luego lo restamos, queda el nmero de partida: x+y y = x+y +(y) = x+0 = x. u u La operacin divisin entre dos nmeros reales x e y, con y distinto de cero, se dene mediante o o u la frmula o x := xy 1 . y La divisin es la operacin inversa de la multiplicacin. Esto quiere decir que si un nmero x lo o o o u multiplicamos por un nmero y distinto de cero y luego lo dividimos por y, se obtiene el nmero u u 1 de partida: xyy = x1 = x. Suponemos tambin que sobre R existe una relacin de orden > (que se lee mayor que) que e o cumple los siguientes propiedades (axiomas del orden): Dado un nmero real x, ocurre una y slo una de las siguientes relaciones: o bien 0 > x, o u 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 relacin de orden permite establecer una comparacin entre dos nmeros reales cualesquiera. o o u Denicin 1.1. Dados x, y R, diremos que x es mayor que y, cosa que escribiremos x > y o de o forma equivalente y < x (que se lee y es menor que x), si ocurre que x y > 0. Tambin escribiremos x y o equivalentemente y x, para expresar que o bien x es menor e que y o bien x = y. Denicin 1.2. Los nmeros reales x tales que x > 0 se llaman positivos y los que satisfacen o u x < 0 se llaman negativos.

Falta un ultimo axioma, el ms complejo e importante, que se llama Axioma de completitud a o de continuidad. El enunciado de este axioma es el siguiente: Sean A y B dos subconjuntos no vac de nmeros reales. Supngase que a b para cualquier a A y para cualquier b B. os u o 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 nmeros reales: los axiomas de cuerpo, los axiomas de u orden y el axioma de completitud. A partir de ellos, mediante razonamiento deductivo, demostraremos uno a uno todos los resultados importantes de la teor Los axiomas son a. por lo tanto los cimientos que sirven para edicar la estructura de la asignatura. El conjunto R formado por los nmeros reales no es ms que un conjunto abstracto de u a 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 nmeros reales se piensan u como puntos en esa recta. Por eso, el conjunto de los nmeros reales se llama a veces recta u numrica. Esto lo veremos con detalle en las prximas secciones. e o

2.

Propiedades de los n meros reales u

En esta seccin estudiamos propiedades elementales de los nmeros reales que se demuestran a o u partir de los axiomas de cuerpo y de orden. Probaremos algunas y otras se dejarn como ejercicio. a Una vez terminada la seccin, todas ellas podrn ser utilizadas libremente a lo largo del curso. o a 1. El elemento neutro de la suma es unico. 2. El nmero opuesto a uno dado es unico. u 3. Para cualquier nmero real x se tiene que (x) = x. u 4. Para cualquier par de nmeros reales x, y se tiene que x y = (x + y). u 3

5. La ecuacin a + x = b tiene solucin unica en R y es x = b a. o o 6. El elemento neutro del producto es unico. 7. El nmero inverso a uno dado (distinto de cero) es unico. u 8. Para cualquier nmero real x no nulo (x1 )1 = x. u 9. Para cualquier par de nmeros reales x, y no nulos se tiene que (xy)1 = x1 y 1 . u 10. La ecuacin ax = b tiene solucin unica en R y es x = b/a siempre que a sea distinto de cero. o o 11. Para cualesquiera nmeros reales x, y, z se tiene que x(y z) = xy xz. u Demostracin. Partimos de la parte izquierda de la igualdad y tratamos de llegar a la parte o derecha: x(yz) = x(yz)+xzxz = x((yz)+z)xz = x(y+(zz))xz = x(y+0)xz = xyxz. 12. Para cualquier nmero real x se tiene que x 0 = 0. u Demostracin. Obsrvese que 0 = 1 1, luego: o e 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. Demostracin: Sean x, y R. Supongamos que x = 0. Entonces existe x1 inverso de x para o 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 demostracin. o 14. Para cualesquiera nmeros reales x, y se tiene que (x)y = xy, y tambin que (x)(y) = u e xy. En particular (1)y = y para todo nmero real y. u Demostracin: Vamos a demostrar primero que (x)y = xy. Para ello partimos de la parte o 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 prrafo anterior. Ms aun, aplicndolo a a a una segunda vez podemos escribir: (x)(y) = x(y) = ((y)x) = (xy) = xy. Para terminar obsrvese que la frmula (1)y = y es un caso particular de la frmula e o o (x)y = xy que ya hemos demostrado (poniendo x = 1).

15. Sean t e y dos nmeros reales distintos de cero. La igualdad s/t = x/y es vlida si y solo si u a sy = tx. Demostracin. Supongamos que s/t = x/y y vamos a demostrar que entonces sy = tx. o 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 ultima 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 nmeros reales distintos de cero. Se tiene que u xz x = . y yz Demostracin. Segn la propiedad 15, para demostrar que x/y = (xz)/(yz) basta demostrar o u 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. Demostracin. Partimos de la derecha: o 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 tambin hemos usado la conmutatividad y asociatividad del e producto. 18. La multiplicacin de fracciones se realiza mediante la regla o xs x s = , y t yt siempre que los denominadores sean distintos de cero. Demostracin. Obsrvese que o e x s xs = (xy 1 )(st1 ) = (xs)(y 1 t1 ) = (xs)(yt)1 = . y t yt 19. La divisin de fracciones se realiza mediante la regla o x/y xt = , s/t sy siempre que y, s, t sean distintos de cero. Demostracin. Para demostrar la igualdad basta demostrar que (x/y)(sy) = (s/t)(xt), pero o 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). Demostracin. Tenemos que demostrar que xz > 0. Sabemos que xy > 0 y que y z > 0. o 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. Demostracin. Tenemos que demostrar que x + z (y + z) > 0, pero esto es evidente pues o 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. Demostracin. Es inmediata a partir del axioma de orden que dice que dado un nmero real o u 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. Tambin se tiene que e si x < 0 entonces x > 0. Demostracin. Sabemos que y x > 0 y tenemos que demostrar que x (y) > 0. Esto o 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. Demostracin. Tenemos que demostrar que y + t x s > 0. Obsrvese que y x > 0 y o e 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 nmeros positivos es u 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. Demostracin. Tenemos que demostrar que y t x + s > 0. Si s = t no tenemos nada que o demostrar, as que podemos suponer que s > t. En ese caso sabemos que s t > 0 y por supuesto tambin sabemos que y x > 0. La suma de dos nmeros positivos es positivo, e u 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. Demostracin. Tenemos que demostrar que xzyz > 0. Obsrvese que xzyz = (z)((x)+ o e y) = (z)(y x). Como x < y sabemos que y x > 0 y tambin sabemos que z > 0 ya que e z < 0. El producto de dos nmeros positivos es positivo (por los axiomas de orden), luego u (z)(y x) > 0 y esto demuestra que xz yz > 0. 27. El producto de dos factores no nulos de igual signo es positivo. Demostracin. Evidentemente el producto de dos nmeros positivos es positivo por los axioo u mas de orden. Sean ahora x e y dos nmeros negativos. Entonces x y y son nmeros u u positivos y por ello xy = (x)(y) > 0. 28. El producto de dos factores no nulos de signo opuesto es negativo. Demostracin. Sea x > 0 e y < 0. Entonces y > 0. Por ello xy = x(y) < 0 puesto que o x(y) es positivo por ser el producto de dos nmeros positivos. u 6

29. Se cumple que 1 > 0. Demostracin. Por reduccin al absurdo, supngase que no es cierto que 1 > 0. Como 1 = 0 o o o 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 nmeros positivos. Pero (1)(1) = 1 1 = 1 con lo que obtendr u amos que 1 > 0, justo lo contrario de lo que hemos supuesto como cierto. Esto es una contradiccin o y debe ser falso la suposicin de partida, esto es, debe ser 1 > 0. o 30. Si x > 0 entonces x1 > 0 y si x < 0 entonces x1 < 0. Demostracin. Sea x un nmero real positivo. Sabemos que xx1 = 1 > 0 luego debe ser o u 1 x > 0 ya que de lo contrario, si fuese x1 < 0, el producto de x con x1 ser un nmero a u negativo, lo que contradice que 1 > 0. Terminamos la seccin introduciendo un nuevo concepto sobre los nmeros reales, el valor o u absoluto. Denicin 2.1. Para cualquier nmero real x se dene el valor absoluto mediante la frmula o u o siguiente x si x 0 , |x| = x si x < 0. El valor absoluto de un nmero se llama tambin mdulo. Una forma diferente (pero equivau e o lente) de denir el valor absoluto es la siguiente: |x| = mx{x, x}. a El valor absoluto cumple las siguientes propiedades: 1. El valor absoluto de un nmero real es un nmero mayor o igual que cero. u u Demostracin: Inmediata a partir de la denicin. o o 2. El valor absoluto de un nmero y el de su opuesto es el mismo: |x| = | x| para todo x R. u Demostracin: obsrvese que |x| = mx{x, x} = mx{(x), x} = | x|. o e a a 3. Para cualquier nmero real x se tiene que u |x| x |x|. Demostracin. Como |x| = mx{x, x} es claro que x |x| y que x |x|. De la segunda, o a 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 nmeros reales. Se cumple que |x| a si y solo si a x a. u Demostracin. Primero voy a demostrar que si |x| a entonces a x a. Si |x| a o entonces x |x| a y tambin x |x| a. De la ultima se deduce que a x y de la e primera ya ten amos que x a, luego ya est demostrado. Ahora vamos a demostrar que a si a x a entonces |x| a. Basta demostrar que x a y que x a. Ambas son inmediatas a partir de la relacin a x a. o

5. Dados x, y R se cumple que |x + y| |x| + |y| (desigualdad triangular). Demostracin: Sabemos que |x| x |x| y lo mismo para y: |y| y |y|. Sumando o 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). Demostracin: obsrvese que |x| = |x y + y| = |(x y) + y| |x y| + |y|, por lo o e 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 nmero y el de su opuesto son el u mismo. Entonces ||x| |y|| = mx{|x| |y|, |y| |x|} |x y| a pues cada uno de los dos elementos del conjunto donde tomamos el mximo es menor que a |x y| segn hemos demostrado antes. u 7. Dados x, y R se cumple que |xy| = |x||y|. Demostracin. Ejercicio. o

3.

Representacin geomtrica de los n meros naturales, o e u enteros y racionales.

Como ya comentamos al nal de la seccin 1 podemos utilizar una recta para representar o geomtricamente los puntos de R. Para empezar colocamos en un lugar arbitrario el 0 y ahora vee remos cmo vamos disponiendo los dems nmeros. La colocacin se hace de modo que los nmeros o a u o u positivos quedan a la derecha del cero, y los negativos a la izquierda. Ms an, la representacin a u o ser tal que si x < y, al disponerlos sobre la recta, x debe estar situado a la izquierda de y. a Los nmeros naturales se construyen a partir del elemento neutro del producto, el 1, mediante u la reiteracin del proceso de sumar 1. As formamos los nmeros 1, 1 + 1 = 2, 1 + 1 + 1 = 3, etc. o u El conjunto formado por los nmeros naturales se denota por N. La representacin de los nmeros u o u naturales sobre la recta numrica es muy sencilla: el 1 se sita a la derecha del 0 puesto que 1 > 0, e u a una distancia arbitraria, y a partir de ah se dibujan los dems nmeros naturales conservando a u la misma escala. Los nmeros enteros son los nmeros naturales, el 0, y los opuestos para la suma de los nmeros u u u naturales. El conjunto de los nmeros enteros es denotado por Z: u Z = { , 4, 3, 2, 1, 0, 1, 2, 3, 4, . . . }. Los nmeros enteros se disponen sobre la recta numrica de la forma evidente, poniendo los opuestos u e de los naturales a la izquierda del cero de forma simtrica, conservando la escala que hayamos e elegido. Los nmeros naturales tienen unas propiedades espec u cas notables. A continuacin vamos a o enunciar las ms interesantes para nosotros: a 1. Sea A un subconjunto de los nmeros naturales. Pongamos que A cumple las dos siguientes u propiedades: a) 1 A; b) si x A entonces x + 1 A. Entonces A = N. Esta propiedad se llama principio de induccin y se utiliza para la demostracin de frmulas. o o o 8

2. Sea A un subconjunto de los nmeros naturales. Pongamos que A cumple las dos siguientes u propiedades: a) 1 A; b) si 1, 2, , x A entonces x + 1 A. Entonces A = N. Esta propiedad se llama principio de induccin fuerte. o 3. Si A es un subconjunto no vac de los nmeros naturales entonces A tiene un primer eleo u mento, esto es, existe x A tal que x y para todo y A. 4. El algoritmo de la divisin eucl o dea: dados dos nmeros naturales x < y, existe un nmero u u natural q y un nmero entero r tales que y = qx + r con 0 r < x. u 5. Teorema de factorizacin en nmeros primos: todo nmero natural se expresa de forma unica o u u como producto de nmeros primos. Esto es, dado n N existen nmeros primos p1 , p2 , , pk u u nk n1 y nmeros naturales n1 , n2 , nk tales que n = p1 pk siendo la escritura unica salvo u ordenacin de los factores del producto. o No vamos a demostrar ninguna de ellas, pero podrn ser utilizadas en todo lo que sigue con libertad. a m Los nmeros racionales son los nmeros reales x que se pueden escribir de la forma x = , u u n donde m Z y n N. El conjunto formado por los nmeros racionales se denota Q. u Obviamente se da la cadena de inclusiones siguiente: N Z Q, puesto que todo nmero u entero m puede ser visto como un caso particular de nmero racional: m = m/1. Para representar u los nmeros racionales en la recta real es necesario utilizar el teorema de Tales. Este teorema u proporciona un mtodo constructivo para dividir un segmento en una cantidad nita de partes e iguales. El algoritmo para representar un nmero racional x = m/n es el siguiente: u 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 nmero m/n. u 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 nmero m/n. Otra forma u alternativa ser dibujar el nmero m/n y luego pintar el simtrico de este punto respecto a u e del 0. Mediante este procedimiento obtenemos una representacin de los nmeros racionales como puntos o u de la recta numrica. Y este proceso es tal que la representacin hecha respeta el orden > denido e o sobre los nmeros reales, en el sentido de que si x, y Q y x < y entonces x est a la izquierda de u a y sobre la recta numrica. e Ya tenemos dibujados todos los nmeros reales que son racionales. En este momento cabe u plantearse la siguiente cuestin: existen otros tipos de nmeros reales que no son los racionales?; o u o de otro modo, existe puntos en la recta numrica que no representan a ningn nmero racional? e u u La respuesta es que s Concretamente, vamos a demostrar que . no existen nmeros racionales r tales que r2 = 2. u existe un nmero real x > 0 tal que x2 = 2. u 9

Con ello habremos demostrado que el conjunto de los nmeros reales es estrictamente mayor que u el de los racionales, puesto que al menos contiene un elemento ms. De hecho, como estudiaremos a ms adelante, existen muchos nmeros reales (la mayor de ellos), que no son racionales. Estos a u a nmeros se llaman nmeros irracionales y el conjunto formado por ellos se denota por I: u u I = {x R : x Q}. / En esta seccin vamos a demostrar el primer punto, esto es, vamos a demostrar que no puede o existir ningn racional r tal que r2 = 1. Dejaremos para secciones posteriores la demostracin del u o segundo punto puesto que requiere de tcnicas ms avanzadas. e a En el teorema que vamos a ver a continuacin utilizaremos la siguiente propiedad de los nmeros o u racionales: si r es un nmero racional, existen m Z y n N sin divisores comunes tales que u r = m/n. Esta forma de escribir r se llama forma cannica y es unica. No vamos a demostrar esta o propiedad aunque apuntamos que se deduce fcilmente del teorema de factorizacin en nmeros a o u primos. Teorema 1. No existe ningn racional r tal que r2 = 2. u Demostracin. Por reduccin al absurdo. Supngase que existe un nmero racional r de modo que o o o u 2 r = 2. Como r es un racional debe ser un nmero real de la forma r = m/n donde m Z y n N u son nmeros que no tienen divisores comunes entre s (forma cannica del nmero racional r). u o u 2 m Como r2 = 2 tenemos que 2 = 2 y por ello m2 = 2n2 . De aqu deducimos que m2 es un n 2 nmero par puesto que es mltiplo de 2. Pero si m es un nmero par entonces m tambin es un u u u e nmero par, digamos que m = 2m para cierto m N. u Sigamos con la demostracin. Como m = 2m entonces m2 = 4m2 = 2n2 y de aqu que o 2 u e o n = 2m2 . Pero entonces n2 es un nmero par y por ello n tambin. Esto es una contradiccin pues hab amos supuesto que m y n no tienen divisores comunes entre s y hemos llegado a que 2 es un divisor comn de ambos. u Terminamos esta seccin con la denicin de ciertos conjuntos de nmeros reales fundamentales: o o u los llamados intervalos o segmentos. Si a b entonces el conjunto de nmeros {x R : a x b} u se llama segmento de la recta numrica o intervalo cerrado y se denota por [a, b]: e [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 nmero real x, y un nmero real > 0, el -entorno de x es el intervalo abierto u u (x , x + ). Un entorno de x es cualquier -entorno suyo. 10

Proposicin 2. Dados dos puntos distintos x < y en la recta real, existen dos entornos de x e y o que no se cortan entre s. Demostracin. Sea = (y x)/2. Consideramos (x , x + ) y (y , y + ), los -entornos de x o 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 eleccin de que hemos tomado. o

4.

El axioma de completitud. Supremos e nmos

El axioma de completitud, tambin llamado de continuidad, es de todos los axiomas de los e nmeros reales el ms profundo. Los axiomas de cuerpo y de orden de los nmeros reales nos u a u dicen que R es un cuerpo ordenado. Pero Q tambin es un cuerpo ordenado, as que stos axiomas e e no determinan por completo a los nmeros reales: es el axioma de completitud el que marca la u diferencia entre Q y R. En esta seccin introducimos una serie de conceptos que nos permiten enunciar el axioma de o completitud de una forma equivalente con el nimo de poder entenderlo mejor. a Denicin 4.1. Sea A R un subconjunto de nmeros reales no vac Diremos que A est acoo u o. a tado superiormente si existe x R tal que a x para todo a A. El nmero x es una cota u 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. Denicin 4.2. Sea A un conjunto no vac de nmeros reales acotado superiormente. Diremos o o u 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 denotado por = sup A. 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 = +. Denicin 4.3. Sea A un conjunto no vac acotado inferiormente. Diremos que R es el o o nmo del conjunto A si es el mximo de sus cotas inferiores, esto es, es el a 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 denotado por = A. As que a nf A viene caracterizado por dos propiedades: a) es una cota inferior del conjunto; b) es la mayor nf 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 A = . nf Teorema 3. Todo conjunto acotado superiormente no vaco tiene supremo. Demostracin. Sea A un conjunto no vac y acotado superiormente. Sea B el conjunto formado o o por las cotas superiores del conjunto A, que es distinto del vac El axioma de completitud implica o. la existencia de un nmero real tal que x para todo x A (esto es, es una cota superior u 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 anlogo para la existencia del a nmo. Dejo como ejercicio el enunciado y la demostracin del correspondiente teorema. o 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 acotado superiormente tiene supremo o (o que todo conjunto no vac acotado inferiormente tiene o nmo), y demostrar a partir de este hecho el axioma de completitud que enunciamos en la seccin 1. Son por lo tanto enunciados o equivalentes. Teorema 4. Las dos siguientes armaciones son equivalentes: 1. El axioma de completitud. 2. Todo conjunto acotado superiormente no vaco tiene supremo. Demostracin. (1) (2) Ya lo hemos demostrado en el teorema 3. o (2) (1) Sean A y B dos conjuntos no vac de nmeros reales tales que a b para todo os u a A y para todo b B. Tenemos que demostrar que existe un nmero real tal que a b u 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 denicin es una cota superior) y adems b o a para todo b B (pues el supremo es el menor de todas las cotas superiores. Esto demuestra que (2) implica (1). Es fcil de imaginar que existe un teorema equivalente para el a nmo. Dejo como ejercicio el enunciado y la demostracin del correspondiente teorema. o Para terminar la seccin estudiaremos el principio de los intervalos encajados de Cantor. Una o coleccin de intervalos cerrados [a1 , b1 ], [a2 , b2 ], , [an , bn ], se llama sistema de intervalos eno cajados 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 nmero u real que pertenece a todos los intervalos del sistema, esto es, la interseccin de todos los intervalos o

[an , bn ] es distinta del conjunto vaco.

n=1

12

Demostracin. Sean A = {an : n N} y B = {bn : n N}. Por ser un sistema de intervalos o 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. Supngase que n < m. Entonces, o [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 ultimo, si suponemos que n > m, entonces [an , bn ] [am , bm ] y en ese caso debe ocurrir que am an bn bm . Tambin se e 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 tambin bn para todo n N. De aqu se deduce que [an , bn ] para todo n N e

y por ello

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

n=1

Pero podemos demostrar ms cosas, podemos decir exactamente cuales son los elementos que a estn en la interseccin. Obsrvese que de lo anterior se deduce que existen sup A y B puesto a o e nf que A est acotado superiormente (por cualquier elemento de B) y B est acotado inferiormente a a (por cualquier elemento de A). No slo eso, es claro que sup A bn para cualquier n N, con lo o que sup A es una cota inferior del conjunto B y por ello sup A B. Si ahora x es cualquier nf nmero real tal que sup A x B, se cumple lo siguiente: para todo nmero natural n N, u nf u an sup A x B bn , por lo tanto x [an , bn ] para todo nmero natural n. Hemos nf u demostrado que:

[sup A, B] nf

[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 B y por lo tanto nf x [sup A, B] con lo que hemos demostrado que nf

[an , bn ] [sup A, B]. nf

n=1

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

[an , bn ].
n=1

5.

La propiedad arquimediana y consecuencias

La propiedad arquimediana de los nmeros reales consiste en lo siguiente: u

Teorema 6. Los nmeros naturales no estn acotados superiormente. u a Demostracin. Supngase que N est acotado superiormente. Entonces existe el supremo de N que o o a denotamos por = sup N. Sea n cualquier nmero natural; obviamente n + 1 N y por lo tanto u 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 contradiccin pues 1 < . o

13

Corolario 7. Sean 0 < x < y dos nmeros reales positivos. Existe un nmero natural n tal que u u nx > y. Demostracin. Tmese el nmero real y/x. Como N no est acotado superiormente debe existir o o u a 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 nmero real x existe un unico nmero entero m que cumple m x < m+1. u u El nmero m se llama parte entera de x y escribiremos m = [x]. u Demostracin. Sea x R. Primero vamos a demostrar el teorema para los x 1. Por la propiedad o arquimediana, el conjunto A = {n N : n > x} es un subconjunto de los nmeros naturales no u vac y en consecuencia debe tener un primer elemento. Digamos que ese elemento es k; obsrvese o e 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. Adems m es unico. En efecto, supngase a o que m x < m + 1 y que n x < n + 1, siendo m y n dos nmeros naturales. Supngase que u o 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 nmeros naturales es 1. u Sea ahora x < 1. Tomemos un nmero natural k lo sucientemente grande como para que u x + k 1 (la existencia de k est garantizada por la propiedad arquimediana). Si aplicamos el a resultado ya demostrado, obtenemos la existencia de un unico 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 nmeros reales cualesquiera, existe un racional r tal que x < r < y. u Demostracin. Por la propiedad arquimediana, existe un nmero natural n tal que 1 < n(y x), o u 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 Tmese entonces r = (m + 1)/n. o En la seccin 3 demostramos que no existen nmeros racionales r tales que r2 = 2 y qued peno u o diente la demostracin de que existen nmeros reales x tales que x2 = 2. En el siguiente teorema o u demostraremos un resultado mucho ms general. a Teorema 10. Sea x 0. Para cada nmero natural n existe uno y slo un nmero y 0 tal que u o u yn = x Este nmero y se llama raiz n-esima de x y se denota por y = u n x = x1/n .

n n Demostracin. Obsrvese que si 0 y1 < y2 entonces y1 < y2 , por lo tanto, jado x slo puede o e o n existir un y tal que y = x. Hemos demostrado que de existir la ra n-sima es unica. z e Si x = 0 el nmero y = 0 es el unico cumple las condiciones exigidas. Por lo tanto podemos u 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 nmeros reales formados por aquellos R, > 0 y n < x. El u conjunto A es distinto del vac pues el nmero = (1/2) m o u n{1, x} est en A ya que 0 < , < 1, a n1 n n1 luego < 1, y adems < x, luego = < 1 < x. a Sea B el subconjunto de nmeros reales formado por aquellos R, > 0, tales que n > x. u Este conjunto tambin es distinto del vac pues = 2 mx{1, x} pertenece a l ya que n = e o a e 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 algn elemento de B, digamos , entonces u x < n n con lo que no estar en A. As que debe ocurrir que todos los elementos de A son menores o a iguales que cualquiera de los elementos de B. En virtud del axioma de completitud, existe un nmero y tal que y para todo A u 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 Tambin se tendr que e a (y(1 h))n y n (1 hn). Supngase que y n < x. Entonces tomando un nmero h tal que o u 0<h< 1 n 1 yn x
n

yn yn . = (1 h)n 1 nh

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

n

yn yn < n =x 1 nh y /x

de donde y/(1 h) estar en el conjunto A y a la vez ser > y, lo cual es una contradiccin. a a o n Si fuese y > x entonces, tomando un nmero h tal que u 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 en el conjunto B y a la vez ser < y. Esto es una contradiccin. Slo a a o o queda la posibilidad de que y n = x. 15

Corolario 11. Si x < y son dos nmeros reales cualesquiera, existe un irracional t tal que x < u t < y. Demostracin. Sea r un nmero racional tal que x < r < y. Por la propiedad arquimediana, existe o u 2 < y r. Tmese t = r + ( 2/n). Entonces: o un nmero natural n tal que u n 2 x<r<r+ < r + (y r) = y. n

6.

Potencias y ra ces

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

Teorema 12. Sean n, m Z y x un nmero real no nulo. Entonces u 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 demostracin de este teorema. Apuntamos que hay que diferenciar casos o 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 fciles de demostrar. En los apartados a (3) y (4) tambin se diferencian los casos m < 0 y m > 0. e Enunciamos las propiedades bsicas de las ra de nmeros reales. En todas ellas suponemos a ces u que m y n son nmeros naturales y x > 0. Recurdese que x1/n es el (nico) nmero real mayor o u e u u 1/n n igual que cero tal que (x ) = x. Teorema 13. Sean m, n N y x, y nmeros reales positivos. u 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

Demostracin. (1) Sea b = (x1/n )1/m . Tenemos que demostrar que bmn = x. En primer lugar o obsrvese que bm = x1/n , as que e 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 claro pues a (x1/n )mn = ((x1/n )n )m = xm . (5) Tenemos que demostrar que ((x1/n )m )n = xm . Y eso est claro pues a ((x1/n )m )n = ((x1/n )n )m = xm .

Denimos ahora las potencias racionales. Sea x > 0 y r un nmero racional cualquiera, es decir, u r = m/n donde m Z y n N. Se dene la potencia xr del siguiente modo: xr = (xm )1/n . La denicin es correcta, en el sentido de que no depende de la escritura de r: o 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 Demostracin. Supngase que m > 0 y por ello p > 0. Obsrvese que en virtud del teorema o o e 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 nmeros reales positivos y sean r y s dos nmeros racionales. u u 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 meros naturales y sucesiones u

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

7.2.

Existen los n meros reales? u

Reexionemos un poco sobre la existencia de los nmeros reales. Existen realmente? Pueden u 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 vlidos, luego la respuesta de si existen o no los nmeros reales a u est en el aire. Y la unicidad? Se puede demostrar (es un teorema) que bsicamente slo existe un a a o conjunto que verique los axiomas de los nmeros reales, esto es, slo existe un conjunto dotado u o de dos operaciones que sea cuerpo ordenado y completo. Teorema 16. Sean (R, +, , <) y (R , +, , < ) dos cuerpos totalmente ordenados y completos. Entonces existe una biyeccin : R R que conserva la suma, el producto y el orden. La aplicacin o o es un isomorsmo de cuerpos que identica las dos estructuras. La cuestin de la unicidad queda zanjada con este teorema. La respuesta a la existencia es o tambin positiva: es posible construir un conjunto que cumple todos los axiomas. Pero, ojo, como e toda construccin matemtica (que es ciencia deductiva), la construccin se asienta sobre otros o a o 18

axiomas. As que cuando nos referimos a que es demostrable la existencia del conjunto de los nmeros reales, lo que queremos decir es que su existencia se deduce por razonamiento lgico a u o partir de unos axiomas ms elementales. La labor de jar los axiomas elementales, base de todo el a edicio matemtico, es la labor de estudio de la Lgica y Fundamentos de la Matemtica. a o a La existencia de los reales se basa en los axiomas relativos a la existencia de los nmeros u 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 mtodos clsicos de construccin de los reales a partir de los e a o 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 nmeros reales. Un punto x perteneciente al conjunto A se dice interior u si existe un nmero real > 0 tal que el -entorno abierto (x , x + ) est completamente u a 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. Demostracin. Sea I = (a, b) un intervalo abierto, con a < b. Tenemos que probar que todos los o puntos de I son interiores. Sea x un punto cualquiera de I. Por denicin a < x < b. Sea el o m nimo entre (x a)/2 y (b x)/2. Entonces el entorno abierto (x , x + ) est contenido en a I. En efecto, obsrvese que e 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 nmeros reales C se llama cerrado si su complemento R \ C es un conjunto u abierto. Sea A un conjunto de nmeros reales y x R un nmero cualquiera. Se dice que x es un punto u u de acumulacin del conjunto A si cumple que para todo > 0 el - entorno abierto perforado o (x , x + ) \ {x} corta al conjunto A en algn punto. El conjunto formado por todos los puntos u de acumulacin de A se llama derivado de A y se denota por A . o Teorema 18. Un conjunto es cerrado si y slo si contiene a todos sus puntos de acumulacin. o o Demostracin. Demostremos en primer lugar que un conjunto cerrado contiene a todos sus puntos o de acumulacin. Sea pues F un conjunto cerrado y x un punto de acumulacin de F . Supngase o o o que x no pertene a F ; entonces pertenece a su complemento R \ F . Como F por hiptesis es o cerrado, su complemento es un conjunto abierto. Como x R \ F , x es un punto interior y debe existir algn > 0 tal que (x , x + ) R \ F . Pero esto quiere decir en particular que el entorno u abierto (x , x + ) no corta al conjunto F , lo cual contradice que x sea punto de acumulacin o de F . Hemos demostrado por reduccin al absurdo que x pertenece a F . o Rec procamente, supngase que F contiene a todos sus puntos de acumulacin y tratemos de o o probar que es cerrado, esto es, que su complemento es abierto. Sea x cualquier punto de R \ F . Como x no est en F , no es un punto de acumulacin, por ello debe existir algn > 0 tal que a o u el entorno perforado (x , x + ) \ {x} no corta a F . Esto quiere decir que el entorno perforado 19

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

7.4.

La recta numrica extendida e

A menudo es cmodo completar el conjunto R de los nmeros reales con dos puntos ms que o u a se denotan y +, que se llaman respectivamente menos innito y ms innito. Cumplen las a siguientes reglas: < +. (+) + (+) = + () + () = (+)(+) = ()() = +. (+)() = ()(+) = . Pero, por ejemplo, no estn denidas las operaciones (+) + () o (+)/(+) Tambin a e cumplen las siguientes reglas: < x < + para todo nmero real x. u x + (+) = + para todo nmero real x. u x + () = para todo nmero real x. u 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 nmeros innitos a diferencia de los nmeros reales u u x que se llaman nmeros nitos. En todo lo que sigue si decimos nmero, sin precisar, entenderemos u u que nos estamos reriendo a un nmero nito. u El conjunto R completado con los elementos + y se llama conjunto extendido de los nmeros reales. Los elementos + y se llaman a veces puntos innitamente alejados en la u recta numrica (a derecha o a izquierda, respectivamente). e

20

8.

Hoja de problemas
a) La suma de un racional con un irracional. b) El opuesto o el inverso de un nmero irracional. u c) La suma o producto de nmeros racionales. u d ) El producto de un racional con un irracional. ax + b donde a, b, c, d son nmeros enteros, c = 0 y x un nmero irracional. u u 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. Cundo es cierto que (x + y)3 = x3 + y 3 ? a 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 ningn nmero real x tal que |x 1| = |x 2|. u u 5. Descr base el conjunto de nmeros reales que cumplen las condiciones siguientes: u 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 nmeros reales que cumplen las condiciones siguientes: u 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 actese el nmero y/x. o u 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 frmulas para todo nmero real: x x3 , x 2x, o u |x| x2 , x |x|, 1 + |x| (1 + |x|)2 .

21

12. D gase si ciertas o no las siguientes frmulas para todo 0 < x < 1: x son o 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 nmeros reales que satisfacen: a) 2x3 5x2; b) 3x2 7x < 0; u c) (x 7)2 25; d) 4 < x2 < 9. 15. Expresa |x| |x|2 prescindiendo del valor absoluto, tratando por separado distintos casos cuando sea necesario. 16. Demustrense las siguientes frmulas: e o a) mx{x, y} = a 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 nmeros reales tales que a b + para todo > 0. Prubese que a b. u e 18. Demustrense las siguientes frmulas: e o 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 frmula: si x = 1 entonces o

n

xk =
k=1

x xn+1 . 1x

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

21. Demuestre la frmula del binomio de Newton: para todo par de nmeros reales x, y y para o u todo nmero natural n se cumple que u
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) A = sup(A). nf b) sup(A B) = mx{sup A, sup B}. a c) nf(A B) = m nf A, B}. n{ nf d ) sup C = sup A + sup B donde C = {a + b : a A, b B}. e) mx{ A, B} a nf nf 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 nmeros reales. u 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 interseccin del sistema de intervalos cerrados encajados [an , bn ] = [0, 1/n], con o 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 nmero racional si y solo si n es un cuadrado perfecto. u

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

23