Transitive Menge

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Mengenlehre nennt man eine Menge A transitiv, falls

  • aus und immer folgt, dass ,

oder äquivalent falls

  • jedes Element von A auch eine Teilmenge von A ist.

Analog dazu nennt man eine Klasse M transitiv, falls jedes Element von M eine Teilmenge von M ist.

Beispiele[Bearbeiten | Quelltext bearbeiten]

  • Eine Ordinalzahl nach der Definition von John von Neumann ist eine transitive Menge mit der Eigenschaft, dass jedes Element wieder transitiv ist.
  • Ein Grothendieck-Universum ist per Definition eine transitive Menge.
  • Transitive Klassen werden als Modelle für die Mengenlehre selbst verwendet.

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

  • Eine Menge X ist genau dann transitiv, wenn , wobei die Vereinigung aller Elemente von X ist, also .
  • Falls X transitiv ist, dann ist auch transitiv.
  • Falls X und Y transitive Mengen sind, dann ist auch transitiv
  • Allgemein, falls X eine Klasse ist, deren Elemente alle transitive Mengen sind, dann ist eine transitive Klasse.
  • Eine Menge X ist genau dann transitiv, wenn X eine Teilmenge der Potenzmenge von X ist.
  • Die Potenzmenge einer transitiven Menge ist wieder transitiv. Diese Eigenschaft wird bei der Von-Neumann-Hierarchie verwendet um einzusehen, dass alle Stufen dieser Hierarchie transitiv sind.

Siehe auch[Bearbeiten | Quelltext bearbeiten]

Literatur[Bearbeiten | Quelltext bearbeiten]