From f0d8c11fb6cd969e3b6fff72243d206d258435fa Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 1 Oct 2025 15:02:29 +0200
Subject: [PATCH] eduroam-prg-sg-1-46-135.net.univ-paris-diderot.fr
 2025-10-1:15:2:28

---
 ensemble des types.md | 36 ++++++++++++++++++++++++++++++++++++
 type.md               | 10 ++--------
 2 files changed, 38 insertions(+), 8 deletions(-)
 create mode 100644 ensemble des types.md

diff --git a/ensemble des types.md b/ensemble des types.md
new file mode 100644
index 00000000..ca30b9c5
--- /dev/null
+++ b/ensemble des types.md	
@@ -0,0 +1,36 @@
+---
+up:
+  - "[[type]]"
+tags:
+  - s/maths/topologie
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] Ensemble des types
+> 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}$
+> $f \in \mathcal{F}_{n}$
+> $\{ t \in \mathscr{S}_{n} \mid f \in t \} = V(f) \subset \mathscr{S}_{n}$
+> 
+>  - i $V(f) \cap V(g) = \{ t \in \mathscr{S}_{n} \mid f \in t \wedge g \in t \} = V(f \cap g)$
+>  $t = \operatorname{tp}_{A}(a)$
+>  $f, g \in t$ $\begin{cases} A \models f(a) \\ A \models g(a) \end{cases} \iff A \models ( f \wedge g )(a)$
+>  ---
+>  $X - V(f) = V(\neg f)$
+>  $f \notin \operatorname{tp}(a),\quad A \not \models f(a) \iff A \models \neg f(a)$
+>  
+>  > [!definition] Ouverts sur $\mathscr{S}_{n}$
+>  > Une partie $W$ de $\mathscr{S}_{n}$ est ouverte si c'est une réunion de parties de la forme $V(v)$
+> 
+> > [!definition] Topologie sur $\mathscr{S}_{n}$
+> > On peut maintenant former une [[structure de topologie|topologie]] sur $\mathscr{S}_{n}$ :
+>  >  - $\emptyset$ est ouvert car $\emptyset = V(\bot)$
+>  >  - $\mathscr{S}_{n}$ est ouvert car $\mathscr{S}_{n} = V(\top)$
+>  >  - 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})$
+>  
+
diff --git a/type.md b/type.md
index a4279446..0c0f5fa4 100644
--- a/type.md
+++ b/type.md
@@ -16,14 +16,8 @@ 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
 
-> [!definition] Ensemble des types
-> 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}$
-> > $f \in \mathcal{F}_{n}$
-> > $\{ t \in \mathscr{S}_{n} \mid f \in t \} =$
+[[ensemble des types]]
+
 # Propriétés
 
 # Exemples