Ensemble mesurable de R

Discussions générales concernant les mathématiques et n'entrant pas dans les catégories suivantes.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
dhahri

Ensemble mesurable de R

Message non lu par dhahri »

Bonjour, est ce que c'est possible de me répondre à la question suivante:
Est ce que tout borné de $R$ est mesurable (mesure de Lebesgue)?
Merci bien pour votre aide
EricK
Utilisateur chevronné
Utilisateur chevronné
Messages : 1481
Inscription : jeudi 02 novembre 2006, 22:38

Re: Ensemble mesurable de R

Message non lu par EricK »

Non, considère un ensemble de Vitali sur un intervalle borné.

Edit : sauf si bien sûr tu choisis l'axiome de Solovay plutôt que l'axiome de choix.
rodb

Re: Ensemble mesurable de R

Message non lu par rodb »

Je ne sais pas ce qu'est un ensemble de Vitali, mais en l'état actuel de mes connaissances je répondrais à la question de dhahri par oui.
En effet:
Si on considère un ouvert borné de $\R$, on l'appelle $O$ par exemple.
$\exists a \in \R_+$ tel que $O \subset [-a,a]$ (on sait que tout ouvert de $\R$ est une réunion au plus dénombrable d'intervalles ouverts), donc $\lambda(O) \le \lambda([-a,a])\le 2a$ où $\lambda$ désigne évidemment la mesure de Lebesgue.

correct ?
OG
Modérateur honoraire
Modérateur honoraire
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: Ensemble mesurable de R

Message non lu par OG »

rodb a écrit :Je ne sais pas ce qu'est un ensemble de Vitali, mais en l'état actuel de mes connaissances je répondrais à la question de dhahri par oui.
En effet:
Si on considère un ouvert borné de $\R$, on l'appelle $O$ par exemple.
$\exists a \in \R_+$ tel que $O \subset [-a,a]$ (on sait que tout ouvert de $\R$ est une réunion au plus dénombrable d'intervalles ouverts), donc $\lambda(O) \le \lambda([-a,a])\le 2a$ où $\lambda$ désigne évidemment la mesure de Lebesgue.

correct ?
non ce n'est pas correct. Tu parles ici de la mesure d'un ouvert borné (qui est mesurable),
le problème est qu'avant de considérer la mesure d'un ensemble il faut être sûr qu'il
soit mesurable.
Je confirme ce que dit Erick, il existe des ensembles de $\R$ bornés et non mesurables. La construction de Vitali consiste
à prendre un ensemble $E$ de $[0,1[$, une suite des rationnels de $[0,1[$, $r_n$, avec $r_0=0$ (distincts) et de poser $E_n=E+r_n modulo 1$,
les $E_n$ sont deux à deux disjoints. En choisissant correctement $E$ (un représentant de chaque classe $xRy$ ssi $x-y$ est rationnel)
(c'est là qu'intervient l'axiome du choix) l'union des $E_n$ est $[0,1[$.
Si $E$ est mesurable alors on remarque que $\mu(E)=\mu(E_n)$ et d'autre par $\mu([0,1[)=\sum_n \mu(E_n)$ d'où une
contradiction.

O.G.
toulousain

Re: Ensemble mesurable de R

Message non lu par toulousain »

Henri Lebesgue a fourni un exemple d'ensemble non mesurable en utilisant l'axiome du choix général, ce qui pour lui n'était pas une « vraie » démonstration. Depuis (vers 1970), Solovay a montré que si l'introduction de l'axiome du choix général dans la théorie des ensembles était non contradictoire, alors introduire l'axiome « tous les sous-ensembles de la droite réelle sont mesurables » avec une forme affaiblie de l'axiome du choix est non contradictoire (cf. article « Théorie des ensembles » de Wikipédia).
Tonn83
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 886
Inscription : mercredi 05 novembre 2008, 01:19
Localisation : Paris, France

Re: Ensemble mesurable de R

Message non lu par Tonn83 »

Si on reformule la réponse de Toulousain pour qqn qui n'a pas encore vu de logique au moins une fois dans sa vie:

Une partie dénombrable de R est nécessairement mesurable (= réunion dénombrable de singletons). Si on veut donner un exemple de parties non mesurables il est nécessaire de donner un exemple non dénombrable. Pour donner un exemple explicite, on s'attend à ce que "l'axiome du choix" (ou à défaut un axiome aussi fort) soit utilisé, ce qui est le cas dans la construction de Vitali. L'axiome du choix affirme la chose suivante:

Si $f:X\rightarrow Y$ est surjective, alors il existe une application injective $g:Y\rightarrow X$ telle que $f \circ g= \mathrm{id}$.



Dans la construction de Vitali, on applique l'axiome du choix à l'application surjective $[0,1]\rightarrow R/Q$ et on prend pour X l'image de l'application g. Le raisonnement de OG te montre que X est non dénombrable. Une construction similaire consiste à prendre une base de R comme Q-espace vectoriel (un tel choix utilise aussi l'axiome du choix).

La réponse de Toulousain montre deux choses:

1) L'axiome du choix est indispensable pour construire un exemple explicite !
2) Tant qu'on utilise pas l'axiome du choix (ou un axiome plus fort), tous les ensembles qu'on rencontre sont mesurables.
Tonn83
Arnaud
Modérateur honoraire
Modérateur honoraire
Messages : 7098
Inscription : lundi 28 août 2006, 13:18
Localisation : Allemagne

Re: Ensemble mesurable de R

Message non lu par Arnaud »

Par curiosité : pourquoi faire remonter un topic vieux d'un an ?
Arnaud
Un peu d'info - Pyromaths - Pas d'aide en MP (non plus)
stokastik

Re: Ensemble mesurable de R

Message non lu par stokastik »

Ben Arnaud.... c'est sympa de la part de Tonn83 d'avoir complété, si quelqu'un fait une recherche sur les ensembles non mesurables, non ?
stokastik

Re: Ensemble mesurable de R

Message non lu par stokastik »

rodb a écrit :Je ne sais pas ce qu'est un ensemble de Vitali, mais en l'état actuel de mes connaissances je répondrais à la question de dhahri par oui.
.....

Pour voir que non : On peut facilement remarquer que s'il existe un ensemble E non mesurable et non borné, alors il existe un ensemble non mesurable borné : il suffit d'écrire E comme une union dénombrable d'ensemble bornés ; nécessairement, l'un de ceux-ci n'est pas mesurable.
Arnaud
Modérateur honoraire
Modérateur honoraire
Messages : 7098
Inscription : lundi 28 août 2006, 13:18
Localisation : Allemagne

Re: Ensemble mesurable de R

Message non lu par Arnaud »

stokastik a écrit :Ben Arnaud.... c'est sympa de la part de Tonn83 d'avoir complété, si quelqu'un fait une recherche sur les ensembles non mesurables, non ?
Moui...
Je ne dis rien contre Tonn83, c'est toujours agréable d'avoir quelqu'un de bénévole et compétent, ce n'est pas le sens de ma remarque.
Et des gens qui font des recherches avant de poster... cela devient super rare.
Arnaud
Un peu d'info - Pyromaths - Pas d'aide en MP (non plus)
kukntoast

Re: Ensemble mesurable de R

Message non lu par kukntoast »

Bonjour,
J'ai trouvé ce topic en faisant une recherche sur ensembles non mesurables.
Je remercie Tonn83 de son post et réponds indirectement à la question d'Arnaud.
Amicalement

kukntoast.
anaglyphe

Re: Ensemble mesurable de R

Message non lu par anaglyphe »

Bonjour !

Idem pour moi. Je suis tombé sur ce topic en faisant une recherche à ce sujet.
Merci à vous tous pour ces infos :)
Valvino
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 921
Inscription : mercredi 21 mars 2007, 10:59

Re: Ensemble mesurable de R

Message non lu par Valvino »

Lol on pourrait presque croire que Tonn83 se fait des multi-comptes et s'envoie des fleurs :lol: