Estructura de los N meros Reales u El estudio de cualquier area de la matemtica requiere de una compren a sin profunda de las estructuras

de los nmeros reales que denotaremos por o u R y sus interrelaciones. Estas son de tres tipos: a. La algebraica b. La de orden c. La de convergencia En este cap tulo nos concentraremos al estudio detallado de la ultima. La razn es que desde el punto de vista de los primeros, los nmeros racionales o u que denotaremos por Q, no dieren de los nmeros reales. u

Estructura Algebraica

Asumimos la existencia de dos operaciones binarias, suma y multiplicacin que denotamos por+ y que satisfacen las siguientes propiedao des: (R, +, ) es un campo o un cuerpo, es decir para todo x, y, z nmeros u reales se tiene que:

a. Propiedad de cerradura: x+y R xy R b. Propiedad conmutativa: x+y =y+x xy = yx c. Propiedad asociativa: x + (y + z) = (x + y) + z x(yz) = (xy)z 1

d. Elementos neutros: existen 0, 1 nmeros reales tales que: u x+0=0+x=x 1x = x1 = x e. Elementos inversos: Para todo x R, existe x en R tales que x + (x) = 0. Si y = 0, existe y 1 nmero real, tal que u xy 1 = 1. Finalmente la siguiente propiedad es la que relaciona ambas operaciones: f. Propiedad distributiva: x(y + z) = xy + xz Sabemos que todas estas propiedades son vlidas en Q , por tanto desde a la perspectiva de esta estructura no existe ninguna diferencia entre Q y R. Todas las dems propiedades que usamos en el algebra elemental se puea den demostrar a partir de las propuestas anteriormente. Estructura de Orden Asuminos la existencia de una relacin de orden en los nmeros reales o u que llamamos menor que que satisface los siguientes axiomas: O.a. Para todo a nmero real, se tiene una y solo una de las siguientes u relaciones: a=0 o a<0 o 0 < a.

O.b. Si 0 < a y 0 < b, entonces 2

0 < ab y 0 < a + b. O.c. 0 < 1. A partir de estos axiomas pueden ser demostradas todas las propiedades que usamos en el estudio de las desigualdades: Proposicin: o i. 0 < x sii x < 0 ii. Si a y b son nmeros reales, entonces se tiene exactamente una de las u siguientes relaciones: a<b o b<a o a = b.

Donde a < b sii 0 < b a. iii. Si a < b y b < c, entonces a < c. iv. Si a < b y c es un nmero real, entonces a + c < b + c. u v. Si 0 < a < b y 0 < c < d, entonces 0 < ac < bd. vi. Si a = 0, entonces 0 < a2 . vii. Si 0 < a, entonces 0 < a1 . viii. Si 0 < a < b, entonces 0 < b1 < a1 . ix. Si a < b, entonces b < a. Demostraremos cinco de estas propiedades para que el lector pueda observar el mtodo: e Demostracin: o i. Si 0 < x y 0 < x entonces por la propiedad d.) se tiene que: 0 < x + (x) = 0, lo cual es una contradiccin. Por tanto o 0 < x sii x < 0 3

ii. Sean a y b nmeros reales, como ab es un nmero real, por el axioma O.a u u en la pgina 2 se tiene a a b = 0, lo que implica que a = b, o a b < 0, por tanto 0 < 0 (a b), lo que es equivalente a 0<ba sii a<b

Finalmente si 0 < a b, entonces b < a. iii. Si a < b, entonces 0 < b a y b < c, implica 0 < c b. Por tanto, del axioma O.b. en la pgina 2 se tiene a 0 < (b a) + (c b) = c a Concluyendo que a < c. iv. Si a < b, entonces 0 < b a = (b a) + (c c) = (b + c) (a + c) Concluyendo que a + c < b + c. v. La hiptesis es: 0 < a < b y 0 < c < d. o Demostraremos que 0 < ac < bd. La segunda desigualdad ac < bd, se sigue de bd ac = bd bc + bc ac = b(d c) + c(b a) Tambin se tiene que e a < b sii 0 < b a y c < d sii 0 < d c 0<b y 0<c Estas cuatro desigualdades y el axioma O.b. implica que 0 < b(d c) + c(b a) = bd ac Notacin: como es usual denimos: o x mayor que y que denotamos por x > y sii y < x x menor igual a y (x y) sii x = y o x < y. o Similarmente, se dene x mayor igual a y (x y) sii x = y o x > y. o 4

Intervalos en R Las relaciones de orden previamente denidas permiten denir los siguientes subconjuntos de R: (a, b) = {x R : a < x < b} (Intervalo abierto) [a, b] = {x R : a x b} (Intervalo cerrado) [a, b) = {x R : a x < b} (Intervalo cerrado-abierto) (a, b] = {x R : a < x b} (Intervalo abierto-cerrado) Valor Absoluto de un N mero Real u Otra aplicacin importante de la relacin de orden es el concepto de o o VALOR ABSOLUTO el cual nos permite denir la distancia entre dos nmeros reales: u Denicin: El valor absoluto de un nmero real x se dene y se denota o u por: | x |= x, si a 0 x, si a < 0 = max{x, x}

donde max{x, x} es el mayor entre x y x. (a) Sea r > 0, x R, entonces (b) |x| < r sii r < x < r (c) |x| r sii r x o x r Geomtricamente e a. |x| < r r b. |x| r 5 r

r Demostracin: o

(a) r > |x| = max{x, x} x y x, lo que es equivalente a x < ry x < rsii r < x < r. (b) De manera similar se demuestra el inciso (b). Proposicin: o i) 0 x, y |x| = 0 sii x = 0. ii) |xy| = |x||y|. iii) |x + y| |x| + |y|. iv) ||x| |y|| |x y|. Demostracin: o i) Si x 0, entonces |x| = x 0. Si x < 0, entonces |x| = x > 0. Por tanto x 0. |x| = max{x, x} = 0 sii x = 0 ii) Si x 0, y 0, entonces xy 0, por tanto |xy| = xy = |x||y|

