PRINCIPIOS ce CIENCIAS UNAM MATEMATICO WALTER. RUDIN Traducido por: Miguel Iran Alcerreca Revisado por: Luis Brisefio Aguirre Edicién impresa: McGraw Hill 3a Edicién 1980Educacién pare todor no es un proyecto lucrativo, sino un esfuerzo colectivo de estudiantes y profesores de la UNAM para facilitar el acceso a los materiales necesarios para la educacion de la mayor cantidad de gente posible. Pensamos editar en formato digital libros que por su alto costo, o bien porque ya no se consiguen en bibliotecas y librerias, no son accesibles para todos. Invitamos a todos los interesados en participar en este proyecto a sugerir titulos, a prestarnos los textos para su digitalizacién y a ayudarnos en toda la labor técnica que implica su reproduccion. El nuestro, es un proyecto colectivo abierto a la participacién de cualquier persona y todas las colaboraciones son bienvenidas. Nos encuentras en los Talleres Estudiantiles de la Facultad de Ciencias y puedes ponerte en contacto con nosotros a la siguiente direccion de correo electrénico: eduktodos@gmail.com http://eduktodos.org.mxPRINCIPIOS DE ANALISIS MATEMATICOPRINCIPIOS DE ANALISIS MATEMATICO, 3a. edicion Prohibida la reproduccién total o parcial de esta obra, por cualquier medio, sin autorizacién del editor. DERECHOS RESERVADOS © 1980, respecto a la tercera edicion en espafio! por LIBROS McGRAW-HILL DE MEXICO, S. A. DEC. V. Atlacomuico 499-501, Naucalpan de Juérez, Edo. de México Miembro de la Camara Nacional de la Industria Editorial, Reg. Nim. 465 ISBN 968-6046-82-8 Traducido de a tercera edicién en inglés de PRINCIPLES OF MATHEMATICAL ANALYSIS Copyright © 1976, by McGraw-Hill Book Co., U.S.A. ISBN -0-07-054235-x 1234567890 IMPRO-80 8123456790 Impreso en México Printed in Mexico Esta obra se terminé de imprimir en julio de 1980 en Impresora Roma, S. A. Tomés Vazquez 152, Col. Ampliacién Moderna, México 13, D. F. Se tiraron 6 000 ejemplaresPrincipios de Analisis Matematico TERCERA EDICION WALTER RUDIN Profesor de Mateméticas University of Wisconsin-Madison Traducido por: LIC. MIGUEL IRAN ALCERRECA SANCHEZ Licenciado en Fisica y Mateméticas- Instituto Politécnico Nacional, Candidato a Maestro en Ciencias en Ingenierta Nuclear, Profesor Asociado, Escuela Superior de Ingenieria Mecénica y Eléctrica del Instituto Politécnico Nacional, México Revisado por: LUIS BRISENO AGUIRRE Facultad de Ciencias, Departamento de Mateméticas en la Universidad Nacional Auténoma de México, México LIBROS McGRAW-HILL México * Bogoth © Madrid © Panamé © San Juan © Sso Paulo © Nueva York Auckland © Guatemala * Hamburgo * Johannesburg © Lisboa * Londres Montreal * Nueva Delhi * Paris * San Francisco Singapur © St.Louis © Sydney © Tokio * TorontoCONTENIDO Prefacio ix Capitulo 1 Los Sistemas de los Nameros Reales y de los Complejos 1 Introduccion 1 Conjuntos Ordenados 3 Campos 5 El Campo Real 9 El Sistema Extendido de los Nameros Reales 12 El Campo Complejo 13 Espacios Euclidianos 7 Apéndice 18 Ejercicios 23 Capitulo 2 Topologia Basica 6 Conjuntos Finitos, Numerables y No Numerables 26 Espacios Métricos 3 Conjuntos Compactos 39 Conjuntos Perfectos 44vi CONTENIDO Capitulo 3 Capitulo 4 Capitulo 5 Capitulo 6 Conjuntos Conexos Ejercicios ‘Sucesiones Numéricas y Series Sucesiones Convergentes Subsucesiones Sucesiones de Cauchy Limites Superior e Inferior Algunas Sucesiones Especiales Series Series de Términos No Negativos El Namero e Criterios de la Raiz y de la Razon Series de Potencias Suma por Partes Convergencia Absoluta Adicion y Multiplicacion de Series Reordenamientos Ejercicios Continuidad Limites de Funciones Funciones Continuas Continuidad y Compacticidad Continuidad y Conexibilidad Discontinuidades Funciones Monotonas Limites Infinitos y Limites en el Infinito Ejercicios Diferenciacion Derivada de una Funcion Real Teoremas del Valor Medio Continuidad de las Derivadas Regla de L’Hospital Derivadas de Orden Superior Teorema de Taylor Diferenciacion de Funciones Vectoriales Ejercicios La Integral de Riemann-Stieltjes Definicion y Existencia de la Integral Propiedades de la Integral Integracion y Diferenciacion Integracion de Funciones Vectoriales Curvas Rectificables Ejercicios 50 54 55 59 61 62 67 70 3 4 BSsie 89 89 91 9s 100 100 102 104 105 110 10 M4 us 116 118 8 ng 121 Re 129 137 143 145 146, 148Capitulo 7 Capitulo 8 Capitulo 9 Capitulo 10 Capitulo 11 Sucesiones y Series de Funciones Discusion del Problema Principal Convergencia Uniforme Convergencia Uniforme y Continuidad Convergencia Uniforme e Integracion Convergencia Uniforme y Diferenciacion Familias Equicontinuas de Funciones Teorema de Stone-Weierstrass Ejercicios Algunas Funciones Especiales Series de Potencias Las Funciones Exponencial y Logaritmica Funciones Trigonométricas La Completitud Algebraica del Campo Complejo Series de Fourier La Funcion Gamma Ejercicios Funciones de Varias Variables Transformaciones Lineales Diferenciacion EI Principio de la Contraccion Teorema de la Funcion Inversa El Teorema de la Funcion Implicita El Teorema del Rango Determinantes Derivadas de Orden Superior Diferenciacion de Integrales Ejercicios Integracion de Formas Diferenciales Integracion: Mapeos Primitivos Particiones de la Unidad Cambio de Variable Formas Diferenciales Cadenas y Simplex Teorema de Stokes Formas Cerradas y Exactas Analisis Vectorial Ejercicios Teoria de Lebesgue Funciones de Conjuntos Construccibn de la Medida de Lebesgue CONTENIDO vii 153 184 157 159 162 163 165 170 77 184 184 191 195 198 199 206 21 219 219 227 237 238 241 246 250 284 256 258 265 265 268 211 272 274 288 295 298 304 313 324 324 327vili_ CONTENIDO Espacios de Medida Funciones Medibles Funciones Simples Integracion ‘Comparacion con la Integral de Riemann Integracion de Funciones Complejas Funciones de Clase 2? Ejercicios Bibliografia Lista de Simbolos Especiales indice 335 335 338 339 348 351 352 359 363 365 367PREFACIO Se pretende que este libro sirva como texto para el curso de analisis que reci- ben normalmente los estudiantes avanzados de licenciatura o para los estu- diantes graduados de primer afo que estudian Matematicas. La presente edicton con algo mas de material, un poco de menos omi- siones, y un reordenamiento considerable, cubre en esencia los mismos temas que la segunda. Espero que dichos cambios hagan mas accesible y atractivo el material a los estudiantes que reciben tal curso. La experiencia me ha convencido que, pedagdgicamente, es erroneo (aunque desde el punto de vista logico es correcto) comenzar con la construc- cin de los nameros reales a partir de los racionales. Simplemente en un principio, la mayoria de los estudiantes no aprecian la necesidad de hacerlo. Por esto se presenta el sistema de los nameros como un campo que posee la propiedad de la minima cota superior, y se efectiian rapidamente algunas aplicaciones interesantes de esta propiedad. Sin embargo no se omite la cons- truccin de Dedekind. Ahora se encuentra en el apéndice del capitulo 1, en donde puede estudiarse y deleitarse siempre y cuando se tenga la madurez adecuada. Se volvid a escribir casi todo el material sobre funciones de varias va- riables, completandolo con muchos detalles y mas motivacion con ejemplos. La demostracién del teorema de la funcion inversa, que es el tema clave del capitulo 9, se simplifica con el teorema de punto fijo referente a mapeos deXx PREFACIO, contraccién. Las formas diferenciales se estudian con mas detalle. Se inclu- yen ademAs varias aplicaciones del teorema de Stokes. En lo que se refiere a cambios, el capitulo sobre la integral de Riemann-Stieltjes se ha equilibrado un poco; también se adicioné al capitulo 8 una pequefia seccion sobre la funcion gama para que el lector la desarrolle, y hay un namero bastante grande de ejercicios nuevos, la mayoria de ellos con sugerencias bastante detalladas. También inclui varias referencias sobre articulos publicados en el American Mathematical Monthly y el Mathematics Magazine, esperando que a los estudiantes se les desarrolle el habito de consultar las publicaciones cientificas. R. B. Burckel muy amablemente me proporcioné la mayoria de las referencias. Numerosas personas, tanto estudiantes como maestros, durante mu- chos afios me han enviado correcciones, criticas y comentarios acerca de las ediciones anteriores de este libro. Las aprecio y aprovecho la oportunidad para expresarles mis mas sinceros agradecimientos a todos los que me han escrito. WALTER RUDIN1 LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS INTRODUCCION Para que una presentacion de los conceptos principales del andlisis (tales co- mo la convergencia, continuidad, diferenciacion y la integracion) sea satis- factoria, debe basarse en el concepto de namero definido con exactitud. Sin embargo, aqui no se abordaré el tema sobre los axiomas que gobiernan la aritmética de los enteros, pero se supondra que se conocen bien los numeros racionales (es decir, los de la forma m/n, en donde m y n son enteros yn + 0). EI sistema de los nameros racionales visto como un campo 0 un con- junto ordenado, es inadecuado para muchos casos. (Los conceptos de campo Y conjunto ordenado se definiran en las Secs. 1.6 y 1.12.) Por ejemplo, no existe un racional p tal que p? = 2. (Se demostrara esto a continuacion.) Lo anterior conduce a la introduccion de los llamados ‘“‘némeros irracionales”, que con frecuencia se representan como desarrollos decimales infinitos y se consideran ‘“‘aproximados” por los decimales finitos correspondientes. En- tonces la sucesion 1, 1.4, 1.41, 1.414, 1.4142, “tiende a V2”. Puede surgir la siguiente pregunta, a menos que el numero irracional V2 esté evidentemente definido: ;Qué quiere decir que la sucesion “tienda a”?2 PRINCIPIOS DE ANALISIS MATEMATICO Esta clase de pregunta se puede contestar tan pronto como se constru- ya el llamado “‘sistema de los nimeros reales’’. 1.1. Ejemplo Empecemos demostrando que la ecuacion QQ) p=2 no se puede satisfacer por ningiin namero racional p. Para ello supongamos que se satisface: podremos escribir p = m/n, donde m y n son enteros y ademas podremos elegirlos de modo que los dos no sean pares. Supongamos que lo hemos hecho; entonces (1) implica que @ m? = 2n?, Lo que muestra que m? es par. Por tanto, m es par (si m fuera impar, m? también lo seria) y m? es divisible por 4. De aqui se deduce que el segundo miembro de (2) es divisible por 4, y por tanto n? es par, lo que implica que lo sea n. Por consiguiente, el suponer que se verifica (1) nos lleva a la conclu- sion que m y n son los dos pares, en contra de la eleccién que para ellos habiamos hecho. Luego (1) es imposible para un namero racional p. Examinemos ahora la situacion algo mas de cerca. Sea A el conjunto de todos los nameros racionales positivos p, tales que p? < 2, y B el de to- dos aquellos para los que p? > 2. Veremos que A no contiene ningun nitme- ro que sea mayor, ni B ninguno que sea menor, que todos los demés. Mas explicitamente, para cada p de A podemos hallar otro nfmero ra- cional g, también en A, tal que p < q; y para cada p de B otro q de B tal que q 0 el numero pe—-2_ 2»p+2 3) =p- . © ae p+2 p+2 Por lo que 2(p? — 2) 2-2-2. 4 q rae Si p pertenece a A, entonces p? — 2 < 0, de (3) se puede ver que q > py de (4) g < 2. Por lo que q pertenece a A. Si p pertenece a B, entonces p? — 2 > 0, de (3) se puede ver que 0 < q < py de (4) g? > 2. Por lo que q pertenece a B. 1.2. Observacién El objeto de la discusion anterior ha sido demostrar que el sistema de los nameros racionales tiene ciertas lagunas, a pesar del hechoLOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS 3. de que entre dos nimeros racionales, siempre hay otro: Si r < s entonces r < (r + 5)/2 < 5. El sistema de los nameros reales Ilena estas lagunas, y es la raz6n principal del papel tan fundamental que desempefia este sistema en el analisis. Para dilucidar su estructura y la de los nameros complejos, se empeza- ra con una discusién breve de los conceptos generales de conjunto ordenado y campo. A continuacion se da parte de la terminologia estandar de la teoria de conjuntos que se usara en todo este libro. 1.3. Definiciones Si A es un conjunto cualquiera (cuyos elementos pueden ser numeros u objetos cualesquiera), se escribira x € A para expresar que x es un miembro (o0 elemento) de A. Si x no es un miembro de A, se escribira: x ¢ A. El conjunto que no contiene ningiin elemento se Ilamara conjunto va- cio. Si un conjunto tiene al menos un elemento, es un conjunto no vacio. Si A y B son conjuntos y todo elemento de A es un elemento de B, se dice entonces que A es un subconjunto de B, y se escribe A < B,oB 3 A. Si adems existe un elemento de B que no pertenece a A, entonces A seré un subconjunto propio de B. Obsérvese que A < A para todo conjunto A. SiA c ByB c A, seescribe A = B. De otra manera sera A # B. 1.4 Definicion En todo el capitulo 1, el conjunto de los numeros raciona- les se representaré con una Q. CONJUNTOS ORDENADOS 1.5 Definicidn Si S es un conjunto, un orden en S es una relacion repre- sentada por el simbolo < y tiene las dos propiedades siguientes: (@ Six € Syy € S, unay solo una de las proposiciones siguientes es cierta: x x en vez dex < y. La notacién x < y indica que x < y ox = y, sin especificar cual de las dos se cumple. Dicho de otra manera, x = y es la negacién de x > y. 1.6 Definicion Un conjunto ordenado es aquel en el que se ha definido un orden,4 PRINCIPIOS DE ANALISIS MATEMATICO Por ejemplo, Q es un conjunto ordenado si se define r < ssis — res un namero racional positivo. 1.7 Definicién Supéngase que S es un conjunto ordenado, y E c S. Se dice que E es un conjunto acotado superiormente si existe un 8 € S tal que x < B para cada x € E, y a se le denomina la cota superior de E. De la misma manera se definen las cotas inferiores (con > en lugar de s). 1.8 Definicion Supongase que S es un conjunto ordenado, E < S,y E esta acotado superiormente. Supongase, ademAs, que existe un a € S con las siguientes propiedades: (i) a es una cota superior de E. (ii) Si-y < a, entonces y no es una cota superior de E. Entonces a se denomina la minima cota superior de E (de (ii) es evi- dente que a lo mas hay una a] o el supremum de E, y se escribe = sup £. La méxima cota inferior 0 infimum de un conjunto E que esta acotado inferiormente, se define de la misma manera: La proposicién a = inf E significa que a es una cota inferior de E y que ninguna 8 con B > a es una cota inferior de E. 1.9 Ejemplos (a) Considérense los conjuntos A y B del Ejemplo 1.1 como subcon- juntos del conjunto ordenado Q. El conjunto A est4 acotado supe- riormente. De hecho, las cotas superiores de A son los miembros de B. Como B no contiene un miembro mas pequeiio, entonces A no tie- ne minima cota superior en Q. De igual manera, B esta acotado inferiormente: el conjunto de todas las cotas inferiores de B consta de A y de todos losr « Qconr < 0. Como A no tiene un miembro mas grande, entonces B no tiene méxima cota inferior en Q. (b) Si existe a = sup E, puede o no, ser « miembro de E. Sea por ejemplo, E, el conjunto de todos los r € Q conr < 0. Y E, el conjun- to de todos los r € Qconr < 0. Entonces sup E, = sup Ey 0,LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS § yo¢k,0e8,. (c) Si E consta de todos los nimeros 1/n, en donde n = 1, 2, 3,.... Entonces sup E = 1 y pertenece a E, el inf E = 0, y no pertenece a E. 1.10 Definicion Se dice que un conjunto ordenado S tiene la propiedad de la minima cota superior si lo siguiente es cierto: Si E c S, E noes vacio y esta acotado superiormente, entonces E existe en S. El ejemplo 1.9(a) muestra que Q no tiene la propiedad de la minima cota superior. Ahora se mostrara que hay bastante relacion entre las maximas cotas inferiores y las minimas cotas superiores, y que todo conjunto ordenado que tenga la propiedad de la minima cota superior tiene también la de la maxima cota inferior. 1.11 Teorema Supéngase que S es un conjunto ordenado con la pro- piedad de la minima cota superior, B = S y B es no vacto y acotado infe- riormente. Ahora sea L el conjunto de todas las cotas inferiores de B. Entonces a= supL existe en S ya = inf B. En particular, el inf B existe en S. Demostracién Como B esta acotado inferiormente, L no es vacio. Ya que L consta exactamente de los y ¢ S que ademas satisfacen la desigualdad y < x para cada x € B, es evidente que cada x € Bes una cota superior de L. De aqui que L esta acotado superiormente. La hipétesis referente a S implica por tanto, que L tiene un supre- mum en S; llamémosle a. Si < a entonces (véase la Definicion 1.8) y no es cota supe- rior de L, de aqui que y ¢ B. Y resulta que w < x para cada x € B. Entonces a € L. Sia < B se tiene que 8 ¢ L debido a que « es cota superior de L. Se ha mostrado que a € L, pero que 8 ¢ L siB > a. En otras palabras, a es una cota inferior de B, pero B no loes sif > a. Esto significa que a = inf B. CAMPOS 1.12, Definicion Un campo es un conjunto F con dos operaciones, Ilama- das adicién y multiplicaci6n, que satisfacen los axiomas siguientes, (A), (M) y (D) lamados ‘“‘axiomas de campo”:6 PRINCIPIOS DE ANALISIS MATEMATICO (A) Axiomas para la adicién (AD (A2) (A3) (A4) (AS) Six « Fy y & F, entonces su suma, x + y esta en F. La adicion es conmutativa: x + y = y + x para toda x, y e€ F. La adicion es asociativa: (x + y) + z =x + (y + 2) para to- dax,y,ze F. F contiene un elemento 0 tal que 0 + x = x para cada x € F, A cada x € Fle corresponde un elemento — x € F tal que x+(-x) =0. (M) Axiomas para la multiplicacion (1) (M2) (M3) (M4) (M5) Six ¢ Fy y € F, entonces su producto xy esta en F. La multiplicacion es conmutativa: xy = yx para toda x, y € F. La multiplicacion es asociativa: (xy)z = x(yz) para toda x, y, zeF. F contiene un elemento 1 + 0 tal que 1x = 0 para cadax € F. Six e€ Fy x # 0, entonces existe un elemento 1/x € F tal que x (I/x)=1, (D) La ley distributiva x(y + z) = xy + xz se cumple para toda x, y, z € F. 1.13 Observaciones (a) Se acostumbra escribir (en cualquier campo) amEex hy $2 278, 28,27, 2 38. en vez de sta Q) ores (Xy)z, XX, XX, X HX, X4+K+H,.. (b) Los axiomas de campo evidentemente se cumplen en el conjunto Q de todos los nfmeros racionales, siempre y cuando la adicion y ia multiplicacion signifiquen lo acostumbrado. Por ende, Q es un campo. (c) Aunque nuestro propésito no es el de estudiar campos (0 cual- quier otra estructura algebraica) con mucho detalle, vale la pena de-LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEIOS 7 mostrar que algunas propiedades conocidas de Q son consecuencia de los axiomas de campo; una vez hecho esto, no se necesitaré volver a hacerlo para los nimeros reales o para los complejos. 1.14 Proposicion Los axiomas para la adicién implican las siguientes proposiciones: (a) Six + y =x + % entonces y = (b) Six + y = x, entonces y = 0. (c) Six + y = 0, entonces y (a) —(-x) =x. La proposicion (a) es la ley de la cancelacion. Notese que (b) asegura la unicidad del elemento cuya existencia se supuso en (A4), y que (c) hace lo mismo para (AS). Demostracion Six + y = x + z, de los axiomas (A) se tiene yoOtya(—x+x)+ y= —x4+(%+y) = oxt(x+2)=(—x+x)+72=04+72=2 Esto demuestra (a). Tomese z = 0 en (a) para obtener (b), yz = — x en (a) para obtener (c). Como — x + x = 0, (c) (con —x en lugar de x) esto produce (d). 1.15 Proposicion Los axiomas para la multiplicacién implican las propo- siciones siguientes: (@) Six # Oy xy = xz, entonces y = z. (b) Six # Oy xy = x, entonces y = 1. (©) Six # Oy xy = 1, entonces y = 1/x. (d) Six # 0, entonces 1/(1/x) = La demostraci6n es similar a la de la proposi da aqui. n 1.14 y por eso no se 1.16 Proposicion Los axiomas de campo implican las siguientes proposi- ciones, para cualquier x, y, z € F: (a) 0x = 0. (b) Six #0 yy # 0, entonces xy # 0. (c) (— xy = — Gy) = x(-Y). (d) (-x\(-y) = x. Demostracién Ox + Ox = (0 + 0)x = Ox. En consecuencia, 1.14(b) implica que 0x = 0, y por esto se cumple (a).8 PRINCIPIOS DE ANALISIS MATEMATICO Sup6ngase ahora x # 0, y # 0, pero que xy = 0. Entonces de © BQ €)6-« una contradiccion. Por lo tanto se cumple (b). La primera igualdad en (c) proviene de (—2)y + xy = (—x + x)y = Oy = 0, combinada con 1.14(c); la otra mitad de (c) se demuestra de la misma forma, Finalmente de (c) y 1.14(d) se obtiene (-2(-y) = -B(-9)] = -[-Gy)] = xy 1.17 Definicién Un campo ordenado es un campo F que a su vez es un conjunto ordenado, y que tiene las siguientes propiedades: @MxtyOsixe Rye Rx >0yy >0. Six > 0, se dice que x es positivo; si x < 0, entonces es negativo. Por ejemplo, Q es un campo ordenado. En cada campo ordenado se aplican todas las reglas conocidas de las desigualdades: la multiplicacion por cantidades positivas (negativas) preserva (invierte) las desigualdades, ningéim cuadrado es negativo, etcétera. En la si- guiente proposicién se listan algunas de estas. 1.18 Proposicion En todo campo ordenado, las siguientes proposiciones son verdaderas: (@) Six > 0, entonces — x < 0, y viceversa. (b) Six >Oyy < z, entonces xy < xz. (c) Six xz. (d) Six # 0, entonces x > 0. En particular, 1 > 0. (e) Si0 — x + 0, asi que — x < 0. Six < 0, entonces 0 = — x + x < — x + 0, de manera que — x > 0. Esto demuestra (a). (b) Debido a que z > y, se tiene z — y > y — y = 0, por consi- guiente x (z—y) > 0, y por tanto xz=x(z—y) + xy >O0+xy=xy.LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEIOS 9 (c)_ De (a), (b) y la Proposicién 1.16(c) se obtiene, —b@ - y)] =(-E - y) > 0, de aqui que x (z — y) < 0, y en consecuencia xz < xy. (d) Six > 0, la parte (ii) de la Definicién 1.17 nos da x* > 0. Six < 0, entonces — x > 0, por ende (— xP > 0. Pero x® = (— x}, de bido a la Proposicién 1.16(d). Ya que 1 = I, 1 > 0. (e) Siy > Oyv <0, entonces yy < 0. Pero y- (1/y) = 1 > 0. En consecuencia, 1/y > 0. De la misma forma, 1/x > 0. Si se multipli- can ambos miembros de la desigualdad x < y, por la cantidad positi- va (1/x)(1/y), se obtiene 1/y < 1/x. EL CAMPO REAL Ahora se establecera el teorerna de existencia que es la base de este capitulo. 1.19 Teorema Existe un campo ordenado R con la propiedad de la minima cota superior. Ademés, R contiene como subcampo a Q. La segunda proposici6n significa que Q ¢ R y que cuando se aplican las operaciones de adicién y multiplicacion en R a los miembros de Q, éstas coinciden con las operaciones m4s comunes en los nimeros racionales; tam- bién los nameros racionales positivos son elementos positivos de R. A los miembros de R se les denomina numeros reales. Debido a que la demostracién del Teorema 1.19 es bastante larga y un poco tediosa, se presenta en el Apéndice del capitulo 1. En realidad, la de- mostracién construye R a partir de Q. El siguiente teorema podria obtenerse a partir de esta construccién con un poco de esfuerzo adicional. No obstante, es preferible obtenerlo a partir del Teorema 1.19, debido a que éste proporciona una buena ilustracion de lo que se puede hacer con la propiedad de la minima cota superior. 1.20 Teorema (a) Six eR, y € Ryx > 0, entonces hay un entero positivo n tal que nx>y. (0) Sixe Ry © R, yx < y, entonces existe un p © Q tal que x 0, — x 0, y (a) proporciona un entero positivo n tal que my —x)>1. Aplicando (a) nuevamente, se obtienen los enteros positivos m, y m de tal manera que m, > nx, m, > — nx. Entonces —m, 0, se deduce que x<"e 1 ™ Esto demuestra (b), con p = m/n. Ahora se demostrara la existencia de las raices n-esimas de los reales positivos, Esta prueba mostrara como puede manejarse en R, la dificultad mencionada en la Introducci6n (la irracionalidad de 2). 1.21 Teorema Para todo niimero real x > 0 y cada entero n > 0 hay un niimero real y > 0, y uno solo, tal que y" = x. Este niimero y se escribe x, 0 x!/".LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS II Demostracion Que como maximo hay un y con tal propiedad, es evidente, pues, 0 < y, < y, implica yj < y3. Sea E el conjunto formado por todos los nameros reales positi- vos f, tales que t" < x. Sit = x/(1 + x), sera0 < ¢ < 1; por tanto, «” < t 1 + x, entonces t" > t > x, asi que? ¢ E. Es decir, 1 + + x es una cota superior de E. El Teorema 1.19 implica por lo tanto, la existencia de y=sup E. Para demostrar que y" = x se mostraré que cada una de las desigual- dades y" < x y y" > x conduce a una contradiccion. La identidad 6" — a" = (b — ab" + bv a $++ $a") produce la desigualdad Bra" <(b— ayn"! cuando0 y, esto contra- dice el hecho de que y es una cota superior de E. Suponiendo que y" > x. Hagase ppeoes kao Entonces 0 < k < y. Sif = y — k, se concluye que Vt sy¥—(——k! x, y t ¢ E. Se deduce que y — k es una cota superior de E. Pero y — k < y, esto contradice el hecho de que y es la minima cota superior de E.12. PRINCIPIOS DE ANALISIS MATEMATICO En consecuencia y" = x, y esto completa la demostracion. Corolario Si a y b son ntimeros reales positivos y n es un entero positivo, entonces (aby! = gtnptin, Demostracion Haciendo a = a’, 8 = bY". Se tiene ab = a"B" = (af), debido a que la multiplicacion es conmutativa. [Axioma (M2) de la Definicion 1.12}. Por lo tanto, la afirmacion de unicidad del Teorema 1.21 muestra que (aby!!" = ap = abnptin, 1.22 Decimales Terminaremos esta parte, sefialando la relacion que existe entre los nimeros reales y los decimales. Sea x > 0 un numero real, y ™ el mayor entero, tal que m% < x.(*). Elegidos m, ”,..., 71, Sea m el mayor entero, para el cual Mgt ht ee pth °* i0 ioe ** Sea, ademas, E el conjunto formado por los nimeros (5) Ny + + wt ot tage ROL En estas condiciones, x es el sup de E. El desarrollo decimal de x es © Ng mnzn3***. Inversamente, para todo decimal con desarrollo infinito (6) el conjunto E de los nameros (5) esta acotado superiormente, y (6) es el desarrollo deci- mal del sup de E. Como nunca utilizaremos nimeros decimales, no entraremos en un es- tudio detallado. EL SISTEMA EXTENDIDO DE LOS NUMEROS REALES 1.23. Definicién El sistema extendido de los nameros reales est& consti- tuido por el campo real R al que se han afiadido dos simbolos, + © y — , (*(Notese que la existencia de ny depende de la propiedad Arquimediana de R.)LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEIOS 13 Se conservaré el orden original en R, y se defi —-O 0, sera x+ (+00) = +00, x+(—00) = —00. (c) Six <0, es x* (+00) =—0, x-(-o)= +0. Cuando es conveniente hacer distincién explicita entre los numeros rea- les por un lado y los simbolos + © y — © por otro, los primeros se llaman finitos. EL CAMPO COMPLEJO 1.24 Definicion Un ntimero complejo es un par ordenado de nimeros reales (a, b). “‘Ordenado” significa que (a, b) y (b, a) se consideran distin- tos sia # b. Sean x = (a, b), y = (c, d) dos nmeros complejos. Se escribe x = y si y solamente si a = c y b = d. (Notese que esta definicién no es por completo superflua; debe pensarse en la igualdad de los nameros racionales representados como cocientes de enteros.) Se define xty=(a+e,b+d), xy = (ac — bd, ad + be). 1.25 Teorema Las definiciones anteriores para la adicién y la multiplica- cién vuelven al conjunto de todos los niimeros complejos un campo, con (0, 0) y (1,0) en lugar de Oy 1.14 PRINCIPIOS DP ANALISIS MATEMATICO, Demostraci6n Simplemente se verificaran los axiomas de campo de la Definicion 1.12. (Se usa la estructura de campo de R, por supuesto.) Sean x=(a,0),y=(d),z=(,f). (Al) es evidente, (A2) x+y=@t+e,b+d=(ct+ta,d+b)=y+x. (A3) (t+y)+z=(t+eb4+a+ef/) =(atc+ebt+dt+f) =@b+(c+edt+fy=x+(yt+z). (A4) x+0=(,6)+ 0,0) =(,b) =x. (AS) Haciendo —x =(—a, —6). Entonces x +(—x) = 0,0) =0. (M1) es evidente, (M2) xy = (ac — bd, ad + be) = (ca — db, da + cb) = yx. (M3) (xy)z = (ae — bd, ad + beyfe, f) ice — bde — adf — bof, acf — bdf + ade + bce) (a, (ce — df, ef + de) = x(yz). (M4) 1x =(1, 0\(@, 6) = (@, 6) =x. (MS) Six # 0, entonces (a, b) # (0, 0), lo cual significa que al me- nos uno de los numeros reales a, b es diferente de 0. En consecuencia, por la Proposicién 1.18(d) a? + 5? > 0, y se puede definir ( a —b ae ae) Por tanto, —b Se app) Goat @M) xy+2)=@, blc+edtf) = (ac + ae — bd — bf, ad + af + be + be) = (ac — bd, ad + be) + (ae — bf, af + be’ = xy texz. 1.26 Teorema Para mimeros reales cualesquiera a y b se tiene (4,0) + (6,0) =(@+ 6,0), (a, 0)(b, 0) = (ab, 0). La demostraci6n es trivial. El Teorema 1.26 muestra que los nimeros complejos de la forma (a, 0) tienen las mismas propiedades aritméticas que los nameros reales correspon-LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS 15 dientes a. Por tanto, es posible identificar (a, 0) con a. Esta identificacion hace del campo real un subcampo del campo complejo. E] lector puede haber notado que hasta ahora se han definido los ni- meros complejos sin hacer ninguna referencia a la misteriosa raiz cuadrada de — 1. A continuacion se muestra que la notacién (a, b) es equivalente a la mas acostumbrada a + bi. 1.27 Definicion i= (, 1). 1.28 Teorema i? = —1. Demostracion i? = (0, 1), 1) = (—1, 0) = -1. 1.29 Teorema Si a y b son dos numeros reales, serd (a,b) = a + bi. Demostracion a + bi=(@,0) + (b, 0X0, 1) = (4,0) + 0,5) =@d). 1.30 Definicion Si a, b son reales y z = a + bi, entonces al namero complejo Z = a — bi se le llama el conjugado de z. Los numeros a y b son la parte real y la parte imaginaria de z, respectivamente. Se escribira algunas veces a=Rez), b= Im(z). 1.31 Teorema Si z y w son complejos, entonces (a) z+w (b) W=2-%, (c) z+2=2Re(2), z—2 =2iIm@), (d) 22 es real y positivo (excepto cuando z = 0). Demostracién (a), (b) y (c) son triviales. Para probar (d), escribase z= a+ bi, y notese que 2 = @ + Bb. 1.32 Definicién Si z es un nimero complejo, su valor absoluto (0 médu- To) \z| es la raiz cuadrada no negativa de zz; es decir, |z| = (zz)!?. La existencia (y la unicidad) de |z| se concluye a partir del Teorema 1,21 y la parte (d) del Teorema 1.31. Notese que cuando x es real, es ¥ = x, y por consiguiente |x| = Vx. Asi que |x| = x six 20, |x| = — xsix <0.16 PRINCIPIOS DE ANALISIS MATEMATICO 1.33 Teorema Siendo z y w ntimeros complejos. Se tiene 0, (a) |z| >0 a menos que z=0, |0| © |2] =I2l, © |z»| =lz||w1, @) |Rez|<|z|, © [z+ s lz] + ||. Demostracién (a) y (b) son evidentes. Si se hace z = a + bi, w= + di, en donde a, b, c, d real. Entonces |zw|? = (ac — bd)* + (ad + be)? = (a? + b*\(c? + d%) = |z|?|w|? © |zw/? = (|z||w|. Ahora (c) deduce de la afirmacion de unicidad del Teorema 1.21. Para demostrar (d), ndtese que a? < a? + b?, por consiguiente lal alas FoR Para demostrar (e), ndtese que Zw es el conjugado de zw, asi que zW + Zw = 2 Re (zw). Por lo tanto |z+ wl? =(2+ wZ+ 0) = 22 + 2 + 2W + wi = |z|? +2 Re (ziv) + |w|? S |z|? + 22m] + |w]? = [2]? + 2]z||w] + lw]? =(]2] + wl)? Y por ultimo se obtiene (e) extrayendo raiz cuadrada en ambos miembros. 1.34 Notacion Si x,,..., x, son nameros complejos, escribimos My txt tam Terminamos esta seccién con una desigualdad importante, corriente- mente llamada desigualdad de Schwarz. 1.35 Teorema Si a,..., a, ¥ b,,..., b, son mimeros complejos, seré 2 8 . a;B,) <¥ lal? 1b)1?. 1 we ieLOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS 17 Demostracion Pongamos A = L|a,?; B = D|b)|?; C = Lab, (en todas las sumas de esta demostraci6n, j toma los valores 1,... 7). Si B = 0, sera b, = +++ = b, = Oy la conclusion es obvia. Suponga- mos, por tanto, que B > 0. Por el Teorema 1.31, tenemos ¥ | Ba, - Cb,|? = ¥ (Ba, — Cb,(Ba, — Cb) = BY’ |aj|? — BC Y a,b; — BCY aby + |C|? Y |byl? = BPA — BIC|? = BAB — |{C|?). Como cada término de la primera suma es no negativo, vemos que B(AB— |C|*) 20. Como B > 0, se sigue que AB — |C|?= 0, que es la desigualdad deseada. ESPACIOS EUCLIDIANOS 1,36 Definiciones Para cada entero positivo k, sea R* el conjunto de to- das las k-adas ordenadas = Faye HDs donde x,,..., x, son nimeros reales, Ilamados coordenadas de x. Los ele- mentos de Ré se Ilaman puntos, 0 vectores, especialmente cuando k > 1. Designaremos a los vectores por letras negritas. Siy = (,..., %) Yaun niamero real, haremos K+Y= Oty Ke tM OX = (x4, .- +5 OX) de modo que x + y € R‘ y ax e Rt. Esto define la adicin de vectores, lo mismo que la multiplicacion de un vector por un nimero real (un escalar). Estas dos operaciones satisfacen las leyes conmutativa, asociativa y distribu- tiva (la demostracion es elemental, comparando con las leyes analogas para los nfmeros reales) y hacen de R* un espacio vectorial sobre el campo real. El elemento cero de Rt (a veces llamado origen o vector nulo) es el punto 0, cuyas coordenadas son todas 0. Definimos también el llamado «producto interior» (0 escalar) de x y y por k xy= dr