Funciones abiertas y cerradas

De Wikipedia, la enciclopedia libre

En topología, una función abierta es una función entre dos espacios topológicos que mapea conjuntos abiertos en conjuntos abiertos. Es decir, una función f: X ? Y es abierta si para cualquier conjunto abierto U en X, la imagen f(U) es abierta en Y. Asimismo, una función cerrada es una función que mapea conjuntos cerrados en conjuntos cerrados.

Obsérvese que ni a las funciones abiertas ni a las cerradas se les requiere ser continuas. Aunque sus definiciones parecen naturales, las funciones abiertas y cerradas son mucho menos importantes que las funciones continuas. Recuérdese que una función f: X ? Y es continua si la preimagen de cualquier conjunto abierto de Y es abierto en X, o equivalentemente: si la preimagen de cada conjunto cerrado de Y es cerrado en X.

[editar] Ejemplos

Cada homeomorfismo es abierto, cerrado, y continuo. De hecho, una función continua biyectiva es un homeomorfismo si es abierta, o equivalentemente, si es cerrada.

Si Y tiene la topología discreta (es decir todos los subconjuntos son abiertos y cerrados) entonces cada función f: X ? Y es abierta y cerrada (pero no necesariamente continua).

Siempre que tengamos un producto de espacios topológicos X = ?X_i, entonces las proyecciones naturales p_i: X ? X_i son abiertas (así como continuas). Puesto que las proyecciones de los fibrados y cubrimientos son localmente proyecciones naturales de los productos, éstos son también funciones abiertas (nótese que las proyecciones del producto no necesitan ser cerradas, considérese por ejemplo la proyección p₁: R ² ? R en el primer componente; A = {(x,1/x): x ? 0} es cerrado en R², pero p₁(A) = R -{0} que no es cerrado).

A cada punto en el círculo unidad podemos asociar el ángulo del eje-x positivo con el rayo que conecta el punto con el origen. Esta función del círculo unidad al intervalo semi-abierto[0, 2?) es biyectiva, abierta, y cerrada, pero no continua. Muestra que la imagen de un espacio compacto bajo una función abierta o cerrada no necesita ser compacta. También obsérvese que si consideramos esto como función del círculo unidad a los números reales, entonces no es ni abierto ni cerrado. ¡Especificar el codominio es esencial!.

La función f: R ? R con f(x) = x² es continua y cerrada, pero no abierta.

La función parte entera de R a Z es abierta y cerrada (porque Z tiene la topología discreta). Este ejemplo muestra que la imagen de un espacio conexo bajo una función abierta o cerrada no necesita ser conexa.

[editar] Hechos y teoremas

Una función f: X ? Y es abierta sii

para cada x en X y para cada vecindad U de x (por pequeña que sea), existe una vecindad V de f(x) tal que V ? f(U).

Una función f: X ? Y es cerrada sii

siempre que (x_?) sea una red en X tal que (f (x_?)) tiene límite y, entonces (x_?) tiene una sub red que converja hacia una preimagen de y.

La composición de dos funciones abiertas es a su vez abierta; la composición de dos funciones cerradas es cerrada a su vez.

Un función biyectiva es abierta si y solamente si es cerrada. La inversa de una función continua biyectiva es una función biyectiva abierta/cerrada (y viceversa).

Sea f: X ? Y una función continua que sea abierta o cerrada. Entonces

si f es una sobreyección, entonces es una función cociente,

si f es una inyección, entonces es una inmersión topológica, y

si f es una biyección, entonces es un homeomorfismo.

En los primeros dos casos, el ser abierto o cerrado es simplemente una condición suficiente para que el resultado se siga. En el tercer caso es necesario también.

Un resultado muy útil con respecto a las funciones cerradas es el lema de la función cerrada: cada función continua f: X ? Y desde un espacio compacto X a un espacio de Hausdorff Y es cerrada. Una variante de este resultado establece que si una función continua entre espacios localmente compactos de Hausdorff es propia (es decir las preimágenes de conjuntos compactos son compactas), entonces también es cerrada.

En análisis funcional, el teorema de la función abierta establece que cada operador lineal continuo sobreyectivo entre espacios de Banach es una función abierta.

En análisis complejo, el, idénticamente nombrado, teorema de la función abierta establece que cada función holomorfa no-constante definida en un subconjunto abierto conexo del plano complejo es una función abierta.

El teorema de la invariancia del dominio establece que una función continua y localmente inyectiva entre dos variedades topológicas n-dimensionales deben ser abierta.