Si x < 0, y < 0, entonces 0 < x, 0 < y; por tanto 0 < (x)(y) = xy Pero |x| = x, |y| = y implica que |x||y| = xy = |xy|

Si x < 0, y 0, entonces x > 0, y 0. Consecuentemente 0 < xy < |x||y| Finalmente de xy 0, tenemos que xy 0. concluyendo que |xy| = xy = (x)y = |x||y| 6

iii) |x| x |x|, |y| y |y|, implica que (|x| + |y|) x + y |x| + |y| Si r = |x| + |y|, el inciso i) implica que |x + y| |x| + |y|

iv) |x| = |x y + y| |x y| + |y|, implica que |x| |y| |x y| Similarmente: |y| |x| |x y|. Es decir ||x| |y|| = max{|x| |y|, |y| |x|} |x y|

Algunos Subconjuntos de R Los N meros Naturales: u Los denotaremos por N = {1, 2, 3, 4, , n, n + 1, } De la notacin anterior observemos las siguientes propiedades: o i) 1 N. ii) Si n N, entonces n + 1 N. Notemos adems que R por supuesto satisface estas dos propiedades. a Tambin de la forma que deniremos los nmeros racionales, notaremos tame u bin que satisfacen estas mismas propiedades. e Denicin: o 1) Un subconjunto A de R es inductivo sii satisface estas dos propiedades: i) 1 A 7

ii) Si x A, entonces x + 1 A. 2) N = AI A, donde I es el conjunto de todos los subconjuntos inductivos de R. Es decir N es el subconjunto inductivo ms pequeo de R, lo cual tambin a n e podemos escribir de la siguiente manera: Principio de Induccin Matemtica o a Si A R satisface: i. 1 A ii. Si x A, implica que x + 1 A entonces A = N. Por medio de este Principio demostramos en los cursos bsicos proposia ciones como: 1 + 2 + 3 + + n = n(n+1) es vlida para todo nmero natural n. a u 2 Recordando este argumento, hacemos A = {x R : 1 + 2 + 3 + + x = y observamos que 1 A, puesto que 1= Finalmente notamos que si 1 + 2 + 3 + + x = entonces 1 + 2 + 3 + + x + (x + 1) = (1 + 2 + 3 + + x) + (x + 1) x(x + 1) + (x + 1) = 2 x = (x + 1)( + 1) 2 x+2 ) = (x + 1)( 2 (x + 1)[(x + 1) + 1] = 2 8 x(x + 1) 2 1(1 + 1) 1(2) = =1 2 2 x(x + 1) } 2

Por tanto, si x A, entonces x + 1 A. Del Principio de Induccin Mao temtica concluimos que A = N, que signica que: a n(n + 1) , n N 2 El siguiente principio, que caracteriza tambin a los nmeros naturales e u fue usado muchos siglos antes por Euclides. 1 + 2 + 3 + + n = Principio del Buen Orden Para todo subconjunto no vac B de N, existe n0 B tales que: o n0 n, n B Proposicin: o El Principio del Buen Orden es equivalente al Principio de Induccin o Matemtica. a Demostracin: o Supongamos que el Principio del Buen Orden es vlido y sea = A N, a tales que A es inductivo, pero A = N. Entonces B = N A = tiene un elemento m0 tales que: m0 m, m B Por hiptesis 1 A, entonces 1 B, consecuentemente 1 < m0 . o / Adems m0 1 N A = B, es decir m0 1 A. Como A es inductivo, a / tenemos que: (m0 1) + 1 = m0 A lo cual es una contradiccin a m0 N A. o Rec procamente, sea B N, B = . Si 1 B, entonces m0 = 1, satisface m0 m m B. Si 1 B, y si s(1) = 2 B, entonces m0 = 2 satisface la desigualdad / deseada. En general, demostraremos que existe m0 B tales que si l < m0 , entonces l B. Primero demostraremos que si m B, entonces m0 m. En / efecto, si se supone que m < m0 , por la propiedad de m0 , concluimos que m B, lo cual es una contradiccin a m B. / o Ahora demostraremos la existencia de m0 B. Suponga que para todo m B, existe l B tales que l < m. Aplicando lo anterior en forma sucesiva tenemos: Existe l1 B tales que l1 < m l2 B tales que l2 < l1 9

. . . ln B tales que ln < ln1 , Pero para m B el subconjunto {1, 2, 3, , m 1, m} es nito; pero {li : i N} es innito, lo cual es una contradiccin a o {li : i N} {1, 2, 3, , m 1, m}. Dnde se us el Principio de Induccin Matemtica? o o o a Existe otra forma bastante util del Principio de Induccin Matemtica, o a aparentemente ms fuerte que el expuesto anteriormente; pero que veremos a son equivalentes: Principio de Induccin Matemtica Fuerte o a Sea S N tales que: a. 1 S b. Para todo n N, {1, 2, 3, , n 1, n} S, implica que n + 1 S. Entonces S = N. Proposicin: o Los Principios de Induccin Matemtica expuestos anteriormente son o a equivalentes. Demostracin: o La unica diferencia en estos dos principios est en la forma de la segunda a hiptesis, por tanto demostraremos que ambos son equivalentes: o Suponga es vlido a 1S n S, entonces n + 1 S. Suponga {1, 2, 3, , n} S, entonces n S, por tanto n + 1 S, que es la hiptesis del Principio Fuerte. o Rec procamente, Si 1 S, n S, demostraremos que n + 1 S: Por la hiptesis del Principio Fuerte se tiene: o {1} S, entonces 1 + 1 = 2 S {1, 2} S, entonces 2 + 1 = 3 S . . . {1, 2, 3, , n} S Por la misma hiptesis fuerte, concluimos que n + 1 S. o Una aplicacin del Principio de Induccin Fuerte es: o o Proposicin (Euclides): o 10

