serle de mafem6flca

monografro no. 9

Programa Regional de Desarrollo Clentrflco y Tecnol6glco Departamento de Asuntos Cientrflcos

Secretarra General de 10 Organlzacl6n de los Estados Amerlcanos

Juan Horvath

INTRODUCCION A

LA TOPOLOGIA GENERAL

par

Universidad de Maryland

College Pork, Md., ESTADOS UNIDOS

Programa Regional de Desarrollo Cientlfico y Te c n o l dq i c o

Departamento de Asuntos Ciendficos

Secretarra General

de la Organizacion de los Estados Americanos

Washington, D.C. - 1969

Ed itora: Eva V. Chel n e eu

@Copyright 1969 by The Pan American Union Washington, D.C.

Derechos Reservados, 1969 Union Panamericana Washington, D.C.

Esta monografi'a ho sido preparada para su pUblicacion

en el Departamento de Asunto5 Cient(ficos de 10 Union Ponamericana

Asesor Tecnico: Dr. Emilio Lluis Riera Instituto de Matematicas

Unjyersidad Nacional Autonoma d. Mexico Mexico D.F., MEXICO

y

Dedicado a la memoria

de dos educadores colombian os prematuramente desaparecidos:

Leopoldo Guerra Portocarrero

Reina/do Munoz Zambrano

Concebido por los Jefes de Estado Americanos en au Reunion celebrada en Punta del Este, Uruguay, en 1967, y cristalizado en las deliberaciones y mandatos de la Quinta Reunion del Consejo Interamericano Cultural, llevada a cabo en Ma r ac ay , Venezuela, en 1968, el Progranoa Regional de Desarrollo Cientffico y Tecnologico es la e xp r e s i Sn de las aspiraciones preconizadas por los Jefes de Estado Americanos en el sentido de poner la ciencia y la tecnologfa al servicio de los pueblos latinoamericanos.

v

El programa de monograffas cientfficas es una faceta de la vasta labor de la Or-garriz ac Ion de los Estados Arne r ic anos , a cargo del Departamento de Asuntos Cientfficos de la Secretarfa General de dicha Organizaci6n, a cuyo financiamiento contribuye en fo r rria importante el Programa Regional de Desarrollo Cientffico y Tecnol Sg ic o,

Demostrando gran vision, tal altas autoridades reconocieron que la ciencia y La tecnologfa e s ta transformando Ia estructura ec onorn ica y social de muchas naciones y que, en esta hora, por ser Ins t ru manto indispensable de progreso en America Latina, necesita un i mpul s o sin precedentes.

El Programa Regional de Desarrollo Cientffico y T'ec nol Sg ic o es un complernento de los esfuerzos nacionales de los palseslatinoamericanos y se orienta ha.c i.a la adopc ion de rne d ida.s que perrnitan el fomento de la investigac ion, Ia ens eflanza y Ia d ifu s ion de la ciencia y la tecnologfa; la f o r rnac i on y perfeccionamiento de personal c ieritff ic o; el int e rc arnb io de inforrnaciones, y la transferencia y adapt ac i Sn a los parses latinoamericanos del conocimiento y las tecnologfas generadas en otras regiones.

En el curnplimiento de estas premisas fundamentales, el programa de monograffas representa una c ont r ibuc ion directa a Ia enseft.anza de las ciencias en niveles educativos que abarcan importantfsirnos sectores de la pobl.ac ion y, al mismo tiempo, propugna la d ifu s i.Sn del saber cientffico.

septiembre de 1969

La col e c cton de monog r affas cientlficas consta de cuatro series, en espana! y por-tugu e s , sabre t e m.a s de r(sica, quunlca, biologfa y rnat ernat.i ca , Desde sus corni en z os , estas obras se destinaron a profesores y a lurnno s de ciencias de ensefianza secundaria y de los primeros afio s de la universitaria; de estos se tiene ya testimonio de su buena aeogida.

Este prefacio brinda al Programa Regional de Desarrollo Cientl'fieo y 'I'e cno Iogt co y a la Secretarl'a General de la Organizacion de los Estados Americanos la o ca s ion de agradecer al doctor Juan Horvath, autor de esta monografl'a, y a quienes tengan el interes y buena voluntad de contribuir a su di vul.ga cton ,

VI

INDICE

A los Lectores v

Pagina

CAPITULO CERO. OBSERVACIONES SOBRE TERMINOLOGIA Y NOTACIONES ••••••••••••••••••

CAPITULO PRIMERO. LA TOPOLOGIA DE LA

RECTA REAL •••••••••••••••••••••••••••••••••••••

§ 1. El Cuerpo de los Niirne r o s Re al e s .•••••••••••• § 2. Vecindades; Conjuntos Abiertos y Cerrados •••

§ 3. Topologfa Relativa •••••••••••••••••••••••••••• § 4. Sucesiones Convergentes ••••••••••••••••••••••

§ 5. Funciones Continuas .

§ 6. Conjuntos Cornpactos •••••••••••.•.••.•••••••• § 7. Conjuntos Conexos ••••••••••••••••••••••••••••

CAPITULO SEGUNDO. LA TOPOLOGIA DEL

ESPACIO EUCLIDIANO ••••••••••••••••••••••••••••

§ 1. E1 Espado Nurn e r ic o p-dirnensional •••••••••• § 2. Vecindades; Conjuntos Abiertos y Cerrados •••

§ 3. Topo1ogfa Relativa •••••••••••••••••••••••••••• § 4. Sucesiones Convergentes ••••••••••••••••••.••• § 5. Funciones Continuas •••••••••••••••••••••••••• § 6. Conjuntos Cornpactos •••••••••••••••••••••••••

CAPITULO TERCERO. ESPACIOS METRICOS •••••••

§ 1. Definicion de los Espacios Met r ic o s •••••••••• § 2. Vecindades; Conjuntos Abiertos y Cerrados •••

§ 3. Met r ic a Inducida .

§ 4. Sucesiones Convergentes ••••••••••••••••••••• § 5. Funciones Continuas ••••••••••••••••••••••••••

§ 6. Espacios Compactos .

CAPITULO CUARTO. ESPACIOS TOPOLOGICOS ....

7
7
12
18
23
29
34
39
45 VII
45
50
54
54
57
63
69
69
73
73
74
85
92
97
97
104
109
112 § 1. Definicion de los Espacios Topologicos •••••••

§ 2. Funciones Continuas ••••.••••••••••••••••••••• § 3. Topo1ogfa Inducida •••••••••••••••••••••••••••• § 4. Sucesiones Convergentes •••••••••••••••••••••

§ 5. Espacios Compactos liB

§ 6. Espacios Conexos............................ 123

APENDICE. ALGUNOS TEMAS ADICIONALES

129

§ I. Espacios Producto, Topologias Iniciales 129

§ z. Espacios Cociente, Topo1ogfas Finales ...... 131

§ 3. Filtros................. 131

§ 4. Grupos 'I'opol og ic os , Espacios Uniformes 134

Bibliografia ••.•••••••••••••••••••••••••••••••••••••• 139

Indice 'I'e r rrrinol.og ic o 143

VIII

o

Como es costurnbre hoy d Ia en escritos sabre mat ernat ic a, se ha r a uso en esta monograffa de los conceptos y notaciones mas sencillos y bas ic os de la Teorfa de los Conjuntos. Aunque se supone que el lector e s t e familiarizado con esta, nuestro p r opo s it o e s recordarle en este breve c apftu lo introductorio los conceptos a los que nos referiremos en 10 que sigue, a s f como fijar algunas notaciones.

Un conjunto X es una c o l.ec c ion de objetos llamados elementos de X. Por la notac ion X EX se indica que X es elernento de X (0 que X pertenece a X), y por la X f. X se indica que X no es elemento de X. Un conjunto e s t a bien definido si se puede decidir sin a.rnb i.gil e da d c ua Ie s son sus elementos. Para representar un conjunto, se coloca prirnero entre llaves {} un sfmbolo que denote el e Ie rrie rrto general del conjunto, y luego, separado por una raya vertical, La propiedad que caracteriza a los e l e rrie nt oa de dicho c onjunt o, Si el conjunto es finito, todos sus e Ierrierito s se pueden escribir entre las n. ASl, el conjunto cuyos elementos son los mirrie r o s Z, 4, 6,8 se puede escribir Iz, 4, 6, 8} 0 (nln mirne r-o par, Z ;§ n ;§ 8} 0 {n In = 2/1;, /1; ntime r o entero, l;§ /1; ;§ 4}.

Para algunos conjuntos de especial importancia se ut i l i z a r an los siguientes s irnbo lo s :

N denota el c orijurrto de los nrirrie r os enteros pas it iv o s , Ll arrra-. d o s ta mb i en mirne r os naturales: 0, 1, 2, 3,4, ... [ob s e r ve e e que el o se considera nrime r o pos it ivo};

Z designa el conjunto de los nurn e r os enteros: 0, ±l, ±Z, ±3,

±4,

Q representa el conjunto de los ndrn e r os racionales;

R simboliza e I conjunto de los mirne r os reales.

Si A y B son dos conjuntos, entonces se dice que A es un subcoruiuntia de B, 0 que A esta contenido en B, 0 que B contiene a A,

CIA U B) = «A) n «B), CIA n B) = (CA) U «B).

y se escribe A c; BoB ::J A, si todo elemento de A es tarnb ien elemento de B. Para describir un subconjunto A de B se utilizara. a menudo la nota c ion (x E B Ix E A}; por ejemplo, Q,. = (r E 01 r '" o} es el conjunto de los mirrie r oa racionales positivos, y R,. = {x E E R Ix '" o} e I conjunto de los nfirne r os rea1es positivos. Cada conjunto contiene un subconjunto especial, Hamado el oonjunto vacio, al cual no pertenece e1emento alguno, y que se denota por fl. Si x E X, hay que distinguir entre el elemento x y el subconjunto (x} de X que consta del unico elemento x ,

Sean A Y B dos subconjuntos del conjunto X. Se llama union 0 reunion de los conjuntos A y B, Y se denota por AU B, el subconjunto de X formado por todos los elementos de X que pertenecen por 10 menos a uno de los dos conjuntos A y B. Se llama intereeccion, y se denota por An B, e1 subconjunto detodos los elementos de X que pertenecen a ambos conjuntos A y B. Si A n B = fI, es decir s i A Y B no tienen e1emento alguno en c orniin, se dice que los c onjunto s A y B son disjuntos (0 ajenos). Si A, By C son tres subconjuntos de X se tiene

A n (B U C) = (A n B) U (A n C) y AU (B n C) = (A U B) n (AU C).

2

El conjunto A e e ta contenido en B s i, y solo s i , A U B = B a A n B = = A.

Si A es un subconjunto. del conjunto X, se llama el complementode A con respecto a X, y s e representa por CxA al conjunto de todos los elementos de X que no pertenecen a A, e s decir: CxA = {x E E x]» j! A}. 5i no hay duda posib1e acerca delconjunto Xrespecto al cual se toma el complemento, esc ribiremos simplemente CA en vez de CxA. se tiene C«A) = A Y si A Y B son dos subconjuntos

de X se tienen las dos 1eyes de De Morgan:

Sean X e Y dos conjuntos. Una funawn 0 apl icaoion f definida en X que toma sus va.Io r e s en Y (0 con valores en Y), asocia a cada elemento x E X un elemento fIx) E Y. Se dice ta rnb ien que f es una aplicaci6n de X en Y, 0 que f aplica X en Y. El conjunto X se llama dominic de definicion de f, y para indicar que f e s ta definida en X y que toma sus valores en Y se escribe f : X .... Y. El elemento fIx) se llama el valor de f en x, y para indicar que

J \x/ es er valor de J en X se utiliza t a rnb i Sn la notac ion f : X - fIx).

Para A c: X, el conjunto de to d o s los elementos y E Y para los cuales existe un elemento X E A tal que y = fIX) 5e denota por f(A) y se llama la imagen de A can respecto a f. En particular,

el conjunto fIX) se llama Ia imagen de f. Si fiX) = Y, se dice que f es una eupraueoeion 0 que es una apl-ioaeion supl"ayeativa, 0 que aplica X sobre Y.

Para Bey, el conjunto rl(B) = (x E X\f(x) E B} se llama irragen invel"sa de B. Cualesquiera que sean los subconjuntos B y C de Y se tiene r'(B U C) = r'(B) U r'(C), r'(B n C) =

Si para cada y E fIX) existe solo un elemento X E X tal que y = = fIx), se dice que f es una inyeaai6n 0 una apl.ioaeion inyeativa. En particular, si X e e un subconjunto de Y, la aplicaci6n X ..... X de X en Y s e denomina inyecci6n ~an6niaa. Una funci6n que sea a Ia vez inyeetiva y suprayectiva se denomina biyeacion 0 apl-icacion biyeativa.

Si f: X - Y es una b iyec cdo n, entonces la Iunc ion que a eada y E Y hace eorresponder el umeo elemento x E X tal que

't , ,1

" J

