Wann ist die Vereinigung zweier Untervektorräume wieder ein Untervektorraum?

Im dreidimensionalen euklidischen Raum bilden alle Ursprungsebenen und Ursprungsgeraden Untervektorräume.

Inhaltsverzeichnis Show

Wann ist etwas ein untervektorraum?
Was ist ein Span Mathe?
Wann sind Vektoren ein Erzeugendensystem?
Wann ist eine Summe direkt?

Ein Untervektorraum, Teilvektorraum, linearer Unterraum oder linearer Teilraum ist in der Mathematik eine Teilmenge eines Vektorraums, die selbst wieder einen Vektorraum darstellt. Dabei werden die Vektorraumoperationen Vektoraddition und Skalarmultiplikation von dem Ausgangsraum auf den Untervektorraum vererbt. Jeder Vektorraum enthält sich selbst und den Nullvektorraum als triviale Untervektorräume.

Jeder Untervektorraum ist das Erzeugnis einer linear unabhängigen Teilmenge von Vektoren des Ausgangsraums. Die Summe und der Durchschnitt zweier Untervektorräume ergibt wieder einen Untervektorraum, dessen Dimension über die Dimensionsformel ermittelt werden kann. Jeder Untervektorraum besitzt mindestens einen Komplementärraum, sodass der Ausgangsraum die direkte Summe aus dem Untervektorraum und seinem Komplement ist. Weiter kann jedem Untervektorraum ein Faktorraum zugeordnet werden, der dadurch entsteht, dass alle Elemente des Ausgangsraums entlang des Untervektorraums parallelprojiziert werden.

Untervektorräume werden in der linearen Algebra unter anderem dazu verwendet, Kern und Bild von linearen Abbildungen, Lösungsmengen von linearen Gleichungen und Eigenräume von Eigenwertproblemen zu charakterisieren. In der Funktionalanalysis werden insbesondere Untervektorräume von Hilberträumen, Banachräumen und Dualräumen untersucht. Untervektorräume besitzen vielfältige Anwendungen, beispielsweise bei numerischen Lösungsverfahren für große lineare Gleichungssysteme und für partielle Differentialgleichungen, bei Optimierungsproblemen, in der Kodierungstheorie und in der Signalverarbeitung.

Ist (V,+,⋅){\displaystyle (V,+,\cdot )} ein Vektorraum über einem Körper K{\displaystyle K}, so bildet eine Teilmenge U⊆V{\displaystyle U\subseteq V} genau dann einen Untervektorraum von V{\displaystyle V}, wenn sie nichtleer und abgeschlossen bezüglich der Vektoraddition und der Skalarmultiplikation ist. Es muss also

U≠∅{\displaystyle U\neq \emptyset }
u+w∈U{\displaystyle u+w\in U}
α⋅u∈U{\displaystyle \alpha \cdot u\in U}

für alle Vektoren u,w∈U{\displaystyle u,w\in U} und alle Skalare α∈K{\displaystyle \alpha \in K} gelten. Dabei sind die Vektoraddition und die Skalarmultiplikation im Untervektorraum U{\displaystyle U} die Einschränkungen der entsprechenden Operationen des Ausgangsraums V{\displaystyle V}.

Äquivalent zur ersten Bedingung kann man auch fordern, dass der Nullvektor von V{\displaystyle V} in U{\displaystyle U} enthalten ist. Enthält nämlich U{\displaystyle U} zumindest ein Element, dann ist aufgrund der Abgeschlossenheit von U{\displaystyle U} bezüglich der Skalarmultiplikation auch der Nullvektor in U{\displaystyle U} enthalten (setze α=0{\displaystyle \alpha =0}). Umgekehrt ist die Menge U{\displaystyle U}, wenn sie den Nullvektor enthält, nichtleer.

Mit Hilfe dieser drei Kriterien lässt sich überprüfen, ob eine gegebene Teilmenge U{\displaystyle U} eines Vektorraums V{\displaystyle V} ebenfalls einen Vektorraum bildet, ohne alle nachweisen zu müssen. Ein Untervektorraum wird häufig kurz als „Unterraum“ bezeichnet, wenn aus dem Kontext klar ist, dass es sich dabei um einen linearen Unterraum und nicht um einen allgemeineren Unterraum handelt.

Die Menge der Vektoren (x,y){\displaystyle (x,y)}, für die x=y{\displaystyle x=y} gilt, bildet einen Untervektorraum der euklidischen Ebene.

Die Menge aller Vektoren (x,y){\displaystyle (x,y)} der reellen Zahlenebene V=R2{\displaystyle V=\mathbb {R} ^{2}} bildet mit der üblichen komponentenweisen Vektoraddition und Skalarmultiplikation einen Vektorraum. Die Teilmenge U{\displaystyle U} der Vektoren, für die x=y{\displaystyle x=y} gilt, bildet einen Untervektorraum von V{\displaystyle V}, denn es gilt für alle a,b,c∈R{\displaystyle a,b,c\in \mathbb {R} }:

der Koordinatenursprung (0,0){\displaystyle (0,0)} liegt in U{\displaystyle U}
(a,a)+(b,b)=(a+b,a+b)∈U{\displaystyle (a,a)+(b,b)=(a+b,a+b)\in U}
c⋅(a,a)=(c⋅a,c⋅a)∈U{\displaystyle c\cdot (a,a)=(c\cdot a,c\cdot a)\in U}

Als weiteres Beispiel kann man den Vektorraum V=RR{\displaystyle V=\mathbb {R} ^{\mathbb {R} }} aller reellen Funktionen f:R→R{\displaystyle f\colon \mathbb {R} \to \mathbb {R} } mit der üblichen punktweisen Addition und Skalarmultiplikation betrachten. In diesem Vektorraum bildet die Menge U{\displaystyle U} der linearen Funktionen f(x)=ax+b{\displaystyle f(x)=ax+b} einen Untervektorraum, denn es gilt für a,b,c,d∈R{\displaystyle a,b,c,d\in \mathbb {R} }:

die Nullfunktion x↦0x+0{\displaystyle x\mapsto 0x+0} liegt in U{\displaystyle U}
f(x)+g(x)=(ax+b)+(cx+d)=(a+c)x+(b+d){\displaystyle f(x)+g(x)=(ax+b)+(cx+d)=(a+c)x+(b+d)}, somit f+g∈U{\displaystyle f+g\in U}
c⋅f(x)=c⋅(ax+b)=(c⋅a)x+(c⋅b){\displaystyle c\cdot f(x)=c\cdot (ax+b)=(c\cdot a)x+(c\cdot b)}, somit c⋅f∈U{\displaystyle c\cdot f\in U}

Die drei Unterraumkriterien sind tatsächlich hinreichend und notwendig für die Gültigkeit aller Vektorraumaxiome. Aufgrund der Abgeschlossenheit der Menge U{\displaystyle U} gilt nämlich für alle Vektoren u∈U{\displaystyle u\in U} durch Setzen von α=−1{\displaystyle \alpha =-1}

(−1)⋅u=−u∈U{\displaystyle (-1)\cdot u=-u\in U}

und damit weiter durch Setzen von w=−u{\displaystyle w=-u}

0=u−u∈U{\displaystyle 0=u-u\in U}.

Damit enthält die Menge U{\displaystyle U} insbesondere den Nullvektor und zu jedem Element u{\displaystyle u} auch das additiv inverse Element −u{\displaystyle -u}. Also ist (U,+){\displaystyle (U,+)} eine Untergruppe von (V,+){\displaystyle (V,+)} und damit insbesondere eine abelsche Gruppe. Das Assoziativgesetz, das Kommutativgesetz, die Distributivgesetze und die Neutralität der Eins übertragen sich direkt von dem Ausgangsraum V{\displaystyle V} auf U{\displaystyle U}. Damit erfüllt (U,+,⋅){\displaystyle (U,+,\cdot )} alle Vektorraum-Axiome und ist ebenfalls ein Vektorraum. Umgekehrt muss jeder Untervektorraum U{\displaystyle U} die drei angegebenen Kriterien erfüllen, da die Vektoraddition und die Skalarmultiplikation die Einschränkungen der entsprechenden Operationen von V{\displaystyle V} sind.

Die lineare Hülle ⟨a⟩{\displaystyle \langle a\rangle } eines Vektors a{\displaystyle a} in der euklidischen Ebene

Jede Teilmenge X={v1,…,vn}{\displaystyle X=\{v_{1},\ldots ,v_{n}\}} von Vektoren eines Vektorraums V{\displaystyle V} spannt durch Bildung aller möglichen Linearkombinationen

⟨X⟩=span⁡{v1,…,vn}={α1v1+…+αnvn∣α1,…,αn∈K}{\displaystyle \langle X\rangle =\operatorname {span} \{v_{1},\ldots ,v_{n}\}=\{\alpha _{1}v_{1}+\ldots +\alpha _{n}v_{n}\mid \alpha _{1},\ldots ,\alpha _{n}\in K\}},

einen Untervektorraum von V{\displaystyle V} auf, den man die lineare Hülle von X{\displaystyle X} nennt. Die lineare Hülle ist der kleinste Untervektorraum, der die Menge X{\displaystyle X} umfasst und gleich dem Durchschnitt aller Untervektorräume von V{\displaystyle V}, die X{\displaystyle X} umfassen. Umgekehrt ist jeder Untervektorraum U{\displaystyle U} das Erzeugnis einer Teilmenge X{\displaystyle X} von V{\displaystyle V}, das heißt, es gilt

U=⟨X⟩{\displaystyle U=\langle X\rangle },

wobei man die Menge X{\displaystyle X} ein Erzeugendensystem von U{\displaystyle U} nennt. Ein minimales Erzeugendensystem besteht aus linear unabhängigen Vektoren und heißt Basis eines Vektorraums. Die Anzahl der Elemente einer Basis gibt die Dimension eines Vektorraums an.

Der Durchschnitt zweier Untervektorräume U1,U2{\displaystyle U_{1},U_{2}} eines Vektorraums V{\displaystyle V}

U1∩U2={v∈V∣v∈U1 und v∈U2}{\displaystyle U_{1}\cap U_{2}=\{v\in V\mid v\in U_{1}{\text{ und }}v\in U_{2}\}}

ist stets selbst ein Untervektorraum.

Die Vereinigung zweier Untervektorräume

U1∪U2={v∈V∣v∈U1 oder v∈U2}{\displaystyle U_{1}\cup U_{2}=\{v\in V\mid v\in U_{1}{\text{ oder }}v\in U_{2}\}}

ist jedoch nur dann ein Untervektorraum, wenn U1⊆U2{\displaystyle U_{1}\subseteq U_{2}} oder U2⊆U1{\displaystyle U_{2}\subseteq U_{1}} gilt. Anderenfalls ist die Vereinigung zwar abgeschlossen bezüglich der Skalarmultiplikation, aber nicht bezüglich der Vektoraddition.

Die Summe zweier Untervektorräume U1,U2{\displaystyle U_{1},U_{2}} eines Vektorraums V{\displaystyle V}

U1+U2={u1+u2∣u1∈U1,u2∈U2}{\displaystyle U_{1}+U_{2}=\{u_{1}+u_{2}\mid u_{1}\in U_{1},u_{2}\in U_{2}\}}

ist wieder ein Untervektorraum, und zwar der kleinste Untervektorraum, der U1∪U2{\displaystyle U_{1}\cup U_{2}} enthält. Für die Summe zweier endlichdimensionaler Untervektorräume gilt die Dimensionsformel

dim⁡(U1+U2)=dim⁡U1+dim⁡U2−dim⁡(U1∩U2){\displaystyle \dim \left(U_{1}+U_{2}\right)=\dim U_{1}+\dim U_{2}-\dim \left(U_{1}\cap U_{2}\right)},

woraus sich umgekehrt auch die Dimension des Durchschnitts zweier Untervektorräume ablesen lässt. Schnitt- und Summenbasen von Untervektorräumen endlicher Dimension lassen sich mit dem Zassenhaus-Algorithmus berechnen.

Besteht der Schnitt zweier Untervektorräume U1,U2{\displaystyle U_{1},U_{2}} lediglich aus dem Nullvektor, ist also U1∩U2={0}{\displaystyle U_{1}\cap U_{2}=\{0\}}, so bezeichnet man die Summe als innere direkte Summe

U1⊕U2{\displaystyle U_{1}\oplus U_{2}},

denn sie ist isomorph zur äußeren direkten Summe der beiden Vektorräume. In diesem Fall gibt es zu jedem u∈U1⊕U2{\displaystyle u\in U_{1}\oplus U_{2}} eindeutig bestimmte Vektoren u1∈U1{\displaystyle u_{1}\in U_{1}}, u2∈U2{\displaystyle u_{2}\in U_{2}} mit u=u1+u2{\displaystyle u=u_{1}+u_{2}}. Aus dem Dimensionssatz folgt dann, da der Nullvektorraum nulldimensional ist, für die Dimension der direkten Summe

dim⁡(U1⊕U2)=dim⁡U1+dim⁡U2{\displaystyle \dim \left(U_{1}\oplus U_{2}\right)=\dim U_{1}+\dim U_{2}},

was auch im unendlichdimensionalen Fall wahr ist.

Die vorangegangenen Operationen lassen sich auch auf mehr als zwei Operanden verallgemeinern. Ist (Ui)i∈I{\displaystyle (U_{i})_{i\in I}} eine Familie von Untervektorräumen von V{\displaystyle V}, wobei I{\displaystyle I} eine beliebige ist, dann bildet der Durchschnitt dieser Untervektorräume

⋂i∈IUi={v∈V∣v∈Ui für alle i∈I}{\displaystyle \bigcap _{i\in I}U_{i}=\left\{v\in V\mid v\in U_{i}{\text{ für alle }}i\in I\right\}}

wiederum einen Untervektorraum von V{\displaystyle V}. Weiter ergibt auch die Summe mehrerer Untervektorräume

∑i∈IUi={∑i∈Iui∣ui∈Ui, fast alle ui=0}{\displaystyle \sum _{i\in I}U_{i}=\left\{\sum _{i\in I}u_{i}\mid u_{i}\in U_{i},{\text{ fast alle }}u_{i}=0\right\}}

wieder einen Untervektorraum von V{\displaystyle V}, wobei im Fall einer Indexmenge mit unendlich vielen Elementen nur endlich viele Summanden ungleich dem Nullvektor sein dürfen. Eine solche Summe heißt direkt und wird dann mit

⨁i∈IUi{\displaystyle \bigoplus _{i\in I}U_{i}}

bezeichnet, wenn der Schnitt jedes Untervektorraums Ui{\displaystyle U_{i}} mit der Summe der übrigen Untervektorräume den Nullvektorraum ergibt. Das ist äquivalent dazu, dass jeder Vektor eine eindeutige Darstellung als Summe von Elementen der Untervektorräume besitzt.

Zu jedem Untervektorraum U{\displaystyle U} von V{\displaystyle V} existiert mindestens ein Komplementärraum W⊆V{\displaystyle W\subseteq V}, sodass

V=U⊕W{\displaystyle V=U\oplus W}

gilt. Jedem solchen Komplementärraum entspricht genau eine Projektion P{\displaystyle P} auf den Untervektorraum U{\displaystyle U}, also eine idempotente lineare Abbildung P:V→V{\displaystyle P\colon V\to V}, mit der

V=P(V)⊕(Id−P)(V){\displaystyle V=P(V)\oplus (\operatorname {Id} -P)(V)}

