Aujourd’hui, nous souhaitons aborder un sujet qui a gagné en importance ces dernières années. Ensemble transitif est une question qui a retenu l'attention de la société en général, car elle impacte notre vie quotidienne de diverses manières. Il est important de bien comprendre ce sujet, car son influence s’étend du niveau personnel au niveau mondial. Tout au long de cet article, nous explorerons différents aspects liés à Ensemble transitif, analysant son impact dans différents contextes et offrant une vision complète de son importance aujourd'hui. Nous sommes sûrs que les informations que vous trouverez ci-dessous vous seront très utiles pour comprendre la pertinence et la portée de Ensemble transitif dans notre société.
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.
Un ensemble X est dit transitif si
c'est-à-dire si
ce qui revient à (en notant ∪X l'union des éléments de X) :
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 ensembles transitifs.
Les entiers de von Neumann sont des ensembles transitifs :
Par exemple, pour l’ordinal , on a et . En effet et .
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 »).
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 la clôture transitive de X.
Par exemple, avec les notations ordinales ci-dessus :
La clôture transitive peut se définir par récurrence sur les entiers naturels, qui sont représentés par les entiers de von Neumann dans le cadre ensembliste :
Cette définition utilise en particulier l'axiome de l'infini (existence de l'ensemble ω) et le schéma d'axiomes de remplacement (pour que la suite des Yn soit bien une fonction, au sens ensembliste, définie sur ω).
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) :
et l'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 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.