RESUMEN DE CONTINUIDAD EN LOS ESPACIOS MTRICOS

Ericka Acosta

Espacios mtricos
Dado un conjunto X (no vacio) se supondr entonces que a cada par (x, y) de
elementos (o puntos) de X se ha asignado un nmero real no negativo que es la
distancia entre x y y. Ms precisamente se supondr definida en X x X una funcin
numrica d:X x X R que satisface las siguientes propiedades:
i) d(x, y) 0 x, y X; d(x, y)=0x=y
ii) d(x, y)= d(y, x) x, y X
iii) d(x, z) d(x, y)+d(y, z) x, y, z X
Una funcin d con estas caractersticas es una distancia o mtrica sobre X.
Definicin:
Un espacio mtrico es un par (X, d) donde X es un conjunto y d una mtrica sobre X.
Vecindades
Definicin:
La bola de centro

y radio r

puntos x de X tales que d(x,

en un espacio mtrico (X, d), es el conjunto de los

y se designa

Una vecindad de un punto x es una parte V de X que contiene una r-bola en x. (Una
vecindad de x contiene los puntos ms prximos a x. Es claro que todo punto tiene
por lo menos una vecindad).
El conjunto de las vecindades de x se designa V(x). Este conjunto no es vaco y goza
de las siguientes propiedades:
V1) Toda parte de X que contiene una vecindad de x es una vecindad de x.

V2) La interseccin de dos (y en general de un nmero finito de) vecindades de x es

una vecindad de x.
V3) Toda vecindad de x contiene a x.
V4) Para toda V
V

V(x) existe W V(x) tal que, para cada punto y de W se tiene que

V(y).

Continuidad
Si (X, d) y (X, d) son espacios mtricos, una aplicacin f de X en X ser continua en
un punto

de X si puede lograrse que f(x) est arbitrariamente d- prximo a f(

tal de tomar x suficientemente d-prximo a

con

Definicin:
Se dice que f es continua en
de X, si d(x,

si para cada

entonces d(f(x), f(

existe un

tal que para todo x

Usando vecindades esta definicin se formulara as:

f es continua en
x

entonces f(x)

si para toda V V(f( )) existe V V(

(es decir que f(V)

tal que si

V).

Si f es continua en cada punto de una parte A de X, se dice que es continua en A; en

particular, si es continua en x se dice simplemente que es continua.
Continuidad Uniforme
Definicin:
Se dice que f es uniformemente continua (en X) si para cada
que, para todo x y todo y de X, si d(x,

existe un

tal

entonces d(f(x), f( )

Si f es uniformemente continua en un subespacio A

X, se dice que es uniformemente

continua en A. En este caso f es, en particular, continua en A.

Entornos
Definicin:
Entornos son las partes de X x X (respecto X x X) que contienen un

(respecto un

). Un entorno contiene los pares de puntos ms prximos entre s.

{(x, y): x, y

X, , d(x,

{(x, y): x, y

X, , d(x,

XxX

X x X

Otras definiciones:
Para las siguientes definiciones X es un espacio mtrico con mtrica d, A, A, B, E son
partes de X y x, y, x son puntos de X.
D1) x es un punto interior a E si E es una vecindad de x. El conjunto de los puntos
interiores a E es el interior a E y se designa
Toda bola coincide con su interior, es decir todos sus puntos son interiores. Si un punto
es interior al complemento de E, se dice que es exterior a E.
D2) E es un conjunto abierto si E es vecindad de cada uno de sus puntos.
D3) x es un punto frontera de E si toda vecindad de x encuentra a E y a CE. El
conjunto de todos los puntos frontera de E es la frontera de E y se designa Fr(E).
D4) x es adherente a E si toda vecindad de x encuentra a E. El conjunto de los puntos
adherentes a E es la adherencia o clausura de E y se designa E*.
D5) E es cerrado si el complemento de E es abierto.
D6) x es un punto de acumulacin de E si toda vecindad de x contiene por lo menos un
punto E diferente de x.
D7) Un punto x de E es aislado si existe una vecindad de x que no encuentra a E.
D8) E es denso en toda parte (o sencillamente denso en X) si E=X; es decir, si todo
punto de X es adherente a E.

D9) El espacio X es separable si verifica que existe una parte de X numerable y densa
en X.
D10) Se dice que b es lmite de f en el punto a, relativamente a E, si para toda V V(b)
existe F FE(a) tal que, si x F entonces f(x)

V.

Llamando FE(a) a la coleccin {F:F=V

Teorema 1:
Un conjunto A es una vecindad de x si A contiene un abierto al cual pertenece x.
Demostracin:
Supongamos que A

V(x), sea U el conjunto formado por los puntos y de X para los

cuales A es una vecindad.

Si y
de A

U es decir, si A

V(y) entonces y

V(y) se concluye que existe W

entonces z

A (por V3). Luego U A. Adems segn (V4),

V(y) tal que, si z

. Luego W U, es decir para todo y de U existe un W

W U luego U es abierto y x
Recprocamente, si A U
Luego por (V1), A

V(z), pero
V(y) tal que

U A.

x donde U es abierto entonces por (D2) U V(x).

V(x).

Enunciados Equivalentes de la continuidad.

Teorema 2:
Sea f una aplicacin del espacio X en el espacio X
Las proposiciones siguientes son equivalentes:
a) f es continua en X.
b) Si A X es abierto entonces f-1(A) es abierto.

