Ensemble mesurable de R
Ensemble mesurable de R
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
Est ce que tout borné de $R$ est mesurable (mesure de Lebesgue)?
Merci bien pour votre aide
-
- Utilisateur chevronné
- Messages : 1481
- Inscription : jeudi 02 novembre 2006, 22:38
Re: Ensemble mesurable de R
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.
Edit : sauf si bien sûr tu choisis l'axiome de Solovay plutôt que l'axiome de choix.
Re: Ensemble mesurable de R
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 ?
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 ?
-
- Modérateur honoraire
- Messages : 2293
- Inscription : lundi 12 mars 2007, 11:20
- Localisation : Rouen
Re: Ensemble mesurable de R
non ce n'est pas correct. Tu parles ici de la mesure d'un ouvert borné (qui est mesurable),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 ?
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.
Re: Ensemble mesurable de R
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).
-
- Utilisateur éprouvé
- Messages : 886
- Inscription : mercredi 05 novembre 2008, 01:19
- Localisation : Paris, France
Re: Ensemble mesurable de R
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:
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.
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
-
- Modérateur honoraire
- Messages : 7098
- Inscription : lundi 28 août 2006, 13:18
- Localisation : Allemagne
Re: Ensemble mesurable de R
Par curiosité : pourquoi faire remonter un topic vieux d'un an ?
Re: Ensemble mesurable de R
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 ?
Re: Ensemble mesurable de R
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.
-
- Modérateur honoraire
- Messages : 7098
- Inscription : lundi 28 août 2006, 13:18
- Localisation : Allemagne
Re: Ensemble mesurable de R
Moui...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 ?
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.
Re: Ensemble mesurable de R
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.
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.
Re: Ensemble mesurable de R
Bonjour !
Idem pour moi. Je suis tombé sur ce topic en faisant une recherche à ce sujet.
Merci à vous tous pour ces infos :)
Idem pour moi. Je suis tombé sur ce topic en faisant une recherche à ce sujet.
Merci à vous tous pour ces infos :)
-
- Utilisateur éprouvé
- Messages : 921
- Inscription : mercredi 21 mars 2007, 10:59
Re: Ensemble mesurable de R
Lol on pourrait presque croire que Tonn83 se fait des multi-comptes et s'envoie des fleurs