Topologie usuelle de R et tribu borélienne
Bonjour,
Je me remets actuellement à des notions de topologie et j'aurais besoin d'être bien sûr de quelque chose.
On dit - la plupart du temps - que la topologie "usuelle" de $\mathbb{R}$ est l'ensemble constitué de $\emptyset$, $\mathbb{R}$, et de toute réunion d'intervalles de la forme $]a,b[$, c'est-à-dire les $\bigcup_{i \in I}]a_i, b_i[$.
C'est ce qu'on appelle, si je ne m'abuse, la définition par les ouverts...
Donc, le $I$ dont il est question dans $\bigcup_{i \in I}]a_i, b_i[$, c'est bien un ensemble quelconque, n'est-ce pas ? Il peut être fini, infini dénombrable, infini non dénombrable, n'est-ce pas ?
Je ne me trompe pas ?
Je me remets actuellement à des notions de topologie et j'aurais besoin d'être bien sûr de quelque chose.
On dit - la plupart du temps - que la topologie "usuelle" de $\mathbb{R}$ est l'ensemble constitué de $\emptyset$, $\mathbb{R}$, et de toute réunion d'intervalles de la forme $]a,b[$, c'est-à-dire les $\bigcup_{i \in I}]a_i, b_i[$.
C'est ce qu'on appelle, si je ne m'abuse, la définition par les ouverts...
Donc, le $I$ dont il est question dans $\bigcup_{i \in I}]a_i, b_i[$, c'est bien un ensemble quelconque, n'est-ce pas ? Il peut être fini, infini dénombrable, infini non dénombrable, n'est-ce pas ?
Je ne me trompe pas ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Une petite vérification SVP...
On considère $\mathbb{R}$ comme un espace topologique muni de la topologie "usuelle":
$$T_u(\mathbb{R})=\{\emptyset,\ \mathbb{R},\ \bigcup_{i \in I}\,]a_i,b_i[,\ I \text{ quelconque}\}
$$ Alors, la tribu borélienne sur $\mathbb{R}$ est la tribu engendrée par les éléments de $T_u(\mathbb{R})$ (les "ouverts"), c'est-à-dire qu'elle contient les éléments suivants :
$$\emptyset,\quad
\mathbb{R},\quad
\bigcup_{i \in I}\,]a_i,b_i[,\quad
\bigcap_{i \in I}\,[a_i,b_i],\quad
\bigcap_{n \in \mathbb{N}}\bigcup_{i \in I}\,]a_i,b_i[,\quad
\bigcup_{n \in \mathbb{N}}\bigcap_{i \in I}\,[a_i,b_i],\quad
$$ Est-ce qu'en listant cela, je n'oublie rien ?
Est-ce que c'est une bonne façon d'expliciter les boréliens ? (s'il existe une façon...)
Auquel cas, ne pourrait-on dire :
"la tribu borélienne sur $\mathbb{R}$ contient les éléments fondamentaux suivants :
$$ suit \quad ici \quad la \quad liste
$$ auxquels il faut rajouter toutes les unions et intersections possibles de ces éléments"
Le souci est que je trouve aucune approche de description explicite des boréliens de $\mathbb{R}$ (et je n'arrive pas à accéder au bouquin de Revuz...)
Est-ce vraiment si compliqué d'au moins "faire sentir", par des explicitations précises, ce que ça peut être ?
Alors, quand même, une "tribu" est construite sur les notions de "complémentaires" et d'"union dénombrable".
Donc pourquoi ne suffirait-il pas de rajouter l'expression "toutes les unions et intersections possibles de ces éléments, ainsi que leurs complémentaires"
Est-ce que disant cela, je continuerais d' "en oublier beaucoup", comme disait ci-dessus Maxtimax ?
Donc, je vais en rester là sur ma recherche d'une explicitation des boréliens de $\mathbb{R}$.
D'autant qu'il est l'heure de la soupe...
Et je vous remercie de m'avoir aiguillé sur la Hiérarchie de Borel, qui m'était inconnue.