gilt, wobei Id{\displaystyle \operatorname {Id} } die identische Abbildung ist. Im Allgemeinen existieren mehrere Komplementärräume zu einem Untervektorraum, von denen durch die Vektorraumstruktur keiner ausgezeichnet ist. In Skalarprodukträumen ist es allerdings möglich, von zueinander orthogonalen Untervektorräumen zu sprechen. Ist V{\displaystyle V} endlichdimensional, dann existiert zu jedem Untervektorraum U{\displaystyle U} ein eindeutig bestimmter orthogonaler Komplementärraum, der gerade das orthogonale Komplement U⊥{\displaystyle U^{\perp }} von U{\displaystyle U} ist, und es gilt dann

V=U⊕U⊥{\displaystyle V=U\oplus U^{\perp }}.

Jedem Untervektorraum U{\displaystyle U} eines Vektorraums V{\displaystyle V} kann ein Faktorraum V/U{\displaystyle V/U} zugeordnet werden, der dadurch entsteht, dass alle Elemente des Untervektorraums miteinander identifiziert werden und so die Elemente des Vektorraums entlang des Untervektorraums parallelprojiziert werden. Formal ist der Faktorraum definiert als Menge der Äquivalenzklassen

V/U={[v]∣v∈V}{\displaystyle V/U=\{\,[v]\mid v\in V\}}

von Vektoren in v∈V{\displaystyle v\in V}, wobei die Äquivalenzklasse eines Vektors

[v]=v+U={v+u∣u∈U}{\displaystyle [v]=v+U=\{v+u\mid u\in U\}}

die Menge der Vektoren in V{\displaystyle V} ist, die sich von v{\displaystyle v} nur um ein Element u{\displaystyle u} des Untervektorraums U{\displaystyle U} unterscheiden. Der Faktorraum bildet einen Vektorraum, wenn die Vektorraumoperationen vertreterweise definiert werden, er ist aber selbst kein Untervektorraum von V{\displaystyle V}. Für die Dimension des Faktorraums gilt

dim⁡V=dim⁡U+dim⁡V/U{\displaystyle \dim V=\dim U+\dim V/U}.

Die Untervektorräume von V/U{\displaystyle V/U} sind genau die Faktorräume W/U{\displaystyle W/U}, wobei W{\displaystyle W} Untervektorraum von V{\displaystyle V} mit U⊆W⊆V{\displaystyle U\subseteq W\subseteq V} ist.

Der Dualraum V∗{\displaystyle V^{\ast }} eines Vektorraums V{\displaystyle V} über einem Körper K{\displaystyle K} ist der Raum der linearen Abbildungen von V{\displaystyle V} nach K{\displaystyle K} und damit selbst ein Vektorraum. Für eine Teilmenge X{\displaystyle X} von V{\displaystyle V} bildet die Menge aller Funktionale, die auf X{\displaystyle X} verschwinden, einen Untervektorraum des Dualraums, den sogenannten Annihilatorraum

X0={f∈V∗∣f(x)=0 für alle x∈X}{\displaystyle X^{0}=\lbrace f\in V^{\ast }\mid f(x)=0{\mbox{ für alle }}x\in X\rbrace }.

Ist V{\displaystyle V} endlichdimensional, so gilt für die Dimension des Annihilatorraums eines Untervektorraums U{\displaystyle U} von V{\displaystyle V}

dim⁡V=dim⁡U+dim⁡U0{\displaystyle \dim V=\dim U+\dim U^{0}}.

Der Dualraum U∗{\displaystyle U^{\ast }} eines Untervektorraums U{\displaystyle U} ist damit isomorph zum Faktorraum V∗/U0{\displaystyle V^{\ast }/U^{0}}.

Ist T:V→W{\displaystyle T\colon V\to W} eine lineare Abbildung zwischen zwei Vektorräumen V{\displaystyle V} und W{\displaystyle W} über dem gleichen Körper, dann bildet der Kern der Abbildung

