TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 487

Die Menge aller Polynome $a_0+a_1\cdot x+a_2\cdot x^2+a_3\cdot x^3+a_4\cdot x^4$ vom Grad kleiner gleich $4$ mit Koeffizienten $a_i$ aus $\mathbb{Q}$ bildet mit der üblichen Addition und dem üblichen Produkt mit einem Skalar einen Vektorraum über $\mathbb{Q}$ (Bezeichnung$:\mathbb{Q}[X{]}_{\le 4}$).

Bestimmen Sie den kleinsten Teilraum des Vektorraumes der die Polynome $2\cdot x^2+x-1,3\cdot x^2-x+2$ und $5x^2-5x+8$ enthält.

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Hilfreiches von Har203

Vektorraum

Vektorraum

Sei $(V,+)$ eine abelsche Gruppe und $K$ ein Körper. $(V,+,K)$ heißt Vektorraum, wenn $\mathrm{\forall }\overrightarrow{x},\overrightarrow{y}\in V,\mathrm{\forall }\lambda ,\mu \in K$ folgendes gilt:

1. $\lambda \cdot (\overrightarrow{x}+\overrightarrow{y})=\lambda \overrightarrow{x}+\lambda \overrightarrow{y}$
2. $(\lambda +\mu )\cdot \overrightarrow{x}=\lambda \overrightarrow{x}+\mu x$
3. $(\lambda \cdot \mu )\cdot \overrightarrow{x}=\lambda \cdot (\mu \overrightarrow{x})$
4. $1\cdot \overrightarrow{x}=\overrightarrow{x}$

Untervektorraum

Untervektorraum

Sei $⟨U,+,K⟩$ ein Vektorraum, $U\subseteq V$ heißt Unterraum oder Teilraum, wenn:

• $U\ne \varnothing$
• $\overrightarrow{x},\overrightarrow{y}\in U⟹\overrightarrow{x}+\overrightarrow{y}\in U(U$ ist abgeschlossen bezüglich $U+U)$
• $\overrightarrow{x}\in U,\lambda \in K⟹\lambda \overrightarrow{x}\in U(U$ ist abgeschlossen bezüglich $U\cdot K)$

Lineare Unabhängigkeit Vektor

Ist $V$ ein Vektorraum über einem Körper $K$, so heißen die Vektoren ${\overrightarrow{v}}_1,{\overrightarrow{v}}_2,\mathrm{...},{\overrightarrow{v}}_n$ aus $V$ linear unabhängig, wenn die einzig mögliche Darstellung des Nullvektors als Linearkombination

$a_1{\overrightarrow{v}}_1+a_2{\overrightarrow{v}}_2+\cdots +a_n{\overrightarrow{v}}_n=\overrightarrow{0}$

mit Koeffizienten $a_1,a_2,\dots ,a_n$ aus dem Grundkörper $K$ diejenige ist, bei der alle Koeffizienten $a_i$ gleich null sind („triviale Linearkombination des Nullvektors“). Formal liest sich diese Bedingung wie folgt:

$a_1{\overrightarrow{v}}_1+a_2{\overrightarrow{v}}_2+\cdots +a_n{\overrightarrow{v}}_n=\overrightarrow{0}⟹a_1=a_2=\dots =a_n=0$.

Lässt sich dagegen der Nullvektor auch nichttrivial (mit Koeffizienten ungleich null) erzeugen, dann sind die Vektoren linear abhängig. Ist $I$ eine beliebige Indexmenge, so heißt eine Familie $({\overrightarrow{v}}_i{)}_{i\in I}$ von Vektoren aus $V$ linear unabhängig, falls jede endliche Teilfamilie linear unabhängig ist. Die Familie $({\overrightarrow{v}}_i{)}_{i\in I}$ ist also genau dann linear abhängig, wenn es eine endliche Teilmenge $J\subseteq I$ gibt, sowie Koeffizienten $(a_j{)}_{j\in J}$, von denen mindestens einer ungleich null ist, so dass

$\sum _{j\in J}{a}_j{\overrightarrow{v}}_j=\overrightarrow{0}.$

[1] Hauptartikel [Lineare Unabhängigkeit (Definition)]

Lineare Hülle

Die lineare Hülle [M] einer Menge M (eine Menge von Vektoren) ist die Menge der Vektoren, die durch Linearkombinationen der Vektoren aus M gebildet werden können.

$v\notin [M\mathrm{\setminus }\{v\}]\mathrm{\forall }v\in M$

Lösungsvorschlag von Har203

--Har203 00:45, 15. Feb. 2026 (CET)

Die Menge aller Polynome $a_0+a_1\cdot x+a_2\cdot x^2+a_3\cdot x^3+a_4\cdot x^4$ vom Grad kleiner gleich 4 mit Koeffizienten $a_i$ aus $\mathbb{Q}$ bildet mit der üblichen Addition und dem üblichen Produkt mit einem Skalar einen Vektorraum $⟨V,+,\cdot ⟩$ über $\mathbb{Q}$.

Bestimmen Sie den kleinsten Teilraum des Vektorraumes der die Polynome $2\cdot x^2+x-1,3\cdot x^2-x+2$ und $5x^2-5x+8$ enthält.

Abgeschlossenheit von U

• Anmerkung: Die Addition und Multiplikation ist in $\mathbb{Q}$ abgeschlossen.

Da wir die lineare Hülle der drei Vektoren bilden, wird bereits aus der Definition heraus ein abgeschlossener Unterraum der gegebenen Vektoren gebildet. Das heißt, $\overrightarrow{x},\overrightarrow{y}\in U⟹\overrightarrow{x+y}\in U$ und $\mathrm{\forall }\lambda \in \mathbb{Q}:\overrightarrow{x}\in U⟹\lambda \cdot \overrightarrow{x}\in U$.

Polynome als Vektoren

Wir verwenden als Basis die Standardbasis für Polynome: $B=\{1,x,x^2,x^3,x^4\}$, also einen Raum mit der Dimension $\mathbf{dim}\mathbf{(}𝐕\mathbf{)}\mathbf{=}\mathrm{𝟓}$.

$\begin{array}{ccccccccc}& p_1(x)& =(-& 1)+& x+2\cdot & x^2& ⟹& \overrightarrow{b_1}& =(-1,1,2,0,0)\\ & p_2(x)& =& 2-& x+3\cdot & x^2& ⟹& \overrightarrow{b_2}& =(2,-1,3,0,0)\\ & p_3(x)& =& 8-5\cdot & x+5\cdot & x^2& ⟹& \overrightarrow{b_3}& =(8,-5,5,0,0)\end{array}$

Zu zeigen ist, welcher minimale Teilraum aus diesen drei gegebenen Vektoren gebildet werden kann. Das ist die lineare Hülle dieser Vektoren $U=\mathrm{span}(\overrightarrow{b_1},\overrightarrow{b_2},\overrightarrow{b_3})$. Die lineare Hülle (Spann) einer Menge von Vektoren $S=\{x_1,\dots ,x_n\}$ ist definiert als $\mathrm{span}(S)=\{\sum _{i=1}^n{\lambda }_i\cdot x_i|{\lambda }_i\in \mathbb{Q}\}$.

Wir überprüfen, welche Linearkombinationen aus diesen drei Vektoren gebildet werden können:

${\lambda }_1\cdot \overrightarrow{b_1}+{\lambda }_2\cdot \overrightarrow{b_2}+{\lambda }_3\cdot \overrightarrow{b_3},{\lambda }_i\in \mathbb{Q},i\in \{1,2,3\}$.

$\begin{array}{cccccccc}& {\lambda }_1\cdot (-1& )& +& {\lambda }_2\cdot & 2& +{\lambda }_3\cdot & 8\\ & {\lambda }_1\cdot & 1& +& {\lambda }_2\cdot (-1& )& +{\lambda }_3\cdot (-5& )\\ & {\lambda }_1\cdot & 2& +& {\lambda }_2\cdot & 3& +{\lambda }_3\cdot & 5\\ & {\lambda }_1\cdot & 0& +& {\lambda }_2\cdot & 0& +{\lambda }_3\cdot & 0& =& 0\\ & {\lambda }_1\cdot & 0& +& {\lambda }_2\cdot & 0& +{\lambda }_3\cdot & 0& =& 0\end{array}$

Lineare Unabhängigkeit

Es ist zwar nicht explizit verlangt, aber wir führen die Überprüfung trotzdem durch, ob diese drei Vektoren linear unabhängig sind.

$\begin{array}{c}A=\left(\begin{array}{ccc}-1& 2& 8\\ 1& -1& -5\\ 2& 3& 5\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\begin{array}{c}Z1+Z2\to Z2\\ Z2\to Z1\\ Z3+2\cdot Z1\to Z3\\ \\ \end{array}\to \left(\begin{array}{ccc}1& -1& -5\\ 0& 1& 3\\ 0& 7& 21\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\begin{array}{c}Z1+Z2\to Z1\\ \\ Z3-7\cdot Z2\to Z3\\ \\ \end{array}\to \left(\begin{array}{ccc}1& 0& -2\\ 0& 1& 3\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\end{array}$

Da der Spaltenrang $\mathrm{rk}(A)=2$ ist, sind die drei vorgegebenen Vektoren nicht linear unabhängig $⟹$ Die drei Polynome sind ebenfalls nicht linear unabhängig.

Normalenvektor

Wir haben einen Vektorraum der Dimension $\dim (V)=5$ und einen Unterraum der Dimension $\dim (U)=2$. Daher hat $U$ die Kodimension ${\mathrm{codim}}_V(U)=\dim (V)-\dim (U)=3$. Daher lässt sich $U$ als Lösungsraum eines homogenen linearen Gleichungssystems mit drei linear unabhängigen Gleichungen darstellen.

Für diese Normalenvektorengleichung müssen wir die nachstehende Gleichung $A^T\cdot \overrightarrow{\nu }=\overrightarrow{0_V},n_i\in \mathbb{Q},i\in \{0,1,2,3,4\}$ lösen. Das ist nichts anderes als der Kern $\ker (A^T)$ der transponierten Matrix von $A$:

$\begin{array}{cc}& A=\left(\begin{array}{ccc}-1& 2& 8\\ 1& -1& -5\\ 2& 3& 5\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)\mapsto A^T=\left(\begin{array}{ccccc}-1& 1& 2& 0& 0\\ 2& -1& 3& 0& 0\\ 8& -5& 5& 0& 0\end{array}\right)\to A^T\cdot \left(\begin{array}{c}{n}_0\\ n_1\\ n_2\\ n_3\\ n_4\end{array}\right)=\overrightarrow{0_V}\end{array}$.

Aus dem Gleichungssystem lesen wir die drei Gleichungen (Zeilen) aus:

Lösen des Gleichungssystems für die Normalenvektoren:

$\begin{array}{ccccccccccccc}& GL1:& -& n_0& +& n_1& +& 2\cdot n_2& +& 0\cdot n_3& +& 0\cdot & n_4=0\\ & GL2:& & 2\cdot n_0& -& n_1& +& 3\cdot n_2& +& 0\cdot n_3& +& 0\cdot & n_4=0\\ & GL3:& & 8\cdot n_0& -& 5\cdot n_1& +& 5\cdot n_2& +& 0\cdot n_3& +& 0\cdot & n_4=0.\end{array}$

Aus den Gleichungen folgt:

$\begin{array}{ccc}& GL4:GL1:& ⟹n_1=n_0-2\cdot n_2\\ & GL5:GL2:& ⟹n_1=2\cdot n_0+3\cdot n_2& ⟹n_1=(7/5)\cdot n_0⟹n_2=(-1/5)\cdot n_0\\ & GL6:GL3-4\cdot GL2:& ⟹0\cdot n_0-1\cdot n_1-7\cdot n_2& ⟹n_1=(-7)\cdot n_2\end{array}$

Daraus folgt: $n_1=\frac{7}{5}\cdot n_0$ und $n_2=\frac{-1}{5}\cdot n_0$.

D.h. unsere Normalenvektoren haben grundsätzlich folgende Gestalt$:n_i\in \mathbb{Q},i\in \{0,\dots ,4\}:$

$\overrightarrow{\nu }=(n_0,\frac{7}{5}\cdot n_0,\frac{-1}{5}\cdot n_0,n_3,n_4)$

Da wir drei linear unabhängige Vektoren als Normalenvektoren (${\nu }_1,{\nu }_2,{\nu }_3$) benötigen, setzen wir (frei) für ${\nu }_1:n_0=1,n_3=0,n_4=0$, für den zweiten Normalenvektor für ${\nu }_2:n_0=0,n_3=1,n_4=0$ ein und für den dritten ${\nu }_3:n_0=0,n_3=0,n_4=1$ und erhalten die Normalenvektor:

• Normalenvektoren$:\overrightarrow{{𝝂}_{\mathrm{𝟏}}}\mathbf{=}\mathbf{(}\mathrm{𝟏},\frac{7}{5},\frac{-1}{5},\mathrm{𝟎},\mathrm{𝟎}\mathbf{)}\overrightarrow{{𝝂}_{\mathrm{𝟐}}}\mathbf{=}\mathbf{(}\mathrm{𝟎},\mathrm{𝟎},\mathrm{𝟎},\mathrm{𝟏},\mathrm{𝟎}\mathbf{)}\overrightarrow{{𝝂}_{\mathrm{𝟑}}}\mathbf{=}\mathbf{(}\mathrm{𝟎},\mathrm{𝟎},\mathrm{𝟎},\mathrm{𝟎},\mathrm{𝟏}\mathbf{)}$

In der Angabe haben wir die Menge aller Polynome $a_0+a_1\cdot x+a_2\cdot x^2+a_3\cdot x^3+a_4\cdot x^4$ vom Grad $\le 4$ mit Koeffizienten $a_i$ aus $\mathbb{Q}$, also kurz $\mathbb{Q}[X{]}_{\le 4}$ gegeben.

Aus den drei linearen Gleichung der Normalenvektoren können wir die Gleichung für den Unterraum $U$ ableiten:

$\begin{array}{ccc}& \overrightarrow{{\nu }_1}=(1,\frac{7}{5},\frac{-1}{5},0,0)& ⟹{𝐚}_{\mathrm{𝟎}}\mathbf{+}\frac{7}{5}\mathbf{\cdot }{𝐚}_{\mathrm{𝟏}}\mathbf{+}\frac{-1}{5}\mathbf{\cdot }{𝐚}_{\mathrm{𝟐}}\mathbf{=}\mathrm{𝟎}\\ & \overrightarrow{{\nu }_2}=(0,0,0,1,0)& ⟹{𝐚}_{\mathrm{𝟑}}\mathbf{=}\mathrm{𝟎}\\ & \overrightarrow{{\nu }_3}=(0,0,0,0,1)& ⟹{𝐚}_{\mathrm{𝟒}}\mathbf{=}\mathrm{𝟎}\end{array}$

• Der Vektorraum $U$, also die lineare Hülle aus den drei gegebenen Polynomen ($\equiv$ Vektoren), umfasst damit:

$U=\{a_0+a_1\cdot x+a_2\cdot x^2+0\cdot x^3+0\cdot x^4|$ mit $a_0,a_1,a_2\in \mathbb{Q}\wedge a_0+(7/5)\cdot a_1+(-1/5)\cdot a_2=0\wedge a_3=a_4=0\}$.

D.h. jene Polynome, bei denen die konstante, die linear und die quadratische Komponente in Zusammenhang stehen und deren dritte und vierte Potenz verschwindet.

Linearkombinationen

Wir stellen nun alle möglichen Linearkombinationen auf, welche aus diesen drei Vektoren gebildet werden können. Der aufgespannte, dass bedeutet bereits minimale, Raum dieser drei Polynome im gegebenen Polynom-Vektorraum ist bei beliebig ausgewähltem ${\lambda }_1,{\lambda }_2,{\lambda }_3\in \mathbb{Q}$ gegeben durch die Beziehung. Das ist die lineare Hülle dieser drei Vektoren:

$\left(\begin{array}{ccccc}-{\lambda }_1& +& 2\cdot {\lambda }_2& +& 8\cdot {\lambda }_3\\ {\lambda }_1& -& {\lambda }_2& -& 5\cdot {\lambda }_3\\ 2\cdot {\lambda }_1& +& 3\cdot {\lambda }_2& +& 5\cdot {\lambda }_3\\ & & 0& & \\ & & 0& & \end{array}\right)$

Diese Linearkombination erzeugt alle möglichen Vektoren, die aus den drei vorgegebenen Vektoren gebildet werden können, also die lineare Hülle.

Da die Matrix $A$ nur zwei linear unabhängige Vektoren umfasst, erhalten wir als Unterraum einen Raum der Dimension $\mathbf{dim}\mathbf{(}𝐔\mathbf{)}\mathbf{=}\mathrm{𝟐}$, obwohl $\dim (V)=5$.

Durch die Normalenform-Bestimmung können wir nun den Spann etwas genauer angeben:

$𝐔\mathbf{=}\mathbf{\{}{𝐚}_{\mathrm{𝟎}}\mathbf{+}{𝐚}_{\mathrm{𝟏}}\mathbf{\cdot }𝐱\mathbf{+}{𝐚}_{\mathrm{𝟐}}\mathbf{\cdot }{𝐱}^{\mathrm{𝟐}}\mathbf{+}\mathrm{𝟎}\mathbf{\cdot }{𝐱}^{\mathrm{𝟑}}\mathbf{+}\mathrm{𝟎}\mathbf{\cdot }{𝐱}^{\mathrm{𝟒}}\mathbf{|}\text{ mit }{𝐚}_{\mathrm{𝟎}},{𝐚}_{\mathrm{𝟏}},{𝐚}_{\mathrm{𝟐}}\mathbf{\in }\mathbb{Q}\mathbf{\wedge }{𝐚}_{\mathrm{𝟎}}\mathbf{+}\frac{7}{5}\mathbf{\cdot }{𝐚}_{\mathrm{𝟏}}\mathbf{+}\frac{-1}{5}\mathbf{\cdot }{𝐚}_{\mathrm{𝟐}}\mathbf{=}\mathrm{𝟎}\mathbf{\wedge }{𝐚}_{\mathrm{𝟑}}\mathbf{=}{𝐚}_{\mathrm{𝟒}}\mathbf{=}\mathrm{𝟎}\mathbf{\}}$.

Unterraum in Polynomdarstellung

Aus der Normalenvektor-Gleichung haben wir die folgenden Gleichungen erhalten:

$a_0+\frac{7}{5}\cdot a_1+\frac{-1}{5}\cdot a_2=0\wedge a_3=a_4=0,a_i\in \mathbb{Q}$

Wir lösen nach $a_0$ auf und setzen in die allgemeine Gleichung $p(x)=\sum _{i=0}^4{a}_i\cdot x^i$ ein und heben die $a_i$ heraus:

$\begin{array}{cc}& a_0+\frac{7}{5}\cdot a_1+\frac{-1}{5}\cdot a_2=0⟹a_0=-\frac{7}{5}\cdot a_1-\frac{-1}{5}\cdot a_2⟹\\ & p_0(x)=-\frac{7}{5}\cdot a_1-\frac{-1}{5}\cdot a_2+a_1\cdot x+a_2\cdot x^2+0\cdot x^3+0\cdot x^4⟹\\ & ⟹p_0(x)=a_1\cdot (x-\frac{7}{5})+a_2\cdot (x^2+\frac{1}{5}).\end{array}$

Polynomdarstellung des Teilraumes $U$ mittels $p_0(x)$:

${𝐩}_{\mathrm{𝟎}}\mathbf{(}𝐱\mathbf{)}\mathbf{=}{𝐚}_{\mathrm{𝟏}}\mathbf{\cdot }\mathbf{(}𝐱\mathbf{-}\frac{7}{5}\mathbf{)}\mathbf{+}{𝐚}_{\mathrm{𝟐}}\mathbf{\cdot }\mathbf{(}{𝐱}^{\mathrm{𝟐}}\mathbf{+}\frac{1}{5}\mathbf{)}$. $◼$

Links

Wikipedia:

• Vektorraum
• Untervektorraum / Teilvektorraum
• Linearkombination
• Lineare Unabhängigkeit
• Normalenvektor

Ähnliche Beispiele:

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_485
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_486