##  [Topologie Faible](/fr/node/62296) 

 Définition

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

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

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

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

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

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

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

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

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.