From 57715cacec8d0f0d3d1436a26f92ae5c0f0e128e Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Tue, 27 Aug 2024 21:07:18 +0200
Subject: debut du background sur ZF

---
 background/set.tex | 77 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)
 create mode 100644 background/set.tex

(limited to 'background/set.tex')

diff --git a/background/set.tex b/background/set.tex
new file mode 100644
index 0000000..c058648
--- /dev/null
+++ b/background/set.tex
@@ -0,0 +1,77 @@
+Commencons donc cette section préliminaire avec les définitions et quelques porpiété des ensemble et de fonctions.
+Commencons par les ensembles.
+Nous utilisons ici la théorie des ensembles Zermelo–Fraenkel (ZF).
+Si nous avons, dans ce manuscrit, besoin d'objet plus grand que les ensembles, nous les appelerons classes bien qu'il soit hors de propos de présenter ici la théorie Von Neumann–Bernays–Gödel (NBG).
+Nous allons présenter ZF de manière assez succinte, juste suffisante pour réaliser les clalculs du Chapitre~\ref{sec:fini}.
+Si le lecteur souhaite plus de détail sur ces théories nous le renvoyons à \textit{Elements of set thoery} de Herbert B. Enderton~\cite{enderton1977elements}.
+
+\subsubsection{Axiomes de la théroie ZF}
+Nous présentons dans cette section les axiomes de la théorie ZF.
+Ces axiomes sont la pierre angulaire des tous les dévleppoements mathématiques que nous ferons dans ce manuscrit.
+Pour un lecteur qui ne serai pas familier de cette théorie, disons qu'il s'agit de modéliser formellement le principe d'ensemble.
+C'est à dire le principe de ranger des choses, les éléments, dans des boîtes, les ensembles.
+
+\paragraph{Axiome d'Extensionnalité} 
+Deux ensemble $A$ et $B$ sont égaut si et seulement si ils ont les mêmes éléments.
+\begin{equation}
+\forall A\forall B (\forall x~x\in A \iff x\in B) \implies A=B
+\end{equation}
+
+\paragraph{Axiome de l'Ensemble vide}
+Il exite un ensemble qui ne contient aucun élément.
+Nous le notons donc $\{\}$ ou $\emptyset$.
+
+\paragraph{Axiome de la Paire}
+\begin{equation}
+\forall A \forall B \exists \{A,B\}\forall c(c\in \{A,B\}\iff c=A\vee c=B)
+\end{equation}
+
+\paragraph{Axiome de l'Union}
+Pour tout ensembles $A$, il exist un ensemble $\bigcup A$ qui soit exactement composé des éléments de chaque élément de $A$.
+\begin{equation}
+\forall A \exists \bigcup A \forall b \left(b\in\bigcup A\iff \exists a\in A~ b\in a\right)
+\end{equation}
+
+\paragraph{Axiome de l'ensemble des parties}
+Pour tout ensemble $A$ il existe un ensemble $\mathcal{P}(A)$ qui est l'ensemble des sous-ensembles (ou parties) de $A$.
+\begin{equation}
+\forall A \exists \mathcal{P}(A) ~ P\subset A \iff P\in \mathcal{P}(A)
+\end{equation}
+
+\paragraph{Axiome \textit{Aussonderung}}
+Pour toute formule $F$ (au sens du clacul des prédicats et du vocabulaire $\in$, $=$) qui ne pédend pas de $B$ et tout ensemble A, il existe un ensemble $B = \{a\in A | F\}$ qui est tel que 
+$\forall b\in B (b\in A \wedge F)$
+
+\paragraph{Axiome du choix}
+\begin{definition}[Fonction]
+qsdf
+\end{definition}
+
+\paragraph{Axiome de l'infini}
+\begin{equation}
+\exists A\forall a\in A~(\emptyset \in A \wedge a^+\in A)
+\end{equation}
+Où $a^+ = a\cup \{a\}$.
+Nous appelons un tel $A$, un ensemble récursif.
+
+\begin{definition}[Ensemble usuels]
+Soit $C$ la classe des ensembles récursif.
+Soit $A$ un ensemble récursif.
+Nous appelons $\mathbb{N}$ l'ensemble des entier naturels que nous définissons comme suit :
+\begin{equation}
+\mathbb{N} = \{n\in A~|~\forall c\in C~n\in c\}
+\end{equation}
+$\mathbb{N}$ est bien en ensemble d'après l'axiome Aussonderung.
+Cette construction permet de définir les opérations d'addition et de multiplication~\cite{enderton1977elements} ainsi que les autres ensembles usuels qui nous utiliserons dans ce manuscrit.
+Ainsi nous définisson $\mathbb{Z} = \{$ : l'ensemble des entiers relatifs l'union de $\mathbb{N}$ et de $-\mathbb{N} = \{$
+
+\end{definition}
+
+\paragraph{Axiome de remplacement}
+
+\paragraph{Axiome de régularitée}
+
+
+
+
+
-- 
cgit v1.2.3

