Monoid: Unterschied zwischen den Versionen
BBot (Diskussion | Beiträge) K (Bot: Schönen guten Tag. Ich putze hier nur.) |
|||
| Zeile 1: | Zeile 1: | ||
| − | '''Monoid''', der: eine [[Menge]] mit [[ | + | '''Monoid''', der: 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> | ||
In dem Fall wird darum gebeten, eine potenzielle neue Mami ins Kinder[[paradies]] zu schicken. Den Monoid erkennt man an folgenden Eigenschaften: | In dem Fall wird darum gebeten, eine potenzielle neue Mami ins Kinder[[paradies]] zu schicken. Den Monoid erkennt man an folgenden Eigenschaften: | ||
| Zeile 17: | Zeile 17: | ||
[[Kategorie:Mathematik]] | [[Kategorie:Mathematik]] | ||
[[Kategorie:Dinge, die die Welt nicht braucht]] | [[Kategorie:Dinge, die die Welt nicht braucht]] | ||
| − | [[Kategorie:Dorftrottel, die keinen | + | [[Kategorie:Dorftrottel, die keinen interessieren]] |
Version vom 14. September 2009, 23:18 Uhr
Monoid, der: 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. Assozialitä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.
