Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil I/Vorlesung 30

Uff, das wär geschafft. Nicht nur Vorli braucht jetzt erstmal Urlaub. Irgendwas mit Bergen und Meer. Land egal.

Affine Erzeugendensysteme

Lemma

Es sei ${}E$ ein affiner Raum über dem ${}K$- Vektorraum ${}V$.

Dann ist der Durchschnitt von einer Familie ${}F_{i}\subseteq E$, ${}i\in I$, von affinen Unterräumen wieder affin.

Beweis

Wenn der Durchschnitt leer ist, so gilt die Aussage nach Definition. Es sei ${}P\in \bigcap _{i\in I}F_{i}$. Wir können die affinen Räume als

${}F_{i}=P+U_{i}\,$

mit Untervektorräumen ${}U_{i}\subseteq V$ schreiben. Sei

${}U=\bigcap _{i\in I}U_{i}\,,$

was nach Lemma 6.16  (1) ein Untervektorraum ist. Wir behaupten

${}\bigcap _{i\in I}F_{i}=P+U\,.$

Aus ${}Q\in \bigcap _{i\in I}F_{i}$ folgt

${}Q=P+u\,$

mit ${}u\in \bigcap _{i\in I}U_{i}$, sodass ${}Q\in P+U$ liegt. Umgekehrt folgt aus ${}Q\in P+U$ direkt ${}Q\in P+U_{i}=F_{i}$.

$\Box$

Insbesondere gibt es zu jeder Teilmenge ${}T\subseteq E$ in einem affinen Raum ${}E$ einen kleinsten affinen Unterraum, der ${}T$ umfasst.

Lemma

Es sei ${}E$ ein affiner Raum über dem ${}K$- Vektorraum ${}V$ und ${}T\subseteq E$ eine Teilmenge.

Dann besteht der kleinste affine Unterraum ${}F\subseteq E$

von ${}E$, der ${}T$ umfasst, aus allen baryzentrischen Kombinationen

$\sum _{i=1}^{n}a_{i}P_{i}{\text{ mit }}P_{i}\in T{\text{ und }}\sum _{i=1}^{n}a_{i}=1.$

Beweis

Die angegebene Menge enthält die einzelnen Punkte aus ${}T$, da man als baryzentrisches Koordinatentupel insbesondere ein Standardtupel nehmen kann. Daher ergibt sich die Behauptung aus Lemma 29.14 und Aufgabe 29.20.

$\Box$

Definition

Es sei ${}E$ ein affiner Raum über dem ${}K$- Vektorraum ${}V$ und sei ${}F\subseteq E$ ein affiner Unterraum. Eine Familie von Punkten ${}P_{i}\in F$, ${}i\in I$, heißt affines Erzeugendensystem von ${}F$, wenn ${}F$ der kleinste affine Unterraum von ${}E$ ist, der alle Punkte ${}P_{i}$ umfasst.

Ein Punkt erzeugt als affinen Punkt den Punkt selbst, zwei Punkte erzeugen die Verbindungsgerade.

Affine Unabhängigkeit

Definition

Es sei ${}E$ ein affiner Raum über einem ${}K$- Vektorraum ${}V$ und es sei

$P_{1},\ldots ,P_{n}$

eine endliche Familie von Punkten aus ${}E$. Man nennt die Punktfamilie affin-unabhängig, wenn eine Gleichheit

${}\sum _{i=1}^{n}a_{i}P_{i}=\sum _{i=1}^{n}b_{i}P_{i}\,$

mit

${}\sum _{i=1}^{n}a_{i}=\sum _{i=1}^{n}b_{i}=1\,$

nur bei

${}a_{i}=b_{i}\,$

für alle ${}i=1,\ldots ,n$ möglich ist.

Lemma

Es sei ${}E$ ein affiner Raum über einem ${}K$- Vektorraum ${}V$ und es sei

$P_{1},\ldots ,P_{n}$

eine endliche Familie von Punkten aus ${}E$. Dann sind die folgenden Aussagen äquivalent.

1. Die Punkte ${}P_{1},\ldots ,P_{n}$ sind affin unabhängig.
2. Für jedes ${}i\in {\{1,\ldots ,n\}}$ ist die Vektorfamilie

   ${\overrightarrow {P_{i}P_{1}}},\ldots ,{\overrightarrow {P_{i}P_{i-1}}},\,{\overrightarrow {P_{i}P_{i+1}}},\ldots ,{\overrightarrow {P_{i}P_{n}}}$

   linear unabhängig.

