## [Topología Débil](/es/node/62296) Definición Una topología sobre un conjunto X definida como la topología más grosera que hace continuas a una familia dada de aplicaciones {f_i:X→Y_i}; equivalente a la topología inicial respecto a esa familia, caracterizada porque la convergencia se comprueba en las imágenes por dichas aplicaciones. ## Principio Principio Construir la topología más pequeña en el dominio que preserve la continuidad de una familia dada de aplicaciones; los abiertos y la convergencia quedan determinados únicamente por esas aplicaciones, produciendo en general una topología más débil que las exigentes condiciones uniformes. ## Demostración Demostración En un espacio de Banach X, la topología débil σ(X,X*) es la más débil que hace continuas todas las funcionales lineales continuas ℓ∈X*; una red x_α→x converge débilmente si y solo si ℓ(x_α)→ℓ(x) para todo ℓ∈X*. ## Aplicación incorrecta Aplicación incorrecta Tratar la topología débil como si preservara propiedades métricas o uniformes de una topología más fuerte (por ejemplo asumir que la convergencia débil implica convergencia en norma) conduce a errores sobre límites y compacidad. ## Consecuencia Consecuencia Bien aplicada, la familia de funciones controlantes permanece continua y la convergencia se puede verificar coordenada por coordenada mediante esas funciones; las topologías débiles suelen ampliar la clase de subconjuntos compactos y facilitan argumentos de dualidad. ## Inversión Inversión La topología fuerte (o final) generada por la misma familia sería la más fuerte que mantuviera esas aplicaciones continuas; en espacios de funciones, las topologías de convergencia uniforme son típicamente más fuertes que la topología débil correspondiente. ## Límite Límite Depende enteramente de la familia escogida: si la familia separa puntos se obtiene una topología de Hausdorff, si no la topología puede no ser Hausdorff; la construcción vale para cualquier conjunto con una colección de espacios destino pero no impone métricas ni completitud. ## Tensión semántica Tensión semántica Compite con nociones como weak*, la topología producto y la distinción entre convergencia puntual y convergencia uniforme; el calificativo “débil” puede referirse a distintos sentidos de inicialidad según el contexto. ## Síntesis Síntesis La topología débil es la topología inicial inducida por una familia elegida de mapas: mínima para evaluar continuidad y convergencia mediante esos observables, sacrificando fuerza topológica global a favor del control por funciones seleccionadas.