Sean X, Y y Z tres conjuntos, f una a.pl ic ac i on de X en Y y (J una apl.i ca c io n de Y en Z. La fun c i Sn que a cada x E X hace corresponder el elemento ,,(f(x» de Z, se llama la oompoeioion de las aplicaciones f y (J, Y se denota po r " 0 f.

3

Si f es una apf ic ac Ion de X en Y y si T es un subconjunto de X, entonces la func ion , con dorrtinio de definicion T y con valores en Y, que a cada t E T a s oc ia e I valor fit), se llama la »eetir-iao ion de faT y se denota por r l r. Para cada subeonjunto B de Y se tiene (f I Tr'(B) ~ r'(B) n T.

Sean I y X dos conjuntos. Una familia de elementos de X se define mediante una a.pl ic ac ion de I en X; La imagen de I en X es el conijurito de elementos de la familia, e I es el aonjunto de los {ndiaes. Si I - xI es Ia apl ic ac ion de I en X que define la familia, entonees esta se d enota r a por (Xt)t s r 0, simplemente, (xd. Dado un eonjunto cualquiera X, se puede definir una familia cuyo eonjunto de elementos es X mediante la ap h.ca ci on identidad x .... X. Por 10 tanto, el eoneepto de familia es mas general que el de eonjunto, ya que no es neeesario que para I f 11. se tenga xI f x.. Si J es un subeoniunto de L entonees Ia r e s t r icc ion a J delaaplicaci6n t~XI

define la subfamiUa (xdl. J de la familia (XI It £1.

Si X es un eonjunto y (~)I £! una familia de subeonjuntos de X, entonces Ia reunion 0 union t ~r At de los ~ es el subeonjunto de X

farmado par los elementos que pertenecen, por 10 menos, a un

conjunto AI' La inte r s ec c ion n AI de los AI consiste de todos los IE I

elementos de X que pertenecen a cada conjunto At.

Se dice que un conjunto Xes enumerabl-e si existe una b iyec c i on de un subconjunto de N sobre X. Si X es un conjunto finito no vac Io, entonces existe una b iyec c ion de un subconjunto [k E Nil "" ;§ k;§ n} de N s ob z-e X, el rnirn e r o entero n e s ta bien definido por X y es el mirne r o de e Ie rn e nt o s de X. Si X es un conjunto enumerable infinito, entonces existe una biyecci6n de N sabre X.

Una familia (xn1n 0 N de elementos de un conjunto X, cuyo conjunto de Ind ic e s es N, s e llama una euces idn, Los elementos xn se Haman los te"L'rrtinos de la suces ion. El conjunto de e Ie m erit o s de una sucesi6n es siempre enumerable. Inv e r-e a rnerrte , un conjunto X es enumerable s i e xi s t e una s uc e s ion cuyo conjunto de e Ie rrrcnt o s es X. En particular, cada subconjunto de un conjunto enumerable es enumerable.

4

Si (AnlnoN es una familia enumerable de subconjuntos de X y si cada uno de los conjuntos de An es enumerable, entonces U An es nEN

un conjunto enumerable. En efecto, los elementos de A. se pue-

den organizar en una sucesi6n (ankh:8No Lue go , si los elementos de U A. se escriben en forma rectangular

nEN

aoo -ao1 a02 ao' aon
///
alo all a12 a13 a1n
/'/
a20 a21 a •• a., a2.
a30 a31 a'2 a" a,n s e ve que arreglando los elementos ank en el sentido indicado par las flechas, es de c i r poniendo

paId It I h m, 0.< n .< tn, 5e obtielle ana sacesian (bj)jSN CayD crrrr-

junto de elementos es U An. nE N

Un r-ac ioc in i o sernejante demuestra que e I conjunto 0 de los mirne r os racionales es enumerable. Esta vez s e a r r e gl.an los mi ; meros r =~, n > 0, se giin el valor de h = Iml+n, enformatriangular

h 0
T
- I 0 I
h 2 I' 2' 1
h 3 -2 -1 0 1 2
l' 2' 3' 2' "1
h 4 - 3 -2 - 1 0 I 2 3
T' 2' 3' 4' 3' 2' J
h 5 -4 - 3 -2 - I _Q I 2 3 4
T' 2' 3' 4' 5 ' 4' 3' 2' J y se obtiene que Q es el conjunto de los elementos de la s uc e s ion (bJ)JU definida por

-h+J+ n

dondeO""J""2h-2, n=J+I siO""J""h-l, n 2h-J-lsi

h _ 1 s J s 2h - 2 Y h recorre los mi rn e r o s enteros '" I.

Para demostrar la prop. Z. 6.2 hay que recurrir al hecho de que e s enumerable el conjunto QP de las p-tuplas ('1, ... ,'p) de numeros racionales. Mas generalrnente, si X es un conjunto enumerable, el conjunto x" de las p-tuplas (x" •.• ,xp) de elementos de X ef enumerable. Esto se ve ordenan~oprimero X en una s uc e s i on (x(n )n' N, Y luego ordenando las p-tuplas (x(nl), ••• ,x(np» s e gun el

5

valor de n, + . .. + no:

(x(O), •.• ,x(o»,

(X(l),X(O), •.• ,x(o», (x(O),X(l), ••• ,x(o», ••• , (x(o),x(o), ••• ,X(l», (x(a),x(o), .•• ,x(o», (X(l},X(l), ••• ,x(o», •••

Finalrnente, en el ej emplo 4.4. 3 s e ut i Liz a r a el hecho de que un intervalo ]a, b[ = [x I a < x < b] de la recta real R no es e nurn e r ab l e si a < b. Demostremos primero que el intervalo JO, 1 [ no es enumerable. Sea (xn) una s uc es ion cualquiera de nu-

meros reales entre 0 y I y escrlbarnos sus desarrollos decImales:

X, x,

0, XclXo2Xo3 0, XllXl2X,3

xn

donde, para lograr la unicidad del desarrollo, se ad opt o en todo caso el desarrollo infinito (po r eje:mplo, i = 0,24999 ••• , Y no t = = 0,25000 .•. ). A cada 1') ;:, I a s oc ie s e un ntime r o Y. entero tal que I ,; Y. ,; 8, distinto de x... Entonces el nfirn e r o cuya e xp r e s ion decimal es 0, b\Y2Y3 ••• Y ••.• pe r te nec e al intervalo JO, 1 [ pero es distinto de c a da Xn• Asf ninguna s uc e s i on puede tener Jo, I [ por

. , , r

~VHJUUW uc C.C~UCUCV~, C~ uc~ u • .J u, ~ L. HV C~ c"wuc~ au~c. ~"v" a

bien, por s e r X - (b - a)x + a una b i y e c c i Sn de J 0, I[ sabre Ja, b[, ta m po c o Ic , b[ puede ser enumerable.

6

Tertninem.os esta.introduccion con algunas palabras sabre la organizacion del texto de la rnono g r affa , Los c a pftu l o s se indican por rnirn e r o s en negritas: I, 2, 3, 4. Los teorernas, proposicion e s , definiciones, ejem.plos y observaciones s e ordenan mediante una nu me r a.c.i cn doble: el primer num.ero designa la s e c c i on respectiva (§), y e l segundo, la posicion que ocupan en esta. Dentro del mismo c apftu Io solo se utilizanestos dos mirne r os ; as I, por ejemplo, prop. 2.2 se refiere ala segunda p r opo s ic io n d e la §2 del mismo c apftul o, Para re£erirse a un teorerna, propos ic ion, etc , , de otro c apftulo se alude ta.rnb i en al mirne r o de e st e , por ejemplo, d ef', 3.4.2 se refiere a la segunda definicion de la §4 del c apftul o tercero. El lector ob s e r va r a que hay un paralelismo muy estrecho entre los capftulos , y que se ha tratado, en 10 posible, de asignar el rnismo mirn e r o a los resultados analog os de los varios capftulos. El s Irnb ol o 0 indica el fin de una d ernos t r-ac idn,

1) EI conjunto R de los mirne r os reales es un (!ue1'po (0 campo). Esto significa que sobre R e s ta n definidas dos ope r-ac i one e algebraicas:

7

1

LA TOPOLOOIA DE LA R.E~TA R.~AL

§ 1. El Cuerpo de lOB Nume r os Reales

La topologi'a general es el estudio de Ia continuidad y de l a convergencia. En los tres capftulos que siguen se e-ea rn lna r an estos conceptos ala luz de situaciones mas y mas generales para llegar en el cuarto a la ab st r-ac c ion ultima, a saber, la noc ion de espacio t.opol Sg ic o ,

En este c apftul o se errrp e z a r a por definir los conceptos t opol S» gicos sabre la recta real, si bien antes, de manera resurnida, indicarernos en esta s e c c iori las propiedades caracterlsticas de los nii me r os reales.

a) la adiaion, que a cada pareja (a, 0) de elementos de Rasocia el elemento a + 0 de R, Il.arnad o la BUm2 de a y 0;

b) la multipli(!a(!ion, que a cada pa r-ej a (a, 0) de elementos de R asocia el elemento ab (denotado ta mb ieri por a. 0 0 a x b) de R, llamado el produatio de a y b.

Estas dos operaciones obedecen a los siguientes axi orna s:

(C 1) Para toda pa r-ej a (a, b) de nfirne r os reales se tiene a + b = b + a (ley c onmutativa de Ia adic ion).

(Cl) Para toda terna (a, b, c) de nrirn e r-os reales se cumple a + + (b + c) = (a + 0) + C (ley asociativa de la a.d ic i Sn},

(C3) Existe un ntirn e r o real 0, Ham ado cero, tal que a + 0 = a

(C4) Para c ada ndrne r o real a existe un niirn e r o real -a, Hamado el opuesto de a, tal que a + (_a) = O.

(C5) Para toda pareja (a, b) de mirne r os reales se verifica a b « ta (ley conmutativa de la mult ipl icac Ion),

(C6) Para toda terna (a, b, e) de mirn e r os reales, se tiene a(be) = (ab)e (ley a s oc ia t iva de la rnult ipl ic ac ion},

(C7) Existe un nurrie r o real 1 distinto de 0, Ham ado uno, tal que a. 1 = a para todo a E R.

(CB) Para cada ruirrre r o real a, distinto de cero, existe un nu.rn e r-o real a-1 (6 ft), Ll.a rrra d o el inverso de a, tal que a . a-1 = I.

(C9) Para cada terna (a, b, 0) de ntirrie r o s reales se tiene la propiedad alb + 0) = ab + cc (ley distributiva).

En vez de a + (-b) se suele t arrib i e n escribir a - b, ya . b-1 se escribe t a rn b i e n alb 6~. De los axiomas se deducen todas las r e g la s usuales de la a r it met.ic a , A continuaci6n se dan algunos ejemplos, as! como ejercicios, cuya de mo s t r-ac icn queda a cargo del lector.

Pro osici6n I I

El eZemento cepo es unico.

8

Demostraci6n. Supongamos que existen dos elementos 0 y 0' tales que a + 0 = a y a + 0' = a para to do a E R. Esc ribiendo a = ;;;;;: 0' en la primera r el ac ion, se tiene 0' + 0 = 0'; escribiendo Q, = 0 en Ia segunda resulta que 0 + 0' = O. Puesto que 0' + 0 = 0 + 0' por e l axioma (Cl), se sigue que 0 = 0'. <>

Proposici6n 1. Z. Papa todo numero peal a, se tiene 0 . a O.

Demostraci6n. Se gun la ley d is t r ibut iva se tiene

O. a = (0 + 0) • a = 0 • a + 0 • a

y, por 10 tanto, hacienda usa de los a.x io rria.s (C4) y (C2),

o = 0 • a + (-0 • a)

(o.a+O a)+(-o.a)

o • a + (0 a - 0 • a) = O· a. <>

2) El cuerpo R de los rui rrie r o s reales es totalmente opdenado.

Esto s i gn if ic a , en primer lugar, que dado dos elementos a y b de R se cumple exactamente una de las tres condiciones:

La relaci6n a < b se lee "0: es menor que b" a "0: es inferior a t»: y equivale a b > a (b es mayor que 0:, b es superior a a). La relaci6n 0: :; b significa que 0 bien a es menor que b 0 bien a = b, y equivale a b ~ a. Se cumple el axioma siguiente (ley trans it iva del orden):

Demostraci6n. En virtud del axioma (COl) se tiene a + a § b + + a y a + b e d + b. Puesto que b + a = 0 + b, la conclusi6n resulta del a x iorria (T). 0

9

(T) Si (a, b, 0) es una terna de nurrie r os reales tales que a ;§ b y b;§ 0, entonces a;§ c,

El orden e s t a ligado a las operaciones algebraic as mediante los axiomas siguientes:

(COl) Si a y b son dos ntime r os reales tales que a os; b, entonces a + a ;§ b + a para todo nume r o real c.

(C02) Si a y b son dos nrirn e r os reales tales que c s 0 y b "E 0, entonces abi"E O.

Un ntirn e r o real a tal que a "E 0 se llama un mirn e r o positivo, y un mi rrie r o a tal que a :§ 0 se llama negativo. Un nfirn e r-o real a tal que a > 0 se llama estrictarnente pos it iv o , y un mirn e r o a tal que a < 0 se llama estrictamente ne g at iv o,

De los axiomas enunciados se deducen todas las reglas sobre el uso de desigualdades. He aquf algunos ejemplos (veanse tambien los ejercicios 5 a 14).

Proposici6n 1. 3. Si a, b, 0 Y d son cuatiro numer>os »eal ee tales que a ;§ b Y c e d ; enioncee a + 0 ;§ b + d (es decir, se puede sumar desigualdades miembro a miembro).

Proposici6n 1.4. Si a ;§ b Y 0 "E 0, enboncen cc -c; be ,

Demostraci6n. Restando a de ambos lados de a :-; b se tiene o § b - a, luego de (C02) resulta O;§ (b-a)o = be - cc, Surnarido ao a ambos lados obtenemos Ia conclusion enunciada. <)

3) El cuerpo ordenado Res conole to en el siguiente s ent ido , Se dice que un conjunto A de numer~s r ea l e s es acotado super>ior>mente s i existe un mirne r o X E R tal que a ;§ x para todo a E A, Y en tal caso, x se llama eota super>ioY' de A. Asimismo, se dice que A es acotado infer>ior>mente s i existe y E R tal que y;§ a para todo a E A, y entonces y se llama cota infeY'ior> de A. Por definici6n, un conjunto es acotado s i 10 es ala vez superior e inferiormente.

Se dice que u es el elemento mayor del conjunto A, si u E A Y si

puede no tener elemento mayor

ej e r c , 15).

Se dice que V E A es el elemento rne no r de A si V :-; a para todo a E A. Es t a claro que un conjunto no puede tener mas de un elemento mayor y uno menor (d. ejerc. 5).

E1 extr-eno supe1'iOl', sup A, de un conjunto a c o ta do aup e r io r » mente es el elemento menor del conjunto de las cotas s upe r io r e s de A. En otras palabras, X = sup A si s e cumplen las condiciones siguientes:

(i) X"" a, para todo a, E A;

(ii) si II E R y adernas II "" a, cualquiera que sea a, E A, enton-

c e s Y;§Ex.

Si A tiene un elemento mayor, entonces este es e1 extremo superior de A. El exbrema inferior, inf A, de un conjunto acotado inferiormente es el elemento mayor del conjunto de las cotas inferiores de A. Cabe ahora enunciar e1 ultimo axtorna de los ntirne r os reales:

(Co) Todo conjunto no vac{o de niirne r os reales acotado superiormente tiene un ext r erno superior.

,..:.. 1.5

Todo coruiuntio no »ao-io A c R acotiado infe.

riol'mente tiene un extl'emo infel'ior.

10

Demostraci6n. Como es costumbre, denotaremos por -A el conjunto de los mirne r oe -a, donde a, r-e c o r-r-e A. Si A e s acotado inferiormente, -A es acotado superiormente, ya que y :§ a implica -a:§ -yo En virtud del axiom a (Co), elconjunto -A tiene unextremo superior X. Entonces-x es extremo inferior de A. En efecto, _a :§ X para todo a E A, implica -x:§ a para todo a E A; ad erna s , si Z :§ a para todo a, E A, entonces -Z"" -a para todo a, E A; luego, -z "" X Y z ~ -x. <>

L

',- ~o

oon.iuntio A C R si, Y solo si, se cumplen las gA.ientes:

.~' O~F~' ".

dos condiciones ei-

(i) x"" a, aualquiera que sea a E A;

(ii') si z E Res tal que z <x, eniionaee etcietie a EAtal quea > Z.

Demostraci6n. Hay que demostrar la equivalencia de (ii') y de la condici6n (ii) arriba.

(ii) => (ii'): Sea e < x , Si no existe a E A tal que Z < a, enton-

ces Z es cota superior de A, luego, por [i i}, tenemos que Z "" x, 10 que contradice la desigualdad Z < x ,

(ii') => (ii): Sea II una cota superior de A. Si fuera y<x, en virtud de (ii') existiri'a a E A tal que y < a" 10 que es imposible. As! se t ienc nec e s a r iarncnte j/ a x , <>

El cuerpo R de los nG.meros reales contiene, en particular, a los nG.meros naturales 0, 1, 2 = 1 + 1, 3 = 2 + 1, ••• ,71,,71, + 1, .••

Proposici6n 1.7. EZ eorciunto N de los numel'Os naturole .. no es aootado supe:t'iol'mente en R.

DemoBtraci6n. Si N fuera acotado superiormente, entonces por el axiom a (Co) t end r-Ia un extremo superior x. Puesto que o < t < 1, por Ia prop. 1. 6 e xi s t i r fa un mirne r o natural 71, tal que 71, > X - ~ y, por consiguiente, 71, + 1 > x + t > X. Como 71, + 1 es un niim e r o natural, esto contradice al hecho de que X es extrema superior de N. 0

Proposici6n 1.8, Dado dOB nUme:t'os real.ee a ~ 0 y b > 0 existe un nUme:t'o natu:t'aZ n tal que a ,:§ nb (axioma de Arqulmedes).

Demostraci6n. En el ca s o contrario se t e nd r Ia 71, < ab-l para todo 71, EN, en c ont r a d ic c i.on con La prop. 1. 7. 0

Terminarnos aquf este breve bosquejo de las propiedades de R.

En particular no se ha dicho nada acerca de Ia existencia de R, ni de si los a xiorna.s enurne r ad os caracterizan a Rde manera unfvoc a, Sobre esto y la d e rno s t r-ac i on detallada de las propiedades de las operaciones definidas en R vease La monografla del Profesor Cesar A. Trejo, publicada en esta colecci6n, 0 ellibro de Cohen y Ehrlich mencionado en la bibliograHa.

11

Ejercicioa

De rnues t r ens e las proposiciones siguientes:

1) El elemento 1 ER es unico.

2.) Cada a E R tiene un opuesto y solo uno.

3) Cada a E R diferente de cero, tiene un inverso y solo uno.

4) Si a f. 0, entonces la ec uac ion lineal ax + b = 0 tiene una sola s oluc ion x,

5) Si CZ ,:§ b y b,:§ a, entonces a = b.

6) SiCZ§by b<e, osia<by b§e, entonces cz <0.

7) Si a < b, entonces a + c < b + 0 para todo 0 E R.

8) Si a § bye < d, entonces a + o < b + d.

9) a> 0 s i, y solo s i, -a < O.

10) Si a § bye § 0, entonces be § cc ,

11) Si a < b yo> 0, entonces cc < boo

12) Si a < bye < 0, entonces be < cc ,

el: eon.iunto [a b] de iiodoe los niimeroe »eal.es x oue sati.qfaeen

13) 1 > 0 (utiHcese que 1 .1 = 1).

14) 0> 0 s i, y s610 s i, 0-1> O.

15) El conjunto de los rnirn e r o s reales estrictamente negativos es acotado s upe r i o z-m ent e , pero carece de elemento mayor.

Z. Vecindades; Conjuntos Abiertos y Cerrados

En e s ta se c ci Sn se de fi ni r an los primeros conceptos t opol og icos relativos a R. Los mime r os reales se llama ran ta rnb ien puntos de La recta real R.

Definicion Z. 1. Se Harm. interoalo abi.eirto a un cubooniiunt:o de R de uno de los cuat.ro tipos siguientes:

el con.funto ]a, b[ de todos los numepos peales x que satisfacen las desi qual-dadee a < x < b, donde a y I b son dos numepos »ealee dados tales que a < b;

el: oon.iurito ]a, ~L de todos los nUmepos reales x que satisfacen Za desiguaZdad x > a, donde a es un numepo real dado;

12

el: conjunto ]~, a[ de todos los nUmeros »eal.ee x que satisfacen La desigualdad x < a, donde a es un nUmero real dado;

toda l.a recta real R = ]-, -L

Definici6n Z. Z. se Harm inte1'Valo eerrado a un suboonfunto de R de uno de los tres tipos siguientes

las deei oualdadee a;§ x ;§ b, donde a y b son dos nUmel'Os reales dadoe tales que a ~ b;

el: aonjunto [a, -I de todos los nUmepos r-eal.ee x que satisfacen la desigualdad x ~ a, donde a es un numero real dado;

el. eonjunto ]~, a] de todos los nUmeros »eal-es x que satisfacen La desigualdad x;;:; a, donde a ee un nUmepo peal dado.

Definicion Z. 3. Sean a y b dos nUmeros »eal.ee tales que a < b.

Se Harm. interoalo abiexrto a La izquiepda y eeprado a la derecha al corujurito ]a b] de todos los x E R tales que a < x '" b. Se Ll-ana

interoalo eeppado a la izquiepda y abiepto a la depeeha alaonjunto [a, b[ de todos los x E R tales que a ~ x < b.

Los intervalos de los tipos ]a, be, [a, bJ, ]a, b] y [a, b[ se dicenfinitos. Los punt os a y b son los extremos del intervalo: a

el extreme izquierdo, y b el extremo derecho. El mirne r o b - a es la Zongi1;ud del intervalo.

Los intervalos de los tipos J-,a[, J-,aJ, Jb,-[, [b,-[, J-,-[ se dicen infinitos; a es el extremo derecho y b el extremo izquierdo del intervalo correspondiente.

'" ... ~ . .,

;junto V que cont iene un interoaZo abier-to I, el cual , a su vez., contiene ax.

Siempre se puede suponer que I es f irrit o, En efecto, si por ejemplo V contiene el intervalo Ja, -I y X E Ic, -[, sea b un rnirn e ; ro tal que b > x (tal rni m e r o existe en virtud de la prop. 1. 7)" Entonces V:::> Ja, b[ y X E Ic, be.

El punto 0 = ~ (a + b) se llama el punto medio del intervalo Ja,b[. Setieneb-c=o-a=t(b-a)=r, es decira =o-r, b= = 0 + r. Se dice ta.mb ie n que Ja, b[ = Jo - r, 0 + r[ es simet!'iao

con respecto a c.

Si V es una vecindad del punta x , entonces V contiene un intervalo abierto simetrico con respecto a x. En efecto, V contiene un intervalo Ja, b[ tal que X E jc , be. Sea c el menor de los dos nurn e r os estrictamente po s it ivos b c x y X -a. Entonces, V contiene a Jx - s, X + s[. En ot r a s palabras:

13

Proposici6n Z. 1. EZ aonjunto V es una »ec indad del: punt.o X E E R ei , y s6lo ei., exi.et:e un nUme!'o eetariot-ament:e positivo S tal que La aondiaion Ix - yl < c implica y E V.

Demostracion. Segun la t e o r Ia elemental de los valores absolutos, Ix- yl < € es equivalente a -€<x - y < s, 0 bien a X-E < < Y < X + E, 0 sea ayE Jx - E, X + e [. Luego la condici6n del teorema significa que V contiene el intervalo ]x-€, X + €[. <>

La p ropos ic ion siguiente resume aquellas propiedades de las vecindades que nos s e rvi ran en el capftulo 4 para definir el concepto abstracto de vecindad. Dado un punto X E R denotemos por 'V"(x) la co1ecci6n de todas las vecindades de x ,

Proposici6n Z. Z. (i) Si V E'V"(x) y U es un oorijunio que cont ione V eniioncee U E'V"(x).

(ii) sc U E'V"(x) y V E'V"(x), entonoee U n V E'V"(x).

(iii) Pam eada V E'V"(x) ee tiene X E v.

(iv) Para aada V E 'V"(x) existe W E 'V"(x) tal que pam todo yEW, el. aonjunto V es una uecindad de y.

Demostraci6n. (i) resulta de La definicion. Para demostrar (ii) s uponga s e que U contiene el intervalo Jx - 8, X + 8[ Y que V contiene e I intervalo ]x -11, X + 11[, donde E: > 0, 11 > O. Sea t;; e I rnerio r de los nfirne r o s 8 Y 11. Entonces U n V contiene ]x - C X +

+ C[.

(iii) es evidente. De rrio s t r-e rno s (iv). Si V E'V"{x), entonces V contiene un intervalo ]x - 8, X + E:[, Y basta torna r W ~ Jx - 8, X + + 8 [. 0

Definici6n Z. 5. Sea M un euboon.juntio de R. Un punbo a E R e8 punto interior de M 8i eciete una ueeindad V de a tal que V eM. Un punto b E R ee un punto exterior a M si existe una veeindad V de b tal que V n M ~ J6. Un punta c E R ee un pun to frontem de M ei: toda veoindad de c oontiene puntoe que per tenecen aMy puntoe que no perteneoen a M.

14

Ejemplo Z. 1. Sea I un intervalo fin ito con e xt r e rrro s a y b.

Entonces los puntos interiores de I son los que pertenecen al intervalo abierto Ja, be, los puntos frontera son a y by los puntos exteriores son los puntos X tales que x < a 0 x > b. La primera afi r mac ion resulta de ser ]a, b[ una vecindad de todos los puntos que contiene. Para demosfrar que, por eje mp lo , a es punto fronter a , suponga s e primero que b> a. En tal c a s o cada intervalo ]a - - 8, a + 8 [ contiene puntas X can X < a que no pertenecen a l intervalo I, y contiene puntos que satisfacen a a < X < b; es decir, que pertenecen a L Si ahora a ~ b, entonces I es el intervalo cerrado

Oil" ~olo e- ont+e ne "I -rrrrn t o a nor ('O"~ l e n i errt e c ad a 'i n t e r-v a Lo

]a _ €, a + €[ c ontiene a y t a rnb Hen puntos que no pertenecen a I. Finalmente, sea por ejernpl o X < a y e sc r ibarrros e ~ a -X. Entonces el intervalo ]x - €, X + e:[ es disjunto de I.

De 10 anterior resulta que I es abierto s i , y s610 s i, todos sus puntas son interiores, y que I es cerrado s i , y s610 s i , contiene sus puntos frontera.

De modo ana Iog o se puede ver que si I es, porejernplo,un intervalo infinito del tipo Ja, -[ 0 [a, -I, entonces los puntos X tales que x> a son interiores a I, los puntos X tales que X < a son exte-

,., ~, -'l. T

La propiedad caracterfstica de los intervalos abiertos explicada en el ejemplo anterior conduce a la definicion siguiente:

Definici6n Z. 6. Un subooruiurito A de Res abi.ert:o si cada punto de A es pun to inteY'ioY' deA.

La p r opo s ic i Sn siguiente enuncia las propiedades de los c onj un-, tos abiertos en R que pueden servir para definirlos en un espaeio topo16gico (eapftulo cuarto).

Proposici6n Z. 3. (i) EZ corujunto vacio y La recta real. R SOn coniiuntoe abiertioe,

(ii) Si A Y B son aon,iuntos abi.er-toe .• tambien A n B es un aonjunto abieY'to.

(iii) Si (Alh.1 es una _famiZia arbi.tirar-ta de aonjuntos abi-es-toe, tarribien U AI es un coruiurtto abier-to .

10 I

Demoat eac idn, (i) e s evidente. Sean A y B dos eonjuntos abiertos y sea X E A n B. Existe pues una vecindad U de xcontenida en A, y una vee indad V de X contenida en B. Por l a prop. 2.2.

,liT, eTeonjut'ITOV e s una ve c mciau de X, y se t ie ne u '- p

n B.

Finalmente, si los AI son abiertos yx E U AI, entoncesXperI 01

tenece a un conjunto AI' Luego existe una vecindad V de x tal que V CAl, Y con mas r az Sn V E U AI. 0

101

15

Definicion 2.7. EZ conjunto de iiodoe loe »untoe int"Y'iot'es de un corujuniio A C R se l.lama el: Lnt-er-ior de A y ~e denota pOl' A.

De la def. 2.5 y la prop. Z.2. (iii) resulta que A C A. Ade mas A = A s i, y solo s i , A es ab ie rt o,

Pr cpcs ic Icn Z. 4. st. intet'iot' A de cualou-ieo oorijuntio A ee abi"l'to.

Demostraci6n. Sea X un punta de A. Entonces e x'i.s te una vecindad V de x tal que V C A. En virtud de la prop. 2.2 (iv) existe una vecindad W de x tal que, para eada !t E W, el eonjunto V es una veeindad de!t. Puesto que V C A, resu1ta que eada !t E W pertenece a A, es decir, we A. 0

Proposici6n Z. 5. ttn oon.iunto V ,,8 veeindad del punbo x ei; y

solo si, aontiene un aonjunto abiet'to que, a su V"2, contiene ax.

Demostraci6n. Si V es una vecindad de x , entonces en virtud de Ia prop. 2. Z (iv) existe una vecindad W de X tal que, para eada

1/ E W, el conjunto V es unavecindad de 1/. Par consiguiente, we C Vy segun la prop. 2.4 el conjunto V es abierto.

Inv e r s a rn e nt e , auponga s e que V contiene el conjunto abierto

A tal que X E A. Entonces existe una vecindad U de X tal que U C A v , can mas r az on , U C V. En virtud de Ia prop. 2.2 (i), el conjunto V es una vecindad de x , <)

Proposici6n 2.6. El interior A de un oonjunio A es La reuniOn ,de todos los oon.junboe abiertos oontierridoe en A.

Demostracion. Sea B un conjunto abierto contenido en A, y sea X un punto de B. Entonces B es una v e.c irrda.d de x contenida en A, de manera que x E A y, por consiguiente, B C A, es decir, .1 con ... tiene todos los conjuntos abiertos contenidos en A.

Inversamente, sea x un punto de A. Entonces existe unavecindad V de x contenida en A, y por la prop. 2.5, existe un conjunto abierto B tal que x E B eVe A. Es to significa que A esU, contenido en la reunion de los conjuntos abiertos contenidos en A. <)

16

Definicion 2.8. Se dice que el: puritio Q; E R es adherent:e al: conjunto ~ C R si cada vecindad de Q; aontiene pOl' lo menos un punto de M,

Es claro que los puntos adherentes a M son los puntas interiorres de M y sus puntos frontera.

Definicion 2.9. El conjunto de todos los vuntos adherentes a un corujunbo ~ C R se llama la adhereruria (0' c;rradura) de ~, y se denotia por M. Un aonjunto FeR es aerrado si F = F.

En virtud de la prop. 2.2 (iii), s e tiene siempre M C M. Del ej e mpf o 2. 1 r-e s u lt a que un intervalo distinto de Res un intervalo cerrado s i, y s610 s i, es un conjunto c e r-r-a d.o ,

Proposicion 2.7. Si M ee un euboonfunto oual.ou iera de R, entonaes eM = ([~)o.

Demostraci6n. Un punta a E R pertenece a CM: s i , y solo si, es punta exterior de M, es decir, punto interior de C~. <)

ee abierto.

Demostracion. En virtud de 1a prop. 2.7, 1a r e Iac ion M = M es equivalente a C~ = ([~t. <)

PropoBicion 2,9, La adhereno-ia M de oualquier ooniiunbo M es un oon.iunto oerrado.

DemoBtracion. Se gun la prop. 2.7, se tiene eM = «M)O.

Ahora bien, en virtud de la prop. 2.4, el conjunto ((M)o es ab ie r t o; luego, en v i r-tu d de la prop. 2.8, el c onjunto IV!: es c e r r a d o , 0

Propoalci6n 2, 10, [,0. adheremoia M de un aoniiuniio M es La

interaeooion de todoa lOB oonjuntos oBrrario8 que oontienen a M.

De moat r ac Idn, Sea F un conjunto c e r r a.do que contiene a M, y sea x un punta adherente a M. Entonces X es, con IT1as r a.z on , adhe r-e nte a F y, po r consiguiente, X E F. De esta manera, IV!: e s t a contenido en Ia intersecci6n de 106 conjuntos cerrados que contienen aM.

Inversamente, sea x un punta no adherente a M. Entonces x es punto interior de eM Y, por 10 tanto, existe uria v e c irida d abierta (prop. 2.5) V de X tal que V n M = %. El conjunto F = tv e s cerrado (prop. 2.8), contienc aMy nocontiene ax. Esto demues-

t r a que la intersecci6n de los c onj urrto s cerrados que contienen a

M esta contenida en M, 0

Propoeici6n 2, II, (i) EZ corciuntio vacfo y la recta real. R 80n con,juntos cerrados.

17

(ii) Hi F 11 G s on ooniiuntoe cerrados, entonO<!lS F U Ges un OOnjunto (!"rrado.

(iii) Si (Fd\£J es una famiUa arbi trar-ia de conjuntos cerrados, enconoee Irl F\ ee un aonijunto cerrado.

Demoet rac ion, (i) es evidente. Se a .» un pu nto adherente a F U G. Entonces X es adherente a F, 0 10 es a G. En efecto, si existe una vecindad U de X tal que U n F = (6, y una vee indad V de x tal que V n G = 1'1, entonces U n V e s una vecindad de X(prop. 2.2 (ii)) que no contiene punto alguno de F U G, en cont r ad'ic c ion con X E F U G. Supongase, por eje rrrp l o, que X E F. Entonces x E F, puesto que F es c e r r a do, Con mas r a.z Sn X E F U G, 10 que prueba que F U G e s c e r r a do,

Finalmente si XeS adherente a \~1 F\, con mas r-a z ori 10 e s a c ada+F'[ , luego x E F\ para cada t E I, de donde x E I ~l Fl. 0

Ejercicios

1) Sea I un intervalo finito con extremo izquierdo a y extrema derecho b. De mue s t r e s e que a e s el extrema inferior y b el extrerno S upe r-io r- del eonjunto I.

l) Sean a y b dos puntos distintos de R. De rnue s t r e s e que existe una vecindad U de a y una v ec irida d V de b tales que U n V = fJ (axioma de Hausdorff).

3) Los puntos frontera de un conjunto A forman Ia irontera A* de A.

a) De.rnue at r e s e que A* = (CA)'~ para todo eonjunto A C R.

b) Dernue s t r es e qlle, c ua l.qu i e r a que sea el subconjunto A de R, se tiene R = J.. u A'~ U ([A) a , donde los t r e s co njunto s son disjuntos dos ados y ([A)Q es el c onj unt.o de los punt.os exteriores a A.

e) De rnue s t r e e e que A = i U A*.

4) Dernue s t r e.s e que un conjunto A C Res ab ie r-t o s i , y s610 s i, es vecindad de cada uno de sus puntos.

18

5) Se dice que el conjunto Ves vecindad del conjunto A si V contiene un conjunto a.b ie t-t o que a s u vez contiene a At De mue s t r e s e

que A e s ablerto 31, y solo si, es s u propia v ec inda.d,

6) De mue at r e s e que s i A C B, entonees II C B y A C B.

7) Sean A y B dos eonjuntos. De mues t r e s e que (A n B)O y AU B = A U B.

linE

8) Des e un ejemplo de dos conjuntos Ay B para loscuales (A U B)o 1-

1- A U B.

9) De rrrue s t r-e s e que eada veeindad de un punta X E R contiene una vecindad cerrada de X (regularidad).

10) Deznue st r e s e la prop, 2. II a partir de la prop. 2.3 mediante la prop. l.8 Y la formula de De Morgan.

c( U A0

tE I 'J

n CAt.

In

§ 3. Topologfa Relativa

Vamos ahara a definir los conceptos adoptados en la s c cc Ion anterior con respecto a toda Ia rectareal R tiarrib i en relativos a un

subconjunto X de R. La n ec e ai.dad de una definicion tal Be debe, entre otras razones, a que con frecuencia se hallan furic ion es que no e st an definidas en todo It, sino s610 en un subconjunto de R, COITIO, po r ejemplo, la fu nc i Sn x - IX que solo e s ta definida para valores de x pos itivos.

La t.e r-rn in ol og Ia que sigue e s de gran utilidad en esta s e c c Iori,

Sea X u.n e ubc onju nt c f ij o de R; dado ahora un subconjuntocualquiera A de R, se llama traza de A sobre X al coraj unt o A n X considerado como subconjunto de X.

Definici6n 3.1. Sea X un eubconjunio de It 11 x un mmto de X.

Un oon.iunt:o V C X se LLama una veeindad de x re latriva aX si existie una vem:ndad U de x en R taZ rPAe V sea La tl'aza de U sobr-e X.

Para X E X den6tese por 'V",(x) la c ol ec c idn de todas las vee indades de x relativas a X.

Proposici6n 3.1. (i) si V E'V",(x) y U es un subconiiuntio de X que eoniriene a V, entioncee UE'V".(x).

(ii) 8i U E'V".(x) y V E 'Ir,(x), entoncee U n V E'V",(x).

(iii) Para cada V E 'V",(x) se tiene X E V.

19

(iv) 'V"x X exi et:e una W

yEW al: oon.iunio V ee una o eaindad de

Demostraci6n. (i) Si V E'V",(x), entonces existe una vecindad V, de X en It tal que V'" V, n x. En virtud de 1a prop. 2.2 (i), el conjunto U, = U U V, es una vecindad de X en It, y puesto que U1 n n X = (U n X) U ( V1 n X) = U U V = U, se sigue que U E 'V",(x).

(ii) Si U E'V"x(x) y V E 'Ir,(x), entonees E'V"(x) tales que U = U1 n X v V = V1 n X. 2.2 (ii), setiene U1 n V1 E'Ir(x) y, por = (Ul n V1) n X E'V"x(x).

existen U1 E'V"(x) Y V1 E En virtud de la prop. eonsiguiente, U n V =

(iii) Si V E'V".(x), ent onc es existe V1 Ahora bien, X E V, en v i r-t ud de la prop. por definicion, se tiene x E V.

E'V"(x) tal que V = V1 n X. 2.2 (iii), y como X E X

(iv) Sea V E'V".(x), y sea V1 E'V"(x) tal que V = V1 n X. En virtud de la prop. 2.2 (iv), existe un W1 E'V"(x) tal que V1 E 'Ir(y) para todo y E Wl• Porigarnos W = W1 n X. Entonces W E'V"x(x) por definicion. Por ot r a parte, para todo II E W, e1 conjunto V = V1 n X es una v ec i.nda.d de y relativa a X. 0

Definicion 3.2. Sea X un euboon+unt.o fijo de R. se dice que el: punt-a a EXes punto intet'iol" del oorujurito A c; X l'eZativo a X ei existe una V E "If,(a) tat que V C A. EZ conjunto de todos los rJuneoe inteY'iot'8s de A l'elativos a Xse Tl ama el- Lnt-er-ior deArel;t?:vo a X y se denotia (A)~.

De la prop. 3.1 (iii) r e s u Ita que (A)~ C A para t od o conjunto AC X.

Definicion 3.3. Un subMnjunto A de X"'''' airier-to l'elativo a X si todos los puntos de A son puntos intel"iol'es de A re lat-ioos a X, es deoi» si A ~ (A)~.

PropoBici6n 3.2. Un auhcon,ilmto A de Xe.q abi.etrto »elatiivo a X si, y solo si, ee La braza Bob!'e X de un eubconijunto abiel"to de R.

20

Derno atz-ac l Sn, Sea A C X un conjunto abierto relativo a X.

Para cada a E A existe una vecindad V. E "U:,(a) tal que V. C A, y, desde luego, una v ec irida.d U. de a en R tal que V. ~ U, n x. Sea B La reunion de todos los conjuntos U.(a E A). Entonces e1 interior B de B es un e ubc onj unt o ab Ie r t o de R en virtud de La prop. 2.4. Si X E B n X, entonces X E B, y por consiguiente X pertenece a un conjunto V.; c orno t.a rnb ie n X EX, r e s u It a que X E U. n X ~ V. C A, es decir B n Xc A. Por otra parte, si a E A, entonces a E U. C B,

de donde resulta ue a E B' c orrio t a rnb i en a E . a 0

Inversamente, sea A ~ B n X, donde B es un s ub c onj urrto abierto de R. Para cada punto a E A existe U E 'Via) tal que U C B. Por tanto V ~ u n X E "lfda) y V C A. <>

Corolario. Para que todo suboorujuntio de X, abiB"to »elat-ioo

a X, (lea tarlihien un coniiuntio abies-to en R eS necesar-io y su.fieiente que X sea un suboon,7unto abie"to de R.

Demos tr ac lcn, La c ond ic i Sn es necesaria puesto que X ~ R n n X es un subconjunto abierto de X relativo a X. Inversamente, s i Xes abierto en ~, entonces para cada s ubc onjunto abierto B de R e I conjunto A ~ B n X es un subconjunto ab ie r t o de R (prop. 2..3

{i i l}, o

Pr opo e ic idn 3.3. (i) El. aonfunto vac{o y el. eon.juntio X son oonjuntos abier-toe l"elativo,q a X.

(ii) Si A Y B son dos coniiuntoe abier toe re~ativos a X, enton-: rJes A n B es un oon.iurito abi ertio reiaeivo a X.

(iii)', Si (AdHr eB una .familia arbitraria de eoniiunto» abieetoe »el.at.ivo« a X, eniionoee U At es ab-ientio relativo a X.

(€I

La dernoe t r ac i on es casi la rri i s rrra que la de La prop. 2.3, con Ia sola diferencia de que hay que utilizar vecindades relativas a X, y Ia prop. 3. 1 (ii), en vez de la prop. 2.2 (ii).

Proposicion 3.4. EZ interior (A)~ l"elativo a X de oual.qu-ie» conjunto A c: X ee abierto rel.at ivo aX.

Misrna dernostraci6n qlle la de la prop. 2.4 ut i'l i.z a ndo vecindades relativas y Ia prop. 3.1 (iv), en vez de la prop. 2.2 (iv).

Proposici6n 3.5. Un aonjunto V eXes una vea7:ndad deZ punta x E X ,reZativa a X si_. y solo ei , V eontriene un aonjunto abieirto rel.at ivo a X que aontiene aX.

Esto resulta de las proposiciones 3.1 y 3.4, exactamente corrro la prop. 2.5 result6 de las proposiciones 2.2 y 2.4.

Proposicion 3.6. El inteFioT' (A)~ re lat ivo a X de un ooniiurito A c: X ee l.a re7.mi6n de tiodoe los coniiuntoe abiertoe Felativos a X contiewido s en A.

21

relativas y la prop. 3.5, en vez de la prop. 2.5.

Definici6n 3.4. Un punta a EXes adheneritie al: aonjunto M c: X peZativo a X si i.oda ueeindnd V E 7rx(a) oonti iene poP lo meno.o, un vunto de M. EZ aonjunto de todos Zos puntas adherentes a ~ reZativos a X' forman la adhereneia de M ;elativa a X, La (!UaZ ee denota POF (~)X.

De la prop. 3. 1 (iii) resulta que M C (~lx para todo conjunto M c: X.

Definicion 3.5. Un eubconjunto F eXes CB:rrado re lat ivo a X si contiene todoa Zos puntos adhe:rentea :relativo8 a X, ea decir si F = (Fl;.

Proposici6n 3,7. Iln. subcon,iunto F de X es "ePrado r-el.ai.ivo a X 8i, Y soZo ei , es La traza eobre X de un euboonijuntio oetrrado de R.

Demostraci6n. Sea F c: X un conjunto cerrado relativo a X.

La adherencia F de Fen Res un s ubc onjunt o cerrado de R en virtud de la prop. 2.9. Sea x u n punto de F n X, y sea V Una vee in dad

Pl'oposiCion 3.9. (i) E1. aonjunto cOnjUnt06 ae1'1'O;do8 1'e lativos a X.

..

vaa-z-o y

e 1. oondunto X son

de X relativa a X. Existe una vecindad U de X en It tal que V '" U n n X, y la condici6n X E F implica que U nFt!~. Puesto que Fe X, se tiene V n F" ri. POl' consiguiente X E (F); '" F, es decir, if' n n X C F. Por otra parte, e s evidente que Fe F n X, y de esta manera queda demostrado que F '" F n x.

Inversamente, suponga s e que F '" D n X, donde D e a un s ub c on , junto cerrado de It, y sea X un punto de X adherente a F r-e La t i'vo a X. Entonces con mas raz6n x e s adherente a Den R, y por' 10 tanto xED, ya que D ee c e r r a d o, De tal manera xED n X'" F, 10 que de rrrue s t r a que F es cerrado relativo a X. <>

Co eol.a r io, Para que todo euboondurito de X, oerrado 1'elativo a X, sea tarribien un eoniunto C!e1'1'ado en It es neaesaPio y sufiaiente que X sea un subconiiunbo cerrado de R.

Demostracion. La eondici6n es necesaria puesto que X'" R nx es un subconjunto cerrado relativo a X de X. Inversamente, si X es eerrado en R, entonees para eada subc onjunto eerrado D de It el conjunto F'" D n X es un s ubc onjunt o c e r r a.do de R (prop. 2.11 (iii». <>

22

Pl'opoaicion 3.8. Un ooruiunto M eXes ae1'Pado »elatrioo a X ec, y 86lo ei, CxM es airier-to »elatrivo a X.

Demoetraci6n. Si M es eerrado relativo a X, entonees M '"

D n X, donde D e s c e r r a.do en It (prop. 3.7). Luego CD '" A e s abierto en It, y par 10 tanto CxM '" A n X es abierto relativo a X (prop. 3.2). Inversamente, si CxM e s abierto relativo a X, entonc e s CxM '" A n X, donde A e s abierto en R (prop. 3.2). Luego CA '" '" Dee cerrado en It (prop. 2.8), Y pOl' 10 tanto M '" C~(C.M) '" D n X es cerrado relativo a X (prop. 3.7). <>

(ii) sc F y G son doe ooniuntos t!e1'1'ados 1'etativo8 a X, enton"ee F U G e8 un ooniiuntia ae:r>:r>ado relat-ioo a X.

(iii) se (Fdul es una famiZia a1'bit1'a1'ia de coruiunto« cerradae relat.iooe a x, entioncee n Ft es un eoruiunt.o ae:r>:r>ado »elat-ioo a X. <q

Esto resulta inmediatamente de las proposiciones 2. 11 Y 3.7.

Dejamos los detalles al lector.

Ejercicios

I) De mue s t r e s e que si XC Y, (A)~:::l (A)~ para todoconjunto A C ex.

2) De s e la demostraci6n completa de las proposiciones 3.3 a 3.6.

3) Dese 1a demostraci6n detallada de Ia prop. 3.9.

4) De rnu e s t r e s e que para cada subeonjunto M de X se t i.erie (M)~ = = 1\1 n X (utilfeese elmetodode dernostraci6n de laprop. 3.7). En particular (M); es cerrado relativo a X cualquiera que sea e I eonjunto Me X.

5) Deflnase los puntos frontera y los puntas exteriores relativos a X de un eonjunto M C x.

6) Enunciese y d e rnu e s t r es e las analog as de las proposiciones 2.7 y 2. 10 relativas a un eonjunto Xc R.

7) De rnue s t r e s e que cada subeonjunto de N c: R es abierto y eerrado relativo aN.

§ 4. Sucesiones Convergentes

Una s uc e s ion de mirn e r oe r eal e s es una funci6n que a cada numero natural 7! EN asigna un nurn e r o real x. E R.. En v e z de la notaci6n 7! - x., es eostumbre eseribir (x.)n~N 0 simplemente (x.).

Se dice que una s uc e s i Sn (.t'n) es cree i ent e s i Xn ;§ xn+1 para cada 7! EN. 5i para todo ri EN se tiene x. < X.H, Be dice que la sucecion (x.l es estrietarnente c r ec ie nte , Del rnismo modo, s e dice que (x. ) e s deere ciente s i Xn ;,; x. + 1 para todo 7! E N, y estrictamente decreciente s i xn > Xn +1 c ua Iqu-ie r-a que sea n EN.

23

La sueesi6n (YkheN s e llama una s ub s uc e.s ion de Ia s uc e s ion {Xn)nEN si existe una sucesi6n Bstrictamente creciente de ntirn e r o s naturales (7!kh~N tal que Yk = x'k para todo kEN. En tal c as c, la suc e s iorn (lit! s e s ue l e eseribir (X.)1ciN 0, s i.rnp l e me nt e (x • .>.

Definici6n 4. 1. Sea (xn) una euce8ion de numeroa »eatee, Se dice que (x.)convel'!jS 0 tiende hao ia e~ nUlml'O x E R, 0 que x ee el. limite de (x.), ei. para cada MUmero estrictamente poeitivo E 8e puede elegi:zt un nUmero entero p08itivQ N=N(e)taZ quelx-x.1 ~ E, pam todo ente:zto 7! que 8atiefaga La oondioidn 7! i: N{E).

Se expresa que x es el lfmite de Ia suces ion (x.) por X = lim x.. Se dice que una sucesi6n (x.) es convergente, 0 que n-=

converge, si existe un punto x E R haeia el eual couverge,

Propoeici6n 4. 1. La Bw:eBion {xn} conva:ztge hacia x 8i, y s6l.o ai, para oada veeindad V de x e:ciate un nUlmro enbero positivo N{V) tal que Xn E V cual.quiem que sea 7! ;;,; N(V).

Demostraci6n, Sup6ngase que (xn) tiende ha.c ia x , y sea V una vecindad de x. En v i r t ud de la prop. 2.1, existe un nurrae r c estrictamente pas itivo e, tal que Ix - y I < e implica y E V. Sea N(~) E ENtal que Ix -Xn I ,,~ para 1'1 ~ N(t). Tomando N(V) = N(i), se tiene xn E V para cualquier 1'1 ~ N(V).

Inversamente, supongase que para cada vecindad V de x existe N(V) ENtal que xn E V para n. ~ N(V), y sea e un m'irrre r-o e a t r ic ; tamente positivo. Entonces V = [x-e, X +~] es unavecindad dex, y t.orrra ndo N(e) = N(V), Be t i e ne X E V, e s de c i r Ix -x. I ;; e, para n ~ N(~). Par consiguiente (Xn) converge hacia », (I

Proposici6n 4, Z. st punto a E R B8 adherent:e al: coruiuntio Me c: R 8i, Y solo ei , exi.st:e una suassion (xn) de puntos x. E M au.yo l{rrrite ea a.

24

Demostraci6n, Supongase que a es adherente a M. Entonces para t odo n E N, el intervalo [a - n ~ l' a + TO.!. 1 ] es una vecindad de a, y por 10 tanto contiene un punta xn E M [d ef , 2.8). Dado un mirn e r o estrictamente po s it ivo E: existe un entero positivo N(e) tal que [N!e) + 1 r- ,,€ (prop. 1. 1). Luego, para 11, ~ N(e) e e tiene la -x. I ;;; nh ;;; N(e-f+I ;;; e , es decir, (xn) tiende hacia a.

Inv e r s a.rn e nt e , sup6nga:se que existe una s uc e s i on (xn,) de pun_ tos de M que tiende hacia a. Dada una vecindad V de a, e xi s t e , en virtud de Ia prop. 4. 1, u n x. E M que pertenece a V. POl' 10 tanto a es adherente a M (de£. 2,8), 0

Una funcion f definida en un conjunto cualquiera X y con valores en e l conjunto de los ntime i-os reales R se dice acotada superiormente si existe un nume r o d E R tal que fIX> ;§ d para todo » E EX, e s decir, si el conjunto (f(x) Ix E XJ e s acotado s up e r i or-rne n., te, En particular, una s uc e s i Sn de rnirnc r os reales (x.) es acotada superiormente si existe d E R tal que Xn ;; d para todo n E N. De manera semejante, una funci6n f es acotada inferiorrnente s i existe c E R tal que I{x) ~ c para to do x E X. Si una func ISn es acotada superior e inferiormente s e dice que es acotada.

Teorema 4. I, 7bda euoeeion. orec-iente y acatada supsriol'mente ss aonvergente.

Demostraci6n. Si (x.> es una s uc e a i.Sn acotada superiormente, e nt onc e s , en virtud del a x'io.rna (Co), el conjunto lx.ln EN} tiene un e xt r e rno superior x , Dado € ;> 0, en virtud de Ia prop. 1. 6, existe un elemento x" tal que x - € < XN• Si, adernas , Ia a uc e s i Sn

Teorema 4.2. 2bda 8uae8ion de Cauchy de numel'os 1'ea1.e8 es oonuer oeniie,

25

e s c r e cde nte , te ne rno s x-€: < xN ~Xn ~ X para n ~ N. Por consiguiente, Ix - Xn I '§ g para n.;;, N, es decir, (xn) converge hacia x, <>

Sea (xu) una sucesi6n de rnirne r os r e a.l e s que converge hacia el ntirn e r-o x , Dado e > 0, existe N(1) tal que Ix - xn I '" ~ para n iO ;;, N(2). En virtud de una propiedad bien conocida de los valores absolutos {de s ig ua'l da d del triangUIOr vease cap. segundo, § 1) tenemos IXn - x.1 ;§ Ix - x.1 + Ix - x, "1 + 7 = e para 11" m ;;; N(l)' Esto conduce a la definicion siguiente:

Definicion 4.2. Una eueeeion (xn) de nUm?l"OS »eal.ee ee Harm una Bucesion de Cauchy, ai paPa cada numero estrictamente positivo s se puede hal.La» un nUtrel'O entiero positivo N(€:) 'tal que Ix. - - x.1 "", para toda pareja (n,m) de nUmel"Os enberoe que m<l1pZan ~as condiciones 1'15; N(€) y m;;; N(e:).

Can esta terminologfa se puede d ec i r que toda sucesi6nconvergente e s una sucesi6n de Cauchy. Es propiedad fundamental del conjunto de los ntirne r os r e a l e s que la iriv e r s a de esta afirrnaci6n es cierta ta rnb i.e n:

Demoetrad6n. En p r irn e r Iuga r , una s uc e s Lon de Cauchy (xn) es acotada. En eiecto, t orne rno s el mirrre r o e de la definicion 4. Z igual a uno, y sea N e I entero correspondiente. Entonces tenemos IXN - xn I " 1, e s decir x. - I ~ X. ;§ xN + 1, para n;;; N. Llamando ballnayor de los nurne r o s "'0' Xl, ... ,XN _ 1, XN + 1 Y aalrnenor de los mirne r o s xo, Xl, ••• , XN-1, XN - I, s e tiene a ~ XI!. :f bpara cada n EN.

Con mas raz6n es acotada c ada subsucesi6n de (x.). Para cada n EN sea Y. = inflx.lm '" I'll. La sucesi6n (Y.) e s obviamente c r e-. c i e nt e , Adernas , (Y.) es acotada superiormente ya que cualquier c cta superior de la s uc e s i on (Je.) e s t a mb i e n cota superior de (Y.), En virtud del teorerna 4. 1, la sucesi6n (Y.) converge h ac ia un mi ; mero C E R. Dado € > 0, e xi.s t e un mirne r o entero Nl il; 0 tal que 10 - Y. I " 1 para n ~ N1. POl' ot r a parte, se puede hallar un numero entero N,.;;; 0 tal que IXn - x.1 ;0 '1para n,m;: N a. Sea N el mayor de los dos ntirn e r o s N, y N:a. En v rr-tud de la definici6n de liN, existe un elemento x., can m '" N, tal que liN ;§ X. ~ liN + f. Lue » go, para 1'1 '" N, Be tiene

n_~< 21':", -l#<_-xn"'_~.+_§_< +2"", +

v - = YN - T - x':' ~ 3 = liN 3' - (l s,

es decir Ie - x.1 ;; c , 10 qlle demuestra que (x.) tiende hac ia c. 0

Obaervaci6n 4. 1. En la definicion del cuerpo de los n drrie r os reales RIa propiedad expresada en el teorema 4.2, junto con e1 axioma de Arqufmedes (prop. 1. 8), puede reemplazar e1 axioma (Co). Sea, en efect o, K un cuerpo totalmente ordenado, es decir, sup6ngase que s e cumplen los a.xforria s (CI)-(C9), (T) Y (COI)(C02). Supongase, ade mas , que 1a prop. 1.8 Y el teorema 4.2 son ciertos en K, y demostremos que entonces s e cumple el enunciado del axiom.a. (Co).

En primer Lug a r-, se tiene 2' ~ n para todo n EN, y par 10 tanto, cualquiera que sea el ntirrre r o G > 0, existe un n ENtal que

2• > 1 d' I <;

=€, es eClrZIl, =12.

Sean ahara A un conjunto no va cfo y acotado s upe r io r rne nte de mirne r-o e r ea Ie s , Xo un elemento de A e Yo una cota superior de A. Definirnos por i.nd uc c io n c ornp le ta dOB sucesiones (x.) e (Yn) de rnirrie r o s reales de Ia manera siguiente:supongase queparaciertanE Nya s e han definido x. ell,; s i i(Xn + 11.) e e eota superior de A, se pone xc+> = x" Y.H = f(Xn + Y.), y si t(Xn + Yn} no es cota superior de A, se pone X.+l = f(x. + Y.}, 1I.+l = Y.. Dado un mirne r o entero eualquiera N;;; 0, para todo n ~ N los punt os x. e y. e st an contenidos en el 'int e r va.Io (XN, liN] euya longitud es YN - XN = ? (y, - xo). Po r

consiguiente, para n;; N y m;,; N tenemos Ix. - x.1 :§ iN(Y. - xol, I Y. - y.1 ,,;; irr(yo - xol y Ix. - y.1 ;§ i-(yo - X,). En virtud de la observaci6n hecha al principio de la dern.ostraci6n, (x,) e (y,) son sueesiones de Cauchy que, en virtud de la hip6tesis, tienen Hmites X e y, respectivamente. Pero X = Y, ya que dado" > 0 existen Xu e II. tales que Ix - x.1 :::oi, Iy - 11.1 ;;:;t, lx, - y.1 :§! Y, de.s de l ue g o, Ix - y I ;§ c , de donde resulta que Ix - Y I = 0, es dec ir X =

Y.

Partiendo de Ia prop. 1. 6 (que es independiente del axioma (Co)), demostremos ahara que e I nurne r o X a s I enc o nt r-a do es extrema superior de A.

(i) x ;; 0; para todo 0; E A. En efecto, E A tal que 0; > x, y sea;; = i(o; - x) > O. mento y. tal que Yn :§ X + e = f(x + 0;) < 0;, que cada II. es cota superior de A.

s upo nga s e que existe 0; E Existe entonees un ele- 10 que es imposible ya

(iiI) Sea z < x y pongarnos € = X -~. Existe entonees un elemento xn tal que xn ;; X - E = Z. Puesto que ningun elemento xn es eota superior de A, existe 0; E A tal que a. > Xno Y can mas r az on 0; > Z. 0

Terminernos esta secci6n con unconcepto de gran importancia en las aplicaciones de la topo l ogfa al ana l is ls ,

Definici6n 4. J. Sea X un subcorujuntio de R. Se dice que el: subconjunto Y de X e8 den80 en X ei. Za adhel'encia (Y); de Y l'eZativa a X ee i!1'aZ zz X,

Proposicion 4.3. Sea X un eubconiiuntio de R e Y un subconjunto de X. Las condiciones que 8iguen 80n equivaZentes;

(a) Y es denso en X.

(b) CuaZquiem que sea el: puniio x E X, pam cada vecindad V de x l'elativa aX se tiene V n y ~ 1'1.

(c) Pam cada eubcondunto no vac{o A de X, y abiel'to relaeiuo a X, ee tiene Any I- p.

Demostrac1on. La condici6n (Y); = X s"ignifica que cada punto X EXes adherente a Y (def. 3. 4), es dec i r , que ca da vee indad V E E 'ir,(X) contiene por 10 menos un punto de Y [d ef; 3.4). Esto dernue s t r a la e qu iv a l errc ia de (a) y (b).

Suponga s e ahara que Be cumple (b), y sea A I- ¢ un c onjunto abierto relativo a X. Para cada x E A, existe una V E 'irx(X) tal que V c: A (def. 3.2 Y 3.3). Par h ipot e s Is s e tiene V n y 'I 1'1, y con mas raz6n Any f 1'1.

Finalmente, sup6ngase que s e cumple (e). Sea X un punta de X y V una vecindad de x r e Ia ti.va a X. En virtud de la prop. 3.5, existe un conjunto A abierto relativo a X contenido en V y que contiene X. Po r- hip6tes is, s e tiene Any i ¢ y con mas raz6n V n Y l-

I- fl. 0

'Z7

Proposici6n 4.4. Sea X un subaonjunto de R. Un euboonduniio

Y de X ee den80 en X ei , y soZo ei , la adherenaia Y de Y en R aontiene a X.

Demostraci6n. Si (Y); = X Y x E X, entonces para cada V E E '!'x(x) se tiene V n yip (prop. 4.3). Sea U una vecindad de X en R tal que X E V c: y (def. 3. I). Entonces con mas raz6n U n Y f ¢, y por 10 tanto X E y. Puesto que X Eu e tornado como un punta arbit r-a r io de X, s e tiene XC: Y.

Inversamente, sea XC Y, X un punta de X y V una vecindad de x relativa a X. Desde luego, po r La d ef , 3. 1 existe una vecindad U de x en R tal que V = U n x. Par h ipot e s i s existe un punto II E Y tal que y E U (def, 2.8 Y 2.9) y pue s t o que Y c: X, 5e tiene y E Y n n U c Y n X n U c: y n V, es decir Y n V no esvacfo y par 10 tanto Y e s dense en X (prop. 4. 3). 0

Proposici6n 4.5. Sea X un Bubaonjunto de R. Un Bubconjunto

Y de X es deneo en X ei , y soZo ei., paPa aada X E X e:dste una sucesion (Y.) de puntoe de Y que aonvel'ge hacia x ,

Dernoatraci6n. Si Y e s d e n s o en X, en virtud de Ia prop. 4.4 todo punto X EXes adherente a Y; Iuego, por Ia prop. 4.2., existe una sucesi6n (Yn) de puntos de Y que converge hacia x, Inversamente, si para cada o: EX existe una s uc e s i on de puntas de Y que converge hac Ia ,», ent onc es po r la prop. 4.2 se tiene X C Y, y entonces Y es denso en X, en virtud de Ia prop. 4.4. 0

Ejernplo 4. 1. EI conjunto Q de los mirne r os racionales es denso en el conjunto de num e r os reales R. En efeeto, dado € > 0, existe un niimero entero n. > ° tal que k < € (prop. 1. 8). Para cualquier X E R e xi st e UTI rni me r o m E Z tal que m - 1 < n.x ~ my, pOl' Iotanto,R-1r<x~lJt. De e.quf o-e s u lta que Ix-1ft1 <k < e , 10 que irnplica Ia afirmaci6n en virtud de Ia prop. 2.. I Y de Ia prop. 4.3.

Ejercieios

I) De rnue st r e s e que toda sucesi6n convergente es acotada.

2) De mu e stres e que toda suces i6n dec rec iente y acotada inferiormente es convergente.

28

3) De mu e st r e s e que una e uc e s i Sn no pue de c orrve r g e r hacia mas de un punt o , (Utilfceae Ia prop. 4. I Y el eje r c ic io 2.2).

4) Sea (x.) una sueesi6n que converge h ac ia :x: e (Yn) una sucesi6n

que converge hacia y.

a) De rriu e s t r-e a e que La sucesi6n (xn + Y.) converge hacia X + y.

b) De rnue s t r e s e que La sucesi6n (--"'n) converge hacia -X.

c) De rnue at r e s e que Ia sucesi6n (x.Yn) converge hacia xy.

d) Dernue s t r es e que si x '" 0, entonees s6Io pueden ser igual a Cera un nri me r o finito de terrninos xli., Y que, poniendo ZfI_ = X;l, s i Xn = ° y dando un valor cualquiera a zn s i xn = 0, Ia sucesi6n (z.) converge hac ia x-1•

5) Sea (J,,) una sucesi6n de intervalos finitos tales que 1. ::::l J,,+1 para todo n. E N, y cuya longitud tiende a c e r o , De mue s t r e s e que existe un punto y s610 uno que pertenece a todos los J".

6) De dtizc a s e la proposici6n 4.4 del eje r c ic io 3,4.

7) De rriu e s t r e s e que el C onjunto Q,.de los ntirn e r os rac ionales pos itivos e s dens a en ei conjunto R. de los nfi rn c r-oa reales positivos.

8) EI punto X E R s e llama punto de acumulaci6n (0 valor de adherencia) de la sucesi6n (X.) s i para c ada. vecindad V de X y para cada mirne r o entero positivo n existe un mirne r o entero m 5: n tal

que x. E V. Dernue s t r e s e que X es punto de acumulaci6n de (xn) s I, y s6lo s i, existe una subsucesi6n de (xn) que converge hacia x ,

§ 5. Funciones ContinLlas

Como ya he mo s dicho al prine ip io de e e te capitulo, La t opo'l o-. gfa e s el estudio del concepto de la continuidad. Por 10 tanto, la noci6n de funci6n continua tiene uri papel fundamental en este estu ..... dio. Entre las definiciones posibles se e sc og e aquHla que parece mas seneilla y que mas 5e presta a s e r generalizada.

Definicion 5. 1. Sea f una funcion definida en urt eubcondurito X de R y COrt va1.opes en R. Se dioe que f es continua en el: punto x E X si para oual.qu ier nee indad W de !(x), el: ooruiunio r'(W) es

una vecindad de x reZativa aX. .

Proposici6n 5. 1. Sea X un subconiiuniio de R y x un punto de X.

Una funcion i : X - Res continua en el: puntio x si, y soZo si, para cada vecindad W de f(x) e:dste una veaindad V de x r-elat-iva a X tal que f(V) C W.

Demostraci6n. Si I e s continua en x, entonces para cada vecindad W de f(x) el eonjunto V = r'(W) e s una veeindad de X relat iva a X, Y s e tiene I(V) C w.

29

Inversamente, si W es una veeindad de t(x) y V una vecindad de X r e l a t iv a a X tal que t(V) C W, entonces r'(W) contienea V v , por la prop. 3.1 (i), es una vecindad de x relativa a X. 0

Vamos a rno s t r a r a ho r a que la anterior definici6n de funci6n continua e s equivalente a la que s e suele dar en los textos de c a.lc ul o ,

Proposici6n 5. Z. Sea X un subaonjunto de R y x un punto de

X. Una fimaion f: X - R ee continua en e1. punto x si, y s5lo si, pewa cada e > 0 edste 0 :> 0 tal que de las aondiaiones Ix - yl < < 6 eyE X se sigue I t (xl - f( yl I < c ,

Demoetracion. Sup6ngase primero que f es continua en x y sea E > O. El intervale Jf(x) - 8, !(x) + €[ es una ve c inda.d de f(x), luego por la prop. 5.1 y la def , 3.1 existe una veeindad U de x en R tal que II E U n X irnplica tty) E Ji(x) - E, f(x) + 8[. En virtud de laprop. 2.1, existe 6:> 0 tal que lacondici6n Ix-YI < 6 impliea II E U, y por 10 tanto las condiciones Ix - !II < (, eyE X irnpliean I!(xl - tty) 1< c ,

Inve r s arrierrte , sup6ngase que s e c urrrpl.e Ia condie i6n de la proposicion, y sea W una vecindad de t(x). Envirtud de Ia pr op, 2.1,

existe € > 0 tal que I [(x) - z I < c implica z E W. Por hip6tes is, existe (, > 0 tal que para todo 11 E X que verifica Ix - yl < <5 se tiene I/(x) - fey) 1< €, es decir /(y) E W. Lu e g o V = Jx - 6, x + 6[ n n X e s una vecindad de x relativa a X tal que f(V) C W. De la prop. 5. 1 resulta pue s que f es continua en x , <>

Proposici6n 5.3. Sea X un euboonfuntio de R y x un punbo de

X. Una ;!unci6n f: X ~ R ee oontinua en el: punzo x e i , y soZo ei., paPa oada suae8ion (x,) de puntos Xn E X que eonuer oe haeia x , La suaeeion (f(x,)) COnVel"ge haeia I(x).

Demostraci6n. Supongamos que I es continua en x ; y sea (x,) una sucesi6n de puntos de X que converge hacia X. Dada una vecindad W de fix), existe una vecindad U dex en R tal que I(u n X) C C W (prop. 5. I). En virtud de la prop. 4. I, e xi s t e un rnirn c r o entero po s it iv o N tal que x. E U para n ~ N. Por consiguiente, fix,) E E W para 7l '" N, e s decir (f(x.)) converge hacia I(x).

30

Ahara sup6ngase que I no es continua en el punto x , Entonees existe una veeindad W de I(x) tal que para n inguna v ec i'nd ad V de X relativa a X se t i ene I(V) C W. Para eada n EN sea x, un punta de X que pertenec e al intervalo [x - ni-l ' » + rri:J. ] y tal que

I(x,) no pertenece a W. Dado un mime r o c > 0 existe un entero pos itivo N(;;) tal que [N(.:) + 1 r- ::§ c (prop. 1.7) y, por 10 tanto, Ix - x. I ::§ 7l l1 ::§ N(E:: + I=:; e para 7l '" N(€), e s deeir (xn) tiende hac ia x. Por otra parte, esta claro que (f(x,)) no tiende haeia I(x). 0

Observaci6n 5.1. Ob s e rv e s e desde ahora que, en l a demost r ac ion de las proposiciones 4.2 Y 5,3 se h iz o uso rnuy e s enc ia l de la existeneia de una sucesi6n de veeindades particulares (Un), a saber, los intervalos [a -nh, a +nt,], tales que c a da vecin-

dad del punt o a contiene por 10 rne no s una veeindad Un. En el capltulo c ua r-t o se da r-ari ejemplos de espacios topo16gicos donde tal sueesi6n (Un) no existe. Esta claro que en estos espacios, el coneepto de sucesiones eonvergentes sera de poco valor. Esta es la raz6n porque s e da a las s uc e s ione s un pa pe I seeundario y s e destaea mas el u s o de vecindades.

Proposicion 5.4. Sean X e Y dOB eubconduntoe de R, sea I una ;!uncian definida en X "on valores en R tal que f(X) C Y, Y sea g una ;!unoion definida en Y con lJalol"ell en R. Si I e8 continua en x E X Y r? es continua en f (xl E Y, entonoee g 0 f es 001'1- t inua en x.

Demostraci6n. S; W es una veeindaddeg(f(x»),entoncesg-1(W) eo una veeindad de fix) relativa a Y, es deeir, iI-l(W) = V n y,

donde V es una vecindad de fIx) en R (def. 3.1). Ahora r'(v) es una vecindad de x relativa a X, y par otra parte, «(I. f)-leW) = = rl«(I-l(W» = rl(V n Y) = r'{v) n r'(Y) = r'{v) n X = r'{V). c

Definicion 5.l. Sea f una /unci-6n definida en un euboonfuntio X de R y "on valoree en R. Se dice que f ee continua, ° que f ee aont-inua sabre X, si ee continua en cada punbo de X.

Propo8icion 5.5. Sea f una ftJ.YI(JiOn definida en un euboonijunto X de R, (JOn valO2'ee en R. Las sig.4ientes eondi.cionee eon equ-iua« ~entes:

(al f ee oont inua,

(b) Para eada aonjunto abiertio A en R el: conijuntio r'(Al 2S abiel'to retativo a X.

(c) Para cada (Jonjunto ce1'l'ado F en R et conjunto r'(F) es a8l'l'ado l'etatitlo a X.

Demoatraci6n. Sup6ngase primero que I es continua. Sea A un conjunto abierto de R y s e a x unpunto de l-l(A). Existe una v e ; cindad W de I(x) eontenida en A (def. 2.5 y 2.6) y, por hip6tesis, r'( W) es una veeindad de x relativa a X (def , 5. 1.). Puesto que r'(W) c:: r'(A) resulta que r'(A) e s abierto relativo a X (def. 3. Z

31

Inversamente, sup6ngase que s e eumple la condiei6n (b). Sea X un punto de X y W una vecindad de f(x). En virtud de la prop. 2.5, existe un eonjunto abierto A tal que fIx) E A c:: W. Por h i'po-, t e s i s , el eonjunto j-l(A) e s abierto r-e l at ivo a X y puesto que X E E r'(A) c r'(W), de la prop. 3.5 resulta que r'(W) e s una vecindad de x r e Ia ti va a X. Queda as f demostrada la equivalencia de (a) y (b).

Ahora sup6ngase que se cumple (b), y. sea Funconjunto cerrado en R. Entonees A = (F e s un conjunto abierto en R (prop, 2.8), y por hip6tesis, j-l(A) e s un conjunto abierto relativo a X. Pero (,rl(F) = r'<CF) = r'CA), yen consecuencia el eonjunto r'(F) es cerrado relativo a X en virtud de 1a prop. 3.8.

Finalmente, s uponga s e que se cumple (e), y sea A un conjunto abierto de R. Entonces F = (A es un eonjunto c e r r ad o en R (prop. 2.8) y por hipotesis r'(F) es un conjunto eerrado relativo a X. Puesto que rl(A) = r'<CF) = c.r'(F), en virtud de 1a prop. 3.8, el conjunto r'(A) es abierto re1ativo a X. 0

Corolario. Sea f una funcion definida en un eubconiiuniio X de R, con valores en R. [, a8 eig.4ientes condic-ionee son equivalentes:

(a) I es continua.

(b') Paro cada nUmero peal a, los oonhmtoe [x E Xlf(x) < a] y {x E X I I (x) > aJ son abi.esrioe l'e lat-iooe a X.

(e') Pal'a cada nUrreI'o real: a, los ooniiunbos (x E XII(x) ;§ aJ y (x E X I fIx) ;; c ] son cel'rados l'eZativos a X.

Demostraei6n. En primer lugar, observemos que [x EX If(x) < < a} ~ r'(J-, a[), (x E X I I(x) > a] = r'(]a, -L), (x E X I fIx) ~ a]= = r'<l-, aJ), (x E x] fIx) ~ a] = r'([a, -I), Puesto que los interva.Io s J-,O:[ y Ja,-[ son conjuntosabiertos y lOB intervalos J-,aJ y [a, -I son eonjuntos c e r r a.d o s , de la prop. 5,5 resulta que la eondici6n (a) impliea cada una de las condiciones (b') y (c '},

De rnc s tr-e rno s ahara que Ia condiei6n (b') irnplica la candici6n (a).

Sup6ngase pues que s e curnple [b'}; sea X un punto de X y W una vecindad de f(x). Entonces exist,e un intervalo abierto ]a, b[ tal que I(x) E Je, b[ C W. Ahora Ic, b[ = ]-, b[ n ]0:, -I, y par hipot e s is , e1 conjunto rl(]a, be) = r'(]_, be) n r'(]a,-[) es abierto relativo a X (prop. 3.3 (ii)). Puesto que X E r'(Ja, be) c r'(W), de 1a prop, 3.:; resulta que r 1 (W) es una vecindad de\x r e Ia.ti.va a X.

32

Fina1mente, sup6ngase que se cumple la c on di c io n (cl), y dernostrernos que entonces s e c uzn pke [b '}, Para a E R, sa tiene ]-,0:[ ([Cl,·-{ y por 10 taste r'(J-,Q[) cr'([a:, E). CallIOpOl

hipotesis rl([a, -I) e s c e r r-a.do relativo a X, resu1ta de La prop. 3.8 que r'(J~, a[) e s abierto relativo a X. De marie r a semejante, de Ja,-[ ~CJ-,aJ y del hecho de que rl(]r,a]) escerrado relativo a X, resulta que f~l(]a, -[) es abierto relativo a X. <>

Proposici6n 5, 6, Si La funcion f: X - R es continua, eniionaee La l'estl'iccion I I T de f a oual.qu-i er euboonjunt.o T de Xes tambitfn aontinua.

Dernostraci6n, Sea A un conjunto abierto de R. Si f es continua, entonces en virtud de la prop, 5,5, e l conjunto l-l(A) es abierto relativo a X, es decir, de 1a fo r ma B n X, donde B e s un eonjunto ab ie r-to de R (prop. 3.2). Ahara bien, el conjunto (f I T)-l(A) = B n X n T = B n T es abierta re1ativo a T (prop. 3.2) y por 10 tanto r l r es continua (prop. 5.5). <>

Dernos ahora algunos eje mpl os de funciones continuas.

Propos icion 5, 7, Cada funcian constantel: x - c ee continua eobre R.

Demostraci6n. Sea A un conjunto abierto de R. Si 0 E A, entonces r'(A) ~ R; s i c t. A, entonces r'(A) = ¢' En ambos ca-

sos r'(A) e e abierto (prop. '2.3 (il) y, por con s i gu i e nt e , f es continua (prop. 5.5). <>

Proposici6n 5.8. Pam oada a E R La Junaian' x r- x + a es aontinua eobre R.

Demoetraci6n. Sea W una vecindad del punta fix) = X + a.

Entonces W contiene un Int e zva.Io ]f(x) - e, f(x) + ~[= Jx + a - e , x + a + ~ [, can E: > 0 (prop. 2. I). Por consiguiente, r'(w) contiene el -int e r-va'lo Jx - 6:, X + e [, es dedr es una vecindad de X (prop. 2. I). <>

Proposie16n 5,9, La funaion [ : x >« -x .os contrinua eobr-e R.

Demoatraei6n, Una vecindad W del pu nt o f(x) = -x eontiene un intervale J-x -~, -x + €[ con;; > 0 (prop, 2.ll. Poreensiguient e , ,-l(W) contiene el intervale ]x - E:, X + E: [, e s d ec ir-, e s una veeindad de x (prop. 2. l }, 0

Propoeici6n 5, 10, Para oada a E It La furtai6n f x: - ax ee aontinua sobre R.

Demostraei6n. Si a = 0, erit oric c s f es l.a func i on constante x .... 0 que es continua en virtud de la prop. 5.7. Su porrga.e e aho r a

33

tiene un i.nt e r-va Io Jax - e, ax + € [ donde E: > 0 (prop. 2, I). Por consiguiente, r'(W) c ont i e ne e.L intervalo]X - ~,x + a[, es d ec i r-, e s una vecindad de X (prep. 2. I).

Fdna.Irne nt e , s i a < 0, entonces la f unc io n x - ax es La cornposici6n de las funciones X H la-Ix y x'""" -X. Laprimera es c o nt in ua en virtud de la prirnera parte de ee ta. derno s t.r ac i Sn, la segunda 10 es por Ia prop. 5.9. Luego, en virtud de la prop. 5.4, la func ion X ~ ax es continua. <>

EjercicioB

I) De rnuds t r e s e que una funci6n J: X ~ R es eontinu~ y s610 s i , para c ada subconjunto M de X se verifiea f«M)~) C J(M).

2) Sea f una funci6n definida en Xc It can valores en R, y sea Y un subconjunto de X. De rriue s t r e s e que si f e s continua en un pun_ to X E Y, entonces La r e s t.r ic c ion fly de faY es continua en x ,

3l De mue at r e s e que la funci6n X ~ ~ e s continua sabre C {OJ.

4) De.mue s t r e s e que para n EN La func idn x H »" es continua sobre It.

5) De mue st.r e s e que Ia funci6n X H rx e s continua e ob r e :a..

6. Conjuntos Compactos

Si X es un conjunto arbitrario eYes un subconjunto de X, una farrrif ia (Ad~'r de subconjuntos de X s e llama un r-e c ub r i.rrrie nto de Y s i. Y c: t~rAt. En este c a.s o se dice t arnb ie n que los conjuntos

A~ cubren Y,

Definici6n 6. 1. Un euboonjunto K de La recta real., R ea compaeto si para cada recubrimiento (AI >t ~I de K con conjuntos abiertOB AI exi.ete una familia fin ita A~l' ••• ,AI. que cubr-e K.

En virtud de la prop. 3.2, da 10 mismodecirque Kes compacta ai para cada recubrimiento (AI her de K con conjuntos A~ c; K ab ie r t oa relativos a K, existe una s ubf'am il.Ia finita (~kh 1§> 1§. que cubre K.

Proposici6n 6.1. Un subaonduntio K de R e8 aonpacto ai, y s6Zo ei; para cada fartiZia (Ftlt.r de ooniiuntos ae'l'!'adoa FI tal: que ( n Ftl n K = ¢, existe una aubfamHia finita F~ , ... , FI tat que

tE 1 1 III

( n F, ) n K = ¢.

k:, 1 1<

34

Demostraci6n. E1 conjunto AI = eF\ es abierto s i, y s610 s i , Ft e s cerrado (prop, 2,8), Ade rna a , la condici6n ( n FI) n K :, ¢ In

significa que U AI => K, y similarmente, la condici6n ( Ii FI ) n K :,

UI k:,l k

:, 0 significa que U At :::J K. o

](=1 lc;

En virtud de la prop. 3.7, se 'pue de decir que K e s compacta s i, y s6lo s i, para cada familia (Fd~.1 de conjuntos FI c: K cerrados relativos a K tal que n FI :, fI, existe una subfarnilia fi n i ta • HI

FI1, ••• ,Fl. tal que k Q 1 Flk = JiI.

Utilizando la propiedad de los numeros reales mencionada en la observaci6n 5. 1 s e puede dar una forma un poco mas senciUa a las caracterlsticas hasta ahora descritas de los c onj unt oa compactos.

Proposici6n 6. a. Sea K un eubaonfunto de R. Las siguientse aondiaiones son equivaZentes:

(a) K ell aompaato.

(b) Pal'll oualqui.e» suaesi6n (A,,).EN de eubaon.juntoe de K, abie1'to() »elai-ioo« a K, que verifican Au C Au+1 para 1'1 E N, y U A" = K, eriste un {ndice sEN tal que A. = K •

• E ~

(c) Para eual qu ie» sucesi6n (F.).6~ de subooruiuntae de K, eel"1'ados relat-ivoe a K, que verifican F.=> F ... para n EN,y n F. =~, e e N

eeiete un {ndiae sEN tal que F. = ~.

Demastraci6n. En primer lugar, la c oridic ton (a) implica las condiciones (b) y (c). En efecto, si Kes compacta, ent onc e s existe una aubfa mflda finita A" , .•• ,Au de (A,,) tal que U Au = K, y

1 III k ~ 1 .Ie

respectivarnente una subfamilia finita F." •.. , F •• de (F.) tal que

~ F •• =~. 'I'o mand.o para s el mayor de los enteros 1'1" ••• , 1'1., k =1

.

s e tiene A,::J AD. Y F, C F •• para 1 ~ If; ;§m, es decir, A. = k~,Auk

Y F, = n F •••

x =;

Por otra parte, s e ve, como en la de.rn o s t r a c to n de la prop. 6.1, que las condiciones (b) y (c) san equivalentes. En efecto, poniendo F. = [,Au, las condiciones A. C A.+1, U Au = K equivalen rea• eN

pectivamente a F. ::J F.+1, n Fn =~, el c onj unt o F. e s c e r r ado .EN

relativo a K si solo s i, An es abierto relativo a K (prop, 3,8) y

35

finalmente, decir que AD = K es 10 mismo que decir F, -

Falta entonces dernostrar que (b) implica (a). Sup6ngase que (b) sea cierto, y sea (A,),6[ un recubrirniento de K por conjuntos A, C K abiertos relativos a K. Sea, un Ind'ic e fijo y X un punto de At, Puesto que AI e s abierto relativo a K, exist e un intervalo ]x _ ~, X + i[ tal que JX - i, X + iC n K c:. AI donde k es un numero ent e r-o ;;: 1 (obs e rvac ion 5. 1). En virtud del ejemplo 4.1 existe un mime r o raeional ,tal que Ix - ,I <~, y pOl' consiguien-

t e , X E J, - iff' r + ilf;[ n K c:. At.

Ahora bien lOB conjuntos ), - L", ,+ 2\,,[ n K, donde r E Q Y 11: E N, Ii:;; I, que es t an contenidos en algiln conjunto A, forman una ealecci6n enumerable, ya que Q y N son conjuntos enurnerables. Desde luego, es posible ordenarlos en una s uc e s Ion que llamaremos (B.l. Los conjuntos B. son abiertos relativos a K (prop, 3,2), Por hip6tesis, cada punta X E K e s ta contenido en algiln conjunto AI, y ac ab arrroa de ver quecadapunto de A, estacontenido en algun Bn; por 10 tanto (Bn~ es un recubrimiento de K, Si para eada n EN escribi1nos Cn = U Bk, entonees (C.) e s un r ec u»

k=g

brimiento de K, los conjuntos en son abiertos relativos a K (prop. 3.3 (iii)) y se curnple Cn C en"" para 11. EN., Por h ipot e s ia , existe un fndice BEN tal que e, ~ K, es decir, k ~, Bk ~ K. Si a cada fn-

dice It con 0 ~ It ~ e s e hace corresponder un conjunto ~ que contiene Bk, entonces la farn i.l ia (A\),~. ~. c ub r-e K, 10 que demue st r a que K es c cmpact o, <>

PropOB lel6n 6.3. Un $ubaonjunto K de R ea eompaaiio 6i, y solo si, para eada 6ucesion (x.l de puntas Xn E K e:x:iste una eubeicaesion (xn.) que eonuerae haaia un puniio de K.

36

Demastraci6n. Ob s e r vc s e en px irne r lugar que (x.l tiene una subsucesi6n que converge hacia el punto X E K s i, Y solo s i , para cada vecindad V de » relativo a K existe un rnirne r o irrfin ito de Indices 11. EN tales que x. E V {c f, las proposiciones 4. 1 y 4.2, yel ejercicio 8 del § 4). Supongamos pues que K sea compacta y que para cada X E K existe una vecindad V. relativa a K que solo contiene un mim e r-o finito de terminos de Ia sucesi6n (xn). En virtud de Ia prop. 3.5 se puede supaner a de mae que los conjuntos V. son abiertos relativos a K, yen virtud de l.a prop. 3. I (iii), s e tiene

U V. ~ K. Par hipotesis, existe un mi m e r o finito de punt os .e<

x" ••• ,x. tales que V"l U ••• U V" = K. Por consiguiente K no contiene sino un numero finito de terrninos de (x.), 10 que e s abs u r do,

Supongarnos, inversamente, que se curnple la condie ion de 1a proposici6n, y sea (Fn) una sucesi6n de subconjuntos no vaclos de K, eerrados relativos a K, tales que F. => Fn+l para n E N. En virtud de la prop. 6.2 (e), basta de rnc e t.r-a.r- que n Fn r! Ii. Para

• eN

cada n EN sea x. un punto de Fn. Por hip6tesis, Ia sucesi6n (xn) tiene una subsucesi6n (XOk) que converge hacia un punto X E K. Puesto que X'k E Fn para n. i;; n, el punta X es adherente a Fn relat iv o a K (prop. 4.2), Y por 10 tanto, X E F., ya que Fn es cerrado relativo a K. De esta manera resulta que X E n F.. <>

nON

Los conjuntos c orrrpact os de La recta real s e pueden describir en forma muy s eric Il Ia.,

Proposicion 6.4. Un. suboonduntio K de R 1<8 compaetio 8i. y solo 8i, es acotado y cerradO.

Demostraci6n. Sea K un subconjunto ac ote do y cerrado de R, y (X.) una s uc e s idn de puntos de K. Sea CZo una cota inferior y b. una cota superior de K, y tornernos xno ~ xo. Se puede definir po r indueci6n completa una sucesi6n creciente (ak) y una sucesi6n de-

c r ec Ie nt e (bd tales que 4 - a. '" _l_(bo - ao), yuna subsucesion(x •• )

2"

de (x.) tal que x •• E [a" 4J para todo kEN. En efec t o supongamOS que ya se definieron ak Y t. tales que x •• E [ak, 4], y que un mirrie r o infinito de terminos de x. esta contenido en e1 intervalo [ab 4J. Entonces en uno de los interva10s [a.,t(a. -I- 4)] y

[teak + b.), 4J debe haber un nurne r o infinito de t e r m ino s de (x.). Llamemos [akH, bk+1J al intervalo que t i ene esta propiedad y escoj a rno s para x"+l un elemento Xn contenido en este intervalo y tal que verifica n > n •.

Puesto que x.) E [a" b.J para J '" k, se tiene Ix.) - X"I ::§ f.( bo- - aol para J,m '" k, es de c i't- (x •• l es una sucesi6n de Cauchy. En virtud del teorema 4.2, la sucesi6n (xn.' converge hacia un punta x , y en virtud de la prop. 4.2 y del hecho de s e r K cerrado s e sigue que X E K. Re s ul ta pues de Ia prop. 6.3 que K es compacto.

lnversamente, sup6ngase que K es c o rrrpa c t o , Sea x un punto adherente a K. En virtud de la prop. 4.2, existe una s uc e s Ion de puntas oX, E K que converge hacia x. POl' otra parte e xi st e una s ub s uc e s io n (x •• ' de (xn) que converge hacia un punt o de K (prop. 6.3). Ahara es evidente que c a da subsucesi6n de una sucesi6n convergente converge hacia el mismo Hrn it e , Luego, X E K y K es c e r-r a do {def', 2.9).

Finalmente, los intervalos abiertos ]n - 2, n + Z [, donde n E E Z cubren e I conjunto K. Par h Ipot e s i.s existe entonces un nu rne » ro finito entre ellos; sea In. - 2, n. + 2.[, dande 11; = 1, ••. , m, que ya cubren K. Si a e s el menor y b el mayor de los niirne r os nl, ... n., entonces K as ta r a contenido en el intervalo ]a - 2, b + 2 L <>

El hecho de satisfacer cada conjunto c e r r a do y acotado de la recta real a la condici6n de la prop. 6,3 es muy c las ic c y se llama a veces t e o r erna de Bolzano- Weierstras s. El h ec ho de 'i.rn p'l i ; car Ia condici6n de la prop. 6.3 a la condici6n de Ia def. 6,1 se llama teorerna de Borel-Lebesgue por algunos autores y teorerna de Heine-Borel por ot r-os , Finalrnente, La prop. 6.1 se suele llamar t eo r e ma de intersecci6n de Cantor.

Ejemplo 6.1. T'o do Int e.r va Io cerrado y finito es un conjunto compacto.

Proposici6n 6.5. Sea I una ftmai6n aontinua. definida en un eubconiiunbo oompaabo K de R, Y <lon vaZOl'ee en R. Eniioneee el: con,junto 11K) es compacta.

Demostraci6n. Sea (Ad un recubrimiento de I(K) donde los AI son conjuntos abiertos. En virtud de La prop. 5.5, los conjuntos 1-1(At) son ab i e r-to s relativos a K, y e s ev i.derrte que cubren a K. Por hip6tesis, hay un rni rno r-o finito entre e110s que cubren K, sean esos f-'(A\l)' •.. , f-l(At.); pero entonees los conjuntos All" •. ,A,. eubren !(K). 0

De aquf resultan dos teoremas c las icos sobre funciones continuas.

TeorelTla 6.1. Toda .funcion continua, definida sobre un con.junto conpaoto K y con vaZOl"es en R es aoatada ,

Demostraci6n. f(K) es c orrrpa.c t o en 'vi r-t ud de Ia prop. 6.5, y desde 1uego, acotado en virtud de La prop. 6.4. 0

Teorema 6. Z. Sea I una fu.na{on continua, definida en un conjunto cOI'Facto K y con vaZol"es en R. Entonces existe un puntio S E K tal: que I( s) ;; 1(x) paPa todo x E K, Y un punt-a 11 E K t-al: que 1(11) ;§ fIx) pal"a todo x E K.

38

Demostraci6n, En virtud de las p r op os i.c io ne s 6.4 y 6.5, e1 conjunto f(K) e s acotado y cerrado. Por consiguiente, el extrema superior M de f(K), que existe en virtud del axiorna (Co), y que es adherente a f(K) en virtud de Ia prop. 1. 6 (iiI), pe r t ene c e a f(K). Tomando S E K tal que f(s) ~ M, obtenemos e1 punta S busca do,

De las proposiciones 5.4 Y 5.9 resulta que lafunci6n x'" -fIx) es continua; luego de la priInera parte de la demostraci6n s e s i gu.e que existe 11 E K tal que -f(l1) ;; -fIx), e a dec i-r f(l1) ;§ fIx) para todo X E K. 0

Los valores tIs) y f(11) se Ll.a rna n .r e s pe ct iv a rne.nt e e l. rn a xrrrio y e1 rnfndrno de 1a funei6n f. De la demostraei6n anterior resulta que f(\:) es e1 extremo superior y f(Tj) es el extrema inferior de f(K). Por 10 tanto el teorema 6.2 se enuncia a vec e s diciendo que una funei6n continua def irri da sobre uri conjunto compacto alcanza sus extremos.

'I'e r rndne m oe esta secci6n con el tercer teorema c Ia.s i c o sobre e1 cornportarniento de las funciones continuas definidas en conjuntos compactos.

Definici6n 6,2, Una funcion f definida en un suooonjunto X de R y ao>! !laZoX'es en R ee unifol"memente continua si paN eada niimeI'O € > 0 etcietie un nUmel"O <5 > 0 tal. que Las condiciones x E X, Y E Ex Y Ix - YI § 6 impZican [fIx) - f(y)i ;§ e,

De la pro p, 5,2 s e sigue que una funci6n uniformemente continua es continua (def. 5,2.),

Teorerna. 6,3, Toda _fUnaion continua definida sobre un ooniiun-: to compacto y con vato~ss en R es uniformemente continua,

Dernoatraci6n. Sea K c:: R un conjunto compacta y I: K ~ R una. funci6n continua, Dado e > 0, para cada X E K existe 0, > 0 tal que v E Jx - 26" X + 20,[ n K irnplica I/(x) - I(y) I "f€ (prop. 5.2). Los [nt e r-va Ioa abiertos ]x - 6., X + 0,[ c ub r en Ky , par c ons rgu ien-, te, existe un nu m e r-o finito de puntas Xl, •.. t xm tales que los intervalos )Xk - 6,., x. + ox. [ can 1 " Ii: '" m cubren K. Sea Ii > ° el menor de 108 nd m e r os O:Jtk con 1 ~ h ~ m,

Sean x e y dos puntas de K tales que Ix - II I " Ii, Existe un punt o x. tal que x E ]x. - 6,., Xx + 6 •• [, es dec i-r Ix - x.1 < C>x. y par 10 tanto III - x. I < 0 + 6x ,,26,., es d ec i r 11 E ]x, - 26., Xl< +

k I k I

+ 20,.[. POl' consiguiente, tenemos I/(x) - f(xx) I ;'! 2"£' I(y)

- f(x,) I ,,~€ de donde resulta que I!(x) - f(y) I "E, <>

E:jercicioa

1) De dfiz c a a e los tearemas 6. I y 6,2 de Ia propiedad de los conjuntos compactos expresada en Ia parte (e) de la prop. 6,2,

39

2) Sea X un subconjunto de R y (Allte! un r-e c ub r-Irrri ent c de X con conjunt os abiertos A., De rnu e s t r e s e que existe una s ubfarnfl ia enumerable (AI.)kON que cubre X ("axioma de Li nde Iof'"},

3) De s e un ejernplo de Iun ci on continua definida en el intervalo abierto )0, 1 ( que no sea uniformernente c ont inua ,

§ 7. Conjuntos Conexos

Definici6n 7,1. Un eubeorujuntio X de ta »eata real R se nama: oonexo si siemp~e que A y B sean doe eubconiiuntos de X, airier-toe rel.at-iooe a X, t-al-es que A U B " X Y A n B = ¢, entonaes uno de diohos oonduniios , A 0 B, tiene que ser tlac-{o,

Proposici6n 7. 1, Sea X un subconiiuntio de R. condiciones sOn equivatentes:

Las siguientes

a) X ss coneroo.

b) Siemp~e que F y G sean doe subconjuntos de X, eem-adon r-elativos a X, tales que F U G = X Y F n G = f6, eniioncee uno de diCMS ooruiuntioe , FoG, ee vac.[o.

(c) Loe unlaoe eubeoruiurttoe de X que son al mi.s m» tiempo abie1"to$ y aei'1"adoe 1"dativos a X son ¢ y X.

Demostraci6n. La equivalencia de (a) y (b) resulta de que s i se pone F = CxA, G = CxB, entonces F y G son cerrados relativos a X s i , y s610 s i , A Y B son abiertos relativos a X (prop. 3.8). Ade mas , las relaciones AU B = X Y A n B = ¢ equivaien, respectivamente, a F n G = ¢ Y F U G = X. Por finF=¢si, y s610&i, A= = X, es decir, B = 10.

Sea ahora X eonexo y A un subconjunto de X que es abierto y cerrado relativo a X. Entonees B = CA e s c e r r a do relativo a X (prop. 3.8), AU B = X Y An B = p. Por consiguiente, 0 bien A = 91, 0 bien B = 91, es deeir A = X.

Inve r-e a.m errte , sup6ngase que s e cumple la condici6n (e), y sean A y B dos subconjuntos de X, abiertos relativos a X, tales que AU B = X Y An B = 91. Entonces B = CxA, y por lotanto A e s: tambien cerrado relativo a X (prop. 3,8). Por hip6tesis s e t i ene , o bien A = 91, 0 bien A = X, e s decir B = fl. 0

Proposici6n 7. Z. La reunion de una familia (XI h et de euboon-

[uniio« oonexos de R que tienen un punto x en aOmUn as aonexa.

Demostraci6n, Pongamos X = \~IX\ yseanAyBdos subconjuntos de X, abiertos relativos a X, tales que A U B = X Y A n B = p. Sup6ngase que x esta contenido, por ejemplo, en A. Para todo \ E I los conjuntos At = A n XI y BI = B n XI son abiertos relati_ vas a XI (prop. 3,2), y tales que At U Bt = XI Y A,. n Bt = p. Puesto que x E AI, se t i en e necesariamente B! = %. Por lotanto B = 91 y X es c on e xo , 0

Dado un subconjunto X de R y un punto X de X, Ia colecci6n de todos los subconjuntos conexos de X que contienen x no e a v ac Ia ya que contiene e I c onju nt o [x}. Ade rna s , la reuni6n de t od oe los subconjuntos conexos de X que contienen X e s t arnb ie n un c onj urrto c orie xo en v i rt udvde la prop. 7.2, y c1aramente es e1 mayor subc onj unt o conexo de X que contiene ax. Esto ju at if ic a Ia definici6n siguiente:

Definici6n 7. Z. Sea x un punto del (lubaonjunto X de R. EZ' eomponenbe oonexo d~ x en X e6 el: mayo!' eubooniiunto conexo de X qu~ aontiene a x, Se Zlaman aonponentes aonexos de X Loe componentes oonexos de los puntos de X en X,

Re e u Ita ta.rn bi.en de la prop. 7.2 que S1 x e y son dos puntas de X, entonces los componentes conexos de X e 11 en X, 0 bien coinc id en, 0 bien son disjuntos. De esta rrian e r-a , cada conjunto X C C Res La uni6n de una familia de conjuntos conexos disjuntos dos a do s , a saber, los componentes conexos de X.

Se vera. ahora que los conjuntos conexos de 1a recta real se caracterizan de rna.ne r a tan sencilla que no valdrfa Ia pena de introducir el concepto de conexi6n s i no t uv i.e r-a rn o a en mente generalizaciones ulteriores.

Teorema 7. 1. Un subcoruiunto no uaoio de 10, l'eata real: es aonexo si, Y Bolo si, es un inte1'Valo.

Empecemos con algunos resultados auxfl ia r e s que se necesitan en la demostraci6n.

Lema 7. 1. Un eubooniiuntio no vaafo I de R es un inte1'Valo ei , y solo si, pa1'a C!ada pare ja de punsos x E I, y E I tal que x < Y se tiene ;: E I para todo z E R que ver-if-ioa X ~ Z " y.

Demoetraci6n. Es casi evidente que la condici6n es necesaria. En e fe c to , s i , por ej e rrip lo , I e s el intervalo ]0" b] (def. 2.3), y sf x, Y E I, entonces a < x'" b, a < y ;:;; b; por tanto para cada z tal que x" Z l§ Y se t i ene a < z ;§ b, es decir z E I. La demost r ac ton es analoga en 105 otros cas os.

41

5up6ngas e ahora cumplida La condici6n dellema y c ons ide r e s e primero e1 cas 0 en que I es a c.ot.a do , 5i a. es el extremo inferior y bel extremo superior de I, para cada Z E la, b[ s e tienen elementos X E I eyE I tales que X < Z < y (prop. 1. 6 (iii)) Y, par 10 tanto, z E 1. Par consiguiente la, b[ C I c [a, bl, y desde luego I e s uno de los cuatro inte rvalos la, be, Ic, b I, [a, b[ 6 (a, b I.

Si I no e s acotado ni inferior ni s u pe r i o r rrie nt e , entonces para cada z E R existen X E I, Y E I tales que X < /if < y, es decir, 1= l-, -L.

Si I es acotado inferiormente pe r o nolo es s up e r-io r rn e nt e , sea a el extremo inferior de 1. Para cada e E Ic, -I existen puntas X E I, Y E I tales que X < Z < y (prop. l. 6 (iii)), es decir, I e s uno de 106 intervalos [a, -I 6 Ic , -C.

Finalmente, s i I es acotado s u pe r i o r rn e nt e pero no 10 e e infer Io r rn ent e , se prueba de la rnisma marie r a que debe ser un interv a Io de la forma l-, bJ 6 J-, b[. 0

Si My N son dos subconjuntos de R, se denota pOl' M + N el conjunto de todos los purit o s X + Y, donde X E M eyE N. En par-

ticular, si W e s el intervalo ]-~,~[, entonces M + W es el conjunto de todos los puntas X E a para los cuales existe un punta m E M tal que Ix - m I < e. En efecto, X '" m + w can a.Igun m E My w E W es equivalente a X - m ~ W, es dec i r , a Ix - ml <: s.

Lema 7. Z. Sean K un eubooniiuntio to cerrado de R, tales que K n F = ¢. € > 0 tal que (K + ]-€, sO n F '" ¢.

oonpacto y F un eubooniunEntonc:es existe un mlmero

DemoBtraci6n. Puesto que (F e s abierto (prop. 2.8) Y K C (F, para cada punta x E K existe uri mirne r-o S, > 0 tal que ]x - €" X + + €.[ n F = ¢. Como K es compacta (def. 6. 1), existe un mi me r-o finito de puntas x" ..• ,x. de K tales que los intervalos }x. - ~e:,."x,+

+ ~e:,.k [ can I '§ 11; ;:; m cubren K. Sea e el menor de los rnirn e r o s !~ = ~€,,(l '§ k '§ mI. 5i X E K + J -€, S [, entonces existe y E K tal que Ix - yl <: €, Y t.arnb ieri un Xk tal que I y - x.1 < ~s,. Par consiguiente, Ix - x. I <:;; + -2;;. ".k, es decir, X E Jx, - E:k,Xk + €.[ 10 que demuestra que X no pe r-t e nec e a F. 0

42

Sea e un nurne r o estrictamente pos itdvo, Una sucesi6n Iinita (Xk),"'kSj de puntas de a se llama una ;;-cadena s i IX'd - x.1 '" c para -0 i if; < j. Los puntas x; y Xj se llaman los extremos de la e c-c a deria y s e dice que los ext r e mos s e unen mediante la e-cadena ..

Lema 7.3. Sea I un interoaZo de a y € un mimero estriotamentie positiva. cada dOB puntos x, y de I ee pueden unir mediante una e _ oadena de puntas de I.

Demostraci6n. Supong arnos , par ej errrpl o, que X < 1/, y sea" un mirrre r-o entero positivo tal que k "S. Sea ad erna s p e1 nfime rc entero mayor tal que p '§ nx y q e1 n drn e r o entero mayor tal que q ""y. Se tiene p" q. 5i P = q, resu1ta que y - X "" -It y los dos puntas x , 1/ ya se pueden considerar como una e -cadena. 5i p < q p6ngasex.=.E..±.lL para 1 '§k:!i.q-p. EntoncesO<xl-X"'l., X'+l-

n n

- X. = k para 1 " 11; ;:;; q - P - I, O;§ Y - x._. '§ k, es de c i r , los puntas x, Xl, ••. ,X._P, Y fo r man una E: -cadena que une los puntas X e y. En virtud del lema 7. 1, 108 puntas Xl, .•• ,x,_P pertenecen a I. 0

Demostraci6n del Teorema. 7. 1. Un conjunto que consta de un solo punto es un intervalo (def. 2.2). Supongamos pues que el conjunto X contiene par 10 rn e no a dos puntas. Si X no es un intervalo, en virtud del Le rn.a 7. I, e.xi at eri tres puntos x , 1/, z de a tales que x <: z < 1/, x E X, Y E X, pero z f. x. Los intervalos ]~, z[ y Jz, -I son dos conjuntos abiertos cuya reunion cubre X. En virtud

de la prop_ 3.2, las trazas de los intervales J-, z[ y ]2, -I s ob r e X son dos s ubc onjuntc s dis juntcs no vac Ios de X, ab ie rt os relativo s a X, c uya reunion es X. De s de luego X no es conexo, Oueda dernostrado por 10 tanto que cada conjunto conexo no vac:lo e s un intervalo.

Inversamente, sean p r i rne r o I un intervalo finito cerrado y F Y G dos subeonjuntos no va c Io s de I, cerrados relativos a I, tales que F n G = ¢' Hay que probar que F U G no puede ser igual a I (prop. 7,1). En virtud del corolario de la prop. 3.7, los conjuntos F y G son cerrados. Ade mas F e s acotado y pOl' 10 tanto compacto (prop. 6.4). Del lema 7.2 s e s Igue que e xie t e un nurne r o e > 0 tal que los conjuntos F +] - €, €[ Y G son disjuntos. Sea x un punto de Fell un punto de G. En virtud del lema 7. 3, los puntos x elise pueden unir mediante una 1 €-cadena (x.). "'k S I de puntos

2 - -

de I. Sea t(O ;!i L ;!i J - I} el fndice para el. cual a e v e r if ic a XI E F, pero xk ~ F para It > t. El punto Xl+t E I no pue de estar tam poco en G, ya que de IX1+1 - XI I < e resulta .x1~1 E F + ] - €, €L

Finalrnente, 8 e a I un intervaIo arbitrario y c un punta de I.

En virtud del lerna 7. I, el intervaIo 1 as la reuni6n de los intervalos finitos y c e r r a dos [a, b] donde a E I, b E. I y a ;l; c ;l; b. De Ia prop. 7. 2 Y de 10 que s e ac aba de ve r se s igue que I e s conexo. <>

43

P.opodci6n 7.3. Cada oomponentie conexo (def. 7.2) de un

eubaonjunto abierto de R e6 un COn,jUl1tO abiel'to.

Demoat:raci6n. Sea A un aub c onjunt o abierto de R, Bun componente c onexo de A y x un punto de B. Pue s to que A es abierto, existe un intervalo ].x - 8, X + €[ contenido en A. Pero en virtud del teorema 7. 1, el intervalo ]x - €, x + €[ es conexo; Iuego, po r Ia definicion de un componente c onexc, Jx - s, X + €[ eata contenido en B, 10 que muestra que B es abierto (prop. Z. 1). <;>

De aquf resulta ot r a propiedad cl.as ica de Ia recta real:

Teorema. 7. Z. Cada eubcon,junto abierio de La recta real: €Os 'La reunion de una ooZeooion enu.merubZe de intervak>s abier-to« diB,7Untos.

Demoatraci6n. Un conjunto abierto es Ia union de SUB componentes conexos, drsjuntos dos a dos que, por el teorema 7. 1, son intervalo. y por Ia prop. 7.3 son ab ie r tris , Puest o que todo intervalo tal contiene un mirne r o r a c Iorra.I (ejemplo 4. I), la colecci6n de e110s as enume eab le, <;>

Observese que cada componente conexa de un conjunto abierto A e s , al rn is rno t ie rnpo, abierto y c e r r ado relativo a A, ya '::;-1<' Ie.

union de los de ma a c orn porierrte s c orre xo s as un c onj urieo a.bde r t o (prop. 3.3 (iii), prop. 3. 8~.

Propos ic ion 7.4. Si f ee una flmci6n continua definida en un ~baon.junto cone= X de R, aon vaZol"es en R, enbonces el. aon.junto fiX) es ooneeo:

Demostraci6n. Sean A y B dos subconjuntos abiertos disjuntos de R tales que AU B:::> f(X~. En virtud de la prop. 5.5, los conjuntos r1(A) y rl(B) son abiertos relativos a X. Como, a.dernas , rl(A) u rl(B) = X Y r"(A) n rI(B) = %, resulta po r h rpot e s is que uno de los conjuntos rl(A) y rI(B) es vacfo, Si, po r ejemplo, rI(N '" %, entonces A n fiX) = %, Y de la prop. 3.:>' r-e s u lt.a que fiX) es c onexo, 0

En los textos de c<ilculo esc cs turnb r e dar otra formulacion a esta proposici6n y Hamada t eo r erria de Bolzano 0 teorema del valor intermedio:

Teorema 7.3, Sea f una functOn definida y continua en el: intel"VaZo [a, b] con valol"es en a ,'Par>a cada nUmel"O real- C entire [(a) y fib) existe un punto c " [a, b] tal que flo) = c.

Demoatrac i6n. En virtud del teorerua 7. 1 Y de la prop. 7.4, el conjunto flea, b]) e s un intervalo. st, pOl' ejemplo, t(a) < fib), ent onc e s en virtud del lema 7.1 c ad a C E R tal que f(a) < C < I(b) pertenece a I([a, b]). Co

EjerC!cios

1) De musisur es e q LIe s i A e s un subc onjunto abierto y M un subconjunto a rb it r-a.r io de R, entonces A + M e s un conjunto abierto. [Ut i l Ic e s e e I hecho de que, para m E M, s e tiene T;I(A) '" A + m = = (a + mja E Al, donde T. es la apl.ic ac ion x .... x - m; a de rna s , A + + M = U A + m.)

.EM

2} Dernuestrese que si K es un subconjunto compacta y F un subconjunto cerrado de R, entonces K + F e s un conjunta c e r r ado , (Si (x. + Y.), can x. EKe Y. E F, converge hac ia sa, entonces existe (x"~) que converge hacia X EK, e (II",) converge hacia z -.); = Y E F.)

3) De s e un ejeruplo de dOB c onjunt o s c e r r ados F y G tales que F + + G no sea cerrado.

2

LA TOPOLOGlA DEL ESPACIO EUCL!D1ANO

§ 1. £1 Espacio Numerico p-dimensional

Sea pun nurnero entero estrictarnente po s [ti vo. Los elementos del espaC 10 nurne r ic a p-dimens ional a' s on las p-tuplas x = (Xl •••. ,x.l de nurneros reales xJ(l '" J '" pl. Los elementos X E R' s e llaman tarnb ien V!lctOl'!l80 puntos y el ntirrre ro XJ sellamalaJ-esimacoordenada 0 componente del vector X.

Sabre el conjunto R' s e definen do s o pe r ac Ion e s a.l.g eb r a ic a s t

a) la adicion, que a eada pa r eja x = (Xl, ..•• x,), 11= (Ill, •.. ,II.) de v e ct o'r-e s hace corresponder el vectorX-I-!l=(X1 -I- 111, ••• ,x.-I-y.~ Hamada la 814m:! de x e II;

b) la I11UUipUcacion pOl' un nWnel'O l'«!al (que en este c a s o se llama tarnb ie n un escaZar) que a c a da escalar a. E R y a e aria vector

4S

x = Xl, ..... , xp- ace correspon

llamado el productio de a. por X.

Estas do s operaciones !ienen las propiedades siguientes:

(EVIl Para toda pareja », II de vectores s e tiene X -I- II '" II -I- x (ley c onm utat iva de la adic ionl.

(EV2) Para toda terna x, II, Z de vectore. s e tiene X + (II -I- Zl (x -I- II) + Z (ley a s oc iat iva de la ad'ici on},

(EV3) Existe un vector 0, Hamado el vector cera 0 elorigen de R", tal que X -I- 0 '" X para t odo X E RO,

(EV41 Para cada vector X extat e un vector -x, llamado el opuesto de x, tal que X -I- (-x) '" o.

(EV5) Para todo e s ca.la r a. y toda pareja x, II de v ect o r es s e tiene o.(x + II) '" OX + [1.11 (distributividad con respecta a la adici6n de vect o r es},

(EV6) Para toda pareja c, S de escalares ytado vector X se tiene (a, -I- l3)x '" OX + I3x (distributividad con respecto a la adtc ion de e s ca.Ia r e s ) •

(EV7) Para toda pareja 0., ~ de escalares y todo vector x s e tiene (o.r'l)x ~ o.(ilx) (ley as ociativa de Ia rnult Ipl.Ic ac ion par un e s c a» lar).

(EV8) Para todo vector X s e tiene Ix = x,

En ef ect o , el vector Cera es aquel cuyos componentes son t od o s iguales a 0, y a! opuesto de x '" (Xl, .•• , X.) e s el vector -x '" = (-Xl,"" -X.). La verificaci6n de las propiedades (EVI), (EVZ), (EV5)-(EV8) eS inmediata. Demostremos par ejemplo (EVI). Tenemos X + !I = (x, + !It, ... ,X. + Y.) e !I + X = (Vl + Xl, •.. ,V~ + x.l. Ahara bien, para cada J( 1 ~ J '" P) Be tiene XJ + YJ " YJ + XJ en virtud de la ley conmutativa de laadici6n de rnirn e r o s reales, y par 10 tanto, los vectores X + II e V + X son iguales.

Obs e rv ea e que s e utiliza el a Imbol.o 0 para representar el nume r o c e r o y tamb ien el vector c e r o; e ata arnb igiie dad no causa, en general, confusion.

Las propiedades (EVI)-(EV8) se llaman los axtorna s de los es pac ios vectoriales, Y 58 dice que las dos operaciones algebraicas definen sabre RP una estructura de espao-io veator-ial , De los a:domas se deducen todas las reglas usuales del algebra vectorial; a c onninuac ion s e demuestran algunas.

Prc>pc>slcI6n 1.1. Pam todo vector X 88 iriene Ox = 0 [aquf en el primer rniembro tenemos e I mirne r-o cero yenelsegundomiembro el vector cera).

Demostracl6n. En virtud de (EV6) y (EV8) tenemos

x ., l·:x: ". (1 + Olx =: lx + Ox

X + Ox.

Agregando -x a ambos m i e mb r os y tomando en cuenta (EV2) s e obtiene 0 ., Ox. <>

Proposici6n 1. Z. Pam todo aflcalar 0. E R 8e tiene 0.0 '" O.

Demostraci6n. En virtud de (EV5), se tiene 0.0 '" 0.(0 + O)

= 0.0 + 0.0. Agregando _(LO a ambos Iados y tomando (EV2) en cuenta resulta 0 "erO. <>

Proposici6n 1.3. En »eoto» 0 as unioo.

Demostraci6n. Supongamos que exist en dos vectores 0 y 0' tales que X + 0 = X Y X + 0' "X para todo X E RD. Entonces, en virtud de (EVI), s e tiene 0 = 0 + 0' = 0' + 0 = 0'. <>

Proposici6n 1.4. E2 opuesto de un veotol' x 88 unioo.

Demastra.ci6n. Sean X' y x" do s vectores tales que X + X' = 0 y x + x" "0. En virtud de (EV1), (EV2.) Y (EV3) tenemOs entonees

x' x' + 0 '" x' + (x +x") = (x' +xl +x" " 0 +x" '" x". 0

Proposici6n 1,5. Dade dos V"'tltoZ'ea a y b eeiete un vecto» x ; y uno s620, tat quI' a + x " b.

Demoat rac idn, Si tal vector X extsre , entonces agregando -a a ambos miembros de II. ecuaci6n a + x > b se tiene x'" b + (-al, 10 que demuestra la unicidad de la s o luc ion, Jnversamente, s e tiene a + (b + (_a))" (a + (-a)) + b" b, es dc c i r , b + (_a) e s solucion de 11. ec uac Ion, 0

El vector a + (-0) s e escribe a - by se llama 11. diferencia de a y b.

Definicion 1,1. La nol"ma 0 longi.tud eucl-idiana del veeter x

" (Xl, ••• ,Xo) E R· es l-a ra{z cuad1'ada p<J"itiva de x~ + .•. + x:, y ae denata po:!' Ix I.

Ob s e r ve s e que en e l caso P '" 1, Ia no r ma de x E Res s u valor ab so luto, Utilizando el teorema 1. 7.3 y el ejercicio 1. 5.4, poniendo n. = 2, es facil derno st r a r que c ada ntirne r o real positivo tiene una r afz cuadrada po s it iva y s610 una.

Propos icion 1. 6, La fr,maiOn X" Ix I definida en RO yean vaZores en eZ eonjunto ~ de los nUme:!'Os reales pOsitiv08, tiene ZaB p:!'Opiedadea aiguientes:

(NI) Ix\ = Dei, y B6Zo si, x '" O.

(N2.) Para tOM elleaZar 0'- E R y tOM »eoto» x E R" se tiene

laxl = lui· l=l.

(N3) Pam toda pareia x, y de vecto:!'ea Be tiene

Ix+vl ~ Ixl + lyl

(de s igual dad del tr;angulo).

Demoatrac i6n. El cuadrado u~ de cualquie r nurrie r o real es pa- 8 itivo y ade maa 0.2 = a s i, y s610 s i, (1 = O. De aquf 8 igue que Ixl = (xr + ••. + X;)t e.s igual a cera s i , Y s610 s i, Xl = ... '" x. = = 0, es decir X = O.

Para a. E. R, » E R' s e t i ene

1 ax 1 (a2x~ + . •• + a~x;1i ~ (a2(X~ + . •• + x;ut I c ] . (x~ + • .. + x~)~ ~ 10.1 . Ix 1 .

Falta entonees de mo s t r av la desigualdad del triangul0. Para esto necesitaremos el siguiente lema:

Lema I, 1. s: Xl, ••• ,X" e jll" .• , II~ son numeroe l'ealea <11'bitl'arios vale Za desiruatdGd

(desigualdad de Cauchy-Schwarz).

Dernostraci6n. Se t i e n e la relac i6n

( 1)

48

Hamada la identidad de Lagrange. En ef'ec to,

I x~1if + 2 I X:YjX.II k

j~l l~J<'~ •

+ I .ifY~ - I (xt.,; + x~1if - 2(XJllkX.YJ))

l)k=l l~j<~~p

I :i l<

I (XIY' - XkYI)~' l~J<l<;;;;"

£1 ultimo ter,rnino del s e gurrdo rn i e rnb r-o de (I) e s una s urrra de cuadrados y por 10 tanto po s it ivo; De aquf resulta 1.'1 desigualdad

Tomando las rakes c ua.d r a da s pos it iva s de ambos miembros s e obtiene Ia de s rgu.al.dad de Cauc hy-.Sc hwa r a, 0

Fin de la demostracion de la proposicion 1. 6. desigualdad de Cauchy-Schwar s se tiene

Utilizando Ia

Ix + yl' = I (XJ + YJ)" =

J~l

• ~ P

I xi + 2 I XjYJ + I IA

J=l

J~l

J=l

Tomando las r afc es cua dr a das positivas de los miembros e xt r e> mos resulta la desigualdad del triangulo. <;>

Definici6n 1. 2. La distanaia (euclidiana) d(x, y) de don p!.t11to .. x,1I E R· sa Za n,"'/r12 de 'La difE!venaia de x s y, es deei» ti(x, y) = ~ Ix - 111.

En la proposici6n siguiente s e enuncian aquellas propiedades de la distancia que, en el ca.pftu lo t e r ce ro , sirven de axiomas de los es pac io s metricos.

Proposici6n 1.7. La distanaia ee una fUnai6nque a cada paI'eja de puntos x, II E R" haoe COl'l'E!spcmdeI' el: m[me1'o peaZ poei rivo d(x,lI), y que tiene las propiedades siguientes:

49

(MI) tilx, Y) = 0 si, y soZo ai, x'" lI.

(M2) PaM cada pa1'eja x, Y de puntos de RP ee tiene d(x, y) .. .. d(y,x).

1M3) PaM tOM iierna x, lI, z de puntas de RP ee tiene d(x, z) ~ "" d(x, III + dIY, z) (desigualdad del triangulo).

Demostraci6n. De la definici6n resulta imnediatamente que d(x,lI) E R.. para c a da pareja x , II E RO. La relaci6n d(x, 1/) '" 0 s ig-. nifica que Ix - !II '" 0, 10 que, en virtud de (Nl), e s equivalente a. X - II = 0, es de c i r , a x .. II.

Pue s to que X - Y ~ (-1)(11 - x) [ej e rc , 2), en virtud de (N2) s e tiene d(x,Y) = Ix - III = I(-I)(Y - x)1 = 1-11· III -xl ~ d(lI,x).

Finahnente, de Ia identidad X - Z '" (X - 1/) + III - Z) Y de (N3) s e s igu e d(x, Z) = Ix - zl ;;; \x - Y\ + IY - zl ~ d(x, y) + d(lI,z). 0

Ejercicios

I) De mue s t r es e 120 prop. 1.1 por el metodo de Iademostraci6n de 1a prop. 1. 1. 2.

2) De rrru e s t e e s e que para t o do vector X E R,' se tiene (-I)x = -:>C.

3) De mue st r e s e que para todo vector X E R' s e t i erre -(-x) = x,

4) l En que casas vale el signo de iguaLdad en la desigualdad de Cauchy-Schwarz?

5) a) Dernue s tr e s e que si Xl, ... , X"' lit, ••• , Y., Zl, ... , Z., t", ... , t. son nurneros r eal es arbitrarios vale Ia r-e Iac idn

t (XlYk - XkYJ)(ZJtk - z.tJj. l~.l<k;;§:p

(Para XI = zj, YI = tJ esto s e reduce a la identidad de Lagrange.)

b) Es c rfbas e Ia identidad de Lagrange en forrna mat r ic ia l y busque.s e una generalizaci6n de La misma.

6) a) Dernudat'r e s e que .ia > 0, entonces laexpresi6na).a + Zb).+ + c es positiva para todo ). E R s i , y s610 5;, b~ - cc ;;: O.

trese, Cauchy-Schwarz.

la desigualdad de

~ Z. Vecindades; Conjuntos Abiertos y Cerrados

En esta secci6n empieza la discus i6n de los conceptos topol6- gicos en el espacio R'. EI de s a r r ol l o e s paralelo al de la § 2 del primer capitulo. Quedan pues a car go del lector muchas demostraciones, cas; identicas a las de las proposiciones del capftulo primero designadas con el misma nurn e r o.

Definic:i6n Z. 1. Sea. X un punt:o de RP 11 P un mtfll8ro real poei» tivo. Se nann bo'la ael'T'ada de aentro x y radio P, Y 8e denota por Bp(X), e1. ecm .. {unto de todoe Z08 punioe 1/ E R~ auya distanaia de x ee inferiol'O iguaZ a P, 1<'8 deei» Bp(X) = {yl d(x, y) '§ p}.

En virtud de (Mi), para p'" 0 Ia bola Bo(x) s e reduce al unico punt o x.

Deiinici6n 2. Z. Sea X un puntio de R" 11 pun nUmel"O real estriatament:e poaitivo. Se Llana bola abierta de l"lentro x 11 radio o , y

ee denotia POl' 0p(x), el. con,iunto de todoe 1.os puntas II E R~ cuya dietancia dexes inferoiol" a P, ss deei» opt:>:) = {yld(x,Y) < p).

Definici6n Z. 3. Sea x un punta de R' y p un nUmE!ro reat positivo. Sf! 1.Zarrn esfera de (lEmtl'O x Y radio p, y se denota POl'Sp(x), d con,junto de tows Loe puntos II E. R' =ya dietancia de x ee i{fUat ap, ee deeir Sp(x) = (yld(x,Y) =p).

Para p > 0 e e t ie n e obviarnente Bp{x) '" 0p(x) U Sp(x}. Observes a ta.mb ien que en el cas 0 p = I la bola Be!:>:) as e l intervalo [x - p, x + p] Y ia bola 0p(X) es el intervalo Jx - p , x + pC. En el caso p => Z, es c oarurnb r e decir disco en vez de bola y circunfarencia en veZ de as fera.

Definici6n Z. 4. Una vecindad de un punto x E RP ee un conjunto V que oontriene una bola cel"l'ada de centro xy radio E!strictarnmte positiVo.

Proposic!6n 2.1. st oonfunto V ee una vecindad del punta x: E E R'si, y e6lo ai, contiene una bola abierta de centro x.

Demostraci6n. Si V e s una v ec indad de x, entonces contiene una bola Bp(x) con p > 0, y con mas raz6n c ont ie ne la bola 0p(x}.

lnversamente, s l V contiene la bola 0p(x}, ta.rnb i en contiene Ia bola cerrada de centro X y radio fp. 0

51

Ahara s e pueden demostrar a que Il a s propiedades de las vecindades de un punta que, como ya s e dijo, s e rv'ir an de axiom as en el c apftul.o c ua r to, Dado un punta X E R', den6tesepor .... (x) lacoleccion de todas las vecindades de X.

Pr opos ic ion Z. Z. (I) sc V E 'lr(x} Y U 6B un coruiunto que contiene a V, entonces U E 'lr(x).

(ii) Si U E .... (x} y V E'V"{x), entonces U n V E .... (x).

(iii) Paro aada V E (x) ee tiene x E v.

(iv) Para aada V E (x) e xietie W E .... (x) tat que, para todo II E.

E W, el: conjunto V ee una vecindad de y.

De rno st zac idn, (i) resulta de la definicion. Para demostrar (ii) sup6ngase que U contiene Ia bola Bp(x) y que Vcontiene la bola Bcr(x), dande p > 0, a > D. Sea T el menor de los ntirne r-o s p y CJ. Ent oric e s U n V contiene BT(X}.

(iii) resulta de que X E. Bp(x) para todo p;;;; 0. De rno st r e mos (iv). 5i V E'V"{x), entonces V contiene una bola Op (x) (prop. 2.1),

y basta t orri a.r W = a p(xj. En eiedo, si if "5 un punta c ua'l qu i e r a de Op(x), p6ngase d(x, y) = CJ < P, y sea T ., P - CJ > 0. Si z E: Dr{y), entonc es d(x, z) ;; d(x, Y) + dIY, z] < CJ + T = p, es decir, z E Op(x) c C V. De esta rriarre r a V cantiene ar(Y) y po r Lo tanto e s una v ec In-. dad de y (prop. 2.1). 0

Definici6n 2.5. Sea M un suboorujuntio de R". Un punta a: E R" ee un puntio intel'io1' de M si e xiete una vecindad V de a tal que V C M. Un punto b E R· eB un pun to extier-io» de M Bi eeiet:e una vecindad V de b tal que V n M = ¢. Un punio o E RP ee un punto j'ronte!'a de M at toda vedndad de 0 aontiene puntoa que pe1'tenecen aMy puntas que nO pe1'tenecen a M.

52

Ejemplo 2. I, Sea M una bola (abierta 0 cerrada) de centro X y radio p > O. Entonc e s los puntas interiores de M son los que pertenecen a Ia bola abierta 0p(x), los puntas frantera son las que pertenecen a Ia e sf e r a Sp(x) y los puntas exteriore" son las puntas 11 tales que a(x, II) > P. La primera af'i r mac idn r-e s ult a de la dernoat r.ac ion de la prop. Z. Z (iv), Sea entonces y un punta de Sp(x) y V una vecindad de y. El conjunto V c cnt Ierie una bola Ba(Y) can p>a>O. pongaseZ=II+~(II-X). Entoncesd(y,z)=ly-zl '" cr, es d.ec i r e E Ber(Y) C V, pero a(x,z) = Ix - e ] '" Ix - y+.g.(x_y)1 = '" (I +~)Ix - YI = p + a> P, e s decir, Z f. Bp(x). Par ot r a parte, seat=y-~(II-X). Entoncesd(y,t)=iy-tl=a, es decir, t t arnb ier; pertenece a V, yen este cas o a(x, t) = Ix - t I = Ix - y - - ~(x - 11)1 = (1 -%)Ix - III., p - CJ < P, es de c i r tEOp(x), Finalmente, s i yes un punto tal que d(x, y) = T > P, entonces Ia bola abierta c on centro 11 y radio T - P no contiene n ingtin punta de Bp(x), En "fee to, e i fu e r a z E Bp(x) no T-p(Y), e nt onc e s se tendrfa d(X, Y) ~ ;;; d(x, Z) + dIY, s) < p + T - P = T, 10 que contradic e la d ef in ic ion de T.

La propiedad caracterfstica de las bolas abiertas explicada en el ejemplo anterior conduce a la definicion siguiente:

De£inld6n 2. 6. Un subconijunto A de R"es abier-to ei. Mda punta de A es punta intel'io1' de A,

Enunciemos las propiedades de los c cnjunt os abiertos que, en ,,1 c as o de un espacio topo ldg ic o, pueden servir de axiomas {c apftulo cuarto),

PropOS!Ci6n Z. 3. (i) EZ conijunbo vaew yeX espaeio numi1'ico R" son r!onjunt08 airier-toe;

(ii) Si A Y B son (!onjuntos abiel'toll, entoncee A n Bee un cOnjunto abiel"to.

(iii) Si (Atlto[ I ee una familia. arbi trar-ia de conjuntos ab-i.er-tioe , enioncee U A( es un (!Onjunto abierto,

151

Definicion 2..7. E~ eoniiunto de tOMS ZOB punioe intfJ'I'iOMB de un eonjunto A c:: R" ee I.lama el: inteY'ior de A y ee denaia pOI' A.

De la d ef', 2.5 Y la prop. 2.2 (iii) r e s ul.ta que A c:: A. Ade rna s , A = 1 s i, y s610 s i , A e s abierto.

Propoaici6n Z. 4. et inteY'ioi'l d" ouaZquie'I' conjunto A "S abie'I'to.

Proposici6n 2.5. tm corujunto V ee veaindad del punbo x ei., y solo si, oonti"ne un aonjunto abieY'to que oontiene a x.

Proposicion 2.6. EX inte1'io'I' A de un aonjunto A eG La 1'euni6n de todoa loa oonjuntoG a.biei'tos aontenidos enA.

De£inici6n 2.8. Se dice que el. punio a E RP ee adhe1'ente at oon,iunto M c:: R' si aada vecindad de a ooniriene P01' lo menos un pun to de M.

Claro esta que los puntas adherentes a M son los puntas interiares de M y los puntos frontera de M.

53

Definici6n 2.9. El: aonjunto de zodoe los puntas adherentiee a un oorciunto MeR" Be llama La adhe1'encia (0 eerradura ) de My ee

denata pO'I' l'V1. Un aonjunto FeR" f3S aeY'i'Qdo si F = F.

En virtud de Ia prop. 2.2 (iii), sa tiene siempre Me M.

Proposici6n Z. 7. Pmoa un eubeoniiunto M eualquiel'a de R· Be ti,me eM = ((M)O.

Proposici6n Z. B. Un coruiunto Mea ael'1'ado ei , y solo si, eM ee abierto:

Proposici6n 2:.9. La adhereno ia M de cual qui.er conjunto M es un aonjunto ae1'Y'ado.

Proposici6n 2, 10, La adhe1'elWia. M de un corujurito M es l.a inteY'seaai6n de todos los aonjuntos cerradoe que aontienen M.

Proposici6n 2.11. (i) EX aonjunt(J vaa£o y el: eapaoio nWne'I'i(!(J RP son coniiunto« oerradoe:

(ii) Si F Y G 80n conjuntos oerradoe , entonaes F U G ee Un ooniiunto (Jerracio.

(iii) Si (Fd'EJ es una famiUa arbi.tirar ia de oonduntoe oerradoe , en to noe 1.'1 n F es un oon,iunto oel'rodo.

tel

Ejercicios

I) De rnueiat r e s e las proposiciones 2.3, 2.4, 2.5, 2.6, 2.7, 2.8, 2.9,2.1DY2.11.

2) Generalfcense los ejercicios 2)-10) del cap. 1, §2, para el cas c R~.

§ 3. Topologfa Relativa

EI lector ve r if ic a r-a facilmente que todas las definiciones tienen sentido, todas las proposiciones son va lfdas y las demostraeiones conservan su validez, si s e reemplaza R po r R~ en e], cap. 1, § 3.

54

§ 4. Suc:esiones Gonvergentes

de aP), e s decir iunciones que a c ada nfirne ro entero positivo 11, € N hacen corresponder un vector x. E RO. En v ez de n ... xn se es cr lbe (X')'E~ 6 (x.). Como siempre, U,.) es una subsucesi6n de (x.) s i existe una sucesi6n estrictarnente creciente (nk) de nfirne r-os n. € N tal que y~ "x'k para todo kEN. En tal cas 0 s e escribe (x •• ) en v ez de (11k).

Deflnici6n 4.1. Sea (x.) una sucesion de puntos de R~. Be dioe que (x.l oonoerqe 0 tiende haeia el: pun to x E R', 0 que X ee et Z£mite de (x.), si pam ouatquiel' numel'O eatnotamente positiv~ ~ existe Un nWrrel'O entero positivo N = N(~j tal: que d(x,x.) ;§ € para todo entero /'I que vel!'ifiaa la aondiaion n ;;; N(c).

EI hecho de que X e s Ifmite de la sucesi6n (x-.) s e denota x = A~~ x". 5e dice que una sucesi6n (x.) e s oonuerqeniie , 0 que

aonuerqe, 81 existe un punto X E a" hacia el cual ella converge.

Propoeici6n 4, 1, La euaeeion (X.) eonvel"!J13 haeM x FJi, y FJoZa

si, pam cada veaindad V de x 13xiete. Un nWne.l'O entiero positivo

N(V) tal que x. E V, para tioda n;;; N(Vj.

Deruostraci6n. Sup6ngase que (x.) tiende hac ia x, y sea V una vecindad de X. Existe una bola Bp(x), con p > 0, contenida en V [def, Z.4). Sea N(p) ENtal que d(x, x.) ~ p para It ?' N(p). Entonc e s torriando N(V) '" N(p) s e tiene x. E Bp(X) C V para n, .. N(V).

Inversamente, sup6ngase que para cadavecindad V de X existe N(V) ENtal que X. E V para n .. N(V), y sea!: un nfi rne r o estrictamente pos Itivo. Entonces V", Be(x) e s una vecindad de x, y tornarido N(€) '" N(V), s e tien" x E V, e s decir, d(x, xn) ~ €, para n '" N(!:). POl' consiguiente (x.l converge hac ia x. 0

Proposici6n 4.2. EZ pun to a E RIO ee adherente al: condunto M C c aP si, y SQZO si, exist", una eueeeion (xn) de puntos x. E M cuyo Z£mite ee a.

Demostraci6n. Supongamos que a e s adherente a M. Entonc e s para e ada n EN la bola B_l~ (a) e s unavecindad de a y por 10

.+1

tanto contiene uri punto x. EM (def. 2.8). Dado u n nurne r o estrictamente positivo !:, existe un entero positivo N(E:) tal que (N(E:) + + 1 r- ;0 e (prop. 1. 1. 7). Lue go , para n 1:: N(8) s e tiene d(a, x.) '"

s I '" ~ S d' (l t' d h '

- n + 1 - N(e) + 1 - e, es ec rr , X. len e ac ia a.

lrwersamente, s uporiga s e que existe una sucesi6n (xnl de puntos de M que tiende hacia a. Dada una vecindad V de a, existe, en virtud de la prop. 4.1, un x. EM que pertenece a V, Por 10 tanto, a es adherente a M {dcf, 2.8), 0

55

Sea (xn) una sucesi6n de vectores de RP que converge hacia el vector X. Dado e > 0, existe N(!l tal que ci(x, x.) ;l! para n 1;. N(!). En virtud de la desigualdad del triangulo (M3), t erie rn o s

d(x.,x.)" d(x,x.) +d{x,x.l ;;;~+~ '" c para n,m0;; N(!).

Esto conduce ala definici6n siguiente:

Deiinici6n 4. Z. tina euaee ion (x.l de puntos de aP "'s una SUC<'lsian de Cauahy $i para aarta numero estriatamente pO$itivo € existe un .rumeI'O enteI'O positivo N(q tal que d(x., x.l :'§ € paM toda pareja (n, m) de nUmeroB entel"OS que ve'l'ifican las condiai01'les n" 1:: N(e) y m ?, N(s).

Con esta terminolog1a s e puede decirque c a da sucesi6n convergente es una sucesi6n de Cauchy, Es una propiedad fundamental del e s pac io nurne r ic o R" la certeza de la afirmaci6n inversa, e s decir:

Teorema 4, 1. Cada suoeeion de Cauchy de puntos de R' "'" oonvel'gente

Demoetraci6n, En primer lugar, ob s e rve s e que six ~ (xl" •• ,x.1 ell'" (1110 " " II.) son do s puntos de R", entonc e s para cada numero entero J, con I '" J ~ p s e tiene IXl - 11: I '" d(x, 11), ya que

Sea ahora (x.).s~ una sucesi6n de Cauchy y denotemos por X{')"" ,x1'llas c oo r d ena.da.s del vector x" Para cada I: > 0 s e tiene N(e) tal que d(xn,x.) ~ .1:, 51 n.,m §; N(~). En virtud de La obs e r vac ion hecha al principia, para cada numero entero j tal que 1 '" J ~ P se tiene Ix!") - xl') I;;; 8 s i n,m §; N(e), es decir, (XI'»)niN e s una sucesi6n de Cauchy de numeros r ee.Ie s , Del t eo r erna 1. 4, Z r e su lta que, para cada J. la sucesi6n (x}·»).eN tiene un l.Irn ite II: E E R(l ;;; J '" pl. Sea II e l vector (Ill"." II.) de R',

56

Sea I: un nurn e r o real estrictamente positivo, Para cada J con I '" j '" p existe un numero entero NJ tal que I III - xl") I '" ~ para

n. '" Nl, Si N es e I mayor de los nurner-o a Nt."" N., s e tiene d(II,X.) ~ 1:(111 - xl·)";. ". + (Y. - x~n)}"J~;§ {s.p.;. .,' + fJ~ '" €

para n ~ N. Por consiguiente, (x.) converge hacia II. 0

Definici6n 4. 3. Sea X un subcondunto de R·, Se dice que fJ>Z suboonsunto Y de X as denso ",n X si La adher>enaia (Y): de Y r>eZativa a X'es igual a X,

Las t r e s proposiciones siguientes sa demuestran exactamente como las proposiciones correspondiantes del capftulo primero.

Proposici6n 4.3. Sea X un subaon,junto de RP a Y un 8UMonjunto de X. Las oondioiones siguientes son equivalentes:

(a) Y e s denBO en X,

(b) Cualquie:ra qufJ> sea el: pun to x EX, pal"a cada vfJ>cindad V de x reZativa aX se tiene V n Y I ¢'

(c) Pam oada subeon,junto no vaeio A de X, abi erto relabivo a X, 8e tiene Any l' ¢.

Propoaici6n 4.4, Y de X es denso en X aontiene a X,

Sea X un eubcorujurrto de R', EZ subaon;junto si, y solo Bi, La adhel'enaia Y de Y en R·

Propos ici6n 4,5, Sea X un auMon.junto de R". E~ euboorujunto Y de X ee denso en X si , ?f sb'lo ei , para aada x E X existe una sua"aibn (Yo) de puntas de Y que aanveroge haaia x,

Ejemplo 4. I, Sea C" ,,1 conjunto de todos los vectores II '"

(Ill, ... , II,,) c uyas coordenadas IIJ son mirne r08 rae ionales. Entonc e s cI e s denso en RO. En efecta, sea X '" (Xl, •••• X.) u n punta cua Iqui e r a de RO, y ~ un niirne r o estrictamente positivo. En v t r tud del ejernplo 1. 4. I, para cada j, con 1;;; j ;:;, P, existe un mirn e r o IIJ E Q tal que IXJ - III I ;§.£... POI' 10 tanto, s i II e s el vector

IF p 1

(111, ••• , Ii.) E a, se tiene d(x, y) '" ( L (XJ - YJ)ar~:;: P, e s decir, J=l

II E Bp(X). La afirrnaci6n r ea u lt.a entonces de 1a prop. 4.3.

Ejercici08

1) Demuestrese las proposiciones 4.3, 4.4 Y 4.5.

2) GeneraHcense los ej e r c ic io s 3), 4), 7), 8) del cap. 1, § 4 al c a s o de RO.

3) Sea (B,,) una s uc e s Ion de bolas tales que B" => :8,,+1 para todo 1]. E E N·y cuyo r-a.d i o tiende a c e r o, De rrrue s t r e s e que e xts t e un punt o, y s610 uno, que pertenece a toda s las Bn.

51

§ 5. Funciones Continuas

En eata s e cc ion las letras P, q Y r representan t r e s nurn e r o s enteros estrictarnente po e lt iv oa,

Definici6n 5. 1. Sea f una fUncion definida en un subaonjunto X de R" Y oon valoroes en RO. Se dice que f ell' oontinua en el: punto x EX, si para cual.quiel' veoindad W de fIx), d oon.1unto r'(W) ell' una veoindad de x relatiiua aX.

Propoaici6n 5. 1. Sea X un aubaonjunto de R· Y x un punta de

X. Una fUnai6n f: X ~ R" (lS aantinua en el: punta x ai, y s6Zo si> para aada veoindad W de I(x) exi.et:e una ueoindad V de x l'elativa a X tal: que f(V) C w.

Dernostraci6n. Iderit ic a a La de La prop. 1. 5. 1.

Proposic:l6n 5.2. Sea X un auboon,1unto de R· y x un punto de X.

Una J'U=i6n f: X ~ R" es oontinua en el: punta X ai, y soZo ai, para cada £ > a existe & > 0 taZ que de Las oondioiones d(x, II) ~ 6, Ii E X, ae sigue d(!(x), 1(11) ~ 8.

DemoBtraci6n. Suponga s e prirnero que f e s continua en X, Y Sea E > 0. La bola Be(f(xl) es una vecindad de !(x) en RO, luegu, poria prop. 5. 1 Y Ia def. 3, I, existe una vecindad U de X en RP tal que y E U n X im.plica f(y) E Bs(f(x)). La v ec Inda d U de x contiene una bola E6(X) con 6 > ° (def, Z.4), Y po r 10 tanto, las condiciones d(x, vl '" 6, V E X Irnpl ic an dU(x), fU/)) s c.

Inversarnente, sup6ngas e que s e c urnpl e Ia condici6n de la pr oposici6n, Y Sea W una vecindad de f(x) en RO, En v i r-t ud de la def, 2,4 existe e > 0 tal que d(f(xl, Z) ~ € irnplica Z E W, Po r hdpcitesis, existe /j > 0 tal que para todo y E X que verifica d(x, y) .. 6, se tiene d(f(xl, fey)) '" e , e s dedr fey) E W, Luego V", B6(X) n X e.s una vecindad de x relativa a X tal que fly} c W. Lacontinuidad de f en X r ee ulta entonces de la prop. 5,1. 0

PropoBici6n 5.3. Sea X un sub~onjunto de RP y x un puntio de

X. Una .fUnai6n f: X - R' ee oontinua en el: punta ~ ei , Y sOzo 8i, para cada lIuoesi6n (x.) de puntioe x. E X que oonvsl"ge haaia x, la BUlle8i6n (f(x.)) (tonve1'ge haeia I(x).

58

Demostraci6n. Sup6ngase que f e s continua en x, Y sea (x.) una suceai6n de punt os de X que converge hacia x , Dada una vecindad W de I(x) en R', exist" una vecindad U de x en R~ tal que feU n X) c W (prop. 5. I). En virtUd de la prop. 4.1, existe un numero entero pos rt rv o N tal que x. E U para ,,~N, POl' consi-

Ahora aupting as e que f no es continua en el punta x , Entonces existe una vecindad W de !(x) en R" tal que para ninguna vecindad V de X relativa a X Be tiene flY) C W. Para c ada zi EN sea x. un punto de X que pe r't enec e a la bola BV(.+l) (x) y tal que I(x.) no pertimece a W, Dado un niirne r o e > 0, existe un entero pos it ivo N(e) tal que [N(€} + 1 ]-1 ;;; e (prop. 1,1.7), Y po r 10 tanto, d(x, x.) ili

.. " ! 1 ili ~ '" e para " ~ N(E}, e s decir, (x.) tiende hacia », Por ot r a parte estt< c Ia ro que (I(x.)) no tiende hacia I(x). 0-

Proposici6n 5. 4. Sea X un Bubconjunto de R~ e Y un euboon-: ,jwr.to de R", Sea ademde f una [uncion definida en x oon vaZOl"e8 en R" tal quef{X) C Y, y seaguna [uncian definida enY con vatOl'e8 en R', sc I 138 ~ontinua e" x E X Y g ee continua en fIx) E Y, sntonaes (! 0 f s8 continua en x ,

Demo!traci6n, Analoga a la de la prop, 1. 5. 4,

Definicion S. Z. Sea I una ftLnci6n dej'inida en un l1ubconjunto X de R~ y con vaZol"e8 en R". Se dioe que I e8 continua, 0 que t e8 continua sabre X, ai es continua en cada puntio de X.

Las tres p r opoe rc rone s que siguen Be demuestran de rna.ne r a analog a a las p r cpo s ic ioriea correspondientes del primer capitulo.

Propoaici6n 5.5. Sea f una funei6n definida en un suboonjunto X de R~, y con valorell el'l R', tae aiguiel'lte.a oondioiones son eaui-« vatcmtea:

(a) i €IS oontinua.

(b) Para ooda oonjunto abierto A en R., el: conjunto rl(A) <18 abierto retatiiuo aX.

(e) Para cada Mnjunto cerrado F ",n R., el: oonjunto rl(F) es oeITado J'eZativo a X.

Corolario. Sea f una funeion definida en un subconjunto X a", R~ y cOn valores en Za reota real R. Las siguientes oondioiones 80n equivalentes:

(a) f ell .:;on!;inua.

(b') Para cada nWnero real. a, lOB oonjuntos (x E. X I f(x) < a} y [:>; E X 11(:>;) > a} BOn abiert-oe t'eZativos a X.

[c "] Para oada nWnero real a, los aoniiuntoe [x E. xli(x) .. a} y [x E. X I fIx) ~ a J 80n oeJ't'ado8 relativos a X.

59

Proposici6n 5. 6. sc La funoian f: X .... R' ee oontinua, entonce8 la restriccion tiT a", f la cual-mcie» euboonijunto T de X ee tambien continua,

Proposici6n5.7. Toda funcion aonstante que a todo xER" haoe OOr'l'e8pondel' eZ mismo valor c E Rq as oontinua Mbre RP,

Ahora consideraremos otros cj erripl o s de funciones continuas sobre el eapacio nurne r ic o 0 sus subconjuntos. Primero, sin embargo, es necesario recordar e1 concepto de produoto oarte8iano. Sean X e Y dos conjuntos arbitrarios. E1 producto cartesiano de X e Y, denotado par X X Y, es e1 C onjunto de todas las parejas (x, II), donde x e s un elemento de X e II es un elemento de Y. AaI, dos pa r eja s (X,II) y (x', 11') definen 81 rrris rno elemento de X X Y s i, y 8610 si, x=x' e Y= Y'.

Por ejernplo, el producto cartesiano R)( Res pr ec is arnent e e1 conjunto RS• ~s generalmente, si x = (Xl,." ,X.) e s un punto de R~ e 11 = (Yl •••• ,y~) es un punto de R., s e identifica e1 punto (x, y) de RP x Rq con el punto Z = (ZI, .' " zp+~) de RP+q, donde zJ = xJ para 1 .. J .. p y Z".~ '" 11k para 1 ~ Ii; ~ q. As( s e obtiene una identificaci6n

entre el producto c a et es tano RP x R~ y el e s pa.c io RP+<l_ Si X e s un aubc onjunto de R' e Y as un subconjunt o de R\ esta identHicaci6n permite cans iderar X x Y como un subconjunto de R""o.

p-l-q ~ °

Si2=(X,y)ER.·XRo, entonces Iz12= I~'" Lxf+ ~~

)"" )"" .=1

Ixl~-I- lyl2, e s d ac i r , Izi "'(1x13 -I- IYI~)~. POl' 10 tanto, s i z'"

'" (x, Y) y z' = (X'd y') SOn dos puntas de R' X RO '" R'+" se tiene

d(z,z') '" (d(x,x') -I- diY, Y')1t En particular, d(x,x') ~ d(2,Z') y dOl, 11') '" d(z, z').

Teol'ema 5. I. Sean X un 8ubaon,junta de R', f una f"naion definida en X can valores en R', y () una !un<lion definida en X <lon vaZm"es en R", Entoncee Za {uncian h:x'" (fIx), g(x»), definida en X aon vaZot'ss en R'+<, es aontinua si-, y solo ei , lae doe funaiones f y g son contin~as.

60

De mo s tz-ac Idn, Supongamos p r-i rrre r-o que f y g son continuas sobre X y sea X un punto de X. Dado e > 0 e xi st e 0, > 0 tal que las condiciones d(x,x') '" 6, y x' EX implican d(f(x), fix'» ;;;lz, y un

6" > 0 tal que las condic iones d(x, x') ~ 6a y x' E X implican d«(7(x), (7(x'») ;; 7z (prop. 5. Z), ss 6 e s el menor de los dos mirrie r oa 01 y 62, entonces las condiciones d(x, x') ;;; 6 yx' Ex implican d(h(x),h(x')) '"

'" {(fzl+(Jr)a}~ =€, esdecir, hescontinuaenx(prop. 5.2).

Inversamente, sup6ngase que h es continua. Sea x un punto de X y e un ntirne r-o >0. Existe 6> 0 tal que d(x, x') '" 6 y X' € X iITlpl ican d(h(x), h(x')) .. E:. Puesto que d(f(x), fIx')) '" d(h(x), h(X')) y d(g!x), g(x'») '" d(h(xl,h(x'), vemos que f y IJ son continua. en x (prop. 5.2). c

Teorema 5,2, Sea X UI' euboonfunro de RIO e Y un eubconiunto de R ~. Si la l'unai6n (x, v) - f (x ,Y) de finida sabre X x Y y con va lorea en Rr es cont-inua, enton"es pat'a cada 0 E Y La ['uncion x .... [(x, 0) definida en X "on vaZo:/,8s en R' es cont-inua, y para aach a E X La tunoi6n Y ~ f((2, Y) definida en Y 007'1 vaZares en R' es continua,

Demostraci6n. Evidentemente, basta dernostrar la pr Irne r-a af i r rna.c Iori, Sea X un punta de X y e unnumerO >0. Porhip6tesis, existe 1) > 0 tal que las condiciones d«x, h1, (x', v')) ;;; 6, x' E X, y' E Y implican dU(x, 0), fIx', y'» ;0 e. En particular, s i d!x,x') '" i? 0, X' E X, de Ia relacion d«x, b), (x', b) '" d(x,X') r e su lca que d(flx, 0), fIx', b)) ~ €, e s decir x' ... fix', b) es continua en X, <)

Teorema 5.3. La apl.Loao ion (x, y) ~ x + y de R' x R' en R' ee aontinua.

Demostraci6n. Sea Z ~ (X, 11) un punto de R! )( R' y ~ > O. 5i d(z,zl) :§~, don de Zl = (x',y') E RP)( R', entonces can m~s r azon d(X,X'):§~, d(y,y') ;OZ' yporlotanto

d(x + y, x' + !I')

I (x ,.. Y) - (x' + 1/') I '" Ix - X' + 11 - 1/' I ,,; :§ Ix - x' I + I y - y' I :§ t + t €. 0

Corolario 1. Sea X un 8ubaonjunto de R', .II r If g d08 [unc-io» neB conbinuae eobre X, aon valores en R\ Entonoes la fu.naion » - fIx) + ,,(x) ee aontinua sobre X.

Demostraci6n. La funci6n f + (J: x - fIx) + I7(X) ,,8 la composici6n de las funciones x ... (f (x), l7(x) Y (11, z) - y + z. La prime r a es continua, en vi.rtud del. t e o r erna 5. I, Y La segunda 10 e s , en v i r t ud del t eo r e ma 5.3. Entances f + (J es continua en v i rt ud de la prop. 5.4, 0

Corolal'io 2. Papa cada a E RP la fu.naion x - X + a es conirinua sobre R".

61

Esto es c ons ec ue nc Ia inmediata de los t e o r erria.s 5.2 Y 5.3, y g eue r-a.Hz.a Ia prop. 1. 5.8.

Observese que para e s tab Iec e r que una func i on f: X x Y - R', donde X c RP eye R", e s continua en e.I punta z = (X, y) E X X Y, basta deITlostrar que para cada I; > 0 existen dOB nUITler05 01 > 0, o~ > 0 tales que las condiciones d(x,x') ;:;~, x' EX, dry, II'} ;:; 0", e 11' E Y implican d(i(x, II), [(x', W'}) ;O~. En efecto, S1 a y b son dos ntirne r oa reales dendt e s e par rrlin(a, b} el rrie no r de eilos. Entonc es , 5i la condici6n me nc ionada s ub s Is te , Y s I s e pone /) = = JIlin(Ol, (2), la condici6n d(z, Z') ;:; 6, Zl = (x', If') E X x Y Irnpl ic a d(x,x') § Ii :§ 01, X' EX, d(y, y') ;:; 6 ;0 02, y' E Y, Y po r 10 tanto d(f(z), I(z'»;:; e , Esta sencilla ob s e rvac ion r ec Ibfr a unainterpretaci6n mas profunda en la § 1 del apendice,

Teoreroa 5.4, La aplioaaion (a, xl ... ax de R X R' en R' GIS aontinua.

Demostraci6n. Para c ua Iquf e r pareja a., ~ de escalares y cualquier pa r eja X, 1J de vectores s e tiene

ox - ~II '" (a. - f3)(y - xl + (a. - ~)x + o.(x - y).

Sea [0;, x) Un punta de R X R~ y ., un mi me r-o >0. Hay que diatinguir cuatro cas os:

1) 5i a. = 0, x = 0, entonces de III I ::; 1& y ci[x, if) = 1111 ;'; If resulta d(ax,fly) = ]~YI = 1~1 . ]y] s e.

2) Si 0; = 0, X F 0, ent onc e s de

resulta

d[ax,lly) = Icr.x-Ilyl;:; ]131·]y-xl + 11l1·lxl;;;~ +f c ,

3) 5i 0.1 0, X = 0, entonces de

la - .B I ;;; vf, d(x, y) '" Iy\ ~ min (1", 2 \0.1)

resulta

62

d(ax,IlY}

lax-.Byj;;;ja-fl!·lyl+lal·lyl"f +f

€ •

resu!ta

d(ax,IlY) ~let-IlI·ly-xl + la-Sl· Ixl + 1a.1·lx-yl

Corolario 1. Sean X un 8ubaon.iunto de RP y 1 Y rJ doe funaiones aontinuas sabre X, can oo7.01'e8 en R. Entorwes La !unciol'! X" .... J(X)g(x) 0.8 continua en X.

Demostract6n, La func ton jg: X'" f(x)g(x) es la cornpo s i ci dn de las funciones x ... (/(x), ,,(xl) y (a, Il) ... a.1l. La pr-Im e r a e s continua, en virtud del t eo r e rna 5, 1, Y la segunda tarnb ien 10 es, en virtud del teorerna 5.4 aplicado al c a s o particular p = 1. Por tanto 1(1 ea continua en virtud de Ia prop. 5,4. 0

Coroiario Z. Pal'a carla ct E R la funawn X"'o;x 0.8 continua sobre R',

Corolario 3. Para eada. x E R" Za j'unt!lion a"" ax delinida en R y con va~oreB en R? e8 continua.

Ambos corolarios res ultan inm ediatamente de Io s teo r erna s 5.2 y 5.4 y generalizan las proposiciones 1. 5. 9 y 1. 5.10.

EjercicioB

I) De rnueiat r e s e las proposiciones 5. I, 5.4, 5.5 y s u c:orolario, 5.6 Y 5. 7.

Z) Generallcese el ejercicio 1) del cap. primero, § 5, al caso de una func i6n definida en un subconjunto X de ap y can valores en a'.

3) Generalfcese el ejercicio 2) del cap. primero, § 5, al ca.s o de una funci6n definida en un subconjunto de RO.

4) Demueiet r eae que Ia Iunc i6n x .... Ix I definida sobre aP con valores en a es continua.

5) De rnu de t r e s e que la funci6n (x, 11) .... d{x, y) definida sobre a' X a' con valores en R e s continua

6) DemuGstrese que s t f es una func ion continua definida en un subconjunto X de aO, con valores en R, tal que fIx) I- 0 para todo x E X, entonces Ia funcion x .... ~ es continua sobre X.

63

2 6. Conjuntos Compactos

Definici6n 6. I. Un Gubconjunto K del eepaeio nu.nerico R" 8e dine eorrrpaoto ai, pa= cada l'e.:!Uwimiento (AI)HI de K con conjunt08 abiei-toe A,. , e:r:i8te una subfamiZia finita AIt, ••• , At. que aub!'e K.

En virtud de Ia prop. 3.2, Ia definicion anterior equivale a deeir que K es c ornpac to s i para cada recubrimiento (A,,)U! de K con eonjuntos AI c:: K, abiertos relativos a K, existe una subiamilia finita. {Atkh:::;L;;. que cub re K.

Como se ha hecho hast a aho ra en eate capitulo, e e dcja r an a cargo del lector las demostraciones de los resultados que son identic as a cast identic as a aque ltaa de los resultados correspondientes de la § 6 de'l primer capitulo.

Propoeici6n 6. 1. Un 8Ub~onJunto K de R~ ee eompaaio ei , y soZo ai. paroa cada lamiZia (Fillet de conjuntos oerradas Fl tat que

64

{ n Ftl n K = ¢ e:1'iste una lJUbf(1JflUia finita F'l"'" Ft. bal: que I E I

( n Ft,) n K '" ¢.

101

En virtud de la prop. 3.7, se puede dec ir que K es compacto s i, y s610 s i , para cada familia {Filter de conjuntos F, C K c e r r a dc s relativos a K, tal que n Fl = ¢, existe una s ubfamiliafinita Fll, ... ,

~ t,t

F" tal que:. ~ t'k '" p.

Proposiei6n 6. Z. Sea K un eubconfunto de R~. Las siguientes oondioiones son equivalentes:

[a ) K es oompaato .

{b) Pam oualquier eucetricin. (AnI.eN de subaoniiuntoe de K, abiertoe relativos a K, que ve:rifiaan ~ c; ~+1 para n E N y u A.. = K, eeiete un {ndiae s ENtal que A. = K.

AEN

(e) Para cualquiel' sucesion (F.I.&N de su.boonjuntoB de K, eerradoe !'elativo! a K, que vel'ifican F.:::) F."l para n EN y n F. =

= ¢, e.2:1-ste un indioe sEN tal que F, = %. • e"

Damoetraci6n. Se de rnu es t r a , e.xac ta.rne'nt e como en el eapftu- 10 prirnero, que (a) implica (b) y (c), y que (b) y (c) son equivalentes. Demostremos ahara que (b) impliea [a},

5up6ngaBe que (b) sea cierto, y sea (Athe, un recubrimienta de K can C onjuntos AI C K ab i e r tos relativos a K. Ade ma s , sea t un lndice f ijo , y x un punta de At. Puesto que AI es ab ie rt o relativo a K, existe un mi rrre r o entero if; ~ 1 tal que B)/l( (x) n K C AI. En

v ir tud del ej e rrip'Io 4.1, existe un punto y E ~ tal que d(x, y) < .L Y, pOI' consiguiente, X E 01/2"(Y) n K cA. 2k

Ahora, los conj unto s 0ll""(Y) nK, donde Y E 11', kEN, y k;;; I, que estan contenidos en algun conjunto ~, forman una colecci6n enumerable, ya que Ci' y N son conjuntos enumerables. De s de Iueg o es posible ordenarlos en una sucesi6n que Il.arna r e rnoa (Bol. Los conjuntos Bo son abiertos relativas a K (prop. 3.2). Par htpot es Is , cada punto x E K e s t a contenido en algun conjunto AI y se ac aba de v e r que cada punta de ~ esta contenido en algun .8 •• por 10 tanto (B.)· es un recubrimiento de K. 5i para cada TO E N se

pone Co = U B" entonees (Cnl es un recubrimiento de K, los

conjuntos Gn son abiertos relativos a K (prop. 3.3 (iii)) y s e cumpIe C. c: C'+l para n. EN. Por h ipote s Is , existe un lndice 8 EN tal que C, '" K, e s decir, ~ B. = K. 5i a cada lndice k, donde 0 ;;

)s:=c

~ k ~ 8, hacemos corresponder un c onjunto A,. que contenga a Bk, entonc e s la familia (A;~), ~ k ~, c ub r e K, 10 que demu e st r a que K e s compacta. ()

Proposici6n 6.3. Un eubaontiunto K de R' as compacta si, y sble si, pa1'<l eada suoeeidn (x.) de puntoe x. E K existe. una sub-: eucesion (x.k) que COIWf'Jt'ge haaia un punta de K.

Un conjunto M del e s pac i o nurrie r ic o RP s e dice aootada s i eeta contenido en una bola. Se puede Buponer, adernas , que el centro de La bola "5 e1 origen. En e{ecta, si M C Bp(x), entoncea Me C BP+I.dO), ya que de d(x,Y) =" p s e sigue d(O,Y)"d(O,x)+d(x,Y} ~ Ixl + P.

Un conjunto Me RP e s acotado s i, y s6lo s i., para cada entero J, donde 1 ~ J ~ p, existen dos mirne r'o s r-ea Ie s aJ y bl tales que aJ ;; xJ ;;; b, para to do punto X = (Xl, ••• ,x.l E M. En efectc, si dicha condici6n se c urnpl e , sea oJ = rnax] I a,l, I b 11). Entonces s e tiene -0, ~ X, =" oJ para cada X" (x',! ••• ,x.J E M, y par 10 tanto, M C Bp(OI, donde p2 = or + •.. + 0 •• Inversamente, s i M CBp(O), entonces -p ~ xJ ~ p para X = (Xl, •.. ,x.) EM y 1 ~ J ~ p.

PropoBici6n 6.4. Un sUbaOn,iunto K de R" ee oompaaio ei, y

aoto si, as aoatado y o8l'1'ado.

Demostraci6n. Sea K un subcon)untoacotado y cerrado de R', y (x.l una sucesi6n de puntas x. = (x1"), .••• xt~)l E K. Para cadaj can 1 ~ J ~ p ex.is t en dos numeras reales (lJ Y OJ tales que (lJ Oi ~ x~") ~ b para n EN. En virtud de 1a prop. 1. 6.4 se puede es-

65

coger una aub auc e s idn (x.,.) de (x.) tal que x converge ac ia un limite lil E [al, 0,] cuando';.; - "'., Luego, de (x".) se puede eseager una subsucesi6n (x." I tal que x&·.l converge hacia un rnirn e r o Y2 E E [a., b.j cuando k! =,

COntinuando de e s ta manera s e llega a1 cabo de p pasos a una s ub s uc e s ion (x .. l de (x.l tal que, para cada J, donde 1 ~ J ~ Oi P, la sucesi6n (xl'l<~ de numeros r ea.l.e s converge hac ia un numero real ItJ. Designemos par y el punto (!ll, ••• , lip) de RP y sea e un njime r o >0. Para cada Jean 1 Oi J :::i P existe un N, ENtal que 1!l1 - xl"!;) I Oi J.p, 51 If; ~ NJ• Si N e.s el mayor de los nume\os Nl, ... ,N., se tiene d(y,x.k) = (Yl _ x!'kl)2 + ••. + (Yp _ x~""l)a} Oi

• 3.!.

Oi [~ + .•• + }J" '" € para k 1'; N. POl' consiguiente, la sucesi6n

(x.k) converge hacia e1 punta II E aP• En virtud de 1a prop. 4. Z Y de la hip6tesis s egiin' la cua l K es c e r r-ado , r e s u lt a que 11 E K y, por 10 tanto, K es compacta.

Inversamente, sup6ngase que K sea compacta. Sea X un punta adherent" a K. En virtud de la prop. 4. Z, existe una auc e s Icn de puntas xn E K que converge bacia x , Par otra parte, existe una aubs uc es ion (x.xl de (x.l que converge hac ia un punto de K (prop.

6.3). Puesto que cada subsucesi6n de Una s uc e s ron convergente converge hacia el mismo ifrnite, resulta que x E K, e s decir, K es cerrado (def. 2.9).

Finalmente, es claro que las bolas abiertas 0.(01, con n. E N, n;;; 1 cubrena K. Envirtudde Ia prop, 6, Z (b), existe un sEN tal que K C O.(O} v , pOl' 10 tanto, K e s a cot.a.do , 0

Ejemplo 6,1. Toda bola cerrada en RP es un conjunto compac-

to,

Ejemplo 6. Z. Para cada nurn e r-o entero jean 1 ;0 J ;0 p, sean a:J Y b, dos nume r cs r ea l e s tales que iZl ;:2 bl' Entonces, e I conjunto pea, b) de tod08 los puntos X '" (Xl, .•. ,x~) €: R." que ve r if ic an a, ;; XJ ;;; b, para 1 "' J ~ p e s compacto. En efecto, s e ha visto mas arriba que e s ac o ta.do, y se deja a.l lector como ej e r c ic io demostrar que es cerrado.

Proposic!6n 6.5. Sea f una f'unci£n continua definiOO en un subconjunto oompaato K de R", y con valopee en R~. Entonces et conjunto f{K) ee aompaato .

66

Sea / una fune ion deHnida S obre un conjunto X cualquiera y con vafor e s en RO. Se dice que Ia Iunc ion f es ac otada s i el c:onjunto fIX) de sus vafo r e s es un conjunto acotado en RO,

Teorem& 6,1. ToOO jUncion eontinua, defini-da sobre un subconjunto eompaeto K de RP y eon valoree en Rq es acotada.

Teorema 6,2. Sea f una j"u.ncion continua, definida. en un conjunto compaeto K de R~ y con valoree en 'la recta peal R. EntoncBS exi-ste un punta ~ E K tal que f(s) ~ f(x) pal"a todo x E K, Y un punto T] E K tal que /(11) ;;; fIx) paPa todo x E K.

Definici6n 6.2.. Una j"u.ncwn f def-lnida en un suooonjunto X de R.P y <lon va1.o1'ea en Rqes uniformemente eontinua ei para eada nUmer-o e > a exi-ste un nzimer-o 6 > 0 tat que las condiciones x E X, 11 E X Y d(x,1/) ;0 6 impUcan d(f(x), fly»~ § €.

Otra vez res ulta de la prop. ~. 2 que una funci6n unifor=emente continua es continua (del, 5, Z},

Teorem& 6,3. Toda j'uneion cont-inua definida eobre un eonjunto <lompacto de RP y con vaZopee en Rq es unifol'memente oontinua.

DemoBtrad6n. Sea K un conjunto compacto en RP y f: K ... R" una func iein continua. Dado € > 0, para cada x E K existe o(x) > 0

tal que II E B20N(x) n K irnplica d(f(x), t(y» ;;; te (prop, 5. Zl. Las bolas ab ie r ta.s 06(»(x) cubren K y po r consiguiente existe un mirne r o finito de puntos Xl, •.. ,X. tales que las bolas 06(x.)(X.), con I ~ k ~ m cubren K. Sea b > 0 el menor de los nfirne r-o s 6(x.), donde 1 ,;; k ~ m.

Sean x, 1/ dos puntas de K tales que d(x, y) ,;; 6, Exist" un punto xk tal que x e O&h)(Xk), es decir a(x.,x) < 6(x~), Y po r 10 tanto

a(x, , y) "" d(x"x) + a(x, II) < Ii(x.) + 6 :;; 20 (x.) , e s decir, 11 e B2o«I<)(xl<)' POl' consiguiente s e tiene dU(x,}, fIx)} "' t~, d(f(x.}, f(y»),; t €, de

1 1

donde res uIta a(f (x), f(y)) ;;; d(f(x),f(x.)) + d(f (x.), f(lI» :;; '2€ + 2& = €. 0

EjercicioB

I) De mueis t r ea e la prop, 6,1, la primera parte de la prop. 6.2, las proposiciones 6.3 Y 6,5 y los teoremas 6. 1 Y 6,2.

2) De rnue st r ea e que el conjunto pEa, b] definido en el ejemplo 6. Z es cerrado ..

3} Generalfcese el ejercicio 2} del c apftu'lo primero, § 6, a.I cas 0 de un aubconjunto X de R',

67

3

ESPACIOS METRIC OS

§ 1. Def!nie i6n de los Espacios Metrieos

Oefin!ci6n 1. 1. Una mitroiaa sobl"8 un aonjunto E ee una funcion que a cada pal"sja de elementos x, 11 E E ha"e corresponder un niimero real positivQ d(X,II), Y que tiene las propiedadee siguientes:

(Ml) d(x, y) ~ 08i. Y 86Zo ei., x = y.

(M2) Pam cada pare ja x, II E E, se iii.ene d(x, y) ~ dIy, x).

(M3) Pal"a toda terM x, y, z E E, as triene d(x, z) ~ d(x, Y) + + dIY, z) (desigualdad del trHingulo).

69

Un aonjunto proviato de una metri"a ae

sus elementos se lZaman puntos y e tanda de los puntas x e y.

Ejemplo 1. 1. Se sigue de La prop. Z. 1. 7 que la distancia d(x, y) ~ Ix - yj define una metrica sabre RO.

Ejemp10 1. Z. Sea K un subconjunto compacta de RP y den6tese por elK) = C(K; Rq) e1 conjunto de todas las funciones continuas definidas sabre K yean valores en R\ Del corolario 1 del teorerna Z. 5.3 resulta que s i f E elK) y g E elK), entanees f + rJ E E C(K). Del corolario 2 de I teorema Z. 5. 4 y de la prop. Z. 5.4 resulta que ai Ct. E R y f E elK), entonees la fund au ai : X - a.f(x) pertenece a e(K). Es LicU verificar que las do s ope r ac Iones a1gebraicas (!, rJ) .... f + g y (o., f) .... a! satisfaeen las condiciones (EVl)I EV8) del cap. s e gurid o, § 1, "S decir elK) es un e apac i.o vectorial.

Combinando el ejercicio Z. 5.4 con La prop. 2..5.4 se ve que, para c ada f E C(K), la funci6n If j : » .... I f(x)i, c on valor es en R, es cantinuay entonces alcanza su rnaximo rnaxi!(x} I envirtud del

xEK

teorema 2..6.2. Eate maximo s e llama la norrna de f y se d errot a par llfll. La funci on f ... Ilfll definidasobre elK), y con val ores en el conjunto R,. de los mirn e.r os reales positivos, tiene las propie-

dades s i gu i ent e s (analagaB a las de La rxo r-rri a de un vector de ap, enumeradas en Ia prop. 2.. I. 6):

(NI) Jl/Ii '" ° s i , Y s610 s i , I(x) '" 0, para todo X E K.

(N2) Para todo es c ala r a E R y toda func ion I E elK) s e tiene

110,/11 = 10,1· Jl/II.

(N3) Para toda pa r eja t, IJ de funciones en C.(Kl s e Hene lit +

+ IJII ~ II/IJ + Ilgll.

En efecto, si fIx) = ° para todo X E K, entonces I I (x) I '" ° para todo x E K, Y por 10 tanto, 11111 = maxi fIx} I = O. lnversarnente,

xEK

si 11111 '" 0, eritonc e s de la desigualdad ° ~ I(x) ;;;: 11/11 resultaque I I(x) I = ° para todo X E K, es decir, fex) = 0 para todo x E K. Eato demuestra (NIl.

Luego sea S E K tal que 11111 = I I(s) I. Entonces I f{S) 1'= I f(x) 1 para to do X E K, Y por' 10 tanto, 10;1 . !l/11 '" I elf(~)1 ~ I elf ex) I para todo x E K, as decir, 110;/11 = Jell· IIIIJ.

70

Finalmente, para todo X E K Be tiene I f(x} + r;(xll ;0 I f(x) I + + 1r;(Xll ;0 IItll + 1Ir;1l y, par 10 tanto, lit + r;1l = max If(x) + r;{x)1 ~ xEK

Ahora llegamos a la definicion de la distancia en el e s pac io elK), la cual es muy semejante a Ia definici6n de la diataneia en RP (def. Z.l. 2): para t, r; E C(K) s e pone dU, r;) = lit - r;U. La verificaci6n de 109 axiomas (Mll-(M3j se hace como en la prop. Z.1.7. La r elac ion dU, r;) = III - r;J =0 significaque f(x) -g(x) = 0 para todo x E K, es decir que f = r;. Puesto que I - g = (-I)(g - fl, en virtud de (NZ) a e tiene dU, gl '" Ilt -r;1l = II [-I)(g - flli = 1-11 . IIg- tl/ '" dIg, I). Finalmente, de la identidad f - h = (f - g) + (g - Il) y de (N3) resulta que d(/, h) '" II f - hll ;0 III -r;1l + 11r; -hI! '" dU, r;) + + d(g, h) para f, IJ, I; E C( K).

Ejemplo 1.3. Sea 13 e l conjunto de todas las sucesiones g '" '" (~.l.eN de mi me r-os realea tales que la aerie r ~~ con terminoB

positivos es convergente. La expres i6n II 1511 : '" ( ~ ~!'l' s e llama

a.=a

norma de g. Esta c Ia ro que II ~II '" 0 s I, y 8610 s i , 5. = 0 para todo n EN. Ade.rnaa , si para 0. E R y s E 1~ Hamamos o.s a la suc es icn (o.S.), entonces Be tiene I/asl! '" lell • IIg!!. Asf s e hademostrado que la nor-rna s at iafac e las condiciones (Nl) y (N2) (prop. Z. 1.6).

Si Ii Y TJ son dos sueesiones perteneeientes a 12, sea g + TJ la sucesi6n (So + TJ')"H. Queremos demostrar que S + TJ E 1~ Y que II Ii: + TJII :; 1/ ;:11 + IITJII, es decir que Ia nor-rna tiene tam bien la propiedad (N3). En virtud de la desigualdad del triangulo para 106 e spac loe RP teriemos , para cada pEN,

y con mas raz6n

Ee una consecuencia inmediata del teorema 1. 4.1 que una aerie con terminos positivos ea convergente s i , Y s610 s i , Ia sucesi6n de sus sumas parciales es acotada, y que entonees s u suma es e1 extremo superior de las sumas paz-c lal e s , Por 10 tanto, la serie

r «, + n.)a es convergente, eS decir S + 1'] pertenece a 12, y se

D. =!l

tiene

71

que equ iva.Ie ala desigualdad (N3) que se querfa demostrar.

La definici6n de la distancia. de dos elementos ~ E 13 Y n E l~ eS otra vez la. misma. que en los ejemplos anteriores, a saber d(~, 1']) = II s - 1111. Se puede deja.r al lector el deducir las propiedades (Ml)-(M3) de la dista.ncia. a partir delas propiedades (Nll-(N3) de Ia norma.

Se veri£ica muy facUmente que las doe operaciones algebraicaa (~, TJ) ... S + 1] Y (0.,5) ... o.~ s at ia fac en los axiornaa (EVIl-(EVB) del cap. segundo, § I, es dec Ir , que 1~ e s un espacio vectorial. Fue Erhardt Schmidt quien introdujo en 1908 el espacia vectorial la, con la metrica d efinida aquf, bajo e l nornbre de "espado de Hilbert".

Ejemplo 1,4. Sea p un mime r o pr lmo, Se demuestra al principia de todo curso sobre Ia tearfa de numeros que to do mirnez-o racional r E Q distinto de c e r-o s e puede escribir en la. forma r =

= ~ p., donde p no divide 108 nUmeros enteros m y n, n > 0, Y S es un nfirne r o entero definido de una manera unfvoc a par r, El valor

aba o lut.c P-adico de un mi rrae r-o racional r: ;i. a e e define entonces por Irl. = [', y se c crnpl.eta Ia deflrnc ion porrierido 101. = o. Esta c Ia r o de e s ta definicion que, para todo rEO, el valor I rl, e s un numero real positivo y que I rl. = 0 s i , y s610 s i , r = O. Sean q "

= ~p' y r ,,*' pt dos nrirne r os r ac iona Ie s 1-0 y sea, por ej e mpl o, S ~ t, e s de c i r , Iq I. ;:, 1 r~. Entonces s e puede escribir q + r "

mn'o'-t + m'n t I I '

nn' P, Y por 10 tanto, q + r , ., P- , es dec i r ,

(l)

La distancia correspondiente al valor absoluto P-adico s e define, de mane r a aria log a a los ca s o s anterior" s , par d(q, r) " 1 q- rip para todo ll, r E C. Es ev ide nt e que esta distanc ia curnple la condici6n (MI), y de la r e Iac i Sn I-II. = 1 resulta que d(q, r} " =lll-rl,=i(-I)(r-q}lp=I-11 •• lr-q\.= d(r,q), e s decir, la c ond ic i Sn (M2). En v ez de la propiedad (M3) tenemos una desigualdad mas fuerte, a saber

(2)

72

para cualquier terna de rni rn e r o s racionales r1.l" r2, r:J. La desigualdad (2) :resulta inmediatamente de la identidad 1"1 - 1"~ " (rl - r~) + + (r2 - ra) y de Ia desigualdad (1).

Un e s pac i o metrico E tal que la distancia s at isf'ac e para toda terna x, /I, z E E en vez de (M3), la desigualdad mas fuerte

(UM)

d(x, z) ;e; max(d(x, W}, d(/I, z»

s e llama espacio uZtrctmitI'iao, y (UM) s e llama la des igualdad ult'r arnet.r Ica , Se ac aba de vel' que Q provisto de 1a rnetricaP-adica. es un espacio u.l t r arn et r ic Q.

EjercicioB

I) Dernue's er es e que para dos f'unc i one s 1 y g que pe rt ene c en a elK) (ejern. I. 2) se tiene I1lgll ~ 11111 ·11[711. Dese un ej e rnp lo donde 111[711 I- 11111· Ilgll.

2) De mue at r es e que. i dos numeros rac ionales q y r son tales que Iq\,< Irl., entonces setiene Iq +rl,= Ir\ •.

3} Dernudat r e a e que en un espacio ultrametrico cada t:riangulo es isosceles, e s decir, dados tres puntos x, II, e, dos de los t r e s numeros el(x, 11), d(y, z), d(z, xl son igua1es,

§ Z. Veclndadea; Conjuntca Abiertos y Cerradoa

Esta s ec c i Sn sera muy breve ya que se advierte al lector que, Con una sola excepcion". no se han utilizado en la § 2 del cap. segundo mas que las propiedades (MI)-IM3) de Ia rn et r ic a de R~, y por consiguiente, tadas las definiciones y proposiciones con sus demostraciones respectivas se pueden repetir, pa Iab r a por palabra, reemplazando :aP par un e s pac Io metdeo c ual.qu ie r a ,

La excepci6n sef'lalada arriba oc u r r-e en el ejemplo 2.2.1 al dernostrar que los puntas de Sp(x) son los puntas frontera de la bola c e r r ada Bp(x), y s e nt-il iz an muy esencialrnente propiedades pa rt ic ula r e s del espacio :ap• Esto no e s accidental ya que la propiedad mencionada no e s vilida en un espacio metrico arbitrario. Mas precisamente, a e rnoat r a r a elhechobastante sorprendente de que, en un espaeio ult rarnet r Ic o, los puntos de Sp(X) son puntos interiores de Bp(x). En "facto, sea Y un punto de Sp(x), y z un punto de Bp(Y). Entonces s e tiene d(x, z) '" rnax(d(x, Y), d(y. z» '" P, e s decir, Z E. Bp(x). Por 10 tanto, la vecindad Bp(y) de y esui contenida en Bp(X), e s dec Ir , yes un punto interior de Bp(x).

De esta manera una bola cerrada en un e s pac io ul t r a.rn et r ic o as al :mismo tiernpo un conjunto c e r ra.dc y un eonjunto ablerto.

73

Ejercicios

1) Sea E un espaeio uUI'a:metrico, X un punta de E y P un ni'imero >0.

a) Dernues t r e s e que la bolaabierta Op(x) e s un c o njunt o ab ie r-»to y cerrado.

b) De mue at r e s e que para todo Y E. Op(X} s e tiene Sp(X) = Sp(y).

c) De mue s t r e e e que para todo yE. Bp(x) s e tieneBplx) =Bp(Y).

d) De rriu e s t r-e s e que para todo y E 0p(X) s e tiene 0p(X) = 0p(Y).

e) Dernue s t.r e s e que si dos bolas {ab ie r ta s 0 cerradas) tienen un punto en c omun, entonces una de e!las est:!. contenida en la ct r a ,

§ 3. Metrica Inducida

Sea E un e s pac io metTico y X un subeonjunto de E. Denotemos pOl' d la rnetrica sobre E. Hay una manera rnuy natural de definil' una metriea d~ s ob r e el eonjunto X: para c a da pareja de puntas X, y E. X se pone dx(x, y) = d(X, y). Eo evidente que la fund6n d,

aat+sfac e los axiomas (Ml)-(M3). De esta rna rie r a X se vuelve en uri espacio metrico y dx e e llama Ia met1'iaa indllaida sabre X.

Sea X un punto de X y P un nurne r o >0. Se denota pOl' B~(X) Ia bola c e r r-a da [y I II E X, dx(x, y) ~ p] de centro X y radio ~ en X provista de la ITletrica indue ida d~. EsUi. c Ia r o que B~(x) es la traza de la bola Bplx) '" (y III E. E, a(X, II) ~ p} sabre X, e s de c i r , B~(X) =

Bp(X) n X.

Definamos una vecindad V de un punta X E X relativa a X como en Ia def. 1.3. 1, a saber como el eonjunto t r az.a V = u n X s ob r e X de una vec indad U de X en E. Entonces V e s una vec indad de x relativa a X s i, Y s6lo s i , e s una vecindad de X en el e apac io met r ic o X provisto de Ia metrica inducida, En ef'ect.o, s i V = U n X, donde U ~ Bp(x), erit onc e s V ~ B~(xl. Inversamente, a i V e s un subc onjunt o de X que contiene una bola ce:r:rada B~(x) can P > 0, entonces U = V U Bp(x) es una v e c indad de X en El y se tiene U n X =

(V U Bplx)) n X = (V n Xl U (Bp(x) n Xl = V U Bp(X) = v.

74

De aquf sigue que s i s e definen los puntos int e r io r e s yadherentes relativos a X, los conjuntos ab ie r-tos relativos a X, 108 conjunt08 c e r eados relativos a X, etc , , como en Ia § 3 del cap. p r irn e r o, entonces todos los res ultados de Ia § 2 sobre vec indades, c onjuntos abiertos, c onjuntos c e a-z-ado s , etc., son autornatfcarnent e ciertos para vecindades relativas a X, c onjuntos ab ie rt os relativos a X, conjuntos cerrados relativos a X, ecc; , y no se necesita dernostraci6n a l guna, Nos refe r-irnos , en pa r-t icu'la r , a lag propos ie iones 3. I, 3.3, 3.4, 3,5, 3.6, 3.8 Y 3.9 del cap. primero.

POl' otra parte, los resultados ana logo s a las proposiciones 1, 3. 2 Y 1. 3. 7 y sus c o i-o Ia r loe , que relacionan los conjuntos abiert06 y cerrados de X )' E, se dernues t r an e xac taruent e como en e l primer capftulo. Podemos dejar los detalles a cargo del lector.

§ 4. Suceeiones Convergentes

En esta s ec c ien s e consideran auc e s i one s (X.).eN euyos terminos x. son puntos de un espado metrico E. Ellector s e darlicuenta sin di£icultad de que la definici6n de una sucesi6n convergente (def.Z.4.1) y las pr opoe ic ionee 4.1 y 4.2 del cap. segundo subsisten sin cambia si s e reemplaza en el la s el e s pac Io nu m e r ic o aP pot" un es pac Io met r tc o cualquiera E.

En razon de su Irnpo r tan ci a para 10 que sigue s e r e itc r a del cap. segundo Ia siguiente definicion.

Defini<:t6n 4.2. Una sucres"'on (x.) de puntos de E as una sucesion de Cauchy ei: paN cada ntUnel'o estriatamente positivo ~ exi8- te un nWnero eniiero positivo N(e) tat que d(xq, x.} ~ s PaN toda pareja (n, m)' de numero8 entero8 que verifican tas condiaiones n;;:: "' N(€l Y m", N(€).

Seve pa.Lab r a por palabra c orno en elsegundo capitulo que Cada eucesi6n convergente e s una sucesi6n de Cauchy. El r e c fpr-o» co, sin embargo, no es necesariamente cierto para todo e s pac io met r ic o, y esto conduce a 1<>. definici6n siguiente:

Definici6n 4. 3, Se dice que un espado metrico E (is aomp1.eto si cada sucesian de Cauchy de puntos de E converge hacia un punta de. E.

Ejemplo 4. 1. En virtud del te.o r erna 2.4.1, el espacio metrico RP es completo.

EjempLo 4.2. El conjunto 0 de los mirne r os racionales s e convierte en un espacio metrico s i la distancia de dos niirne r oa r ac Iona.l e s g y r s e define par dIg, r) = Ig - rl. En realidad, Ia m et r ic a as! obtenida as la metrica indue ida par Ia de la recta real R.

75

Observemos ahara el heche muy conocido de que no existe nurne r c raciona1 cuyo cuadrado sea Z. En ef ec to , sup6ngase que rEO e s tal que ,.a '" 2, Y e s c r-fbas e r en La forma 7t' donde m y n

SOn dos numeros enteros sin divisor c orndn, Entonc e s de Ia re1aci6nm2 '" Zn2 s e sigue quem es divisible po r 2, e s decir, m" 2m'. Reemplazando m por 2m' en Ia ecuaci6n anterior s e obtiene 2m'" = = na, de donde resuIta que n ta mbf en tiene que ser divisible po r 2, en contradicci6n can Ia hip6tesis de que m y n no Henen divisor c omun, Esta contradicci6n demuestra que no puede existir nUITlero r ac iona l cuyo c uad r ado s ea 2..

Definamos ahara La s uc e s ion (rA) de rui me r-os r ac ionaf ee poniendo ro = 2 Y r.n '" J,.(r. + £.) para n EN. Para todo n EN s e tiene

" rA

r: > 2, ya que

como la expre9i6n r, - i- no puede s e r igual a c e r o , De aquf s e siguequer.+1<r. paratodo n.EN, puesto que r.+l "!(rq+f)< -c t(r. + ~) '" r.. De estas propiedade s res ulta facilmente 'que

r.

(rn) e s una s uc e s Ior; de Cauchy. SI (r.) tuviera un lfmite en Q, este lfmite r aat i sfa r fa Ia r e lac ion r '" f[r +~) [cf', ejarcicio4 del

cap. pr ime ro , § 4), e s dec ir ,-:J '" 2, que as impos ible. Se ha derrio s t r-a.do pues que Q no e s un e s pa c Io rrret r-Ic o c o rrrp l et o ,

Ejemplo 4,3, Sea K un subconjunto compacto de R~, y C(K) ",C(K;R") e1 e s pa c io rriet r ic o introducido en e1 ej e mpl o 1.2. Demostraremos que ClK) e s completo. Sea (in) una sucesi6n de Cauchy en C(K). Entonces, para cada e > 0 existe un nume r o entero pos it ivo N(q tal que

II I. - I.JI '" max If" (x) - f .(x) I '" e xEK

sin,m;;;N(s), En particular, para cada X E K s e t ie n e I/n(x)- 1,(x)1 "'.; s i n,m ~ N(€), e s decirlasucesi6n (fn(X)).EN de vectores de R· es una sue es ion de Cauchy y en virtud del t e o r e ma Z. 4. I tiene un Ifrntt e f(x) E R", Falta de moe t r a r que la func idn 1: x- fIx) pertenece a elK) y que (In) converge hac ia f en C(K).

En primer Iuga r demostremos que para cada ~ > 0 existe un ruirn e r o entero N1(€) tal que

76

(1)

En efecto, Sa t ie rie If .(X) - f .(x) I ~! para todo x E K Y n.,m ,;;, N(~). POl' otra parte, para c ada x E K e xiat e un nurne r o N.(x, q tal que l1(x) -1.(x)1 ;o~, sim;;;N2(x;€). PongarnosN1(€)=N(f). Sipara

X E K s e esc oge m mayor que Net) y N. (x, €), s e obtiene

I/(x) - f.(x)] s If(x) I.(x) 1+ 1/.(x) - i.(x) 1 ;;!! + t e

para n. ;.: NI(e), lOS decir, s e cumple (1),

Adopternos 1a terminologla s igui.e nt e i Sea (g.).eN una s uc e s ion de funciones definidas sobre un s ub c onj unt o X de RP can valor e s en R~, Se dice que (17.) converge urrifoz-rrie me nte sabre X hacia la fune ion g: X - R" s i para c ada nfirne r o e > 0 existe un mirn« 1'0 entero po s it iv o Nl{e), independiente de X E X, tal que 4«(7(x), g.(x)) ~ ~ e, para todo x EX y n?; Nl(e), De e.s ta manera, (I) significa que (i.) converge uniformernente hacia f.

La continuidad de f s e deduce entonces de Ia pr opos ic ion siguiante: Sea (g,) una auc e s ion de func ione s continuas d efin ida s en un subconjunto X de RP, con val or es en R', que converge unifor-

memente S obre X hac ia la func ion Q: X - R'. Entonces la func ion (l e s continua. Para demostrarlo, sea e un nrirne r o >0 y X un punto de X. Exi s te un Ind ic e n. tal que d«(7(w), g.(I1)) ,,% para todo 11 E

E X, Y pu e s t o que g. e s continua e xis te un nurrie r-o 0 > 0 tal qLle d(Q.( xl, (lu( Y)) "1' para t od o II E Xtal que d(x, II) ,:§ 6 (prop. Z. 5. 2). Por consiguiente, para II E X tal que d(x, Y) § 6 se tiene

d((l(x), g(y») ;0 d(g(x), g.(x)) + d(g.(x), g.(y)) + d((l.(Y), g(y)) -c

e e decir, (l e s continua enx (prop. 2.5.2).

Finalmente, (1) equivale a

e s dec i r , (fn) converge h ac ia f en el e s pa c io metrico e(K). As; queda demostrado que elK) es completo y a I mismo tiempo s e ve que la convergencia en C-(K) equivale a la convergencia uniforme sobre K.

Ejemplo 4.4. EI "espaciD de Hilbert" l~ del ejemplo 1. 3 ea completo. En efecto, sea (;("heN una sucesi6n de Cauchy de ele-

mentos de 12, donde cada ~(k) e s unasucesi6n(g~')"~Ncon r (s!Jc))"

77

111::;:-0

c onv e r g e nt e , Para cada e > 0 existe un niirne r o entero po s it ivo

N(g) tal que

y con mas raz6n

para k,J " N(~), cualquiera que sea n EN. ASl (s!k)hEN es una BUc e s Ion de Cauchy de numeroB reales y envirtud del teorema 1. 4. 2 converge hacia un niime z-o {:. E R. Sea S la sucesi6n (S.)"EN' Falta demostrar que S pertenece a 12 y que (S(,)) converge hacia S en 18,

Dado c > 0, para cada pEN s e tiene

I .t.{S~j) - di<))a l~ ~ lisP} - g(I<)U ~ !

si if,J ;;; Nt'2-). Par otra parte, para eada p existe un rurrn e r o N,,(P, c) tal que 1 So - siJ~ a z1f:+:l para 0 ;;; n ;;; p 5i J ~N,,(P, q, es

decir

s I J ~ N2(P, e). st, dado pEN, s e torna j mayor que N(~) y que Nip, e), s e obtiene, en virtud de la des igualdad del triangulo en los espacios RP, que

(2)

78

s i if ~ N{~). De aquf resuIta, utilizandootravez ladesigualdad del triangulo, que

Lts:}t ;;;tt(S"-S~"»)~1:/;1+Lt(g!k))2Jt ~ 1: + 11\;«)11

para to do P, s i if es un Ind ic e fijo mayor que N(~). As f Ia serie r g: converge, y S pertenece al espacio 12. Luego, de (2) re-

:0.=0

auIta que

s i Ii: ~ N(!), es decir, S = ~im s(».

It"-'"

EI reaultado principal de ee ta s ecc ion sera que cada espacio metrico se puede "inmergir" en un e s pac io metrico completo exac « tamente como Q e sta inmerso en R. Antes de poder enunciar este resultado con precision e s necesal"io introduc!r algunos conceptos auxfHa r es ,

En primer lugar s e puede g ene ra.Hea r Ia def. 4.3 del cap. segundo de la rnarie r a siguiente:

Definici6n 4.4. UI1 subconfunto D de UI1 eepao io me'trico E ell denso el1 E 8i ta adhereneia 6 de D e8 iqual. a E.

Definici6n 4. 6. Se dice que un eepac io me"trico E ell de tipo enwrremble si exi ete una suoesion (On)n~N de suboonjuntos abiertos, de E tal: que todo oonjunto abierto A (;; E sea la l'eunion de una sUbfamitiafinita 0 infinitade (On),

Se dice tambii5n que un e s pa.c i o de tipoanurnerable s at is Iac e el nsegundo axioma de e nurne i-ab i Hdad'", Se vera en el capitulo siguiente (§ 4) que as 10 que se entiende par e1 "primer axiom a de enurnerabilidad". Basta dedr ahora que todo espacio metrico 10 9 at is fac e ,

Propoeici6n 4.5. 1Jn espacio metrioo ee de tipo enumerable si, y s6Zo si, eS separabZe.

Demostraci6n. 5i E es un e s pac Lo rnet r ic o de tipo enumerable, sea (O.),eN una s uc es Ion de s ubc onjunt os abiertos que satisface a Ia condici6n de la def', 4.6. Porsupuesto, s e puede suponer que n ing urio de los conjuntos On es vac Io , Para cada " EN sea X. un punto de On. Entonces el conjunto D de todos los puntos x. es enumerable y Des denso en E, en virtud de Ia prop. 4.3, ya que todo conjunto abierto no vacfo A contiene por 10 me nos un eonjunto O. y, por 10 tanto, un pu nt o X ••

80

Supong aa e ahora que e l e s pac io rnet r ic o E es separable, y sea

de todas las bolas abiertas 01;1.+1)(X.), donde " y m r ec o r r e n N, es un conjunto enumerable de c o nj unt o s abiertos, y par 10 tanto s e 'pu e.d e ordenar en una s uc ea ion, Se n ec e s tta todavfa demostrar que, dado un eonjunto abierto A ;0 ~ y un punto X E A, existe un conjunto Dy'( .. l)(X.) tal que X E 0y'(m+l)(.:rn) c; A. Pue aro que A es abierto, existe una bola Bp(x) con p > 0 contenida en A. Sea m un ntime r o entero positivo tal que ~ ~..£. y X. lin punto de 0 tal

I 2 .

que d(x,x.l < m+j. Entonces x E 0V(.+l)(X.). Por otra parte, St

II E 0V( •• l)(X.), s e tiene d(x, II) ~ d(x, ;>:;.) + d(x., 1/1 < m ~ I + m ~ 1 ~ P, es de c i r , 0y'(.+l)(x") C Bp(;>:;) y, con mas raz6n, Ol/(o+1)(xnl(;; A. 0

Definicion 4.1. Una apUoacion f de un eepaeio metroioo X 00- bra otro eepac io metrico Y se llama una ieometrw 8i d(f(x), f(II)) = = d(x, II) para aada paroeja de puntos x, II E X. Se dice que doe €J8- pae-ioe metl'ico8 Ban isometl'icos si existe una isometro{a de uno sobre e L otrro ,

Una Ls orn et r fa f: X .. Y es siempre una aplicaci6n inyectiva, ya que s i fIx) = flY), entonces de d(x, y) = d(f(x), f(y)) = 0 s e s igu e x = Y. Esti claro que s i t . X .. Y e s una Ie omet'rfa, entoncesla aplicaci6n Inve r s a rl: Y - X t arnb Ien 10 e s ,

En la de mo s t r ac ion del t.eo r-ern a que sigue e e necesita e l concepto de Ia l'slaaion de eqUivalenaia, uno de los mas importantes de la teoda de eonjuntos, que se r ec o r da r a rrruy brevemente aquf. Sea X un conjunto cualquiera. Se llama relaci6n de e qu iv a.Ie nc i.a sobre X todo subconjunto R del producto cartesiano X x X tef. cap. segundo, * 5) que tiene las propiedades aiguientea:

(a) Para cada X E X la pa r eja (X, xl pertenece a R [r eflexiv Idad).

(b) 5i (x, II) E R, ent onc e s <11, x) " R (simetrfa).

(e) 5i (x, 1/) E R Y (II, z) E R, entonees (X, z) E R(transitividadl.

5i (x, yl € R se suele decir que X e s equivalents a II modulo R, y s e e a c r ib e XRy <5 X - y. Can e s ta ultima nota c ldn las propiedades mencionadas arriba s e escriben:

{a'l Para cada X E X Be tiene x r« ;c;

(b') Si x - y, entonces lI- X.

(e'l Si X - II e Y - e, entonces X - e,

Una r e lac icn de equivalencia R s ob r e e1 c onj unt o X define una pa rt Ic i-Sn de X, e s decir, una familia (p( It if de subconjuntos de X, dOB a dos sin el.e mentc c orntin, y cuya reunion es todo X. En efeeto, s i para c ada X Il.a marno s P, al conjunto de todos los elementos eqllivalentes a x , entonces X E P" en virtud de (a). Ademas s i p. y P, tienen un elemento Z en c ormin, entonces de z ~X y z ~ II resulta, en virtud de (b) y (c}, que X ~ y. Luego, s i t E E Fr, entonces de t~ yell ~x s e s igue que t ~ x , e s d ac Ir t EP. y par 10 tanto Py C p.. Se ve de la rn is ma mane z-a que p. cPr, 10 que da, finalmente, p. = Pr•

81

Cada conjuntoP(se llama una clase deequivalencia de X modulo R. Asl, una c Ia.s e de equivalencia e5 un s ubc onjunt o de X que consiste de todos los elementos de X que son equivalentes a un elemento cualqute r a de la c Ia s ej ad ernas dos elementos arbitrarios de la c Ias e son equivalentes. Se pue de format Iu ego un nuevo c onjunto cuyos elementos 50n las clases de e qu ival e nc ia de X, que a e llama e I conjunto c oc i ent e de X=6dulo R, y s e denota po r X/R. La aplicaci6n ql de X sobre X/R, que a cada elemento de X hace corresponder la c Ia s e de equivalencia a Ia c ua.l pe rtenece, S e llama Ia s up r-ay ec c Ion c a nrirric a, Si P e s un elernento de X/R, cada elemento X E X tal que ql(x) = P s e llama un representante de P.

Cabe ahara enunciar el siguiente te o r erna ,

Tecrema 4. 1. Sea E un espaaio metJ'iao. E:riete un eepac-ia mit!'i~o compt.eto E y una inyeccion. j: E .. E tat gus J sea una isomet'l'ta de E eobre J(E) y que J(E) sea dense en E.

Demoetraci6n. Sea X e I conjunto de todas las sucesiones de Cauchy de puntos de E. Sobre elconjunto X sedefine una relaci6n de equiva1encia R de 1a ma.ne r a siguiente: s i (xo) y (Yo) son dos aucesiones de Cauchy, se dira que (x.) ~ (y"l s i Ia sucesi6n (d(x., Y.)} de numeros reales tiende hac ia cera. Se cump1en las condiciones (a)-(e) que definen una relaci6n de e qui va le nci a , En efecto, d(x" , x.) '" 0 y d(x., II.) = d(Yn, x.) para todo n. Ade ma.s , s i d(x., Y.) ;§ ;§ f y d(Yn, z.l ;§ t para n "N, se tiene d(x., zo) ;§ e para n ~ N.

El C onjunto 11: 8 e ra ahara el C onjunto coc iente XjR. Def irrirnoe una metrica a sabre 11: de la rrrarre r-a siguiente: dado dos elementos X e y de E, sea (x.) un representante de X e (Y.) un representante de if en X, y pongamos

(3)

lim a(x., Y.).

n-'"

82

En primer lugar, rniembro existe. y par 10 tanto

hay que dernostrar que ellfrnite en el segundo Se Hene d(x", II.) ;§ d(x., x.l + d(x., Y.) + d(y., II.),

I d(x" yo) - d(x., Yo) I ;;; d(x., x,) + dIY"~ iI.).

Puesto que (x.) y (Y.) son sucesiones de Cauchy, esta de s Ig ual.dad muestra q,ue, para cualquier e :;, 0, e xi.s te N(€) tal que I d(x., iI.l - - d(x., Y.) I ;;;~, s i 11., m ?; N(~), e s decir, (d(x., Y.)) e s una sucesi6n de ·Cauchy en R. En virtud del teorem a 1. 4.2 resulta pues que la sucesi6n (d(x., !I.)) converge.

Demostremos a ho r a que el lfmite en (3) e s independiente de Ia e eleec i6n de 106 repres entantes de i e iI. En efecto, s ea po r ejernpl o (x~) otro representante de X. Entonces de d(xn, Y.) ;0 ;0 d(x., xU + d(x~, Y.) resulta

I d(x., Y.) - d(x~, Y.) I ;;; d(x., x~)

y, por 10 tanto,

I ali, iI) - d(x~, !I.) I ;1l I a(i-, y) - d(x., YA) I + d(x., xn.

Puesto que d(x, Ii) es elllrnite de (d(x., !I.»), y que (xu) es equivalente a (x~) modulo R, s e ve de la ultima desigualdad que tarnbien d{x~, Y.) converge ha c la il(x, ill.

La f unc i.ori des una rnetrica sobre E. Enefecto, cada d(x., Y.) ea un mime r o real pcs It iyo, y entonces se s igue del ejemplo 1. Z. I Y djl La prop. 1. 4. Z que d(i, ~} tamb ien es un nume 1'0 real pos itivo. Si d(x, it) '" 0, entonces (d(x •• II.)) tiende hacia c e r'o , e s dec i r , (x.) - - (Y.) Y po r Lo tanto :X = y. Puesto que d(x., Y.) = d( Y., x.) para todo 11 E N, s e tiene d(x, it) "d(y, x) (d. ejercicio 1). Sean finalrnente x, if y t tres punt os de E y (x.), (Y.), (z.) sus representantes. Dado c > 0, existe N(.) tal que

para 11 is N(.). Utilizando otra v e z el ejemplo 1. 2. I Y la prop. I. 4. Z, Y acle ma s e I ejercicio 1. 4.4, s e obt ie n e

Fuesto que e fue un numero positivo arbitrario, reaulta que

d(x, i) ~ d(x, it) + alit, i).

Si x es un punto de E, sea (x.) E X~ Ia s uc es icn de Cauchy en que X. '" X para cada n EN, Y sea i: E E la c Ia s e de equivalencia modulo R que contiene (x.). Estaclaro que la aplicaci6n J i » .... ;;; de E en E es una i s orn et r Ia de E s ob r e su imagen j( E) en E.

83

Sea;; un punto de E y sea (x.) un representante de X en X. Si pon:mos x. '" J(x.) para mEN, entonces la s uc e s Ion (x.) converge en E haeia X, ya que d(i, x.) = J~rg a::(x., X.) y, puesto que (x.) e s

una sucesi6n~de Cauchy, s e tiene d(x"x.) " e para 11., m 0; N(&), y por 10 tanto d(x, x.) ~ e para m 0; N( &). Esto demuestra que J( E) es denso en E (prop. 4.4).

Finahnente, demostramos que el e s pac Io metdeo E e s COmpleto. Sea (i,) una sueesi6n de Cauchy en E. Para "ada 1'1 E N existe un punto ii, " J(Y.) E J(E) tal que d(x" y,) ~~. La sucesi6n

(Y.) e s una suc e s ion de Cauchy en E puesto que

A A A ~

d(y,. Y.) " d(Ii •• li.) ~ d(li .. i,) + d(i., x.) + d(;i; •• li.).

For 10 tanto (y,) e s el representante de un punta 1; de E. He moa vista que entonces (y,) converge hac ia X. Puesto que d{x, i.) ,. ,. d{x, Ii,) + ii:(li.,x.l " ii:(.:o:, Ii,) +1::, tarnb Ien la sucesi6n (x.) con-

verge hac ia X. ()

La pa r eja (J, El construida en el teorerna 4. 1 s e llama un aompZetado de E. Veremos en Ia § 5 que en unciertosentido la pareja (J, El es unica. En Ia p ract lc a s e suele identificar E can J(E),

b) DeBe una s uc e s Ion (il.) de furic iorre s continuas def in ida a sobre [0,1 J can valores en:itl tal que para 0 :;; x < 1 la sucesi6n !(7o{X)).8N converge haeia 0, y La sucesi6n «(7.(l)) converge ha c ia 1.

5) Demueatr es e que el e s pac io rne t r ic o 1" e s separable.

6) De mu Ss t r e s e que e I e apac Io rriet-r ic o elK) e e separable. (UtiHce se par ejemplo el teorema de aproxirnaci6n polinomiaL de Weierstrass. )

7) En el anillo Z de los nfirrie r o s enteros sea m un numero f'ij o , Se dice que dos mi m e r o s enteros a y b son congruentes modulo m, y se "scribe a .. b (mod. m), s i m divide b - a.

a) De mue st r e s e que a '" b (mod. m) s i , Y s610 s i, a y b dejan el m is mo residuo al dividirlos por m.

b) De rriue s t r e s e que la eongruem:ia de dos nurne r os "8 una reIac ion de equivalencia sabre Z.

c) De mu Sat re s e que el c onjunto c oc i ent e , que s e suele d enota r por Zjm, es, can las operaciones inducidas, uri anillo de m elernentos.

85

§ 5. Func!ones Gontinuas

En e1 c a.s o de do s as pac i os metricos, Ia definicion de una funcian continua (ef. def. Z. 5.1) tiene La forma siguiente:

Definici6n 5.1. sean X e Y doe eepao ioe metroieo8, y f una fimcion de.finida en X, eon va~oroe8 o9n Y. Se dice que f ee aontinua en el: punto x E X si pam eualquiero veaindad W de i(x) en Y el: aoniiunto rl( W) 138 una »eoi.ndad de x en X.

Se puede d.ej a r al lector Ia facil tarea de c onve nc e r s e de que las p r-opo s ic iorre s 5.1-5.7, junto c on sus demostraciones, y la definicion 5. Z de los doe primeros c apftul o s 8 e adaptan inmediatamente al c as o de funciones definidas en un c s pac io rnet r ic o X con valores en otro e s pac io rnet r ic o Y. La unica excepci6n es el cor ol a r io de la prop. 5.5, que evidentemente no tiene s entido sino cuando s e trata de funciones can valares en Ia recta real 1\. Acontinuaci6n nOB r efe r irnos a la forma general de estos resultados con el rnismo ntime r o que llevan en los dos prirneros eapftu1os.

Generalizaremos ahora el teorema 2. 5. 1. Sean X e Y dos espacios metric05 cuyas metrieas r-e s pec t iva s representaremos por dx Y dr. Sobre el producto ca rt es tano X X Y definirernos Ia metrica p r oduct o dx, r = d poniendo

para toda pareja (X, II), (x', 11') de puntos de X X Y. Verifiquemas que la funci6n d es en efecto una mi'ltrica S ob r-e X X Y. En pritner lugar d[(x, Y), (x', y')) = 0 e s equivalente a las dos re1aciones d,(x,x') '" 0 y a:y(Y, II') = 0, e s decir a X = x', Y'" Y' Y "stas ultimas significan que (x, y) '" (x', Y'), Lapropiedad d((x, Y), (x',Y')); '" d«( x', 11'), (x, Y)) e s evidente. Finalmente, s i (x, Yl, (X', y') y (x", y") son tres puntas de X X Y, entonc e s utilizandoladesigualdad de Cauchy c Schwa r z (lerna Z. 1. I) obtenernos

86

d«(x, Y), (x", y" )" ; d,,(x, x")" + dy(Y, 11")" '"

:; (a,(x,x') + d,(x',x")}" + (dy(Y, y') + dy(Y', II")}"

a,(x, x')" + a,(x', XII)" + ay(y, Y')" + d,(y', Y")" + + z[dx(x,x'ld.(x',X") + dy(y, Y')dy(Y', II")} '"

:; d,(x,x')" + dr(y, yll" + d,(x',xll)" + dr(y', Y"la +

+ z{dxlx,x')" + dy(Y, 1I,)aJ~{d,(xI,x")" + dy{ Y', Y" ),,}t [{d,,[x,x')" + dy(Y, 1I,)"}1l- + (dx[x',x")" + dr(y', yII)"}f!]" Cd(x, Y), (x', y'» + a(x', y'), (x", y"))]".

Tornando las r afc e s cuadradas positivas del prirnero y del tilt irrio rrri e rnb r o S e obtiene la des igualdad del tri1ingulo para d.

Ob s S'rv e s e que s i X'" aP e Y '" RO, con 8US metricas respectivas, ent onc e s des precisamente Ia rnetrica de X X Y = ap+q (cL cap. segundo, § 5). De ahara en adelante, al hab la r del producto c a r-t e a ia.no de do s eapac los met.r ic cs , s e 10 considerare. provisto de la rnet r ic a producto. Para toda pa r eja (x, Y}, (x', y') de X X Y s e tienen las de s Iguafdad.e s d~(x, x') :::; d«(x, II), (x', y')} y dv(l/, 11') '" :::; d«x,Y),(X',Y')}.

Teorerna 5. 1. Sean X, Y y Z tr>es eepaaiae m[t;:t>iaos, f una funcion definida en X aon valoree en Y Y (J una funcion definida. en X aon vaZores en Z. Entionoee Za funcion h: x .... (f(x), ,,(x)) definida en X, aon vaZoree en Y X Z, ee aontinua !Ii, y 86Zo si, lae doe funaion8s f y (J son aontinuas.

Demostraci6n. Sup6ngase pr-Irne z-o que t y (J son c ont inua s a cb r e X, y sea X un punto de X. Dado E: > 0 existe 61 > 0 tal que las condiciones x' EX, dx!x, X') :::; 61 implican dy(f(x), I(x'» ~ rz' y

existe I>,a> 0 tal que las condiciones x, EX, d,(x,x') :; 6" implican

d,(g(x), g(x'» ~ fz (prop. 5. Z). Si & es el manor de los dOB nurneros al y 6:!, entonces de las condiciones x' E X, d,{x,x'} ~ Ii s e inf ie r e

dy.,(h(x), h(X'}) (dy(/(x), /(x')l" + d,(O'(x), g(x' ))2J t;

.. t(Y2) .. C:zy]t E:.

as decir, h ,,5 continua en x (prop. 5.2).

Inversamente, sup6ngase que h es continua. Para cada punto X E X Y c > 0 existe & > 0 tal que x' E X y dx(x, x') .. 6 implican ciy.,(h(x),h(x'» .. e, y con mas raz6n d,(f(x),f{x'» .. e, d«I7(x),g(x~) .. .. €. Por 10 tanto, f Y (l son continuas (prop. 5. Z). <>

Se deja allector la generalizaci6n del teorema 2.5.2 al c a s o de una funci6n continua f: X )( Y - Z, donde X, Y y Z son e s pac Ios rnetricos.

Proposici6n 5.8. Sean. X e Y dos espaaioe metriaos, y f Y (l doe [unciones oontinuas definidas en X oon valoNs ,m Y. Entonaes eZ con,junto de loe punzoe x tales que fIx) = g(x) ee cerrado .

Demostraci6n. Pongas e F '" (x I fIx) = ",(x)}, y 9 ea y un punto adherente a F. Existe (prop. 4.2) una sucesi6n (x.l de puntas de F que converge hacia Y. Puesto que las funciones / Y 0' son continuas, la s uc e s Ion (!(.l:'.)) converge hacia flY) Y la sucesi6n (O'(x.» converge hacia g(y) (prop. 5.3). Pero f(x.) = g(xol para todo 1"1 E E N; luego f(y) = g(y) {eje r c , 4. 1. b) y par 10 tanto, y E F, es decir, F e s cerrado (dei. 2..9). 0

87

Bos quejemos ot r a demostraci6n de la prop. 5.8, cuyo interes reside en que mantiene s u validez en situaciones generales en las cuales e1 ra:oonamiento empleado arriba la pierde (d. cap. c uaz-to, § 4). Sea F = {x I f(x) = (l(X)], y sea h. la funci6n X ... ([(x), g(xl) con valores en Y X Y. La diagonal IJ. de Y X Y, es decir, el conjunto de todos los puntos (Y, Y), 11 E Y, as un subconjunto c e r r ado de Y X X Y (ejerc. 5). Puesto que h. as continua en virtud del teorema 5.1, el conjunto F = h-l(.:I) es cerrado (prop. 5.5).

Corolario. Sean X e Y dOB eepacio8 metricoB. y f y g doe fu7ICiones continuas definidas en X aon vaZol"SS en Y. Si fix) = g(x) paN todoe 206 puntos x de un oorujuntio D que es deneo (def. 4.4l en X, entonces f y g coinciden en cada punto de X.

DemoBtraci6n. En virtud de la p:rop. 5.8, se tiene fIx) = g(x) para todo punto x de un conjunto Ce rrado que contiene D. Con mas

raz6n (prop. 2.10) s e tiene fIx) X. 0

g(x) para xED, pero D

Mas adelante Be ne c esitara e I resultado e igu ie nt e:

Proposici6n 5. 9. Sea E un eepaeio metrico. s; (xo) es WIG sucesi6n de punxoe que conve1'ge hao-ia el: punta x , e (Y.) ee una suaesi6n de puntos que oonvel'gehaoia el. puniio Y,entonaes Za suoesion de numEJl'oll positivos (d(x", Y.ll converge haaia el: numeI'o d(x, y). En oerae palabrae, La [una idn (x, 11) ~ <:I(x, y) definida en E x E y Mn valoree ;!11 R. ee oontinua (d. prop. 5.3 y ejercicio 3).

Demo8traci6n. (d. La demostraci6n de que e1 !fmite en la formula (3) existe, en la de rno s t r ac ion del t.e o r-e rria. 4. 1.) De las des igualdades

d(x, y) ~ d(x, x.) + d(x., Y.) + d(y., y)

y

a(x., Yo) ~ d(x., x) + d(x, y} + diY, Y.)

resulta

88

-d(x, Xn) - dIY, !In) -< d(x, y) - d(xn, Yn} -e: d(x, x.) + diY, Y.1

e s d ec i r

I d(x,!I) - <:I(X., Y.) I ;§ d(x, xn) + diY, Y.).

Dado un nurne r o e > 0, existe un mi rne r o s nt a r o N tal que d(x,x.l '" ~ t y diy, !In) s t para I'! ~ N (def. 4.1), y por 10 tanto, I d(x, it) - - d(x., Y.) I ~ € para I'! ~ N, 10 que de rnu e s t r-a la proposici6n (def. 1.4,l},O

Reiteremos aquf una definici6n que en los c apftul.o s antedores habfarno s introducido s610 en las § 6 (def, Z. 6,2),

Definici6n 5,3, Sean X e Y dOB eepac-ioe metI'iC08. Una [uncion f definida en X y con ual.oree en Y Gf' dice unifol'fflemente continua ai., para cada nWnero € > 0, eeiete un nWne"f'o (j > 0 tal que si WII puntoe x.»: E X8atisfacen ad(x,x');;;&,entanaesd(f(x},f(x'»" .. c ,

Una f unc i on uniformemente continua e s , en particular, continua (prop. S.2 y def. 5.2),

raz6n (prop. 2.10) s e tiene fIx) X. 0

g(x) para xED, pero D

Mas adelante Be ne c esitara e I resultado e igu ie nt e:

Proposici6n 5. 9. Sea E un eepaeio metrico. s; (xo) es WIG sucesi6n de punxoe que conve1'ge hao-ia el: punta x , e (Y.) ee una suaesi6n de puntos que oonvel'gehaoia el. puniio Y,entonaes Za suoesion de numEJl'oll positivos (d(x", Y.ll converge haaia el: numeI'o d(x, y). En oerae palabrae, La [una idn (x, 11) ~ <:I(x, y) definida en E x E y Mn valoree ;!11 R. ee oontinua (d. prop. 5.3 y ejercicio 3).

Demo8traci6n. (d. La demostraci6n de que e1 !fmite en la formula (3) existe, en la de rno s t r ac ion del t.e o r-e rria. 4. 1.) De las des igualdades

d(x, y) ~ d(x, x.) + d(x., Y.) + d(y., y)

y

a(x., Yo) ~ d(x., x) + d(x, y} + diY, Y.)

resulta

88

-d(x, Xn) - dIY, !In) -< d(x, y) - d(xn, Yn} -e: d(x, x.) + diY, Y.1

e s d ec i r

I d(x,!I) - <:I(X., Y.) I ;§ d(x, xn) + diY, Y.).

Dado un nurne r o e > 0, existe un mi rne r o s nt a r o N tal que d(x,x.l '" ~ t y diy, !In) s t para I'! ~ N (def. 4.1), y por 10 tanto, I d(x, it) - - d(x., Y.) I ~ € para I'! ~ N, 10 que de rnu e s t r-a la proposici6n (def. 1.4,l},O

Reiteremos aquf una definici6n que en los c apftul.o s antedores habfarno s introducido s610 en las § 6 (def, Z. 6,2),

Definici6n 5,3, Sean X e Y dOB eepac-ioe metI'iC08. Una [uncion f definida en X y con ual.oree en Y Gf' dice unifol'fflemente continua ai., para cada nWnero € > 0, eeiete un nWne"f'o (j > 0 tal que si WII puntoe x.»: E X8atisfacen ad(x,x');;;&,entanaesd(f(x},f(x'»" .. c ,

Una f unc i on uniformemente continua e s , en particular, continua (prop. S.2 y def. 5.2),

Proposici6n 5. 10. Sea i : X - Y una .funcion uniformemente oontinua (def. 5.3) y (x.) una 8Uoesion de Cau"hy (def', 4.2) en X. E'n-

tonces (f(X.» as una suoeai6n de C=hy en Y.

Demostraci6n. Dado c > 0, exret e 0 > ° tal que dl.r,x')., I> Irnpl ic a dU(.r), f(x'» ;0 E:. Por otro lado, existe N(&) tal que d(x",x.)~ ~ 6 para n '" N(o) y m?:; N(5). Por cons:iguiente, dU(x"), f(x.» :§ e para n ?:; N(a), m ~ N(6). 0

Teorema 5. 3. Sea X un espaoio metl'ioo, D un eubaordurito denso (def. 4.4) de X e Y un espaoio "u?tl'ioo oomol.eto (def. 4.3). Si f es una [uncian uniformemente oontinua definida en D (provisto de la ITletrica inducida, § 3) cOn lJalol'ea en Y, entonces eeiete una ,funcion [: X - Y unifo1'memente aontinua, 11 una Bola, tal qUe fIx) ~ ~ f (x) pa1'a todo xED.

Derncst rac len, Para un punto x E Dse pone naturalmente fIx) '" = j(x), Sea X un punta de X que no pertenece a D, y sea (d.) Una sucesi6n de punto s de D que converge bacia » (prop. 4.4). Entonc e s , (d.) e s una s uc e s ion de Cauchy en D y resulta de la prop. 5. 10 que (f(dn» e s una s uc e s idn de Cauchy en Y. Puesto que:! e s COInp'lat o, (f(x.}) converge hac ia, un punto 11 E Y, y s e pone {(xl = y.

El punto liE Yes independiente de como s e elija Ia suce ai Sn de Cauchy (d,) que converge hacia x, En efecto, sea (e~) ot ra suce-

89

,

Existe un nurnero 0> 0 tal que d(X,XI) '" 6, X,X' E D implica dU(x) , fIx'»~ '" j. Lue go existe un nurne r o entero po s i.t iv o N tal

que drx-, a,) :::;_~ y d(x,e.) ",1. Y pOT 10 tanto d(d.,e.):::;_ Ii y d(f(d.),!(e.}) '" :§ j para n !!; N. Sea z e1 Hmire de La s uc e s Ion ([(en)). Para n s uficientemente grande t ene rnos

PUesto que e: repres enta un nume ro >0 arbitrario, s e tiene d( y, z) .. ~ 0, es dec!r, 11= Z.

Sea ~ un DelInero >0 y sea Ii > 0 tal que a(x, XI) ;0 36 iITlplique dU(X), f(x')) ~1 para x, X' E D. Dernostrarernos que entonees

d(x,x') '" Ii iITlplica d(i(x), i(x')) ;0 c para x,x' EX. Sean, enefecto, x y X' do s puntas de X tales que d(x, XI) ~ o. Sea (d,l una suc e s ion de puntos de D que converge hac ia x , y (e,) una sucesi6n de punt os de D que converge hac la x'. Puesto que (f(d.)) converge hacia [(X) y (I(e.» converge hacia [(x'), e xj s t e un mirne r o entero positivo N tal que

d(x, d.) ~ 6,

d(x', en) ;!; 6,

d(nx), !(d.ll "' 1,

para n. ~ N. Aho r a bien,

d(d", e.) ;!; d(d., x) + d(x, x') + d(x', e.) ;; 0+8 +0 = 36,

y por 10 tanto d(f(d.), [(e.)) ~ 3 para n ~ N. Tomando n. ;:; N se obtiene finalmente:

£ e €

;; 3' + "3 + 3' '" E:.

La unicidad de Ia !uncion j r es u lta del c o ro la r io de Ia prop. 5.8. 0

90

Corolario. Si en el- tesrema 5. 3 La fii.n;ion [ es una i_!omet-rta. de D eobre f(D), enton"M f ell una Leometr-ia de X eobre fIX).

Demoatraci6n. Sean X y X' dos puntas de X y Sean (d.) y (e.l

tivamente. mos

,

En v i r tud de Ia definicion de f y de Ia prop. 5.9 tene-

d(lim !(d.), lim f(e.») =

lim dU(d,), f(e.» '" lim d(d., e.) '" d(x,x'). 0

Ahara s e puc de enunciar y demastrar la unicidad ya menc ionada del compl.etado de un espacio metrico.

Fropoaici6n 5. 11. Sea E un esp<zoio metri"o. Para h; '" 1,2 sea ~ un espaaio met-riM oompl.eto y JIl una apZioooion de E en ~ tat que J.(E) ee denso en E,.y J~ es una isometrUt de E sobre JdE). Entonces existe una iaomet'['ta t de El sabre £:2 y una sola tat que J. '" t. • Jl-

Demostraci6n. La aplicac ion J •• J~l e s una iaometrfa de Jl( E) s ob r-e J.(E) y can mas raz6n uniformemente continua. Fuesto que Jl(E) e s denso en El y EiJ e s completo, en virtud del teoreIT1a 5.3

existe Una a pl ic a.c i.on i. ::8, it .. que sabre JdE) coincide can j~ 0 s: yen virtud del corolario i. e s una isometrla. Ademas, se tjene t • J! = J2 • J~l 0 J, "J~. Falta pues de mo s t r a r que t apl ica E, s ob r e E2, Sea 11 E. f a , Existe una sucesi6n de puntos (Y.) de J,,(E) que converge hacia y. Poniendo x. = J,(J;?(y.)) para cada n E N, s e obt iene una sucesi6n de C~auchy (X.) de punt os de JI(E) que converge hacia un punta X EE" Tenemos, pues, t(x) " " lim f(X.) = lim j"(J;'(x.)) " lim Y. "y, 0

n-co n.,_m n-o:l-

Ejercici08

1) Enunciens e y demuestrense detal1a.darnente las propos iClones 5,1-5.7 y el t e o r e rn a 5,2.

2) DeHnase la metrica producto s ob r e ,,1 producto c.a r te e Iano, EI X E:a X '" )( E~ de varios espacios metricos y generalfcense los teoremas 5.1 y 5, Z para e s te c as o,

3) Sean X e Y dos e a pac ios metricos y X x Y s u producto cartesiano provisto de Ia lIletrica p r oduc to , Si (x.) e s una sucesi6n de puntas de X e (y.) ea una aucesi6n de puntas de Y, dernu es tr e s e que la sucesi6n ((x" Y.)).EN converge en X X Y hacia el punto (x, Y) s i, y solo si, (x.) converge hacia X e (y.) converge hacia y.

91

4) De mueat r e s e que s i E es un espaeio metrico, entonces la funcion (X, y) .. d(x, y) e s uniformemente continua s ob r e E x E.

5) Sea E un espacio met.r ic o, De mue s tr e s e que la diagonal t. = = ((x,X) Ix E EJ es un subconjunto cerrado de E X E. (Utilfcese el ejercicio I a) de Ia § 4. ),

6) Sean X e Y dos e s pa c i o s rnet r ic o a , Y ([.).EN una s uc e s ron de funciones t.: X - Y. Se dice que (i.) converge uniformelIlente sobre X hac ia la funclan i: X ~ Y s i pa r a e ada mimc r o e > 0 existeun nrim er o entero N{t) tal que n.", N(.:) Irnpl ic a d{f(x), t.(xl) ;!; € para todo X E. X. Dernue s t r e s e que si (f.) e s una sucesi6n de funciones continuas f 0: X ~ Y que converge uniformemente hac ia t , X - Y, entonee 6 f es continua,

7) Sea E uri espacio met r ic o, y (J, E) su completado. Dernue st r e-, s e que 8i f e s una apl.ic ac ion unifOl'memente continua de E en un espacio rnetrico completo arbit~ar~o X, entonc!,s e xi.s te una aplic ac ion uniformemente continua f: E - X tal que f • j '" J. Demuest r e s e que, inversamente, s l la pareja (J, El tiene esta propiedad, entonees e s un completado de E.

§ 6, Espados Cornpact.os

Definici6n 6, I. Se. dice qile un eepao-io metroico E ee compacto si pam eada roeaubroimi.mto (Adt€1 de E can coniiuritoe abierto» At exist", una 8ubfamiZia finita All' ' , . ,At. que cubre E. Se dice aue un subaon.iunro K de un eepaeio metl'Wo ee compacto ei , provista de La metrioa ililluoida (23), ee un eepac io compacta.

Proposici6n 6, 1. Sea E un eepaodo metrico. condiciones son equivalentes:

Las siguientes

( i) E es comoaeto ,

(ii) Pam cada famiZia (FdHl de oonjuntoll "amdas F! t.ar QUe trl Ft '" fl, etciet:e una subfamUia finita Ftp ••• ,Fl. tal QUe" ~ ,Ft.

'" fl.

(iii) Pa1'a oual.ouier 8UCeS1.0n (An)nEN de mWoonjuntos ab ietrtoe de E taZ que A. C A.+1 pam n E NyU An = E, existe un tndioe s E

E N taZ aue A, = E. • U

92

(iv) Pa1'a cuatouie» suaesion (F.).eN de subcanjunt08 cerrados de E taZ que Fn ;:) F.+l pam n EN y n Fn = l},exiBte un {ndioe sEN nIH

tal que F. '" 11.

(v) Toda slIce8ion de puntas de E tiene una Bubm<aesion eon-

vePfJente.

Demostraci6n, La equivalencia de (i) y de (ii), ba sa da en que At e s abierto s i , y s610 s i , F! = CAt e s c e r r-a.do y en que U ~ = E IE J

s i , Y s610 s i, n Fl = fl, s e ve como enlademostraci6ndelaprop.

lEI

1. 6,1, yes verdaderamente trivial. De modo semejante s e ve que las condiciones (iii) y (tv) son equivalentes y qu e las condiciorre s (i) y Iii) implican las condiciones (iii) y (iv), como oc u r r e en La de mos t r ac tcn de Ia prop. 1.6.2. Que (i) implica (v) y que (v] irnplica (iv) se de mue s t r a como en la dernos t ra.c ion de la prop. 1. 6. 3.

Demostremos ahara que (iv) implica [v), Sea (x.) una sucesi6n de puntas de E, y para cada ntirrie r o ri EN sea F.laadherencia del C on] unto {x. 1m ;;; nJ. Esta c la r o que F.:::> F.~l para n E N, y c a da F. e s cerrado en virtud de laprop. 2.9. Pueato que n ingtin c onjuntc F. es vac Io, existe un punta X E n F.. Definiremoa po r

.~N

Induce Ion c orrrp.l et.a una s ub s uc e s i Sn (x •• ) de (x.) que converge ha.c ia X (ef. eje r c ic io 2 de la § 4). Sea .len. = X. Y sup6ngase que ya s e han definido los elementos X'p con 0 .. J < 1>. Puesto que X E F •• el punt 0 x e s adherente al conjunto (x. 1m ;:; 11;), y por 10 tanto, la bola Bl/dx) encuentra este conjunto. Se eseoge entonces n, tal que n. i'; 1r, nk > n"" Y Xn• E BlI,(x). Como d(x,Xnj) ., * para J ~ If, la sue e s ion (X.k) C c nve rge eiectivarnente hac Ia x ,

Luego de rnoat r-a r erno s que s i se cumple la condie ion (v), entonces e I espacio E es separable (def. 4.5) Y, par 10 tanto, de tipo enumerable (prop. 4.5). Sean k un nUl}lero entero i';l y x») un punto arbitrario de E. De s pu e s sea x\·) un punto de E tal que

d(xt·), xi·» ;; *' x~') un punta de E tal que d(x~·l ,X~k» ~ * Y d(X~'l, 'Xp);;

" .!. (.) d E t 1 d( (K) (k) '" I 0 '" J S . 1

-k, ... ,Xj unpunto e a que XJ ,Xl -")i'para - -J-,

etc. Esta construcci6n debe t e r rn iria r de spu e s de unn6mero finito de pa s o s , ya que de otra manera s e obtendrla una s uc e s i.on (.:>:-1"»)"£N tal que d(x!"), x!"») ~ * para todo ", m y que, par 10 tanto, no tendr Ia ninguna s ub s uc e s ion convergente. De e s ta manera he mos construido una familia finita (X~"))n~li< de puntas de E tal que, para todo

x E E, exi s t e un punto xi') tal que d(x,x~·» <-t=. La reunion de todo s los c onjunt os (x~" In EO I",}, cuando h; r ec o r r e 108 numeros enun conjunto enumerable y, en v i r-tud de la prop. 4.3,

93

Finalrnente, pode mo s demostrar que S1 s e cumple (iii) entonees se curnple (i). En primer lug ar , 5; s e cumplen Ia s condiciones equ;valentes (iii) y [iv}, entonces s e cumple (v), y por 10 tanto E e s de tipo enumerable, e s de c i r , existe una s uc e s icn (Okh.N de conjuntos abiertos tales que cada conjunto abierto de E e s la reunion de ciertos conjuntos 0.. Sea, pue s , (AtltEI una familia de conjuntos ab i e rt os tal que U At = E y sea (B')'£N la c ol ec c ion de

t EJ

aqu el.Io s conjuntos 0, que e s tan contenidos en alglin conjunto p,.. (Se puede suponer que la familia (Bn) eo infinita, ya que en el c a s o contrario no hay nada que demostrar.) 5i Be pone C. '" a Bk para

Ie = Q

cada 10 EN, e nt oric e a (C.lnSN e s una s uc e s icn de conjuntos abiertos

tal que C. c: Cnu para n E N, y puesto que cada At es la reunion de los conjuntos B. que contiene, tenernos ta mb i en U Cn '" E. En

III eN e

virtud de (iii) existe un Ind ic e s E Nta.Lq ue Cv= E, esdecir U B. =

.11:=..':1

= E. Si a cada lndice h, con a ., 11; ~ s , hacemos cor responder un c onjunto ~k que c ont i erie 1\, entone e s Ia familia (A~.)o ..... , c ubre E, 10 que demuestra que E e s compacta, es decir, que s e curnple

(i).

As! se ha demostrado cornp1etamente Ia proposici6n b.l segun e I esquema !ogieo

'_'===II'" (ii}

Obs e rves e que Ia Irnpl icac ion (iv) '" (v) s e ha ut Il iz a.do para derrro s t r a r- que (iii) ", (i). 0

Generalizando Ia definicion dada para e s pac lo s euclidianos, s e dice que un subconjunto de un e s pac io rnetrieo es aoaiado 8; esta contenido err una bola. Se eomprueba exactamente como en la segunda parte de la de rnoat r-ac ion de la prop. Z. 6.4, Ia

Proposici6n 6.2.. Todo subconjunto compaato de un espaaio metrioo ea aootadO y cerradO.

Pero 1a inversa de Ia prop. 6. Z ya no es c!erta en espacios matricos arbitrarios, c orn o s e vera en seguida.

94

Ejemplo 6.1. En el espacio 1~ (ej"rnpl0 1. 3) denotarnos por €. el e Lerrrerito S = (sd ... w tal que S. = I Y li:k = 0 para k;t n. El conjunto {'.I n E N} no es c ornpacro, ya que se tiene d(e., 8.) = /2 para n ;i m. Por otra parte, elconjunto e s acotado, ya que Ile.11 = I para to do n. Tambian el conjunto es cerrado. En efec t o, sea Ii: un punta de lla tal que cada bola Bp(g) contiene un elemento g •• Entonces, para P < ~12 c ada bola Bp(li:) contiene el mismo elemento e.. ya

que s i Bp( g) c ontuviera €. Y B a( S) contuviera €,,, s e tendrfa d(g., e.) '" d(e., g) + d(e., s) ~ p + c < a: + a ~ 12, que es irnposi-

2 2

b l e s i m ;i k. De esta rnan e r a , d(g, e.) .. p para todo p > 0, de donde d(\;, e.) '" 0, es d ec i r , 5 = g. pertenece a.I conjunt o [g.t" EN}.

Se puede .dej a r- a cargo del lector el generalizar laprop. 2..6.5 y los teoremas Z. 6. I-Z. 6.3 al cas a de func iones continuas definidas en un e spac io metrico c ornpacto y con val o re s en un espacio rnetrico (respectivarnente, para e I teorerna i!.. 6. Z, tomando sua valores en R),

Ejercl.c ios

1) Repae enae detalladamente las demostraciones de las implicaciones (i)"'(ii), (iii)"'(iv), (i)"'(iii), (ii)"'(iv), (i)"'(v) y (v)"'(iv~ en la prop. 6. 1.

2) De rrrue s t r e s e Ia prop. 6.2.

Sign up to vote on this title
UsefulNot useful