3. Es gibt ein ${}i\in {\{1,\ldots ,n\}}$ derart, dass die Vektorfamilie

   ${\overrightarrow {P_{i}P_{1}}},\ldots ,{\overrightarrow {P_{i}P_{i-1}}},\,{\overrightarrow {P_{i}P_{i+1}}},\ldots ,{\overrightarrow {P_{i}P_{n}}}$

   linear unabhängig ist.

4. Die Punkte ${}P_{1},\ldots ,P_{n}$ bilden in dem von ihnen erzeugten affinen Unterraum eine affine Basis.

Beweis

Siehe Aufgabe 30.3.

$\Box$

Affine Abbildungen

Definition

Es sei ${}K$ ein Körper und seien ${}E$ und ${}F$ affine Räume über den Vektorräumen ${}V$ bzw. ${}W$. Eine Abbildung

$\psi \colon E\longrightarrow F$

heißt affin (oder affin-lineare Abbildung), wenn es eine lineare Abbildung

$\varphi \colon V\longrightarrow W$

mit

${}\psi (P+v)=\psi (P)+\varphi (v)\,$

für alle ${}P\in E$ und ${}v\in V$ gibt.

Es genügt, diese Bedingung für einen einzigen Punkt und alle Vektoren zu überprüfen, siehe Aufgabe 30.7.

Bemerkung  

Eine Abbildung

$\psi \colon E\longrightarrow F$

ist genau dann affin-linear mit linearem Anteil ${}\varphi$, wenn das Diagramm

${\begin{matrix}V\times E&{\stackrel {+}{\longrightarrow }}&E&\\\!\!\!\!\!\varphi \times \psi \downarrow &&\downarrow \psi \!\!\!\!\!&\\W\times F&{\stackrel {+}{\longrightarrow }}&F&\!\!\!\!\!\\\end{matrix}}$

kommutiert. Zu einer affin-linearen Abbildung

$\psi \colon E\longrightarrow F$

ist der lineare Anteil (bei $E\neq \emptyset$)

$\varphi \colon V\longrightarrow W$

eindeutig bestimmt. Es ist nämlich notwendigerweise

${}\varphi (v)={\overrightarrow {\psi (P)\psi (P+v)}}\,$

für einen beliebigen Punkt ${}P\in E$. Daher bezeichnen wir den linearen Anteil mit ${}\psi _{0}$. Für zwei Punkte ${}P,Q\in E$ gilt insbesondere

${}\psi _{0}({\overrightarrow {PQ}})={\overrightarrow {\psi (P)\psi (Q)}}\,.$

Lemma

Es sei ${}K$ ein Körper und seien ${}E,F$ und ${}G$ affine Räume über den Vektorräumen ${}U,V$ bzw. ${}W$. Dann gelten folgende Aussagen.

1. Die Identität

   $\operatorname {Id} _{E}\colon E\longrightarrow E$

   ist affin-linear.

2. Die Verknüpfung von affin-linearen Abbildungen

   $E\longrightarrow F$

   und

   $F\longrightarrow G$

   ist wieder affin-linear.

3. Zu einer bijektiven affin-linearen Abbildung

   $\psi \colon E\longrightarrow F$

   ist auch die Umkehrabbildung affin-linear.

4. Zu ${}v\in V$ ist die Verschiebung

   $E\longrightarrow E,\,P\longmapsto P+v,$

   affin-linear.

5. Eine lineare Abbildung ist affin-linear.

Beweis

Diese Eigenschaften folgen unmittelbar aus der Definition.

$\Box$

Lemma

Es seien ${}E$ und ${}F$ affine Räume über einem Körper ${}K$ und sei

$\psi \colon E\longrightarrow F$

eine Abbildung.

Dann ist ${}\psi$ genau dann affin-linear, wenn für jede baryzentrische Kombination ${}\sum _{i\in I}a_{i}P_{i}$ mit ${}P_{i}\in E$ die Gleichheit

${}\psi {\left(\sum _{i\in I}a_{i}P_{i}\right)}=\sum _{i\in I}a_{i}\psi (P_{i})\,$

gilt.

Beweis

Es seien ${}V$ und ${}W$ die Vektorräume zu ${}E$ bzw. zu ${}F$. Es sei zunächst ${}\psi$ affin-linear mit linearem Anteil

$\psi _{0}\colon V\longrightarrow W$

und eine baryzentrische Kombination ${}\sum _{i\in I}a_{i}P_{i}$ mit ${}P_{i}\in E$ und ${}\sum _{i\in I}a_{i}=1$ gegeben. Dann ist (mit einem beliebigen Punkt ${}Q\in E$)

${}{\begin{aligned}\psi {\left(\sum _{i\in I}a_{i}P_{i}\right)}&=\psi {\left(Q+\sum _{i\in I}a_{i}{\overrightarrow {QP_{i}}}\right)}\\&=\psi (Q)+\psi _{0}{\left(\sum _{i\in I}a_{i}{\overrightarrow {QP_{i}}}\right)}\\&=\psi (Q)+\sum _{i\in I}a_{i}\psi _{0}{\left({\overrightarrow {QP_{i}}}\right)}\\&=\psi (Q)+\sum _{i\in I}a_{i}{\overrightarrow {\psi (Q)\psi (P_{i})}}\\&=\sum _{i\in I}a_{i}\psi (P_{i})\end{aligned}}$

Es sei nun umgekehrt die Abbildung ${}\psi$ mit den baryzentrischen Kombinationen verträglich. Wir setzen

${}\varphi (v):={\overrightarrow {\psi (P)\psi (P+v)}}\,$

für ${}v\in V$. Wir zeigen zunächst, dass dies unabhängig von dem gewählten Punkt ${}P$ ist. Es ist

$(P+v)-(Q+v)+Q$

eine baryzentrische Kombination für den Punkt ${}P$, siehe Aufgabe 29.15. Daher ist in ${}F$

${}\psi (P+v)-\psi (Q+v)+\psi (Q)=\psi (P)\,.$

Somit ist in ${}V$

${}{\overrightarrow {\psi (P)\psi (P+v)}}-{\overrightarrow {\psi (P)\psi (Q+v)}}+{\overrightarrow {\psi (P)\psi (Q)}}=0\,$

und daher

${}{\begin{aligned}{\overrightarrow {\psi (P)\psi (P+v)}}&={\overrightarrow {\psi (P)\psi (Q+v)}}-{\overrightarrow {\psi (P)\psi (Q)}}\\&={\overrightarrow {\psi (P)\psi (Q+v)}}+{\overrightarrow {\psi (Q)\psi (P)}}\\&={\overrightarrow {\psi (Q)\psi (Q+v)}}.\end{aligned}}$

Es bleibt zu zeigen, dass ${}\varphi$ linear ist. Für ${}u={\overrightarrow {PQ}}$ und ${}v={\overrightarrow {PR}}$ ist

${}{\begin{aligned}\psi (P)+\varphi (au+bv)&=\psi (P+au+bv)\\&=\psi {\left(P+a{\overrightarrow {PQ}}+b{\overrightarrow {PR}}\right)}\\&=\psi ((1-a-b)P+aQ+bR)\\&=(1-a-b)\psi (P)+a\psi (Q)+b\psi (R)\\&=\psi (P)+a{\overrightarrow {\psi (P)\psi (Q)}}+b{\overrightarrow {\psi (P)\psi (R)}}\\&=\psi (P)+a\varphi {\left({\overrightarrow {PQ}}\right)}+b\varphi {\left({\overrightarrow {PR}}\right)}\\&=\psi (P)+a\varphi (u)+b\varphi (v).\end{aligned}}$

Also ist

${}\varphi (au+bv)=a\varphi (u)+b\varphi (v)\,.$

$\Box$

Definition

Es sei ${}K$ ein Körper und seien ${}E$ und ${}F$ affine Räume über den ${}K$- Vektorräumen ${}V$ bzw. ${}W$. Eine bijektive affine Abbildung

$\psi \colon E\longrightarrow F$

heißt affiner Isomorphismus.

In einem gewissen Sinne setzen sich affin-lineare Abbildungen aus Verschiebungen und aus linearen Abbildungen zusammen.

Lemma

