Affiner Unterraum

{{#if: behandelt einen affinen Unterraum eines Vektorraums. Zu affinen Unterräumen eines affinen Punktraums siehe Affiner Raum.

 | Vorlage:Hinweisbaustein 
 | {{#ifeq: 0 | 0 |}}

}}

Datei:Affine subspace.svg

Eine Ebene im dreidimensionalen Raum (blau) ist ein affiner Unterraum, der durch Verschiebung einer Ursprungsebene um einen Vektor (rot) hervorgeht

In der linearen Algebra ist ein affiner Unterraum eines Vektorraums eine Teilmenge, die durch Verschiebung aus einem Untervektorraum hervorgeht. Ein solcher affiner Unterraum ist auch ein affiner Raum im Sinne der analytischen Geometrie.

Definition

Eine Teilmenge <math>A</math> eines Vektorraums <math>V</math> heißt affiner Unterraum, wenn es einen Vektor <math>v</math> aus <math>V</math> und einen Untervektorraum <math>U_A</math> von <math>V</math> gibt, sodass

<math>A = v + U_A = \left\{v + u\mid u \in U_A\right\}</math>

gilt. In diesem Fall heißt <math>v</math> auch Stützvektor von <math>A</math> und <math>U_A</math> der <math>A</math> zugeordnete lineare Unterraum (der Verbindungsvektoren). <math>U_A</math> ist durch <math>A</math> eindeutig bestimmt; alle <math>w \in V</math> mit <math>v-w \in U_A</math> sind Stützvektoren von <math>A</math>. Die Dimension von <math>A</math> ist die Dimension von <math>U_A</math>.

Ein eindimensionaler affiner Unterraum heißt affine Gerade. Ein zweidimensionaler affiner Unterraum heißt affine Ebene.

Hat der zu einem affinen Unterraum <math>A</math> gehörige lineare Unterraum <math>U_A</math> die Kodimension <math>1</math>, so nennt man <math>A</math> eine affine Hyperebene.

In der analytischen Geometrie wird gelegentlich auch die leere Menge als affiner Unterraum bezeichnet. Sie hat dann als affiner Raum die Dimension <math>\dim \emptyset = -1</math> und ihr ist kein linearer Unterraum zugeordnet.

Anschauliche Betrachtung

Als Untervektorraum <math>U</math> werde eine Ursprungsgerade im dreidimensionalen Vektorraum <math>\mathbb{R}^3</math> gewählt, für die gilt:

<math>g\colon \ \vec x = \lambda \ \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}</math> mit <math>\lambda \in \mathbb{R}</math>

Als Vektor <math>\vec {v} \in V</math> wird

<math>\vec{v} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}</math>

gewählt. Dann ist der affine Unterraum <math>A = \vec v + U</math> eine Gerade, die um <math>(1|0|0)</math> (also um eine Einheit in <math>x_1</math>-Richtung) verschoben ist, mit der Gleichung:

<math>h\colon \ \vec x = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} + \mu \ \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}</math> mit <math>\mu \in \mathbb{R}</math>

Die auf diese Weise entstehende verschobene Gerade ist ein affiner Unterraum, aber kein Untervektorraum von <math>V</math>, da sie den Nullvektor nicht enthält.

Dimensionsformel für affine Unterräume

Sei <math>V</math> ein endlichdimensionaler Vektorraum über einem Körper <math>K</math> und seien <math>A, B</math> zwei affine Unterräume von <math>V</math>.

Für den Fall, dass <math>A</math> und <math>B</math> nicht disjunkt sind oder einer der beiden Räume leer ist, gilt die Dimensionsformel:

<math>\dim(A) + \dim(B) = \dim(A \vee B) + \dim(A \cap B)</math>

Falls <math>A</math> und <math>B</math> jedoch disjunkt und nichtleer sind, lautet die Dimensionsformel

<math>\dim(A) + \dim(B) = \dim(A \vee B) + \dim(U_A \cap U_B) - 1,</math>

wobei <math>U_A</math> aus der Darstellung <math>A = v + U_A</math> (mit festem <math>v \in A</math> und dem zugeordneten linearen Unterraum <math>U_A</math> von <math>V</math>) erhalten wird. Analog erhält man <math>U_B</math>.

In beiden Fällen steht <math>A \vee B</math> für den Verbindungsraum von <math>A</math> und <math>B</math>.

Eigenschaften

Da in der Definition eines affinen Unterraums auch <math>v=0</math> gewählt werden kann, ist jeder Untervektorraum gleichzeitig affiner Unterraum. Ein affiner Unterraum ist genau dann ein Untervektorraum, wenn er den Nullvektor enthält.

Der Lösungsraum eines inhomogenen linearen Gleichungssystems in <math>n</math> Variablen über dem Körper <math>K</math> ist ein affiner Unterraum von <math>K^n</math>, falls die Lösungsmenge nicht leer ist. Jeder affine Unterraum kann durch ein solches Gleichungssystem beschrieben werden. Alternativ kann ein affiner Unterraum auch als affine Hülle von Vektoren oder, wie direkt aus der Definition folgt, mit Hilfe eines Stützvektors und einer Basis des Untervektorraums angegeben werden.

Literatur

• Gerd Fischer: Lineare Algebra. ISBN 3-528-03217-0, S. 166 ff. ({{#if: rUlGDEFCRxkC

| {{#if: {{#if: ||1}} {{#if: rUlGDEFCRxkC ||1}} | <0|&pg={{#if:|RA{{{Band}}}-}}PA116|&pg=116}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:Auszug (Google)|{{#invoke:WLink|getEscapedTitle|Auszug (Google)}}|eingeschränkte Vorschau}}{{#if:ja|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: rUlGDEFCRxkC |{{#invoke: Vorlage:GoogleBook|fine |id=rUlGDEFCRxkC |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}} }} | {{#ifeq: 0 | 0 | }}}} | {{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check |all= |opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch |format= }}{{#if:Auszug (Google)|{{#if:{{#invoke:WLink|isBracketedLink|Auszug (Google)}}|}}}}}).

• Siegfried Bosch: Lineare Algebra. ISBN 978-3-540-76437-3, S. 65 ff.