Ensemble transitif

Ensemble transitif
Page d'aide sur l'homonymie 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

Définition

Un ensemble X est dit transitif si

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

c'est-à-dire si

tout élément x de X est un sous-ensemble de X (en notant « ⊂ » l'inclusion au sens large) :
x (xXxX)

ce qui revient à (en notant ∪X la réunion des éléments de X) :

XX.

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

L'ensemble vide et le singleton {∅} sont des exemples d'ensembles transitifs. Par contre le singleton {1} (où 1 = {∅}) n'est pas transitif :

\{\varnothing\}=1\in\{1\} mais \{\varnothing\}\not\subset\{1\} (car \varnothing\neq 1).

Exemples

Ordinaux

Les entiers de von Neumann sont des ensembles transitifs :

0 = \empty, 1 = \left\{0\right\}, 2 = \left\{0, 1\right\}, 3 = \left\{0, 1, 2\right\}, 4 = \left\{0, 1, 2, 3\right\}, … ,n+1 = n\cup\left\{n\right\}, ...

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\}.

De façon plus générale les ordinaux de von Neumann, dont les entiers précédents sont les premiers éléments, sont aussi des ensembles transitifs. On peut d'ailleurs les définir comme les ensembles transitifs sur laquelle l'appartenance définit une relation d'ordre strict dont l'ordre large associé est un bon ordre. La classe de tous les ordinaux est une classe transitive : les éléments d'un ordinal sont des ordinaux.

Par transitivité l'appartenance entre deux ordinaux entraîne l'inclusion. On démontre que la relation d'inclusion sur les ordinaux est en fait la relation d'ordre large associée à l'appartenance (« appartient ou égal »).

Clôture transitive

On montre dans la théorie des ensembles de Zermelo-Fraenkel (ZF), que 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 récurrence sur les entiers naturels, représentés par les entiers de von Neumann dans le cadre ensembliste (on note ∪A la réunion des éléments de A, et ω l'ensemble des entiers de von Neumann) :

Y0=X ; Yn+1=∪Yn ; Y = ∪n ∈ ωYn

Cette définition utilise le schéma d'axiomes de remplacement (pour que la suite des Yn soit bien une fonction, au sens ensembliste, définie sur ω).

  • L'ensemble Y est bien transitif : si xY, alors pour un certain entier n, xYn, et donc, par construction de Yn+1, xYn+1.
  • Par récurrence sur l'entier n, tout ensemble transitif contenant X contient Yn.

Modèles ensemblistes

Dans ZF (le remplacement est utilisé comme ci-dessus), on définit par induction sur les entiers naturels (P(A) désigne l'ensemble des parties de A) :

V0=∅ ; Vn+1 = P(Vn)

et on pose Vω=∪n ∈ ω Vn.

Les Vn pour n entier, sont des ensembles transitifs de même que leur réunion Vω. 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[1] que Vω définit un ensemble qui, muni de la relation d'appartenance retreinte à Vω, est modèle de tous les axiomes de ZFC sauf l'axiome de l'infini. Celui-ci n'est donc pas conséquence 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.

De façon générale, un ensemble transitif, muni de la relation d'appartenance restreinte à cet ensemble, vérifie l'axiome d'extensionnalité. De même pour une classe transitive.

Notes et références

  1. cf. bibliographie


Bibliographie

  • René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles  [détail des éditions], chap 7
  • Jean-Louis Krivine, « Théorie des Ensembles », Paris, éditions Cassini, collection Nouvelle Bibliothèque Mathématique, 1998 (ISBN 2-84225-014-1)

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 — 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 1 Définition 2 Exemples 3 Notes …   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”