Théorème: Soit E un ensemble plan quelconque mais borné et contenu dans un ensemble ouvert et borné Ω. Supposons qu'à tout point P de E correspond une suite infinie {W_i(P)} (i=1,2,...) des ensembles fermés W_i(P) contenus dans Ω et remplissant les hypothèses suivantes: 1. W_i(P) est situe dans un cercle K_i(P) dont P est le centre, 2. lim_(i → ∞) |K_i(P)| = 0 (La notation |X| signifie la mesure lebesguienne de X, si X est mesurable (L)) 3. il existe un nombre positif α tel que l'inégalité |W_i(P)|/|K_i(P)| > α a lieu pour i naturel et pour tout P de E; alors il existe une suite finie ou infinie {P_n} des points appartenant à E et une suite des nombres naturelles {a_n}, telles que les ensembles W_{a_n}(P_n) aient les propriétés 1. que leur somme ∑_{n=1}^{∞}Z_n recouvre presque tout l'ensemble E; 2. Z_p Z_q = 0 pour p ≠ q.
@article{bwmeta1.element.bwnjournal-article-fmv5i1p16bwm,
author = {Stefan Banach},
title = {Sur le th\'eor\`eme de M. Vitali},
journal = {Fundamenta Mathematicae},
volume = {6},
year = {1924},
pages = {130-136},
language = {fr},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv5i1p16bwm}
}
Banach, Stefan. Sur le théorème de M. Vitali. Fundamenta Mathematicae, Tome 6 (1924) pp. 130-136. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv5i1p16bwm/