borélien
Bonjour les amis,
pourquoi le borélien de R est différent de l'ensemble des parties de R?
Où est la subtilité?
Merci.
pourquoi le borélien de R est différent de l'ensemble des parties de R?
Où est la subtilité?
Merci.
Réponses
-
Bonjour
L'ensemble des Boréliens de R est équipotent à R,donc..
Cordialement -
Il est assez compliqué de construire des parties non boréliennes. Il s'en trouve des exemples dans les livres.
-
Il existe des parties de $\R$ qui ne sont pas boréliennes.
Si on prend la tribu de Lebegue (qui est la tribu boréliennes complétée par les parties négligeables pour la mesure de Lebesgue) là encore on peut trouver des parties de $\R$ qui n'appartienent pas à cette tribu pourtant beaucoup plus grosse que la tribu borélienne et donc la tribu de Lebesgue est également différente de l'ensemble des parties de $\R$.
En fait on ne peut pas construire de mesure (non triviale) sur l'ensemble des
parties de $\R$. C'est pourquoi on a construit ces tribus là.
Intéressant non ? -
Bonjour
Pour les parties Lebesgue mesurables ,les choses sont plus subtiles.
Si on affaiblit l'axiome du choix,on le limite aux choix dénombrable par exemple
on peut postuler que toute partie de R est Lebesgue mesurable sans contradiction
dans ZF.
cordialement -
En fait, ce n'est pas très dur: on prend $E\subset [0,1]$ avec un et un seul représentant de chaque classe d'équivalence de $\mathbb{R}\backslash\mathbb{Q}$.
(axiome du choix inside)
Si $E$ était mesurable, pour tout $x\in\mathbb{Q}\cap [-1,1]$ $E+x$ le serait, et aurait même mesure que $E$. Posons $F=E+(\mathbb{Q}\cap [-1,1])$. Une réunion dénombrable disjointe d'éléments mesurables de même mesure est mesurable, et sa mesure ne peut être que $0$ ou $\infty$,
ce qui est impossible car on peut montrer que $F$ contient $[0,1]$ et est inclue dans $[-1,2]$. -
Bonjour,
Dans le même goût : tout sous-Q-espace vectoriel F de R, de codimension dénombrable >1 (existence modulo axiome du choix)(par exemple tout Q-hyperplan de R) fournit un exemple de partie non Lebesgue mesurable.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.9K Toutes les catégories
- 53 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 82 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 77 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 334 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 794 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres