Übersicht algebraische Strukturen

9 files changed, 179 insertions, 4 deletions

diff --git a/buch/chapters/10-vektorenmatrizen/algebren.tex b/buch/chapters/10-vektorenmatrizen/algebren.tex
index 6b355ee..9e1d3dc 100644
--- a/buch/chapters/10-vektorenmatrizen/algebren.tex
+++ b/buch/chapters/10-vektorenmatrizen/algebren.tex
@@ -5,6 +5,41 @@
 %
 \subsection{Algebren
 \label{buch:grundlagen:subsection:algebren}}
+Die Skalar-Multiplikation eines Vektorraums ist in einem Ring nicht
+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$}
+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
+\[
+\lambda(\mu a) = (\lambda \mu) a
+\qquad\text{und}\qquad
+\lambda(ab) = (\lambda a) b
+\]
+für $a,b\in A$ und $\lambda,\mu\in\Bbbk$
+und eine Regel der Form
+\begin{equation}
+a(\lambda b) = \lambda (ab)
+\label{buch:vektorenmatrizen:eqn:algebrakommutativ}
+\end{equation}
+gelten.
+Die Bedingung \eqref{buch:vektorenmatrizen:eqn:algebrakommutativ} ist
+eine Folge der Forderung, dass die Multiplikation 
+eine lineare Abbildung sein soll.
+Dies bedeutet, dass
+\begin{equation}
+a(\lambda b+\mu c) = \lambda (ab) + \mu (ac),
+\label{buch:vektorenmatrizen:eqn:algebralinear}
+\end{equation}
+woraus 
+\eqref{buch:vektorenmatrizen:eqn:algebrakommutativ}
+für $\mu=0$ folgt.
+Die Regel \eqref{buch:vektorenmatrizen:eqn:algebralinear}
+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$.
diff --git a/buch/chapters/10-vektorenmatrizen/gruppen.tex b/buch/chapters/10-vektorenmatrizen/gruppen.tex
index b4e0982..0ff1004 100644
--- a/buch/chapters/10-vektorenmatrizen/gruppen.tex
+++ b/buch/chapters/10-vektorenmatrizen/gruppen.tex
@@ -5,7 +5,6 @@
 %
 \subsection{Gruppen
 \label{buch:grundlagen:subsection:gruppen}}
-\rhead{Gruppen}
 Die kleinste sinnvolle Struktur ist die einer Gruppe.
 Eine solche besteht aus einer Menge $G$ mit einer Verknüpfung,
 die additiv
diff --git a/buch/chapters/10-vektorenmatrizen/images/Makefile b/buch/chapters/10-vektorenmatrizen/images/Makefile
index 779d571..664dff5 100644
--- a/buch/chapters/10-vektorenmatrizen/images/Makefile
+++ b/buch/chapters/10-vektorenmatrizen/images/Makefile
@@ -3,10 +3,13 @@
 #
 # (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
 #
-all:	ideale.pdf gausszahlen.pdf
+all:	ideale.pdf gausszahlen.pdf strukturen.pdf
 
 ideale.pdf:	ideale.tex
 	pdflatex ideale.tex
 
 gausszahlen.pdf:	gausszahlen.tex
 	pdflatex gausszahlen.tex
