Algebraische Struktur: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) |
||
Zeile 26: | Zeile 26: | ||
An Stelle von [[Algebraische Struktur]] sagt man häufig kurz [[Algebraische Struktur|Algebra]]. | An Stelle von [[Algebraische Struktur]] sagt man häufig kurz [[Algebraische Struktur|Algebra]]. | ||
[[Quelle::Gellert, Kästner (1979)]] merken an, dass bei der Definition des Begriffs [[ | [[Quelle::Gellert, Kästner (1979)]] merken an, dass bei der Definition des Begriffs [[algebraische Struktur]] partielle algebraische Operationen zugelassen sein | ||
können.<ref>{{Quelle|Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik}}</ref> | können.<ref>{{Quelle|Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik}}</ref> | ||
Dies ist hier (in diesem Wiki) aufgrund der Definition des Begriffes [[Algebraische Oprenration]] automatisch gegeben. | Dies ist hier (in diesem Wiki) aufgrund der Definition des Begriffes [[Algebraische Oprenration]] automatisch gegeben. | ||
[[Quelle::Asser (1980)]] fordert, dass eine | [[Quelle::Asser (1980)]] fordert, dass eine algebraische Struktur auch [[Konstante]]n (<math>\in A</math>) und [[Relation]]en über <math>A</math> | ||
(d.h. Teilmengen von <math>A^n</math>, <math>n \in \mathbb{N}</math>) enthalten darf.<ref>{{Quelle|Asser, G. (1980): Grundbegriffe der Mathematik}}</ref> | (d.h. Teilmengen von <math>A^n</math>, <math>n \in \mathbb{N}</math>) enthalten darf.<ref>{{Quelle|Asser, G. (1980): Grundbegriffe der Mathematik}}</ref> | ||
Dies sind allerdings keine echten Erweiterungen der obigen Definitionen, da Funktionen <math>k: A^0 \rightarrow A</math> als Konstanten aufgefasst werden können und | Dies sind allerdings keine echten Erweiterungen der obigen Definitionen, da Funktionen <math>k: A^0 \rightarrow A</math> als Konstanten aufgefasst werden können und | ||
Zeile 39: | Zeile 39: | ||
nachgebildet werden können. | nachgebildet werden können. | ||
[[Quelle::Meyberg (1980)]] dagegen definiert | [[Quelle::Meyberg (1980)]] dagegen definiert algebraische Strukturen allgemeiner. Neben den von ihm so genannten „inneren Verknüpfungen“, d.h. neben denjenigen Funktionen, die Elemente der Grundmenge <math>A</math> | ||
auf Elemente der Grundmenge <math>A</math> abbildden, lässt er auch „äußere Verknüpfungen“ zu. Darunter versteht er Funktionen der Art:<ref>{{Quelle|Meyberg, K. (1980): Algebra – Teil 1}}</ref> | auf Elemente der Grundmenge <math>A</math> abbildden, lässt er auch „äußere Verknüpfungen“ zu. Darunter versteht er Funktionen der Art:<ref>{{Quelle|Meyberg, K. (1980): Algebra – Teil 1}}</ref> | ||
<div class="formula"><math>o: B \times A \rightarrow A</math></div> | <div class="formula"><math>o: B \times A \rightarrow A</math></div> |
Version vom 9. August 2012, 13:54 Uhr
Dieser Artikel wird derzeit von einem Autor gründlich bearbeitet. Die Inhalte sind daher evtl. noch inkonsistent.
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: 3 (wichtige Quellen vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition: Algebraische Struktur
Ein Paar $ \mathcal{A} = (A, (d_i)_{i \in I}) $ heißt Algebraische Struktur oder Universelle Algebra, wenn:
- $ A $ ist eine Menge oder Klasse, die so genannte Trägermenge
- $ I $ ist eine nicht-leere Indexmenge
- $ (d_i)_{i \in I} $ ist eine Familie von Deskriptoren algebraischer Operationen
mit $ d_i = (o_i, A, n_i, B_i) $ für alle $ i \in I $.
Die Funktionen $ o_i $ der algebraischen Struktur sind also $ n_i $-stellige algebraischer Operationen über der Tägermenge $ A $ mit dem Operationsbereich $ B_i $:
Bemerkungen
An Stelle von Algebraische Struktur sagt man häufig kurz Algebra.
Gellert, Kästner (1979) merken an, dass bei der Definition des Begriffs algebraische Struktur partielle algebraische Operationen zugelassen sein können.[1] Dies ist hier (in diesem Wiki) aufgrund der Definition des Begriffes Algebraische Oprenration automatisch gegeben.
Asser (1980) fordert, dass eine algebraische Struktur auch Konstanten ($ \in A $) und Relationen über $ A $ (d.h. Teilmengen von $ A^n $, $ n \in \mathbb{N} $) enthalten darf.[2] Dies sind allerdings keine echten Erweiterungen der obigen Definitionen, da Funktionen $ k: A^0 \rightarrow A $ als Konstanten aufgefasst werden können und auch Relationen durch Funktionen
oder partielle Funktionen
nachgebildet werden können.
Meyberg (1980) dagegen definiert algebraische Strukturen allgemeiner. Neben den von ihm so genannten „inneren Verknüpfungen“, d.h. neben denjenigen Funktionen, die Elemente der Grundmenge $ A $ auf Elemente der Grundmenge $ A $ abbildden, lässt er auch „äußere Verknüpfungen“ zu. Darunter versteht er Funktionen der Art:[3]
Äußere Verknüpfungen sind in diesem Wiki in der Definition des Begriffes Algebraische Oprenration ebenfalls enthalten.
Beispiele
- Die natürlichen Zahlen bilden zusammen mit der Addition und der Multiplikation eine algebraische Struktur, bei der alle algebraischen Operationen total sind: $ (\mathbb{N}, +, \cdot) $.
- Die natürlichen Zahlen bilden zusammen mit der Addition, der Subtraktion und der Multiplikation eine algebraische Struktur mit einer echt-patiellen algebraischen Operation: $ (\mathbb{N}, +, -, \cdot) $, die Subtraktion ist lediglich eine partielle algebraische Operation.
Verschiedene Typen von algebraischen Strukturen
- Magma
- Halbring
- Verband
- Hyperkomplexes System = Algebra über einen Ring (oft auch nur: Algebra)
- Relationale Algebra
Quellen
- ↑
- ↑ Asser (1980): Günter Asser; Grundbegriffe der Mathematik – I. Mengen. Abbildungen. Natürliche Zahlen; Auflage: 4; Verlag: VEB Deutscher Verlag der Wissenschaften; Adresse: Berlin; 1980; Quellengüte: 5 (Buch)
- ↑ Meyberg (1980): Kurt Meyberg; Algebra – Teil 1; Auflage: 2; Verlag: Carl Hanser Verlag; Adresse: München, Wien; 1980; Quellengüte: 5 (Buch)
- Brockhaus (1986, A-APT): Brockhaus-Enzyklopädie: Band 1, A-APT; Auflage: 19; Verlag: F.A. Brockhaus GmbH; Adresse: Mannheim; ISBN: 3-7653-1101-4; 1986; Quellengüte: 5 (Buch)