Espace topologique et tribu borélienne
Bonjour,
Dans la définition de la tribu borélienne sur X, on dit que c'est la tribu engendrée par les ouverts de l'espace topologique X . Par contre dans un exemple sur R, on dit qu'il peut être engendré par les pavés fermés. Pourquoi ? Et comment peut-on définir un espace topologique ?
Merci.
Dans la définition de la tribu borélienne sur X, on dit que c'est la tribu engendrée par les ouverts de l'espace topologique X . Par contre dans un exemple sur R, on dit qu'il peut être engendré par les pavés fermés. Pourquoi ? Et comment peut-on définir un espace topologique ?
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Pour la définition d'un espace topologique, c'est fait dans n'importe quel cours de topologie.
Si vraiment tu la veux sans plus de détails : soit $E$ un ensemble et $\mathcal O$ une famille de parties de $E$. On dit que $(E, \mathcal O)$ est un espace topologique lorsque :
i) $E \in \mathcal O$ et $\emptyset \in \mathcal O$.
ii) Si $(O_i)_{i \in I}$ est une famille d'éléments de $\mathcal O$ alors $\bigcup_{i \in I} O_i \in \mathcal O$.
iii) Si $\{O_1, \dots, O_n\}$ est une famille finie d'éléments de $\mathcal O$, alors $\bigcap_{i=1}^n O_i \in \mathcal O$.