Le but de cette note est de démontrer le lemme: Lemme: Soit E un ensemble linéaire borné et soit ℱ une famille d'intervalles, telle que tout point x de E est une extrémité gauche d'un au moins intervalle δ(x) de famille ℱ. Thèse: ϵ étant un nombre positif donné quelconque, il existe toujours un nombre fini N=N(ϵ) d'intervalles δ(x_1), δ(x_2),...,δ(x_N) de la famille ℱ, n'empiétant pas les uns sur les autres et tels que la mesure extérieure (lebesguienne) de l'ensemble de ces points de E qui n'appartiennent à aucun d'intervalles δ(x_1), δ(x_2),...,δ(x_N) est < ϵ.
@article{bwmeta1.element.bwnjournal-article-fmv4i1p19bwm,
author = {Wac\l aw Sierpi\'nski},
title = {Un lemme m\'etrique},
journal = {Fundamenta Mathematicae},
volume = {4},
year = {1923},
pages = {201-203},
language = {fra},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv4i1p19bwm}
}
Sierpiński, Wacław. Un lemme métrique. Fundamenta Mathematicae, Tome 4 (1923) pp. 201-203. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv4i1p19bwm/