ker⁡T=T−1({0})={v∈V∣T(v)=0}{\displaystyle \operatorname {ker} T=T^{-1}(\{0\})=\{v\in V\mid T(v)=0\}}

einen Untervektorraum von V{\displaystyle V} und das Bild der Abbildung

im⁡T=T(V)={T(v)∣v∈V}{\displaystyle \operatorname {im} T=T(V)=\{T(v)\mid v\in V\}}

einen Untervektorraum von W{\displaystyle W}. Weiterhin ist der Graph einer linearen Abbildung ein Untervektorraum des Produktraums V×W{\displaystyle V\times W}. Ist der Vektorraum V{\displaystyle V} endlichdimensional, so gilt für die Dimensionen der involvierten Räume der Rangsatz

dim⁡V=dim⁡(im⁡T)+dim⁡(ker⁡T){\displaystyle \dim V=\dim(\operatorname {im} T)+\dim(\operatorname {ker} T)}.

Die Dimension des Bilds nennt man auch Rang und die Dimension des Kerns auch Defekt der linearen Abbildung. Nach dem Homomorphiesatz ist dabei das Bild isomorph zum Faktorraum V/ker⁡T{\displaystyle V/\operatorname {ker} T}.

Ist T:V→W{\displaystyle T\colon V\to W} wiederum eine lineare Abbildung zwischen zwei Vektorräumen über dem gleichen Körper, dann ist die Lösungsmenge der linearen Gleichung

T(v)=0{\displaystyle T(v)=0}

ein Untervektorraum von V{\displaystyle V}, und zwar gerade der Kern von T{\displaystyle T}. Die Lösungsmenge einer inhomogenen linearen Gleichung

T(v)=b{\displaystyle T(v)=b}

mit b≠0{\displaystyle b\neq 0} ist hingegen, sofern sie nichtleer ist, ein affin-linearer Unterraum von V{\displaystyle V}, was eine Folge der Superpositionseigenschaft ist. Die Dimension des Lösungsraums ist dann ebenfalls gleich der Dimension des Kerns von T{\displaystyle T}.

Ist nun T:V→V{\displaystyle T\colon V\to V} eine lineare Abbildung eines Vektorraums in sich, also ein Endomorphismus, mit zugehörigem Eigenwertproblem

T(v)=λ⋅v{\displaystyle T(v)=\lambda \cdot v},

dann ist jeder zu einem Eigenwert λ{\displaystyle \lambda } zugehörige Eigenraum

Eig⁡(λ)={v∈V∣T(v)=λ⋅v}{\displaystyle \operatorname {Eig} (\lambda )=\left\{v\in V\mid T(v)=\lambda \cdot v\right\}}

ein Untervektorraum von V{\displaystyle V}, dessen vom Nullvektor verschiedene Elemente genau die zugehörigen Eigenvektoren v{\displaystyle v} sind. Die Dimension des Eigenraums entspricht der geometrischen Vielfachheit des Eigenwerts; sie ist maximal so groß wie die algebraische Vielfachheit des Eigenwerts.

Ist wieder T:V→V{\displaystyle T\colon V\to V} ein Endomorphismus, dann heißt ein Untervektorraum U{\displaystyle U} von V{\displaystyle V} invariant unter T{\displaystyle T}oder kurz T{\displaystyle T}-invariant, falls

T(U)⊆U{\displaystyle T(U)\subseteq U}

gilt, das heißt, wenn für alle u∈U{\displaystyle u\in U} das Bild T(u){\displaystyle T(u)} ebenfalls in U{\displaystyle U} liegt. Das Bild von U{\displaystyle U} unter T{\displaystyle T} ist dann also ein Untervektorraum von U{\displaystyle U}. Die trivialen Untervektorräume {0}{\displaystyle \{0\}} und V{\displaystyle V}, aber auch ker⁡T{\displaystyle \operatorname {ker} T}, im⁡T{\displaystyle \operatorname {im} T} und alle Eigenräume von T{\displaystyle T} sind stets invariant unter T{\displaystyle T}. Ein weiteres wichtiges Beispiel für invariante Untervektorräume sind die Haupträume, die beispielsweise bei der Bestimmung der jordanschen Normalform verwendet werden.

