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}, pages = {137--172}, publisher = {Imprimerie Louis-Jean}, volume = {26}, number = {3}, year = {1976}, doi = {10.5802/aif.628}, mrnumber = {422547}, zbl = {0295.28027}, language = {fr}, url = {www.numdam.org/item/AIF_1976__26_3_137_0/} }
Talagrand, Michel. Sommes vectorielles d'ensembles de mesure nulle. Annales de l'Institut Fourier, Tome 26 (1976) no. 3, pp. 137-172. doi : 10.5802/aif.628. http://www.numdam.org/item/AIF_1976__26_3_137_0/
[1] Eléments de Mathématique, Topologie générale, chapitre 7. | Zbl 0165.56403
,[2] Lectures on Analysis, Tome 1, W. A Benjamin, Inc. 1969. | MR 250011 | Zbl 0181.39602
,[3] Sélections continues dans les espaces uniformes, C.R.A.S., 180 (1975), 213-216. | MR 358681 | 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. | EuDML 110527 | MR 379802 | Zbl 0301.28015
,