
Topologie
Concept history
A revision trail for this concept page.
Revision 5167
9/16/2026, 3:38:21 PM · quark67
Concept re-reviewed after edits
Revision 5166
9/16/2026, 3:38:09 PM · quark67
Amélioration de l'affichage par mise de 𝑖∈𝐼 sous le symbole de l'union (pas en-dessous à droite) via \limits
Compare with revision 51634 changed lines
### Définition formelle Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de [[sous-ensemble|parties]] de $X$ appelé [[open set|ouverts]], tel que :1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts. > $\varnothing\in \tau$ et $X\in \tau$.2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup\limits_{i \in I} U_i \in \tau$.3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert. > Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$. #### Remarques Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]]. #### Exemples - La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\varnothing,X\}$- La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\varnothing,X\}$.- Dans les [[real number|réels]], la topologie engendrée par les [[intervalle-ouvert|intervalles ouverts]].Revision 5163
9/16/2026, 3:30:26 PM · quark67
Concept re-reviewed after edits
Revision 5162
9/16/2026, 3:30:20 PM · quark67
Emploi de ∅ (\varnothing) pour l'ensemble vide
Compare with revision 50324 changed lines
### Définition formelle Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de [[sous-ensemble|parties]] de $X$ appelé [[open set|ouverts]], tel que :1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts. > $\emptyset\in \tau$ et $X\in \tau$. > $\varnothing\in \tau$ et $X\in \tau$.2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert. > Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$. #### Remarques Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]]. #### Exemples - La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$- La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\varnothing,X\}$- Dans les [[real number|réels]], la topologie engendrée par les [[intervalle-ouvert|intervalles ouverts]].Revision 5032
9/15/2026, 5:35:16 PM · SalixBabylonica
Concept re-reviewed after edits
Revision 5024
9/15/2026, 5:21:58 PM · darktoaster
parties et ouverts au pluriel + concept vers parties
Compare with revision 50232 changed lines
### Définition formelle Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de partie de $X$ appelé [[open set|ouvert]], tel que:Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de [[sous-ensemble|parties]] de $X$ appelé [[open set|ouverts]], tel que :1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts. > $\emptyset\in \tau$ et $X\in \tau$.2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert. > Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$. #### Remarques Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]]. #### Exemples - La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$- Dans les [[real number|réels]], la topologie engendrée par les [[intervalle-ouvert|intervalles ouverts]].Revision 5023
9/15/2026, 5:19:44 PM · darktoaster
Concept reviewed
Revision 5021
9/15/2026, 5:19:18 PM · darktoaster
Lien concept intervalle ouvert
Compare with revision 50194 changed lines
### Définition formelle Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de partie de $X$ appelé [[open set|ouvert]], tel que:1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts. > $\emptyset\in \tau$ et $X\in \tau$.2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert. > Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$. #### Remarques Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]]. #### Exemples - La topologie trivial composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$- La topologie triviale composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$- Dans les [[real number|réels]], la topologie engendrée par les [[open interval|intervalles ouverts]].- Dans les [[real number|réels]], la topologie engendrée par les [[intervalle-ouvert|intervalles ouverts]].Revision 5019
9/15/2026, 5:08:33 PM · SalixBabylonica
Concept marked usable
Revision 5018
9/15/2026, 5:08:31 PM · SalixBabylonica
Updated text
Compare with revision 50161 changed line
### Définition formelle Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de partie de $X$ appelé [[open set|ouvert]], tel que:1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts. > $\emptyset\in \tau$ et $X\in \tau$.2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert. > Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert. > Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$. #### Remarques Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]]. #### Exemples - La topologie trivial composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$- Dans les [[real number|réels]], la topologie engendrée par les [[open interval|intervalles ouverts]].Revision 5016
9/15/2026, 4:55:52 PM · HugoP
Concept translation created
Une topologie sur un [[set|ensemble]] $X$ est un ensemble $\tau$ de partie de $X$ appelé [[open set|ouvert]], tel que:
1. L'[[empty set|ensemble vide]] et l'espace total $X$ sont des ouverts.
> $\emptyset\in \tau$ et $X\in \tau$.
2. Toute [[arbitrary union|union quelconque]] d'ouverts est un ouvert.
> Si$\{U_{i}\}_{i\in I}$ est une famille d'élément de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.
3. Toute [[Intersection of sets|intersection]] finie d'ouverts est un ouvert.
> Si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$.
#### Remarques
Un ensemble $X$ muni d'une topologie $\tau$ est appelé un [[Topological space|espace topologique]].
#### Exemples
- La topologie trivial composée de l'ensemble vide et de l'espace total : $\{\emptyset,X\}$
- Dans les [[real number|réels]], la topologie engendrée par les [[open interval|intervalles ouverts]].