In Hilberträumen, also vollständigen Skalarprodukträumen, werden insbesondere Unterhilberträume betrachtet, das heißt Untervektorräume, die bezüglich der Einschränkung des Skalarprodukts immer noch vollständig sind. Diese Eigenschaft ist gleichbedeutend damit, dass der Untervektorraum abgeschlossen bezüglich der Normtopologie, die durch das Skalarprodukt induziert wird, ist. Nicht jeder Untervektorraum eines Hilbertraums ist auch vollständig, es lässt sich jedoch zu jedem unvollständigen Untervektorraum durch Abschlussbildung ein Unterhilbertraum erhalten, in dem jener dann dicht liegt. Zu jedem Unterhilbertraum existiert nach dem Projektionssatz auch ein eindeutig bestimmtes orthogonales Komplement, das stets abgeschlossen ist.

Unterhilberträume spielen eine wichtige Rolle in der Quantenmechanik und der Fourier- oder Multiskalenanalyse von Signalen.

In Banachräumen, also vollständigen normierten Räumen, kann man analog dazu Unterbanachräume, das heißt Untervektorräume, die bezüglich der Einschränkung der Norm vollständig sind, betrachten. Wie im Hilbertraumfall ist ein Untervektorraum eines Banachraums genau dann ein Unterbanachraum, wenn er abgeschlossen ist. Weiter lässt sich zu jedem unvollständigen Untervektorraum eines Banachraums durch Vervollständigung ein Unterbanachraum erhalten, der dicht in diesem liegt. Zu einem Unterbanachraum existiert jedoch im Allgemeinen kein komplementärer Unterbanachraum.

In einem halbnormierten Raum bilden die Vektoren mit Halbnorm Null einen Untervektorraum. Aus einem halbnormierten Raum erhält man einen normierten Raum als Faktorraum, indem man Äquivalenzklassen von Vektoren, die sich bezüglich der Halbnorm nicht unterscheiden, betrachtet. Ist der halbnormierte Raum vollständig, so ist dieser Faktorraum dann ein Banachraum. Diese Konstruktion wird insbesondere bei den Lp-Räumen und verwandten Funktionenräumen eingesetzt.

Bei der numerischen Berechnung partieller Differentialgleichungen mittels der Finite-Elemente-Methode wird die Lösung in geeigneten endlichdimensionalen Unterbanachräumen des zugrundeliegenden Sobolevraums approximiert.

Wann ist etwas ein untervektorraum?

Ein Untervektorraum (manchmal auch nur Unterraum) ist erstmal auch ein Vektorraum. Zusätzlich ist er aber “eingebettet” in einen größeren Vektorraum. Zur Definition eines Untervektorraums U gehört also die Angabe eines Vektorraums V, von dem U eine Teilmenge ist, also U⊆V.

Was ist ein Span Mathe?

Die lineare Hülle von A (Bezeichung: span(A)) ist die Menge aller Linearkombinationen der Elemente aus A. λi vi : so dass k ∈ N, λi ∈ R und vi ∈ A } .

Wann sind Vektoren ein Erzeugendensystem?

Das Erzeugendensystem kann linear abhängige und unabhängige Vektoren enthalten. Wenn wir also eine Menge von Vektoren gegeben haben, dann ist diese Menge ein Erzeugendensystem, wenn jeder Vektor im Vektorraum als Linearkombinantion dieser Vektoren dargestellt werden kann.

Wann ist eine Summe direkt?

Der Begriff direkte Summe bezeichnet in der Mathematik die äußere direkte Summe und die innere direkte Summe. geschrieben (eingekreistes Pluszeichen, Unicode: U+2295 circled plus sign, bzw. als mehrstelliger Operator analog dem Summenzeichen: U+2A01 n-ary circled plus operator).