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

$(X,\leq )$ sei eine Quasiordnung, $M\subseteq X$ eine Teilmenge der Grundmenge und $x\in M$ .

$x\$ ist maximales Element von $M\$ $: \Longleftrightarrow \forall y \in M: (x \le y \Rightarrow y \le x)$

$x\$ ist minimales Element von $M\$ $: \Longleftrightarrow \forall y \in M: (y \le x \Rightarrow x \le y)$

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.

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. Die Umkehrung gilt nicht: Auch wenn M genau ein maximales Element hat, ist dieses nicht automatisch größtes Element.
Ist x das kleinste Element von M, dann ist x auch das einzige minimale Element von M. Die Umkehrung gilt nicht: Auch wenn M genau ein minimales Element hat, ist dieses nicht automatisch kleinstes Element.
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 und gilt $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.

Basierend auf einem Artikel in: