From 16854d6d1916feda57f4bedc695822a5d0a2af1b Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 1 Oct 2025 15:39:18 +0200
Subject: [PATCH] eduroam-prg-hf-1-5-173.net.univ-paris-diderot.fr
 2025-10-1:15:39:17

---
 espace séparé.md                               |  2 +-
 espace topologique compact.md                  | 13 +++++++++++++
 ...types.md => espace topologique des types.md | 12 ++++++++++--
 espace topologique totalement discontinu.md    | 18 ++++++++++++++++++
 type.md                                        |  2 +-
 5 files changed, 43 insertions(+), 4 deletions(-)
 create mode 100644 espace topologique compact.md
 rename ensemble des types.md => espace topologique des types.md (81%)
 create mode 100644 espace topologique totalement discontinu.md

diff --git a/espace séparé.md b/espace séparé.md
index dbfb1471..9aeb80a2 100644
--- a/espace séparé.md	
+++ b/espace séparé.md	
@@ -11,7 +11,7 @@ aliases:
 
 
 > [!definition] Définition
-> $X$ est **séparé** 
+> un [[structure de topologie|espace topologique]] $X$ est **séparé** si
 ^definition
 
 > [!idea] Intuition
diff --git a/espace topologique compact.md b/espace topologique compact.md
new file mode 100644
index 00000000..a9854f0e
--- /dev/null
+++ b/espace topologique compact.md	
@@ -0,0 +1,13 @@
+---
+up:
+  - "[[structure de topologie|espace topologique]]"
+tags:
+  - s/maths/topologie
+aliases:
+---
+> [!definition] Définition
+> un [[structure de topologie|espace topologique]] $X$ est dit **compact** si il respecte la [[propriété de Borel-Lebesgue]] :
+> ![[propriété de Borel-Lebesgue#^BL]]
+> 
+^definition
+
diff --git a/ensemble des types.md b/espace topologique des types.md
similarity index 81%
rename from ensemble des types.md
rename to espace topologique des types.md
index ca30b9c5..da5a74b1 100644
--- a/ensemble des types.md	
+++ b/espace topologique des types.md	
@@ -7,13 +7,13 @@ tags:
 aliases:
 ---
 
-> [!definition] Ensemble des types
+> [!definition] Définition
 > Soit $\mathcal{F}_{n}$ l'ensemble des formules à variables libres dans $\{ x_1, \dots, x_{n} \}$
 > On note $\mathscr{S}_{n} \in \mathcal{P}(\mathcal{P}(\mathcal{F}_{n}))$ l'ensemble de tous les types en $\{ x_1, \dots, x_{n} \}$
 >  - i $\mathscr{S}_{0}$ est l'ensemble de toutes les théories
 
 
-> [!info]+ Topologie sur $\mathscr{S}_{n}$
+> [!proposition]+ Topologie sur $\mathscr{S}_{n}$
 > $f \in \mathcal{F}_{n}$
 > $\{ t \in \mathscr{S}_{n} \mid f \in t \} = V(f) \subset \mathscr{S}_{n}$
 > 
@@ -34,3 +34,11 @@ aliases:
 >  >  - Si $W_1, W_2$ sont ouverts, alors $\displaystyle W_1 \cap W_2 = \bigcup _{(i, j)} V(f_{i}) \cap V(g_{j}) = \bigcup _{(i, j)} V(f_{i} \wedge g_{j})$ avec $W_1 = \bigcup _{i \in I} V(f_{i})$ et $\displaystyle W_2 = \bigcup _{j \in J} V(g_{j})$
 >  
 
+# Propriétés
+
+> [!proposition]+ Théorème
+> $\mathscr{S}_{n}$ est un [[structure de topologie|espace topologique]] [[espace topologique compact|compact]] et [[espace topologique totalement discontinu|totalement discontinu]]
+> 
+> > [!démonstration]- Démonstration
+> > 
+
diff --git a/espace topologique totalement discontinu.md b/espace topologique totalement discontinu.md
new file mode 100644
index 00000000..c51c930a
--- /dev/null
+++ b/espace topologique totalement discontinu.md	
@@ -0,0 +1,18 @@
+---
+up:
+  - "[[structure de topologie|espace topologique]]"
+tags:
+  - s/maths/topologie
+aliases:
+  - totalement discontinu
+---
+
+
+> [!definition] Définition
+> Un [[structure de topologie|espace topologique]] $X$ est **totalement discontinu** si pour tout $t \in X$, la [[composante connexe]] de $t$ est $\{ t \}$  pour tout $t \in \mathscr{S}_{n}$
+^definition
+
+# Propriétés
+
+# Exemples
+
diff --git a/type.md b/type.md
index 0c0f5fa4..4b63a9c3 100644
--- a/type.md
+++ b/type.md
@@ -16,7 +16,7 @@ aliases:
 > > on notera plutôt $\operatorname{Th}(A) = \{ f \mid A \models f \}$ l'ensemble des énoncés vrais dans $A$, i.e la théorie de $A$
 ^definition
 
-[[ensemble des types]]
+ - on note $\mathscr{S}_{n}$ l'[[espace topologique des types]]
 
 # Propriétés