c




? 103

Tengamos en cuenta que si la topología del espacio de amplia Y es propuesta por ¼ de

base, a continuación, para demostrar la continuidad de / basta para mostrar que la imagen
inversa de cada elemento de la base está abierta: El conjunto arbitrario abierto V de Y se
puede escribir como una unión de elementos de base
3x
 ½

ë

A continuación,
6



6

½ 
ë

por lo que f ~ l (V) es abierto si cada conjunto f ~ l (Ba) está abierto.

Si la topología en Y está dada por una subbasis S, para probar la continuidad de / aún
es suficiente para mostrar que la imagen inversa de cada elemento subbasis está abierto: La
base arbitraria elemento B de Y se puede escribir como una intersección finita S \ n ‡ ‡ ‡ Sn
n de elementos subbasis, se deduce de la ecuación
/-L (B) = / -1 (Si) n---n/-1 (5 ")

que la imagen inversa de cada elemento de la base está abierta.

EJEMPLO 1. Consideremos una función como los estudiados en el análisis, un "valor
realfunción de una variable real "
/: R -> R.
En el análisis, se define la continuidad de / a través de la "definición es," una pesadilla
en los últimos años para todos los estudiantes de las matemáticas. Como era de esperar,
la definición eS y la nuestra son equivalentes. Para demostrar que nuestra definición
implica el e-<5 definición, por ejemplo, se procede de la siguiente manera:
xo Dado en R, y dado e> 0, el intervalo V = (/ (* o) - e, / (* o) + e) es un conjunto
abierto de la gama del espacio R. Por lo tanto, / _1 (V) es un conjunto abierto en el
espacio de dominio R. Porque/ _1 (V) contiene el punto de 
contiene algún elemento
base (a, sobre  Elegimos para ser el más pequeño de los dos números 
y -
Entonces, si | JC -
el punto de debe estar en ë

de manera que V e, y
c-/ (* O) l <C si lo desea.
Demostrando que el e-8 definición implica nuestra definición no es más difícil, lo
dejamos a usted. Volveremos a este ejemplo, cuando estudiamos los espacios métricos.

EJEMPLO 2. En un cálculo considera la propiedad de la continuidad de muchos tipos de

funciones. Por ejemplo, un estudio de las funciones de los siguientes tipos:
â
(Curvas en el plano)
(Curvas en el espacio)
(Funciones f (x, y) de dos variables reales)
(Funciones f (x, y, z) de tres variables
reales)
(Vector v campos (x, y) en el plano).
Cada uno de ellos tiene una noción de continuidad definida para ello. Nuestra definición
general de continuidad incluye todos estos casos especiales, este hecho será una
consecuencia de los teoremas generales que deberán demostrar sobre funciones continuas
en espacios producto y sobre espacios métricos.
"
 



 D 

E JEMPLO 3. Sea R denota el conjunto de los números reales en su topología usual, y

que R ^ denotan el mismo conjunto en la topología de límite inferior. Vamos a
/: R -> Re

ser la función identidad, f (x) - x para todo número real x. Entonces / no es una función
continua, la imagen inversa del conjunto abierto [a, b) de R ^ es igual a sí mismo, que
no está abierto en R. Por otro lado, la función de la identidad

- Ź R

continua, ya que la imagen inversa de (a, b) es en sí misma, que está abierto en R ^.

En el análisis, se estudian varias maneras diferentes, pero equivalente a la formulación
de la definición de continuidad. Algunos de estos generalizar a los espacios de
arbitrariedad, y son considerados en los teoremas que siguen. El conocido "E-6" definición
y la "definición de sucesión convergente" no se generalizan a los espacios de arbitrariedad,
sino que se tratará cuando se estudian los espacios métricos.

g
  ""^
 

 : X -> Y. A continuación, los siguientes
son equivalentes:
(1)? 


(2)?      

ë

/ (A) c / (A).
(3)?     

 !


/ ~ '(B) es closedin X.
(4)? Para cada xe X y cada entorno V de f (x), existe un entorno U de x tal que f (U) C V.
Si la condición en (4) se mantiene para el punto x de X, se dice que / es continua en el
punto x.
  Se demuestra que (1) = »(2) => Ŷ (3) => (1) y que (1) => Ŷ (4) => (1).
(1)? => ‡ (2). Supongamos que / es continua. Sea A un subconjunto de X. Se demuestra
que si x ¼ A, entonces f (x) FI (A). Sea V una vecindad de f (x). Entonces f ~ x (V) es un
conjunto abierto de X que contiene ax, sino que debe pasar por A en algún momento y.
Luego se cruza V f (A) en el punto f (y), por lo que f (x) / e (A), si lo desea.
(2)? = Ź (3). Sea B cerrado en Y, y sea A = f ~ x (B). Queremos probar que A es
cerrado en X, se muestra que A - A. Por la teoría de conjuntos elemental, tenemos f (A) = f
{f ~ \ B), letra c) B. Por lo tanto, si xe A,



 ¼/ (A) c
ë"!

D!

de manera que XEF ~ {x B) = A. Así ACA, por lo que A = A, si lo desea.

(3) = Ź (1). Sea V un conjunto abierto de Y. de la serie B = Y - V. Entonces

6

½










6



Ahora B es un conjunto cerrado de Y. Entonces f ~ l (B) es cerrado en X, por hipótesis, por lo
que / "" "(V) es abierto en X, si lo desea.
§ 18 c



? "

(1) "  #(4). Vamos a Yy dejar que 3ser un barrio de   Entonces el
conjunto $"%3es un barrio de JC de tal manera que $c3
(4) = »(1). Sea V un conjunto abierto de 7, que * ser un punto de / ~ '(V).
Entonces f (x) e V, de modo que, por hipótesis, no es un barrio$* de tal manera
que  $C V. A continuación,
$c / 1 (V). De ello se deduce que %3se puede escribir como la unión de los
conjuntos abiertos $

para que sea abierta.? ß

M




Vamos a y ser espacios topológicos, vamos /: X -> ser una biyección. Si tanto la
función / y la función inversa
%&
se continua, entonces / se llama ´
Y
6 


La condición de que / _1 ser continuo dice que para cada conjunto abierto $de

la imagen inversa de $en el mapa %: 'está abierto en F. Sin embargo,
el ( 

) de GBP / en el mapa / -1 es el mismo que el ( 
de $en el
mapa /. Ver Figura 18.1. Así que otra manera de definir un homeomorfismo es decir
que se trata de un biyectiva correspondencia /: -> de tal manera que /([/) es
abierto si y sólo si $está abierto.

c   

Esta observación pone de manifiesto que un homeomorfismo /: -* nos da una

correlación biyectivacorrespondencia no sólo entre y pero entre las colecciones de
conjuntos abiertos de y de  Como resultado, cualquier propiedad de que es
enteramente expresado en términos de la topologíagía de X (es decir, en términos de
conjuntos abiertos de X) se obtiene, a través de la correspondencia /, el propiedad
correspondiente para el espacio  Esta característica de X se llama 
Ú6 ÚY 
de X.
Es posible que haya estudiado en el álgebra moderna la noción de un ((
entre otrosgebraic objetos tales como los grupos o anillos. Un isomorfismo es una
correspondencia biyectiva que conserva la estructura algebraica involucrados. El
concepto análogo en la topología es la de (((* es una correspondencia
biyectiva que conserva la topología estructura en cuestión.
Supongamos ahora que /: X - Y>es un mapa inyectiva continua, donde X e
son espacios topológicos. Sea Z el conjunto de imágenes / (X), considerado como
un subespacio de entonces la función / ': X - »Z obtenidos al restringir el rango
de / es biyectiva. Si / ' pasa a ser un homeomorfismo de X a Z, se dice que el mapa /: X
-> Ŷ es una V Ú 
Y   
o simplemente un Y   
de X en 


106 espaci s t pol icos y funciones continuas D




EJEM  4. La funci n /: R -> R dada por f (x) = 3x
+ 1 es un homeomorfismo. Véase
la fiura 18.2. Si definimos g: R -* Ŷ R por la ecuaci n

entonces se puede comprobar fácilmente que f (g (y)) = y g (f (x)) = x para todos los
números reales x e y. De ello se deduce que / es biyectia y que g = / ~ 1; la
continuidad de / g es un resultado conocido de cálculo.


E JEM LO 5. La funci n F: (-1,1) -* Ŷ R definida por



Ã


es un homeomorfismo. Véase la figura 18.3. Ya hemos señalado en el ejemplo 9 del  3,

que F es una correspondencia biyecti a fin de preservaci
n, y su inversa es la funci
n
definida por G

ë
 " 
l + (l 4 y2) l/2-
El hecho de que F es un homeomorfismo puede ser probado de dos maneras. Una forma
es hacer notar que debido a que F es para preservar y biyectiva, M lleva un elemento base
para la topología del orden de (- 1, 1) en un elemento base para la topología del orden en
R y viceversa. Como resultado, F es automáticamente un homeomorfismo de (-1, 1) con
R (tanto en la topología del orden). Dado que la topología del orden de (- 1,1) y la
topología usual (subespacio) están de acuerdo, F es un homeomorfismo de (-1, 1) withR.

3x + 1


1-x2

  
   


Una segunda manera de mostrar el resultado de un homeomorfismo F es el uso de la

continuidad de las funciones algebraicas y la funcin de raí cuadrada para mostrar que
ambos F y G son continuas. Estos son hechos conocidos de cálculo.

Ejemplo 6. Una funcin biyectiva f: X -* Ŷ Y puede ser continua sin ser un

homeomorfismo. Una de esas funciones es el mapa de la identidad de g: Re - »Ŷ R
considerados en el ejemplo 3.Otra es la siguiente: Que  denotan la 
 

+ * 2 + y2 = l},
; 18 
 ? "

considerado como un subespacio de R2 plano, y deje

: [0,1) - Ŷ> S1

el mapa definido por / (/) = (2 ST cos, el pecado 2 ST). El hecho de que / es biyectiva y
continuaUO se desprende de las propiedades conocidas de las funciones
trigonométricas. Pero la funcin f ~ l no es continua. La imagen en / del conjunto
abierto U = [0, |) del dominio, por ejemplo, no está abierto en S1, para el punto p - / (0)
se encuentra en ningún conjunto abierto V de R2 tal que n V S1 C f (U). Véase la figura
18.4.

|
'

   


E JEMPLO 7. Considere la funcin

[0, 1) - Ź M2

obtenidos a partir de la funcin / del ejemplo anterior, ampliando la gama. G El mapa es

un ejemplo de un mapa continuo inyectivo que no es un encajando.

Π|


|
|

 
¿Cmo hace uno para la construcci n de funciones continuas de un espacio topolgico a
otro? Hay una serie de métodos utiliados en el análisis, algunos de los cuales se
generalian a espacios topolgicos arbitrarios y otras no. Se estudia en primer lugar algunas
construcciones que estén en posesin de los espacios topolgicos generales, aplazar el
examen de los otros hasta más tarde.

g| "
|   Ã |


|
|

 
     



  



?
  
    '     

  
  yo 


 
 


?
  
  

  
     




?
D
   : X -> Y y g: Y - Z Ź son continuas, entonces el Gobierno de
Francia mapa: X -> ‡ Z es continua.
108  



? D 

? 
(
^: -> 


ë
  



 


     ë  $
-> 


?  
  ( 
  ( , - Ź 

^-

  

 ( 





 


: -> Z 
 (
   
     (    


ë)  .- 
   /  
  (
   
 

  


   -> Z 
 (
   ( 
  
   



? c(  
    

   (    0 #   

   
    (  

  

  $    /   $  


    
 
   
 (A) Sea   "  por cada en  Vamos a 3estar abierto en  El
conjunto %3es igual a o 1
dependiendo de si 3contiene yo o no. En cualquier
caso, está abierto.
(b)?Si $está abierto en 
 a continuación, %$$Dë
 que está abierto en
$
por definición de la topología de subespacio.
(c)?Si $está abierto en Z, entonces  %  $está abierto en y  %   % 
$está abierto en Sin embargo,
6




 6

por la teoría de conjuntos elemental.
(d)?La función ëes igual a la composición del mapa de inclusión $
-> ‡ y
el mapa /: -> 
los cuales son continuos.
(e)?Vamos a /: -> ser continua. Si c Z C 
se muestra que la función 
-> Z obtenidos a partir de / es continua. Vamos a !estar abierto en Z. Entonces !
"-n$para algún conjunto abierto $de Debido a la Z contiene la imagen de todo
el conjunto de 

6





½
por la teoría de conjuntos elemental. Desde %$está abierto, por lo que es %
!
Para mostrar el resultado de -> Ŷ Z es continua si Zcomo un subespacio,
tenga en cuenta que es el compuestos de la hoja de /: -> y el mapa de inclusión
0#-
(F) Por hipótesis, podemos escribir como una unión de conjuntos abiertos $
de
tal manera que   $  es
continua para cada uno Vamos a 3ser un conjunto abierto en A continuación,


3




 6
3
porque ambas expresiones representan el conjunto de los puntos acostado en $ 
para los que e V. Dado que $ es continua, esta serie está abierta en $
y
por lo tanto abierto en Sin embargo,
6
3





3
 


de manera que %3también está abierto en ? ß

g
  "
à à   
 ^ =$
U!

ë!2
  

^ ë0#!- Ź 

^=    Un ¼ !
c3
(

   




 : -> ‡ 4

   
"¼$


"!
§ 18 c



? 109

  Sea C un subconjunto cerrado de Y. Ahora

5D"6D$D

por la teoría de conjuntos elemental. Puesto que / es continua, f ~ l (C) es cerrado en A y,

por tanto, cerrado en X. Del mismo modo, g ~ x (C) es cerrado en B y por lo tanto cerrado
en X. Su unión
%(C) es, pues, cerrado en X.? Ŷ

Este teorema también se cumple si A y B son conjuntos abiertos en X, esto es sólo un

caso especial de la "formulación local de continuidad" regla dada en el anterior teorema.

EJEMPLO 8. Vamos a definir una función mediante

h el
establecimi
ento de

para x <0, x /
"
2 para *> 0.

Cada una de las "piezas" de esta definición es una función continua, y están de acuerdo en
la parte superposición de sus dominios, que es el conjunto de un punto {0. Desde sus
dominios están cerrados en K, la función h es continua. Una de las necesidades de los
"pedazos" de la función a un acuerdo sobre la parte superposición de sus dominios con el
fin de tener una función en absoluto. Las ecuaciones

" 2 para x <0, x

+ 2 para x> 0,

por ejemplo, no define una función. Por otra parte, es necesario algunas limitaciones
enlos conjuntos A y B para garantizar la continuidad. Las ecuaciones

R  de 0,
+de > 0,

por ejemplo, se define una función / R en la cartografía de infrarrojos, y los dos de las piezas
son continuas. Sin embargo, / no es continua, la imagen inversa del conjunto abierto (1, 3),
por ejemplo, es el nonopenconjunto [0, 1). Véase la figura 18.5.

3

©

c  57
""  



 D 

g
  "

  



 3 ( ë8   
 

©

Ã
x
© 


© 








 



/ I: $
- Ź  $
8



Los mapas  y  se llaman  6 6
 
 Y
de /.
  Vamos a 
x- Ź y
x'ser proyecciones sobre el primer y
factores de segundo, respectivamente. Estos mapas son continuas. Por 9 & 


=$xy ^ '(V) = X x V, y establece si estos están abiertos $y V están abiertas.
Tenga en cuenta que para cada
eë

: "
;; y cë "
 

Si la función / es continua, entonces   y   son compuestos de función

continuanes y por lo tanto continua. Por el contrario, supongamos que   y   son
continuas. Nosotros muestran que para cada elemento de la base $x V para la
ofXxF topología, su imagen inversa %$x V) es abierto. Un punto de
está en
%$x3si y sólo si  $3
es decir, si y sólo si  e$y cë ¼ V. Por
lo tanto,

r1 (t / XV) = / 1-1 (£ /) n/2- '(V).

Puesto que tanto de los conjuntos / f '(£ /) y / 2_ (V) están abiertos, por lo que es su
intersección.? Ŷ

No existe un criterio útil para la continuidad de un mapa /: ë!'cuya 

(
 es un espacio de producto. Se podría conjeturar que / es continua si es
continua "En cada variable por separado," pero esta conjetura no es cierto. (Véase el
ejercicio 12.)
Ejemplo 9. En cálculo,

 )   (<  en el plano se define como un proceso
continuo mapa /: ë
=0#A menudo se expresa en forma / (F) =
*y
una utiliza con frecuencia el hecho de que / es una función continua de si ambos y
se. Del mismo modo, una) (en el plano

"
8,
 
"

,

es dice que es continua si ambos y ,son funciones continuas, o equivalentemente, si v
es continua como un mapa de R2 en K2. Ambas declaraciones son simplemente casos
especiales de el teorema anterior.
Una manera de formar las funciones continuas que se utiliza mucho en el análisis
es tomar sumas, diferencias, productos o cocientes de funciones continuas con
valores reales. Es es un teorema estándar que si /, : -> M son continuas, entonces
8
3
y / ‡ son continuas, y ©es continua &0 para todo Vamos a
considerar este teorema en el § 21.
§ 18 c



? 111
 Sin embargo, otro método para la construcción de funciones continuas que es familiar de
análisis es tomar el límite de una sucesión infinita de funciones. Hay un teorema de el sentido de
que si una secuencia continua de funciones reales de una variable real converge uniformemente a
una función de límite, entonces la función límite es necesariamente continua. Este teorema se
denomina$
( (   ( Se utiliza, por ejemplo, para demostrarestrategias de la
continuidad de las funciones trigonométricas, cuando uno define estas funciones con rigor de las
definiciones de serie infinita de seno y coseno. Este teorema se generaliza a un teorema sobre los
mapas de un espacio topológico arbitrario en una métrica espacio Vamos a probarlo en § 21.