Rudin - Principios Dean Ali Sis Matematico

PRINCIPIOS DE ANALISIS MATEMATICO
PRINCIPIOS DE ANALISIS MATEMATICO, 3a. edici6n

Prohibida la reproducci6n total 0 parcial de esta obra, por cualquier medio, sin autorizaci6n del editor.

DERECHOS RESERVADOS © 1980, respecto ala tercera edici6n en espafiol por LlBROS McGRAW-HILL DE MEXICO, S. A. DE C. V.

Atlacomulco 499-501, Naucalpan de Juarez, Edo. de Mexico

Miembro de la Camara Nacional de la Industria Editorial, Reg. Nurn. 465

ISBN 968-6046-82-8

Traducido de la tercera edici6n en ingles de PRINCIPLES OF MATHEMATICAL ANALYSIS Copyright © 1976, by McGraw-Hili Book ce.. U. S. A.

ISBN -O-07-054235-X

1234567890

IMPRO-80

8123456790

Impreso en Mexico

Printed in Mexico

Esta obra se termin6 de imprimir en julio de 1980 en Impresora Roma, S. A.

Tomas Vazquez 152, Col. Ampliaci6n Moderna, Mexico 13, D. F.

Se tiraron 6 000 ejemplares

Principios de Analisis Matematico

TERCERA EDICION

WALTER RUDIN

Profesor de Matematicas University of Wisconsin-Madison

Traducido por:

LIC. MIGUEL IRAN ALCERRECA SANCHEZ

Licenciado en Fisica y Matem6ticasInstituto Politecnico Naclonal, Candidato a Maestro en Ciencias en Ingenieria Nuclear,

Profesor Asociado, Escuela Superior de Ingenieria Mecanica y Electrica del Instituto Politecnico Nacional,

Mbcico

Revisado por:

LUIS BRISENO AGUIRRE Facultad de Ciencias,

Departamento de Matemeticas en la Universidad Nacional Autonoma de Mbcico, M~xico

LIBROS McGRAW-HILL

Mbko • Bogo" • Madrid • Panama • San Jun • Sao 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 Numeros Reales y de los Complejos Introduccion

Conjuntos Ordenados

Campos

EI Campo Real

EI Sistema Extendido de los Numeros Reales EI Campo Complejo

Espacios Euclidianos

Apendice

Ejercicios

1 3 5 9

12 13 17 18 23

Capitulo 2 Topologia Basica

Conjuntos Finitos, Numerables y No Numerables Espacios Metricos

Conjuntos Compact os

Conjuntos Perfectos

26 26 33 39 44

vi CONTENIDO
Conjuntos Conexos 46
Ejercicios 46
Capitulo 3 Sucesiones Numericas y Series 50
Sucesiones Convergentes 50
Subsucesiones 54
Sucesiones de Cauchy 55
Limites Superior e Inferior 59
Algunas Sucesiones Especiales 61
Series 62
Series de Terrninos No Negativos 64
EI Nurnero e 67
Criterios de la Raiz y de la Razon 70
Series de Potencias 73
Suma por Partes 74
Convergencia Absoluta 76
Adicion y Multiplicacion de Series 77
Reordenamientos 80
Ejercicios 83
Capitulo 4 Continuidad 89
Limites de Funciones 89
Funciones Continuas 91
Continuidad y Compacticidad 95
Continuidad y Conexibilidad 100
Discontinuidades 100
Funciones Monotonas 102
Limites Infinitos y Limites en ellnfinito 104
Ejercicios 105
Capitulo 5 Diferenciacibn 110
Derivada de una Funcion Real 110
Teoremas del Valor Medio 114
Continuidad de las Derivadas 115
Regia de L'Hospital 116
Derivadas de Orden Superior 118
Teorema de Taylor 118
Diferenciacion de Funciones Vectoriales 119
Ejercicios 121
Capitulo 6 La Integral de Rlemann-Stleltjes 129
Definicion y Existencia de la Integral 129
Propiedades de la Integral 137
Integracion y Diferenciacion 143
Integracion de Funciones Vectoriales 145
Curvas Rectificables 146
Ejercicios 148 CONTENIDO vii
Capitulo 7 Sucesiones y Series de Funciones 153
Discusion del Problema Principal 154
Convergencia Uniforme 157
Convergencia Uniforme y Continuidad 159
Convergencia Uniforme e lntegracion 162
Convergencia Uniforme y Diferenciacibn 163
Familias Equicontinuas de Funciones 165
Teorema de Stone-Weierstrass 170
Ejercicios 177
Capitulo 8 Algunas Funciones Especiales 184
Series de Potencias 184
Las Funciones Exponencial y Logaritmica 191
Funciones Trigonornetricas 195
La Completitud Aigebraica del Campo Complejo 198
Series de Fourier 199
La Funcion Gamma 206
Ejercicios 211
Capitulo 9 Funciones de Varias Variables 219
Transformaciones Lineales 219
Di ferenciacion 227
EI Principio de la Contraccion 237
Teorema de la Funcion Inversa 238
El Teorema de la Funcion Implicita 241
El Teorema del Rango 246
Determinantes 250
Derivadas de Orden Superior 254
Diferenciacion de Integrales 256
Ejercicios 258
Capitulo 10 Integraclon de Formas Diferenciales 265
Integracion 265
Mapeos Primitivos 268
Particiones de la Unidad 271
Cambio de Variable 272
Formas Diferenciales 274
Cadenas y Simplex 288
Teorema de Stokes 295
Formas Cerradas y Exactas 298
Analisis Vectorial 304
Ejercicios 313
Capitulo II Teoria de Lebesgue 324
Funciones de Conjuntos 324
Construccion de la Medida de Lebesgue 327 viii CONTENIDO

Espacios de Medida Funciones Medibles Funciones Simples Integracion

Cornparacion con la Integral de Riemann Integracion de Funciones Complejas Funciones de Clase 22

Ejercicios

335 335 338 339 348 351 352 359

Bibliografia

363

Lista de Simbolos Especiales

365

indice

367

PREFACIO

Se pretende que este libro sirva como texto para el curso de analisis que reciben normal mente los estudiantes avanzados de licenciatura 0 para los estudiantes graduados de primer ano que estudian Maternaticas.

La presente ediclon con algo mas de material, un poco de menos omisiones, 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, pedag6gicamente, es erroneo (aunque desde el punto de vista logico es correcto) comenzar con la construecion de los numeros reales a partir de los racionales. Simplemente en un principio, la mayo ria de los estudiantes no aprecian la necesidad de hacerlo. Por esto se presenta el sistema de los nurneros como un campo que posee la propiedad de la minima cota superior, y se efectuan rapidamente algunas aplicaciones interesantes de esta propiedad. Sin embargo no se omite la construccion de Dedekind. Ahora se encuentra en el apendice del capitulo 1, en don de puede estudiarse y deleitarse siempre y cuando se tenga la madurez adecuada.

Se volvi6 a escribir casi todo el material sobre funciones de varias variables, completandolo con muchos detalles y mas motivaci6n con ejemplos. La demostraci6n del teorema de la funci6n inversa, que es el tema clave del capitulo 9, se simplifica con el teorema de punto fijo referente a mapeos de

X PREFACIO

contraccion. Las form as diferenciales se estudian con mas detalle. Se incluyen ademas varias aplicaciones del teorema de Stokes.

En 10 que se refiere a cam bios , el capitulo sobre la integral de Riemann-Stieltjes se ha equilibrado un poco; tambien se adiciono al capitulo 8 una pequefia seccion sobre la funcion gama para que ellector la desarrolle, y hay un numero bastante grande de ejercicios nuevos, la mayoria de ellos con sugerencias bastante detalladas.

Tambien 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 proporciono la mayoria de las referencias.

