aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/10-vektorenmatrizen/algebren.tex
diff options
context:
space:
mode:
authorfabioviecelli <80270098+fabioviecelli@users.noreply.github.com>2021-09-08 09:23:56 +0200
committerfabioviecelli <80270098+fabioviecelli@users.noreply.github.com>2021-09-08 09:23:56 +0200
commit910a4f556d89d75ee07384a2a3fb963334552264 (patch)
tree53f346e2de59d4bf1365535b709f0a2e8ebffba1 /buch/chapters/10-vektorenmatrizen/algebren.tex
parentErgänzungen (diff)
parenteditorial edits clifford (diff)
downloadSeminarMatrizen-910a4f556d89d75ee07384a2a3fb963334552264.tar.gz
SeminarMatrizen-910a4f556d89d75ee07384a2a3fb963334552264.zip
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'buch/chapters/10-vektorenmatrizen/algebren.tex')
-rw-r--r--buch/chapters/10-vektorenmatrizen/algebren.tex6
1 files changed, 5 insertions, 1 deletions
diff --git a/buch/chapters/10-vektorenmatrizen/algebren.tex b/buch/chapters/10-vektorenmatrizen/algebren.tex
index 9e1d3dc..594b94e 100644
--- a/buch/chapters/10-vektorenmatrizen/algebren.tex
+++ b/buch/chapters/10-vektorenmatrizen/algebren.tex
@@ -10,10 +10,13 @@ vorhanden.
Die Menge der Matrizen $M_n(\Bbbk)$ ist sowohl ein Ring als auch
ein Vektorraum.
Man nennt eine {\em $\Bbbk$-Algebra} oder {\em Algebra über $\Bbbk$}
+\index{k-Algebra@$\Bbbk$-Algebra}%
+\index{Algebra}%
ein Ring $A$, der auch eine $\Bbbk$-Vektorraum ist.
Die Multiplikation des Ringes muss dazu mit der Skalarmultiplikation
verträglich sein.
Dazu müssen Assoziativgesetze
+\index{Assoziativgesetz}
\[
\lambda(\mu a) = (\lambda \mu) a
\qquad\text{und}\qquad
@@ -42,7 +45,8 @@ beinhaltet aber auch das Distributivgesetz.
$M_n(\Bbbk)$ ist eine Algebra.
\subsubsection{Die Algebra der Funktionen $\Bbbk^X$}
-Sie $X$ eine Menge und $\Bbbk^X$ die Menge aller Funktionen $X\to \Bbbk$.
+Sei $X$ eine Menge und $\Bbbk^X$ die Menge aller Funktionen $X\to \Bbbk$.
+\index{kX@$\Bbbk^X$}%
Auf $\Bbbk^X$ kann man Addition, Multiplikation mit Skalaren und
Multiplikation von Funktionen punktweise definieren.
Für zwei Funktion $f,g\in\Bbbk^X$ und $\lambda\in\Bbbk$ definiert man