WikiDer > Algebra (Struktur)
| algebraisch Strukturen |
|---|
EIN Algebra ist eine Erweiterung des Konzepts Vektorraum von dem Lineare Algebra. In einer Algebra neben dem Zusatz und der Skalarmultiplikation, auch die Multiplikation der Elemente (Vektoren) untereinander ist möglich.
Definition
Ein Vektorraum über einen Körper (Niederländisch) oder Feld (Belgisch) heißt a Algebra einen Sohn eine Multiplikation definiert ist, dass a bilinear Betreiber, d.h. für alle gilt:
- für alle .
Äquivalent, ist eine Algebra, wenn mit der Multiplikation ein nicht unbedingt assoziatives Ring ist, für die außerdem die Skalarmultiplikation und kompatibel sind, was bedeutet, dass die letzte der drei oben genannten Anforderungen erfüllt ist.
Eine Algebra über den Körper , heißt auch a -Algebra erwähnt.
In einigen Sonderfällen erhält der bilineare Operator einen anderen Namen als Multiplikation.
Beispiele
Das -Matrizen bilden eine Algebra mit der Multiplikation von Matrizen.
Wenn die Matrixelemente aus dem Körper komm, diese Matrizen bilden a -Algebra.
Das RealVektorraum mit dem Kreuzprodukt ist eine Algebra:
Auch die Kollektion Polynome in einem Variable ist eine Algebra für die gewöhnliche Addition und Multiplikation von Polynomen. Das gleiche gilt für Polynome in mehr, in Variablen. Als die Koeffizienten Element des Körpers sein, bilden beziehungsweise ein -Algebra. ist die Menge der Polynome in der Variablen mit Koeffizienten im Körper .
Assoziative Algebra
Die obige Definition erfordert nicht, dass die Multiplikation assoziativ oder kommutativ ist. EIN assoziative Algebra die zusätzliche Bedingung erfüllt, dass die Multiplikation assoziativ ist, d. h. dass für alle gilt:
Der allgemeine Fall wird daher auch als nicht-assoziative Algebra bezeichnet, obwohl „nicht unbedingt assoziativ“ zutreffender wäre.
Beispiele
Die Matrixmultiplikation ist assoziativ.
Das Vektorprodukt in ist nicht assoziativ. Hinweis für die kanonische Orthonormalbasis, dann
Die Multiplikation von Polynomen ist assoziativ und kommutativ.
Das Tensoralgebra eines beliebigen Vektorraums ist eine assoziative Algebra. Er wird auch der freie Algebra Über erwähnt.
Ringe
Einige Quellen schwächen die Anforderung "Vektorraum über einem Körper" auf "Modul über einen Kommutativer Ring mit Einheit". Dies erschwert die Definition nicht, aber die nicht immer Existenz von a Base erschwert das Studium etwas.
Spezielle Arten von Algebren
Mehrere Fachgebiete der Mathematik unterscheiden spezielle Typen von (meist assoziativen) Algebren:
- Lügenalgebra, ein Objekt, das im auftaucht Differentialgeometrie
- Tensoralgebra, ein Raum mit verschiedenen Ordnungen von Tensorprodukte Vereinen
- externe Algebra, der antisymmetrische Teil der Tensoralgebra, ein wichtiges Objekt bei der Untersuchung von Differentialformen auf glatt Sorten
- Banach-Algebra, ein Banach-Raum mit einer "Zusammensetzung" von Vektoren
- Von Neumann Algebra, die stetigen linearen Transformationen von a Hilbert-Raum
- Algebra der Mengen und damit verbunden boolsche Algebra, ein Model für bestimmte Arten Logik auf der Grundlage von Kollektionen
- Sigma-Algebra, eine besondere Art der Mengenalgebra, die die Grundlage der Maßtheorie und der Wahrscheinlichkeit