--- aliases: - topologie up: - "[[structure algébrique]]" tags: - "#s/maths/topologie" --- > [!definition] [[structure de topologie]] > On appelle **topologie** sur $X$ un ensemble $\mathcal{O}$ de parties de $X$ qui seront les ouverts, tel que : > - $\emptyset \in \mathcal{O}$ > - $X \in \mathcal{O}$ > - $\mathcal{O}$ est stable par réunion quelconque > - $\mathcal{O}$ est stable par intersection **finie** ^definition # Propriétés # Exemples - topologie de Zariski - topologie sur les fonctions $\mathscr{C}^{\infty}$ à [[support d'une fonction|support]] [[espace métrique compact|compact]]