Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
107 personne(s) sur le site en ce moment
E. Cartan

Les maths pour l'agreg

A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Les axiomes de la théorie des ensembles de Zermelo-Fraenkel next up previous index
suivant: La "taille" des ensembles monter: Théorie des ensembles - précédent: Théorie des ensembles -   Index

Les axiomes de la théorie des ensembles de Zermelo-Fraenkel

Une classe est associée à une propriété d'une seul élément; c'est à dire que l'on se donne une assertion comportant une et une seule variable libre; un élément est dans la classe correspondante s'il vérifie l'assertion. Les formules comportant plusieurs variables libres sont appelées relations. Eventuellement on peut avoir une distinction entre des variables et des paramètres; dans ce cas on a une classe pour chaque valeur possible des paramètres.
La théorie des ensembles est basée sur un ensemble d'axiomes. Les objets de cette théorie sont appelés ensembles, et la classe des ensembles est appelée univers. Les axiomes de la théorie des ensembles de Zermelo-Fraenkel sont les suivants:

Axiome Axiome d'extensionalité:

$\displaystyle \forall x \forall y (\forall z (z \in x \iff z \in y) \rightarrow x=y$

( deux ensembles sont égaux si et seulement si ils contiennent exactement les mêmes éléments )

Axiome Axiome de l'union:

$\displaystyle \forall x \exists y \forall z (z \in y \iff \exists t ( t \in x \land z \in t )$

( une union d'ensembles est un ensemble )

Axiome Axiome de l'ensemble des parties:

$\displaystyle \forall x \exists y \forall z ( z\in y \iff z \subset x )$

( les parties d'un ensembles forment une partie. On note $ x \subset y$ l'assertion $ \forall z (z\in x \rightarrow z\in y)$)

Axiome Axiome du schéma de remplacement:
Etant donné une formule $ {\cal R}(x,y,z_0,...,z_n)$ de paramètres $ z_0,...,z_n$, définissant pour toute valeur des $ z_i$ une fonction, alors:

$\displaystyle \forall z_0 ... \forall z_n ( \forall x \forall y \forall y' {\cal R}(x,y,z_0,...,z_n)\land E(x,y',z_0,...,z_n) \rightarrow y=y') $

$\displaystyle \rightarrow \forall t \exists w \forall v ( v \in w \iff \exists u ( u \in t \land {\cal R}(u,v,z_0,...,z_{n}) ))$

On ajoute usuellement un axiome supplémentaire à ces axiomes:

Axiome axiome de l'infini, qui affirme qu'il existe un ordinal infini. Nous verrons plus loin ce qu'est un ordinal, et ce qu'est un ordinal fini.

Théorème La consistance de ces axiomes n'est pas changée si on remplace l'axiome de l'infini par sa négation.

Démonstration Voir [12]...

On appelle paire l'ensemble $ \{x,y\}$. Ne pas confondre avec le couple $ (x,y)$, qui désigne en fait l'ensemble $ \{\{x\},\{x,y\}\}$. On note de même $ (x,y,z)$ l'ensemble $ (x,(y,z))$, et ainsi de suite pour les $ n$-uplets ordonnés.
La différence entre $ \{x_0,...,x_n\}$ et $ ( x_0 ,..., x_n ) $ est que dans le premier cas l'ordre des termes n'influe pas, alors que dans le second elle influe. On démontre l'associativité et la commutativité de l'union. On notera $ {\cal P}(E)$ l'ensemble des parties de l'ensemble $ E$.

Pour y voir plus clair On notera que toutes les opérations intuitives sur les ensembles sont possibles, enfin presque. On peut en tout cas utiliser les intersections, définir l'ensemble des éléments d'un ensemble donné qui vérifient une propriété donnée, on peut travailler sur l'ensemble des parties d'un ensemble, on peut travailler sur un produit cartésien d'ensembles, bref toutes ces choses sans lesquelles les maths prendraient vraiment la tête. On peut aussi montrer l'existence et l'unicité de l'ensemble vide.


next up previous index
suivant: La "taille" des ensembles monter: Théorie des ensembles - précédent: Théorie des ensembles -   Index
C.Antonini_JF.Quint_P.Borgnat_J.Berard_E.Lebeau_E.Souche_A.Chateau_O.Teytaud
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page