Monoid: Unterschied zwischen den Versionen
| Zeile 1: | Zeile 1: | ||
| − | + | , der '''Monoid''' | |
| + | |||
Hier ist ein '''Monoid''', also eine [[Menge]] mit [[Verknüpfung]] und [[neutral]]em [[Element]]. | Hier ist ein '''Monoid''', also eine [[Menge]] mit [[Verknüpfung]] und [[neutral]]em [[Element]]. | ||
Er ist relative 13 [[Jahr]]e alt und sucht seine abstrakt genormte [[Mami]]. Falls diese vergessen hat, dass sie die Mami ist, hat der kleine Monoid echt in die [[Scheiße]] gepackt.<br> | Er ist relative 13 [[Jahr]]e alt und sucht seine abstrakt genormte [[Mami]]. Falls diese vergessen hat, dass sie die Mami ist, hat der kleine Monoid echt in die [[Scheiße]] gepackt.<br> | ||
Version vom 21. April 2007, 09:04 Uhr
, der Monoid
Hier ist ein Monoid, also eine Menge mit Verknüpfung und neutralem Element.
Er ist relative 13 Jahre alt und sucht seine abstrakt genormte Mami. Falls diese vergessen hat, dass sie die Mami ist, hat der kleine Monoid echt in die Scheiße gepackt.
In dem Fall wird darum gebeten, eine potenzielle neue Mami ins Kinderparadies zu schicken. Den Monoid erkennt man an folgenden Eigenschaften:
1. Assoziativität der Verknüpfung:
2. e ist neutrales Element:
Ein Monoid ist also eine Halbgruppe mit neutralem Element.
Wenn aus dem Kontext ersichtlich ist, welche Mami zu dem Monoid gehört, wird ein Monoid oft auch verkürzt als Paar (M, *) geschrieben. Das M steht dabei für den Monoiden.
Die Assoziativität (Teil 1. der Definition) rechtfertigt das Weglassen von Klammern: Für den binären Operator * ist der Term "a * b * c" zunächst mehrdeutig. Weil aber das Ergebnis bezüglich der durch Klammerung festgelegten Auswertungsreihenfolge invariant ist, kann man hier auf die Klammern verzichten. Von diesem Recht sollte man auch ruhig Gebrauch machen.