Es sei ${}K$ ein Körper und sei ${}E$ ein affiner Raum über dem Vektorraum ${}V$. Es sei ${}P\in E$.

Dann entsprechen sich die affin-linearen Abbildungen

$\psi \colon E\longrightarrow E$

mit ${}P$ als Fixpunkt und die linearen Abbildungen

$\varphi \colon V\longrightarrow V.$

Beweis

Die Zuordnung ist durch ${}\psi \mapsto \psi _{0}$ gegeben. Wir müssen zeigen, dass es zu jeder linearen Abbildung ${}\varphi \colon V\rightarrow V$ eine eindeutige affin-lineare Abbildung

$\psi \colon E\longrightarrow E$

mit diesem linearen Anteil gibt. Wegen

${}\psi (Q)=\psi (P)+\varphi ({\overrightarrow {PQ}})=P+\varphi ({\overrightarrow {PQ}})\,$

kann es nur eine affin-lineare Abbildung geben, und durch diese Vorschrift kann man die Abbildung auch definieren.

$\Box$

Der folgende Satz heißt Festlegungssatz für affine Abbildungen und ist analog zu Satz 10.10.

Satz

Es sei ${}K$ ein Körper und seien ${}E$ und ${}F$ affine Räume über den Vektorräumen ${}V$ bzw. ${}W$. Es sei ${}P_{i}$, ${}i\in I$, eine affine Basis von ${}E$ und ${}Q_{i}$, ${}i\in I$, eine Familie von Punkten in ${}F$.

Dann gibt es eine eindeutig bestimmte affin-lineare Abbildung

$\psi \colon E\longrightarrow F$

mit

${}\psi (P_{i})=Q_{i}\,$

für alle ${}i\in I$.

Beweis

Es sei ${}i_{0}\in I$. Es gibt nach Satz 10.10 eine eindeutig bestimmte lineare Abbildung

$\varphi \colon V\longrightarrow W$

mit

${}\varphi ({\overrightarrow {P_{i_{0}}P_{i}}})={\overrightarrow {Q_{i_{0}}Q_{i}}}\,,$

für alle ${}i\in I\setminus \{i_{0}\}$. Dann ist

${}\psi (R)=Q_{i_{0}}+\varphi ({\overrightarrow {P_{i_{0}}R}})\,$

eine affin-lineare Abbildung mit der gewünschten Eigenschaft. Umgekehrt ist eine solche affine Abbildung ${}\psi$ durch den linearen Anteil und das Verhalten auf einem einzigen Punkt eindeutig festgelegt, sodass

${}\psi _{0}=\varphi \,$

sein muss.

$\Box$

Korollar

Es sei ${}K$ ein Körper und sei ${}E$ ein affiner Raum mit einer affinen Basis ${}P_{1},\ldots ,P_{n},P_{n+1}$.

Dann ist die Abbildung

$E\longrightarrow K^{n+1},\,P\longmapsto (a_{1},\ldots ,a_{n},a_{n+1}),$

wobei ${}a_{i}$ die baryzentrischen Koordinaten von ${}P$ sind, eine affin-lineare Abbildung, die eine affine Isomorphie zwischen ${}E$ und dem affinen Unterraum ${}F\subset K^{n+1}$ stiftet, der durch

${}F={\left\{x\in K^{n+1}\mid \sum _{i=1}^{n+1}x_{i}=1\right\}}\,$

gegeben ist. Der Vektorraum zu ${}F$ ist

${}W={\left\{x\in K^{n+1}\mid \sum _{i=1}^{n+1}x_{i}=0\right\}}\,.$

Beweis

Nach Satz 30.12 gibt es eine eindeutig bestimmte affin-lineare Abbildung

$E\longrightarrow K^{n+1},$

die ${}P_{i}$ auf den ${}i$-ten Standardvektor ${}e_{i}$ abbildet. Dabei wird nach Lemma 30.9

${}P=\sum _{i=1}^{n+1}a_{i}P_{i}\,$

auf

$\sum _{1=1}^{n+1}a_{i}e_{i}$

abgebildet. Wegen

${}\sum _{i=1}^{n+1}a_{i}=1\,$

gehört dieser Punkt zu ${}F$. Die Bijektivität ist klar.

$\Box$

<< | Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)