Une topologie sur un ensemble X définie comme la topologie la plus grossière qui rende continue une famille donnée de fonctions {f_i:X→Y_i} ; équivalente à la topologie initiale pour cette famille, elle se caractérise par le fait que la convergence se teste par les images sous ces fonctions.

Principe

Construire la plus petite topologie sur le domaine qui préserve la continuité d’une famille donnée de fonctions ; les ouverts et la convergence sont déterminés uniquement via ces applications, produisant en général une topologie plus grossière que celles imposant des conditions uniformes ou uniformément fortes.

Démonstration

Sur un espace de Banach X, la topologie faible σ(X,X*) est la plus grossière qui rende chaque fonctionnelle linéaire continue ℓ∈X* continue ; un filet x_α→x faiblement ssi ℓ(x_α)→ℓ(x) pour tout ℓ∈X*.

Mauvaise application

Confondre la topologie faible avec une topologie métrique plus forte (par exemple supposer qu’une convergence faible implique une convergence en norme dans un Banach) conduit à des erreurs sur les limites et les propriétés de compacité.

Conséquence

Appliquée correctement, la famille de fonctions contrôlantes reste continue et la convergence se vérifie coordonnée par coordonnée via ces fonctions ; les topologies faibles élargissent souvent la classe des ensembles compacts et facilitent les arguments de dualité.

Inversion

La topologie forte (ou finale) associée à la même famille serait la plus fine rendant ces applications continues ; dans les espaces de fonctions, les topologies d’uniforme conv. sont typiquement plus fines que la topologie faible correspondante.

Limite

Dépend entièrement de la famille choisie : si la famille sépare les points on obtient une topologie de Hausdorff, sinon la topologie peut être non-Hausdorff ; la construction s’applique à tout ensemble muni d’une collection d’espaces cibles mais n’impose pas de propriétés métriques ou de complétude.

Tension sémantique

Se confronte aux notions de weak*, de topologie produit et à la distinction convergence pointwise versus convergence uniforme ; le terme « faible » prend des sens différents selon le contexte (espace vectoriel vs. espace de fonctions).

Synthèse

La topologie faible est la topologie initiale induite par une famille de cartes choisie : elle est minimale pour tester continuité et convergence via ces observables, échangeant force topologique globale contre contrôle le long d’un ensemble spécifié de fonctions.