Para todo n N, n > 1, entonces n es primo o el producto de nmeros u primos. Nota: Euclides demostr esta proposicin usando el Principio del Buen o o Orden. Demostracin: o Si n es primo, no hay nada que demostrar. Asumamos que el resultado es vlido para todo nmero natural mayor que 1 y menor que n. Como n no a u es primo, entonces existen naturales mayores que 1 p y q menores que n, tales que n = pq. Por hiptesis inductiva se tiene que p y q son el o producto de nmeros primos, por tanto n tambin lo es. u e Usando el mismo Principio de Induccin se puede demostrar que esta o representacin es unica. o Conjunto de los N meros Enteros y Racionales u Los nmeros naturales son los nmeros reales de la forma u u Z = N {0} {1, 2, 3, , n} Notemos que en N la ecuacin x + 2 = 1, no tiene solucin en N; pero si o o en Z. Sin embargo la ecuacin 2x = 3, no tiene solucin en Z, por lo que o o consideramos al subconjunto de R que llamamos los nmeros racionales y u que denotamos por: p Q = { : p, q Z, q = 0} q N meros Irracionales u Existen nmeros reales que no son racionales, el ejemplo clsico se origina u a 2 2 2 del Teorema de Pitgoras c = a + b , donde a y b son los catetos de a un tringulo rectngulo y c es la hipotenusa. a a

a2 a c c2 b b2

11

Por tanto si a = 1 = b, entonces c2 = 12 + 12 = 2, es decir c= 2 Proposicin: o 2 es irracional, es decir no es un nmero racional. u Demostracin: o Suponga que 2 = p , con p y q relativamente primos, es decir no tienen q factores en comn diferentes del uno. Por tanto u 2=
p2 q2

p2 = 2q 2 o

Como 2 es un nmero primo, por un resultado elemental de Teor de Nmeu a u 2 ros tenemos que como 2|q , entonces 2|q. Es decir q = 2k, q N. Sustituyendo en 2p2 = q 2 tenemos 2p2 = 4k 2 , lo que implica que p2 = 2k 2 , y de nuevo se tiene que 2|p2 , y por el mismo teorema de Teor de Nmeros a u concluimos que 2|p. En resumen 2 es un factor comn de p y q contrario a nuestra hipteu o sis. Un argumento similar demuestra que: Proposicin: o / Si p es un nmero primo, entonces p Q. u En la bsqueda de ms nmeros irracionales observemos el siguiente ejemu a u plo: Ejemplo: 60 es irracional: 22 (15) = 2 15, y consecuentemente es suciente Note que 60 = 60 demostrar que 15 es irraccional (Si 60 es racional, entonces 2 = 15 es racional lo que ser una contradiccin). a o Observemos que 15 no es un nmero primo, por tanto tenemos en nuesu tra lista ms nmeros irracionales. Adems note que 15 = (3)(5), no tiene a u a factores cuadrados perfectos. Esta ultima observacin es lo esencial para de o mostrar que 15 irracional. es Suponga que 15 = p , p, q N, y relativamente primos, entonces q 15q 2 = p2 , consecuentemente 15|p2 de donde 15|p, puesto que 3|p y 5|p. Por tanto p = 3k, k N p = 5l, l N, 3k = 5l implica que 3|l, l = 3l , l N. Sustituyendo: p = 5l = (5)(3l ) = 15l p2 = (15)2 (l )2 . Sustiyendo en 15q 2 = p2 = (152 )(l )2 . Es decir q 2 = 15(l )2 , 15|q 2 . Siguiendo un argumento similar concluimos que 15|q; lo cual es una contradiccin a la hiptesis que p y q son relativamente primos. o o 12

Ms general: a Proposicin: o m es irracional, si m no es un cuadrado perfecto. Demostracin: o Si m tiene un factor cuadrado perfecto, m = a2 n, donde no tiene factores cuadrados perfectos, entonces m=a n Por tanto, suponemos sin prdida de generalidad que m no tiene factores e cuadrados perfectos: Si m = p , p, q N, relativamente primos, entonces mq 2 = p2 , lo que q implica que m|p2 o p2 = ml = (m1 m2 . . . mk )(l1 l2 . . . ls ) Si p = p1 p2 . . . pr , pi primos i = 1, 2, . . . , r. Entonces p2 p2 . . . p2 = (m1 m2 . . . mk )(l1 l2 . . . ls ) 1 2 r Como m no tiene factores cuadrados perfectos, entonces mi = p2 , i = 1, 2, . . . , k, j = 1, 2, . . . , r j Por tanto, para todo i = 1, 2, . . . , k, existe j = 1, 2, . . . , r, tales que mi = pi , concluyendo que m|p, p = mt, t N. o 2 2 2 2 De mq = p = m t , concluimos que q 2 = mt2 . Un argumento similar demuestra que m|q, es decir m|p, m|q, lo cual es una contradiccin. o De los ejemplos anteriores concluimos que existen innitos nmeros irrau cionales, si recordamos el siguiente resultado de Euclides: Proposicin: o Existen innitos nmeros primos. u Demostracin: o Suponga que existen n nmeros primos p1 , p2 , . . . , pn . Aseveramos que u p1 p2 p3 . . . pn + 1 es un nmero primo que no es ninguno de los p1 , p2 , . . . , pn . En efecto, si u x = p1 p2 p3 . . . pn + 1 no es un nmero primo, entonces por el Teorema de Factorizacin de todo u o nmero natural en factores primos, se tiene que: u x = p1 p2 p3 . . . pn + 1 = pi1 pi2 . . . pim 13

