Ivan Shishkin, Birch Grove

Espace topologique

Concept history

A revision trail for this concept page.

4 revisions

Revision 2356

8/25/2026, 9:33:34 PM · Ancient Tree

Updated text

Compare with revision 21985 changed lines
1
1Un espace topologique est un [[Set|ensemble]] $X$ muni d'une [[topology|topologie]] $\tau$, c'est-à-dire, d'une collection de parties de $X$ appelées les [[Open set|ouverts]], vérifiant les axiomes suivants :
21. L'[[Empty set|ensemble vide]] et l'espace entier sont ouverts : $\emptyset\in \tau$ et $X\in \tau$.
32. Une [[Arbitrary union|union arbitraire]] d'ouverts est ouverte : si $\{O_{i}\}_{i\in I}$ est une famille d'ensembles de $\tau$, alors $\bigcup_{i \in I} O_i \in \tau$.
43. Une [[Intersection of sets|intersection]] finie d'ouverts est ouverte: si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$.

Revision 2198

8/23/2026, 10:09:08 PM · Ancient Tree

Updated text

Compare with revision 21975 changed lines
1Un espace topologique est un [[Set|ensemble]] $X$ muni d'une [[topology|topologie]] $\tau$, c'est-à-dire, d'une collection de parties de $X$ appelées les [[Open set|ouverts]], vérifiant les axiomes suivants :
1
21. L'[[Empty set|ensemble vide]] et l'espace entier sont ouverts : $\emptyset\in \tau$ et $X\in \tau$.
32. Une [[Arbitrary union|union arbitraire]] d'ouverts est ouverte : si $\{O_{i}\}_{i\in I}$ est une famille d'ensembles de $\tau$, alors $\bigcup_{i \in I} O_i \in \tau$.
43. Une [[Intersection of sets|intersection]] finie d'ouverts est ouverte: si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$.

Revision 2197

8/23/2026, 9:53:17 PM · Ancient Tree

Updated text

Compare with revision 21962 changed lines
1Un espace topologique est un [[Set|ensemble]] $X$ muni d'une [[topology|topologie]] $\tau$, c'est-à-dire, d'une collection de parties de $X$ appelées les [[Open set|ouverts]], vérifiant les axiomes suivants :
21. L'[[Empty set|ensemble vide]] et l'espace entier sont ouverts : $\emptyset\in \tau$ et $X\in \tau$.
32. Une [[Arbitrary union|union arbitraire]] d'ouverts est ouverte : si $\{U_{i}\}_{i\in I}$ est une famille d'ensembles de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.
32. Une [[Arbitrary union|union arbitraire]] d'ouverts est ouverte : si $\{O_{i}\}_{i\in I}$ est une famille d'ensembles de $\tau$, alors $\bigcup_{i \in I} O_i \in \tau$.
43. Une [[Intersection of sets|intersection]] finie d'ouverts est ouverte: si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$.

Revision 2196

8/23/2026, 9:37:40 PM · Ancient Tree

Concept created

Un espace topologique est un [[Set|ensemble]] $X$ muni d'une [[topology|topologie]] $\tau$, c'est-à-dire, d'une collection de parties de $X$ appelées les [[Open set|ouverts]], vérifiant les axiomes suivants :
1. L'[[Empty set|ensemble vide]] et l'espace entier sont ouverts : $\emptyset\in \tau$ et $X\in \tau$.
2. Une [[Arbitrary union|union arbitraire]] d'ouverts est ouverte : si $\{U_{i}\}_{i\in I}$ est une famille d'ensembles de $\tau$, alors $\bigcup_{i \in I} U_i \in \tau$.
3. Une [[Intersection of sets|intersection]] finie d'ouverts est ouverte: si $U_1, \ldots, U_n \in \tau$, alors $U_1 \cap \cdots \cap U_n \in \tau$.