Définition
Une suite de mesures de probabilité (μ_n) sur un espace métrique converge faiblement vers μ si ∫ f dμ_n → ∫ f dμ pour toute fonction bornée et continue f ; équivalemment, les fonctions de répartition convergent aux points de continuité de la limite.

Principe

Principe
La convergence se teste par des observables bornées et continues plutôt que par des normes pointwise ou en variation totale, traduisant la convergence en loi des éléments aléatoires.

Démonstration

Démonstration
Les mesures empiriques construites à partir d'échantillons i.i.d. convergent faiblement vers la loi sous-jacente presque sûrement par des résultats de type Glivenko–Cantelli ; par exemple, les sommes normalisées peuvent converger en loi vers une loi stable limite sous conditions appropriées.

Mauvaise application

Mauvaise application
Utiliser la convergence faible pour justifier la convergence d'espérances de fonctions non bornées ou conclure à une convergence dans des métriques plus fortes comme la variation totale sans conditions supplémentaires.

Conséquence

Conséquence
Garantit la convergence des intégrales contre des fonctions test bornées et continues et des fonctions de répartition aux points de continuité ; sous compacité serrée, les suites admettent des sous‑suites convergentes faiblement.

Inversion

Inversion
La convergence en variation totale ou la convergence uniforme des densités, qui impose un contrôle plus fort et la convergence d'intégrales de fonctions non bornées, mais qui n'est pas impliquée par la convergence faible.

Limite

Limite
Définie pour les mesures sur espaces métriques ; n'implique pas la convergence des moments sauf si des conditions sur les moments sont satisfaites et est plus faible que la convergence dans des normes plus fortes.

Tension sémantique

Tension sémantique
Souvent mise en contraste avec la convergence en probabilité ou la convergence presque sûre des variables aléatoires ; la convergence faible concerne les lois plutôt que le comportement des trajectoires.

Synthèse

Synthèse
Un mode de convergence des mesures capturant la convergence des lois via des tests bornés et continus, central pour les théorèmes limites et les approximations probabilistes.