Base de topologie de $\R$
Bonjour,
$\mathcal{B}=\{[x,+\infty[,x\in\R\}$ est une base de topologie de $\R$ ($\R$ est la réunion des éléments de $\mathcal{B}$ et l'intersection de deux éléments de $\mathcal{B}$ est une réunion d'éléments de $\mathcal{B}$ (en fait exactement un élément de $\mathcal{B}$ ici)).
On note $\mathcal{T}$ la topologie engendrée par $\mathcal{B}$. J'arrive à montrer que $\mathcal{B}\cup \{]x,+\infty[,x\in\R\}\subset\mathcal{T}$ mais je n'arrive pas à montrer l'inclusion inverse :
Si $O\in\mathcal{T}$, il existe $(O_i)_{i\in I}\in\mathcal{B}^I$ tel que $O=\bigcup_{i\in I}O_i$ mais $\mathcal{B}$ n'est a priori pas stable par réunion quelconque...
$\mathcal{B}=\{[x,+\infty[,x\in\R\}$ est une base de topologie de $\R$ ($\R$ est la réunion des éléments de $\mathcal{B}$ et l'intersection de deux éléments de $\mathcal{B}$ est une réunion d'éléments de $\mathcal{B}$ (en fait exactement un élément de $\mathcal{B}$ ici)).
On note $\mathcal{T}$ la topologie engendrée par $\mathcal{B}$. J'arrive à montrer que $\mathcal{B}\cup \{]x,+\infty[,x\in\R\}\subset\mathcal{T}$ mais je n'arrive pas à montrer l'inclusion inverse :
Si $O\in\mathcal{T}$, il existe $(O_i)_{i\in I}\in\mathcal{B}^I$ tel que $O=\bigcup_{i\in I}O_i$ mais $\mathcal{B}$ n'est a priori pas stable par réunion quelconque...
Réponses
-
En fait si jamais on fait des réunions quelconques sur des éléments de $\mathcal{B}$ donc de la forme $[x,+\infty[$ avec $x\in\R$, on obtient un ensemble de la forme $]y,+\infty[$ ou $[z,+\infty[$ avec $y$ et $z$ réels d'où le résultat. Je ne sais pas si c'est une démonstration qui convient.
-
Bien sûr que $\mathcal{B}$ n'est pas stable par réunion quelconque ! Et heureusement, parce que ça contredirait ce que tu as montré une ligne plus haut.
Où est le problème ? -
Merci tu as raison c'est bon, il n'y a en fait plus "rien" à démontrer :-)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 63 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres