Maximales und minimales Element

Die Begriffe maximales Element und minimales Element werden in der Mengenlehre, genauer in der Ordnungstheorie verwendet.

Ein Element einer geordneten Menge ist maximal, wenn es kein größeres gibt. Es ist minimal, wenn es kein kleineres gibt.

In einer total geordneten Menge stimmen die Begriffe maximales Element und größtes Element sowie minimales Element und kleinstes Element überein. Ein maximales bzw. minimales Element einer partiell geordneten Menge ist jedoch nicht automatisch deren größtes bzw. kleinstes Element.

Definitionen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X, \le)} sei eine Quasiordnung, $M\subseteq X$ eine Teilmenge der Grundmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X } und $x\in M$.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\ } ist maximales Element von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M\ } Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle : \Longleftrightarrow \forall y \in M: (x \le y \Rightarrow y \le x) }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\ } ist minimales Element von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M\ } Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle : \Longleftrightarrow \forall y \in M: (y \le x \Rightarrow x \le y) }

Beispiele

• M := {2, 3, 4, 6, 9, 12, 18} ist die Menge der nichttrivialen natürlichen Teiler der Zahl 36. Diese Menge ist bezüglich der Teilbarkeit partiell geordnet. Minimale Elemente sind 2 und 3, maximal sind 12 und 18. Es gibt kein kleinstes und kein größtes Element. Unter den ganzzahligen nichttrivialen Teilern von 36 sind 2, 3, −2 und −3 minimal, während 12, 18, −12 und −18 maximal sind.
• Die nichtleeren Teilmengen einer gegebenen nichtleeren Menge X sind durch Inklusion partiell geordnet. Minimal in dieser Ordnung sind alle einelementigen Teilmengen {x}, maximales (und auch größtes) Element ist X selbst.
• In einem Vektorraum ist eine Basis eine (bezüglich Inklusion) maximale linear unabhängige Teilmenge.
• In jedem Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (R,\mid)} ist die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0} wegen $\forall r\in R:r\cdot 0=0$, und somit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall r \in R : r \mid 0} , ein größtes Element hinsichtlich der Teilbarkeitsrelation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mid} und somit auch maximal. Alle Einheiten in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (R,\mid)} sind kleinste Elemente und somit auch minimal.

Eigenschaften

• Jede endliche nichtleere geordnete Menge hat minimale und maximale Elemente, unendliche geordnete Mengen müssen keine maximalen und minimalen Elemente haben.
• Eine total geordnete Menge hat höchstens ein maximales und ein minimales Element, partiell geordnete Mengen können mehrere maximale und minimale Elemente haben.
• Ist x das größte Element von M, dann ist x auch das einzige maximale Element von M. Ist M endlich, dann gilt auch die Umkehrung: Wenn M genau ein maximales Element hat, dann ist dieses auch das größte Element. Für unendliche Mengen gilt diese Aussage nicht.
• Ist x das kleinste Element von M, dann ist x auch das einzige minimale Element von M. Ist M endlich, dann gilt auch die Umkehrung: Wenn M genau ein minimales Element hat, dann ist dieses auch das kleinste Element. Für unendliche Mengen gilt diese Aussage nicht.
• Hat jede Kette in einer nichtleeren halbgeordneten Menge eine obere Schranke, dann hat die Menge mindestens ein maximales Element. (Dies ist das Lemma von Zorn.)
• Für zwei maximale oder zwei minimale Elemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und $y$ gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \le y \Rightarrow y \le x} . Bei Halbordnungen bedeutet dies, dass verschiedene maximale bzw. minimale Elemente nicht vergleichbar sind. Dies lässt sich noch verallgemeinern: Die Menge aller maximalen Elemente ist eine Antikette in der Ordnung. Gleiches gilt für die Menge aller minimalen Elemente.

Literatur

• Oliver Deiser: Einführung in die Mengenlehre, 2. Auflage, Springer, Berlin 2004, ISBN 3-540-20401-6