- Frontera (topología)
-
Dado un espacio topológico X y S un subconjunto de X, se define la frontera de S como la intersección de la clausura de S con la clausura del complemento de S, y se denota por . En otras palabras:
Una definición equivalente para la frontera de un conjunto es la siguiente:
Donde: denota el interior de .
Informalmente, la frontera (también llamada borde) de un conjunto S es el conjunto de aquellos puntos que pueden ver puntos tanto en S como en su complemento. Es claro que la frontera de un conjunto siempre es un conjunto cerrado.
Contenido
Ejemplos
Sea X el conjunto de los reales, con la topología usual, entonces:
- Si , .
- Si , .
En :
- La frontera de la bola es la esfera de radio unidad y centro en x.
Propiedades
- La frontera de un conjunto es cerrada.
- La frontera de un conjunto es igual a la frontera de su complemento: ∂S = ∂(SC).
De lo que se deduce que:
- p es un punto de la frontera de un conjunto si y solo si todo entorno de p contiene al menos un punto del conjunto y al menos un punto que no sea del conjunto.
- Un conjunto es cerrado si y solo si contiene su frontera, y es abierto si y solo si es disjunto de su frontera.
- El cierre de un conjunto es igual a la unión del conjunto con su frontera. S = S ∪ ∂S.
- La frontera de un conjunto es vacía si y solo si el conjunto es abierto y cerrado a la vez.
- En Rn, todo subconjunto cerrado es frontera de algún conjunto.
Fronteras y aplicaciones continuas
Dado un conjunto abierto y acotado y una aplicación continua que es inyectiva sobre Ω. Entonces se cumple:
La prueba del teorema anterior puede darse en términos de topología elemental y es relativamente breve. Si además se cumple y la función continua es inyectiva sobre el compacto entonces las dos inclusiones anteriores se convierten en igualdades:
Véase también
- Lagos de Wada. Ejemplo que muestra como n abiertos del plano pueden tener una frontera común.
Wikimedia foundation. 2010.