Algebraische Operation: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 17: | Zeile 17: | ||
*<math>n \in \mathbb{N}_0</math> | *<math>n \in \mathbb{N}_0</math> | ||
*<math>o</math> ist eine [[partielle Funktion]] mit <math>\begin{cases} | *<math>o</math> ist eine [[partielle Funktion]] mit <math>\begin{cases} | ||
o: A^n \ | o: A^n \rightharpoonup A, & \text{falls }B=\emptyset\\ | ||
o: B \times A^n \ | o: B \times A^n \rightharpoonup A, & \text{falls }B \not= \emptyset | ||
\end{cases}</math> | \end{cases}</math> | ||
Zeile 41: | Zeile 41: | ||
[[partielle Funktion|partiellen Funktionen]] sind). | [[partielle Funktion|partiellen Funktionen]] sind). | ||
Eine [[algebraische Operation]] <math>o: A^n \ | Eine [[algebraische Operation]] <math>o: A^n \rightharpoonup A</math> oder <math>o: B \times A^n \rightharpoonup A</math> heißt | ||
* '''nullär''', falls <math>n=0</math> | * '''nullär''', falls <math>n=0</math> |
Version vom 14. Mai 2018, 15:04 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
Korrektheit: 3 (zu größeren Teilen überprüft) |
Umfang: 3 (einige wichtige Fakten fehlen) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 3 (gut) |
Konformität: 5 (ausgezeichnet) |
Algebraische Operation: Definition (von W. Kowarschick)
Ein Tupel $ (o, A, n, B) $ heißt Deskriptor einer algebraische Operation oder – genauer – Deskriptor einer n-stelligen algebraische Operation auf der Trägermenge bzw. -klasse $ A $ mit dem Operatorenbereich $ B $, wenn folgende Bedingungen erfüllt sind:
- $ A $ ist eine beliebige Menge oder Klasse, die so genannte Trägermenge bzw. -klasse
- $ B $ ist eine beliebige Menge oder Klasse, der so genannte Operatorenbereich
- $ n \in \mathbb{N}_0 $
- $ o $ ist eine partielle Funktion mit $ \begin{cases} o: A^n \rightharpoonup A, & \text{falls }B=\emptyset\\ o: B \times A^n \rightharpoonup A, & \text{falls }B \not= \emptyset \end{cases} $
$ o $ heißt unter diesen Voraussetzungen algebraische Operation.
Eine algebraische Operation heißt innere algebraische Operation, wenn $ B=\emptyset $ gilt.
Eine algebraische Operation heißt äußere algebraische Operation, wenn $ B \not= \emptyset $ gilt.
Eine algebraische Operation heißt totale algebraische Operation, wenn es sich um eine totale Funktion handelt:
Im ersten Fall handelt es sich dabei um eine innere totale algebraische Operation und im zweiten Fall um eine äußere totale algebraische Operation.
Eine algebraische Operation wird i. Allg. nur dann partielle algebraische Operation genannt, wenn es sich um eine echt-partielle, d.h. um eine nicht-totale Operation handelt (obwohl laut Definition totale Funktionen Spezialfälle von partiellen Funktionen sind).
Eine algebraische Operation $ o: A^n \rightharpoonup A $ oder $ o: B \times A^n \rightharpoonup A $ heißt
- nullär, falls $ n=0 $
- unär, falls $ n=1 $
- binär, falls $ n=2 $
- tenär, falls $ n=3 $
Eine nulläre innere Operation entspricht einer Konstanten, eine nulläre äußere Operation entspricht einer „parametrisierten“ Konstanten, d.h. einer ganzen Menge (oder Klasse) von Konstanten, die mittels Parametern $ b \in B $ ausgewählt werden können.
Die Klasse aller Deskriptoren algebraischer Operatoren wird mit $ \mathcal{D} $ bezeichnet:
Quellen
Diese Definition stammt von Wolfgang Kowarschick.