Principios de Análisis MatemáticoDescripción completa
Se pretende que este libro sirva como texto para el curso de análisis que reciben normalmente los estudiantes avanzados de licenciatura o para los estudiantes graduados de primer año de mate…Descripción completa
UniversidadDescripción completa
Descripción: Analisis matematico
APLICACIONES DE LA DERIVADA ADMINISTRACIÓN Y FUNCIONESDescripción completa
analisis matematico con administracionDescripción completa
Descripción completa
Descripción completa
es un modelo de sylabus del curso de analisis matematico IIDescripción completa
Descripción: solucionario de analisis matematico 2 integrales
ejercicio de analisi matemarico
solucionario de analisis matematico 2 integralesDescripción completa
sdsdsdsdsd
Analisis Matematico IIDescripción completa
Analisis Matematico III EspinozaDescripción completa
Análisis MatemáticoDescripción completa
mateDescripción completa
Prólogo
,t""u".,,,d"fI. I.DITORIAL REVERTÉ. S. A, Lurltlo. 13 15. local B 08029 Barcelona 1l1l'''''VU'¡O" lodos los derechos, la reproducción total o parcial de esta obra. por cualqUier 11111(1111 ti
IHocndlmlento, comprendidos la reprograffa y el tratamiento informático y la distri-
llllO:lOí" do "ltlmplares de ella mediante alquiler o préstamo públicos, queda rigurosamente 1" .. llIhl
I dlC:u\n
ISIIN - X4 - 291 - 5072- 2 I ¡"I """1,, legal. B-31 015 -1991 1" 'P' "SO por GERSA, Industria Gráfica '1II111)()[ del Bruc. 6 I Jll!I/O Sant Joan Despí (Barcelona)
Lafinalidad de este libro sobre «principios«, destinado a los estudiantes que ;11;(';(/1/ el estudio del Análisis Matemático, es presentar las teorías básicas y los método,\' ¡!rO/JI'" de esta rama de la Matemática, que han de servir defundamento y referencia (f los 1///1' \/' dediquen al cultivo de esta ciencia, o a aquellos que usen de ella en las apliCilclulI".\ No esfácil precisar el contenido y los límites de una obra de esta natum/I':'.il )'II/I/d,,, menos acertar en el estilo de su redacción, que ha de ser vivo y estimulan/I', IISII/mlldo 1/ que su lectura sea más encuentro personal con una ciencia que información SII/m'/II/tI \'1' liosa herencia cultural. Por otra parte, estos textos de iniciación tienen características comul/cs tJI//' ,'(1111',,'/1,· tener presente y respetar, En primer lugar han de servir para ordenar /0.1' COI/()(';/1/ /t'I/I" I )' vivencias científicas que el lector haya adquirido y experimentado con Cln/ai(}/'idlill, I que es probable le inclinaran a seguir una vía de dedicación, Ha de ser tambh;1/ IIIII/i," d,' cuidadoso examen la selección de los temas de estudio, en la que primara el mlw'/a básico sobre otras consideraciones de brillantez o gusto personal, Fina1mcnlc, C/JIII/J '" método es lo que transforma en ciencia un conjunto de resultados y noticias de U//II d¡'{('/ minada área del conocimiento y además le imprime un carácter abierto, es incllld¡¡'¡" una presentación matemática, es decir, lógico-deductiva, de la teoría, El razonalllim/II I e[fino ejercicio de la deducción lógica habrán de aparecer como una regla y un ud/,'\'I/I' miento en el juego del descubrimiento matemático, En esta ciencia, como en I/ill):/II/I/ otra, el estudiante no puede ser espectador, y sólo podrá asegurar que ha llegado l/I
v
VI
Prólogo
A (.fIlial de cada uno de los capitulas se han dispuesto colecciones de ejercicios relala maleria tratada, cuya resolución es complemento indispensable del estudio
111'11,\ 11
tf'OI'/Ó¡,
)
A (t,'rminar estas líneas introductorias esjusto que dedique las últimas a agradecer a hli/o/'ill! Rl'l'l'rté, S. A., su interés, buena acogida y cuidados que han puesto en la /'/1"'/"1/("11)// de esta obra. Agradecimiento que hago extensivo a amigos, colegas y alum11(/,\ 11 !Ol' '/111' tanto debo y de los que tanto he aprendido. E. LINÉS ESCARDÓ
índice analítico 1. Elementos de la teoría de conjuntos 1. 2. 3. 4. 5. 6. 7.
Conjuntos 2 Producto de dos conjuntos. Relaciones Relaciones de orden 6 Aplicaciones 11 Sucesiones 15 Cardinalidad de conjuntos 16 Ejercicios 20
Límite de una sucesión 25 Límites infinitos 29 Propiedades aritméticas de los límites 31 Transformaciones lineales que conservan la convergencia en las sucesiones Sucesiones fundamentales 38 Cuerpos completos 40 Ejercicios 41
3. Método de Cantor para completar un cuerpo ordenado 1. 2. 3. 4. 5.
46 Sucesiones nulas, positivas y negativas 48 Equivalencia de sucesiones fundamentales. Cuerpo cociente Ordenación del cuerpo cociente 57 Teorema de completitud 60
45
El anillo de las sucesiones fundamentales
4. El cuerpo de los números reales 1. 2. 3. 4. 5. 6.
34
Cuerpos arquimedianos 64 Definición de cuerpo de números reales Teorema de unicidad 66 Teorema del extremo 70 Axiomas de los números reales 73 Ejercicios 75
51
63
66
VII
VIII
índice analítico
5. La recta real
4. 5. 6. 7.
¡\ X i( lIll¿¡~
• ().
I
I
·1 (,
I
87
8. El cuerpo de los números complejos
115
124
1. 2. 3. 4. 5, 6. 7. 8.
191
Funciones 192 Límite de una función en un punto 194 Definición general del límite 202 Límites laterales 206 Propiedades generales de los límites 209 Propiedades aritméticas de los límites 211 Límites de las funciones polinómicas y racionales Ejercicios 218
12. Continuidad 123
1h-lilliciún del .:uerpo de los números complejos 135 ] 1{lIlees cuadradas de los números complejos 138 ,1, Números complejos conjugados 139 ·1 VnI"nr.: ión del cuerpo de los números complejos 140 :'1 1:,1 ¡¡.rupo de los complejos de módulo uno 141 (1 ¡\ n)1.ulos y argumentos 143 7 Su.:esiones convergentes y fundamentales 145 K, 1':jl~r¡;jcios 148
Definición de serie 152 } Convergencia de series 154
1. Convergencia absoluta 174 Reordenación de series 176 Convergencia de la suma de series 179 Convergencia del producto de series 180 La serie exponencial 185 Ejercicios 188
2. 3. 4. 5. 6.
11. Límites de funciones
1''''''II<'las de hase el núme'To e 116 • 1« 'gilrrl 11l0S neperianos /2 ! I 1'lIlt'lI,ias de hase de un número positivo 123 ·1 1,llIlIll's de sucesiones de potencias y logaritmos I ,1 111 11I's dc al)!.ullas sucesiones notables 128 It 1" Il'I,'il'ios /29
151
97
173
108
Ulnit..,s de potencias y logaritmos
9. Series numéricas
165
10. Convergencia absoluta y producto de series
l ,os teoremas d e I a topología de la recta real I lo', 1""rClllas de eltistencia 98 N" 1l11111n:lhilidad d~ la recta real 100 1{"\I"'III:! de recuhrimiento 101 «', "II,,,,I,,,~ l'OIupactos 103 111 II','la I<'al ampliada 105 S,,,,' .. ,, III,'S, Valores adherentes y límites 1'1'"11'1<'11" I/l
IX
3. Series de términos positivos 158 Criterios del cociente y de la raíz 162 Series de términos positivos decrecientes Series alternadas 168 Ejercicios 170
79
de la recta real 80 ,1 Illlnvalo:-" ~ntornos y conjuntos abiertos 82 I l'strIlL'lllra de los conjuntos abiertos en la recta real ·1 1'111I1",~ dc acumulación y adherentes 89 ('IIl1llll1los cerrados 91 /1 A\II'llI:llica dc los abiertos 93 l'I"I"leios ()4
fndice analítico
215
221
l. Continuidad de una funcion en un punto 222 2. Definición general de continuidad local 224 3, Continuidad por la derecha y por la izquierda en un punto 4, Operaciones aritméticas con funciones continuas 227 5. Funciones continua~ en un conjunto 228 6. Ejercicios 232
13. Los teoremas de la continuidad
235
l. Teorema de conservación de la compacidad 236 2. Teorema de conservación de la conexión 238 3. Teorema de la continuidad uniforme 241
226
x
índice élniJlítico
4. Aplicación al «teorema fundamental del Álgebra») 244 5. Ejercicios 247
XI
fndice analftico
18. Los teoremas del valor medio del Cálculo diferencial 1. Los teoremas de Rolle y del incremento finito
14. Funciones monótonas
2. 3. 4. 5. 6.
251
1. Monotonía global y local 252 2. Límites de las funciones monótonas 257 J. Extensión por continuidad de una función monótona 4. Ejercicios 263
337 La función derivada 339 Fórmula del valor medio de Cauchy 341 Regla de I'H6pital 343 Derivadas sucesivas y teoremas de valor medio generalizados Ejercicios 352
.?35
259
19. Fórmula de Taylor y aplicaciones 15. Funciones elementales
349
357
265 1. Los símbolos «o» y «O». Aproximaciones locales
l. 2. 3. 4. 5. 6. 7. 8.
Funciones elementales 267 Funciones lineales 267 La función cuadrática y su inversa 269 Otras potencias de exponente fraccionario Funciones exponenciales 275 Funciones logaritmicas 279 Funciones potenciales 281 284 Ejercicios
2. 3. 4. 5. 6. 7. 8.
271
359 Aproximación polinómica y fórmula de Taylor 364 Resto de la fórmula de Taylor 365 Desarrollos de las funciones elementales y de las trigonométricas Convexidad y concavidad 371 Convexidad y concavidad locales. Inflexión 376 Análisis local por la fórmula de Taylor 379 Ejercicios 381
20. La integral de Rieman 16. Funciones circulares 1. 2. 3. 4. 5. 6. 7.
1. 2. 3. 4. 5. 6. 7. 8.
La serie exponencial 289 La serie exponencial imaginaria 292 Las funciones coseno y seno 293 Periodicidad de la exponencial imaginaria 296 Medida de ángulos 300 Funciones circulares directas e inversas 302 Ejercicios 307
1 7. La derivada l. 2. 3. 4. 5. 6. 7.
287
El problema de la tangente 313 La derivada 314 Reglas de cálculo de derivadas 320 Monotonía, máximos y mínimos locales 322 Derivada de la función inversa 325 Derivadas de las funciones elementales y circulares Ejercicios 330
385
El problema del área 387 Definición de integral 390 Condición de integrabilidad de una función 394 Clases de funciones R-integrables 399 Propiedad aditiva de la integral respecto de los intervalos 401 Propiedad lineal y de monotonía de la integral respecto de las funciones Primer teorema del valor medio 407 Ejercicios 408
21. Funciones integrables Riemann
311
.327
l. 2. 3. 4. 5. 6. 7.
3{¡()
411
Conjuntos de contenido nulo en R 413 Funciones continuas salvo en conjuntos de contenido nulo 414 Conjuntos de medida nula en R 417 Oscilación de una función en un intervalo yen un punto 419 Caracterización de las funciones integrables Riemann 422 Funciones regladas 424 Ejercicios 426
·10.1
XII
índicl1 analítico
22. Los teoremas fundamentales del Cálculo integral
427
Integral indefinida 429 Primer teorema fundamental del Cálculo 431 Función primitiva 431 Segundo teorema fundamental del Cálculo 433 .~ ¡;¡'lrmulas clásicas del Cálculo 435 (, hlllcioncs con integral y primitiva distintas 436 7 1-:1 segundo teorema del valor medio 440 H I:jcrcicios 443 l. 2. 3. 4.
26. Series funcionales
Definición de serie de funciones 546 Convergencias puntual y uniforme 548 Criterios de convergencia uniforme 550 Continuidad, derivabilidad e integrabilidad de las series uniformemente gentes 555 5. Ejercicios 556
445
l. 2. 3. 4. 5.
N"tllciún de Lcibnitz. Integrales inmediatas 447 .' Ml'lot!os elementales de integración 449 I "OllllIlIIlS recurrentes 452 ·1 Inl¡·V.IIICiclll de funciones racionales 457 Inlql.rllci'lIl de algunos tipos de funciones irracionales 471 (1 11l1(·I'.lIIl'ioll de algunos tipos de funciones trigonométricas 477 Inl¡·II.IIICi,'lIl de algunos tipos de funciones transcendentes 484 ti
I'Wn'il'ios
l. 2. 3. 4. 5. 6.
491
Inll·V.I'ltl'iÚIl sonrc intervalos no compactos 492 ('rileríos de convergencia 500 .1 ¡\ I)\tlnos lipos de integrales impropias 505 -1 {'IIIl1JllIl'llción de integrales impropias con series 509 ,~ ¡·:.It'I'l'Íl'ios 514
26. Sucesiones de funciones
l. 2. 3. 4. 5. 6.
1. {'ollv-crgcncia puntual 518 2. ('ollvergencia uniforme 524 J. Propiedad de acotación 527 'i. ('ontinuidad de la función límite (1. Dcrivación de la función límite 7. Integración de la función límite 1-1 Ejercicios 541
531 532 535
Rn
567
587
El espacio vectorial R" 588 Topología euclídea en R" 591 Principio de encaje 596 Dos teoremas de existencia 597 Conjuntos compactos 599 Ejercicios 601
29. Límites y continuidad de funciones entre espacios euclídeos 603
517
4. AIl-\cnra de las sucesiones uniformemente convergentes de funciones
COII "t' I
559
Convergencia de las series de potencias 560 PJ;opiedades de las funciones definidas por series de potencias Desarrollo de una función en serie de potencias 572 Algunos desarrollos usuales 576 Ejercicios 582
28. El espacio euclídeo
487
24. Integrales impropias
545
1. 2. 3. 4.
27. Series de potencias 23. Cálculo de primitivas
XIII
índice analítico
528
Funciones entre espacios euclídeos 605 Umite de una función en un punto 607 Umites sucesivos 611 Continuidad de una función en un punto 617 Función continua en un conjunto 618 Ejercicios 619
30. Cálculo diferencial de funciones entre espacios euclídeos l. Derivada de una función vectorial 2. La diferencial 629
625
6.'.1
XIV
índice analítico
3. Propiedades de la diferencial 633 4. Existencia y determinación de la diferencial 636 5. Matriz jacobiana 640 6. Derivada según un vector 643 7. Interpretación geométrica de la diferencial de una función real 645 H. Derivadas parciales de orden superior 647 9. Fórmula de Taylor. Análisis local de las funciones reales 652 10. Ejercicios 658
31. Integrales múltiples l. 2. 3. 4. 5. 6. 7. 8.
661
La integral doble 663 Clases de funciones R-integrables en un intervalo 667 Propiedades de la integral 671 Integraciones sucesivas 673 Integración sobre conjuntos acotados 677 La integral múltiple 682 Fórmulas integrales para algunas constantes mecánicas 687 Ejercicios 689
índice alfabético
693
Principio~
de Análisis Matemático
1. Elementos de la teoría de conjuntos 1. Conjuntos. 2. 3.
Producto de dos conjuntos. Relaciones. Relaciones de orden.
4.
Aplicaciones.
5.
Sucesiones.
6. 7.
Cardinalidad de conjuntos. Ejercicios.
Este primer capítulo es introductorio, y en él se recopilan los princlplOs de la teoría elemental de conjuntos, que se supone conocida. El objeto es exponer en forma concisa las principales definiciones y propiedades de esta teoría, así como las notaciones más frecuentemente usadas. Por otra parte se supone que todas las propiedades referentes a los sistemas de números naturales, enteros y racionales son igualmente conocidas. No así la teoría del núm$fo real que será objeto de estudio detallado en los próximos capítulos. A partir ~e las nociones de conjunto y elemento. se definen las operaciones de unión, intersección, difaencia y paso al complemento, así corno sus propiedades (1.2, 1.4). Con la noción de par ordenado, se construye el producto de dos conjuntos, ya partir de éste se define el concepto básico de relación (2.3). La relación de equivalencia (2.4) que es la más natural que se puede definir en un conjunto, origina en éste una partición asociada. Otra relación fundamental es la de orden (3), que interviene en todas las definiciones de convergencia en los principios del Análisis. Entre todos los tipos de ordenación, la total es la más simple (3.3), y de ella se dan algunos ejemplos notables. Anejas a la ordenación están las nociones de cotas y extremos (3.5, 3.6), de tal importancia, que sin eUas no se podría ni enunciar el principio del extremo, caracteristico del cuerpo de los números reales. El concepto de aplicación (4), que es un caso particular del de relación, se destaca con tal fuerza, pues es el objeto del estudio del Análisis, que en parte obscurece a los demás. Tanto la nomenclatura (5.2, 4.3), como la clasificación (4.4) se exponen con detalle, y se consideran igualmente las restricciones y extensiones (4.8) de una aplicación, y la composición de aplicaciones (4.7). Una clase de aplicaciones, sin duda las primeras que se presentaron al análisis del matemático, son las sucesiones: aplicaciones de N en un conjunto (5). Aparte del interés intrínseco de las sucesiones, tienen un carácter instrumental eri el estudio de otras aplicaciones más complicadas. En los casos elementales, la cardinalidad de un conjunto (6) está definida por el número de sus elementos. En los casos más generales, Cantor define la igualdad del número cardinal de dos conjuntos, por la posibilidad de establecer una coordinación, es decir, una biyección (6.1), entre ambos. Entre los conjuntos no finitos (6.3), el más simple es N, y todos los conjuntos coordinables con él son los numerables (6.4). El conjunto Q de los números racionales es numerable (6.7).
1
2
Elementos de la teoría de conjuntos
].
CONJUNTOS
también se expresa por
Se supondrán conocidos los princIpIos de la teoría elemental de conjlllllos. En este apartado y en los siguientes se expondrán en forma resumida. l.IS principales definiciones y proposiciones de esta teoría, así como las nota("iolles más frecuentemente usadas. Los cOI/juntos suelen designarse por letras mayúsculas: A, B, .. <; X, Y, ... , .v I().~ ('{c/I1cntas por letras minúsculas: a, b, ... , x, y, .... 1.1.
'l/x € X,
X E
A.
A
c
B
o
esta relación también se expresa por 'dx € X, €
que A es un subconjunto de B; es decir, que cada elemento elemento de B. / )os conjuntos A y B son iguales (A = B) si tienen los mismos elementos. Si 11 e n y A 7'c B, es A un subconjunto estricto de B. 1.;1 n'/ación e entre conjuntos es una relación de orden; es decir, si A, B .Y (' SOII conjuntos, se tiene: 1'01101
I'XpI"I'S;¡r
/\ es IIn
El conjunto vacío
cp, está definido por
AcA.
h)
Si 11 c B y B c A es A = B. Si A c B y B c e es A ce.
1')
1.2. Dado un conjunto X y una propiedad P que poseen algunos (o todos, ninguno) de los elementos de X, entonces queda determinado un subconjlll/IO A de X, cuyos elementos san los que tienen la propiedad P. Se escribe
11
= {x E X
: P(x)}
o
{x
€
X I P(x) }.
Si no hay ambigüedad, se puede prescindir del símbolo X, escribiendo simplemente {x : P(x)}. Dadas dos propiedades P y Q que se refieren a elementos del mismo conjunto X, la igualdad {x E
*'
x},
Xl' ... , X ••
1.2.
La unión de los dos conjuntos A y B, que se designa por 1\
= {x : x
E
A
o
X
E
IJI!, ,",
B},
en donde la conjunción "o" no es excluyente.
Si 11 c /l, se dice que A está contenido en B, o que B contiene a A. La IIt'~m'¡ólI de A e B se escribe A q: B.
A
{x : x
que es un subconjunto de cualquier conjunto. El conjunto vacío no 1¡l"11!' elementos. Se ha de distinguir entre el objeto x y el conjunto cuyo único l'kllH'llltl es x, que se designa por {x}, y que a veces se denomina sing~le/('. ":0;1;1 Ill>tación se generaliza de manera natural; así, el conjunto cuyos un KOS (·1.-1111"11 tos son x e y es el par {x, y} y {Xl' ... , Xn} es el conjunto cuyos L'il'IllI'III'h ',1111
AUB
a)
P(x) -=? Q(x)
X (o en X) la propiedad P implica a la Q".
cp = B::> A,
Q(x):
{x € X: P(x)}c {x € X: Q(x)}.
x ¡f A. SI A .Y Il son dos conjuntos, se escribe
<=>
Si es
"para todo x
1.<1 Ill'g;lción "x no es un elemento de AH, se escribe
P(x)
"para todo x de X (o en X) la propiedad P es equivalente a la O".
Para asegurar que" x es un elemento de A", se escribe
.1" I
3
Elementos de la teoría de con;untos
X: P(x)} = {x
€
X: Q(x)}
La intersección de los dos conjuntos A y B, que se designa por 11 () n, es A n B = {x : x
E
A
Y
x € B}
=
Los conjuntos A y B son disjuntos si A n B c¡.; es decir, no tienen dl'mentas comunes. Estas definiciones se generalizan cuando se pasa de dos conjuntos a IIna colección g:- (finita o no) de conjuntos. Al escribir A E g:-, se indica qUt' A es un conjunto de la colección S". La unión de g:- es
UA
= {x : x
E
A para algún A
€
€
A para cada A
E S"}.
g:-}.
La intersección de S" es
nA = AE.T
{.x : x
4 Elementos de la teoría de con¡untos
el conjunto diferenda A - B es Y x 4: B J,
A - B = {x : x €O A i¡ veces se lee "A menos Bn Cuando A es un subconj~nto d ~(. lh'(Jomina frecuentement " . el un X, e: conjunto diferencia A' = X - A,. e comp ementano de A respecto de X". 1,1. Los resultados siguient . ('J\))]('S: es son sImples consecuencias de las defíni;,)
/\U8=BuA,
h)
AnB=BnA. AUWUC)= (AUB)uC, An(BnC)=(AnB)nC
e)
/\
U tnn C) = (A U B)n (AvC),
An(Buc) = (A nB) U(A n C),
!;¡s propiedades conmutativas aso' . '.. l" n v'ilidas cual' ,Clatlvas y dzstnbuttvas de las OperaS, A l'S • ' . esqulcra que sean los conjuntos A, B C , . un conJunto cualquiera, son evidentes los reSUltado!: . dI A = A U A, A = A n A.
<¡tI\" ',"11
\J
i'fllll<'''
.(>IJA =1\, nA=
(,)
Las proril'dades distributivas e) se generalizan cuando se trata de una l't) I('lTi,m !r de cOnjuntos: I
lI11r t'n l'l caso particular de contener X t d . 1'16n :~. utilizando la notación de los a o os los conJuntos de la colec-
,
complementarios, se escriben:
,
¡.:)
(BeUB) T
2.
= U B'. B€ "
PRODUCTO DE DOS CONJUNTOS. RELACIONES
2.1. Un par ordenado (x, y), consta de do b' . s~'a x = y) y se distingue uno de ellos coro .s o Jetos x e y (SIn excluir que Ion l'l par ordenado (x ). l ' O pnmf!rO del otro que es el segundo ~. , y, e pnmer elemento x se d . .
l'omponcnte, proyección o coord n d 1 enomma también primera l'ornponcnte.' proyección o coord:n:d~. y e segundo elemento y es la segunda La relaclón de igualdad (x ) _ ( .1' = x' e y = y. ' y - x, y') entre pares ordenados, equivale a I
5
Elementos de la teoria de conjuntos
Si A Y B son dos conjuntos cualesqul'era,
Si A Y .B son conjuntos, A X B es el conjunto de todos los par¡rs (a, b), donde a € A Y b € .B. El conjunto A X B se denomina producto cartesiano de A por B, o simplemente producto de A por B. Los siguientes resultados son consecuencia de la definición:
e
=
a)
(AuB) XC:;;::: (A X C)U(B X C), X (AnB) (C X A)n(C X B). (A n B) X C = (A X C) n (B x C), C X (A u B) = x A) u (C X B)
b)
(AnB) >< (CnD)=::(A XC) n(BxD}.
ce
2.2. Es conveniente considerar como· iguales los co.njuntos A >< (.8 X C) y (A X B) X e, identificando el elemento (a, (b, e)) de A X (13 X C) con el elementO' ((a, b), c) de CA X B) x C. Hecha esta identificación, al definir el
prO'ducto' cartesiano de un númerO finito. de conjuntos, se puede prescindir de los paréntesis. Si Al, A 2, ... , An son conjuntos, los elementos del producto Al X Al X ' .. X An son las n-tuplas ordenadas (al' a2, Oo., a n), donde a; E A para cada i = l, 2, . 00' n.
23. Definición: Una relación 9l entre los cQnjuntos X e Y, está definida por tres elementos: el conjunto X, el conjunto Y, y un subconjuntO' cualquiera GcX X Y; es decir, m. = {X, Y, G}. El conjunto G e X >< Y se denomina grafo de la relación m.. La primera proyección del grafo es el conjunto G l e X cuyos elementos son los primeros .x de los pares (x, y) te; y análogamente la segunda proyección del grafo es el conjunto e 2 e Y clIyos elementos son los segundos y de lo~ pares (x, y) € e. Sí (x, y) € G, se dice que el par (x, y) pertenece a la relación (]l, y también se escribe x Ot y, Una relación (Ji entre el conjunto· X y el mismo X. se dice que es una relación defa'nida en X. En este caso r;]{ == {X, G}, donde GcX x X, o Gc)[2.
2.4. Definición: Una relación de equivalencia ~ definida en X, es una relación e {X, G} que tiene las siguientes propiedades. a) Si x E X es (x, x) € G, (reflexiva,). b) Si (x, y) € G es (y, x) E G, (simétrica). c) Si (x, y) € G e (y, z) €O G es (x, z) € G, (transitiva).
=
Definición: Una partición de un conjunta X, es una colección W de subconjuntos B e X tal que: a) Dos coniuntO's cualesquiera de ff son disjuntos. b) La unión dé los coniuntos de W es X;
UB=X B€.T
Elementos de /a teoría de conjuntos
Entre la" relaciones de equivalencia definidas en un conjunto X, y las parti('iones de X hay una correspondencia biunívoca, que se establece por medio dI' las clases de equivalencia. J~n la relación de equivalencia .(1; = {X, G} la cIase de equivalencia que ('0111 ¡ene el elemento a € X, es
Xa = {.x
€
X: (a, x)
€
G}.
I'm!loslclón: Una relación de equivalencia definida en un conjunto X, partición de X, cuyas partes son las clases de equivalencia. Re('(1','",.",1/1'1111'. toda partición de X da lugar a una relación de equivalencia, en /" '1"" (" ('onjunto de las clases de equivalencia coincide con la partición. ¡f,'I"I'IIJiI/!I U11a
SI ¡,; es la relación de equivalencia, el conjunto· de las cIases de equivalenSI' dl'fmmina conjunto cociente de X respecto de la relación i5 y se de·11~',II.1 por
1"101.
X (1;
.H-:I.AClONES DE ORDEN
.1.
\.1. (l,d('11
(11 "-
":111 rt' las relaciones que se pueden definir en un conjunto X las de son
de especial interés.
I)l'flnlchln: Una relación de orden en un conjunto X es una relación ¡ X. (;) I/ue tiene las siguientes propiedades.
Si x e X es (x, x) E G. Si (x. y) te' G e (y, x) € G es x = y. (') Si (x. y) € G e (y, z) € Ges (x, z) € G. 11)
h)
Ordinariamente se emplea el símbolo :s;;; para la relación de orden, y se .l" : y en vez de (x, y) € G. Con esta notación las propiedades anterior'l's tienen la siguiente forma. a) Si x € X es x:S;;; x (reflexiva). h) Si x<::: y e y ~ x es y = x (antisimétrica). e) Si x <;: y e y ~ z es x ~ z (transitiva).
eSl:ribe
A veces se escribe y ~ x en vez de x ~ y. Las dos formas de escritura se consideran equivalentes.
Un conjunto en el que se ha definido una relación de orden es un con¡un/o ordenado. 3.2. Al prescindir de la condición b) de antisimetria en la relación de orden se obtiene la de preorden.
Elementos de /a teoría de conjuntos
7
Una relación de preorden en un conjunto X, es una relación reflexiva y transitiva. Conservando la notación ~, en una relación de preorden en X, pueden y existir elementos distintos x, y E X, para los que simultáneamente sea x e y ~ x. Desde el punto de vista de la relación ~, estos elem~nt~s son equ~ valentes, y se puede definir en X una equivalencia o por la SIgUIente condl-. ción: Dos elementos x, y € X son equivalentes en (1; cuando simultáneamente es x ~ y e y ~ .x.
Proposición: Toda relación de preorden orden .en
X --o 6
Para dos clases Xa, X b
€
1m
X ---;;;--, te:>
X, determina una relación de
es Xa
~
b
si, y s610 si, a.:::::, b.
3,3. Una relación de orden, que verifica además de las a), b) y c) la propiedad: d) Para cada dos x, y € X es x < y, o x = y, o y < x (tricotomia), es una relación de orden total. En contraposición, el orden antes definido, se denomina a veces orden parcial. En este caso, dos elementos x, y € X, pueden ser comparables, cuan. do, al menos se verifica una de las condiciones x .~. y e y ~ x; ° no ser com parables, cuando no se verifica ninguna de ellas . El orden total, también se denomina orden lineal.
3.4. Sea' X un conjunto ordenado. Un elemento m € E es el mínimo de X si es m ~ x, para todo x E X. Un elemento M E X es el máximo de X si es x ~ M, para todo x E X. El mínimo y el máximo son elementos de X, cuando existen. De ordinario no existen en X mínimo ni máximo.
3.5. Definición: Sea X un conjunto ordenado y A un subconjunto de X. Un elemento k E X es una cota inferior de A si es k ~ x, para todo x € A. Un elemento K E X es una cota superior de A si es x ~ K, para todo x € A. Se dice que A está acotado interiormente en X, si existe, al ~en~s, una cota inferior de A; Y que A está acotado superiormente en X, SI eXIste, al menos, una cota superior de A. Si existen las dos cotas, se dice simplemente que el conjunto A está acotado en X. La propiedad de estar acotado un conjunto A, no depende sólo de A, sino del conjunto X en el que está contenido.
3.6. Definición: Sea X un conjunto ordenado y A un subconjunto de X. Un elemento w € X es el extremo superior, o supremo, de A en X, si "" es el mínimo de las cotas superiores de A en X. Se escribe, w
= ext. supx A,
w
= supx A,
o
ro
= supA
Elementos de la teoría de conjuntos
cuando se sobreentiende cuál es el conjunto X que contiene a A.
Tampoco puede darse el segundo caso, pues tomando un racional r tal
Definición: Un demento a E X es el extremo inferior o ínfinw de A en X, si " es el máximo de las cotas inferiores de A en X. Se escribe, a
= ext.
infx A,
a
= infxA,
o
a
AI1;'¡log¡¡mcnte, un", condiciones:
E
€
;¡)
A tal que es x'< a'.
X es suprema de A en X si, y sólo si, se cumplen
/'ClrCl todo x E A es x ~ (ll. I'Clra fodo ",' E X, que sea m',< m, existe algún x'
€
, se tendría
= ro2 -
2
rro
+ r'- >
ro2 -
2 rw
>
2
ro -
(02
+2=
A tal que es (J)'< x'.,
/'o;"/II/do 1.- Era ya conocido por los matemáticos griegos, que no exisIlÚIIH'I"OS racionales cuyo cuadrado es igual a 2. Este caso es una muestra 11.' 1;1 i11suficiencia de los racionales, que se manifiesta en el hecho- de que
It'n
"KiSI¡'1l conjuntos acotados de números racionales para los que no existe /0:"111 l'al'io!l;!I que sea supremo del conjunto ni ninguno que sea ínfimo. El conjunto X = {x € Q Ix;;;:' O, X2 < 2} no posee supremo en Q, y el IlIlIto y {x e Q I x> O, x 2 > 2} no posee Ínfimo en Q. I(vidl'nll'mente x = 2 es una cota superior de X, y x = 1 es una lufr.lilll' dl' Y. Pon flrimer lugar, no existe un racional : tal que ( : ) 2 = 2 o
ninconcota
El ejemplo siguiente se refiere a la determinaci~~ de un ~upremo y un ínfimo en la ordenación por inclusión de una colecCLOn de conjuntos. Ejemplo 2. - Dado el cuadrado 1 = [0,1] X [0,11 del plano. ordinario R2, sea X el conjunto de las partes (o subconjuntos) de l. Se considera en X la ordenación parcial por la inclusión c. Con A se designa el conjunto de todos los círculos abiertos (sin borde) de radio _1_. contenidos en 1. 4 Cotas triviales superior e inferior de A son el cuadrado 1, y el vacío 1>. Otras cotas más interesantes son la unión y la intersección de la colección de círculos y E A, pues precisamente son el supremo y el ínfimo de la colección A: sup A = U y, inf A = y.
n
El sup A es la figura plana abierta (sin borde) obtenida al sustituir en 1 1 los cuadrados en los vértices de lado 4 por cuadrantes circulares. El inf A es el conjunto vano. Manifiestamente, ni sup A m inf A pertenecen a A, que nO posee ni máximo ni mínimo.
bien
,,1...
2 tll; ya que en la descomposición en factores primos de los dos miem"ros d¡, la igualdad, el factor 2 aparece un número par de veces en el primer
Id
/
por lo qUl'
w
+ (2 ro + 1) r <
no sería el supremo de X.
w2
+ 2-
1))2
"
I
1
I
IL ___
___ .1
-...
/-
"\
I
I
."
\
/
/
//
---, \ \
= 2,
"' "
1 1 1
supo A
1 1
I
/ /
/"
~
O
O 4
\ \
I
....
\
\
""\
: inf, A )
3 8 \
r---
"- ....
\
I /-
4 w2
...,
~
y un número impar en el segundo. Si ¡'xistiera un m> O racional que fuera ro = sUPQ X, como wz:;;t: 2, sería ",l. 2, [J hien (,¡2> 2. El primer caso no puede darse, pues tomando un r < 1 racional, tal que 2 -~ w 2 () • - r < 2 l ' se tendría Il1Ít'Il1hl'O
+ ('" + r)2 = {Ji + 2 ror + r <
2,
por lo que w - r sería también una cota superior de X y w no sería el supremo de X. El mismo razonamiento prueba que no existe en Q un infinito de Y.
J.I~; dlls
Il)
2w
(w - 1")2
1.7. Cuando el conjunto X está totalmente ordenado, las definiciones de 1111 i1110 .Y su premo de un subconjunto A e X se simplifican. Un a E X es ínfimo el,' i\ ,'/1 X si, y sólo si, se cumplen las dos condiciones:
!'ara todo x E A es a -s;; x. I'arll todo a' E X, que sea a< a' existe algún x'
a}-2
tal que 0< 1" <
= infA
cllando se sobreentiende cuál es el concepto X que contiene a A. 1k ord inario no existen en X ínfino ni supremo de A eX.
,1) h¡
9
Elementos de la teoría de conjuntos
,....
"-
'- ""
/
supo A
' ....
/
I /
/
3
8
."
/
I
10
Elementos de la teoría de conjuntos
Estos extremos no pertenecen a A que no posee ni mínimo ni máximo. Si el círculo fuera cerrado A (con borde), se tendría
Si en este ejemplo se hubieran considerado los círculos abiertos y de radio 3 contem'dos en 1, el sup A sería una figura abierta análoga a la anterior,. -Xobtenida al sustituir en 1 los cuadrados en los vértices de lado
+
d,' un;! figura plana sin borde, limitada por cuatro arcos de circunferencia. En ,'sil' caso, tampoco el sup A y el inf A son máximo ni mínimo.
En los ejemplos anteriores los supremos e ínfimos aparecen de una maIll'ra ".~pontánea e intuitiva. No siempre es así. A continuación se exponen. ,'11 UI1;! ordenación total, situaciones sorprendentes de dichos extremos.
I:'j¡-mplo ./. - . En el conjunto de puntos (x, y) del cuadrado l = [0,1] X (0,1] '.,' ddilll' Ii! ordenación lexicográfica. Para cada par de puntos (XI> y,), (x:¡, Y2) E [ ('~: (.\'r, !Ir) < (Xl, yz) si X, < X2 cualesquiera que sean y, e Y2' y si Xl = X2 ('¡I.lnrl, 1 Ifr": 1/l. Se complementa esta definición poniendo (x" y,)::::;:; (X:¡, Y2), si (,1'r, I/r)' (xJo y)} o si (Xl> y,) = (X2'Y2)'
iof. A
I --_ I // ... "
r
\
A
\
\
}
\
1 1
"
---
~/ I
I
1 supo A 2
o
1
1
1 4 Este conjunto está acotado, pues aparte de las cotas triviales (O, O) infe-
rior y (1, 1) superior, cualquier punto (x, y) E 1 con O::::;:; x::::;:;
+
es una cota
+::::;:; x::::;:; 1 es una cota superior de A. I~I fnfimo de Aes precisamente (+, 1), y el supremo (+, O)
inferior de A, y cualquier (x, y) con
,
que como pertenecientes a A, serían el mínimo y el máximo.
4.
APLICACIONES 4.1.
Definición: Dados dos conjuntos X e Y, un grafo F de una relaci')1I
!ll = {X, Y, F} es funcional si cumple las condiciones siguientes: a) Los primeros elementos de todos los pares (x, y) € F, forman un
('(1/1-
junto que coincide con X. b) No existen en F pares que tengan el mismo primer elemento; es dl'cir, si (x, y) E F Y (x, y) E F es y = y. Una aplicación de X en Y, es una relación entre X e Y, en la que el gr'l fo es funcional. Como el conceptO' de aplicación tiene gran importancia, conviene d;¡r 1111.1 definición directa del mismO'.
dominio f = X
2
Sl'¡¡ A el conjunto de puntos del CÍrculo abierto de centrO' el de l y ra-
dio
1)
-4-' -2-
El 'conjuntO' X que cQincide CQn la primera proyección del grafO' F mina dominio de la aplicación f o conjunto ck partida. La segunda proyección de F se denomina recorrido, codo minio o de llegada de la aplicación f. De acuerdo con la definición es
1
o
_= (3
Y supA
Definición: Una aplicación f de X en Y, es una terna {X. Y. F} {'/I 1" .(/1/' F es una parte del producto cartesiano X X Y, que cumple las ('(}/II/;ool//'\ a) Para todo x E X, existe al menos un par (x, y) E F. b) No existen pares distintos en F que tengan el mismo primer e/"II/.'lItO.
1
I 1/
(14 ' 1) 2
"f-
mA=---~
por cua-
dr.lII1l's circula,res. Sin embargo el inf A es totalmente distinto, pues se trata
11
Elementos de la teoría de coniuntos
Para designar una aplicación ciones
con;ll11/o
recorrido fe Y.
Y
f de X en
f:X-¡.Y
St' d('1I0-
O'
Y, son de uso' frecuente las notaX
f
4
Y,
que se leen Uf aplica X en Y". Si en la aplicación f = {X, Y, F} es (x, y) E F, se dice que al elemento x E X le corresponde en f el y € Y, Y este elemento se suele denotar por {(x), que se lee Uf de x", Para indicar que al elemento x le corresponde el y = {(x), también se escribe X
f-+
Y
= f(x)
o
X
f-+
f(x).
12
Elementos de la teoría de conjuntos
Este simbolismo puede emplearse para designar una aplicación, cuando se suponen conocidos el dominio X de la misma, y el conjunto Y que contiene a I recorrido. En vez del nombre de aplicación se usa frecuentemente el clásico de fUl/cirÍn, y se dice que f define una función en X, a valores de Y. El conjunto X se denomina también, dominio de la función O' campo de d"(illil"ián de la función. Los nombres de aplicación y función se consideran comO' sinónimos y en J\n;ílisis, en particular, es muy frecuente el uso del segundo término·. 4.2.
'1.J,
En una aplicación f: X 0-)0 Y, a cada x
€
X le corresponde un solo
11 e Y. que es la imagen de x en la aplicación f. Si ecx, el subconjunto de y formado por todas las imágenes de los elementos x € e, es la imagen de e ,'/1 /1/ aplicación t, que se representa por f(C)· EII particular, el recorrido de la aplicación t: X·-jo Y es t(X). f
--------.........
y
.... ....
,
,., ,., .....
------
Aplicación I de X en Y. Imagen de
e
,-
I
1, la aplicación de X en de equivalencia Xa
~, o
X €~,
' lap'lcactuTt 'L_ 1 se denomma natura,
En esta aplicación la antiimagen de una clase de equivalencia es ella misma. 4.4. Atendiendo a propiedades simples del recorrido y del grafo de cada IIplicación, se obtiene una clasificación general de las aplicaciones. 11 na aplicación f : x·~ Y, en la que el recorrido f(X) coincide con el con¡UI/to Y, es exhaustiva. La aplicación f "aplica X sobre Y", por 10 que a veces Sl' dice que f es una aplicación "sobre" o sobreyectiva. En las aplicaciones exhaustivas todo y € Y es imagen de un x € X por lo /llenos. Una aplicación f : X·-* Y, (m la que para todo par x', x" € X de elementos d¡sfintos, también I(x') -:j::- f(x"), es inyectiva. También se dice que f es una j 111 fe' ('cí ón. . Una aplicación f: X·-* Y, en la que todo elemento y € Y es imagen de 111/0 y un solo elemento x € X, es biyectiva. También se dice que f es una "i{lección . En consecuencia la aplicación es biyectiva, si es exhaustiva e inyectiva . Fjemplo. En la figura siguiente se presentan esquemas de los distintos
1
I
y
y
,.'/
por ,.
En una aplicación f : X -+ L, la antiimagen de un y € Y es el conjunto de lodos los x E X tales que t(x) = y. Se designa po.r /- 1 (y), y en consecuencia
f- I (y) = {x
€
X : f(x)
€
X: f(x)
x
= y}.
Aunque según esta definición, la antiimagen de un y € Y es un conjunto, cuando éste conste de un sO'lo elementO', se identificará con tal elemento y se escribirá x = /- 1 (y). La definición de antiimagen de un elementO' y, se generaliza al casO' de un conjunto: En una aplicación f : X -4 Y, la antiimagen de un D e Y, es el subconjunto dl' X, unión de todas las antiimágenes de los elementos y € D:
f- I (D) = {x
€
en la que a cada a € X le corresponde la clase'
r
\
¡(X)
13
E/llmentos de la teoría de conjuntos
D}.
Es frecuente denominar a la antiimagen, imagen inversa. H;emplo. Si en el conjunto X está definida una relación de equivalencia
Aplicación f : X -lo Y
X Aplicación f: X-lo y exhaustiva
y
y
I I
I
X
Aplicación f : X -+ Y inyectiva
i" ¡~ Aplicación f : X -* Y biyectiva
14
Elementos de la teoría de coniuntos
l/"montos de la teoría de conjuntos
15
tipos de aplicaciones {= {X, Y, F}. 4.5. De acuerdo con las definiciones anteriores, el que en la aplicación { : X-+ y cada una de las antiimágenes de los elementos y E {(X) tenga un solo elemento x E X, equivale a que la aplicación f es inyectiva; y el que cada uno de los elementos y € Y tenga una antiimagen no vacía, equivale a que la aplicación f es exhaustiva. Para las aplicaciones biyectivas, y sólo para éstas, tiene sentido el concepto de aplicación inversa.
r:
Definición: Sea X ,---+ Y una aplicación biyectiva. El conjunto de todos los !I({res (y, x) obtenidos invirtiendo los (x, y) de la aplicación {, define una 'I!J!iCllf"Íón de Y sobre X que se denomina inversa de la t. Además, la aplicación inversa f- 1 : y ---+ X es también biyectiva. Consecuenci:1 dl' ser biyectivas tanto f como f- I son las siguientes igualdades: x
= f- (((x)) para todo x
Y
= f(f-I (y»
1
para todo
€
X
y € Y.
'1.'). En el caso de tratarse de aplicaciones cualesquiera, son útiles y de uso freClll'llte las siguientes fórmulas. ,..,'C({ f: X -> Y una aplicación. Para todo e e X es e e f- I (((e); y para !or/" /) e Y es f(f-l (D» e D. LI primera inclusión resulta del hecho de que si x E e, f(x) € Y, por 10 quc x pertenece a la antiimagen de f(x), o sea x E f- I (f(x». Como este resuljado es cierto para todo x € e, se tiene e e t- 1 (((e». La segunda inclusión resulta análogamente. Si y € D es f- I (y) € X, Y po.r la definición de antiimagen f(f-I(y» = y, o bien tef-I(y» = q, cuando YU(X). En todo 'caso es {(f-I (y» e {y} para todo y € D, en donde f(f-l (D» e D. De este mismo razonamiento resulta: Para todo D e Y es f(f-l(D» = D n f(X). Por otra parte, si f : X -+ Y es biyectiva, para todo e e X es e = f- I «((e», y para todo D e Y es f(f-I(D) D.
=
4.7. Definición: Sean las aplicaciones f : X-+ Y y g : Y -+ Z, en las que el recorrido de f está contenida en el dominio de g, es decir f(X) e Y. La aplicación compuesta de f y g, que se escribe g o es una aplicación g o f : X -+ Z~ en la que a cada x € X le corresponde z = g(f(x») € Z.
r,
También se puede decir, que si F y G son los grafos de f y g respectivamente, el grafo de la aplicación g o f es
G o F = {(x, z)
E
X
X
Z : (x, y)
€
F, (y, z)
€
G}.
En general no tiene sentido la composición en orden inverso f o g. y 11111' dIO menos la propiedad conmutativa. Sin embargo, la ley asociativa f¡ () t¡:" /) ,..' (h o g) o f es válida, siempre que cada uno de los miembros de la iguald,1l1 ftonga sentido. 'I.R. Finalmente, conviene precisar lo que se entiende po,r res!ri('c¡(¡1I d(' 1111:1 aplicación.
Definición: Sea f : X ,---+ Y una aplicación y X o e X. Se denomina I',,\! ri," ,'iáll de faX o, la aplicación fa : X¡j---+ Y, en la que es fo(x) = f(x) por" ¡""" ,r ( XI), A veces, para la restricción de faXo se escribe f I X o ó fX o' La restricción de f se obtiene al reducir X a X o, el proceso con1.r:ll'l" 1I,'v.l 11 la extensión de una aplicación. Una aplicación f: X ---+ Y es extensión de la fo : X o ---+ Yo si X" e X. 11 ,'\ f(x) = fo(x) para todo x € X o•
.5.
SUCESIONES
5.1. Se supondrá conocido el conjunto de los números naturales o enfcros positivos, que se designa po.r N, así como su ordenación usual. La orden:ll'i(lIl de N no sólo es total, sino que N es un conjunto bien ordenado, es decir, todo subconjunto e e N tiene un mínimo o primer elemento. También se supondrá conocido el método de demostración por indu('ci,"ll.
5.2. En algunos casos el reco,rrido de una aplicación se considera l11;í~; interesante que la aplicación misma, y a través de las aplicaciones se c!dilU'll conjuntos que son sus recorridos. En estos casos se cambia la notación y la terminología. Las sucesiones finitas e infinitas son los ejemplos más típicos.
Definición: Una sucesión finita de elementos del conjunta X, de n !{~r //linos, es una aplicación del conjunto {l, 2, , .. , n} de los números na/l/raIn IlIl'IWreS o iguales que n, en X.
IINis-2
]6
Elementos de la rlOvi,-: de con;untos
Si se designa por f esta aplicación. su dominio es la sección inicial Sen) = {1, e N de extremo n, y su recorrido (f(l). 1(2)• ... , {(x n )}. En vez de f(h) se suele escribir Xh que es el término h-ésimo de la sucesión, su recor,rido será {XI> X2, " ' 1 x n }. 2, ...• n}
Definicióq: Una sucesión infinita, o simplemente una sucf!sión, de elementos del con;unto X, es como aplicación del conjunto N de los números naturales en X. Con la misma notación que en el caso anterior, el recorrido, de la sucesión es {XI' X 2• •..• X n, ... } o en forma breve {x n }, sobreentendiéndose que n "recorre" los números naturales. Por brevedad es común utilizar la notación {x n } para indicar la sucesión indefinida cuyo término n-ésimo es X n • 5.3. Sea k una aplicación cuyo dominio es N y cuyo recorrido es un subconjunto de N; es decir. k: N ,-->' N. Además se supone que k es creciente con n: SI m < n es k(m) < k(n). Estas aplicaciones permiten definir sllbsllcesiones de una suceSlOn dada. Dada una sucesión {x n }, que escrita con notación general es: f: N ~ X. la aplicación compuesta {o k : N - X, hace corresponder a cada n E N, el elemento Xk(n¡ E X. La sucesión {Xk(n)} es una subsucesión o sucesión parcial de la {x n }. Otra notación para la subsucesión .{Xk(n)} es {Xk n }'
Ejemplo.
Dada la sucesión (-;.-) y la aplicación k definida por k(n) = 2",
por composición se obtiene la subsucesión (
".,,,,,,,Ios de la teoría de conjuntos
17
son las propiedades reflexiva, simétrica y transitiva de la coordinaci"'fl. Si los dos conjuntos X e Y son coordinables, se dice que tienen el misllIo ",¡",,'ro cardinal, la misma cardinalidad, o la misma potencia. St' t'scribe card (X) card (Y). '11It'
=
t,.2. Proposición: Si m:F- n, las secciones iniciales S(m) y ""II/'dil/rlhfes, S,, probará la proposición aparentemente más general:
1111,'/,"
Nill!:1I1/1/
1/,/
\""
.\1"'" ,,,
coordinable con un subconjunto propio. S,, l'onsidera el conjunto CeN de aquellos números n tules qu!' ,,1 IIII'IIC", t'KI~h' IIna aplicación de S(n) sobre un subconjunto propio. Sea 1;' d 1111111111(1 ,tI' (,'. por lo que existe una aplicación inyectiva f de {l, 2, .. " ,,' I .... 111 C' 1111 ~lIh('()njunto propio. Sí];¡ imagen de {l, 2..... n'} por {no contiene n', f aplica {I, 2" (1/' J) I ~Ilhl'l' 1111 subconjunto propio, lo que contradice la propiedad de mínilllo el,' ,,' SI' ~lIpone, pues, que la imagen de {l. 2 ..... n'} por f contiene fI'. Si f( //') !I'. PI'I'Sl,'llIdíendo de n', resulta que { aplica {l, 2•. oo, (n' -·l)} sobre 1111 ~;lIll1'llIl 111II11l propio, en contra de la hipótesis de mínimo de n'. Si fin') ¡,. ,,' .. ". l'III1Sid!'l'
Esta propiedad de invariancia del número n, permite definir d di",d de un conjunto finito.
~,,).
5)(11)
IlIíllll'/'''
"I{/'~
Definición: Un conjunto X es finito, si es coordinable con fina Sf,(·(·iti/l '"it'ia{ Sen) = {1, 2, .... n}, y entonces se dice que n es el nÚII1l'/'o (/" ¡o{,', 6.
CARDINALIDAD DE CONJUNTOS
cardinal de X:
",,,!/fOS. ()
En los casos elementales, la cardinalidad de un conjunto está definida por el número de sus elementos. En los más generales, cuando los conjuntos no son finitos, no se define el número de elementos tras un "conteo" de los mismos, sino que se establece la igualdad de los cardinales de dos conjuntos, cuando es posible definir una biyección entre ambos.
card (X) = n
6.1.
Definición: Un conjunto X es coordinable con otro Y, y se escribe X si existt? una biyección { de X sobre Y. De las propiedades de las biyecciones resulta: a) Para todo X, es X "-' X. b) Si X "-' Y es Y '" X. e) Si X ......, Y e Y rv Z es X /'ooJ Z,
~
Y,
(d.
Definición: Un conjunto no finito, se denomina infinito,
Proposición: El conjunto N de 1m números naturales es infi/lito. La ilplicilción s : N c4 N. en la que a cada númerO n E N le ('OITI·SPOlld .. (·1 + 1 E N es inyectiva. y evidentemente es una aplicill'ión dI' N ,'.0 hl'l' N {I). por lo que N no puede ser finito. Fsl;, propiec!;ld de los conjuntos infinitos dc Sl:", eoonlin;¡hlL-s (011 ~;lIh,'11I1 Jllnlos propios. es clrilc1erístic;1 dI' la infinitud. ,\i~/Ii"/II(' 11
(¡A.
N .1,. ¡",\
1,,,,flllklúl1: l/IÍIIIC·!'''.\'
(1/1
('''/l;III/{'' .'( ,',\
II,'{/ir,,',',\
X
N
1/1/1II/'/'uNc', si
i'S """"''/111/,1>1..
,''''1 ,"
20
Elementos de la teoría de conjuntos
6.7, Ejemplos notables de conjuntos numerables son los que se citan en las siguientes proposiciones.
1/
Proposición: El conjunto Z de los números enteros, es numerable. El conjunto Z es unión de los elementos de las sucesiones {n}, {~n}, con (' N. con el con junto finito {O}.
11.
JlI.
de g. Probar que 9l es una relación de equivalencia, y que existe una biyección entre F/91 y P(X) - {1>}, donde P(X) es el conjunto de las partes de X. Sea S un conjunto finito. Probar que peS) es finito y contar el número de sus dementas. Sea (?JI una relación de orden en X, y O2 una relación de orden en Y. se define una relación 0 en X x Y por (Xl
I','oposición: El conjunto Q de los números racionales, es numerable. Ib~t;1 probar que el conjunto Q+ de los racionales positivos es numerable. (·.Ida número racional positivo está representado por una fracción irreducihk dc términos positivos, por lo que bastará probar que el conjunto de lodas estas fracciones es numerable. Se designa por X n el conjunto de las rran'ioncs ~ con m € N. El conjunto de todas las fracciones de términos n 1'0001IIv,)s es U X n • que es numerable. El conjunto de las fracciones irreducihlt·~. dI' ({-rminos positivos es un subconjunto del anterior.
11. 1lo
1 l. 1.1
1. .'
1".
EJEIU':ICIOS I'rohar que X X Y = X x Z implica Y = Z, si X#.p. Ila .. 1111 ejemplo de conjuntos para los que es X U (Y X Z) # (X U Y)
x
(X U Z).
=
S"a tilia aplicación h: X -+ X, para la que h o f = h o g implica f g, cualesqllÍl'!'a 'lile sean las aplicaciones { : X ·-+X y g: )(o---;.X. P .... har que h es inyectiva. ~. Sru tina aplicación h: X -+ X, para la que {o h g o h implica f g, cualesqlliNa que sean las aplicaciones f: X-+X y g: X.-+X. Pl'Ohil r que h es sobreyectiva. "l. Sra una aplicación h : X --+X, y n un número natural tal que es hn = identidad ~II X (se define h k +1 = h o h k ). Prohar que h es una biyección. 11. - Sea la aplicación f : S --+ T Y A, BeS. Probar
=
7.
= feA) U f(B)
n
B) <;; feA)
=
n
t(B).
Generalizar estas fórmulas a los casos de uniones e intersecciones arbitrarias. Sea la aplicación f: S -4 T Y D, E e T. Probar
f .I(D U E) = {-I(D) U f-I(E); f-I(T -
11.
Y feA
{-I(D
D) = S -
n
E)
si existe un
= f-I(D) n f-I(E);
f-I(D).
Generalizar estas fórmulas a los casos de uniones e intersecciones arbitrarias. Sea X o¡i:. 1> y F la colección de todas las aplicaciones f : X --+ X. Se define una relación 9l en F por la condición f 9l q para f, g € F, si recorrido de f = recorrido
17.
si
(XI X2) €
61
e
(YI Y2) € 02'
h
€
e
tal que es
g
=h •f
Probar que R no es reflexiva, pero sí antisimétrica y transitiva. Probar que un conjunto de círculos externos dos a dos, situados en el plano es .~iempre numerable, Sea S la colección de todas las sucesiones ilimitadas cuyos términos son O y 1. Probar que S no es numerable. Probar que el conjunto Q(x) de todos los polinomios en x con coeficientes racionales, es numerable. Sea una función f: R -+ R, tal que para cada conjunto finito Xl, x2, ... , X r de puntos es
! !(x l )
1.
feA U B)
YI) lB (X2 Y~
Probar que 0 es una relación de orden. Si en el ejercicio anterior 01 y 02 son relaciones de equivalencia, probar que (fJ es de equivalencia. Sca Q el cuerpo de los números racionales, y Q(x) el conjunto de los polinomios en X con coeficientes racionales. En e = Q(x) - Q se define una relación (}[ por: (f, g) € 9l
I 'l.
7.
21
t/flllllmtos de la teoría de conjuntos
+ ¡(x2) + ... + ((x I < M, T)
donde M es fijo. Probar que el conjunto e e R en los que es !(x) 7'c 0, es numerable. Sea un conjunto X o¡i:. "'. Probar que el conjunto P(X) de las partes de X, no es coordinable con X.
2. Sucesiones convergentes y fundamentales l. Umite de una sucesión. 2. J.ímites infinitos. l. Propiedades aritméticas de los límites. 4. Transformaciones lineales que conservan la convergencia en las sucesiones. t Sucesiones fundamentales. ti. Cuerpos completos. 7. Ejercicios. En un cuerpo ordenado K se introduce el concepto de convergencia y de límite que son de naturaleza algébrica. La forma más simple de la convergencia es la de las suIlI!Nlones. En las sucesiones convergentes de elementos de K, los términos se aproximan • 1111 elemento de K, que es un límite (1.1). Para precisar esta noción se formaliza con l. formulación "€, v", que juega un papel protagonista, a lo largo del Análisis, en muchas de las cuestiones referentes a la convergencia. En la formulación "€, v" el objeto que se define depende de la existencia de una ,."Iución establecida entre el conjunto de los elementos de K, y el de los números naturales N. Una serie de propiedades relaciona el límite de una sucesión convergente con las cota,l' de la sucesión (1.3), y que en cierta forma muestran aspectos intuitivos del cone.pto de aproximación. Entre las sucesiones de elementos de K que no están acotadas, se encuentran algunas euyos términos, en valor absoluto, superan progresivamente a cualquier cota. Para estas lucesiones se introduce una nomenclatura especial: se dice que tienen límite infinito (2.1), que puede ser positivo o negativo. Esta noción también se formaliza con una formulación "R, v". Con las sucesiones convergentes se puede operar aritméticamente, obteniéndose como, ,,¡¡la general la conservación de los límites en las operaciones racionales (3). Se exceptllan algunos casos que tradicionalmente se han llamado casos de indeterminación (3.3), 110
O
:xl
Y que se representan por los símbolos OC>-'X, O . Xl, ~- e ~-, que no tienen ninlIún significado operacional. O 00 Aparte de las operaciones aritméticas, en las que se conserva el límite, se pueden definir transformaciones lineales que igualmente conservan la convergencia, El teorema 11(1 Toplitz (4.2) es central, y no sólo por su interés teórico, sino por sus muchas aplicnciones, entre las cuales se encuentra el llamado criterio de Stolz (4.3). En las sucesiones convt'rgentes de elementos de K, estos se aproximan a un elemento de K, Y en las fundamentales (o de Cauchy) los términos se "aproximan entre sí" tanto l'nmo se quiera. Su definición rigurosa se consigue con una formulación "e, v" (5,1).
23
Sucesiones convergentes y fundamentales 1':,1;1.\ sucesiones, que como su nombre indica juegan un papel importante, pueden tener
límite en K
o no tenerlo. Un concepto importante es el de cuerpo completo (6.1), ";)I';jclerizado por toda sucesión fundamental tiene límite en él. El cuerpo Q de los 1I11I1Il"roS racionales no es completo (6.2).
25
'UVlJs/ones convergentes y fundamentales
l.
UMITE DE UNA SUCESIÓN 1.1. Sean {K,
+, .} un cuerpo ordenado, y
{a n } una suceSlon de elementos es límite de la sucesión, cuando para n suficiente~ mrnte grande, los términos a" se aproximan a a tanto como se quiera. Esta imprecisa noción de límite, ligada a la de proximidad, ha de forma-
c1t K. Un elemento a
€ K
1I1.llrsc.
La proximidad entre Qn y a se precisa poa medio del valor absoluto de su dlfl'rencia. Así, ,cuando se dice que an se aproxima a a en menos de e se afirma 'IUl' es lan - al< I!; y cuando se dice que esta desigualdad se verifica para 11 .wficientemente avanzado, se afirma que se verifica para todos los a.., a v +1o el, 1)' ... , donde a.. es un término de la sucesión. Ahora bien, para poder definir a como límite de la sucesión {a.} es nece~lIrio precisar la relación entre la proximidad en menos de e, y el lugar 'V a Imrtir del cual los términos de la sucesión difieren de a en menos de e. Esto fiI(' consigue cOn la formulación "e, v", que en el caso del límite de sucesiones
la. - al< E, para todo n ~
eH
v,
con n
N.
€
En virtud de las propiedades del valor absoluto, la desigualdad equivalente a -
e<
an -
a< •
a - • < an < a
o
+
lan - al < •
e.
a i
a.
a-E I I i a, a.
a,
a+E i
as
a.
K
Esquema de una sucesión. convergente
1 1 E¡'emplo 1. -La sucesión 1, --2-' -3-'
1
del cuerpo Q de
- 4 ' ...
los núme.ros racionales tiene por limite O. 1 Para cada ,,> O, basta tomar un número natural v> --, y se tiene
•
la.. -
01 =
1a,,1 = ~ < n
e,
para todo n> v.
26
Sucesiones convergentes y fundamentales
d faCCIones r' d ' eCImales -3- -33- -333 -d"l cuerpo 2. - La SUCesl'ó n ,e 10' 100' 1000' "', "'" Q de los números racionales tiene por límite
+.
cias sucesivas entre los términos de la sucesión y 1
3
3 '-10 =
lue~o
para cada
1
1
TTO' 3'-
33 1 100 = 3·100'
Obsérvese que las düeren-
+
1 333 1 3-1000 = 3 ·1000'
e> O racional, basta tomar un v>
I
a ..
-+ I
son:
+,
.... ,.
para que sea
<
s,
para n):: v.
, ()hseruación. En la formulación "e, v" con la que consigue una definición concepto de límite, el objeto definido depende de la existencia de IIn:1 r¡'faClón ~I; 2.3), que ha de cumplir condiciones determinadas. Esta relación está definida en el conjunto de los pares (s, v) € K+ X N. {1n par ('. y) pertenece a la relación si se verifica e,
27
y fundamentales
1.1. Definiciones: Una sucesión {a.} de términos pertenecientes a un l/tirI'o ()rdenado K, está acotada superiormente en K, si existe un elemento ro 1<, tal que es an ~ s para todo término de la sucesión. El elemento s es mil ('(1 ( a superior de {a n }. I,e/ sucesión está acotada inferiorrn.ente en K, si existe un elem~nto r € K 'rlI III/(' es an ):: r para todo término de la sucesión. El elemento r es una cota I"fr'ríor de {an }. Si la sucesión está acotada superior e interiormente en K, se dice que está ,'I'o/lIda en K. I k esta deficición resulta inmediatamente
I'roposición: La sucesión {a.} está acotada en K si, y sólo si, existe un k E K tal que es la.1 < k para todo término de la sucesión.
,,1"//II'nlo
.rigurosa ~el
la" -al <
IIllflll/onas convergentes
n)::
para todo
v
con
n
€
N.
La condición que ha de cumplir esta relación, es que para cada e € K+" nis/a. al menos un par (e. v) que pertenezca a la relación. Es evidente, que si el par (e, y) pertenece a la relación, también pertenecen todos los pares (s. v') con v' > Y, Y todos los pares (e', v) con E' > 1'.
1.2. También se puede expresar que la sucesión {an } tiene por límite a, 111' la manera siguiente: Deflni~ión:
Si l~ ~ucesíón {a,,} cuyos términos pertenecen al cuerpo ordenado K tlene por lzmUe un elemento de K, se dice que la sucesión {a,,} es cilllIJergente en K. En particular, si a € K es el límite de la sucesión se dice que {an } converge hacia a. ' El elemento a se denomina límite de la sucesión {. an } y se escribe lima,.=a O' lima,.=a o
a,.-a,
n~m
que se leen "límite an igual a a" o "a" tiende hacia a". Entre. las ~ucesiO'nes convergentes, las más simples son las que tienen todos sus térmmos Iguales, es decir, las sucesiones constantes. Es evidente la siguiente
Proposición: Para cada elemento a Iwrgc hacia a.
E
K, la sucesión constante {a }. con-
H;l'mplos 1. - La sucesión {n 2 } de los cuadrados de los números naturales, "\lllsidcrados como elementos de Q, está acotada inferiormente, pero no lo !,,,tú i->uperiormente, pues para todo n € N es O
2... - La sucesión
~ ~2 ~
y
n< n2
de los inversos de los cuadrados de los números
nlllurales, considerados como elementos de Q está acotada inferior y superlllrmente, pues para todo n € N es
1
O<~2-~1.
n
Cualquier número racional mayor o igual que 1 es una cota superior y cualquier número menor o igual que O es una cota inferior.
1.4. Proposición: Toda sucesión {a,,} convergente en K, está acotada cm K. Demostración: Sea a el límite de la suceSlOn {an }. La condición de converj4cncia expresa que para cada a-
f
<
fE
an < a
K+ existe un
v €
+'-, para todo
N, tal que es n)::
Y.
El número s = máx {al, az, ... , Ilv .. 1, a + E} es una cota superior de la succsit'm, y el número r = mín {al' a2' ... , Ilv-h a --- f} es una cota inferior. De la misma demostración resulta
Proposición: Sea una sucesión {a n } convergenl~ en K hacia a. Si e < a, (',\'is/(' un VI E N tal que es Un
> c, para todo n):: VI
28
Sucesiones convergentes y fundamentales
Si d> a, existe un
v2 €
N tal que es el,.
Basta hacer
e
= a - c en el primer caso, y
'1
~ Vz •
< d, para todo n
e
a"
~
l'
2.
Casos particulares de estas dos últimas proposiciones son los si-
En la primera de las proposIciones se hace c =
a
para n
~Vl;
para
~
N tal que es
c - • < bn < c Si
E,
+ e,
n
V2.
= máx {VI' v2}, en virtud de la hipótesis hecha para la sucesión {e,,} es
+ E,
para n
~ v.
{cn } es convergente en K hacia c.
Vz'
Proposición: Si una sucesión {a,,} convergente en K tiene límite positivo (negativo), todos los términos de la sucesión, a partir de uno d~ ellos, son positivos (negativos).
tIvo y
Vz €
+
c-,,:::;;; c,.
Ambas conclusiones contradicen la hipótesis.
.
y t'xiste un
I.Ul"~O
an < r, para todo n
guientes
c-e
> s, para todo n ~ VI'
Si fuera r> a, análogamente se tendría
1.5.
Demostración: La condición de convergencia aplicada a las sucesiones {a" 1 € K+ existe un VI € N tal que es
(h,,} expresa que para cada "
= d - a en el segundo.
Proposi~ión: Sea una ~uce~ón {a,,} convergente en K hacia a. Si r y s son respectzvamente cotas mfenor y superior de la sucesión, es r ~ a ~ s. Si fuera s < a, en virtud de la proposición anterior se tendría
29
'UO/JIIlones convergentes y fundamentales
+
> O en el caso posi-
rl = -2- < O en el negativo.
UMITES INFINITOS
2.1. Entre las sucesiones de elementos de K que no son convergentes 111 .coladas, hay un tipo de sucesiones cuyos términos llegan a exceder ;1 clI;d~ Iluh'r elemento li de K a partir de un término de la sucesión. Esta propi(·(l.ld lit' ('xpresa diciendo que la sucesión tiene límite infinito. Para precisa.r este concepto se emplea también una formulaci(lIl "", ,," ,'limo en el caso de los límites ordinarios. Definición: Sea K un cuerpo ordenado,
y
{an } una sucesión di' 1'1,'/11,'"''''
d" K. Se dice que la sucesión tiene por límite "infinito", si pura
c({(11I ""'1111'111.,
}I de K, existe un número natural v tal que es
Proposición: Si una sucesión {an } convergentf!' en K, tiene sus términos positivos, su límite es positivo o nulo; si los términos son negativos su límite es negativo o nulo. En la segunda proposición, se considera r = O en el caso positivo, y s = O en el negativo. Observación. Si todos los términos de la sucesión {a n } son positivos, el límite puede ser O. La sucesión
(+) en Q tiene todos sus términos positivos
y su límite es O.
1.6. Una proposición útil, en algunos casos, en la determinación de límites de sucesiones es la siguiente
Proposición: Sean dos sucesiones {el,.} y {b n } convergentes en K hacia el mismo límite c, y sea {c n } otra sucesión en K tal que para cada n es an ~
Cn
~ bn
o
an ~
Cn
~ b".
Entonces la sucesión {c n } converge en K hacia c.
janl > H,
para todo n
Se escribe lim a n
~
v, con n
E
N.
= oo.
2.2. En la definición anterior se pueden considerar dos casos particulares: .ucesiones con límite + 'Xl, Y con límite -oo.
Definiciones: La sucesión {a n } tiene por límite "más infinito", Celda elemento H de K, existe un número natural v. tal que es
a. >
H,
para todo
n
para todo
n
SI
~ v.
Se escribe respectivamente lim a" =
+ 'Xl
Y
¡/fl/'a
~ v.
1,(/ sucesión {a n } tiene por límite "menos infinito", 11 ele K, existe un número natural v, tal que es an < H,
SI
lim an
=-
oo.
para cada
de1ll1'llfo
30
Sucesiones convergentes y fundamentales
Evidentemente, si una sucesión tiene por límite + oc, o - ' X l , tiene límite infinito; sin embargo no se puede asegurar la proposición inversa.
Se supone lim an = O.
H:F- O tomando
Para cada
Ejemplos 1. - La sucesión {(- 1Y n2 } del cuerpo Q tiene límite infinito, púo no + oc, ni - x . Manifiestamente es
la.1
1a,,1
= n ~ n, 2
y para cualquier H € Q, basta tomar un número natural
!a n ! > 2, -
La sucesión
(n
H,
para todo
+ oc.
Como
n2 + 1 1 ---=n+-->n n n'
para cualquier H
€
P. n
3. - La sucesión (
n2~~
para todo
n
~ v.
del cuerpo Q tiene límite - 'x. Como
=
1 JHl' existe
un
v €
N tal que es
> H, para todo n
o
~
11,
tiene límite '-
+ -:X,
o
-'Xl,
si la sucesión {a.} tiene límite 0, y sus 101'-
minos son todos positivos o negativos ,respectivamente.
3.
Q, basta tomar un número natural v> H para que sea
a n > H,
J
a" ,
1
1 ) del cuerpo, Q tiene límite
:
1
e
Observación. En la proposición anterior se puede precisar que la Slll'(,~;I{'11
v> H, para que sea
n ~ v.
2
11
Sucesiones convergentes y fundamentales
PROPIEDADES ARITMÉTICAS DE LOS LíMITES
3.1, A partir de dos sucesiones convergentes se obtienen otras tamhu;1I convergentes, sumando, restando, multiplicando y en algunos casos dividit'lId" término a término las sucesiones dadas. . es que consideran l)('r/¡'/It'd'/1 Se supone que los e1ementos d e las suceswn el un cuerpo ord~nado K. sucesiones convergentes el/ Jo:. 11'1'·1,1 ¡J Proposición: S ean {} an y { b n 1f d('s ' Y b respectivamente:
para cualquier H € Q, basta tomar un número natural v> H sea a,. :c:;:: 1 -
n
,s;: 1 -
v
< H, para todo n
~ v,
2.3. En general, cuando no converge una sucesión, se dice que es divergente, pero si su límite es infinito se dice que diverge hacia infinito, Será divergente hacia + 'X', O' hacia -oCXJ, cuando éstos sean sus límites. 2.4, Una propiedad que relaciona las sucesiones de límite infinito con las de límite O, es la siguiente
Proposición: Si una sucesión {an }, sin elementos nulos, tiene límite infi· nito, la sucesión de los inversos tiene límite O; y si una suc(!síón, sin elementos nulos, tiene límite 0, la sucesión de los inversos tiene límite infinito. Demostración: Se supone lím a, Para cada
8
€
=
'Xl.
I K+, tomando H = ~~, existe con
>H
o
¡-¡;-! <
~
= "
y
Um bu = b,
se tiene: a) La sucesión {a n + b n } converge y es lim (a,. ± b n) = a ± b. b) La suceSlOn {a n ' b n } converge y es liril. (a n • b n) = a . b.
~ ~n~ ~
Si bn:;i:. O para toda u, y b:;i:. O, la sucesión
c)
,I
converge y
N tal que es
para todo
n
~ v.
('S
1
l1m-~=-~.
bn
b
Demostración: a) Para cada e € K' la condición de convergencia expresa que existen dos números naturales Vl y Vz tales que es la n-- al <
d b) I Por ser convergentes {un} y {b n } están acotadas, por lo que existen os e ementos h¡ y h2 de K, tales que es
lanl <
Ib,,1 <
Y
h¡
para todo
h 2,
Si
v
=
para todo
n
>-
Y jb
VI>
bl < 2 eh¡' para todo n
n -
a)
bn +
(b n -
b) al
para todo
e,
n
l
tural
Po. ser v
r1m b,,= b -r-.tO, dado el
e
lb!= -2
€
>- v.
K+, existe un número na-
tal que es
lb - bnl <
Ohservación. Los resultados referentes a las sumas y productos de dos sucesiones convergentes, se generalizan de manera natural al caso de varias sucesiones. Sin embargo no es lícito aplicar la proposición a sumas (o productos) en las que el número de sumandos (o factores) sea "variable" y no esté anotado.
jbl
-2- para todo
Ibl
o -2- <
Si se designa por r = mÍn {Ib¡j, r> 0, y se tiene: r~ v
Ib.l,
Ib.l
n
para todo
2
n)
(n sumandos), es an
= 1 para
3.2. Para las sucesiones con límites infinitos también se pueden dar algunas proposiciones referentes a la suma o producto, pero de alcance más limitado.
n ~ v.
lb,,' <
h,
n
pa.ra todo
E
K tal que es
E
N.
Para cada H de K, al ser {a,,} divergente hacia x, existe un v
lanl > H + h,
es manifiestamente
n
e E
lan + bn
E, N.
K+, existe un número natural
para todo
n;;'
€
N, tal que es
v.
para todo
n ~ v,
l ,
;;,
lanl-lb.1 >
H,
para todo
n > v.
Observación. La conclusión de la proposición se mantiene cuando {a n } tiene límite infinito con signo determinado, conservándose el signo.
Proposición: Sean {a,,} una sucesión divergente hacia 00 en K y {b n } una sucesión tal que Ib n > k > O para todo n > "o. Entonces la sucesión {a n b"} es divergente hacia 'oo. !
Ib,,-bl
Ibllb,,1 <
jb,,-bl rz < e,
para todo
n ~ v.
un
Demostración: Para cada H de K, al ser {a n } divergente hacia l' E N (que se supone mayor que vo) tal que es
Proposició.n: Si {a,.} y {b.} son dos sucesiones convergentes en K hacia a y b respecttvamente, y además b" =¡i= O para todo n, y b =¡i= O; entonces la
~ ~ ? converge,
+ ... + -1n-
Demostración: Por ser {b,,} acotada existe un h
de donde resulta
(
n
Consecuencia de estas desigualdades es
para todo
lb" - bl < e. rz,
sucesión
1
n
Proposición: Sean {a,,} una sucesión divergente hacia ex en K y {b n } una sucesión acotada en K. Entonces la sucesión {a" + bu} es divergente hacia oo.
>- v,
Ib 1, ... , Ib.-II, j2bl },
Por la convergencia de {b.}, para cada tal que es
_1_ _ _1_1 = 1b b,.
1
todo n, por 10 que el límite 'es 1. Sin embargo cada sumando tiende a O. Pasar al límite en cada sumando para obtener el de an no tiene sentido.
de donde
Ibl Ibl-jb.l < -2-
a"
V2'
~ jan - allbnl + lb" - bllal <
e
e
bn
Por ejemplo, si an = - - + - -
< 2 h2 h¡ + 2 h h l =
e)
~
máx {VI, Y2}, se tiene:
la" bn - abl = ICa,. -
Como - - =
1 . -b-' basta aplicar los apartados b) y e) de la proposin
ción anterior.
n E N.
Para cada é E K+, la condición de convergencia expresa que existen dos números naturales V¡ y V2 tales que es 0_ la" - al < _2h/
33
Sucesiones convergentes y fundamentales
y es lim
~= b.
_a_. b
H la,,1 > -k-'
para todo
n;;'
v.
En consecuencia,
la" . bnl
=
la,,1 • Ib,,1 > lanl k> H,
para todo
n;;'
Y.
00,
existe
34
Sucesiones convergentes y fundamentales
Observación. La conclusión de la proposición se mantiene cuando {a n } tiene límite infinito con signo determinado, y bn > k > O para todo n > vo, conservándose el signo. Si b n < k < O para todo n > vo, cambia el signo del límite infinito. 3.3. Examinados todos los casos de operaciones aritméticas con las sucesiones {a n } y {b n } convergentes hacia límites finitos o infinitos, las proposiciones demostradas prueban que, en la mayoría de los casos, la sucesión que resulta tiene un límite determinado, que depende exclusivamente de los límites de las sucesiones. Sin embargo hay algunos casos en los que las proposiciones anteriores no deciden, y son los que se presentan en la siguiente tabla: Suma y diferencia tn~ an ~ Producto Cociente
n
a
--+
~an
IX
b n --+ +'x: b n --+ x
O
b --+
+x ,
n
Xl
caso caso
'Xl -
tu t 21 t 22 t 31 t 32
t33
que cumple las siguientes condiciones: a)
Designando por
00, Tn
r.
= t nl
la sumarde los elementos de la fila n-ésima:
+ t n2 + ... + t nn ,
existe lim
X>,
Tn
para n = 1, 2, ... ,
=
T
n~ro
--+
O
an --+
00
bn
~
b n .--+
O 00
O caso -0-'
± b n },
{a n • b n }
y
b)
Existe un elemento k
00
It n1 i
caso -,x-, c)
En estos casos, los límites de las sucesiones
{an
4.2. Proposición: Dado un cuerpo ordenado K, se considera un esquema triangular ilimitado con elementos del mismo:
00-00,
caso O·
35
Sucesiones convergentes y fundamentales
~ ~: ~ ,
no dependen exclusivamente de los límites de las sucesiones con las que se opera, sino que también dependen de la manera que las sucesiones tienden a sus límites, y no se puede asegura.r "a priori" si existe el límite, y cuando existe, cuál es su valor. Tradicionalmente se denominan éstos: casos de indeterminación y se simbolizan como se ha hecho en la última columna de la tabla.
4. TRANSFORMACIONES LINEALES QUE CONSERVAN LA CONVERGENCIA EN LAS SUCESIONES 4.1. Algunas proposiciones permiten deducir de una sucesión convergente en K dada, otras sucesiones igualmente convergentes en el mismo cuerpo. Operandoconvenientcmente con los términos de la primera sucesión, se obtienen los de las otras. En el método de Toplitz, que se expone a continuación, las operaciones son de naturaleza lineal. A parte de un evidente interés práctico, estos métodos permiten la generalización del concepto de límite, que conducen a importantes resultados en la teoría de series.
K + tal que es
€
+ It n2\ + ... + Itnnl <
k,
para todo
n.
Cada columna tiene por límite O; es decir, para cada i es
=O
lim t ni
Entonces, Sl. { an } es una sucesl'on' convergente en K hacia a, la sucesión { b n } en la que nI para n = 1, 2, ", , b "= t ni a1 + t n2 a2 + • • • + t nn .." es convergente ~n K, y además lim bn =
¡;.
a.
Demostración: Se considera primeramente el caso en el que es a = O. Para cada E € K+, exist~ un número natural fl tal que es
la.. I <
:k'
para n
~ p.;
y por ser convergente la sucesión {a,,}, existe un A € K+ tal que es
Ia,,¡ < A,
para todo
n.
Por otra parte, como las columnas tienden a 0, existen números naturales n¡, n2' ... , nI'
tales que es
36
Sucesiones convergentes y fundamentales
37
Sucesiones convergentes y fundamentales
para
Demostración: Se considera la sucesión {a,.} en la que
Observación. Si los elementos del esquema triangular son positivos o nulos, la condición b) es superflua. En este caso Itnll + ... + Itnnl = "n, y como la sucesión {T n} es convergente está acotada. Lo mismo se puede decir en el caso de elementos negativos o nulos.
+ ...
Bn
E
N.
a,.) =
tn.,.
+An.-An_l) = Bu
lim An n-->ll>
B'I
/.
Ejemplo. - Se tiene, para p entero y positivo
'" + t n" do).
El primer término, según la hipótesis a) tiene par límite" . a, y el segundo sumando es del tipo considerado en primer lugar, que tiene por límite O.
4.3.
, ... ,
n~(X)
lim (~+ A 2 - A l t n2
n
Aplicando esta proposición se tiene
nCO-+
+
n= 2, 3,
n-l
cuyos términos son todos positivos. Manifiestamente se verifican ciones de (4.2) y además r
En el caso general, si lim an = a, poniendo a" - a= d n , la sucesión {do} converge hacia O. Sustituyendo a" = a + dn en la expresión que define b • se n tiene:
(t nl
B
que por hipótesis tiene límite 1, y el esquema triangular en el que 1<1 fdo! n-ésima es _ BI B2 -B I B,,-B n _ l
t nI + lo que prueba que la sucesión {b"} converge hacia O.
n-
P+2P+ ... +n·
lim ---n-:P:-:-+~l
1 =~-.
p
n-+Cú
Para aplicar el criterio de Stolz se escribe Bn
=
y
nP+I
An = IV
+ 2" + ... +
nP,
y se tiene
Una aplicación muy útil del método de Ti::iplitz es el llamado "criterio
de Stolz":
luego
Proposición: Sean en Un cuerpo ordenado K una sucesión creciente y divergente {B n }, y una sucesión cualquiera {A,,}. Si existe el límite finito · A,,-An_l l 1m Bn - Bn-1
1I...¡.OC
también existe, y coincide con él, el límite , An 1lm~=l. n'HU Bn
= l,
An-An_l
lim
~"OO
Bn - Bn_l
1
=--. p
4.4. Otra aplicación del ...."rl'terl'o de Stolz es la conservación del límite en la sucesión de los promedios sucesivos:
., {b"1\ de elclIwlI. Ión' Sea en un cuerpo ordenado K una suceslOn P ropOSlC . ' . } d 1 umas sucesivas Bn h = bl + tos positivos tal que la sucestOn {B n e as s ' /}1 .-\... + b n sea 'divergente. Entonces sz. 1a sucesián {a,.} converge aCta a, e.\ lim
+ C2z b2 + ... + a,. b" = b1 + b z + ." + b n
al b 1
a
38
Sucesiones convergentes y fundamentales
Se escribe An
= al b
l
5.2.
+ az b z + ... + an b n, Y se tiene
39
Sucesiones convergentes y fundamentafes
Proposición: Toda sucesión {a n } fundamental en K está acotada en K.
Demostración: En la definición anterior, la desigualdad
An - An_l a" b = - - - = a" Bn-Bn_l b. A
la" - aqj < p equivale a
cuyo límite es a.
que se verifica pata todo p ;:;"
En particular, haciendo b l = b 2 = ... = h. = oo. Si lim an = a, es . al l ¡m
+ a2 +
oo,
n
U-IoCO
= 1,
resulta:
tiene av -
e
v
a. -
y todo q ;:;"
< a. < av +
< ap< aq + E,
t
En particular, si se fija q
v.
p > v.
para todo
E,
= v se
Entonces, el elemento s = máx {a¡, aZ, oo., av_h a v + E} es una cota superior de la sucesión, y r = mín {al' al> ... , av_l, av - E} una cota inferior.
+ a" =a.
(
Los ejemplos más sencillos de sucesiones fundamentales son las convergentes. 5.3.
5.
SUCESIONES FUNDAMENTALES
Proposición: Toda sucesión {a n } convergente en K, es fundamental (!n K.
5.1. Aparte de las sucesiones de elementos de K, que convergen hacia un elemento de K, cuyos términos se apraximan al límite tanto cuanto se desee, se pueden definir sucesiones de elementos de K, que tienen la propiedad de que sus elementos se aproximan entre sí cuanto se quiera. Estas sucesiones que se denominan fundamentales o de Cauchy, pueden tender hacia un elemento de K o puede ocurrir que no exista en K un elemento que sea límite de la sucesión. Se plantean, pues, dos cuestiones. Una referente a la definición precisa de las sucesiones fundamentales. en la que sólo han de intervenir los términos de la sucesión y que se consigue que de manera satisfactoria con una formulación tipo "e, v". La otra cuestión se refiere al estudio de los cuerpos ordenados con suficientes elementos, para que se pueda asegurar la existencia en ellos de elemento límite para cada sucesión fundamental. Este asunto se tratará en el capítulo siguiente.
Definición: Sea K un cuerpo ordenado y { án} una sucesión de elementos de K. Se dice que la sucesión es fundamental (a de Cauchy) en K, si para cada elemento pasitivo , € K+, existe un número natural v, tal que es
lav ~ aql < e,
para todo
p~v
y todo
q ~ v,
con
p, q
E
N
Demostración: Si lim a. lan Luego si p
~ v y q ~ v
= a,
para cada E
al < -2~'
E
E
K+, existe un
n~
para todo
v E
N tal que es
v.
se tiene
·lan-a.1 = !(ap -a) - (aa' - al'l ~ la. ~ al
+ la. -al <
"-
Esta propiedad también se puede enunciar de la siguiente forma: Candición suficiente para que una sucesión sea fundamental en K es que sea convergente en K. Sin embargo, si K es un cuerpo ordenado cualquiera, la condición no es necesaria; es decir, existen sucesiones fundamentales en K que na son convergentes en K. Tal sucede en el cuerpo Q de los números ,racionales, como se comprueba en el ejemplo siguiente. 5.4.
En el cuerpo Q de los números racionales, la sucesión
al = 1,
1 a2 = 1 + 1 +
1
al = 1
3 -2-'
+ -2~ =
1
7
+ a2
5
a3=1+~=--
1
Y en general
an = 1
+
1
+ an_l'
es fundamental y na convergente en Q.
I----~
Como I
a,
I
a.
Bv
i
¡
8q
8.
Esquema de una sucesión fundamental
I
a,
1
K
1
I=
+ a"_21
la" (1
+
1-
a n _2!
la"-l - an _2\
+
4
an-l) (1
a"_2) <
.
40
Sucesiones convergentes y fundamentales
41
luceslones convergentes y fundamenta/es
resulta
6.2.
El ejemplo expuesto en el apartado anterior prueba la siguiente
Proposición: El cuerpo Q de los números racionales no es completo. luego, escribiendo p = q
+ k,
+( 4q~~-2 + 4q: k-3 + ... +
se tiene
4.~¡
)< 2. :q_l(1 + + +
~
+ ...
)= 3 . !.-¡
Evidentemente, la suceswn {a n } es fundamental, pues para cada basta determinar un número natural v, tal que 2
3.4v -
1
<
e,
o
e €
Q+
~
7.
EJERCICIOS
1.- A partir de la definición de límite, indicar ct¡áles de las sucesiones siguientes son convergentes, y en caso afirmativo determinar su límite:
3 4v - I > -1__ 2
La finalidad del capítulo siguiente es exponer un procedimiento sistemá,iro para completar cuerpos no completos, como el Q, adjuntándoles nuevoS rl¡'mcntos. El cuerpo ampliado conserva las propiedades estructurales del primitivo, pero además sus sucesiones fundamentales son convergentes.
,
~1+(_!2:'.1
y entonces es
(
la" - a.1 <
E,
para todo
p ~v
y todo
q ~ v.
b) 1_1_
1
+ an- 1
y si el límite de {a n } fuera un número racional, también 10 sería el de las
q De esta última igualdad se deduce p2 + q2 - 2 pq = O o (p - q)Z = O, lo que q, y por tanto, lim an O, lo que es absurdo, pues an > 1 para implica p todo n E N.
=
4. - Indicar cuáles de las siguientes sucesiones son convergentes, Y en caso afirmativo determinar su límite: a)
~l + _2_ + _3_1 : ( 11 n2 5
b
)
1n 2 +53nn -
2
l. ) •
2
S4n2 -2" I 6.
( ;
+ 11)2 S
(n
Sea la sucesión {x n } definida por
--=2+-- o sea - + - = 2 . q p q P
=
+
(n2
1+an =2+-:c- - sucesiones {l '+ el,.} y {l + an_I}' Entonces, poniendo lim (1 virtud de las propiedades (3.1), se tendría
I
2 - Calcular el límite de las s\jcesiones siguientes:
Sin embargo, no existe límite de la sucesión {a n } en el cuerpo Q. Efectivamente, de la definición de la sucesión se deduce 1
11
d) ( n _
CUERPOS COMPLETOS
6.1. Los cuerpos K que tienen la propiedad de que sus sucesiones fundamentales convergen, tienen especial interés en Análisis.
Definición: Se dice que un cuerpo ordenado K es completo, si toda sucesión fundamental de elementos de K, converge hacia un elemento de K.
5. -
32n \ •
Probar que si lim a~ = a' y lim a: = a 1
11....,.00
,,,
a¡ al
a)
I
N ,
es:
n....¡.CX)
fI
I
"
+ az a2 + ... + a. a"
lim - - - - - - - - - - = a' . a"; n
e)
~
n(n
3 + 2) - - n ~ -
n+l
n2 +1
42
Sucesiones convergentes y fundamentales
12. b)
6. -
lim
= a' • a
n
n
43
Sucesiones convergentes y fundamentales
•
Sea {E"} una sucesión cuyos términos valen {xn} definida por Xn
es fundamental. l3.-Probar que la sucesión {x,,} definida por
Probar que si lim n .... CO que es
la~fl
a: = O Y lim a:' =
1
x"
+ la;'1 + ... + la:'1 <
es fundamental. para todo
K,
n,
14. -
a;' + a; a;' + ... + a: a:') = O
8. - Sea {x,,} una sucesión de elementos de K no nulos, tales que es lim
X,,_l!
15. -
xn
1 n (n --1)
• para todo
n;::: k >
1,
Probar que si la sucesión {xn} cumple la condición 1
--< 1;
<
es fundamental.
Ix. - xn _ 1
xn+l
n~co
Probar que la sucesión {xn} para la que se verifica
Ix" -
entonces se tiene ¡im (a~
1
O, y además existe una constante K, tal
n-+OO
n~OO
1
= 1 + 11 + 2! + ... + -;:;-¡-,
~.Ie
IX
n_
1-
x"_21.
para todo
n;::: k
> 2,
siendo O:s;;..Ie < 1, es fundamental.
16. - Probar que si a> O, la sucesión {x n } definida por
probar que lim x. = O. ,,~oo
x n +1 Dar un ejemplo en el que sea lim - n---+oo xn
9 -
Xl
= 1,
Y lim x. = O. ~
Sea {x,,} la sucesión definida por
probar que la sucesión {X 2n _ l } es creciente y acotada superiormente, mientras que la sucesión {x 2,,} es decreciente y acotada inferiormente. Determinar el límite de la sucesión. 10. -
Sea la sucesión {x n } definida por la recurrencia lineal 8
X"_l -
x" = y donde xl'
5 xn _ 2
4
+ X"_3 '
para
n ~ 4,
x 2' x 3 son dados. Hallar el límite de la sucesión.
11. - Sea {tn} una sucesión tal que es O ~ t n ~ 1 para todo n; y {x,,} e {Y n } otras dos sucesiones que convergen hacia el mismo número a. Probar lim [tn X n
n~CO
+ (1- tn) Yn]
= a.
= c>O
y
x"+1
= _1_ (X n + _a_) 2 x n
es fundamental, y no converge hacia ningún número racional.
3. Método de Cantor para completar un cuerpo ordenado' l.
El anillo de las sucesiones fundamentales.
2. \.
Sucesiones nulas, positivas y negativas. Equivalencia de sucesiones fundamentales. Cuerpo cociente.
'l.
Ordenación del cuerpo cociente. Teorema de completitud.
"j.
Un cuerpo ordenado K. en general no es completo; es decir, existen sucesiones de de K, cuyos términos se aproximan entre sí tanto como se quiera para las ('uales no existen en K elementos que sean sus límites respectivos. Este hecho repre""lIta un grave inconveniente en todas las cuestiones de convergencia, pues "al pasar al limite" no se tiene seguridad de encontrar en K un elemento que sea el límite. Se impone, pues, la necesidad de crear nuevos objetos que adjuntados al cuerpo K, lo conviertan en otro K* en el que toda sucesión fundamental sea convergente en K*. Dado el cuerpo K, se trata de hallar otro cuerpo K* que verifique las tres condiciolIeS siguientes: al K e K', o bien K es isomorfo a una parte de K'; b> K* esti ordenado, .1' la ordenación inducida en K coincide con la primitiva de K; el K* es completo. Distintos métodos se pueden seguir para construir el cuerpo ampliado K*. Y el que s, expone es el de las sucesiones fundamentales de Cantor: En el conjunto S de todas las sucesiones fundamentales formadas con los elementos de K, se considera la suma y producto de sucesiones, obteniéndose en S una estructura de anillo conmutativo con elemento unidad (l.4). Las sucesiones se clasifican en nulas, /",siti¡las y negativas (2). En el anillo S, hay sucesiones no nulas que no poseen inver.,as, y para obviar esta dificultad, se establece una relación de equivalencia entre las Mlcesiones de S, considerando como equivalentes dos sucesiones fundamentales cuando Sil diferencia es una slIcesión nula (3.2). Como el conjunto l de todas las sucesiones n u las es un ideal máximal en el anillo S de las sucesiones fundamentales, el anillo eo~Iementos
.
S
("/ente - ¡ - es un cuerpo que se designa por R (3.5). Esta decisiva propiedad de ser un
cuerpo el anillo cociente de S respecto de la relación de equivalencia, que es consecuencia inmediata de la propiedad maximal de l. también se puede probar por una demostración equivalente, como se hace en el texto. Este cuerpo R, que es ordenable (1\), es precisamente el cuerpo K* buscado. Finalmente se demuestra el resultado de que R es completo (5), y que cuando se p;Irte del cuerpo K = Q, es el teorema fundamental de la teoría del número real.
. . Este capítulo, de naturaleza más all?,ébrica que analítica, ~e hd desglosado del que sigue, referente nI cuerpo R de los números reales. Su interés es principalmente teónco, y se puede omitir su estudio. El cuerpo de- Jos números reales ruede introducirse directamente a través de una axiomática, como flC expone al final del capitulo siguiente.
45
46
1.
Método de Cantor para completar un cuerpo ordenado
EL ANILLO DE LAS SUCESIONES FUNDAMENTALES
1.1., Dado un cuerpO' ordenado K, en general no completo, existen distintos metodos para completarlo. Se trata de construir un cuerpo K* ordenado y completo que contenga a K como subcuerpo; o dicho con otras palabras ~e trata de ~djuntar al conjunto K nuevos elementos, de forma que con el con~ ¡unto obtemdo K*:::> K ~e puedan definir una estructura de cuerpo ordenado, que conserve las operaCIOnes y la ordenación de K, en el que toda sucesión fundamental sea convergente. Existen distinto,s métodos para completar un cuerpo ordenado K, el que se expone es el metodo de Cantor de las sucesiones fundamentales. 1.2. Se designa por S el concepto de todas las sucesiones fundamentales for~adas ca.n . elementos de K. En el conjunto S la suma y el producto de sucesIOnes, ~r~gman ~na estructura de anillo {S, +, '}, como se comprueba en las proposIcIones SIguientes.
P~~posición: Si {an } y {b n } son dos sucesiones fundamentales en K, la suceslon suma {an + b n } también lo es.
Demostración: Para cada e € K+, la condición de convergencia expresa que existen dos VI, Vz € N tales que es la" -
aal < T'
para todo p'
>
-T'
para todo p
~ V2
VI
Y todo q
>
VI
Y todo
>
'Y2'
y
lb" ~ bal < En consecuencia, si I(a"
+ b,,) -
(a.
v
q
= máx {VI> V2}, se tiene:
+ bq)1 <
E,
para todo
p~
V
Y todo
q> v.
Proposición: Si {On} Y {b n } son dos sucesiones fundamentales en K la su' cesión producto {a n • b n } también lo es. Demostración: Por ser fundamentales, las dos sucesiones están acotadas, luego existen dos elementos hll hz E K tales que es
IOnI < Además para cada
la" - a.1 < y
e €
hl
Y
Ibnl <
K +, existen dos
2 Eh ' z
para todo
h2
Vio V2
para todo p
€
~ VI
n.
N tales que es Y todo
q
>
VI>
47
M¡§todo de Cantor para completar un cuerpo ordenado
En consecuencia, si la p
b" -
aq
b.1 =
I(a p
,,;:::8 2 h h2
~
2
VI
= máx {vI' vz}, se tiene:
+ (b" - b a.1 "s;: la. - a.llb. + lb. - bal la.1 s
-
aq ) b"
+
2e h h 1; para todo
q)
l,
........ v y t odo p,::/
........ q,::/
'Y.
l
1.3. La operación de suma de sucesiones es asociativa y conmutativa, por la adición de los elementos de K. El elemento neutro es la sucesión {O} rn la que todos los términos son O. La opuesta de {a n } es la sucesión {- a" }. Evidentemente estas sucesiones son fundamentales en K. La operación de producto de sucesiones es también asociativa y conmutativa y se cumple la propiedad distributiva del producto respecto de la suma, por verificarse entre los elementos de K. El elemento neutro del producto es la sucesión {l} en la que todos los términos son 1. Los postulados que definen un anillo conmutativo con elemento unidad se verifican, luego: ~crl0
Proposición: La adición y el producto de sucesion~s orzgman una estructura de anillo conmutativo con elemento unidad {S, +, .}, en el conjunto S de las sucesiones fundamentales formadas con elementos del cuerpo ordenado K. Se abreviará la notación designando este anillo con la misma letra S con que se designaba el conjunto de las sucesiones fundamentales. lA. Una sucesión fundamental con uno o más elementos nulos, no tiene inversa respecto de la operación de producto de sucesiones, por lo que se puede asegurar que S no tiene estructura de cuerpo. 1.5. Es evidente que la suma y el producto de las sucesiones constantes, son sucesiones constantes, y se tiene {a} + {b} = {a + b} Y {a}' { b} = = { a . b}. luego
Proposición: El conjunto S' de las sucesiones constantes es un subanillo del anillo S de las sucesiones fundamentales en K. Como a los elementos a, b, ..., € K se les puede hacer corresponder las sucesiones constantes {a}, {b}, ... e inversamente, y como a la suma a + b Y al producto a· b de elementos de K, les corresponde las sucesiones constantes suma y producto de las correspondientes a los elementos a y b, se puede enunciar la siguiente
Proposición: Sea K un cuerpo ordenado, S el anillo de las sucesiones fundamentales cuyos términO's pertenecen a K, y S' el subanillo de las sucesiones UNÉS-3
48
Método de Cantor para completar un cuerpo ordenado
constantes. Entonces la aplicación en la que a cada a G K, le corresponde {a} € S', es un isomorfismo entre el cuerpo K y el anillo S' (que también es cuerpo).
s
K
a . _ - - - - - - - - __ {a}
1 1 1 4. - La sucesión 1, 0, -2-' 0, -4-' ... , O, To' para cada
--- {b}
--{a+b}
a . b ------
49
s>
0, basta tomar
v
...
es nula en Q, pues
1
> --, para que sea a.. <
para n ~
€
e
V.
2.2. Proposición: Una sucesión {a,.} fundamental en K, tal que para cada É € K+, existen infinitos términos de la sucesión que verifican Ia.. I < e, es una sucesión nula.
S'
b._---- - Isomorfismo a+b..._----
Método de Cantor para completar un cuerpo ordenado
v €
Demostración: Por ser {an } fundamental en K, para cada N tal que es
--{a' b}
para todo p ~
la" - aol < -2-' 8
y todo
v
K+ existe un
€
E
q;;:' v. E
Como por hipótesis, infinitos términos de la sucesi6n verifican
K cuerpo conmutativo
existe un aq tal que S anillo de sucesiones fundamentales
2.
la.1
2.1. En el anillo S de las sucesiones fundamentales, cuyos términos pertenecen al cuerpo K ordenado, se pueden considerar las sucesiones nulas, las positivas y la~ negativas, comprobándose posteriormente las propiedades de estabilidad respecto de la suma y producto.
Definición: Una sucesión nula en el cuerpo K, es una suceszon {a,.} de· elementos de K, que converge hacia O; es decir, para cada e E K+ existe un número natural v tal que es n;;:' ;
n
€
1
~ v
~+ t es
<', para que sea
1 < n
~-
3. - También la sucesión
para todo n ;;:,
~ (-1)" +~
,N.
la misma forma que en el caso anterior.
+ la.! <
para todo
F
p
~ v.
Equivalente a la proposición (2.2) es la siguiente
Proposición: Si una sucesión {a n }, fundamental en K, no es nula, existe '1 € K+ Y un v € N tales que es: '1
para todo
n;;:'
v.
2.3. Proposición: Una sucesión {a.} fundamental en K, que tien~ infinitos términos positivos e infinitos negativos, es una sucesión nula en K. v €
Demostración: Por ser {a,,} fundamental, para cada N tal que es la. ~ aql <
v.
es nula en Q, y se determina
aql
Demostración: Si para cada '1 > O existieran infinitos términos de la sucesi6n tales que la,,1 < '1, según (2.2) la sucesión sería nula.
nula en Q, pues para cada e> O basta tomar t
+ aol ::::;: la. -
lanl >
Ejemplos. 1. - La sucesión O, O, ... , O, ... es evidentemente nula. 2. - La sucesión
con q;;:' v; por 10 que se tiene
Proposición: Una sucesión fundamental en K, que tiene infinitos términos iguales a O, es nula.
un
para todo
= !(a" ~ aq )
+
En particular,
SUCESIONES NULAS, POSITIVAS Y NEGATIVAS
la,,1 < e,
lela! <
1a.1 < -2-'
v
de
t,
para todo
p~
v
y todo
E
q;;:'
€
K+, existe un
v.
Como existen infinitos términos negativos, sea a oo = - a;,o un término negativo con qo;;:' v, y sea a" un término positivo cualquiera con p ~ 11. De
a"
.,
+á <
e,
50
Mé'odo de Cantor para completar un cuerpo ordenado