Ensemble Transitif

Ensemble Transitif

Ensemble transitif

En mathématique, un ensemble transitif est un ensemble E composé d'éléments, qui sont aussi des ensembles, et dont les éléments appartiennent aussi à l'ensemble initial E.

Sommaire

Définition

En théorie des ensembles, un ensemble X est dit transitif

si et seulement si tout élément y d’un élément x de X est lui-même élément de X

ou encore

si et seulement si tout élément x de X est un sous-ensemble de X ; en langage symbolique :
x (xXxX)

On parle également de classe transitive, avec la même définition : tout ensemble élément de la classe est également sous-ensemble de celle-ci.

Exemples

0 = \empty, 1 = \left\{0\right\}, 2 = \left\{0, 1\right\}, 3 = \left\{0, 1, 2\right\}, 4 = \left\{0, 1, 2, 3\right\}, \cdots, \ {n+1} = n\cup\left\{n\right\}, etc.
Par exemple, pour l’ordinal \ 4 on a 2 \in 4 et 2 \subset 4.

En effet 2 \in \left\{0, 1, 2, 3\right\} et \left\{0, 1\right\} \subset \left\{0, 1, 2, 3\right\}.

La classe de tous les ordinaux est une classe transitive : les éléments d'un ordinal sont des ordinaux.
  • Le couple (0,1), défini par { {∅}, {∅,{∅}} }, est un ensemble qui n'est pas transitif : {∅} ∈ (0,1) et ∅ ∉ (0,1).
  • En théorie des ensembles (Z, ZF, ZFC...), pour tout ensemble X, il existe un unique ensemble transitif Y contenant X et contenu dans tout ensemble transitif contenant X. On l'appelle clôture transitive de X. La clôture transitive est définie par induction sur les entiers naturels, en prenant la réunion des éléments de X, puis la réunion des ensembles obtenus etc. (on note ∪A la réunion des éléments de A) :
Y0=X ; Yn+1=∪Yn ; Y = ∪n ∈ NYn
On montre que Y est bien transitif : si xY, alors pour un certain entier n, xYn, et donc, par construction de Yn+1, xYn+1.
On montre par récurrence sur l'entier n que tout ensemble transitif contenant X contient Yn.
  • On appelle P(A) l'ensemble des parties de A, c'est-à-dire tous les sous-ensembles de A. On définit par induction sur les entiers naturels (N désigne l'ensemble des entiers naturels) :
V0=∅ ; Vn+1=P(Vn)
et on pose Vω=∪n ∈ N Vn.
Les Vn pour n entier naturel, et Vω sont des ensembles transitifs. On peut généraliser cette construction par induction sur la classe de tous les ordinaux pour obtenir une classe transitive V. Dans un modèle de ZFC, on montre (voir la référence indiquée) que Vω définit un ensemble qui, muni de la même relation d'appartenance, est modèle de tous les axiomes de ZFC sauf l'axiome de l'infini. Celui-ci est donc indépendant des autres axiomes. De façon analogue, la classe V définit, dans un modèle de ZFC sans axiome de fondation, un modèle de ZFC avec axiome de fondation. Sans entrer dans le détail de ces preuves (et de la définition de V), on comprend bien que pour construire un modèle de la théorie des ensembles comme une sous-classe d'un autre modèle, en conservant la même relation d'appartenance, il faut que cette sous-classe soit transitive.

Notes

  1. Les ordinaux de Von Neumann sont définis comme ensembles transitifs bien ordonnés par l'appartenance, en tant qu'ordre strict.


Voir aussi

Références

  • Jean-Louis Krivine, « Théorie des Ensembles », Paris, éditions Cassini, collection Nouvelle Bibliothèque Mathématique, 1998 (ISBN 2-84225-014-1)
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Ensemble transitif ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble Transitif de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Ensemble transitif — Pour les articles homonymes, voir transitivité. En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l ensemble. Sommaire 1 Définition 2 …   Wikipédia en Français

  • Ensemble Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • Ensemble fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • transitif — transitif, ive [ trɑ̃zitif, iv ] adj. • 1550; « passager, changeant » 1310; lat. transitivus, de transire « passer » 1 ♦ (lat. verbum transitivum) Se dit d un verbe qui régit son complément sans intermédiaire, par un passage direct du sujet à l… …   Encyclopédie Universelle

  • Sous-ensemble — L ensemble A est inclus dans l ensemble B. On dit que A est sous ensemble de B, ou que B est sur ensemble de A. En mathématiques, un ensemble A est un sous ensemble ou une partie d’un ensemble B, ou encore B est sur ensemble de A, si tout élément …   Wikipédia en Français

  • Sous-ensemble propre — Sous ensemble L ensemble A est inclus dans l ensemble B. On dit que A est sous ensemble de B, ou que B est sur ensemble de A. En mathématiques, un ensemble A est un sous ensemble ou une partie d’un ensemble B, ou encore B est sur ensemble de A …   Wikipédia en Français

  • Sur-ensemble — Sous ensemble L ensemble A est inclus dans l ensemble B. On dit que A est sous ensemble de B, ou que B est sur ensemble de A. En mathématiques, un ensemble A est un sous ensemble ou une partie d’un ensemble B, ou encore B est sur ensemble de A …   Wikipédia en Français

  • RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… …   Encyclopédie Universelle

  • Sous-ensembles — Sous ensemble L ensemble A est inclus dans l ensemble B. On dit que A est sous ensemble de B, ou que B est sur ensemble de A. En mathématiques, un ensemble A est un sous ensemble ou une partie d’un ensemble B, ou encore B est sur ensemble de A …   Wikipédia en Français

  • Surensemble — Sous ensemble L ensemble A est inclus dans l ensemble B. On dit que A est sous ensemble de B, ou que B est sur ensemble de A. En mathématiques, un ensemble A est un sous ensemble ou une partie d’un ensemble B, ou encore B est sur ensemble de A …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”