donde pik es uno de los pj , j = 1, 2, . . . , n. Por tanto x = pi1 pi2 . . . pim p1 p2 p3 . . . pn < p1 p2 p3 . . . pn + 1 = x implicando que x < x, que es una contradiccin. Por tanto hay innitos o nmeros primos. u Para los que iniciamos el estudio del Anlisis Matemtico, puede parea a cernos extrao que existan ms nmeros irracionales que racionales tal como n a u lo expresan los siguientes resultados demostrados por G. Cantor en el siglo IXX. Proposicin: o El conjunto de los nmeros irracionales es innito no numerable. u Demostracin: o En el Apndice se demuestra. e Lema: Sea b > 1, nmero natural, entonces para todo nmero real x, existen u u nmeros enteros a0 , a1 , a2 , . . . , an , . . . tales que: u i) a0 Z ii) 0 ai b 1, i = 1, 2, . . . , n, . . . iii) x = a0 .a1 a2 a3 . . . Es claro que para x ]0, 1[, a0 = 0. Primero demostraremos que ]0, 1[, no es numerable: Suponga que lo es, es decir podemos enlistar todos los elementos de ]0, 1[ como en la siguiente matriz: x1 : 0.a11 a12 a13 . . . a1n . . . x2 : 0.a21 a22 a23 . . . a2n . . . . . . xm : 0.am1 am2 am3 . . . amn . . . El mtodo de Cantor se le llama METODO DIAGONAL por que se e usa la diagonal de esta matriz para construir x ]0, 1[ que no es ninguno de los (xn ) enlistados anteriormente. Sea x = 0.b1 b2 b3 . . . bn . . . denido por: 0 , si a11 = 0 b1 = 1 , si a11 = 0 0 , si a22 = 0 b2 = 1 , si a22 = 0 . . . En general dena bm = 0 , si amm = 0 1 , si amm = 0 14

De la construccin anterior se observa inmediatamente que b1 = a11 imo plica x = x1 b2 = a22 implica x = x2 . . . bm = amm implica x = xm Por tanto x as denido no es ninguno de los elementos de la lista x1 , x2 , . . . , xn . Consecuentemente ]0, 1[ no es numerable. NOTA: 1. Los conceptos de numerable y no numerable se explican en el apndice. e 2. Asumiendo que para cada punto de una recta corresponde un unico nmero real y rec u procamente, a cada nmero real le corresponde un u unico punto de la recta, podemos observar geomtricamente que si los e nmeros racionales se pintan de azul y los irracionales de rojo, la recta u se ver roja, indicando que los racionales soy muy pocos en comparaa cin con los irracionales. o Estructura de Convergencia Desde el punto de vista de las estructuras algebraicas y de orden los nmeros racionales no dieren de los nmeros reales. Para demostrar las u u deciencias de los nmeros racionales, primero observemos que la sucesin u o x0 = 1 x1 = 1 + 1 1 x2 = 1 + 1 + 2 1 1 x3 = 1 + 1 + 2! + 3! 1 1 1 x4 = 1 + 1 + 2! + 3! + 4! . . .
1 1 xn = 1 + 1 + 2! + + n! es una sucesin de nmeros racionales que no converge a un nmero rao u u cional (ver cap tulo sobre series). En conclusin Q no es cerrado con respecto o a la NOCION DE CONVERGENCIA; lo cual es un defecto que superamos considerando al conjunto R de los nmeros reales que lo contiene. Esto es u as puesto que el anlisis es en esencia el estudio del proceso de l a mites. Por tanto nos hace falta un axioma de la estructura de R que nos garantice que R es COMPLETO, en el sentido que los l mites de sucesiones de nmeros reales son nmeros reales. u u Para establecer este axioma, requerimos primero de los siguientes conceptos: Denicin: o

15

Una sucesin de nmeros reales que denotamos por x = (xn )nN es una o u funcin con dominio N y codominio R; es decir o x : N R n x(n) = xn . Por tanto (xn )nN es distinto del rango de x, {xn = n N}. Ejemplo: 1 x1 = 1 = 0! 1 1 x2 = 0! + 1! . . .
1 1 1 1 xn = 0! + 1! + 2! + n! Notemos del ejemplo anterior que: i) x1 < x2 < x3 < < xn < xn+1 < ii) Existe una constante M > 0 tal que xn M , para todo n N. Estas dos propiedades forman la hiptesis del ultimo axioma: o Denicin: o Una sucesin (xn ) de nmeros reales es creciente sii xn xn+1 , para todo o u n N. Denicin: o Una sucesin (xn )nN de nmeros reales es acotada superiormente sii exiso u te M > 0 tal que xn M , para todo n N. Usando algunos resultados simples sobre series, el cual se explica en el 1 1 1 1 Apndice demostremos que xn = 0! + 1! + 2! + n! es acotada. e n Primero notemos que 2 n!, para todo n N, n 4. (use induccin o matemtica). a Por tanto 1 1 1 1 1 1 1 1 + 1! + 2! + n! (1 + 1 + 2! + 3! ) + ( 4! + n! ) 0! 1 1 2 + 1 + 1 + ( 1 )4 + ( 2 )5 + + ( 2 )n 2 6 2 1 = 12+3+1 + ( 1 )4 (1 + 2 + ( 1 )2 + + ( 1 )n4 ) 6 2 2 2 n3 1( 1 ) 2 = 16 + 214 ( 1 1 ) 6 8 1 = 3 + 224 (1 2n3 ) 8 1 67 < 3 + 8 = 24 < 3 En conclusin tenemos una sucesin (xn )nN de nmeros racionales acotao o u da superiormente por el nmero racional 3; pero que cuando el u ndice n N se hace innamente grande (se explicar al denir el l a mite de una sucesin de nmeros reales), los nmeros xn se acercan tanto como desiemos o u u al famoso nmero e, que demostraremos que no es un nmero racional. Esu u ta es la deciencia fundamental de los nmeros racionales: no es cerrado u con respecto a la operacin de l o mites.
2

16

