Funciones continuas

1. DEFINICIN DE CONTINUIDAD. EJEMPLOS.

Por una funcin en un espacio mtrico E nos referimos, por supuesto, una
funcin en el conjunto de puntos de E, y por una funcin con valores en un
espacio mtrico E 'nos referimos a una funcin con valores en el conjunto de
puntos de E'. As, si f es una funcin del espacio mtrico E en el espacio E
'mtrica, escrito:
f: E E ',
a continuacin, a cada punto p E se asocia un punto f (p) E '. La funcin f:
E E 'se llamar continua en un punto p0 E si, en trminos generales,
puntos de E que estn cerca de p0 se asignan por f en los puntos de E 'que se
encuentran cerca de f (p0). Esta es la definicin precisa:
Definicin. Sean E y E 'sean espacios mtricos, con distancias denotados d y
d' respectivamente, sea f: E E 'es una funcin, y dejar que p0 E. Entonces f
se dice que es continua en p0 si, dado cualquier nmero real > 0, existe un
nmero real > 0 tal que si p e y d (p, p0) <, entonces d '(f (p)), f (p0)) <e.
El nmero por supuesto depende , por lo que podra tener ms precisin
escrito (E) en lugar de . Nos apegamos a la notacin en lugar de (E) para
simplificar la notacin, siempre teniendo en cuenta que cada E debe tener su
propio . La definicin puede reformularse diciendo que f es continua en p0 si,
dado cualquier bola abierta en E 'del centro de f (p0), existe una bola abierta
en E del centro de p0 cuya imagen por f est contenido en la bola primero. Otra
reformulacin es que f es continua en p0 si, dado cualquier subconjunto abierto
de E1 que contiene f (p0), existe un subconjunto abierto de E que contiene p0
cuya imagen por f est contenida en la antigua subconjunto abierto. Si E y E
'son los dos subconjuntos de R (por lo que tenemos una funcin real de una
variable real) la definicin original dice que f es continua en p0 si, dado
cualquier E> 0, existe un > 0 tal que

siempre que p E y

. Esto se ilustra en la Figura 17.

Definicin. Si E, E 'son espacios mtricos, y f: E E', es una funcin, entonces f
se dice que es continua en E o, ms brevemente, continua, si f es continua en
todos los puntos de E.

f es continua en p0, No en p1
Ejemplo 1. La funcin f: R R dada por f (x) = x2 para cada x R es continua.
Para probar esto, tenemos que demostrar que f es continua en cada x0 R.
Tenemos que demostrar que para cualquier E> 0 podemos encontrar un > 0
tal que

cuando

pero desde:

Tendremos | x2 - x02 | <E si | x - x0 | <1 y | x - x0 | <E / (I + 2 | x0 |). Por lo

tanto podemos tomar = min {1, E / (1 + 2 | x0)}.
Proposicin. Sea E, E 'sea espacios mtricos y f: E E' una funcin. Entonces
f es continua si, y slo si, para cada subconjunto abierto U de E ', la imagen
inversa

es un subconjunto abierto de E.

Para probar esto, primero supongamos que f es continua. Tenemos que

demostrar que si U E 'est abierto, tambin f-1 (U) es abierto. Vamos p0 f-1
(U). Entonces f (p0) U. Puesto que U es abierto, que contiene la bola abierta
en E 'del centro de f (p0) y un poco de radio de E> 0. Puesto que f es continua
en p0 hay un > 0 tal que si p E y D (p, p0) < entonces d '(f (p), f (p0)) <E.
Esto significa que si p est contenido en la bola abierta en E del centro de p0 y
el radio entonces f (p) est contenida en la bola abierta en E 'del centro de f
(P0) y el radio E, por lo que f (p) U. es decir, f-1 (U) contiene la bola abierta
en e del centro de p0 y radio 5. es un abierto de E que contiene p0, por lo
tanto, contiene la bola abierta en E del centro de p0 y algunos radio > 0. Por
lo tanto si p E y D (p, p0) <, entonces d '(f (p), f (p0)) <E. Esto significa que
f es continua en p0, y esto completa la demostracin.
Corolario. Si f es una funcin real continua en el espacio mtrico E entonces
para cualquier a R
subconjuntos abiertos de E.
Para los conjuntos
de R.

son

son subconjuntos abiertos

El siguiente resultado se suele parafrase "una funcin continua de una funcin

