Mathématiques, informatique, politique et poésie
Soit \((E, \mathcal{T})\) un espace topologique. Un ouvert \(\mathcal{B}\) est une base pour la topologie \(\mathcal{T}\) ssi tout ouvert de \(\mathcal{T}\) est l'union d'éléments de \(\mathcal{B}\).
Une sous ensemble \(B\) de \(E\) est une base si et seulement si :
- \(B \subset \mathcal{T}\) - Pour tout \(p\) élément d'un ouvert \(U\), il existe un ensemble \(V \in B\) tel que \(p\in V \subset U\).