Para establecer el ultimo axioma de los nmeros reales presentamos pri u mero las siguientes deniciones: Denicin: o Una sucesin (xn )nN de nmeros reales converge a un nmero real x, sii o u u para todo nmero real > 0, existe N N tales que si n N , entonces u |xn x| < , lo que es equivalente a < xn x < , n N x < xn < x + , n N xn ]x , x + [, n N Geomtricamente, lo anterior se puede expresar escribiendo que para cuale quier > 0, a partir de un cierto ndice natural N , todos los trminos de la e sucesin (xn )nN estn en el intervalo ]x , x + [ o a xn+1 x x xn x+

NOTACION: Si el l mite de (xn )nN es el nmero x, escribimos u

n

l xn = x m

Ejemplo: Con la notacin anterior, notemos que a medida n se hace innitamente o 1 n grande, los trminos xn = n se hacen muy pequeos, es decir e 1 =0 n De la denicin de l o mite de una sucesin, lo anterior es equivalente a la o 1 existencia de un natural N tales que N < , donde > 0 es un nmero real u arbitrariamente pequeo. Lo anterior es a su vez equivalente a: n Para todo > 0, existe N N tales que N > 1. Finalmente lo anterior es equivalente a: PRINCIPIO ARQUIMIDIANO DE LOS NUMEROS REALES l m Para todos nmeros reales positivos r, x, existe un nmero natural n tales u u que nx > r Geomtricamente (tal como fue inicialmente por Arqu e mides) el principio expresa que dados dos segmentos cualesquiera de longitudes r, x, si el de menor longitud se coloca sucesivamente tantas veces como sea necesario se construye un segmento de mayor longitud que el otro segmento: 17

r x x x x x x x

Este principio tan evidente geomtricamente no es posible demostrarlo e con las estructuras de orden y algebraica explicados anteriormente. Su demostracin depende del AXIOMA DE LA ESTRUCTURA DE CONo VERGENCIA que explicaremos posteriormente. Denicin: o Una sucesin de nmeros reales (xn )nN es MONOTONA CRECIENTE o u (respectivamente DECRECIENTE) sii xn xn+1 para todo n N (Respectivamente, xn+1 xn ). Es ESTRICTAMENTE CRECIENTE (respectivamente ESTRICTAMENTE DECRECIENTE) sii xn < xn+1 para todo n N (respectivamente xn+1 < xn ). Ejemplo: 1 1 1 a) xn = 1 + 1! + 2! + + n! es estrictamente creciente. n b) yn = 1 1 + 1 + (1) no es montona; es decir no es creciente o 2 3 n ni decreciente. AXIOMA DE LA CONVERGENCIA MONOTONA Toda sucesin (xn )nN de nmeros reales montona creciente y acotada o u o supeiormente es convergente en R; es decir existe x R tales que
n

l xn = x m

Ejemplo: 1) Primero notemos que toda sucesin convergente es acotada superioro mente e inferiormente: Si l xn = x, entonces para arbitrario, por ejemplo x = 1, existe m
n

n0 N tales que |xn x| < 1 para todo n n0 , n N. O sea |xn | = |xn x + x| |xn x| + |x| A = max{|x1 |, |x2 |, . . . , |xn0 |, 1 + |x|} para todo n N, lo que es equivalente a A xn A, para todo n N; demostrndose as que (xn )nN es acotada inferiormente por A y superiora mente por A. 1 1 1 1 2) xn = 0! + 1! + 2! + + n! es crecientey acotada superiormente por 3; por tanto existe x R tales que l xn = x. m
n

En honor a Leonhard Euler (1707-1783), se usa

n n

l ( m
k=1

1 )=e k!

18

Este nmero es irracional como demostraremos posteriormente. u 1 3) yn = 1 + 212 + 312 + + n2 es estrictamente creciente, dado que yn+1 yn = 1 >0 (n + 1)2

El siguiente argumento demuestra que (yn )nN es acotada, por tanto

n n

l ( m
k=1

1 )=x k2
n 1 k=1 k2 ) 2 . 6

para algn nmero real x. u u NOTA: L. Euler demostr que l ( o m

n

1 Ahora observemos que k12 < k(k1) , si k N, k 2. Por tanto n n n 1 1 1 k=1 k2 = 1 + k=2 k2 < 1 + k=2 k(k1) 1 1 = 1 + n ( k + k1 ) k=2 1 1 = 1 + ( 1 + 1 ) + ( 3 + 1 ) + ( 1 + 1 ) + + ( n + 2 1 2 4 3 1 1 = 1 + (1 n ) = 2 n < 2. De la demostracin anterior se observa que o n

1 ) n1

1 l ( m
n k=1

1 )2 k2

4) No existe un nmero real x tales que u

n n

l ( m
k=1

1 )=x k2

1 Es claro que xn = n k es estrictamente creciente, dado que xn+1 xn = k=1 1 > 0, para todo n N. Pero no puede converger, dado que no es acotada n+1 superiormente; o sea para todo nmero real M > 0, demostraremos que u existe n N tales que xn > M : Notemos que para m > n, se tiene que 1 1 1 xm xn = n+1 + n+2 + + m 1 1 1 m + m + + m = mn . Como m > n, seleccionemos m = 2n, entonces m

x m xn

2n n n 1 = = 2n 2n 2

Por tanto para todo n N existe m > n tales que |xm xn | 1 . El argumento 2 anterior demuestra la existencia de > 0 tales que para todo n N, existe m > n que satisface |xm xn | . Por tanto demostremos lo siguiente: 19

Proposicin: o Sea (xn )nN una sucesin con la condicin que existe > 0 tales que para o o todo n N, existe m > n que satisface xm xn . Entonces (xn )nN no es acotada. Demostracin: o Para n = 1, existe m1 > 1 tales que xn1 x1 . Para n = n1 , existe n2 > n1 tales que xn2 xn1 . . . . Para n = nN , existe nN +1 > nN tales que xnN +1 xnN . Ahora sea M R, M > 0; seleccione N N tales que (N 1) > M . Entonces xnN x1 = xnN xnN 1 + xnN 1 xnN 2 + xnN 2 xn2 + xn2 xn1 + xn1 x1 = (xnN xnN 1 ) + (xnN 1 xnN 2 ) + (xnN 2 xnN 3 ) + + (xn2 xn1 ) + (xn1 x1 ) + + + = (N 1) > M . NOTA: El argumento anterior demuestra que una sucesin (xn )nN que o no es de Cauchy, creciente estrictamente no es acotada superiormente. Sucesiones de CAUCHY Denicin: o Una sucesin (xn )nN es de Cauchy sii para toda o tales que |xm xn | < , si m, n N > 0, existe N N

Ejemplo 1: 1 xn = n k no es de Cauchy, dado que para 0 < 1 , para todo n N, k=1 2 existe m = 2n tales que |x2n xn | = x2n xn 1 > 2

Ejemplo 2: yn = n k12 es de Cauchy debido a la siguiente k=1 Proposicin: o Toda sucesin convergente es de Cauchy. o Demostracin: o Sea (xn )nN , l xn = x. Entonces para todo > 0, existe N N tales m que |xn x| < , si n N 2 Por tanto para m, n N se tiene 20

|xm xn | = |xm x + x xn | |xm x| + |x xn | < 2 + 2 = , siempre que m, n N . Observacin: o Existen sucesiones de nmeros racionales que son de Cauchy; pero que no u n 1 convergen en Q: xn = k=1 k! Q, para todo n; pero demostraremos que l xn = e Q. m / n En efecto demostraremos que la siguiente de Cauchy es equivalente al AXIOMA DE LA CONVERGENCIA MONOTONA. Proposicin: o Toda sucesin de CAUCHY de nmeros reales es convergente en R. o u Antes regresemos al PRINCIPIO ARQUIMIDEANO DE LOS NUMEROS REALES. Proposicin: o Para todos nmeros reales x, r mayores que cero existe n0 N tales que u r < nx. Demostracin: o Razonamos por contradiccin: o Suponga existe x > 0 o r > 0 tales que nx r, para todo n N. Equi r o valentemente n x , para todo n N. La sucesin xn = n es estrictamente r creciente, y por hiptesis acotada superiormente por x . Por el AXIOMA DE o LA CONVERGENCIA MONOTONA, existe z R tales que
n

l (n) = z m

a) Sea tanto

> 0, entonces existe N N tales que n < z + , si n N ; por 1N n<z+

concluyendo que n < z + , para todo > 0; lo que implica n z, para todo n N. b) Sin embargo para = 1, tambin existe N1 N tales que z 1 < n, e para todo n N1 , entonces z < n + 1; lo cual es una contradiccin a lo o demostrado en a), dado que si n N, entonces n + 1 N. De lo anterior concluimos que no es posible que existan nmeros reales u r x > 0, r > 0 tales que n x . o Concluyendo que para todos nmeros reales x, r > 0, existe n N tales u que r < nx. Observacin: o El rec proco de la proposicin anterior no es siempre vlido, es decir el o a PRINCIPIO ARQUIMIDEANO no implica el PRINCIPIO DE LA CON VERGENCIA MONOTONA: 21

Los nmeros racionales satisfacen el Principio Arquimideano; pero no u satisfacen el Principio de la Convergencia Montona. o Sin embargo muchas propiedades de los nmeros reales son consecuencia u directa del Principio Arquimideano: Proposicin: o Dados dos nmeros reales a y b, a < b, entonces u i) ]a, b[Q = ii) ]a, b[Qc = Demostracin: o i) Por el Principio Arquimideano de los nmeros reales existe n N tales u 1 que n < b a. Por el Principio del Buen Orden de los nmeros naturales existe m N u m minimal tales que n > a. Aseveramos que a < m < b. n 1 1 Suponga que m b, entonces m n b n > a la ultima desigualdad n n m1 1 se debe a la escogencia de n como n < b a. Por tanto n > a, lo cual es contradictorio a la escogencia de m, como el menor entero natural tales que a < m . Por tanto m < b. n n ii) Sean a y b nmeros reales tales que a < b, entonces u b a < 2 2 Por la parte i) de esta proposicin existe un nmero racional r tal que o u b r < 2 , lo que implica que a < 2r < b
a 2

<

lo cual termina la demostracin al observar que la multiplicacin de un nmeo o u ro racional con un nmero irracional es un irracional: u Sea r Q, x Q, y suponga que rx = t Q, entonces x = / es contrario a lo supuesto que x Q. /
t r

Q, lo que

Usando la proposicin anterior demostraremos que todo nmero real es o u el l mite de una sucesin de nmeros racionales: o u Proposicin: o Para todo nmero real x existen sucesiones (xn )nN , (yn )nN de nmeros u u racionales tales que: i) l xn = l yn = x. m m
n n

ii) xn < xn+1 < x, para toda n N. 22

iii) x < yn+1 < yn , para toda n N. Demostracin: o La idea es seleccionar xn Q tan cerca de x como desiemos: Sea x1 Q tales que x 1 < x1 < x. Seleccione x2 Q tales que x1 < x2 < x y x 1 < x2 < x. En general si 2 se ha seleccionado x1 , x2 , . . . , xn en mathbbQ con la condicin que o x1 < x2 < < xn < x, y 1 < xi < x para i = 1, 2, 3, . . . , n i Entonces seleccione xn+1 Q tales que x xn < xn+1 < x, y 1 < xn+1 < x n+1 Entonces para k n tenemos que x 1 1 1 |x xk | = x xk < x (x ) = k k n Concluyendo que
n

l xn = x, xn < xn+1 m

La construccin de (yn ) se hace similarmente: o Escoja y1 Q tales que x < y1 < x + 1;

1 Luego y2 Q tales que x < y2 < y1 y y2 < x + 2 . En general si y1 , y2 , . . . , yn han sido seleccionados con la condicin que o

x < yn < yn1 < < y2 < y1 , x < yn < x + seleccione yn+1 Q tales que x < yn+1 < yn x < yn+1 < x + 1 . n+1 1 , n

23

sea > 0, por el Principio Arquimideano de los nmeros reales seleccione u n0 N con la condicin n0 < ; por tanto para n n0 tenemos que o 1 |yn x| = yn x < x + Concluyendo que
n

1 1 1 x= < n n n0

l yn = x, yn+1 < yn , para todo n N. m

SUBSUCESIONES Denicin: o Una subsucesin (nk )kN de N es una sucesin creciente de nmeros nao o u turales; es decir n1 < n2 < n3 < < nk < nk+1 < Una subsucesin de la sucesin (xn )nN es una sucesin (xnk )kN tales que o o o (nk )kN es una subsucesin de N. o Ejemplo 1: Sea xn = (1)n , n N, las siguientes son subsucesiones de (xn )nN : i) Si nk = 2k, k N, entonces xnk = x2k = (1)2k = [(1)2 ]k = 1k = 1 ii) Si nk = 2k 1, k N, entonces xnk = (1)2k1 = (1)2k (1)1 = (1)(1) = 1, k N. iii) Para nk = 4k, se sigue que xnk = x4k = (1)4k = [(1)4 ]k = 1k = 1. Debemos observar que las subsucesiones de los incisos i) y iii) son diferentes, aunque en ambos casos el rangoes igual; es decir {(1)2k : k N} = {(1)4k : k N} = {1}; pero 24

(x2k )kN = (x4k )kN En efecto (x4k )kN es una subsucesin de (x2k )kN . o iv) Sea nk = entonces n1 = 21 = 2 n2 = 22 + 1 = 5 n3 = 23 = 8 n4 = 24 + 1 = 17. . . . Es claro que (xnk ) es una subsucesin de (xn )nN . o Observacin: o Las tres primeras subsucesiones son convergentes, mientras que la cuarta no lo es. Ejemplo 2: La sucesin de los racionales diticos denida por o a x1 = x2 = x4 = . . .
1 2 1 , 22 1 , 23

2k , si k es impar k 2 + 1 , si k es par,

x3 = x5 =

3 22 3 , 23

x6 =

5 , 23

x7 =

7 23

En general denimos para cada nmero natural n y k nmero natural u u n entre 1 y 2 1, k xk , n = n 2 Notemos que (xkn ) no es montona creciente ni decreciente; dado que si o 1 1 1 = x2 < x1 = 2 , pero x2 = 2 < x3 = 3 4 4 Finalmente observemos que todo nmero real x [0, 1] existe una subsuu cesin de (xkn ) que converge a x: o Demostracin: o

25

La importancia de las sucesiones montonas se sigue del siguiente resulo tado importante: Proposicin: o Toda sucesin (xn )nN en R tiene una subsucesin montona. o o o Demostracin: o La idea es simple, considere: x1 , x2 , . . . x2 , x3 , . . . x3 , x4 , . . . x4 , x5 , . . . ... xk , xk+1 , . . . Si para algn k N, no existe un xl , l k tales que xp xl , para todo u p N, p k, entonces se puede seleccionar xk = xk1 < xk2 < xk3 < < xkl , donde k1 < k2 < k3 < De esta manera (xnk ) es una subssucesin creciente. o Si para cada k, existe xlk tales que xp xlk , para todo p N, p k,

Una aplicacin del AXIOMA DE LA CONVERGENCIA MONOTONA o y la proposicin anterior: o Proposicin: (Bolzano - Weierstrass) o Toda sucesin acotada en R tiene una subsucesin convergente. o o Demostracin: o 26

Sea (xn )nN una sucesin acotada en R. Por la proposicin anterior existe o o una subsucesin (xnk ) montona. Es claro que si |xn | M , para toda n N, o o entonces |xnk | M para todo k N. Consecuentemente (xnk ) es acotada y montona. Por el axioma de la convergencia montona se tiene que (xnk ) es o o convergente en R. EQUIVALENCIA ENTRE EL PRINCIPIO DE CAUCHY Y EL AXIOMA DE LA CONVERGENCIA MONOTONA Recordamos que la condicin de Cauchy es: Toda sucesin de Cauchy es o o convergente en R. Proposicin: o La condicin de Cauchy es equivalente al axioma de la convergencia o montona. o Demostracin: o Suponga el axioma de la convergencia montona es vlido y sea (xn ) una o a sucesin de Cauchy en R. Por la Proposicin gfhhfh se sabe que (xn )nN es o o acotada, y de la proposicin de Bolzano Weierstrass existe una subsucesin o o (xnk ) tales que l xnk = x R m
k

Se concluye la demostracin en esta direccin si demostramos lo siguiente: o o Lema: Si (xn )nN es de Cauchy y tiene una subsucesin (xnk ) convergente a x, o entonces l xn = x m
n

Demostracin: o Sea > 0 y N N tales que |xm xn | < , sim, n N Dado que
k

l xnk = x m

existe K N tales que si k K , entonces |xnk x| < . Como (nk ) es estrictamente creciente, podemos seleccionar K N tales que nK N , K max{K , N } 27

Sea k K , entonces |xk x| = |xk xnK + xnK x|g |xk xnK | + |xnK x| <
2

+ 2.

La ultima desigualdad se debe a nK N y K K . Para nalizar la demostracin de la equivalencia escrita en la proposicin o o anterior, recuerde que se demostr en la Proposicin ghgdh que toda sucesin o o o creciente y acotada es de Cauchy, por tanto por el criterio de Cauchy, debe ser convergente. OTRA FORMA DEL AXIOMA DE LA CONVERGENCIA MONOTONA Denicin: o S R es acotado superiormente (respectivamente inferiormente) sii existe M R tales que x M , para toda x S, (respectivamente m X, para toda x S, para algn m R). Al nmero M (respectivamente al u u nmero m) les llamamos una cota superior de S (respectivamente: una cota u inferior de S). AXIOMA DEL EXTREMO SUPERIOR Todo subconjunto de S no vac y acotado superiormente de R tiene una o m nima cota superior en R. Es decir existe b R tales que: i) x b, para toda x S. ii) Si b < b, entonces existe x S tales que b < x. Notacin: La m o nima cota superior de S se denota por sup(S). Proposicin: o El Axioma de la Convergencia Montona es equivalente al Axioma del o Extremo Superior. Demostracin: o Sea S = , subconjunto de los nmeros reales acotado superiormente, es u decir existe b R tales que s b, para todo s S. Sea T = {b R : s b, s S, por hiptesis T = o 28

La idea de la demostracin es construir dos subsucesiones (xn ), (yn ) creciente o y decreciente respectivamente tales que: i) xn S, n N ii) yn T, n N iii) |yn xn | = yn xn 0, cuando n Observemos que si esta construccin es posible, por el AXIOMA DE LA o CONVERGENCIA MONOTONA se tiene:
n

