Soit
un séparable espace de Banach sur
tel que la norme induit une topologie et
son espace dual.
Avec
, on définit une
-variable aléatoire, c'est-à-dire une variable aléatoire à valeur de Banach. Avec
on note le paire duale.
Soit
des
-variables aléatoires indépendants et symétriques sur le même espace de probabilité. Soit
leur somme et
la mesure de probabilité de
. De plus, soit
une
-variable aléatoire. Alors les énoncés suivants sont équivalents :
presque sûrement.
en probabilité.
converge dans la métrique de Prokhorov.
sont tendu.
en probabilité pour chaque
.
- Il existe une mesure de probabilité
sur
telle que pour tout 
![{\displaystyle \mathbb {E} [{\rm {e}}^{{\rm {i}}\langle z,S_{n}\rangle }]\to \int _{E}{\rm {e}}^{{\rm {i}}\langle z,x\rangle }\mu (\mathrm {d} x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e68284b6ac71dc864e0ff322f11b41b37404199)