+
+strukturen.pdf:	strukturen.tex
+	pdflatex strukturen.tex
diff --git a/buch/chapters/10-vektorenmatrizen/images/gausszahlen.pdf b/buch/chapters/10-vektorenmatrizen/images/gausszahlen.pdf
index b717fa6..181499c 100644
--- a/buch/chapters/10-vektorenmatrizen/images/gausszahlen.pdf
+++ b/buch/chapters/10-vektorenmatrizen/images/gausszahlen.pdf
diff --git a/buch/chapters/10-vektorenmatrizen/images/strukturen.pdf b/buch/chapters/10-vektorenmatrizen/images/strukturen.pdf
new file mode 100644
index 0000000..c2d545e
--- /dev/null
+++ b/buch/chapters/10-vektorenmatrizen/images/strukturen.pdf
diff --git a/buch/chapters/10-vektorenmatrizen/images/strukturen.tex b/buch/chapters/10-vektorenmatrizen/images/strukturen.tex
new file mode 100644
index 0000000..0006699
--- /dev/null
+++ b/buch/chapters/10-vektorenmatrizen/images/strukturen.tex
@@ -0,0 +1,122 @@
+%
+% strukturen.tex -- Bezug der verschiedenen algebraischen Strukturen
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\documentclass[tikz]{standalone}
+\usepackage{amsmath}
+\usepackage{times}
+\usepackage{txfonts}
+\usepackage{pgfplots}
+\usepackage{csvsimple}
+\usetikzlibrary{arrows,intersections,math}
+\begin{document}
+\def\skala{1}
+\begin{tikzpicture}[>=latex,thick,scale=\skala]
+
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+
+% assoziative Verknüpfung
+\draw[rounded corners=1cm] (-7,-11.5) rectangle (7,7);
+
+\begin{scope}[yshift=6cm]
+\node at (0,0.5) [left] {{\bf assoziative Verknüpfung}:\strut};
+\node at (0,0.5) [right] {$a(bc)=(ab)c\;\forall a,b,c$\strut};
+\node at (0,-0.3) {\small $\mathbb{N}$, $\Sigma^*$};
+\end{scope}
+
+% Gruppe
+\fill[rounded corners=1cm,color=gray!40] (-6.5,-11.0) rectangle (6.5,5.3);
+\draw[rounded corners=1cm] (-6.5,-11.0) rectangle (6.5,5.3);
+
+\begin{scope}[xshift=-3cm,yshift=4.3cm]
+\node at (0,0.5) [left] {{\bf Gruppe}:};
+\node at (0,0.5) [right] {neutrales Element $e$:\strut};
+\node at (3.3,0.5)  [right] {$eg=ge=g$\strut};
+\node at (5.7,0.5) [right] {$\forall g\in G$\strut};
+\node at (0,0.0) [right] {inverses Element $g^{-1}$:\strut};
+\node at (3.3,0.0) [right] {$gg^{-1}=g^{-1}g=e$\strut};
+\node at (5.7,0.0) [right] {$\forall g\in G$\strut};
+\node at (3,-1) {\small $\mathbb{Z}$, $\operatorname{GL}_n(\mathbb R)$, $S_n$, $A_n$};
+\end{scope}
+
+% abelsche Gruppe
+\fill[rounded corners=0.7cm,color=gray!20] (-6.2,-10.7) rectangle (6.2,2.7);
+\draw[rounded corners=0.7cm] (-6.2,-10.7) rectangle (6.2,2.7);
+\begin{scope}[yshift=1.5cm]
+\node at (0,0.5) [left] {{\bf abelsche Gruppe}:\strut};
+\node at (0,0.5) [right] {$a+b=b+a\;\forall a,b$\strut};
+\node at (0,0.0) {Addition\strut};
+
+\node at (0,-1) {\small $\mathbb{Q}^*$, $\operatorname{SO}(2)$, $C_n$ };
+\end{scope}
+
+\fill[rounded corners=0.5cm,color=white] (-2,-10.5) rectangle (6,-0.5);
+\fill[rounded corners=0.5cm,color=blue!20] (-6,-10.0) rectangle (2,0);
+%\draw[rounded corners=0.5cm] (-6,-10.0) rectangle (2,0);
+
+% Vektorraum
+\begin{scope}[yshift=-1cm]
+\node at (-5.8,0.5) [right] {{\bf Vektorraum}:\strut};
+\node at (-5.8,0.0) [right] {Skalarmultiplikation\strut};
+
+\node at (-5.8,-0.5) [right] {$\lambda(a+b)=\lambda a+\lambda b$\strut};
+\node at (-5.8,-1.0) [right] {$(\lambda+\mu)a=\lambda a+\mu a$\strut};
+\node at (-5.8,-1.5) [right] {$\forall\lambda,\mu\in \Bbbk\;\forall a,b\in V$};
+
+\node at (-5.8,-2.5) [right] {\small $\mathbb{R}^n$, $\mathbb{C}^n$, $l^2$};
+\end{scope}
+
+\fill[rounded corners=0.5cm,color=red!40,opacity=0.5]
+	(-2,-10.5) rectangle (6,-0.5);
+\draw[rounded corners=0.5cm] (-2,-10.5) rectangle (6,-0.5);
+
+\begin{scope}[yshift=-1cm]
+\node at (0,0.0) {{\bf Algebra}:\strut};
+\node at (0,-1.0) {$a(\lambda b) = \lambda ab$\strut};
+\node at (0,-1.5) {$\forall a,b\in A, \lambda\in \Bbbk$\strut};
+\node at (0,-3.0) {\small $c_0(\mathbb{R})$};
+\end{scope}
+
+\begin{scope}[yshift=-1cm]
+\node at (5.8,0) [left] {{\bf Ring}:};
+\node at (5.8,-0.5) [left] {Multiplikation};
+
+\node at (5.8,-1.0) [left] {$a(b+c)=ab+ac$\strut};
+\node at (5.8,-1.5) [left] {$(a+b)c=ac+bc$\strut};
+\node at (5.8,-2.0) [left] {$\forall a,b,c\in R$\strut};
+
+\node at (5.8,-3) [left] {\small $c_0(\mathbb{Z})$, $L^2(\mathbb R)$};
+\end{scope}
+
+\fill[rounded corners=0.3cm,color=yellow!20,opacity=0.5]
+	(-1.8,-10.3) rectangle (5.8,-4.5);
+\draw[rounded corners=0.3cm] (-1.8,-10.3) rectangle (5.8,-4.5);
+
+% boundary of blue area
+\draw[rounded corners=0.5cm] (-6,-10.0) rectangle (2,0);
+
+\begin{scope}[yshift=-5cm]
+\node at (5.6,0) [left] {{\bf Ring mit Eins}:};
+\node at (5.6,-1) [left] {$1\cdot a= a\cdot 1 = a\forall a\in R$\strut};
+\node at (5.6,-3) [left] {\small $\mathbb{Z}[X]$, $M_n(\mathbb{Z})$};
+\end{scope}
+
+\begin{scope}[yshift=-5cm]
+\node at (0,0)  {{\bf Algebra mit Eins}};
+\node at (0,-1.2) {\small $M_n(\mathbb R)$, $C([a,b])$};
+\end{scope}
+
+\fill[rounded corners=0.1cm,color=darkgreen!20]
+	(-1.6,-9.8) rectangle (1.6,-6.9);
+\draw[rounded corners=0.1cm] (-1.6,-9.8) rectangle (1.6,-6.9);
+
+\begin{scope}[yshift=-7cm]
+\node at (0,-0.3) {{\bf Körper}:\strut};
+\node at (0,-1) {$a\in K\setminus\{0\}\Rightarrow \exists a^{-1}$\strut};
+\node at (0,-2.2) {\small $\mathbb{F}_p$, $\mathbb{R}$, $\mathbb{C}$, $\mathbb{Q}(X)$};
+\end{scope}
+
+\end{tikzpicture}
+\end{document}
+
diff --git a/buch/chapters/10-vektorenmatrizen/linear.tex b/buch/chapters/10-vektorenmatrizen/linear.tex
index cc1c5b9..0e106c9 100644
--- a/buch/chapters/10-vektorenmatrizen/linear.tex
+++ b/buch/chapters/10-vektorenmatrizen/linear.tex
@@ -592,7 +592,14 @@ Sie wird auch $C=A^{-1}$ geschrieben.
 
 Die Definition der inversen Matrix stellt sicher, dass $AA^{-1}=E$ gilt,
 daraus folgt aber noch nicht, dass auch $A^{-1}A=E$ ist.
