Voisinage \(V\) de \(x\in E\)
Ensemble qui contient un
Ouvert contenant \(x\).
Ensemble plus gros qu'un ouvert qui contient \(x\).
Sur-ensemble d'un ouvert contenant \(x\). $$x\in U\subset V$$
- on note \(\mathcal V(x)\) l'ensemble des voisinages de \(x\)
- on a toujours \(\mathcal V(x)\ne\varnothing\), car \(E\in\mathcal V(x)\)
- une intersection finie de voisinages de \(x\) est un voisinage de \(x\)
- la famille \(\{\mathcal V(x)\mid x\in E\}\) caractérise la Topologie
- intuition : s'attache à une approche locale, contrairement aux ouverts qui ont une vision plus globale