l xn = x m l yn = y m

Note que |y x| |y yn | + |yn xn | + |xn x| 0 implicando que x = y. Primero demostraremos que x es una cota superior de S: Dado que yn T, n N, entonces tenemos que s yn , n N. Por tanto s l yn = y = x m
n

Luego demostraremos que x es la menor cota superior: xn t, t T, xn S, n N, implicando que x = l xn t m

n

Ahora construimos las sucesiones (xn ), (yn ) que se usaron en el argumento anterior:
1 Seleccione x1 S, y1 T y considere el punto medio z1 = 2 (x1 + y1 ).

Si z1 T, escoja x2 = x1 , y2 = z1 . Si z1 T, seleccione x2 S tales que z1 < x2 , y escoja y2 = y1 . En todo / caso observe que: x1 x 2 y 2 y 1 1 y2 x2 (y1 x1 ) 2 29

Continuando este proceso, por induccin matemtica: o a Suponga que x1 xn y n y 1 han sido seleccionados, con xi S, yi T, i = 1, 2, 3, . . . , n; adems a y i xi Haga 1 zn = (xn + yn ), 2 y como antes considere: zn T, entonces seleccione xn+1 = xn yn+1 = zn . Si zn T, escoja xn+1 S tales que xn+1 > zn , y seleccione yn+1 = yn . / De esta forma se tiene que yn+1 xn+1 1 (y1 x1 ). 2n 1 2i1 (y1 x1 ), i = 1, 2, 3, . . . , n

De esta manera se han construido dos sucesiones (xn ) de elementos de S y (yn ) de elementos de T creciente y decreciente respectivamente con la condicin: o y n xn 1 2n+1 (y1 x1 ), n N.

Por el Axioma de la Converegencia Montona y el razonamiento al inicio de o la demostracin se tiene que ambas sucesiones convergen al mismo l o mite y es el extremo superior de S. Rec procamente, sea (xn ) una sucesin creciente y acotada superiormente. o Por hiptesis existe o x = sup{xn : n N.} Demostraremos que
n

l xn = x. m

Sea > 0, entonces x no es cota superior de {xn : n N}, lo que implica que existe N N tales que x < xN ; pero (xn ) es creciente lo que implica que x < x N xn x < x + , n N 30

En consecuencia, concluimos que para todo

> 0, existe N N tales que

|x xn | < , si n N Ahora podemos demostrar el PRINCIPIO ARQUIMEDIANO DE R: Proposicin: o Para todo x > 0, r > 0, existe n N tales que nr > x.

Demostracin: o Suponga que existe x > 0, o r > 0 tales que n x , es decir el conjunto r N de los nmeros naturales es acotado superiormente y por supuesto no es u vac por tanto el Axioma del Extremo Superior implica que existe o, b = sup(N). Dado que b1 no es una cota superior de N, existe n N tales que b1 < n, o sea b < n + 1 N, lo que es una contradiccin. o NOTA: Un campo ordenado es Arquimideano sii satisface el Principio Arquimideano; por tanto se logr demostrar que si el campo es completo, o entonces es Arquimideano. El rec proco no es vlido dado que Q el conjunto a de los Nmeros racionales es Arquimideano, pero no es completo. u

SERIES EN R Denicin: Una serie con trminos (an )nN es una sucesin (Sn ), que o e o n denotamos por an donde Sn = k=1 ak (suma parcial). Se acostumbra el uso de ak en lugar de (Sn ). n=1 Si l Sn = x existe en R, usamos la notacin m o
n

ak = x.
n=1

31

Si no esxite este nmero x la serie es divergente. u

1 EJEMPLO: Si an = n , n N, tenemos la serie armnica o cual es divergente, como se demostr en el ejemplo 3 pg. 777. o a 1 nN n ,

la

Sin embargo la serie con

(1)k1 k=1 k n

converge, dado que la sucesin de (Sn )n , o

Sn =
n=1

(1)k1 es de Cauchy: k

Para m > n N , m, n, N nmeros naturales se tiene que: u (1)n (1)n+1 (1)m1 1 1 1 + + | = |( ) + | n+1 n+2 m n+1 n+2 m

|Sm Sn | = |

Si m es un nmero par y m = n + p se tiene: u |( 1 1 1 1 1 1 )+( ) + + ( )| n+1 n+2 n+3 n+4 n+p1 n+p
1 )| n+2 1 + |( n+3 1 )| n+4 1 + + |( n+p1 1 + + ( n+p1 1 n+4 1 n+p 1 )| n+p 1 ) n+p

1 |( n+1

1 = ( n+1

1 ) n+2

1 + ( n+3 1 ) n+k+1 1 ) n+k+1

1 ) n+4

= <

p1 1 k=1 ( n+k p1 1 k=1 ( n+k

1 ( n+2 + 1 n+1

+ +
1 < n.

1 ) n+p

Sea > 0, por el Principio Arquimediano de los nmeros reales existe u 1 N N tales que n < ; por tanto si m > n N, m nmero par se tiene que: u |Sm Sn | 1 < . N

Finalmente si m es impar, por el mismo razonamiento anterior tenemos:

1 1 1 1 1 1 1 |Sn+p Sn | = |( n+1 n+2 ) + ( n+3 n+4 ) + + ( n+p2 n+p1 ) + n+p | 1 ( n+1 1 ) n+2 1 + ( n+3 1 ) n+k+1 1 ) n+4 1 n+p 1 + + ( n+p2 1 n+1 1 n+p 1 ) n+p1

1 | n+p

<

p1 1 k=1 ( n+k

1 n+p

1 n+1

32

<

1 n

1 N

< , si n N y

1 N

< , y m = n + p un nmero impar. u

En conclusin o
k=1

(1)k1 existe. k

33