c) Si A X es cerrado entonces f-1(A) es cerrado.

Demostracin:
(a)

(b)

Sea A un conjunto abierto en X y x un punto cualquiera de f-1(A).

Entonces f(x)

A luego A V(f(x)) (por definicin de continuidad usando vecindad)

Y entonces, segn a) f-1(A)

(b)

(a)

Si x

X y V

Luego x

V(x). Luego f-1(A) es abierto (por D2)

V(f(x)) entonces existe un abierto U tal que f(x)

V (por T1)

f-1(U) el cual segn (b) es abierto.

Luego V = f-1(U) es una vecindad de x y f(V)=f(f-1(U)) U V.

Luego f es continua en x.
(b)

(c)

A es un conjunto cerrado (en X)

x.A es abierto.

Entonces f-1(x A) = x f-1 (A) es abierto en X (por b)

Luego f-1 (A) es cerrado en X. Anlogamente se verifica (c)

(b)

Teorema 3:
Sea x0 un punto de X, las siguientes proposiciones son equivalentes:
(a) f es continua en x0
(b)

V V(f(x0)), f-1(V) es una vecindad de x0 en X.

(c)
Demostracin:
(a)

(b)

Sea V

V(f(x0)), segn (a) existe V V(x0) tal que, f(V)

continuidad usando vecindad); es decir V

(b)

(c)

V (por definicin de

f-1(V). Luego f-1(V)

V(x0) (por V1)

(a) debido a (D10) y a la definicin de continuidad usando vecindad.

Teorema 4:
Si X, X, X Son espacios mtricos y f una aplicacin continua de X en X y g una
aplicacin continua de X en X, entonces la funcin compuesta h=g o f (h(x)=g(f(x))
para todo x

X) es continua.

Demostracin:
Dado un abierto A en X, h-1(A) = f-1(g-1(A)) es abierto en X, pues , segn
(Teorema2), g-1(A) es abierto en X por la continuidad de g y entonces
f-1(g-1(A)) es abierto en X debido a la continuidad de f.
Definicin:
Una biyeccin f de X sobre X es un homeomorfismo (entre X y X), si la funcin f y su
inversa son continas. Si entre dos espacios puede definirse un homeomorfismo se
dice que son homeomorfos o topolgicamente equivalentes

Teorema 5:
Si f es una biyeccin del espacio X sobre el espacio X y tanto f como su inversa, g son
continuas entonces f (resp. g) transforma el conjunto A (resp. A) de las partes abiertas
de X (resp. X) en el conjunto A (resp. A) de las partes abiertas de X (resp. X). En
este caso se dice que f es bicontinua.
Demostracin:

Si A

A entonces f(A) = g-1(A)

entonces g(A) = f-1(A)

A por la continuidad de g (Teorema2). Si A

A por la continuidad de f. (Teorema2)

Definicin
X es compacto si todo cubrimiento abierto de X contiene un subcubrimiento finito.
Una parte E de X es compacta si el subespacio correspondiente lo es.
Un cubrimiento abierto de un subconjunto A X, es una familia de conjuntos abiertos
{Oi}i I de X, tales que su unin "cubre" a A :

Dado un cubrimiento C de un conjunto A, un subcubrimiento D es una subfamilia de

C, D C que sigue siendo un cubrimiento de A; es decir, una subcoleccin de
conjuntos de C que an cubre a A.
Teorema 6:
Si X es compacto y f: X

X es continua, f(X) es compacto.

Demostracin:
No es difcil mostrar que una parte de un espacio es compacta si todo cubrimiento de
ella formado por abiertos del espacio contiene un subcubrimiento finito. (por la
definicin anterior)
Sea entonces A un cubrimiento de f(X) formado por abiertos de X: f(X)
Entonces X

f-1(f(X))

UA.

f-1(UA) = U {f-1(A): A A }

Luego como los f-1(A) son abiertos (pues f es continua), la coleccin

A={f-1(A): A A } es un cubrimiento abierto del espacio compacto X, existiendo
entonces un cubrimiento finito {f-1(A1),, f-1(An) }

Pero X

f(X)

f(

Luego {A1,,An} es un subcubrimiento finito de f(X).

Definicin:
X es conexo si no existen dos abiertos no vacos A y B tales que A B = X y
A B=
Una parte E de X es conexa si el subespacio correspondiente lo es.

Teorema 7:
Si X es conexo y f: X X es continua, f(X) es conexo.
Demostracin:
Si A y B fueran abiertos en f(X) (es decir, A= A f(X), B=B f(X), donde A y B son
abiertos en X) tales que A

B, A B =

y A

B = f(X) entonces

f-1(A) y f-1(B) seran partes abiertas de X con estas mismas caractersticas y entonces
X no sera conexo.