-Die Eigenschaften der Matrizenmultiplikation stellen jedoch sicher,
+Diese Eigenschaft kann man jedoch wie folgt erhalten.
+Sei $C$ die inverse Matrix von $A$, also $AC=E$.
+Sei weiter $D$ die inverse Matrix von $C$, also $CD=E$.
+Dann ist zunächst $A=AE=A(CD)=(AC)D=ED=D$ und weiter
+$CA=CD=E$.
+Mit der Bezeichnung $C=A^{-1}$ erhalten wir also auch $A^{-1}A=E$.
+
+Die Eigenschaften der Matrizenmultiplikation stellen sicher,
 dass die Menge der invertierbaren Matrizen eine Struktur bilden,
 die man Gruppe nennt, die in Abschnitt~\ref{buch:grundlagen:subsection:gruppen}
 genauer untersucht wird.
diff --git a/buch/chapters/10-vektorenmatrizen/ringe.tex b/buch/chapters/10-vektorenmatrizen/ringe.tex
index 0a8ab1e..42e2a7e 100644
--- a/buch/chapters/10-vektorenmatrizen/ringe.tex
+++ b/buch/chapters/10-vektorenmatrizen/ringe.tex
@@ -5,7 +5,6 @@
 %
 \subsection{Ringe und Moduln
 \label{buch:grundlagen:subsection:ringe}}
-\rhead{Ringe}
 Die ganzen Zahlen haben ausser der Addition mit neutralem Element $0$
 auch noch eine Multiplikation mit dem neutralen Element $1$.
 Die Multiplikation ist aber nicht immer invertierbar und zwar
diff --git a/buch/chapters/10-vektorenmatrizen/strukturen.tex b/buch/chapters/10-vektorenmatrizen/strukturen.tex
index 6ff4f36..a2afa37 100644
--- a/buch/chapters/10-vektorenmatrizen/strukturen.tex
+++ b/buch/chapters/10-vektorenmatrizen/strukturen.tex
@@ -5,6 +5,15 @@
 %
 \section{Algebraische Strukturen
 \label{buch:section:algebraische-Strukturen}}
+\rhead{Algebraische Strukturen}
+\begin{figure}
+\centering
+\includegraphics[width=\textwidth]{chapters/10-vektorenmatrizen/images/strukturen.pdf}
+\caption{Übersicht über die verschiedenen algebraischen Strukturen, die
+in Abschnitt~\ref{buch:section:algebraische-Strukturen} zusammengestellt
+werden.
+\label{buch:vektorenmatrizen:fig:strukturen}}
+\end{figure}
 Im Laufe der Definition der Vektorräume $\Bbbk^n$ und der
 Operationen für die Matrizen in $M_{m\times n}(\Bbbk)$ haben
 wir eine ganze Reihe von algebraischen Strukturen kennengelernt.
@@ -20,6 +29,7 @@ ein.
 In diesem Abschnitten sollen diesen sinnvollen Gruppierungen von
 Eigenschaften Namen gegeben werden.
 
+
 \input{chapters/10-vektorenmatrizen/gruppen.tex}
 \input{chapters/10-vektorenmatrizen/ringe.tex}
 \input{chapters/10-vektorenmatrizen/algebren.tex}