Maximaal en minimaal element

In de ordetheorie, een deelgebied van wiskunde, heet een element van een deelverzameling van een verzameling met een preorde een maximaal element als er geen groter element is. Duaal heet een element een minimaal element als er geen kleiner element is. De begrippen maximaal en minimaal element zijn zwakker dan die van grootste en kleinste element (die ook bekendstaan als respectievelijk het maximum en het minimum); partieel geordende verzamelingen kunnen meerdere maximale en/of minimale elementen hebben.

Definitie

Laat $R$ een verzameling zijn met preorde $\lesssim$ , en $S\subseteq R$ een deelverzameling. Een element $m$ van $S$ heet maximaal element van $S$ ten opzichte van de orde $\lesssim$ , als voor alle $s\in S$ geldt:

m\lesssim s\Longrightarrow s\lesssim m

Een element $m\in S$ heet een minimaal element van $S$ ten opzichte van de orde $\lesssim$ , als voor alle $s\in S$ geldt:

s\lesssim m\Longrightarrow m\lesssim s

Voorbeelden

Op de complexe getallen is de relatie $z\lesssim z'$ als $|z|\leq |z'|$ een (totale) preorde. In de deelverzameling $S=\{z\in \mathbb {C} \mid |z|\leq 1\}$ zijn alle getallen op de eenheidscirkel maximale elementen van $S$ .

In een partieel geordende verzameling $(M,\leq )$ met $M=\{a,b,c\}$ en $a\leq b$ en $a\leq c$ zijn $b$ en $c$ wel maximale elementen (van heel $M$ ), want er bestaan geen grotere elementen, maar het zijn geen grootste elementen, want ze zijn niet groter dan alle elementen van $M$ (in het bijzonder geldt niet $b\leq c$ of $c\leq b$ ). Aan de andere kant is $a$ in dit voorbeeld zowel een minimaal als een kleinste element.

Zie ook