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

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

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

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

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

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

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

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

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.