Numerosas personas, tanto estudiantes como maestros, durante muchos 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 analisis (tales como la convergencia, continuidad, diferenciacion y la integracion) sea satisfactoria, debe basarse en el concepto de numero definido con exactitud. Sin embargo, aqui no se abordara el tema sobre los axiomas que gobiernan la aritmetica de los enteros, pero se supondra que se conocen bien los numeros racionales (es decir, los de la forma min, en donde m y n son enteros y n *" 0).

El sistema de los nurneros racionales visto como un campo 0 un conjunto ordenado, es inadecuado para muchos casos. (Los conceptos de campo y eonjunto ordenado se definiran en las Sees. 1.6 y 1.12.) Por ejemplo, no existe un racional p tal que p2 = 2. (Se demostrara esto a continuacion.) Lo anterior conduce a la introduccion de los llamados "niImeros irracionales", que con frecuencia se representan como desarrollos decimales infinitos y se consideran "aproximados" por los decimales finitos correspondientes. Entonces la sucesion

1,1.4,1.41, 1.414, 1.4142, ...

"tiende a .J2". Puede surgir la siguiente pregunta, a menos que el nurnero irracional .J2 este evidentemente definido: i,Que quiere decir que la sucesion "tienda a"?

2 PRINCIPIOS DE ANALISIS MATEMATICO

Esta clase de pregunta se puede contestar tan pronto como se construya el llamado "sistema de los numeros reales".

1.1 Ejemplo Empecemos demostrando que la ecuacion

(1)

no se puede satisfacer por ningun numero racional p. Para ello supongamos que se satisface: pod rem os escribir p = min, donde m y n son enteros y ademas podremos elegirlos de modo que los dos no sean pares. Supongamos que 10 hem os hecho; entonces (1) implica que

(2)

Lo que muestra que m2 es par. Por tanto, m es par (si m fuera impar, m? tambien 10 serial y mi es divisible por 4. De aqui se deduce que el segundo miembro de (2) es divisible por 4, y por tanto n2 es par, 10 que implica que 10 sea n.

Por consiguiente, el suponer que se verifica (1) nos lleva a la conclusion que m y n son los dos pares, en contra de la eleccion que para ellos habiamos hecho. Luego (1) es imposible para un numero racional p,

Examinemos ahora la situacion algo mas de cerca. Sea A el conjunto de todos los numeros racionales positivos p, tales que p2 < 2, y B el de todos aquellos para los que p2 > 2. Veremos que A no contiene ningun numero que sea mayor, ni B ninguno que sea menor, que todos los demos.

Mas explicitamente, para cada p de A podemos hallar otro numero radonal q, tambien en A, tal que p < q; y para cada p de B otro q de B tal que q < p.

Para esto, se asocia a cada numero racional p > 0 el numero

(3)

p2 _ 2 2p + 2

q=p---=--'

p+2 p+2

Por 10 que

(4)

2 _ 2 _ 2(p2 - 2)

q - (p + 2)2 .

Si p pertenece a A, entonces p2 - 2 < 0, de (3) se puede ver que q > p y de (4) q2 < 2. Por 10 que q pertenece a A.

Si p pertenece a B, entonces p2 - 2 > 0, de (3) se puede ver que 0 < q < p y de (4) q2 > 2. Por 10 que q pertenece a B.

1.2 Observaci6n EI objeto de la discusion anterior ha sido demostrar que el sistema de los numeros racionales tiene ciertas lagunas, a pesar del hecho

LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS 3

de que entre dos numeros racionales, siempre hay otro: Si r < s entonces r < (r + s)/2 < s. El sistema de los numeros reales llena estas lagunas, y es la razon principal del papel tan fundamental que desempena este sistema en el analisis.

Para dilucidar su estructura y la de los numeros complejos, se empezara con una discusion breve de los conceptos generales de conjunto orden ado 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 E A para expresar que x es un miembro (0 elemento) de A.

Si x no es un miembrode A, se escribira: x ¢ A.

EI conjunto que no contiene ningun elemento se llamara conjunto vacfo. 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 c B, 0 B :=l A. Si ademas existe un elemento de B que no pertenece a A, entonces A sera un subconjunto propio de B. Observese que A c A para todo conjunto A.

Si A c By B c A, se escribe A = B. De otra manera sera A * B.

1.4 Definicion En todo el capitulo 1, el conjunto de los numeros racionales se representara con una Q.

CONJUNTOS ORDENADOS

1.5 Definicion Si S es un conjunto, un orden en S es una relacion representada por el simbolo < y tiene las dos propiedades siguientes:

(i) Si XES Y YES, una Y s610 una de las proposiciones siguientes es cierta:

x<y,

x=y,

y<x

(ii) Si x, y, Z E S, y si x < y y y < Z. entonces x < z,

La proposicion "x < y" se lee" x es menor que Y" 0 "x es mas pequeno que y" 0 tambien "x precede a y".

Con frecuencia conviene escribir y > x en vez de x < y.

La notacion x :s y indica que x < y 0 x = y, sin especificar cual de las dos se cumple. Dicho de otra manera, x :s yes la negacion de x > y.

1.6 Definicion Un conjunto ordenado es aquel en el que se ha definido un orden.


Por ejemplo, Q es un conjunto ordenado si se define r < s si s - r es un numeroracional positivo.

1.7 Definicion Sup6ngase que S es un conjunto ordenado, y E c S. Se dice que E es un conjunto acotado superiormente si existe un (3 E S tal que x ::"S (3 para cada x E. E, y a (3 se Ie denomina la cota superior de E.

De la misma manera se definen las cotas inferiores (con ;::: en lugar de ::"S).

1.8 Definicion Sup6ngase que S es un conjunto ordenado, E c S, y E esta acotado superiormente. Supongase, ademas, que existe un a E 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 cola superior de E [de (U) es evidente que a 10 mas hay una a] 0 el supremum de E, y se escribe

ex = sup E.

La maxima cola inferior 0 infimum de un conjunto E que esta acotado inferiormente, se define de la misma manera: La proposicion

a=infE

significa que a es una cota inferior de E y que ninguna (3 con (3 > a es una cota inferior de E.

1.9 Ejemplos

(a) Considerense los conjuntos A y B del Ejemplo 1.1 como subconjuntos del conjunto ordenado Q. El conjunto A esta acotado superiormente. De hecho, las cotas superiores de A son los miembros de B. Como B no contiene un miembro mas pequeno, entonces A no tiene 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 los r E Q con r ::"S O. Como A no tiene un miembro mas grande, entonces B no tiene maxima cola inferior en Q.

(b) Si existe a = sup E, puede 0 no, ser a miembro de E. Sea por ejemplo, EI el conjunto de todos los r E Q con r < O. y ~ el conjunto de todos los r E Q con r ::"S O. Entonces

sup El = sup E2 = 0,


yO 4- EI, 0 E ~.

(C) Si E consta de todos los nurneros lin, en donde n = I, 2, 3, .... Entonces sup E = 1 y pertenece a E, e1 inf E = 0, y no pertenece a E.

1.10 Definicion Se dice que un conjunto ordenado S tiene 1a propiedad de 10 minima cola superior si 10 siguiente es cierto:

Si E c S, E no es vacio y esta acotado superiormente, entonces E existe en S.

E1 ejemplo 1.9(0) muestra que Q no tiene 1a 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 1a minima cota superior tiene tambien 1a de la maxima cota inferior.

1.11 Teorema Sup6ngase que S es un conjunto orden ado con la propiedad de la minima cola superior, B c S y B es no vacio y acotado inferiormente. Ahora sea L el conjunto de todas las cotas inferiores de B. Entonces

ex = supL

existe en S y a = inf B.

En particular, el inf B existe en S.

Demostraclon Como B esta acotado inferiormente, L no es vacio. Ya que L consta exactamente de los YES que ademas satisfacen la desigua1dad y ~ x para cada x E B, es evidente que cada x E B es una cola superior de L. De aqui que L esta acotado superiormente. La hipotesis referente a S implica por tanto, que L tiene un supremum en S; llarnemosle a.

Si l' < a entonces (vease la Definicion 1.8) l' no es cota superior de L, de aqui que l' fj. B. Y resulta que a -s x para cada x E B. Entonces a E L.

Si a < {3 se tiene que {3 4- L debido a que a es cota superior de L. Se ha mostrado que a E L, pero que {3 fj L si {3 > a. En otras palabras, a es una cota inferior de B, pero {3 no 10 es si {3 > a. Esto significa que a = inf B.

CAMPOS

1.12 Definicion Un campo es un conjunto F con dos operaciones, llamadas adicion y multiplicacion, que satisfacen 10& axiomas siguientes, (A). (M) y (D) llamados "axiomas de campo":

6 PRINCIPIOS DE ANALlSIS MATEMATICO

(A) Axiomas para la adicion

(AI) Si x E F y y E F, entonces su suma, x + y esta en F.

(A2) La adicion es conmutativa: x + y = y + x para toda x, y E F. (A3) La adicion es asociativa: (x + y) + z = x + (y +z) para to-

da x,y, z E F.

(A4) F contiene un elemento 0 tal que 0 + x = x para cada x E F. (A5) A cada x E F le corresponde un elemento - x E F tal que

x +(-x) =0.

(M) Axiomas para la multiplicacion

(MI) Si x E F y Y E F, entonces su producto xy esta en F.

(M2) La multiplicacion es conmutativa: xy = yx para toda x, y E F. (M3) La multiplicacion es asociativa: (xy)z = x(yz) para toda x, y,

z E F.

(M4) F contiene un elemento I * 0 tal que Ix = 0 para cada x E F. (M5) Si x E F Y x * 0, entonces existe un elemento lIx E F tal que

x· (l/x) = 1.

(D) La ley distributiva

x(y + z) = xy + xz

se cumple para toda x, y, z E F.

1.13 Observaciones

(a) Se acostumbra escribir (en cualquier campo)

x. 2 )

X - y, -, x + y + z, xyz, x , x , 2x, 3x, ...

y

en vez de

x + (- y), x . G), (x + y) + z, (xy)z, xx, xxx, x + x, x + x + x, ....

(b) Los axiomas de campo evidentemente se cumplen en el conjunto Q de todos los numeros racionales, siempre y cuando la adicion y la multiplicacion signifiquen 10 acostumbrado. Por ende, Q es un campo. (e) Aunque nuestro proposito no es el de estudiar campos (0 cualquier otra estructura algebraica) con mucho detalle, vale la pena de-

LOS SISTEMAS DE LOS NUMEROS REALI'S Y DE LOS COMPLUOS 7

mostrar que algunas propiedades conocidas de Q son consecuencia de los axiomas de campo; una vez hecho esto, no se necesitara volver a hacerlo para los numeros reales 0 para los complejos.

1.14 Proposielon Los axiomas para fa adicion implican las siguientes proposiciones:

(a) Si x + y = x + Z, entonces y = z. (b) Si x + y = x, entonces y = o.

(c) Si x + y = 0, entonces y = - x. (d) - (-x) = x.

La proposicion (a) es la ley de la cancelacion, N6tese que (b) asegura la unicidad del elemento cuya existencia se supuso en (A4), y que (c) hace 10 mismo para (AS).

Demostraci6n Si x + y = x + z, de los axiomas (A) se tiene

y = 0 + y = (-x + x) + y = -x + (x + y)

= -x + (x + z) = (-x + x) + z = 0 + z = z.

Esto demuestra (a). Tornese Z = 0 en (a) para obtener (b), y Z = - x en (a) para obtener (c).

Como - x + x = 0, (c) (con -x en lugar de x) esto produce (d).

1.15 Proposlclon Los axiomas para la multiplicacion implican las proposiciones siguientes:

(a) Si x '* 0 y xy = xz, entonces y = z. (b) Si x '* 0 y xy = x, entonces y = 1. (c) Si x '* 0 y xy = 1, entonces y = l/x. (d) Si x '* 0, entonces lI(1/x) = x.

La demostracion es similar a la de la proposici6n 1.14 y por eso no se da aqui.

1.16 Proposiclon Los axiomas de campo implican las siguientes proposiciones, para cua/quier x, y, Z E F:

(a) Ox = o.

(b) Si x '* 0 y y '* 0, entonces xy '* o. (c) (- x)y = - (xy) = x ( - y).

(d) (-x)( - y) = xy.

Demostraclon Ox + Ox = (0 + O)x = Ox. En consecuencia, 1.14(b) implica que Ox = 0, y por esto se cumple (a).

8 PRINCIPIOS DE ANAuSIS MATEMATICO

Sup6ngase ahora x :I: 0, Y :I: 0, pero que xy = O. Entonces de (a) se tiene

una contradicci6n. Por 10 tanto se cumple (b).

La primera igualdad en (c) proviene de

(-x)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 l.14(d) se obtiene

(-x)(-y)= -[x(-y)]= -[-(xy)]=xy

1.17 Definicion Un campo ordenado es un campo F que a su vez es un coniunto ordenado, y que tiene las siguientes propiedades:

(i) x + Y < x + z si x, v. Z E F y y < z. (ii) xy > 0 si x E F, Y E F, X > 0, y Y > o.

Si x > 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 multiplicaci6n por cantidades positivas (negativas) preserva (invierte) las desigualdades, ningun cuadrado es negativo, etcetera. En la siguiente proposici6n se listan algunas de estas.

1.18 Proposicion En todo campo ordenado, las siguientes proposiciones son verdaderas:

(a) Si x > 0, entonces - x < 0, y viceversa. (b) Si x > 0 Y Y < z, entonces xy < xz.

(c) Si x < 0 y:y < z. entonces xy > xz.

(d) Si x :I: 0, entonces X2 > O. En particular, 1 > O. (e) Si 0 < x < Y. entonces 0 < l/y < l/x.

Demostracilm

(a) Si x = 0, entonces 0 = - x + x > - x + 0, asi que - x < o. Si x < 0, entonces ° = - 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 consiguiente x (z- y) > 0, y por tanto

xz = x(z - y) + xy > ° + xy = xy.


(c) De (a), (b) y la Proposicion 1.16(c) se obtiene,

- [x(z - y)] = (-x)(z - y) > 0,

de aqui que x (z - y) < 0, yen consecuencia xz < xy.

(d) Si x > 0, la parte (ii) de la Definicion 1.17 nos da X2 > O. Si x < 0, entonces - x > 0, por ende (- x'j > O. Pero X2 = (- x)', debido a la Proposici6n 1.16(d). Ya que 1 = P, 1 > O.

(e) Si y > 0 y V ::5 0, entonces yv ::5 O. Pero y . (lIy) = 1 > O. En consecuencia, 1/y > O. De la misma forma, lIx > o. Si se multiplican ambos miembros de la desigualdad x < y, por la cantidad positiva (lIx)(1/y), se obtiene 1/y < l/x.

EL CAMPO REAL

Ahora se establecera el teorema 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.

Ademas, R contiene como subcampo a Q.

La segunda proposicion significa que Q cRy que cuando se aplican las operaciones de adicion y multiplicacion en R a los miembros de Q, estas coinciden con las operaciones mas comunes en los numeros racionales; tambien los numeros racionales positivos son elementos positivos de R.

A los miembros de R se les denomina numeros reales.

Debido a que la demostracion del Teorema 1.19 es bastante larga y un poco tediosa, se presenta en el Apendice del capitulo 1. En realidad, la demostracion construye R a partir de Q.

El siguiente teorema podria obtenerse a partir de esta construccion con un poco de esfuerzo adicional. No obstante, es preferible obtenerlo a partir del Teorema 1.19, debido a que este proporciona una buena ilustracion de 10 que se puede hacer con la propiedad de la minima cota superior.

1.20 Teorema

(a) Si x E R, y E R y x > 0, entonces hay un entero positivo n tal que

n x> y.

(b) Si x E R, y E R, y x < y, entonces existe un p E Q tal que

x < p < y.


La parte (a) se conoce comunmente como la propiedad arquimediana de R. La parte (b) significa que Q es denso en R: es decir, entre dos numeros reales cualesquiera hay un racional.

Demostraclon

(a) Sea A el conjunto de todos los nx, en donde n varia en los enteros positivos. Si (a) no fuera cierto, entonces y seria una cota superior de A, y A entonces tiene una minima cota superior en R. Hagamos 0' = sup A. Ya que x > 0, 0' - X < 0', y a - X no es una cota superior de A. Por consiguiente, 0' - X < mx para algun entero positivo n. De don de 0' < (m + l)x E A, 10 cual es imposible, porque 0' es una cot a superior de A.

(b) Debido a que x < y, se tiene y - x > 0, y (a) proporciona un entero positivo n tal que

n(y - x) > 1.

Aplicando (a) nuevamente, se obtienen los enteros positivos m, Y ~ de tal manera que m, > nx, ~ > - nx. Entonces

En consecuencia hay un entero m (con - ~ :5 m :5 mJ) tal que

m - 1 ;S; nx < m.

Si estas desigualdades se combinan, se obtiene

nx < m ;S; 1 + nx < ny,

Como n > 0, se deduce que

m

x <- <yo n

Esto demuestra (b), con p = min.

Ahora se demostrara la existencia de las rakes n-esimas de los reales positivos. Esta prueba rnostrara como puede manejarse en R, la dificultad mencionada en la Introduccion (Ia irracionalidad de -./2).

1.21 Teorema Para todo numero real x > 0 y cada entero n > ° hay un numero real y > 0, y uno solo, tal que Y" = x.

Este numero y se escribe ::/x, 0 Xi/II.

LOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS II

Demostraclon Que como maximo hay un y con tal propiedad, es evidente, pues, 0 < YI < Y2 implica Y7 < y~.

Sea E el conjunto formado por todos los numeros reales positivos t, tales que t" < x.

Si t = x/(l + x), sera 0 < t < 1; por tanto, tn ::::; t < x, por 10 que tEE Y E no es vacio.

Si t > 1 + x, entonces tn > t > x, asi que t £$ E. Es decir, 1 + + x es una cot a superior de E.

El Teorema 1.19 implica por 10 tanto, la existencia de

y = supE.

Para demostrar que yn = x se mostrara que cada una de las desigualdades yn < X y yn > x conduce a una contradiccion,

La identidad bn - an = (b - a)(bn-I + bn-2 a + ... + an-I) produce la desigualdad

b" - a" < (b - a)nb"-1

cuando 0 < a < b.

Ahora supongase que yn < x. Si se escoge h de tal forma que 0 < h < 1 y

x-]I'

h < n(y + It-1

Si se hace a = y, b = y + h. Entonces

(y + h)" - y" < hn(y + h)"-1 < hn(y + 1)"-1 < X -]I'.

Es decir (y + h)n < x, y y + h E E. Ya que y + h > y, esto contradice el hecho de que y es una cota superior de E.

Suponiendo que yn > x. Hagase

]I'-x k=--· n]l'-1

Entonces 0 < k < y. Si t 2': Y - k, se concluye que

]I' - tn~]I' - (y - kt < kn]l'-1 =]1' - x.

Por 10 que tn > 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 cot a superior de E.


En consecuencia yn = X, Y esto completa la demostracion.

Corolario Si a y b son numeros. reales positivos y n es un entero positivo, entonces

Demestraclon Haciendo a = al/n, ~ = bv=. Se tiene

debido a que la multiplicacion es conmutativa. [Axioma (M2) de la Definicion 1.12J. Por 10 tanto, la afirmacion de unicidad del Teorema 1.21 muestra que

(ab)l/n = rxp = al/Nbl/n.

1.22 Decimales Terminaremos esta parte, seftalando la relacion que existe entre los numeros reales y los decimales.

Sea x > 0 un numero real, y 110 el mayor entero, tal que 110 ::s; x.(·).

Elegidos 110, nl, ••• , nk_I' sea nk el mayor entero, para el cual

Sea, ademas, E el conjunto formado por los numeros

(5)

(k = 0, 1,2, ... ).

En estas condiciones, .x es el sup de E. El desarrollo decimal de x es

(6)

Inversamente, para todo decimal con desarrollo infinito (6) el conjunto E de los numeros (5) esta acotado superiormente, y (6) es el desarrollo decimal del sup de E.

Como nunca utilizaremos numeros decimales, no entraremos en un estudio detallado.

EL SISTEMA EXTENDIDO DE LOS NUMEROS REALES

1.23 Definicion El sistema extendido de los numeros reales esta constituido por el campo real R al que se han aftadido dos simbolos, + 00 Y - 00.

(·XNbtese que la existencia de "0 depende de la propiedad Arquimediana de R.)

lOS SISTEMAS DE lOS NUMEROS REAlES Y DE lOS COMPlEJOS 13

Se conservara el orden original en R, y se definira

-oo<x<+oo

para cada x E R.

Es evidente entonces, que + 00 es una cota superior de cada subconjunto del sistema extendido de los numeros reales, y que cada subconjunto que no es vacio tiene una minima cota superior. Por ejemplo, si E es conjunto que no es vacio ni acotado superiormente en R, entonces E = + 00 en el sistema extendido de los numeros reales.

Las mismas observaciones se aplican exactamente a las cotas inferiores.

EI sistema extendido de los numeros reales no forma un campo, pero por conveniencia se acostumbra 10 siguiente:

(a) Si x es un numero real, se verifica que - 00 < x < + 00 Y

x + 00 = +00,

x - 00 = -00,

x x

-=-=0.

+00 -00

(b) Si x > 0, sera X· (+00) = +00, X' (-00) = -00. (c) Six < 0, es X' :+(0)= -oo,x'(-oo)= +00.

Cuando es conveniente hacer distinci6n explicita entre los numeros reales por un lado y los simbolos + 00 Y - 00 por otro, los primeros se llaman jinitos.

EL CAMPO COMPLEJO

1.24 Definicion Un numero complejo es un par ordenado de numeros reales (a, b). "Ordenado" significa que (a, b) y (b, a) se consideran distintos si a =1= b.

Sean x = (a, b), y = (c, d) dos numeros complejos. Se escribe x = y si y solamente si a = c y b = d. (N6tese que esta definici6n no es por completo superflua; debe pensarse en la igualdad de los numeros racionales representados como cocientes de enteros.) Se define

x + y = (a + e, b + d),

xy = (ae - bd, ad + be).

1.15 Teorema Las definiciones anteriores para la adicion y la multi plicacion vuelven al coniunto de todos los numeros compieios un campo, con (0, 0) y (1,0) en lugar de 0 y 1.

14 PRINClI'IOS DE ANAIISIS MATEMATICO

Demostracibn Simplernente se verificaran los axiomas de campo de la Definicion 1.12. (Se usa la estructura de campo de R, por supuesto.)

Sean x = (a, b), y = (e, d), z = (e,!). (AI) es evidente.

(A2) x + y = (a + c, b + d) = (c + a, d + b) = y + x. (A3) (x + y) + z = (a + c, b + d) + (e,f)

= (a + c + e, b + d + f)

= (a, b) + (c + e, d + !) = x + (y + z). (A4) x + 0 = (a, b) + (0, 0) = (a, b) = x.

(A5) Haciendo -x = (-a, -b). Entonces x + (-x) = (0, 0) = O. (MI) es evidente.

(M2) xy = (ae - bd, ad + be) = (ea - db, da + eb) = yx. (M3) (xy)z = (ae - bd, ad + be)(e,J)

= (ace - bde - adf - bcf, acf - bdf + ade + bee) = (a, b)(ee - df, ef + de) = x(yz).

(M4) Ix = (1, Olea, b) = (a, b) = x.

(M5) Si x '* 0, entonces (a, b) '* (0, 0), 10 cual significa que al menos uno de los nurneros reales a, b es diferente de O. En consecuencia, por la Proposicion 1.18(d) a2 + b2 > 0, y se puede definir

1 (a -b )

~ = a2 + b2 ' a2 + b2 .

Por tanto,

x : k = (a, b)C2: b2' a2 ~bb2) = (1,0) = 1.

(D) x(y + z) = (a, b)(e + e, d + f)

= (ae + ae - bd - bf, ad + af + be + be) = (ae - bd, ad + be) + (ae - bf, of + be) =xy +.xz.

1.26 Teorema Para numeros reales cualesquiera a y b se tiene

(a, 0) + (b, 0) = (a + b, 0),

(a, O)(b, 0) = (ab, 0).

La demostracion es trivial.

EI Teorema 1.26 muestra que los numeros complejos de la forma (a, 0) tienen las mismas propiedades aritrneticas que losnumeros reales correspon-


dientes a. Por tanto, es posible identificar (a, 0) con a. Esta identificaci6n hace del campo real un subcampo del campo complejo.

EI lector puede haber notado que hast a ahora se han definido los numeros complejos sin hacer ninguna referencia a la misteriosa raiz cuadrada de - 1. A continuaci6n se muestra que la notaci6n (a, b) es equivalente ala mas acostumbrada a + bi.

1.27 Definicion i = (0, 1).

1.28 Teorema i2 = -1.

Demostraclon ;2 = (0, 1)(0, 1) = (-1,0) = -1.

1.29 Teorema Si a y b son dos numeros reales, sera (a,b) = a + bi,

Demostraclon

a + bi = (a, 0) + (b, 0)(0, 1)

= (a, 0) + (0, b) = (a, b).

1.30 Definicion Si a, b son reales y z = a + bi, entonces al numero complejo Z = a - bi se Ie 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 = Re(z),

b = Im(z).

1.31 Teorema Si z y w son complejos, entonces

(a) z + w = Z + w, (b) zw=z'w,

(c) z + z = 2 Re(z), z - z = 2ilm(z),

(d) zz es real y positivo (excepto cuando z = 0).

Demostraclon (a), (b) y (c) son triviales. Para probar (d), escribase z = a + bi, y notese que zz = a2 + b-,

1.32 Definicion Si Z es un numero complejo, su valor absoluto (0 modu- 10) I z I es la raiz cuadrada no negativa de zz; es decir, I z I = (zz),l2.

La existencia (y la unicidad) de I z I se concluye a partir del Teorema 1.21 y la parte (d) del Teorema 1.31.

Notese que cuando x es real, es x = x, y por consiguiente [x] = V x2• Asi que Ixl = x si x ~ 0, Ixl = - x si x < O.

16 PRINCIPIOS DE ANALISIS MATEMAnco

1.33 Teorema Siendo z y w numeros compiejos. Se tiene

(a) Izl > ° a menos que z = 0, 101 = 0, (b) Iii = Izl,

(c) [zw] = Izil w], (d) lRezl::;; [z],

(e) Iz + wi::;; Izl + Iwl·

Demostraclen (a) y (b) son evidentes. Si se hace z = a + bi, w = c + di, en donde a, b, c, d real. Entonces

o Izwl2 = (tzllwIY. Ahora (c) deduce de la afirmacion de unicidad del Teorema 1.21.

Para demostrar (d), notese que a2 :5 a2 + b2, por consiguiente

Para demostrar (e), notese que ZW es el conjugado de ZW, asi que zw + ZW = 2 Re (zw). Por 10 tanto

Iz + Wl2 = (z + w)(i + w) = zz + zw + zw + ww = I Z 12 + 2 Re (zw) + I W 12

::;; Izl2 +2lzwl + Iwl2

= I Z 12 + 21 z II w] + I w 12 = (I z 1 + I W 1)2.

Y por ultimo se obtiene (e) extrayendo raiz cuadrada en ambos miembros.

1.34 Notacien Si XI, ••• , xn son numeros complejos, escribimos

"

Xl + X2 + ... + XII = LXi·

J= 1

Terminamos esta seccion con una desigualdad importante, corrientemente Hamada desigualdad de Schwarz.

1.35 Teorema Si ai' ... , an y b., ... , b; son numeros compiejos, sera


Demostraci6n Pongamos A = Elajl2; B = Elbjl2; C = E{J_j0 (en todas las sumas de esta demostracion, j toma los valores 1, ... n). Si B = 0, sera b, = ... = b, = 0 y la conclusion es obvia. Supongamos, por tanto, que B > O. Por el Teorema 1.31, tenemos

I, 1 Baj - cs, 12 = I, (Baj - Cb)(Baj - Cbj)

=B2L: lajI2-BCL:a)'j-BCI,ajbj+ ICl2I,lbjl2 = B2A - BICl2

= B(AB - 1 Gl2).

Como cada termino de la primera suma es no negativo, vemos que

Como B > 0, se sigue que AB - 1 Cl2 ~ 0, que es la desigualdad deseada.

ESPACIOS EUCllDIANOS

1.36 Definiciones Para cada entero positivo k, sea Rk el conjunto de todas las k-adas ordenadas

donde XI'" ., xk son numeros reales, llamados coordenadas de x. Los elementos de Rk se llaman puntos, 0 vectores, especial mente cuando k > 1. Designaremos a los vectores por letras negritas. Si y = (vl"'" Yk) Y a un numero real, haremos

x + Y = (Xl + Yl, ... , Xk + Yt), cxx = «(%Xl' ••• , CXXk)

de modo que x + Y E Rk y ax E R«. Esto define la adicion de vectores, 10 mismo que la multiplicacion de un vector por un numero real (un escalar). Estas dos operaciones satisfacen las leyes conmutativa, asociativa y distributiva (la demostracion es elemental, comparando con las leyes analogas para los numeros reales) y hacen de Rk un espacio vectorial sobre el campo real. EI elemento cero de Rk (a veces llamado origen 0 vector nulo) es el punto 0, cuyas coordenadas son todas O.

Definimos tambien el llamado «producto interior» (0 escalar) de x y y

por

A:

x : y = I, XiY.

j= 1


y la norma de x por

(" )1/2

[x] =(X'X)1/2= fxf .

La estructura asi definida (el espacio vectorial R" con el producto interior y la norma) es el llamado k-espacio euclidiano.

1.37 Teorema Supongamos x, y, Z E Rk y que a es un numero real. Sera:

(a) [x] ~ 0;

(b) [x] = 0, si, y solo si, x = 0;

(c) [ex] = lod [x};

(d) [x : yl s Ixllyl;

(e) [x + yl :s; [x] + Iyl;

if) Ix-zl:S; Ix-yl + Iy-zl·

Demostraclon (a), (b) y (c) son evidentes y (d) es una consecuencia inmediata de Ia desigualdad de Schwarz. Por (d) tenemos

1 x + y 12 = (x + y) . (x + y) =x'x+2x'Y+Y'Y

:s; Ixl2 + 21xllyl + lyl2 = (j x] + lyl)2,

con 10 que queda demostrado (e). Finalmente, if> se sigue de (e) si sustituimos x por x - y y y por y - z.

1.38 Nota EI Teorema 1.37(a), (b) y if> nos permite (vease Cap. 2) considerar R) como un espacio metrico,

RI (el conjunto de todos los nurneros reales) suele llamarse recta, 0 recta real. Del mismo modo a R2 se Ie llama plano, 0 plano complejo (comparar las Definiciones 1.24 y 1.36). En estos dos casos la norma coincide con el valor absoluto del numero real 0 complejo correspondiente.

APENDICE

Se demostrara en este Apendice el Teorema 1.19 construyendo R a partir de Q. Esta construcci6n se dividira en varios pasos.

Paso 1 Los miembros de R seran determinados subconjuntos de Q, llamados cortaduras. Por definicion, una cortadura es cualquier conjunto a c Q con las tres propiedades siguientes:


(I) 0: no es vacio, 0: *- Q.

(II) Si p E 0:, q E Q, y q < p, entonces q E 0:. (III) Si p E 0:, entonces p < r para algun rEo:.

Las letras p, q, r, ... siempre denotaran numeros racionales, y 0:, B, 1',' .. se usaran para simbolizar cortaduras.

Notese que (III) significa simplemente que 0: no tiene un miembro mas grande; (II) implica dos hechos que se usaran con libertad:

Si p E 0: Y q ff 0:, entonces p < q. Si r fj: 0: Y r < s, entonces s fj:. 0:.

Paso 2 Al definir "0: < (j" esto significara que: 0: es un subconjunto propia de (j.

Comprobemos que esto cumple con los requisitos de la Definicion 1.5. Si 0: < (j y (j < 1', es evidente que 0: < 1" (Un subconjunto propio de un subconjunto propio es un subconjunto propio.) Tambien es claro que a 10 mas una de las tres relaciones siguientes

IX < p,

IX = p,

P<IX

puede ser cierta para cualquier par 0:, (j. Para mostrar que al menos una es cierta, supongase que las primer as dos no 10 son. Entonces 0: no es un subconjunto de (j. De aqui que hay un p E 0: con p Ej= (j. Si q E (j, se deduce que q < p (ya que p ~ (j), en consecuencia q E 0:, por (II). Entonces (j c 0:. Debido a que (j *- 0:, se concluye: (3 < 0:.

Es por esto que ahora R es un conjunto ordenado.

Paso 3 EI conjunto ordenado R tiene la propiedad de la minima cota superior.

Para demostrar esto, supongamos que A es un subconjunto de R, y que (j E R es una cota superior de A. Definase a I' como la union de todas las 0: EA. Dicho de otra forma, p e v si y solamente si p E 0: para alguna 0:

E A. Se demostrara a continuacion que I' E R y I' = sup A.

Como A es no vacio, existe una ~I EA. Esta ~I no es vacia. Ya que ~I c 1', I' es no vacia. En seguida, I' c (j (porque 0: c (j para cada 0: E A), y por 10 tanto I' "* Q. De aqui que I' satisface la propiedad (I). Para probar (II) y (III), tornese PEl'. Entonces Ii E 0:, para alguna 0:, EA. Si q < p, entonces q E 0:" por esto q E 1'; esto demuestra (II). Si se selecciona rEO:, de tal forma que r > p, se ve que rEI' (porque 0:, c 1'), y por 10 tanto I' satisface (III).

Asi que 'Y E R.

Es evidente que 0: $ I' para cad a 0: EA.

Supongase ahora que 0 < 1" Entonces hay un s E I' Y s fj:. o. Debido a que s E 'Y, S E 0: para alguna 0: EA. Por esto b < 0:, y 0 no es una cota superior de A.


Esto da el resultado deseado: 'Y = SUp A.

Paso 4 Si a E R y {3 E R, se define a + {3 como el conjunto de todas las sumas r + s, en donde rEa y S E {3.

Se define tambien O· como el conjunto de todos los numeros racionales negativos. Es claro que O· es una cortadura. Se verificara que los axiomas para fa adici6n (vease Definicion 1.12) son ciertos en R, en donde O· desempefia el papel de O.

(AI) Se tiene que mostrar que a + {3 es una cortadura. Es evidente que a + {3 es un subconjunto de Q que no es vacio. Si se toman r' ft a, s' 1= {3. Entonces r' + s' > r + s para cualesquiera r e a, s E {3. Es por esto que r' + s' 11: a + {3. De aqui que a + {3 tiene la propiedad (I).

Si se toma p=e a + {3. Entonces p = r + s, con r e.«, S E {3.

Si q < p, es q - S < r, asi q - SEa, y q = (q - s) + SEa + + {3. Entonces (II) se cumple. Si se escoge t e cc de tal manera que t > r. Entonces p < t + S Y t + SEa + {3. De donde (III) se cumple. (A2) a + {3 es el conjunto de todos los r + s, con r e a, S E {3. Por la misma definicion, {3 + a es el conjunto de todos los s + r. Debido a que r + s = S + r para todo r E Q, SEQ, se tiene a + {3 = = {3 + a.

(A3) Como en el punto anterior, esto se deriva de la ley asociativa en Q.

(A4) Si rEa y S E 0·, entonces r + s < r, en consecuencia r + s E a. De aqui que a + 0* c a. Para obtener la inclusion opuesta, tomese pEa, y rEa, r > p. Por 10 que p - r E 0*, Y P = r + + (p- r) E a + 0*. De donde a c a + 0*. Se concluye que a + 0* = a.

(A5) Con a E R fijo y {3 el conjunto de todos los peon la propiedad siguiente:

Existe r > 0 tal que - p - r fJ a.

Dicho de otra manera, algun numero racional mas pequeno que -p ya no esta en a.

Se mostrara que {3 E R y a + {3 = 0·.

Si s ft a y p = - S - 1, entonces - p - 1 1= a, de aqui que p E {3. De esta manera {3 no es vacio. Si q E a, entonces - q E {3. Asi {3 "* Q. En consecuencia, {3 satisface (I).

Tomando unp E {3, y r > 0, de manera que - p - r 11: a. Si q < p, entonces - q - r > - p - r, de aqui que - q - r ft a. Por 10 que q E {3, y (II) se cumple. Poniendo t = p + (rl2). Entonces t > p, y - t - (rl2) = - p - r 4- a, de manera que t E {3. En consecuencia {3 satisface (III).

Se ha probado que {3 E R.

LOS SISTEMAS DE LOS NUMEROS REALES Y DE lOS COMPlEJOS 21

Si r e tx y s E {3, entonces - s ¢ a, por esto r < - s, r + s < O. De aqui que a + {3 c: 0·.

Para pro bar la inclusion opuesta, tomese v E 0·, y hagase w = = - v12. Entonces w > 0, y hay un entero n tal que nw E a, pero (n + I)w f a. (Notese que esto depende del hecho ide que Q tiene la propiedad arquimediana!) Poniendo p = - (n + 2)w. Entonces p E {3, debido a que - p - w f a, y

v = nw + pea + fJ.

De aqui que O· c: a + {3.

Se concluye que a + {3 = 0·.

Por supuesto que esta {3 se denotara mediante - a.

Paso 5 Habiendo demostrado que la adici6n definida en el Paso 4 satisface los axiomas (A) de la Definicion 1.12, se concluye que la Proposici6n 1.14 es valida en R, y se puede probar uno de los requisitos de la Definicion 1.17:

Si a, {3, 'Y E R Y {3 < 'Y. entonces a + {3 < a + 'Y.

En verdad, es obvio de la definicion de + en R que a + {3 c: a + 'Y; si se tuviera a + {3 = a + 'Y, la ley de la cancelacion (Proposicion 1.14) implicaria {3 = 'Y'

Tambien se deduce que a > O· si y solamente si - a < 0·.

Paso 6 La multiplicacion en este contexto es un poco mas fastidiosa que la adicion, debido a que los productos de racionales negativos son positivos. Por esta razon nos restringiremos primero a R+, el conjunto de todas las a E R con a > 0·.

Si a E R+ y {3 E R+, entonces se define a{3 como el conjunto de todos los p tales que p ~ rs para r e cc, s E {3, r > 0, s > O.

Se define 1· como el conjunto de todos los q < 1.

Entonces se cumplen los axiomas (M) y (D) de la Definicion 1.12, con W en lugar de Fyi· desempeiia el papel de I.

Las demostracioncs son tan simi lares a las ofrecidas en el Paso 4 que se ornitiran.

En particular, notese que el segundo requisito de la Definicion 1.17 se cum pie: Si a > O· y {3 > 0·., entonces a{3 > 0·.

Paso 7 Se completa la definicion de la rnultiplicacion estableciendo que aO· = O·a = 0*, y

{(-rxx-fJ) rxfJ = - [( -a)fJ] - [rx • ( - fJ)]

si rx < 0·, fJ < 0·, si rx < 0·, fJ > 0·, si a > 0·, fJ < 0·.

22 pRINCIPIOS DE ANALISIS MATEMATICO

Los produetos del miembro dereeho se definieron en el Paso 6.

Habiendo probado (en el Paso 6) que los axiomas (M) se eumplen en R+, ahora es muy simple demostrarlos en R, por medio de la aplicacion repetida de la identidad '}' = - (-'}') que es parte de la Proposicion 1.14. (Vease el Paso 5.)

La demostracion de la ley distributiva

a(ft + y) = afJ + ay

se divide en varias partes. Por ejemplo, supongase que ex > 0*, {3 < 0*, {3 + + '}' > 0*. Entonees '}' = ({3 + '}') + (- {3), y (debido a que ya se sabe que la ley distributiva se eumple en R+)

ay = a(ft + y) + a . (- fJ).

Pero a . ( - {3) =

(a{3). Entonees

rxfJ + ay = a(ft + y).

Las otras partes se tratan en la misma forma.

Se ha completado ya la demostraci6n de que R es un campo ordenado con la propiedad de la minima cola superior.

Paso 8 Con eada r E Q se asocia el eonjunto r* que eonsta de todos los p E Q tales que p < r. Esevidente que eada r* es una eortadura; es decir, r* E R. Estas eortaduras satisfaeen las relaciones siguientes:

(a) r*+s*=(r+s)*, (b) r*s* = (rs)*,

(c) r* < s* si y solo si r < s.

Para probar (a) se eseoge p E r* + s*. Entonees p = u + v, en donde u < r, v < s. En eonseeuencia p < r + s, 10 eual expresa que p E (r + s)*.

De manera inversa, supongase que p E (r + s)*. Entonces p < r + s.

Si se eseoge I tal que 2t = r + s - p, hagase

r' = r - t, s' = s - t.

Entonces r' E r*, s' E s* Y P = r' + s', de modo que p E r* + S*.

Esto demuestra (a). La demostracion de (b) es similar.

Si r < s, entonces r E s*, pero r E r*; en conseeuencia r* < s*.

Si r* < s* entonces hay un P E s* tal que p E/' r*. En consecuencia r :::5 p < s, asi que r < s.

Esto demuestra (c).

lOS SISTEMAS 1)10 LOS NUMEROS REAlES Y DE lOS COMPIEJOS 23

Paso 9 Como se vio en el Paso 8, el reemplazo de los numeros racionales r por las correspondientes "cortaduras racionales" r* E R preserva las sumas, productos y el orden. Esto puede expresarse tam bien, diciendo que el campo ordenado Q es isomorfo al campo ordenado Q* cuyos elementos son las cortaduras racionales. Por supuesto que r* no es de ninguna manera el mismo que r, pero las propiedades que nos interesan (la aritmetica y el orden) son las mismas en los dos campos.

Esta identificacion de Q con Q* permite considerar a Q como un subcampo de R.

En terrninos de esta identificacion, la segunda parte del Teorema 1.19 se entiende bien. Notese que ocurre 10 mismo cuando los numeros reales se consideran como subcampo del campo complejo, y esto sucede tambien en un nivel mucho mas elemental, cuando los enteros se identifican como un subconjunto determinado de Q.

Es un hecho que dos campos orden ados cua/esquiera con la propiedad de la minima cola superior son isomorfos, pero esto no se dernostrara aqui. Por 10 tanto, la primera parte del Teorema 1.19 caracteriza completamente al campo real R.

Los Ii bros de Landau y Thurston que se citan en la Bibliografia se dedican completamente a sistemas de numeros reales. EI capitulo 1 del libro de Knopp contiene una descripcion mas pausada de como se puede obtener R a partir de Q. Otra construccion presentada en la seccion 5 dellibro de Hewitt y Stromberg, define a cada nurnero real como una clase de equivalencia de sucesiones de Cauchy de nurneros racionales (vease el Cap. 3).

Dedekind invento las cortaduras que se usaron en esta seccion. La construccion de R a partir de Q por medio de sucesiones de Cauchy se debe a Cantor. Cantor y Dedekind publicaron sus construcciones en 1872.

EJERCICIOS

A men os que se especifique 10 contrario, todos los nurneros que se mencionen en estos ejercicios seran reales.

1. Si res racional (r 7= 0) Y x es irracional, demuestre que r + x y rx son irracionales.

2. Demostrar que no hay ningun numero racional cuyo cuadrado sea 12.

3. Demostrar la Proposicion 1.15.

4. Sea E un subconjunto que no es vacio de un conjunto ordenado; supongase que ex es una cot a inferior de E y {3 es una cot a superior de E. Demostrar que 0' :s: (3.

5. Sea A un conjunto de nurneros reales que no es vacio, que est a acotado inferiormente. Si - A es el conjunto de todos los numeros - x, en donde x EA. Demostrar que

inf A = -sup(-A).


6. Sea b > I fijo.

(a) Si m, n, p, q son enteros, n > 0, q > 0, y r = min = plq, demostrar que

Por consiguiente tiene sentido definir b' = (blll)II". (b) Demostrar que tr-> = brbs si r y s son racionales.

(e) Si x es real, y se define B(x) como el conjunto de todos los numeros bl, donde I es racional y I :S x. Demostrar que

br =supB(r)

en la cual r es racional. En consecuencia tiene sentido definir

bx =supB(x)

para cada real x.

(d) Demostrar que bs+ Y = bXbY para todos los reales x y y.

7. Con b > I, y > 0 fijos, demostrar que hay un real unico x tal que bX = y, al completar el bosquejo siguiente. (A este x se Ie llama /ogaritmo de y de base b.) (a) Para cualquier entero positivo n, b" - 1 ~ neb - 1).

(b) En consecuencia b - 1 ~ n(b"· - 1).

(e) Si t > 1 y n > (b - 1)/(r - I), entonces bl/" < t.

(d) Si w es tal que b" < y, entonces bw+(l/n) < y para un n suficientemente grande; para ver esto apliquese la parte (e) con t = y' b:»,

(e) Si bw > y, entonces bw-(lIn) > y para un n suficientemente grande.

if) Considerar A como el conjunto de todos los w tales que b" < y, y mostrar que x = sup A satisface b" = y.

(g) Demostrar que x es unico.

8. Demostrar que en el campo complejo no puede definirse ningun orden para que este se vuelva un campo ordenado. Sugerencia: - 1 es un cuadrado.

9. Supongase que z = a + bi, w = c + di, y definase z < w si a < c, y tambien si a = c, pero cuando b < d. Demostrar que esto convierte al conjunto de los numeros complejos en un conjunto ordenado. (Por razones obvias, a este tipo de relacion de orden se Ie denomina orden diccionario 0 lexicografico.s ;,Tiene este conjunto ordenado la propiedad de la minima cota superior?

10. Supongase que z = a + bi, w = u + iv, y

Demostrar que Z2 = w si u ~ 0 y que (Z)2 = w si v :S O. Y concluyase que cada numero complejo (con una excepcion) tiene dos rakes cuadradas complejas.

11. Si z es un numero complejo, demostrar que existe un r ~ 0 y un numero complejo w con I w I = 1 tal que z = rw. i,Z determina siempre de manera unica a w y t!

lOS SISTEMAS DE LOS NUMEROS REALES Y DE LOS COMPLEJOS 15

12. Si ZI' ... , z, son complejos, demostrar que

13. Si x, y son complejos, demostrar que

Ilxl-lyll::;; Ix-yl·

14. Si Z es un numero complejo tal que I Z I = I, esto es, tal que zz = I, calcular

15. i.En que condiciones se produce la igualdad en la desigualdad de Schwarz?

16. Supongamos k ~ 3; x, y e R"; [x - yl = d > 0, v r > O. Demostrar: (0) Si 2, > d hay una infinidad de z e Rk tales que

Iz-xl = Iz-YI =r.

(b) Si 2, = d, hay solamente uno de tales z. (c) Si 2, < d, no hay tales z.

i.Como se modificarian estas afirmaciones si k fuera 2 0 I?

17. Demostrar que

Si x e Rk y y e R", Interpretarlo geometricarnente, como una propiedad de los paralelogramos.

18. Si k ~ 2 y x e R", demostrar que existe y e Rk tal que y * 0 pero x • y = O. i.Es tam bien verdad si k = I?

19. Suponer a e R" y b e R", Hallar c e R" y r > 0 tales que

Ix-al =2Ix-bl

si, y S910 si Ix-cl =r.

(Solucion: 3c = 4b - a, 3r = 21b - al.)

20. Refiriendose al Apendice, supongase que la propiedad (II) se omite de la definicion de cortadura, conservando las mismas definiciones de orden y la adicion. Mostrar que el conjunto ordenado resultante tiene la propiedad de la minima cot a superior y que la adicion satisface los axiomas (AI) al (A4) (icon un elemento cero ligeramente diferente!) pero no el (AS).

2

TOPOLOGIA BAsICA

CONJUNTOS FINITOS, NUMERABLES Y NO NUMERABLES

Empezamos esta seccion con una definicion del concepto de funcion.

2.1 Definicion Consideremos dos conjuntos A y B, cuyos elementos pueden ser objetos cualesquiera, y supongamos que con cada elemento x de A se asocia, de algun modo, un elemento de B que representaremos por f(x). Se dice que f es una furl cion de A en B (0 una aplicacion 0 mapeo de A en B).

El conjunto A se llama dominio de definicion de f (tambien se dice que f esta definida en A) y los elementos de f(x) se llaman va/ores de f. EI conjunto de todos los .valores de f se llama rango de f.

2.2 Definicion Sean A y B dos conjuntos y f un mapeo 0 aplicacion de A en B. Si E c A, se define f(E) como el conjunto de todos los elementos f(x) para x E E. A f(E) Ie llamamos imagen de E bajo f. En esta notacion, I(A) es el rango de f. Esta claro que f(A) c B. Si f(A) = B, decimos que f mapea 0 aplica A sobre B. (Se utiliza la palabra sabre, admitiendo para ella un significado mas especifico que el de en).

Si E c B, J' (E) representa el conjunto de todo x E A tal que f(x) E E. Llamamos af-I(E) imagen inversa de E bajof. Si y E B,J-I(y) es el conjunto de todos los x E A tales que f(x) = y. Si, para cada y E B, f-I(y) no

TOPOLOGiA BAslCA 27

esta integrado por mas de un elemento de A se dice que f es un map eo 1-1 (uno a uno) de A en B. Esto puede expresarse tarnbien como sigue: f es un mapeo I-I de A en B cuando f(xl) =I:; f(J0.) siempre que XI =I:; J0.; XI E A; x2 E A.

(La notacion XI =I:; J0. significa que XI Y J0. son elementos diferentes; en otro caso, escribiremos XI = J0.).

2.3 Definicion Si existe un mapeo 1-1 de A sobre B, decimos que A Y B pueden ponerse en correspondencia I-I, tambien Hamada biunivoca, que A y B tienen el mismo numero cardinal, 0 mas brevemente, que A y B son equivalentes, y escribimos A-B. Esta relacion tiene las propiedades siguientes, como se ve claramente:

Es reflexiva: A - A.

Es simetrica: si A - B, tambien B - A.

Es transitiva: si A - By B - C, tambien A-C.

Toda relacion con estas tres propiedades, se llama relaci6n de equivalencia.

2.4 Definicion Para todo entero positivo n, sea JII el conjunto cuyos elementos son los nurneros enteros I, 2, ... , n, y J el conjunto formado por todos los enteros positivos. Para todo conjunto A, decimos:

(a) A es fin ito si A - JII para algun n (el conjunto vacio se considera finito).

(b) A es infinito si no es finito. (c) A es numerable si A - J.

(d) A es no numerable si no es ni finito ni numerable. (e) A es a 10 mas numerable si es finito 0 numerable.

Para dos conjuntos finitos A y B, evidentemente tenemos A - B si, Y solo si, A y B contienen el mismo numero de elementos. Para los conjuntos infinitos, la idea «tener el mismo numero de elementos» es vaga, mientras que la nocion de correspondencia I-I conserva su c1aridad.

2.5 Ejemplo Sea A el conjunto de todos los numeros enteros. A es numerable. Para verto, consideremos la disposicion siguiente de los conjuntos A y J:

A: 0,1, -1,2, -2,3, -3, .,.

J: 1, 2, 3, 4, 5, 6, 7, ...

Podemos, en este ejemplo, dar una formula explicita para una funcion f de J en A que establece una correspondencia 1-1:


f(n)J(~

n-l

---

2

(n par),

(n impar).

2.6 Observacion Un conjunto finito no puede ser equivalente a uno de sus subconjuntos propios. Sin embargo, esto es posible para conjuntos infinitos, segun se ve en el ejercicio 2.5, en el que J es un subconjunto propio deA.

De hecho, podemos sustituir la Definicion 2.4(b) por la proposicion: A es infinito, si es equivalente a uno de sus subconjuntos propios.

2.7 Definicion Por sucesion entendemos una funcion f definida en el conjunto J de todos los enteros positivos. Si fen) = x;" para n E J, se acostumbra a representar la sucesion f por el simbolo {xn}, 0 a veces por XI' Xz, Xl, ... Los valores de f, esto es, los elementos Xn, se llaman terminos de la sucesion. Si A es un conjunto y xn E A para todo n E J, se dice que {xn} es una sucesion en A, 0 una sucesion de elementos de A.

Observese que los terminos XI' Xz, Xl,... de una sucesion no necesitan ser distintos.

Como todo conjunto numerable es el rango de una funcion 1-1 definida en J, podemos considerar un conjunto numerable como el rango de una sucesion de terminos distintos. Hablando mas libremente, podemos decir que los elementos de un conjunto numerable pueden ser «dispuestos en una sucesion».

A veces es conveniente sustituir J en esta definici6n por el conjunto de todos los enteros no negativos, esto es, comenzar con 0 en lugar de 1.

2.8 Teorema Todo subconjunto infinito de un conjunto numerable A, es numerable.

Demostraclon Supongamos E c: A y que E- es infinito. Dispongamos los elementos X de A en una sucesion {xn} de elementos distintos. Construyamos una sucesion {nk} como sigue:

Sea nl, el menor entero positivo tal que xnl E E. Elegidos lit, •.. , nk_1 (k = 2, 3, 4, ... ), sean nk el menor entero mayor que nk_1 y tal que x"k E E.

Poniendo f(k) = x"k (k = 1, 2, ,3, ... ) obtenemos una correspondencia 1-1 entre E y J.

EI teorema muestra que, hablando vulgarmente, los conjuntos numerables representan la «menor» infinidad; un conjunto que no es no numerable puede ser un subconjunto de uno numerable.

TOPOLOGiA BAslCA 29

2.9 Definicion Sean A y (} dos conjuntos y supongamos que a cada elemento 01 de A hay asociado un subconjunto de (} que representaremos por Ea.

El conjunto cuyos elementos son los conjuntos E; se representara por {Eal. En lugar de hablar de conjuntos de conjuntos, hablaremos a veces de una coleccion de conjuntos, 0 de una familia de conjuntos.

Se define la union de los conjuntos E; como el conjunto S tal que x E S si, y solo si, x E E; para, al menos, un 01 E A. Usaremos la notacion

(1)

Si A esta constituido por los enteros 1, 2 •... , n escribiremos

(2)

n

s= U Em

m=1

o

(3)

Si A es el conjunto de todos los enter os positivos, la notacion usual es

(4)

0()

S= U Em·

m=l

El simbolo 00 indica simplemente en (4), que se toma la union de una coleccion numerable de conjuntos, y no debe confundirse con los simbolos + 00 Y - 00 introducidos en la Definicion 1.23.

Se define la interseccion de los conjuntos Eo como el conjunto P tal que x E Psi, y solo si, x E E; para todo 01 E A. Usaremos la notacion

(5)

o

(6)

n

p = n Em = E, (') E2 (') ... (') E" ,

m=l

o

(7)

0()

p= n Em,

m=1

como para las uniones. Si A (') B no es vacio, decimos que A y B se in tersecan; 0 de otro modo: son ajenos.

2.10 EjempJos

(a) Supongamos que EI esta constituido por 1,2,3, y ~ por 2,3,4.

30 PRINCIPIOS DE ANAllSIS MATEMATlCO

E) u E, estara constituido por 1, 2, 3, 4; mientras que EI ("\ E: 10 estara por 2, 3.

(b) Sea A el conjunto de los nurneros reales x tales que 0 < x ::5 1. Para todo x E A, sea E, el conjunto de los nurneros reales y tales que o < y < x. Sera

(i) (ii)

(iii)

Ex e Ex si, y solo si, 0 < x $; z $; 1;

U Ex =E1;

XEA

n Ex es vacio;

xeA

(i) y (ii) son inmediatas. Para demostrar (iii), notemos que para todo

y > 0 y r;_ E, si x < y. De aqui, que y f/= () XEA Ex·

2.11 Observacion Muchas propiedades de las uniones e intersecciones son completamente similares a las de las sumas y productos; a veces incJuso se utilizan las palabras suma y producto y se escriben los simbolos L y II en lugar de U y n·

Las leyes conmutativas y asociativa se yen inmediatamente:

(8) (9)

AuB=BuA;

(A u B) u C = A u (B u C);

A ("\ B = B ("\ A.

(A ("\ B) ("\ C = A ("\ (B n C).

Asi, la ornision de parentesis en (3) y (6) esta justificada.

Tarnbien se conserva la ley distributiva:

(10)

A n (B u C) = (A n B) u (A n C).

Para demostrar esto, representemos el primer y segundo miembro de (10) por E y F, respectivamente.

Supongamos x E E. Entonces; x E A y X E B u C, esto es x E Box E C (es posible que en ambos). Por tanto, x E A n Box E A n C, de modo que x E F. Asi pues, E e F.

Continuando: supongarnos que x E F. Entonces, x E A n Box E A n C. Esto es, x E A, y X E B u C. Por tanto, x E A n (B u C), de modo que FeE.

De 10 cual se deduce que F = E.

Resenemos algunas otras relaciones que pueden demostrarse facilmente:

(11) (12)

A e Au B,

A n Be A.

Si 0 representa un conjunto vacio, sera

TOPOLOGiA BAslCA 31

(13)

Si A c B:

Au 0 = A,

A rv O = O.

(14)

Au B =B,

A (l B = A.

2.12 Teorema Sea IE., I, n = I, 2, 3, ... una sucesion de conjuntos numerabies y hagamos

00

(15) S = U e..

n= 1

S es numerable.

Demostracion Dispongamos cada conjunto Ell en una sucesion IXllk.l, con k = 1, 2. 3, ... y consideremos la disposicion en cuadro infinito:

(16)

Xrl" ~ ~ ~~~~

.Kf1 32 X33

41

en la que lc , elementos de Ell constituyen la fila n-sima. EI cuadro contiene todos los elementos de S. Estos elementos pueden disponerse en una sucesion como indican las flechas.

(17)

Si dos cualesquiera de estos conjuntos Ell tienen elementos comunes, apareceran mas de una vez en (17). Por tanto, hay un subconjunto T del conjunto de todos los enter os positivos, tal que S - T, 10 que demuestra que S es a 10 sumo numerable (Teorema 2.8). Como EI c S Y EI es infinito, S es infinito y, por tanto, numerable.

Corolario Supongamos que A es a 10 sumo numerable, y para cada a E A, B; es a 10 sumo numerable. Hagamos

T sera tam bien a lo sumo numerable.

Puesto Que T es equivalente a un subconjunto de (15).

2.13 Teorema Sea A un conjunto numerable y BII el conjunto de todas las n-tuplas (al, ••• , all)' donde a, E A (k = I, ... n) sin que los elementos ai' ... , an necesiten ser distintos. BII es numerable.

Demostracion Que BJ es numerable es evidente, pues BI = A. Su-

32 PRINCIPIOS DE ANAuSIS MATEMATlCO

pongamos que Bn_l es numerable (n = 2, 3, 4, ... ). Los elementos de B; son de la forma

(18)

(b, a)

(b E Bn-1, a E A).

Para cada b dado, el conjunto de pares (b,a) es equivalente a A, y por tanto numerable. Asi pues, B; es la union de un conjunto numerable de conjuntos numerables. Por el Teorema 2.12, B; es numerable.

EI teorema se demuestra por induccion.

Corolario EI conjunto de todos los numeros racionales es numerable.

Demostraci6n Aplicaremos el Teorema 2.13, con n = 2, haciendo observar que todo numero racional res de la forma bla, siendo a y b enteros. El conjunto de pares (a,b) y por tanto el de las fracciones bla es numerable.

De hecho, tambien es numerable el conjunto de todos los numeros algebraicos (ver Ejer, 2).

Que no todos los conjuntos infinitos son numerables, se ve en el siguiente teorema.

2.14 Teorema Sea A el conjunto de todas las sucesiones cuyos elementos son los digitos ° y 1. Este conjunto A, es no numerable,

Los elementos de A se disponen en sucesion como sigue: 1, 0, 0, 1, 0, 1, 1, 1, ....

Demostraci6n Sea E un subconjunto numerable de A y supongamos E constituido por las sucesiones Sl' oS:!, 53, ... Construimos una sucesion s como sigue: si el digito n-esimo en sn es 1, hacemos que el n-esimo de s sea 0, y viceversa. La sucesion s difiere, pues, de cada elemento de E al menos en un lugar; por tanto, s f= E. Pero es claro que sEA, por 10 cual E es un subconjunto propio de A.

Hemos demostrado que todo subconjunto numerable de A es un subconjunto propio de A. Se deduce de aqui que A es no numerable (porque de otro modo A seria un subconjunto propio de A, 10 que es absurdo).

La idea de la demostracion anterior fue utilizada primeramente por Cantor y se llama proceso diagonal de Cantor, porque si las sucesiones Sl , oS:! , 53, ... estan colocadas en una disposicion como en (l6), los elementos de la diagonal son los que intervienen en la construccion de la nueva sucesion.

Los lectores que esten familiarizados con la representacion binaria de los numeros reales (base 2 en lugar de 10) se daran cuenta de que el Teorema

TOPOLOGiA BAslCA 33

2.14 implica que el conjunto de todos los numeros reales es no numerable. Daremos una segunda demostracion de este hecho en el Teorema 2.43.

ESPACIOS METRICOS

2.15 Definicion Un conjunto X cuyos elementos llamaremos puntas, se dice que es un espacio metrico si a cada dos puntos p y q de X hay asociado un numero real d(p,q) llamado distancia de p a q, tal que

(a) d(p, q) > 0 si p ;f q; dip, p) = 0; (b) d(p, q) = d(q,p);

(c) d(p, q) :::;; d(p, r) + d(r, q), para todo rEX.

Cualquier funci6n con las tres propiedades anteriores se llama funcion distancia 0 metrica.

2.16 Ejemplos Los ejemplos mas importantes de espacios metricos, desde nuestro punto de vista, son los espacios euclidianos R", especiaJmente RI (la recta real) y R2 (el plano complejo); la distancia en Rk se define por

(19)

d(x, y) = I x - y I

(x, Y E Rl).

Por el Teorema 1.37, Jas condiciones de la definicion 2.15 quedan satisfechas por (19).

Es importante observar que todo subconjunto Y de un espacio metrico X, es a su vez un espacio rnetrico, con la misma funcion distancia; porque esta claro que si se cumplen las condiciones (a) a (c) de la Definicion 2.15 para p, q, rEX, tambien se cumpliran si imponemos a p, q, r la condicion restrictiva de pertenecer a Y.

Asi pues, todo subconjunto de un espacio euclidiano, es un espacio metrico. Otros ejemplos son los espacios rc (K) y 22 (JL), que se tratan en los capitulos 7 y 11, respectivamente.

2.17 Definicion Por segmento (a,b) queremos significar el conjunto de todos los numeros reales x tales que a < x < b.

Por intervalo [a,b] entendemos el conjunto de todos los numeros reales x tales que a -s x -s b.

Ocasionalmente encontraremos «intervalos semi-abiertos» [a,b) y - (a,b], el primero de los cuales esta constituido por todo x tal que a ~ x < b, y el segundo por todo x para el cual a < x ~ b.

Si a, < b, para i = 1, ... , k, el conjunto de todos los puntos, x = = (x,; ... , xk) en R", cuyas coordenadas satisfacen las desigualdades a, ~ x, ~ bi (l ~ i ~ k) se llama celda-k. Asi, una celda-l es un intervaJo, una celda-2 un rectangulo, etc.


Si x E R" y r > 0, se define la bola abierta (0 cerrada) B con centro en x y radio r como el conjunto de todo Y E R' tal que i y - x I < r (0 y - x I ~ r).

Llamaremos convexo a un conjunto E c R', si

J.x + (I - l)y E E

cuando x E E, Y E E y 0 < ).. < 1.

Por ejemplo, las bolas son convexas. Porque si i Y - x I < r I z - x I < r, Y ° < ). < 1. tenernos

IAy+(l--l)z-xl = 1)·(y--X)+(l-A)(Z-x)1

~A_ly-xl +(l-A_)lz-xl <Ar+(l-A)r=r.

La misma dernostracion se aplica a las bolas cerradas. Es tam bien facil de ver que las celdas-k son convexas.

2.18 Definicion Sea X un espacio met rico. Se entiende que todos los puntos y conjuntos mencionados a continuacion son elementos y subconjuntos de X.

(a) Vecindad (0 entorno) de un punto pes un conjunto N,(P) formado por todos los puntos q tales que d(p,q) < r. Al numero r se Ie llama radio de N, (P).

(b) Un punto pes un punto limite del conjunto E si toda vecindad de p contiene un punto q "* p tal que q E E.

(c) Si pEE Y P no es un punto limite de E, apse Ie llama pun to aislado de E.

(d) E es cerrado si todos sus puntos limites pertenecen a d.

(e) Un punto pes interior a E si existe una vecindad N de p tal que N c: E.

if) E es abierto si todos sus puntos son interiores.

(g) EI complemento de E (representado por E' ) es el conjunto de todos los puntos p E X tales que p 1$ E.

(h) E es perfecto si es cerrado y todos sus puntas son puntos limites.

(i) E es acotado si hay un nurnero real M y un punto q E X tales que d(p,q) < M para todo pEE.

(j) E es denso en X si todo punta de X es punta limite de E, 0 punto de E (0 ambas casas a la vez).

Observemos que en R' las vecindades son segmentos, mientras que en R:' son circulos.

2.19 Teorema Toda vecindad es un conjunto abierto,

TOPOlOGiA RAsKA 35

Demostracion Consideremos una vecindad E = N,(p), y sea q un punto eualquiera de E. Hay un nurnero real positivo h, tal que

d(p, q) = r - h.

Para todo punto s para el eual d(q,s) < h tendremos, pues

d(p, s) ::5: d(p, q) + d(q, s) < r - h + h = r,

de modo que sEE. Asi pues, q es un punto interior de E.

2.20 Teorema Si p es un punto limite de un conjunto E, toda vecindad de p contiene infinitos puntos de E.

Demostraelon Supongamos que hay una vecindad N de p que solamente contiene un numero finito de puntos de E. Sean q" ... , q" esos puntos de N rv E que son distintos de p, y hagamos

r = min d(p, q",)

1 :!Oms"

[usaremos est a notacion para expresar el menor de los nurneros dtp.q.), ... , d(P,qn»)' EI minima de un eonjunto finito de numeros positivos es, evidentemente, positivo, de modo que r > O.

La veeindad N,(P) no contiene ningun punto q de E tal que q "* "* p, de modo que p no es punto limite de E. Esta contradiccion, demuestra el teorema.

Corolario Un conjunto finito de puntas no tiene puntos limites.

2.21 Ejemplos Consideremos los siguientes subeonjuntos de R~:

(a) EI eonjunto de todos los numeros eomplejos z tales que I z I < I.

(b) El eonjunto de todos los numeros complejos z tales que I z I :5 I.

(c) Un conjunto finito.

(d) EI conjunto de todos los enteros.

(e) EI conjunto constituido por los numeros lin (n = I, 2, 3, ... ). Notemos que este eonjunto E tiene un punto limite (este es, z = 0), pero ningun punto de E es punto limite, con 10 que se ve la diferencia entre poseer un punto limite y contenerle.

(f) EI conjunto de todos los nurneros complejos (esto es, RC). (,In EI segmento (a,b).


Observemos que (d), (e) y (g) pueden ser considerados tambien como subconjuntos de RI.

A continuacion se expresan en una tabla algunas propiedades de estos conjuntos:

Cerrado Abierto Perfecto Acotado
(a) No Si No Si
(b) S. No Si S.
(c) Si No No Si
(d) Si No No No
(e) No No No Si
if) Si Si Si No
(g) No No Si En (g) hemos dejado la segunda columna en blanco. La razon es que el segmento (a,b) no es abierto si le consideramos como un subconjunto de R2, pero si es un subconjunto abierto de RI.

2.22 Teorema Sea tE",} una coleccion (finita 0 tnfinita) de conjuntos E",. Sera:

(20)

Demostraci6n Sean A y B el prlmero y el segundo miembro de (20). Si x E A, entonces x ~ U", E",; por tanto x f. E", para cualquier Q, y X E Ee.,. para todo Q, de modo que x E n E'i.. Asi pues, A c B.

Inversamente, si x E B, estara x E E'i. para todo Q, y X ¢ E", para cualquier Q, y de aqui x ¢ U'" E"" de modo que x E (Va E",Y. Asi pues, B c A.

Se deduce pues, que A = B.

2.23 Teorema Un conjunto E es abierto, si y solo si su complemento es cerrado.

Demostraelon Supongamos, primeramente que E: es cerrado, y elijamos un x E E. En este caso, x ¢ E: y x no es punto limite de E", Por tanto, existe una vecindad N de x tal que Ee n N es vacio, esto es, NeE. Este x es un punto interior de EyE es abierto.

Ahora, supongamos E abierto y sea x un punto limite de E«.

Cad a vecindad de x contiene un punto de E«, de modo que x no es punto interior de E. Como E es abierto, esto significa que x E E«, de donde se deduce que E: es cerrado.

Corolario Un con junto F es cerrado si, y solo si, su complemento es abierto.

TOPOLOGiA BAslCA 37

2.24 Teorema

(a) Para toda coleccion {G",} de conjuntos abiertos, U .. G", es abierto. (b) Para toda coleccion {F",j de conjuntos cerrados, naF" es cerrado. (c) Para toda coleccion finita GI, ••• .O; de con juntos abiertos, ni= 1 G; es abierto,

(d) Para toda coleccion finita F.., ... , F; de con juntos cerrados, Ui=lF; es cerrado.

Demostraclon Hagamos G = U .. G",. Si x E G, tendremos que x E Got para algun Q:. Como x es un punto interior de G"" es tambien un punto interior de G, y G es abierto, 10 que demuestra (a).

Por el Teorema 2.22,

(21)

y Fc;. es abierto, por el Teorema 2.23. Por tanto (a) implica que (21) es abierto y, por tanto, n. Fa cerrado.

Ahora, hagamos H = ni=lG;. Para todo x E H, existen vecindades IV; de x, con radios r., tales que IV; c: G; (i = 1, ... , n). Hagamos

r = min (rl' ... , rn),

y sea N la vecindad de x de radio r. Entonces, N c: G; para i = 1, ... , n de forma que N c H, y H es abierto.

Tomando complementos de (c) se deduce (d):

2.25 Ejemplos En los apartados (c) y (d) del teorema precedente es esencial el caracter finito de las colecciones. Para verlo, sea Gn el segmento

( - ~,~) (n = 1, 2, 3, ... ): o, es un subconjunto abierto de RI.

Hagamos G =n:'=lGn; G estara constituido por un solo punto (esto es, x = = 0) y no es, por consiguiente, un subconjunto abierto de RI.

Asi, pues, la intersecci6n de una colecci6n infinita de conjuntos abiertos no es necesariamente abierta. Del mismo modo, la uni6n de una colecci6n infinita de conjuntos cerrados no es necesariamente cerrada.

2.26 Definicion Si X es un espacio rnetrico, E c: X y E' representa al conjunto de todos los puntos limite de E en X, entonces la cerradura" de E es el conjunto E = E u E'.

·N. del E.: En Espana y Sudamerica, clausura.

38 PRINCIPIOS DE ANALISIS MATEMATlCO

2.27 Teorema Si X es un espacio metrico y E c X, entonces

(a) E es cerrado,

(b) E = E si, Y solo si, E es cerrado,

(c) E c F para cada conjunto cerrado F c X tal que E c F.

De (a) y (c) es facil ver que E es el subconjunto cerrado mas pequeiio de X que contiene E.

Demostraclon

(a) Si p E X Y P t= E, entonces p no es punto de E ni tampoco punto limite de E. Por consiguiente, p tiene una vecindad que no intersecta E. Por tanto el complemento de E es abierto. De aqui que E es cerrado.

(b) Si E = E, (a) implica que E es cerrado. Si E es cerrado, entonces E' c E [por las Definiciones 2.18(d) y 2.26]; por 10 tanto E = E. (c) Si F es cerrado y F:::> E, entonces F :::> F', de aqui que F :::> E'. Esto es F :::> E.

2.28 Teorema Sea E un conjunto de numerus reales acotado superiormente y que no es vacio. Si y = sup E. Entonces y E E. Por consiguiente y E E si E es cerrado.

Comparese esto con los ejemplos de la seccion 1.9.

Demostracion Si y E E, entonces y E E. Supongase que y ¢ E. Entonces para cada h > 0 existe un punto x E E tal que y - h < x < y, porque de otra forma y - h seria una cota superior de E. De aqui que y es un punto limite de E. Por consiguiente, y E E.

2.29 Observacion Supongamos E eYe X, siendo X un espacio metrico. Decir que E es un subconjunto abierto de X significa que a cada punto p E E hay asociado un nurnero positivo r, tal que las condiciones d(p,q) < r y q E X implica que q E E. Pero hemos visto anteriormente (Sec. 2.16) que Y es tarnbien un espacio metrico, por 10 que nuestras definiciones se pueden hacer igual con Y. Para ser mas explicitos, diremos que E es abierto relativo en Y si a cada pEE hay asociado un r > 0, tal que q E E cuando d(p,q) < r y q E Y. El Ejemplo 2.21(g) mostro que un conjunto puede ser abierto relativo en Y sin ser un subconjunto abierto de X. Sin embargo, hay una relacion sencilla entre estos conceptos, que estableceremos ahora.

2.30 Teorema Supongamos Y c X. Un subconjunto E de Yes abierto relativo en Y si, y solo si E = Y n G para a/gun subconjunto abierto G de X.

TOPOLOGiA BAsKA 39

Demostraelen Supongamos que E es abierto relativo en Y. Para cada pEE hay un numero positivo rp' tal que las condiciones d(p,q) < rp y q E Y implican que q E E. Sea ~ el conjunto de todos los q E X, tales que d(p,q) < rp y definamos

Por los Teoremas 2.19 y 2.24, G sera un subconjunto abierto de X.

Como p E ~ para todo pEE, es claro que E c G ('\ Y. Por nuestra eleccion de ~, tenemos que ~ ('\ Y c E para todo pEE, de modo que G ('\ Y c E. Asi pues, E = G ('\ Y, con 10 que queda demostrada la mitad del teorema.

Inversamente, si G es abierto en X y E = G n Y, todo pEE tiene una vecindad ~ c G. Por tanto, ~ ('\ Y c E, de modo que E es abierto relativo en Y.

CONJUNTOS COMPACTOS

2.31 Definicion Llamaremos cubierta abierta de un con junto E en un espacio metrico X ala coleccion {Gal de subconjuntos abiertos de X, tales queE cU .. G ...

2.32 Definicion Se dice que un subconjunto K de un espacio metrico X es compacto si toda cubierta abierta de K contiene una subcubierta finita,

Mas explicitamente, la condicion es que si (Gal es una cubierta abierta de K, hay un numero finito de indices (XI' ••• (Xn' tales que

La nocion de compacticidad es de gran importancia en analisis, especialmente en relacion con la continuidad. (Cap. 4).

Se ve claramente que todo conjunto finito es compacto. La existencia de una extensa clase de conjuntos compactos infinitos en Rs, se deduce del Teorema 2.41.

Ya hemos observado (en la Sec. 2.29) que si E eYe X, E puede ser abierto relativo en Y, sin ser abierto relativo en X. La propiedad de ser abierto depende, pues, del espacio en el que esta sumergido E. Igualmente es cierto para la propiedad de ser cerrado.

Sin embargo, es mas facil utilizar la compacticidad, del modo que vamos a ver. Para formular el proximo teorema, diremos provisionalmente, que K es compacto relativo en X si se cumplen las condiciones de la Definicion 2.32.

2.33 Teorema Supongamos KeY c X. K es compacto relativo en X si, y solo si K es compacto re/ativo en Y.


En virtud de este teorema podemos, en muchos casos, considerar conjuntos compact os como espacios metricos en si mismos, sin prestar atencion al espacio que los contiene. En particular, aunque tiene escaso sentido hablar de espacios abiertos 0 cerrados (todo espacio metrico X es un subconjunto abierto de si mismo, asi como tambien un subconjunto cerrado de si mismo), tendril sentido hablar de espacios metricos compactos.

Demostracibn supongamos K compacto relativo en X, y sea IV,,] una coleccion de conjuntos, abierta relativa en Y, tal que K c: UII Va. Por el Teorema 2.30, existen conjuntos Ga, abiertos relativos en X, tales que V" = Y n G", para todo a; y como K es compacto relativo en X, tendremos:

(22)

K c: Gil, U ..• U Gil"

para cierta eleccion de un numero finito de indices al, ••• , an. Como K c: Y (22) implica que

(23)

K c: VII, U ••• u V ~.

Lo que demuestra que K es compacto relativo en Y.

Inversamente, supongamos que K es compacto relativo en Y y sea IG,,] una coleccion de subconjuntos abiertos de X que cubre a K. Hagamos V" = Y n G,,: (23) se cumplira para cierta eleccion de al, ••• , an' Y como V" c: G" (23) implica (22); 10 que completa la demostracion.

2.34 . Teorema Los subconjuntos compactos de espacios metricos, son cerrados.

Demostracibn Sea K un subconjunto compacto de un espacio metrico X. Demostraremos que el complemento de K es un subconjunto abierto de X.

Supongamos p E X Y P ¢ K. Si q E K, sean ~ y Wq vecindades de p y q, respectivamente, de radios menores que ld(p,q) [ver la Definicion 2.18(a»). Como K es compacto, hay un numero finito de puntas q., ... , q; en K, tales que

Si V = ~I n ... n Vqn, V es una vecindad de p que no interseca a W. Por tanto, V c: Ks , de modo que p es un punto interior de KC; de donde se deduce el teorema.

TOPOLOGiA BAsICA 41

2.35 Teorema Los subconjuntos cerrados de conjuntos compactos, son compactos.

Demostraci6n Supongamos F eKe X; F cerrado (relativo en X) y K compacto. Sea {V",1 una cubierta abierta de F. Si se afiade pc a I V", I, se obtiene una cubierta abierta {1 de K. Como K es compacto, hay una subcoleccion finita tJ) de {1 que cubre a K y, por tanto, a F. Si Fc es un elemento de tJ), podemos sacarle de Cl>, quedando aun una cubierta abierta de F. Hemos demostrado asi que una subcoleccion finita de (Val cubre a F.

Corolario Si F es cerrado y K compacto, F n K es compacto

Demostraci6n Los Teoremas 2.24(b) y 2.34, demuestran que F n K es cerrado; como F rv K c K, el teorema 2.35 demuestra que F n K es compacto.

2.36 Teorema Si {Kal es una coleccion de subconjuntos compactos de un espacio metrico X, tal que la interseccion de toda subcoleccion finita de {K",I es no vacia, n K; es no vacia.

Demostraci6n Tomemos un elemento KI de {Kal Y hagamos Ga = = Ks; Admitamos que ningun punto de KI pertenece a todos los Ka. En estas condiciones, los conjuntos G; forman una cubierta abierta de KI, Y como KI es compacto, hay un numero finito de indices aI' ... , an' tal que KI c G"" v ... v Gan• Pero esto significa que

es vacio, en contra de la hipotesis,

Corolario Sf {Kn I es una sucesi6n de conjuntos compactos no vacios, tales que K; ~ Kn+ I (n = I, 2, 3, ... ), ni K; es no vacio.

2.37 Teorema Sf E es un subconjunto infinite de un conjunto compacto K, E tiene un pun to limite en K.

Demostraci6n Si ningun punto de K fuera punto limite de E, todo q E K tendria una vecindad Vq que contendria a 10 mas un punto de E (esto es, q si q E E). Esta claro que ninguna subcoleccion finita de {Vq I puede cubrir a E; y 10 mismo sucede con K, luego E c K, 10 que contradice la compacticidad de K.

2.38 Teorema Si {In I es una sucesion de intervalos en RI, tal que 1" ~

In: I (n = 1, 2, 3, ... ), ni In es no vacfa.

42 PRINCIPIOS DE ANAuSIS MATEMAnco

Demostraci6n Si In = [an,bn], sea E el conjunto de todos los an' E sera no vacio y acotado superiormente (por bl)' Sea x el sup de E. Si m y n son enter os positivos:

de modo que x :S bm para todo m. Como es obvio que am :S x, vemos que x E L; para m = 1, 2, 3, ...

2.39 Teorema Sea k un entero positivo. Si {In} es una sucesion de celdask, tales que In ~ In+1 (n = 1, 2, 3, ... ), nr In es no vacfo.

Demostraci6n Supongamos que In consta de todos los puntos x = (xl, ••• , xk), tales que

(1 5:.j 5:. k;n = 1,2,3, ... ),

y hagamos In,j = [an,j,bnJ]. Para cadaj, la sucesion (In) satisface la hipotesis del Teorema 2.38. Por tanto, existen numeros reales xj (1 :S j :S k), para los cuales

a",} 5:. xj s b",}

(1 5:.j ~ k; n = 1, 2,3, ... ).-

Llamando x* = (x., ... , xZ), vemos que x* E In para n = 1,2,3, ... de 10 que se deduce el teorema.

2.40 Teorema Toda celda-k es compacta.

Deraostraelo» Sea I,una celda-k constituida por todos los puntos x = (xl,···, xk), tales que ~ :S JS :S bj (l :S j :S k). Hagamos

Sera I x - y I :S 0, si x E I, eYE I.

Supongamos, para llegar a una contradiccion, que existe una cubierta abierta {Gal de I que no contiene ninguna subcubierta finita de I. Hagamos S = (~ + b)l2. Los interval os [~,s] y [S,b)] determinaran 2k celdas-k Qi' cuya union es I. Al menos uno de estos conjuntos Q, que llamamos II, no puede ser cubierto por ninguna subcoleccion finita de (Gal (de otro modo I podria ser asi cubierto). A continuacion, dividiremos II y continuaremos el proceso, obteniendo asi una sucesion {In I con las siguientes propiedades

TOPOLOGiA BAsICA 43

(a) 1:::> 11 :::> 12 :::> 13 :::> .•• ;

(b) In no es cubierto por ninguna subcoleccion finita de IGal (c) Si x E In y Y E In' I X - Y I :5; 2-n o.

Por (a) y el Teorema 2.39, hay un punto x* que pertenece a todo In. Para algun a, x* E Ga. Como Ga es abierto, existe un r'> 0, tal que I y-x* I <r implica que y EGa. Si n es tan grande que 2-no < r (tal n existe, porque de otro modo sen a 2n :5;o/r para todo entero positivo n, 10 que es absurdo) porque R es arquimediano (c) implica que In eGa, 10 que esta en contradicci6n con (b), quedando completa la demostraci6n.

La equivalencia de (a) y (b) del proximo teorema, se conoce por teorerna de Heine-Borel.

2.41 Teorema Si un conjunto E en R" tiene una de las tres propiedades siguientes, tiene tambien las otras dos.

(a) E es cerrado y acotado (b) E es compacto I

(c) Todo subconjunto infinito de E tiene un punto limite en E.

Demostraeien Si se cumple (a) E c [para alguna celda-k lyse deduce (b) de los Teoremas 2.40 y2.35. El Teorema 2.37 demuestra que (b) implica (c). Queda por demostrar que (c) implica (a).

Si E no es acotado, contiene puntos x" con

(n = 1, 2, 3, ... ).

El conjunto S constituido por estos puntos x" es infinito y se ve inmediatamente que no tiene ningun punto de limite en R* y, por tanto, en E, por 10 que (c) tiene como consecuencia que E es acotado.

Si E no es cerrado, hay un punto Xo E R" que es punto limite de E, pero no pertenece a E. Para n = 1,2,3, ... existen puntos xn E E, tales que I x" - Xo I < 1/ n. Sea S el conjunto de estos puntos x,,: S sera infinito (de otro modo I Xn - Xo I tendria un valor positivo cons tante para infinitos n) y tiene a Xo como punto limite y no tiene ningun otro en Rr , porque si Y E R* y y *" Xc! seria

IxN-yl ~ IXo-yl-lx,,-xol 1 1

~ IXo-YI-~~2Ixo-YI


para todos los valores de n, excepto un niunero finito de ellos, 10 que demuestra que y no es punto limite de S (Teoccma 2.20).

Por tanto, S no tiene puntos limite en E; por to que E debe ser cerra do si se cumple (c).

Debemos hacer notar, en este punto, que (b) y (c) son equivalentes en todo espacio rnetrico (Ejer. 26), pero que (a), en general, no implica (b) y (c). Se dan ejemplos en el Ejercicio 16 y en el espacio ,!l'2, tratado en el capitulo 11.

2.42 Teorema (Weierstrass) Todo subconjunto infinito acotado de Rk tiene un punto limite en Rs,

Demostraci6n Por ser acotado, el conjunto E en cuestion es un subconjunto de una celda-k I c: Rs . Por el Teorema 2.40, I es compacto; y, por tanto, E tiene un punto limite en I, por Teorema 2.37.

CONJUNTOSPERFECTOS

2.43 Teorema Sea P un conjunto perfecto no vacfo en Rr . P es no numerable.

Demostraci6n Como P tiene puntos limite, debe ser infinito. Supongamosle numerable y representemos sus puntos por ~, Xz, ~, ... Construiremos una sucesion I V" J de vecindades, como sigue:

Sea V; una vecindad de ~. Si V; contiene a todo Y E R«, tal que I Y - ~ I <r, se define la cerradura ~ correspondiente, como el conjunto de todos los Y E R«, tales que I Y - ~ I -sr.

Supongamos que se ha construido v" de modo que v" n P es no vacio. Como todo punto de P es punto limite de P, hay una vecindad v" + I' tal que (i) v,; + lev,,; (ii) x" ~ v,; + I; (iii) v,,+ I n Pes no vacio. Por (iii), v" + I satisface nuestras hipotesis inductivas y puede realizarse la construcci6n.

Hagamos K; = v" n P. Como V" es cerrado y acotado, v,; es compacto. Como x" fi K"+I ningun punto de P pertenece anf Kn. Como K; c P, esto significa que nf K" es vacio. Pero todo K" es no vacio por (iii) y K; ~ K,,+ I por (i), 10 que contradice al corolario del Teorema 2.36.

Corolario Todo intervalo [a,b] (a < b) es no numerable. En particular. el conjunto de todos los numeros reales es no numerable.

2.44 EI conjunto de Cantor El conjunto que vamos a construir, ahora demuestra que existen conjuntos perfectos en RI que no contienen ningun segmento.

TOPOLOGiA BAslCA 45

Sea Eo el intervalo [0,1). Separemos el segmento (l,t), y sea E. la reunion de los intervalos.

[0, t] [t, 1].

Separemos los tercios centrales de estos intervalos, y sea Ez la union de los intervalos

[0, t), [t,·H [.g., n [.;., 1].

Continuando de este modo; obtenemos una sucesion de conjuntos com pactos En, tales que

(a) E.::> E2 ::> E3 ::> ••• ;

(b) En es la union de 2n intervalos, cada uno de longitud 3-n.

El conjunto

00

p=nE"

,,= 1

se llama conjunto de Cantor. Pes, evidentemente, compacto y el Teorema 2.36 demuestra que es no vacio.

Ningun segmento de la forma

(24)

(3k + 1 3k + 2) ---yn' ---y;- ,

donde k y m son enteros positivos, tiene un punto comun con P. Como todo segmento (cx,(3) contiene a un segmento de la forma (24), si

3-m P-IX

<--,

6

P no contiene a ningun segmento.

Para demostrar que P es perfecto basta hacer ver que no contiene ningun punto aislado. Sea x E P Y S un segmento que contiene a x. Sea In el intervalo de En que contiene a x. Elijamos n suficientemente grande para que In C S y sea xn un extremo de In tal que Xn *" x.

De la construccion de P se deduce que xn E P, por 10 que x es un punto limite de P y este es perfecto.

Una de las propiedades mas interesantes del conjunto de Cantor es que nos proporciona un ejemplo de conjunto no numerable de medida cero (el concepto de medida, se estudiara en el Cap. 11).


CONJUNTOS CONEXOS

2.45 Definicion Dos subconjuntos A y B de un espacio metrico X se dice que son separados si A n By A n B son vacios, es decir, si ningun punto de A pertenece a la cerradura de B y ningun punto de B pertenece a la cerradura de A.

Un conjunto E c X se dice que es conexo si E no es la union de dos conjuntos separados que no son vacios.

2.46 Observacion Es obvio que los conjuntos separados son ajenos, pero los conjuntos ajenos no necesariamente son separados. Por ejemplo, el intervalo [0, 1] Y el segmento (1, 2) no son separados, debido a que 1 es un punto limite de (1, 2). No obstante, los segmentos y (0, 1) son separados.

Los subconjuntos conexos de la recta real tienen una estructura particularmente sencilla:

2.47 Teorema Un subconjunto E de la recta real R' es conexo si, y solamente si tiene la siguiente propiedad: Si x E E, Y E E, Y x < Z < y, en tonces Z E E.

Demostraelen Si existe x E E, Y E E, y algun Z E (x,y) tal que Z 4:

E, entonces E = Az U B, donde

Az = E n ( -00, z),

Bz =E n (z, 00).

Como x E Az y Y E Bz, A y B no son vacios. Ya que Az c (- (Xl, z) y B, C (Z, (Xl), estos son separados. De aqui E no es conexo.

De manera inversa, sup6ngase que E no es conexo. Entonces hay conjuntos A y B separados que no son vacios tales que A v B = E. Si se toman XE A, Y E B, y se supone (sin perder generalidad) que x < y. Se define ahora

z = sup (A n [x, y]).

Por el Teorema 2.28, Z E .if; de aqui que z ¢ B. En particular, x :s; z < y.

Si z f- A, se deduce que x < z < y y z 4. E.

Si Z E A, entonces Z ¢ II, en consecuencia existe Zl tal que Z < Zl < Y y Zl f B. Por 10 tanto, x < Zl < Y y Zl f. E.

EJERCICIOS

1. Demostrar que el conjunto vacio es un subconjunto de cad a conjunto,

2. Se dice que un numero complejo z es algebraico si hay enteros 00 •...• an. que no son todos cero, tales que

TOPOlOGiA BAsICA 47

Dernostrar que el conjunto de todos los numeros algebraicos es numerable. Sugerencia: Para cada entero positivo N hay solo un nurnero finito de ecuaciones con

n+ 1001 + jot! + ... + lanl =N.

3. Demostrar que existen nurneros reales que no son algebraicos.

4. loBs numerable el conjunto de todos los numeros reales irracionales?

5. Construir un conjunto acotado de numeros reales que tenga exactamente Ires puntos Iimites.

6. Si E' es el conjunto de todos los puntos limite de un conjunto E. Demostrar que E' es cerrado. Demostrar tambien que EyE tienen los mismos puntos limite. (Recordar que E ~ E u E'.) loSiempre tienen EyE' los mismos puntos limite?

7. Sean AI' A2, A3, ... subconjuntos de un espacio metrico,

(a) Si B; = U7=1 Ai' demostrar que If" = U7=1 .,4;, para n = 1,2,3, .... (b) Si B = U;": 1 Ai' demostrar que s » U ,~ 1 .4;.

Mostrar, con un ejemplo, que esta inclusion puede ser propia.

8. loBs cada punto de cada conjunto abierto E c R2 un punto limite de E? Responder la misma pregunta para conjuntos cerrados en R2.

9. Sea EO el conjunto de todos los puntos interiores de un conjunto E. [Vease la Definicion 2.18(e); a EO se Ie denomina el interior de E.1

(a) Demostrar que £0 es siernpre abierto.

(b) Demostrar que E es abierto si ysolo si, £0 = E. (c) Si GeE y G es abierto, demostrar que G c EO.

(d) Demostrar que el complemento de EO es la cerradura del complemento de E. (e) l,Tienen siempre EyE los mismos interiores?

(f) lo Tienen siempre E y EO las mismas cerraduras?

10. Sea X un conjunto infinito. Si para p EO X Y q E X se define

d(p,q) = {~

(sip -=I: q) (sip = q).

Demostrar que esto es una rnetrica. loCuales subconjuntos del espacio metrico resultante son abiertos? loCuales son cerrados? loCuales son compact os?

11. Si para x E RI Y Y E RI se define

d1(x, y) = (x _ y)2, dz(x,y)=vlx-yl, d3(x, Y) = Ix2 - y2J, d4(x, y) = I x - 2y I ,

Ix-yl ds(x,y)=l+lx_yl'

Determinar cuales de estas son rnetricas.

12. Si K c R' consta de 0 y los numeros lin, para n

1, 2, 3, .... Demostrar que

.. PRINCIPJOS DE ANALISIS MATEMAnco

K es compacto, directamente de la definicion (sin usar el teorema de Heine-Borel) .

13. Construir un conjunto de numeros reales compacto en el cual sus puntos Iimites formen un conjunto numerable.

14. Dar un ejemplo de una cubierta abierta del segmento (0, 1) que no tenga una subcubierta finita.

15. Mostrar que eI Teorema 2.36 y su Corolario son falsos (en RI, por ejemplo) si se reemplaza la palabra "compacto" POT "cerrado" 0 por "acotado".

16. Considerar al conjunto de los numeros racionales Q, como un espacio met rico con d(p,q) = ip-qi. Sea E el conjunto de todos los p E Q tales que 2 < p2 < 3. Mostrar que E es cerrado y acotado en Q, pero que E no es compacto. i,Es E abierto en Q?

17. Si E es el conjunto de todos los x E [0, 1) cuya expansion decimal contiene unicamente a los digitos 4 y 7. i,Es numerable E! i,Es denso E en [0, I)? i,Es E compacto? i,Es E perfecto?

18. i,Existe un conjunto perfecto que no es vacio en RI que no contiene ningun numero racional?

19. (a) Si A y B son conjuntos cerrados ajenos en algun espacio met rico X, demostrar que son separados,

(b) Demostrar 10 rnismo para conjuntos ajenos abiertos.

(c) Si p E X, (j > ° son fijos y se define A como el conjunto de todos los q E X para los cuales d(p,q) < /) y B se define de manera similar, con > en lugar de <. Demostrar que A y B son separados.

(d) Demostrar que cada espacio rnetrico conexo que tiene al menos dos puntos no es numerable. Sugerencia: Usar (c).

20. i,Las cerraduras y los interiores de conjuntos conexos son siempre conexos? (Considerense los subconjuntos de R2.)

2t. Sean A y B subconjuntos separados de algun R", supbngase adernas que a E A, b E B, y deflnase

p(t) = (1 - t)a + tb

para I E RI. Haciendo Ao = p-I(A), Bo = p-I(B). [Entonces I E Ao si y solo si p(t) EA.)

(a) Demostrar que Ao y Bo son subconjuntos separados de RI. (b) Demostrar que existe un to E (0, 1) tal que p(to) 'I A V B. (c) Demostrar que cada subconjunto convexo de Rk es conexo.

22. Se dice que un espacio met rico es separable si contiene un subconjunto denso numerable. Demostrar que Rk es separable. Sugerencia: Considerar el conjunto de los puntos que tienen coordenadas racionales.

23. Se dice que una coleccion I Val de subconjuntos abiertos de X es una base si se cumplen las condiciones siguientes: Para todo x E X y cada conjunto abierto G c X tal que x E G, tenemos que x E Va C G para algun a. En otras palabras, todo conjunto abierto en X, es la union de una subcoleccion de I Val.

Demostrar que todo espacio rnetrico separable tiene una base numerable.

TOPOLOGiA BI\SICA 49

Sugerencia: Tomar todas las vecindades con radio racional y centro en algim subconjunto dense numerable de X.

24. Sea X un espacio met rico. en el cual cada subconjunto infinito tiene un punto limite. Demostrar que X es separable. Sugerencia: Fijar {j > 0 'Y tamar Xl E X_ Elegidos XI" •• , Xj E X, escoger Xj+1 E X, si es posible, de modo que d(x;,xj+ I' ~ 0 para i = 1, ... , j. Demostrar que este proceso ha de detenerse despees de un numero finito de pasos, Y que, per tanto, X puede ser cubierto por un numero finito de vecindades de radio. o. Tornar e = tln(n = I, 2, 3, ... ) y considerar los centros de las correspondientes vecindades.

25. Demostrar que cada espacio metrico K compacto tiene una base numerable, Y que K es por 10. tanto separable. SlJ,gerencia: Para cada entero positive If, hay un numero finito de vecindades d ~ radio. 1 In cuya unilm cu bre a K.

16. Sea X un espacio metrico en el que cada subconjunto infinito tiene un punto limite. Dernostrar que X es cornpacto. Sugerencia: Por 10, ejercicios 23 y 24, X tiene una base numerable. Se deduce que toda cubierta ab'erta de X tiene una subcubierta numerable IOn I, n = I, 2, 3, ... Si ninguna subcoleccion finita de IOn 1 cubre a X, el cornplernento F; de 01 U ... U On es no. vacio para todo n; pero n F; es vacio. Si E es un conjunto que contiene un punto de cada Fn, considerar un punto limite de E y Hegar a una contradiccion.

27. Se dice que un punso p en un espacio rnetrico Xes un punta de condensacion de un conjunto F c X si cada vecindad de p contiene un nUmC'fO de puntos de E que no. es numerable.

Suponer que E c Rk es no numerable, y sea P el conjunto de todos los puntos de condensacion de E. Demostrar que Pes perfecto y que a 10. mas un nilmero de puatos numerable de E no esta en P. En otras palabras, mostrar que pc r. E es a 10. mas numerable. Sugerencia: Sea I Vn 1 una base numerable de Rk, Y W la union de los Vn para los cuales E rv Vnes a 10. mas numerable, entonces muestrese que P = we.

28. Demostrar que todo conjunto cerrado en un espacio metrico separable, es la union de un conjunto (es posible que vacio) perfecto y un conjunto que es a 10. sumo. numerable. (Coro/ario: Todo conjunto cerrado numerable en Rk posee puntos aislados.) Sugerencia: Vease el Ejer. 27.

29. Demostrar que todo conjunto abierto en RI es'la union de una coleccion a 10. sumo numerable de segmentos ajenos. Sugerencia: Utilizar el Ejer. 22.

30. Imitar la demostracion del teorema 2.43 para llegar al resultado siguiente:

Si Rk = Uf F; dondecada F; es un subconjunto cerrado de R"; al menos uno de IDS F; tiene un interior no. vacio.

Propiedad equivalente: Si G,n es un subconjunto abierto dentro de Rk, para n = I, 2, 3, ... , nrOn es no vacio (de hecho, es denso en RI<).

(Es un caso particular del teorema de Baire; ver el Ejer. 22. Cap. 3, para el caso general.)

3

SUCESIONES NUMERICAS Y SERIES

Como indica el titulo, este capitulo tratara principalmente sobre sucesiones y series de numeros complejos. Sin embargo, los hechos fundamentales sobre convergencia se explican con la misma facilidad para casos mas generales. Las tres primeras secciones trataran, en consecuencia, de sucesiones en espacios euclideanos, 0 incluso en espacios metricos.

SUCESIONES CONVERGENTES

3.1 Definicion Se dice que una sucesion IPn I en un espacio metrico X, converge si hay un punto P E X con las siguientes propiedades: para cada II > 0, existe un numero entero N tal que n ~ N implica que d(Pn,P) < 8. (d representa la distancia en X.)

En este caso, decimos tambien que IPn J converge hacia p, 0 que P es el limite de (Pn] [ver el Teorema 3.2(b)] y escribimos Pn - p, 0

lim r, =p.

n-e co

Si IPn I no converge, se dice que diverge.

Puede ser conveniente hacer resaltar que nuestra definicion de «sucesion convergente» depende no soIamente de {p" It sino tam bien de X; por ejemplo, la sucesion {lin} converge en Rl (bacia 0), pero no 10 hace en el

SUCESIONES NUMERICAS Y SERIES 51

conjunto de los numeros reales positivos [con d(x,y) = [x - y I]. En cas os de posible ambiguedad, debemos ser mas precisos y especificar «convergente en X», mejor que solamente «convergente»,

Recordemos que el conjunto de todos los puntos Pn (n - 1,2,3, ... ) es el rango de (Pn}. El rango de una sucesion puede ser un conjunto finito, 0 puede ser infinito. Se dice que la sucesion (Pn I es acotada si 10 es su rango.

Como ejemplo, consideremos las siguientes sucesiones de numeros complejos (esto es, X = R2).

(a) Si s; = lin, es lim s; = 0; el rango es infinito y la sucesion es

acotada. n-oo

(b) Si s; = n2, la sucesion {sn} no es acotada, es divergente y tiene un rango infinito.

(c) Si sn = 1 + [( - lrln], la sucesion {sn} converge hacia 1, es acotada y tiene rango infinito.

(d) Si sn = in, la sucesi6n {Sn} es divergente, es acotada, y tiene un rango finito.

(e) Si s; = 1 (n = 1, 2, 3 ... ), {sn} converge hacia 1, es acotado y tiene un rango finito.

Resumiremos a continuacion algunas propiedades importantes de las sucesiones convergentes en espacios metricos.

3.2 Teorema Sea (Pn} una sucesion en un espacio metrico x.

(a) (Pn I converge hacia p Ii= X si, y solo si toda vecindad de p contiene todos los term in os de {Pn}' salvo un numero finito de ellos. (b) Si p Ii= X; p' E X y (Pnl convergen hacia p y hacia p' entonces p' = p.

(c) Si (Pn I converge, es acotada.

(d) Si E c X Y P es un punto de lfmite de E, existe una sucesion (Pn} en E para la cual p = lim p.,

n-OO

Demostraelon (a) Supongamos Pn - P Y sea V una vecindad de p. Para algun I: > 0, las condiciones d(p,q) < I: y q E X implican que q E V. En correspondencia con este 6, existe un N tal que n ~ N implica que d(Pn'P) < 6. Por tanto, n ~ N implica que Pn E V.

Inversamente, supongamos que toda vecindad de P contiene a todos los Pn, salvo un numero finito, Tomemos s > 0, y sea Vel conjunto de todos los q E X tales que d(p,q) < 6. Por hipotesis, existe un N (correspondiente a este V) tal que p; E V si n ~ N. Asi pues, d(Pn,P) < 6 si n ~ Ny, por tanto Pn - p.

(b) Sea un 6 > 0, dado. Existen dos enteros N, N' tales que

52 PRIINCIPI05 DE ANA.uSIS MATEMATICO

6
n'?:.N implica d(p.,p) < 2'
n'?:.N' implica ( , 6
d p",p) <2' De aqui, si n ~ max (N,N'), tenemos

d(p, p') ::S: d(p, p,,) + d(p", p') < 6.

Como 6 era arbitrario, se deduce que d(p,q') = O.

(c) Supongamos que p; - p. Existe un entero N tal que n > N implica que d(Pn'P) < 1. Hagamos

r = max {I, d(P1, p), ... , d(PN' p)}.

Entonces, d(Pn,P) ~ r para n = 1, 2, 3, ...

(d) Para todo entero positivo n, hay un punto p; E E, tal que d(Pn,P) < lin. Dado 6 > 0, elijamos N de modo que N 6 > 1. Si n > N, se deduce que d(Pn,P) < 6. Por tanto, p; - p, 10 que completa la dernostracion.

Podemos estudiar la relacion entre la convergencia y las operaciones algebraicas, para las sucesiones en Rk. Consideremos primeramente sucesiones de numeros complejos.

3.3 Teorema Supongamos que {sn}, {tn} son sucesiones complejas y lim Sn

" .... 00

= s, lim In = t. Se verificara

" .... 00

(a) (b)

lim Is, + f,,) = s + t;

lim cs; = cs, lim (c + s,,) = c + s, para cualquier numero c;

(c) lim s"t" = sf;

(d) lim _!_ =~, siempre que 9" oF 0 (n = 1,2,3, ... ), y 9 oF o.

" .... 00 S" 9

Demostraclon

(a) Dado 6 > 0, existen dos enteros Nt, N2 tales que

6 n '?:. N1 irnplica Is" - 91 < 2'

6 n '?:. N 2 implica If" - t I < 2·


Si N = max (N • .Nz), n ~ N implica

l(s.+I.)-($+t)1 ~ 18 .. -81 + It.-tl <8.

Lo que demuestra (0). La demostracion de (b) es elemental. (c) Utilizaremos la identidad

slIt. - sf = (s. - S)(/. - I) + s(/. - I) + t(s. - a).

(1)

Dado 8 > 0, exist en dos enteros N., Nz tales que

n ~ N, implica Is" - s] < J;, n ~ N2 implica It" - II < Je.

Si tomamos N = max (N., N2). n ~ N implica

1 (a" - 8)(/. - I)! < 8,

de modo que

lim (8" - 8)(/" - t) = O.

""'00

Apliquemos (0) y (b) a (1). Se deduce que

lim (s"t" - 81) = o.

""'00

(d) Eligiendo m de modo que ISn - s] < t lsi, si n ~ m, vemos que

(n ~ m).

Dado 8 > 0, existe un entero N > m tal que n ~ N implica que

Por tanto, para n ~ N,

II 11 Is" - 81 2

--- = -- <-2\8,,-81 <8.

s, 8 s"s lsi

3.4 Teorema

(0) Supongamos x, E R" (n = 1, 2, 3, ... ) y


[x, I converge hacia x = (a I' ••• , O'k) si, y solo si

(2)

lim I'J., .• = 1'J..1

n .... ro

(1 5,j:5{, k).

(b) Supongamos que (x"I e IYnl son sucesiones en R*, LBnl es una sucesion de nameros reales, y x, - x; Yn - Y; {3n - {3. Tendremos que

lim (XII + Yn) = X + y,

lim x, . Yn = X • y,

n .... ro

lim fJn x, = fJx.

n .... ro

n .... ro

Demostraci6n

(a) Si x, - x, las desigualdades

que se deducen inmediatamente de la definicion de la norma de R* demuestran que se cum ple (2).

Inversamente, si se cumple (2), a cada s > 0 corresponde un entero N tal que n ~ N implica que

y por tanto, n ~ N implica que

por 10 que, x, - x, 10 que demuestra (a).

EI apartado (b) se deduce de (0) y del Teorema 3.3.

SUBSUCESIONES

3.5 Definici6n Dada una sucesion (Pn I, consideremos otra Ink 1 constituida por enteros positivos, de modo que nl < n2 < n3 < .... La sucesion (Pn;1 se llama subsucesion de {Pn I. Si {Pni 1 converge, su limite se llama limite subsecuencial de {p" I.

Es claro que (P.I converge hacia psi, y solo si toda subsucesion de (Pn I converge hacia p. Dejamos los detalles de la dernostracion al lector.

3.6 Teorema

(a) Si (p" 1 es una sucesion en un espacio metrico compacto X, entonces alguna subsucesion de (PII I converge hacia un punto de X.


(b) Toda sucesion acotada en R' contiene una subsucesion convergente.

Demostracion

(a) Sea E el rango de !p"). Si E es finito entonces hay un pEE Y una sucesion In, I con nl < n2 < nJ < ... , tales que

La subsucesion !Pn I asi obtenida converge evidentemente hacia p.

Si E es infinito, el Teorema 2.37 muestra que E tiene un punto limite P E X. Si se escoge nl de tal forma que d(P,Pnl) < 1. Despues de escoger nl, ... , n,_I' el Teorema 2.20 indica que hay un entero n, > n.... tal que d(p,p",) < II i. Por 10 tanto !Pm I converge hacia p,

(b) Esto se concluye de (a), porque el Teorema 2.41 implica que cada subconjunto acotado de R* esta en un subconjunto compacto de R",

3.7 Teorema Los limites subsecuenciales de una sucesion IPn I en un espacio metrico X forman un subconjunto cerrado de X.

Demostracion Sea E* el conjunto de los limites subsecuenciales de !p" I y que q un punto limite de E*. Se tiene que mostrar que q E E*.

Si se escoge nl de manera que Pnl *- q. (Si tal nl no existe, entonces E* tiene solo un punto, y no hay nada que demostrar.) Hagase o = d(q,Pnl) Y sup6ngase que se han escogido nl, ••• , ni_l• Como q es un punto limite de E*, entonces hay un x E E* con d(x,q) < 2-io. Ya que x E E*, entonces hay un n, > n,_1 tal que d(x,PnJ < 2-'0. Por 10 tanto

para i = I, 2, 3, .... Esto quiere decir que !Pm I converge hacia q. En consecuencia q E E*.

SUCESIONES DE CAUCHY

3.8 Definicion Se dice que una sucesion !P,,) en un espacio met rico X es una sucesion de Cauchy si para todo 8 > 0, hay un entero N tal que d(P",PIII) < 8 si n ~ N Y m ~ N.

En el estudio de las sucesiones de Cauchy, del mismo modo que en otros cas os que encontraremos mas adelante, sera uti! el siguiente concepto geometrico.


3.9 Definicion Sea E un subconjunto de un espacio metrico X, y S el conjunto de todos los numeros reales de la forma d(p,q) con pEE Y q E E. EI sup de S se llama diametro de E.

Si (Pn I es una sucesion en X y EN esta constituido por los puntos PN' p", + " PN + 2' ••• , se ve facilmente, como consecuencia de las dos definiciones anteriores, que (Pn I es una sucesion de Cauchy si, y solo si

lim diam EN = O.

N-+ro

3.10 Teorema

(a) Si E es la cerradura de un conjunto E en un espacio metrico X, sera:

diam E = diam E.

(b) Si Kif es una sucesion de conjuntos compactos en X, tales que K; ::> Kn+,(n = 1, 2, 3, ... ) y si

lim diam K; = 0,

n-+ro

n '? «; esta constituido por un pun to

Demostracion

(a) Como E c: E, es claro que

diam E :::; diam E.

Fijemos e > 0, y elijamos pEE y q E E. Por la definicion de E, existen puntos p', q', en E tales que d(P,p') < s, y d(q,q') < e.

De aqui, •

d(p;q) ~ d(p, p') + d(p' q') + d(q', q) < 2e + d(p', q') ~ 2e + diam E.

Se deduce que

diam E :::; 2e + diam E,

y como e era arbitrario, queda demostrado (a).

(b) Hagamos K = n,?Kn. Por el Teorema 2.36, K es no vacio. Si contiene mas de un pun to, diam K > o. Pero para todo n, K; ::> K, de modo que diam K; ~ diam K, 10 que contradice la hipotesis de ser diarn K; - O.


3.11 Teorema

(a) En cua/quier espacio metrico X, toda sucesion convergente es una sucesion de Cauchy.

(b) Si X es un espacio metrico compacto y IPnl es una sucesion de Cauchy en X, entonces (PN I converge hacia a/gun punto de X. (c) En Rk toda sucesion de Cauchy converge.

Nota: La diferencia entre la definicion de convergencia y la de sucesi6n de Cauchy, es que el limite esta incluido explicitamente en la primera y no en la segunda. Asi el Teorema 3.11(b) permitira averiguar si una sucesion dada converge 0 no, sin conocer el limite a que pueda tender.

El hecho (contenido en el Teorema 3.11) de converger una sucesion en Rk si, y solo si es de Cauchy, se llama comunmente criterio de convergencia de Cauchy.

Demostraci6n

(a) Si Pn - P Y 8 > 0, hay un entero N tal que d(p,qn) < 8 para todo n ~ N. En consecuencia

si n ~ N Y m ~. N. Por 10 tanto IPn I es una sucesion de Cauchy.

(b) Sea IPnl una sucesion de Cauchy en el conjunto compacto X. Para N = 1, 2, 3, ... , sea EN el conjunto que consta de PN' PN + I , PN + 2' •••• Entonces

(3)

lim diam EN = 0,

N-+oo

debido a la Definicion 3.9 y al Teorema 3.1O(a). Cada X es compacto porque es un subconjunto cerrado de un espacio compacto EN (Teorerna 2.35). Tambien EN :::> EN+1, asi que EN :::> EN+1•

EI Teorema 3 .1O(b) indica que hay un P E X unico, que esta en cada EN'

Dado 8 > 0. Por (3) hay un entero No tal que EN < 8 si N ~ No. Como pEEN, se deduce que d(p,q) < 8 para cada q E EN' de aqui que para cada q E EN' En otras palabras d(P,Pn) < 8 si n ~ No. Esto expresa exactamente que p; - p.

(c) Sea xn una sucesion de Cauchy en R" . Definase EN como en (b) con X; en lugar de Pi' Para algun N, diam EN < 1. El rango de (x" I es


la union de EN yel conjunto finito [x, ... , x,v-I I. Por esto [x, 1 es acotado. Finalmente de (b) se deduce (c), debido a que todo subconjunto acotado de Rk tiene cerradura compacta en Rk (Teorema 2.41).

3.12 Definicion Si toda sucesion de Cauchy converge en un espacio metrico, se dice que este es comp/eto.

Entonces el Teorema 3.11 expresa que todos los espacios metricos compactos y los espacios euclidianos son comp/etos. El Teorema 3.11 implica tambien que todo subconjunto cerrado E de un espacio metrico comp/eto X es completo. (Toda sucesion de Cauchy en E es una sucesion de Cauchy en X, por esto converge hacia algun p E X, Y ciertamente pEE porque E es cerrado.) Un ejemplo de un espacio metrico que no es completo es el espacio de todos los numeros racionales, d(x,y) = [x - y I.

EI Teorema 3.2(c) y el ejemplo (d) de la Definicion 3.1, demuestran que las sucesiones convergentes son acotadas, pero que las sucesiones acotadas, en Rk no son necesariamente convergentes. Sin embargo, hay un caso importante en el que convergencia es equivalente a acotacion: esto sucede con las sucesiones monotonas en R I •

3.13 Definicion Se dice que una sucesion ISn 1 de numeros reales es:

(a) monotona creciente si s; :ssn + I (n = 1, 2, 3, );

(b) monotona decreciente si s.e.s.iIn = 1,2,3, ).

La clase de las sucesiones monotonas esta constituida por las sucesiones crecientes y las decrecientes.

3.14 Teorema Supongamos que ISn 1 es monotona. (sn 1 converge si, y solo si es acotada.

Demostraclon Supongamos que Sn -s s, + I (la demostracion es analoga en el otro caso). Sea E el rango de {sn I. Si ISn 1 es acotada, sea S el sup de E. Sera

(n = 1,2, 3, ... ).

Para todo I; > 0, existe un entero N, tal que

porque de otro modo S - I; seria una cota superior de E. Como {s" I es creciente, n ~ N implica que

s -- e < Sn ~ S,

SUCESIONES NUMERICAS Y SERIES S9

10 que demuestra que (sn I converge (bacia s).

La inversa se deduce del Teorema 3.2(c).

LIMITES SUPERIOR E INFERIOR

3.15 Definicion Sea {sn I una sucesion de numeros reales con las siguientes propiedades: para cada numero real M hay un entero N, tal que n ~ N implica que s; > M. Escribimos

s~-+ +00.

Del mismo modo, si para todo numero real M existe un entero N tal que n ~ N implica que s; :S M, escribimos

Se habra observado que hemos utilizado el simbolo - (introducido en la Definicion 3.1) pra ciertos tipos de sucesiones divergentes, igual que para las convergentes, pero sin que se hayan cambiado las definiciones de convergencia y de limite, dadas en la Definicion 3.1.

3.16 Definicion Sea {sn I una sucesion de numeros reales, y E el conjunto de los nurneros x (en el sistena extendido de numeros reales) tales que snk - x para alguna subsucesion (snk Este conjunto E contiene todos los limites subsecuenciales definidos en la Definicion 3.5 mas, posiblemente, los numeros +ooy-oo.

Recordemos, ahora, las Definiciones 1.8 y 1.23 y hagamos

s* = sup E, s* = inf E.

Los numeros S* y S* se llaman limites superior e inferior de {sn I; utilizaremos la notacion

lim sup s, = s*,

" .... <Xl

lim inf S" = S*.

"-+00

3.17 Teorema Sea {sn I una sucesi6n de numeros reales, y consideremos que E y s* tienen el mismo significado que en la Definicion 3.16. En estas condiciones, s* tiene las dos propiedades siguientes:

(a) s* E E.

(b) Si x > s*, existe un entero N tal que n ~ N implica que Sn < X.

Ademas, s* es el unico numero que posee las propiedades (a) y (b).


Para s. se obtiene, evidentemente, un resultado analogo,

Demostraelon

(a) Si s* = + 00, E no esta acotado superiormente, por 10 que no 10 esta ISn I y existe una subsucesion ISnk 1 tal que snk - + 00.

Si s* es real, E esta acotado superiormente y existe al menos un limite subsecuencial, de modo que (a) se deduce de los Teoremas 3.7 y 2.28.

Si s* = - 00, E contiene solo un elernento, es decir - 00, y no existe limite subsecuencial. Por tanto, para todo numero real M, sn > M para, a 10 sumo, un numero finito de valores de n, de modo que

sn - - 00.

Queda asi demostrado (a) para todos los casos posibles.

(b) Para demostrar (b), supongamos que existe un numero x > s* tal que s, ;:: x para infinitos valores de n. En este caso, existe un numero y E E tal que y ;:: x ;:: s*, en contradiccion con la definicion de s*.

Por tanto, s* satisface a (a) y (b).

Para demostrar la unicidad, supongamos que existen dos nurneros p y q que satisfacen (a) y (b), y sea p < q. Elijamos x de modo que p < x < q. Como p satisface (b), tenemos que sn < x para n ;::

N. Pero en este caso, q no puede satisfacer a (a).

3.18 Ejemplos

(a) Sea {sn} una sucesion que contiene a todos los numeros racionales. Todo numero real es un limite subsecuencial y

lim sup s .. = + 00,

""'00

lim inf s" = - 00.

""'00

(b) Sea sn = (- 1)"[1 + (lIn)]. Sera

lim sup s .. = 1,

...... 00

lim inf s; = -1.

""'00

(c) Para una sucesion Is" 1 de valores reales, lim s; = s, si y solo si

" .... 00

lim sup s" = lim inf s; = s.

ft._. 00 n-to CD

Terminaremos esta seccion con un teorema de gran utilidad, cuya demostracion es elemental.

3.19 Teorema Si sn ::s; In para n ;:: N, con N, prefijado, se verifica que


lim inf 9" ~ lim inf til ,

...... 00 n-+ C()

lim sup s; ~ lim sup til'

n .... co n-e co

ALGUNAS SUCESIONES ESPECIALES

Calcularemos, ahora, los limites de algunas sucesiones que se presentan frecuentemente. Las demostraciones estan basadas todas ellas en la siguiente observacion: si 0 $ xn -s para n ~ N, siendo Nun numero dado, y si s; - 0, se veri fica que Xn - O.

3.20 Teorema

1

(a) Si p > 0, lim p = O.

n~oo n

(b) Si p > 0, lim yip = 1.

(e) lim;,ln = 1.

n""

(d) Si p > 0 y a es real, lim (-1 )" = o. n-e co + p

(e) Si Ixi < 1, lim x" = O.

II"''''

Demostracilm

(a) Tomemos n > (l/e)l/p. (Notese que aqui se ha usado la propiedad arquimidiana del sistema de los numeros -reales.)

(b) Si p > 1, hagamos x, = .:;;/i - 1. Sera xn > 0 y por la formula del binomio

de modo que

p -1 O<x ~--.

II n

Por tanto, Xn - O. Si p = 1, (b) es evidente, y si 0 < p < 1, se obtiene el resultado tomando los reciprocos.

(e) Hagamos Xn = rn - 1. Sera x, 0, Y por el teorema del binomio

II n(n - 1) 2

n = (1 + XII) ~ 2 XII •

62 PRINCIPIOS DE ANAuSIS MATEMATfCO

Por tanto

(n ~ 2).

(d) Sea k un entero tal que k > ex; k > O. Para n > 2k.

(1 )B In) k _ n(n - 1) ... (n - k + 1) k nkpk

+p »vo r= k! P>2kk!·

y de aqui

(n > 2k).

Como ex - k < 0, na-k - 0 por (a). (e) Hagamos ex = 0 en (d).

SERIES

En 10 que resta de este capitulo, todas las sucesiones y series que consideremos tendran val ores complejos, excepto cuando se indique 10 contrario explicitamente. En el Ejercicio 15 se hace referencia a la extension de alguno de los teoremas que siguen, a series con terminos en R",

3.21 Definicion Dada una sucesion Ian I usaremos la notacion

q

L an (p:5, q)

n=p

para expresar la suma a" + a" + I + ... + aq• A Ian I le asociamos una sucesion ISn I, donde

Tarnbien utilizaremos para ISn I la expresion simbolica

0, mas brevemente

(4)


Al simbolo (4) le llamaremos serie infinita 0 solamente serie. A los numeros sn se le llama sumas parciales de la serie. Si Is" I converge hacia s, diremos que la serie converge y escribiremos

00

Lan = s. n= 1

Al numero s se Ie llama suma de la serie; pero debe entenderse claramente que s es el limite de una sucesion de sumas y que no se obtiene simplemente por adicion.

Si ISn I diverge, se dice que la serie diverge.

A veces, por conveniencia de notacion, consideraremos series en la forma

(5)

y frecuentemente, cuando no haya peligro de ambiguedad, 0 si la distincion es de escasa importancia, escribiremos simple mente ~an en lugar de (4) 0 (5).

Es evidente que todo teorema sobre sucesiones, se puede enunciar refiriendose a las series (haciendo al = Sl Y an = s; - sn_1 para n > 1) Y viceversa, pero es, sin embargo, util considerar ambos conceptos.

El criterio de Cauchy (Teorema 3.11) puede ser enunciado de nuevo en la forma siguiente:

3.22 Teorema ~an converge si, y solo si para cada e > 0 existe un entero N, tal que

si m ~ n ~ N.

En particular, tomando m = n, (6) se convierte en

(n ~ N).

En otras palabras:

3.23 Teorema Si ~an converge, lim an = O.

n~oo

La condicion an - 0, no es, sin embargo, suficiente para poder asegurar la convergencia de ~an. Por ejemplo, la serie

00 1

L -

n=1 n


diverge. Para demostrarlo, considerese el Teorema 3.28.

El Teorema 3.14 sobre sucesiones monotonas, tiene tambien una equivalencia inmediata para las series.

3.24 Teorema Una serie de terminos no negativos converge' sf, y solo sf sus sumas parciales forman una sucesi6n acotada.

Veamos ahora otro metodo distinto de estudiar Ia convergencia, el llamado «criterio de comparacion».

3.25 Teorema

(a) Sf Ian I :s; Cn para n ~ No, donde No es un entero dado, y ECn converge, tambien converge Ean•

(b) Si an ~ d; ~ 0 para n ~ No y Edn diverge, tam bien diverge Ean.

Notese que (b) se aplica solamente a series de terminos an no negativos.

Demostraci6n Dado 8 > 0, existe N ~ No, tal que m ~ n ~ N implica que

por el criterio de Cauchy. De aqui, que

y se deduce (a).

Ademas (b) se deduce de (a), porque si Ean converge, igual debe suceder con Edn [observese que (b) se deduce tambien del Teorema 3.24].

EI criterio de comparacion es muy util; para usarlo convenientemente, debemos familiarizarnos con cierto numero de series de terminos no negativos, cuya convergencia 0 divergencia es conocida.

SERIES DE TERMINOS NO NEGATIVOS

La mas sencilla de todas es, quiza, la serie geometrica.

I La expresion «no negative» se refiere siempre a los nurneros reales.

SUCESIONES NUMERICAS Y SERIES 6S

3.26 Teorema Si 0 :s X < 1, sera

00 1

Lxn=-.

n=O 1 - x

Si x ~ 1, la serie diverge.

Demostracilm Si x '* 1

n 9n= L k=O

1 - x"+1

Xk= _

I-x

de donde se deduce el resultado, si hacemos n - ee . Para x = 1; tenemos

1+1+1+"',

que diverge, evidentemente.

En much os casos que se encuentran en las aplicaciones, los terrninos de la serie decrecen monotonamente, Por tanto, es de particular interes el siguiente teorema de Cauchy. Lo que llama la atencion del teorema es que una subsucesion mas bien «estrecha» de (an} determina la convergencia 0 divergencia de Ean•

3.27 Teorema. Supongamos al ~ ~ ~ Cl:J ~

converge si, y solo si fa serie

(7)

00

L 2ka2" = a1 + 2a2 + 4a4 + 8as + ... k=O

converge.

Demostracion Por el Teorema 3.24, basta considerar el caracter de acotado de las sumas parciales. Sea

9n = a1 + a2 + + an'

Ik = al + 2a2 + + 2ka2" .

Para n < 2k

Sn:S: a1 + (a2 + a3) + ... + (a2k + ... + a2"+1_1) :s: a1 + 2a2 + ... + 2102"


de modo que

(8)

Por otro lado, si n > 2k

8" :::: a1 + a2 + (03 + 04) + . " + (02k-1 + 1 + ... + 02k) :::: -!-01 + 02 + 2a4 + '" + 2k-102k

= ttk,

de forma que

(9)

Por (8) y(9), las sucesiones ISn) y Ilk) son, 0 ambas acotadas 0 ambas no acotadas, 10 que completa la demostrcion.

3 28 T " 1 . di .

. eorema L... - converge Sl P > 1 y tverge Sl P -s 1.

nP

Demostraci6n Si P ~ 0, del Teorema 3.23 se deduce la divergencia. Si P > 0, es aplicable el Teorema 3.27 y lIegamos a la seric

Ahora, 21-p < 1 si, y solo si 1 - p < 0 y se deduce la conclusion, por cornparacion con la serie geometrica (hagase x = 21-pen el Teorerna 3.26).

Como nueva aplicacion del Teorema 3.27 demostraremos que:

3.29 Teorema st p > 1

(10)

converge; si p ~ 1, fa serie diverge.

Observaci6n «log n» expresa el logaritmo de n de base e (comparar con el Ejercicio 7, Cap. 1); el nurnero e sera definido inmediatamente (ver Definicion 3.30). Comenzaremos la serie por n = 2, pues, log 1 = O.

Demostraelon La monotonia de la funcion logaritmica (que veremos con mas detalle en el Cap. 8) implica que [log n) es creciente. Por tan-


to, (11 n log n} es decreciente y podemos aplicar el Teorema 3.27 a (10), 10 que nos !leva a la serie

("11 )

<XJ 1 00 1 1 <XJ 1

k'i; r . 2k(log 2ky = l~l (k log 2Y = (log 2)1' Jt kP'

y del Teorema 3.28 se deduce el 3.29.

Se puede, evidentemente, continuar este proceso. Por ejemplo,

(12)

00 1

n~3 n log n log log n

diverge, mientras que

(13)

<XJ 1

n~3 n log n(log log n)2.

converge.

Podemos observar que los terrninos de la serie (12) difieren muy poco de los de la (13). No obstante, una diverge y Ia otra converge. Si continuamos el proceso que nos llevo del Teorema 3.28 al 3.29 y luego a (12) y (13), encontraremos parejas de series convergentes y divergentes cuyos terminos todavia difieren menos que los de (12) y (13). Se puede pensar asi, que debe de haber una situacion limite de cierta naturaleza, una «frontera», con todas las series convergentes a un lado, y las divergentes al otro -al menos mientras se trate de series con coeficientes monotones-c. Esta nod on de «frontera» es, en realidad, cornpletamente vaga. Queremos recalcar 10 siguiente: De cualquier forma que concretemos esta nocion, la idea es falsa, Los Ejercicios I1(b) y 12(b) serviran de ilustracion.

No queremos profundizar mas en este aspecto de la teoria de la convergencia y enviamos al lector a la «Teoria y Aplicacion de las Series Infinitas» de Knopp, capitulo IX, en particular el § 41.

EL NUMERO e

3.30 Definicion e = f ~. n=on!

Donde n! = I . 2 . 3 ... n, si n ~ 1, y O! =

68 PRINCIPIOS DE ANAuSIS MATEMAnco

Como

1 1 1

Sn = 1 + 1 + -1 '-2 + -1 -. 2-'-3 + ... + ':""1 -. 2-::--' '-'-n

1 1 1

< 1 + 1 + 2 + 22 + ... + 2n-1 < 3,

la serie converge, y tiene sentido la definicion. De hecho, la serie converge muy rapidamente y nos permite calcular e con mucha precision.

Es interesante observar que tambien puede ser definido e por medio de otro proceso de limites; la demostracion proporciona un buen ejemplo de operaciones con limites.

3.31 Teorema lim (1 + !)" = e.

n-+ 00 n

Demostraci6n Sea

n 1 Sn = L: k" k=O •

Por el teorema del binomio

In = 1 + 1 + .!... (1 -!) + 1.(1 - !) (1 - ~) + ...

2! n 31 n n

Por tanto, In :S Sn' de modo que

(14)

lim sup In S; e,

n-+oo

por el Teorema 3.19. Ademas, si n ~ m,

1 (1) 1 ( 1) ( m - 1)

In ~ 1 + 1 + - 1 - - + ... + - 1 - - ... 1 - -- •

2! n ml n n

Sea n - 00, conservando m fijo, Tendremos

lim inf t ~ 1 + 1 + ..!.. + ... + _!_.

n-+oo n 21 ml


de modo que

Si se hace m - 00, tenemos finalmente

(15)

e ~ lim inf t; .

11"00

El teorema se deduce de (14) y (15).

La rapidez con que converge la serie L _!_ puede comprobarse como sin!

gue: Si s; tiene el mismo significado que anteriormente, tendremos

111

e-s = + + + ...

" (n + I)! (n + 2)! (n + 3)!

1 { II} 1

< 1+--+ + ... =--

(n+l)! n+l (n+l)2 n!n

de modo que

(16)

1 O<e-s <-. " n!n

Asi, por ejemplo, SJO da una aproximacion de e con un error menor de 10-7• La desigualdad (16) tiene ademas interes teorico, pues nos permite demostrar la irracionalidad de e con mucha facilidad.

3.32 Teorema e es irracional.

Demostraclon Supongamos que e es racional. Sera e = p/q, siendo p y q enteros positivos. Por (16),

(17)

1 o <q!(e - Sq) <-. q

Por la hipotesis hecha, q!e es entero. Como

es entero, vemos que q! l(e - Sq) es entero.

Como q ~ 1, (17) implica la existencia de un entero entre 0 y 1, con 10 que hemos Uegado a una contradiccion.


En realidad, e no es precisamente un numero algebraico. Para una demostracion sencilla de esto, vease la pagina 25 del libra de Niven, 0 la 176 del de Herstein, citados en la Bibliografia.

CRITERIOS DE LA RAiz Y DE LA RAZON

3.33 Teorema (Criterio de la raiz) Dado Ean> hagamos a = lim sup -\ll"ll.T

n-+ 00

Tendremos

(a) si a < 1, Ean converge; (b) si a > 1, Ean diverge;

(c) si a = 1, el metoda no da informacion.

Demostracion Si a > 1, podemos elegir {3 de modo que a < (3 < 1 y un entero N tal que

~<P

para n ;:: N [por el Teorema 3.17(b»). Esto es, que n ;:: N implica

Como 0 < {3 < 1, E{3n converge. La convergencia de Ean puede deducirse ya por el criterio de comparacion.

Si a > 1, por el Teorema 3.17, hay una sucesion Ink I tal que

Por tanto I an I > 1 para infinitos val ores de n, de modo que no se cum pie la condicion an - 0, necesaria para la convergencia de Ean (Teorema 3.23).

Para demostrar (c), consideremos las series

Para cada una de ellas a = 1 pero la primera diverge y la segunda converge.

3.34 Teorema (Criterio de la razon) La serie Ean

(a) converge, si lim sup I an+11 < 1,

n-+ 00 a,.


(b) diverge st la~:ll 2= para n 2 110, donde 110 es un numero entero cualquiera, dado.

Demostraci6n Si se cumple la condicion (a), podemos hallar {3 < I, y un entero N, tal que

para n 2= N. En particular,

laN+11 < PlaNI,

laN+21 <PlaN+11 <p2laNI,

esto es,

para n 2= Ny se deduce (a) por el criterio de comparacion, pues E{3n converge.

Si I an + I I 2= I an I para n 2= flo, es facil ver que no se cumple la condicion an - 0, y se deduce (b).

Nota: El saber que lim an + 1/ an = 1 no implica nada sobre la convergencia de Ean. Las series Elln y ElIn2 demuestran esto.

3.35 Ejemplo

(a) Consideremos la serie

para la cual

1, . f 0,,+1 Ii (2)" 0

1mm -= m - =,

" .... "" a" II .... eo 3

li . f «r: u 2~1 1

m m ya,,= im -=-,

" .... 00 " .... eo 3" J3


-r: ~ 1

lim sup v an = lim 2" -;; = J-'

n .... oo ""'00 2 2

I' an+1 I' (3)"

1m sup-- = 1m - = +00.

""'00 an ,,-too 2

EI criterio de la raiz indica su convergencia, el de la razon no conduce a conclusiones.

(b) Lo mismo es cierto para la serie

donde

I' . f a,,+l 1

im 10 --=-,

n-teo an 8

I' a,,+l 2 1m sup -- = ,

,. .... 00 an

pero

lim i;;' = 1.

3.36 Observaelones EI criterio de la razon, frecuentemente es mas facil de aplicar que el de la raiz, pues de ordinario es mas sencillo calcular cocientes que raices n-esimas, pero sin embargo, tiene mas amplia aplicacion el criterio de la raiz. Precisando mas: cuando el criterio de la razon demuestra la convergencia, tambien el de la raiz; cuando este no conduce a conclusiones, tam poco 10 hace el de la razon. Esto es consecuencia del Teorema 3.37 y se aclara con los ejemplos anteriores.

Ninguno de los dos es interesante en caso de divergencia. Los dos la deducen del hecho de que an no tiende a cero cuando n - 00.

3.37 Teorema Para toda sucesion ICn I de numeros positivos,

I' . f C,,+l «r:

im 10 -- S lim inf::; Cn,

n ..... co CIt It_' co

I' .r: I' C,,+l

im sup V C" S im sup-- .

n-+OO .. -e co en

Demostraelon Demostraremos la segunda desigualdad; la demostracion de la primera es analoga, Hagamos


I, e .. +l ex= tmSUp--·

11-+00 ell

Si ex = + 00, no hay nada que demostrar. Si ex es finito, elijamos (3 > ex. Existe un entero N tal que

para n ~ N. En particular, para todo p > O.

(k=O,I, ... ,p-l).

Multiplicando estas desigualdades, obtenemos

o

e < e p-N. an

.. - N P

(n:<! N) .

De aqui

De modo que

(18)

lim sup .::/ e" :5: Pt

.... ""

por el Teorema 3.20(b). Como (18) es cierto para todo (3 > ex, tenemos

lim sup ~ s:; ex .

...... eo

SERIES DE POTENCIAS

3.38 Definicion Dada una sucesion {cn) de numeros complejos, a la serie

(19)

se le llama serie de potencias. A los numeros cn se les llama coeficientes de la serie; z es un numero complejo.

En general, la serie convergera 0 divergera, segun el valor de z. Mas concretamente, a toda serie de potencias hay asociado un circulo, llamado

74 PRINCIPIOS DE ANALlSIS MATEMAnco

circulo de convergencia, tal que (19) converge si z esta en el interior del mismo y diverge si est a en el exterior (para tener en cuenta todos los casos, debemos considerar el plano como el interior de un circulo de radio infinito, y un punto como un circulo de radio cero). El comportamiento en el circulo de convergencia es mucho mas variado y no se puede definir tan sencillamente.

3.39 Teorema Dada la serie de potencias kCn zn, hagamos

IX = lim sup~l,

11-00

1 R=-' IX

(Si ex = 0, R = + 00; si a = + 00, R = 0.) kCnZn converge si [z] < R y diverge si Izl > R.

Demostracien Hagamos an = cnzn y apliquemos el criterio de la raiz:

11/- n/- Izi

lim sup V lanl = [a] lim sup~ lenl = -R .

n-+oo n-+co

Nota: A R se Ie llama radio de convergencia de kCnZn•

3.40 Ejemplos

(a) Para ~nn z": R = O.

Z"

(b) Para L,,: R == + 00 (en este caso es mas sencillo de aplicar

n.

el criterio de la razon que el de la raiz).

(c) Para Ez": R = 1. Si Izi = 1, la serie diverge, pues Iznl no tiende a 0 cuando n - 00.

(d) Para L:: : R = 1. En el circulo de convergencia, la serie di-

n

verge para Z = 1, y converge para todos los demas puntos de I z I = = 1. Esta ultima afirmacion sera demostrada en el Teorema 3.44.

(e) Para L z: : R = l. La serie converge tambien en todos los

n

puntos del circulo I Z I = 1, por el criterio de comparacion, ya que

Izn/n21 = 1/n2 si Izl = l.

SUMA POR PARTES

3.41 Teorema Dadas dos sucesiones Ian)' Ibn), hagamos


si n ~ 0; pongamos A_I = O. Si 0 :5 P :5 q, tenemos

(20)

q q-l

L: a.b; = L: Aibn - bn+1) + Aqbq - Ap_1bp.

n=p n=p

Demostracion

q q q q- 1

L: anb" = L: (A" - A"-l)b" = L: A"b" - L: A"bn+1,

n=p n=p n=p n=p-l

y la ultima expresion de la derecha se ve facilmente que es igual al segundo miembro de (20).

La formula (20), Hamada «formula de sumacion parcial» es uti! en el estudio de series de la forma r:.anbn, en particular cuando Ibn I es mon6tona. Veremos, ahora, algunas aplicaciones.

3.42 Teorema Supongamos

(a) las sumas parciales An de r:.an forman una sucesi6n acotada; (b) bo ~ b, ~ b2 ~ ••• ;

(c) lim b; = o.

n-+ 00

Entonces, r:.anbn converge.

Demostracibn Elijamos M de modo que IAn I :5 M para todo n. Dado E > 0, existe un entero N tal que b; :5 (eI2M). Para N :5 P :5 q, tenemos

I ntpanb" I = l:t:A"(b" - b"+l) + Aqbq - Ap_1bpl ~ M I:t:(bn - bn+1) + bq + bpI

= 2Mbp :5;; 2MbN ~ 8.

Deduciendose la convergencia a partir del criterio de Cauchy. Observamos que la primera desigualdad de la cadena anterior depende del hecho de ser b; - b; + I ~ o.

3.43 Teorema Supongamos que

(a) Jcll~lc21~lc31~···;

(b) c2m-l ~ 0, CZm ~ 0 (m = 1,2,3, ... );

(c) lim" .... oo c, = O.


Entonces, ECn converge.

Las series para las que se cumple (b) se Haman «series alternantes»; el teorema es debido a Leibnitz.

Demostraelon Basta aplicar el Teorema 3.42 con an = (- 1)n + I, Y b; = ICn I·

3.44 Teorema Supongamos que el radio de convergencia de Ecnzn es 1, que Co ~ c1 ~ c] ~ ... , y limn ... oo cn = O. Ecnzn converge en todo punto del circulo I z I = 1, excepto, posiblemente, en z == 1.

Demostracion Hagamos an = zn, b; = cn. Se satisfacen las hipotesis del Teorema 3.42, pues

In I 11 - zm+ll 2

IAnl = ~t' = 1 _ z :s: 11 - zl '

si I z I = 1, z *- 1.

CONVERGENCIA ABSOLUTA

Se dice que la serie Ean converge absolutamente si converge la serie E I an I

3.45 Teorema Si Ean converge absolutamente, Ean converge.

Demostracion La afirrnacion se deduce de la desigualdad

mas el criterio de Cauchy.

3.46 Observaciones Para las series de terrninos positivos, la convergencia absoluta coincide con la convergencia.

SiEan converge, pero E I an I diverge, decimos que Ean converge no absolutamente. Por ejernplo, la serie

( -1)" L-

n

converge no absolutamente (Teorema 3.43).

El criteria de cornparacion, 10 mismo que el de la raiz y el de la razon, son en realidad metodos para hallar la convergencia absoluta y no pueden


dar ninguna informacion para las series convergentes no absolutamente. Para salvar esta dificultad se utiliza a veces la suma por partes. En particular, las series de potencias convergen absolutamente en el interior del circulo de convergencia.

Veremos que con las series absolutamente convergentes se puede operar en gran manera como con las sumas finitas: podemos multiplicarlas termino a terrnino y variar el orden en que se efectuan las sumas, sin afectar a la suma de la serie. Por el contrario, para las series no absolutamente convergentes esto ya no es verdad y hay que tomar mas precauciones al operar con elIas.

ADICION Y MULTIPLICACION DE SERIES

3.47 Teorema Si 1:an = A, y 1:bn = B, sera 1:(an + bn) = A + B, Y Eca; = cA, para todo c prefijado,

Demostraelon Sea

n A,,= Lak' k=O

de aqui

II

An + BII = L (ak + bk)·

k=O

Como limn'" 00 All = A y limn ... co BII = B, vemos que

lim (All + Bn) = A + B.

""'co

La demostracion de la segunda afirrnacion es aun mas sencilla.

Asi, pues, pueden sumarse terrnino a terrnino dos series convergentes y la serie resultante converge hacia la suma de las dos series. El caso es mas complicado cuando consideramos la multiplicacion de dos series: para empezar, debemos definir el producto, 10 que puede hacerse de varios modos; consideraremos el llamado «producto de Cauchy».

3.48 Definicion Dadas 1:a" y 1:bll• hacemos

II

ell = L akb,,-k k=O

(n=O,1,2, ... )

y llamamos a 1:cn, producto de las dos series dadas.

78 PRINCIPIOS DE ANAlISIS MATEMATICO

Se puede justificar est a definicion del modo siguiente: si tenemos dos series de potencias l:anzn y l:bnzn, las multiplicaciones terrnino a termino y agrupamos las que tienen la misma potencia de z, obtenemos

00 00

L a"z'" L bnz" = (ao + alz + a2z2 + .. ')(bo + b,z + b2z2 + ... )

n=O n=O

= ao bo + (ao b, + albo)z + (ao b2 + alb, + a2 bO)Z2 + ... =co+C1Z+C2Z2+ ....

Haciendo z = 1, llegamos a la definicion anterior.

3.49 Ejemplo Si

"

Crt = L c", 10=0

y An - A Y B; - B, no es inmediato que {en I converja hacia AB, pues no es Cn = AmBn· La dependencia de {Cn I respecto a IAn I Y IBn I es complicada (ver la demostracion del Teorema 3.50). Vamos a ver que el producto de dos series convergentes puede, de hecho, ser divergente.

La serie

co ( _1)" 1 1 1

L =1--+---+···

"=oJn + 1 J2 J3 J4

converge (Teorema 3.43). Formemos el producto de est a serie consigo misma, obteniendo

de forma que

" 1

Crt = (-1)" L .

10=0 J(n - k + 1)(k + 1)

Como

(n - k + 1)(k + 1) = G + 1) 2 _ (~_ k) 2 s (~+ 1) 2.

SUCESIONES NUMf:RICAS Y SERIES 79

tendremos

I If 2 _ 2(n + 1)

e ~L...--- •

n k=on+2 n+2

con 10 que se ve que la condicion cn - 0, necesaria para la convergencia de I;cn, no se cumple.

Antes de ver el teorema siguiente, debido a Mertens, debemos hacer notar que hemos considerado el producto de dos series no absolutamente convergentes.

3.50 Teorema Supongamos que

eo

(a) L an converge absolutamente,

n=O eo

(b) La" =A,

,,=0 ro

(e) L b; = B,

,,=0

n

(d) en = L akb,,-k

k=O

(n = 0, 1,2, ... ).

Se verificara que

eo

Lc,,=AB.

n=O

Esto es, el producto de dos series convergentes converge, haciendolo adernas hacia el valor previsto, si al menos una de las dos series converge absolutamente.

Demostracion Hagamos

Sera

e" = aobo + (aObl + a1bo) + ... + (aob" + atb,,-l + ... + allbo) = aoB" + a1B,,-1 + ... + a"Bo

= ao(B + P,,) + al(B + P,,-l) + ... + an(B + Po) = A"B + aop" + alP,,-1 + ... + a"po

80 PRINCIPIOS DE ANA LIS IS MATEMAnco

Pongamos

1'" = aop" + alPn-l + ... + a"po'

Queremos demostrar que Cn - AB. Como AnB - AB, basta ver que

(21)

lim 1'" = o.

"--00

Hagamos

00

(X = L la"l·

,,=0

[Aqui es donde utilizaremos (a)]. Sea dado B > O. Por (e), p" - O. Por tanto, podemos elegir N tal que IPnl :5 B para n ~ N, en cuyo caso

11',,1 ::; IPoan + + PNan-NI + IPN+lan-N-l + ... + Pnaol

::; IPoa" + + PNa,,-NI + BOC.

Conservando N fijo y haciendo n - 00, tenemos

lim sup 11',,1 s BOC,

,,-- 00

ya que ak - 0 cuando k - 00. Y, al ser arbitrario ~, queda

demostrado (21).

Otra interrogacion que se present a es si la serie ~en tiene, siempre que sea convergente, la suma AB. Abel dernostro que la respuesta es afirmativa:

3.51 Teorema Si las series t»; ~bn y ~e" convergen hacia A, B, C y c, = {lob" + .,. + {lnbO' es C = AB.

En este caso, no es necesario hacer ninguna hipotesis sobre la convergencia absoluta. Daremos una demostracion sencilla (que se basa en la continuidad de las series potenciales) despues de ver el Teorema 8.2.

REORDENAMIENTOS

3.52 Definicion Sea Ikn), n = 1, 2, 3, ... , una sucesion en la que cad a entero positivo aparece una vez y solo una (esto es, {kn I es una funcion 1-1 de J en J, segun la notacion de la Definicion 2.4). Haciendo

(n=1,2,3, ... ),

decimos que ~a: es un reordenamiento de ~an'


Si {Sn} Y {s;} son las sucesiones de las sumas parciales de l:an y l:a:, se ve facilmente que, en general, las dos sucesiones constan de terrninos completamente diferentes. Hemos llegado, ahora, al problema de determinar en que condiciones convergeran todas los reordenamientos de una serie convergente, y si las sumas de ellas son necesariamente iguales.

3.53 Ejemplo Consideremos la serie convergente

(22) 1 - ! + t - ! + t - i + ...

y uno de sus reordenamientos,

(23)

1 t t - ! + t + t - ! + t + 1\ -i + ...

en la que siempre ados terrninos positivos sigue uno negativo. Si s es la suma de (22).

s < 1 - t + t = i·

Como

para k ~ 1, vemos que ~' < -%' < ~' < ... , donde s: es la n-esima suma parcial de (23). Por tanto,

lim sup s~ > s; = i,

11-+ 00

esto es, (23) no converge hacia s [dejamos al lector el comprobar que (23), sin embargo, converge].

Este ejemplo ilustra el teorema siguiente, debido a Riemann.

3.54 Teorema Sea l:an una serie convergente pero no absolutamente de numeros reales, y sean a -s f3 dos numeros dados (en el sistema ampliado de numeros rea/es). Esto es,

-00 ~ a ~ f3 ~ 00.

Existe un reordenamiento 'Ean', con sumas parciales, s;, tales que:

(24)

lim inf s~ = a,

11-+00

lim sup s~ = p.

""'00


Demostraci6n Sea

lanl + an

P« = 2 '

lanl - an

qn = 2

(n = 1, 2, 3, ... ).

Sera Pn - qn = an; Pn + qn = I an I; Pn ~ 0; qn ~ O. Las series '£Pn Y '£qn seran ambas divergentes.

Porque si fueran convergentes,

seria convergente, contrariamente a la hipotesis. Como

N N N N

L an = L (Pn - qn) = L p" - L qn'

,,=1 n=l n=1 ,,=1

la divergencia de 'E.Pn Y la convergencia de 'E.q" (0 viceversa) implica la divergencia de '£a" 10 que, de nuevo, va contra la hipotesis.

Representemos, ahora, por PI' P2, P3, ••• , los terrninos no negativos de '£a" en el orden en que figuran Y QI' Q2' Q3' ... ' los val ores absolutos de los terrninos negativos de 'E.an en su orden.

Las series 'E.Pn, 'E.Qn difieren de 'E.P/I' '£qn solo en terminos cero y son, por tanto, divergentes.

Construyamos las sucesiones Imn), Ikn) tales que la serie

(25) P1 + ... +Pm1 - Ql - ... - Qkl +Pm1+1 + ...

+Pm2 - Qkl+l _ ... - QA2 + ... ,

que, como se ve facilmente, es un reordenamiento de '£a/l' satisfaga a (24).

Elijamos sucesiones con valores reales la,,}, li3n} tales que an a; 13/1 - 13; a" < «; 131 > O.

Sean m, k, los menores enteros, para los que

P, + ... + Pm, > Pl'

Pl + ... +Pm1 - Ql - ••. - Qkl < !Xl;

~, ~ los enteros menores, para los cuales

Pl + +Pm1 - Ql - ••. - Qkl +Pm1+1 + ... +Pm2 > Pz,

PI + + Pm, - Ql - •.. - Qkl +Pm1+1 + .. ' +Pm2 - Qkt+l

- ... - Qk2 < !Xz;


continuando de este modo, 10 que es posible, porque '£P" y '£Q" divergen.

Si x"' y" representan las sumas parciales de (25), cuyos ultimos terrninos son Pm" y - Qk", sera

Como P" - 0 y Q" - 0 cuando n - 00; vemos que xn - {3, e y" - <x.

Finalmente, esta claro que ningun numero menor que <X 0 mayor que {3 puede ser limite subsecuencial de las sumas parciales de (25).

3.55 Teorema Si '£a" es una serie de numeros complejos que converge absolutamente, entonces cualquier reordenamiento de '£a" converge, y todos ellos convergen a fa misma suma.

Demostraclon Sea un reordenamiento '£a"', con sumas parciales s;. Dado 8 > 0, existe un entero N tal que m ;::: n ;::: N implica

(26)

m

L lad :::;;8.

i=n

Ahora se escoge p de tal forma que los enter os 1, 2, ... , N esten todos en el conj unto k., ~, ... , kp (se esta usando la notacion de la Definicion 3.52). Entonces si n > p, los numeros al, ... , aN se cancelaran al llevar a cabo la diferencia s" - s;, de tal forma que por (26), ISn - s;1 :5 8. Por consiguiente Is;} converge hacia la misma suma que Is,,}.

EJERCICIOS

1. Demostrar que la convergencia de Is" I implica la de II s" II. i,Es verdad la inversa?

2. Calcular lim hI n2 + n - n) .

• "OJ

3. Si Sl = ..j 2, y

8.+1 = V2+ V~

(n = 1, 2, 3, ... ),

demostrar que Is" I converge, y que s" < 2 para n = I, 2, 3, ...

4. Hallar los Ii mites superior e inferior de la sucesion ISn I definida por

81 =0;

S2m-l 82m =-2-;

1

82m + 1 = 2: + 82m.

84 PRINCIPIOS DE ANALISIS MA TEMA nco

5. Para cad a dos sucesiones reales Ian I, Ibn I, tenemos

lim sup (a. + b.) ~ lim sup a, + lim sup b.,

..... .,

siempre que la suma de la derecha no sea de la forma 00 - 00.

6. Averiguar el comportamiento (convergencia 0 divergencia) de Ean, si

(a) a. =v'n+l-v';;; (b) a. = v'n=ti- v';; ;

n

(c) a. = ("\1;; - I)'; 1

(d) a, = 1 + z'" para val ores complejos de z.

7. Demostrar que la convergencia de Ean implica la de

si an ~ O.

8. Si Ean converge y Ibn I es monotona y acotada, Eanbn converge.

9. Hallar el radio de convergencia de cada una de las series de potencias siguientes:

n3

(d) L 3.z•.

10. Supongamos que los coeficientes de la serie de potencias Eanzn son enteros, y que un numero infinito de ellos son distintos de cero. Demostrar que el radio de convergencia es, a 10 mas 1.

11. Suponer que an > 0, sn = al + ... + an' yEan diverge.

(a) Demostrar que L 1 ~. a. diverge.

(b) Demostrar que

aN+1 + ... + aN+! ::::::: 1 _ _!!!_ SN+1 SN+k SN+t

y deducir que L ~ diverge.

s;

(c) Demostrar que

a. 1 1 2~----

S. S.-l S.


. "a.

y deducir que c: 2 converge.

S.

(d) i.Que se puede decir acerca de

L a.

1 + nan

d" a. ?

an £-1+ 2 •

n a •

. 12. Suponer que an > 0 yEan converge. Hacer

., r.= La", . .. =.

(a) Demostrar que

am a. r«

-+".+- >1--

r.. r. r,.

si m < n, y deducir que L~ diverge.

r,

(b) Demostrar que

a.

y deducir que L. j- converge. 'v r.

13. Demostrar que el producto de Cauchy de dos series absolutamente convergentes, converge absolutamente.

14. Si ISn I es Una sucesion compleja, se define su media aritrnetica an como

So + Sl + ... + s.

a" =

n+l

(n =0,1,2, ... ).

(a) Si lim sn = s, demostrar que lim an s.

(b) Construir una sucesion ISnl que no converja, aunque an = O.

(c) i,Que ocurriria si Sn > 0 para todo n y lim sup sn = 00, aunque an O?

(d) Hacer an = s; - sn_1' para n ~ 1. Mostrar que

Suponer que lim (nan) = 0 y que Ian I convergen. Demostrar que Is. I converge. [Esto proporciona un inverso de (a), pero con la suposicion adicional de que nan - 0.]

(e) Deducir la ultima conclusion a partir de una hipotesis mas debil: Suponer M < 00, I nan I :5 M para todo n, y lim an = a. Probar que lim s; = a, completando 10 siguiente:


Si m < n, entonces

m+ 1 1·

s.-a.=--(a.-a,.) +-- L (S.-S,).

n-m n-m 1- .. +1

Para estas i,

(n - i)M (n - m - l)M

Is. - sd:::;; i + 1:::;; m + 2

Con e > 0 fijo y asociado a cad a n el entero m que satisface la desigualdad

n-e m:::;;l+e<m+l.

Entonces (m + 1)/(n - m) -s lie y ISn - sjl > Me. De aqui que

lim supj s, - e] :::;;Me •

• ~Q()

Ya que e fue arbitrario, lim sn = a.

15. Puede ampliarse la Definicion 3.21 en el caso para el cual los an pertenecen a algun Rk prefijado. La convergencia absoluta se define como la convergencia de 1: 1 an I. Mostrar que los Teoremas 3.22, 3.23, 3.25(a), 3.33, 3.34, 3.42, 3.45, 3.47 y 3.55 son verdaderos en este caso mas general. (Solo se requieren modificaciones Iigeras en las demostraciones.)

16. Si ex es un numero positivo fijo, escoger x, > "';-;;, y definir x2' x3' x4' ••• ' por medio de la formula de recurrencia

(a) Demostrar que IXn I decrece monotonarnente y que lim xn ",;a.

(b) Hacer s; = xn - ...;(;, y mostrar que

de modo que al poner {3 = 2"';(;.

(n = 1, 2, 3, ... ).

(c) Este es un buen algoritmo para calcular raices cuadradas, debido a que la formula de recurrencia es sencilla y la convergencia en extrema rapida, Por ejempio, si ex = 3 Y XI = 2, mostrar que e//3 < /0 y que por 10 tanto

e« <4.10-16,


17. Sea a > 1 fijo. Si se toma XI > ...;-;; y se define

<X + x, <X - x;

X.+l = 1 +x. = x.+ 1 +x.·

(a) Demostrar que XI > X3 > Xs > .

(b) Demostrar que Xi < x4 < X6 < .

(c) Demostrar que lim xn = ",;a.

(d) Comparar la rapidez de convergencia de este proceso con la del descrito en el Ejercicio 16.

18. Reemplazar la formula de recurrencia del Ejercicio 16 por

p - 1 + <X _.+, x.+,=--X. -x.

p p

en donde p es un entero positivo fijo. Describir el comportamiento de las sucesiones Ix" I resultantes.

19. Asociar a cad a sucesion a = Ian I en la cual an es 0 0 2, el numero real

., <X

x(a) = L ~ .

• =,3

Demostrar que el conjunto de todos los x(a) es precisamente el conjunto de Cantor que se describio en la seccion 2.44.

20. Suponer que [Pn I es una sucesion de Cauchy en un espacio rnetrico X, y que alguna subsucesion [Pn.1 converge hacia un punto p E X. Demostrar que la sucesion completa [Pn I ~onverge hacia p.

21. Demostrar el siguiente teorema, analogo al 3.10(b): Si lEn I es una sucesion de conjuntos cerrados y acotados en un espacio metrico completo X, En ::> En + I' y si

lim diarn E. = 0,

.... 00

n '{'En consta solamente de un punto.

22. Supongamos que X es un espacio met rico completo, y IGn I una sucesion de subconjuntos abiertos densos de X. Demostrar el teorema de Baire, es decir, que n '{'Gn es no vaclo, (De hecho, es dense en X.) Sugerencia: Hallar una sucesion decreciente de entornos cerrados En' de modo que E,. c Gn, y aplicar el Bjercicio 21.

23. Supongamos que [Pn I y Iqn I son sucesiones de Cauchy en un espacio met rico X.

Demostrar que la sucesion Id(Pn,qll) I converge. Sugerencia: Para cada m, n;

se deduce que

I dip; , q.) - d(p,. , qm) I

es pequeno si m y n son grandes.


24. Sea X un espacio rnetrico.

(a) Llamando ados sucesiones de Cauchy lPn I, Iqn 1 equivaientes en X, si

lim d(p., q.) = O.

"~'"

Demostrar que esta es una relacion de equivalencia.

(b) Sea X* el conjunto de todas las c1ases de equivalencia asi obtenidas. Si P E X*, Q E X*, lPn I E P, Iqn I E Q, definamos

6.(P, Q) = lim d(p., q.);

Por el ejercicio 23, existe este limite. Demostrar que el nurnero A(P,Q) permanece invariable si se sustituyen lPn 1 y Iqn I por sucesiones equivalentes, y de aqui que A es una funcion distancia en X*.

(c) Demostrar que el espacio met rico resultante X· es completo.

(d) Para todo p E X, existe una sucesion de Cauchy, cuyos terminos son todos p; sea Pp eI elemento de x· que contiene esta sucesion. Demostrar que

para todo p, q E X. En otras palabras, la aplicacion cp definida por cp(p) == Pp es una isometria (es decir, una aplicacion que conserva las distancias) de X en X·. (e) Demostrar que cp(X) es denso en X*, y que cp(X) = X* si Xes completo, Por (d), podemos iaentificar X y cp(X) y considerar a X sumergido en el espacio met rico completo X·. A X· le llamamos la completezt de X.

25. Sea X el espacio metrico cuyos puntos son los nurneros racionales, con la metrica d(x,Y) = Ix - y I. l.Cual es la completez, X*, de este espacio? (Compararcon el Ejercicio 24.)

t N. del E.: Se ha extendidoel uso de la palabra complete; como traduccion del adjetivo completness. La Academia ha aceptado el termino comptecion, y existe tendencia a emplear este vocablo.

4

CONTINUIDAD

El concepto de funcion y parte de la terrninologia, relacionada con ella, se introdujeron en las Definiciones 2.1 y 2.2. Aunque (en capitulos posteriores) prestaremos especial interesa las funciones reales y complejas (esto es, funciones cuyos valores son numeros reales 0 complejos) tambien trataremos sobre funciones vectoriales (esto es, con valores en Rk) y con valores en un espacio rnetricoarbitrario. Los teoremas que trataremos de este modo general no resultan mas sencillos si los limitamos, por ejemplo, a las funciones reales; y realmente simplifica y aclara el panorama el descartar las hipotesis innecesarias, y plantear y demostrar los teoremas en un sentido convenientemente general.

Los dominios de definicion de nuestras funciones seran, pues, espacios metricos, convenientemente especificados en varios casos.

LiMITES DE FUN ClONES

4.1 Definicion Sean X y Yespacios metricos; supongamos que E c: X, f mapea (0 aplica) E en Y y pes un punto limite de E. Escribiremos f(x) - q cuando x - p o

(1)

limf(x) =q

x""p

90 PRINCIPIOS DE ANALISIS MATE MATICO

si existe un pun to q E Y con la siguiente propiedad: Para todo e > 0 existe un 0 > 0, tal que

(2)

dy(f(x), q) < s

para todos los puntos x E E, para los cuales

(3)

o < dx(x, p) < 0.

Los simbolos dx y d, se refieren a las distancias en X e Y, respectivamente.

Si X y/o Y se sustituyen por la recta real, el plano complejo, 0 algun espacio euclidiano Rs, las distancias dx, d, se sustituyen por los valores absolutos, 0 por las norm as apropiadas (ver Sec. 2.16).

Debe observarse que p E X, pero p no necesita ser punto de E en la definicion anterior. Ademas, aun si pEE, podemos tener f(P) "* lim f(x).

Podemos enunciar de nuevo esta definicion, en lenguaje de limites de sucesiones:

4.2 Teorema Sean X, Y, E, f, p como en la Definicion 4.1. Sera:

.

(4)

limf(x)=q

x-+p

si y solo si

(5)

para toda sucesion IPn I en E, tal que

(6)

Pn:F p,

lim Pn =p.

n-+oo

Demostraclon Supongamos que se cumple (4). Elijamos IPn I en E, de modo que satisfaga a (6). Sea s > 0 dado. Existe 0 > 0, tal que dy(f(x),q) < 8 si x E E Y 0 < dx(x,p) < 0. Existe, adernas, un N, tal que n > N implica 0 < dx(PII'p) < 0. Asi, pues, para n > N, tenemos dY(PII),q) < s , 10 que demuestra que se cumple (5).

Inversamente, supongamos que (4) es falso. Existira algun e > 0, tal que para todo 0 > 0 existe un pun to x E E (dependiente de 0), para el cual dt,(/)x),q)~ 8, pero 0 :5 dx(X'p) < 0. Tomando 0" = 11" (n = I, 2, 3, ... ), hallamos una sucesion E que satisface a (6), para la cual (5) es falso.

Corolario Si f tiene un limite en p, este limite es unico.

Se deduce de los Teoremas 3.2(b) y 4.2.

Rudin - Principios Dean Ali Sis Matematico

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Rudin - Principios Dean Ali Sis Matematico

Transféré par

Droits d'auteur :

Formats disponibles

PRINCIPIOS DE ANALISIS MATEMATICO

PRINCIPIOS DE ANALISIS MATEMATICO, 3a. edici6n

Vous aimerez peut-être aussi

Rudin - Principios Dean Ali Sis Matematico

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Rudin - Principios Dean Ali Sis Matematico

Transféré par

Droits d'auteur :

Formats disponibles

﻿PRINCIPIOS DE ANALISIS MATEMATICO

PRINCIPIOS DE ANALISIS MATEMATICO, 3a. edici6n

Vous aimerez peut-être aussi

PRINCIPIOS DE ANALISIS MATEMATICO