Una topología en el hiperespaсio de subconjuntos cerrados (o compactos) de un espacio topológico X, generada por condiciones de encuentro y contención con abiertos: sub-básicos típicos son {F: F⊂U} (condición superior/contención) y {F: F∩U≠∅} (condición inferior/encuentro), y la topología de Vietoris se genera por ambos tipos.

Principio

Combinar nociones de proximidad superior e inferior para conjuntos: controlar que un cerrado esté contenido en un abierto dado (condición superior) y que encuentre abiertos especificados (condición inferior); la convergencia de familias de conjuntos se divide en componentes de convergencia superior e inferior.

Demostración

En el hiperespaсio de cerrados de un espacio métrico compacto X, la topología de Vietoris es compacta y metrizable; una sucesión de cerrados F_n→F en la topología de Vietoris si y solo si todo punto límite de puntos tomados en F_n pertenece a F (condición superior) y cada punto de F es aproximado por puntos de los F_n (condición inferior).

Aplicación incorrecta

Confundir la topología de Vietoris con la convergencia métrica de Hausdorff o con la topología de Fell (que incorpora localmente compacidad y consideraciones de medida) puede falsear la continuidad o compacidad de aplicaciones que devuelven conjuntos y de operaciones como unión o intersección.

Consecuencia

Bien empleada, la topología de Vietoris convierte construcciones con valores en conjuntos en objetos topológicos functoriales: operaciones como uniones finitas e imágenes por aplicaciones continuas son continuas bajo hipótesis naturales, permitiendo estudiar hiperespaсios y atractores dinámicos.

Inversión

Restringirse solo a condiciones superiores o solo a condiciones inferiores produce, respectivamente, la topología de Vietoris superior o inferior; cada una captura una convergencia unilateral pero carece del control bilateral de la topología Vietoris completa.

Límite

Definida según el contexto para subconjuntos cerrados o compactos; hay que tener cuidado con espacios base no compactos (la compacidad del hiperespaсio puede fallar) y con la elección entre el espacio de cerrados o de compactos porque las propiedades topológicas cambian.

Tensión semántica

Compite con la topología inducida por la métrica de Hausdorff en subconjuntos cerrados (cuando existe dicha métrica) y con topologías tipo Fell; las diferencias afectan el equilibrio entre condiciones locales de encuentro, contención global y restricciones de tipo medida.

Síntesis

La topología de Vietoris dota a la familia de subconjuntos cerrados (o compactos) de X de una topología generada por condiciones de contención y encuentro: combina convergencia superior e inferior de modo que una red de conjuntos converge exactamente cuando no genera puntos límite errantes ni pierde aproximaciones de los puntos del conjunto límite.