Soit un groupe localement compact abélien ou un groupe de Lie et un compact parfait de . Il existe alors un compact de mesure de Haar nulle tel que soit d’intérieur non vide. En particulier si est métrisable, les seuls ensembles analytiques tels que soit de mesure nulle dès que l’est, sont dénombrables.
Let be a locally compact abelian group or a Lie group, and a perfect subset of . Then theirs exist a subcompact of , of Haar measure zero, and such that the set has a non void interior. Hence if is metrisable the only analytic subsets of such that is of null measure whenever is of null measure are countable.
@article{AIF_1976__26_3_137_0, author = {Talagrand, Michel}, title = {Sommes vectorielles d'ensembles de mesure nulle}, journal = {Annales de l'Institut Fourier}, volume = {26}, year = {1976}, pages = {137-172}, doi = {10.5802/aif.628}, mrnumber = {54 \#10534}, zbl = {0295.28027}, mrnumber = {422547}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1976__26_3_137_0} }
Talagrand, Michel. Sommes vectorielles d'ensembles de mesure nulle. Annales de l'Institut Fourier, Tome 26 (1976) pp. 137-172. doi : 10.5802/aif.628. http://gdmltest.u-ga.fr/item/AIF_1976__26_3_137_0/
[1] Eléments de Mathématique, Topologie générale, chapitre 7. | Zbl 0337.54001 | Zbl 0165.56403
,[2] Lectures on Analysis, Tome 1, W. A Benjamin, Inc. 1969. | MR 250011 | Zbl 0181.39601 | Zbl 0181.39602
,[3] Sélections continues dans les espaces uniformes, C.R.A.S., 180 (1975), 213-216. | MR 358681 | MR 50 #11140 | Zbl 0295.54018
,[4] Linear extension, linear averagings, ... Dissertationes Mathematicae, L VIII (1968). | MR 227751
,[5] Sommes vectorielles d'ensembles de mesures nulles, C.R.A.S. 180 (1975), 853-855. | MR 379802 | Zbl 0301.28015
,