continua es una funcin continua".
Proposicin. Sea E, E ', E "ser espacios mtricos, f: E E', g: E ' E"
funciones. Entonces, si f y g son continuas, por lo que es la funcin g f: E E
". Ms precisamente, si p0 E y f es continua en p0 y g es continua en f (p0)
E ', entonces g f es continua en p0.
Slo necesitamos demostrar este ltimo, ms preciso, una parte. Sean d, d ', d
"denotan las tres mtricas. Supongamos que E> 0 se da. Entonces, dado que g
es continua en f (p0), existe > 0 tal que si q E' y d '(q, f (p0)) < entonces d
"(g (q), g (f (p0))) <E. Pero ya que f es continua en p0, correspondiente a esta
existe un nmero <0 tal que si p e y d (p, p0) < entonces d '(f (p), f (p0))
<. Por lo tanto si p e y d (p, p0) < tenemos d "(g (f (p)), g (f (p0))) <E,
demostrando g f continua en P0. El argumento anterior se ilustra en la Figura
18 en la pgina siguiente.

La versin dbil de la ltima proposicin, donde f: E E 'y g: E' = E "se supone

que es continua en todas partes, puede ser demostrado ser muy sencilla
mediante el criterio anterior de la continuidad, de la siguiente manera. Si U es
cualquier subconjunto abierto de E ', la continuidad de g implica que g-1 (U) es
un subconjunto abierto de E', por lo que la continuidad de f implica que f-1 (g-1
(U)) es una subconjunto abierto de la U. Sin embargo, para cualquier U e ", si
p e entonces p f-1 (g-1 (U)) si y slo si f (p) g-1 (U), lo cual es cierto si y
slo si g (f (p)) U. Por lo tanto f-1 (g-1 (U)) = (g F) -1 (U). Hemos por lo
tanto, se muestra que si U es un subconjunto abierto de E ", a continuacin, (g
F) -1 (U). es un subconjunto abierto de E, lo que implica que F g es continua.

Figura 18.Un funcin

continua de una funcin continua es continua.
2. CONTINUIDAD Y LMITES.
Considere la siguiente pregunta: Sean E, E 'sea espacios mtricos, y mucho p0
E, y mucho
ser una funcin. Es posible ampliar la definicin de
f para todo de E de tal manera que se obtenga una funcin de E en E 'que es
continua en p0? En un caso, la respuesta a esta pregunta es trivial, y que es el
caso en el que p0 no es un punto de acumulacin de E. Porque si p0 no es un

punto de E acumulacin entonces cualquier funcin de E en E 'es continua en

p0. Esto es as ya que existe una bola en E del centro de p0 que contiene slo
un nmero finito de puntos de E, por lo tanto, una bola de centro de p0 y el
radio ms pequeo que contiene slo el punto P0. Si es el radio de la ltima
bola entonces los estados que p E y D (p, p0) < implican que p = p0. Por lo
tanto para cualquier f: E E ', y cualquier p E tal que d (p, p0) < tenemos
d' (f (p), f (p0)) = 0. En el caso de que p0 es un punto de acumulacin de E nos
lleva a la siguiente definicin.
Definicin. Sea E, E 'espacios mtricos, vamos p0 ser un punto de
acumulacin de E y deja
ser una funcin. Un punto q E "se
llama un lmite de f en p0 si, dado cualquier E> 0, existe un > 0 tal que si
y d (p, p0) <, entonces d '(f (p), q) <E Dada E, E ', un punto p0
acumulacin de E y
all puede existir en ms de un lmite de f en
p0 El argumento es el mismo que el de la singularidad del lmite de una
sucesin convergente: Si q, q ' E' son dos lmites de f en P0, a continuacin,
dado cualquier E> 0 existe existe un > 0 tal que si p e, p p0 y d (p, p0)
< entonces d '(f (p), q) <E y d' (f (p), q ') <E Desde p0 es un punto de e
acumulacin, no existe en realidad los puntos p e tal que p p0 y d (p, p0)
<, por lo que podemos deducir que d '(q, q') <2E. Dado que esto es cierto
para cualquier E> 0 tenemos d '(q, q') =0, de modo que q = q. Si, en las
condiciones anteriores, existe un lmite de f en p0, entonces ya que el lmite es
nico podemos hablar del lmite de f en p0 y denotamos esta

Proposicin. Sea E, E 'sea espacios mtricos. A continuacin, una funcin f: E

E 'es continua en p0 E si y slo si, para cada sucesion de puntos p1, p2,
p3, en E tal que

tenemos