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

Sei $V=\mathbb {R} _{n}[x]$ der Vektorraum der Polynome in $x$ vom Grad $\leq n$ mit Koeffizienten aus $\mathbb {R}$. Sei weiters eine Abbildung $A$ definiert durch

$A\left(\sum _{k=0}^{n}\;a_{k}\cdot x^{k}\right)=\sum _{k=2}^{n}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}$.

Dieses Beispiel ist als solved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details: Vorlage:Beispiel)

Hilfreiches von Har203

Vektorraum Polynomräume

Lineare Abbildung

Definition:

Seien $<V,\oplus ,K>$ und $<W,\boxplus ,K>$ Vektorräume über dem Körper $K$.

$f:V\rightarrow W$ heißt lineare Abbildung (Homomorphismus), wenn

1. $\forall {\overrightarrow {x}},{\overrightarrow {y}}\in V:\quad f({\overrightarrow {x}}\oplus {\overrightarrow {y}})=f({\overrightarrow {x}})\boxplus f({\overrightarrow {y}})$
2. $\forall \lambda \in K:\quad f(\lambda {\overrightarrow {x}})=\lambda f({\overrightarrow {x}})$

Jede lineare Abbildung kann auch durch eine Matrix $M$ festgelegt werden, für die gilt:

$\forall {\overrightarrow {x}}\in V:\quad f({\overrightarrow {x}})=M{\overrightarrow {x}}$

Umgekehrt legt jede Matrix$^{n\times m}$ eine lineare Abbildung fest.

Abbildungsmatrix

Dimension

Dimension

Die Dimension eines Vektorraums bezeichnet die Anzahl der Vektoren in jeder Basis von ihm. (Alle Basen eines Vektorraums enthalten dieselbe Anzahl von Vektoren.)

Rang

Bei einer linearen Abbildung $f$ ist der Rang als Dimension des Bildes dieser Abbildung definiert. Dabei gilt stets, dass eine lineare Abbildung und die zugehörige Abbildungsmatrix denselben Rang haben:

$\operatorname {rg} (f)=\dim(\operatorname {im} (f))$, also dem Bild der Abbildung $f$.

Kern

Der Kern einer Abbildung dient in der Algebra dazu, anzugeben, wie stark die Abbildung von der Injektivität abweicht. Dabei ist die genaue Definition abhängig davon, welche algebraischen Strukturen betrachtet werden. So besteht beispielsweise der Kern einer linearen Abbildung $f\colon V\to W$ zwischen Vektorräumen $V$ und $W$ aus denjenigen Vektoren in $V$, die auf den Nullvektor in $W$ abgebildet werden; er ist also die Lösungsmenge der homogenen linearen Gleichung $f(x)=0$ und wird hier auch Nullraum genannt. In diesem Fall ist $f$ genau dann injektiv, wenn der Kern nur aus dem Nullvektor in $V$ besteht. Analoge Definitionen gelten für Gruppen- und Ringhomomorphismen. Der Kern ist von zentraler Bedeutung im Homomorphiesatz. Definition Ist $f\colon V\to W$ eine lineare Abbildung von Vektorräumen, dann heißt die Menge

$\operatorname {Kern} f:=\{v\in V\mid f(v)=0\in W\}$

der Kern von $f$. Er ist ein Untervektorraum von $V$.

Eigenschaften von Abbildungen: injektiv / surjektiv / bijektiv

• Eine Funktion $f\colon X\to Y$ ist injektiv, wenn $\forall \,x_{1},x_{2}\in Y\colon \,f(x_{1})=f(x_{2})\Rightarrow x_{1}=x_{2}$
• Eine Funktion $f\colon X\to Y$ ist surjektiv, wenn $\forall \,y\in Y\colon \,\exists x\in X$ mit $f(x)=y$.
• Eine Funktion $f\colon X\to Y$ ist bijektiv, wenn sie sowohl injektiv, als auch surjektiv ist.

lineare Abbildung injektiv / surjektiv / bijektiv

• Monomorphismus: Ein Monomorphismus zwischen Vektorräumen ist eine lineare Abbildung $f\colon V\to W$, die injektiv ist. Dies trifft genau dann zu, wenn die Spaltenvektoren der Darstellungsmatrix linear unabhängig sind.
• Epimorphismus: Ein Epimorphismus zwischen Vektorräumen ist eine lineare Abbildung $f\colon V\to W$, die surjektiv ist. Das ist genau dann der Fall, wenn der Algebra) Rang der Darstellungsmatrix gleich der Dimension von $\mathbf {W}$ ist.
• Isomorphismus: Ein Isomorphismus zwischen Vektorräumen ist eine lineare Abbildung $f\colon V\to W$, die bijektiv ist. Das ist genau der Fall, wenn die Darstellungsmatrix regulär ist. Die beiden Räume $V$ und $W$ bezeichnet man dann als isomorph.
• Endomorphismus: Ein Endomorphismus zwischen Vektorräumen ist eine lineare Abbildung, bei der die Räume $V$ und $W$ gleich sind: $f\colon V\to V$. Die Darstellungsmatrix dieser Abbildung ist eine quadratische Matrix.
• Automorphismus: Ein Automorphismus zwischen Vektorräumen ist eine bijektive lineare Abbildung, bei der die Räume $V$ und $W$ gleich sind. Er ist also sowohl ein Isomorphismus als auch ein Endomorphismus. Die Darstellungsmatrix dieser Abbildung ist eine reguläre Matrix.

Lösungsvorschlag von Har203

--Har203 02:04, 3. Jan. 2026 (CET)

Sei $V=\mathbb {R} _{n}[x]$ der Vektorraum der Polynome in $x$ vom Grad $\leq n$ mit Koeffizienten aus $\mathbb {R}$. Sei weiters eine Abbildung $A$ definiert durch

$A\left(\sum _{k=0}^{n}\;a_{k}\cdot x^{k}\right)=\sum _{k=2}^{n}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}$.

Anmerkung: A ist die lineare Abbildung für die zweite Ableitung der Polynome bis zum Grad $n$.

Lösungsmöglichkeiten

Wir haben mehrere Möglichkeiten, diese lineare Abbildung zu erstellen:

• ) Als Abbildung von $V=R_{n}[x]\to W=R_{n-2}[x]$, also mit Reduktion der Dimension mittels Matrix $((n-1)\times (n+1)$.
• ) Als Abbildung von $V=R_{n}[x]\to W=R_{n-1}[x]$, mit Reduktion der Dimension nur um $1$ mittels Matrix $((n)\times (n+1)$.
• ) Oder als Endomorphismus von $V\to V$ als Abbildung von $V=R_{n}[x]\to V=R_{n}[x]$, ohne Reduktion der Dimension mittels Matrix $((n+1)\times (n+1)$.

Zeigen Sie, dass $A$ linear ist und bestimmen Sle die Matrix von $A$ bezüglich der Basis $B=\left(x^{0},x^{1},\ldots ,x^{n}\right)$ von $V$.

• $f:V\to W$ heißt lineare Abbildung (Homomorphismus), wenn

1. $\forall \;{\vec {x}},\,{\vec {y}}\in V:\quad f({\vec {x}}\oplus {\vec {y}})=f({\vec {x}})\odot f({\vec {y}})$
2. $\forall \;\lambda \in K:\quad f(\lambda \cdot {\vec {x}})=\lambda \cdot f({\vec {x}})$

Beweis der additiven Verträglichkeit

Gegeben seien zwei Polynome mit $\,p(x)=\sum _{k=0}^{n}\;p_{k}\cdot x^{k}\in V=\mathbb {R} _{n}[x]$ vom Grad $\leq n$ mit $\,p_{k}\in \mathbb {R}$ für $k=0,\ldots ,n$ und $q(x)=\sum _{k=0}^{n}\;q_{k}\cdot x^{k}\in V=\mathbb {R} _{n}[x]$ vom Grad $\leq n$ mit $q_{k}\in \mathbb {R}$ für $k=0,\ldots ,n$.

Zuerst überprüfen wir die Sonderfälle$\colon \,n=0,n=1,n=2,n=3\quad$ Es gilt$\colon \,\left(\sum _{\emptyset }=0\right)$.

${\begin{alignedat}{1}\mathbf {n=0\colon \;} &A\left(\sum _{k=0}^{0}\;a_{k}\cdot x^{k}\right)=&A(a_{0}\cdot 1)=A(a_{0})&=\left(\sum _{k=2}^{0}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}\right)=0\\\mathbf {n=1\colon \;} &A\left(\sum _{k=0}^{1}\;a_{k}\cdot x^{k}\right)=&A(a_{0}+a_{1}\cdot x)&=\left(\sum _{k=2}^{1}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}\right)=0\\\mathbf {n=2\colon \;} &A\left(\sum _{k=0}^{2}\;a_{k}\cdot x^{k}\right)=&A(a_{0}+a_{1}\cdot x+a_{2}\cdot x^{2})&=\left(\sum _{k=2}^{2}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}\right)=2\cdot 1\cdot a_{2}\cdot x^{0}=2\cdot a_{2}\\\mathbf {n=3\colon \;} &A\left(\sum _{k=0}^{3}\;a_{k}\cdot x^{k}\right)=&A(a_{0}+a_{1}\cdot x+a_{2}\cdot x^{2}+a_{3}\cdot x^{3})&=\left(\sum _{k=2}^{3}\;k\cdot (k-1)\cdot a_{k}\cdot x^{k-2}\right)=2\cdot 1\cdot a_{2}\cdot x^{0}+3\cdot 2\cdot a_{3}\cdot x^{1}=2\cdot a_{2}+6\cdot a_{3}\cdot x\end{alignedat}}$

Zu zeigen ist, dass $\forall \;p(x)\in V$ und $q(x)\in V\colon \,A(p(x)+q(x))=A(p(x))+A(q(x))\in W$ gilt.

${\begin{alignedat}{1}&A\left(p(x)+q(x)\right)\;&=A\left(\left(\sum _{k=0}^{n}\,p_{x}\cdot x^{k}\right)+\left(\sum _{k=0}^{n}\,q_{x}\cdot x^{k}\right)\right)=A\left(\sum _{k=0}^{n}\,(p_{x}+q_{x})\cdot x^{k}\right)=&\sum _{k=2}^{n}\;k\cdot (k-1)\cdot (p_{k}+q_{k})\cdot x^{k-2}\\&A\left(p(x)\right)+A\left(q(x)\right)\;&=\left(\sum _{k=2}^{n}\;k\cdot (k-1)\cdot (p_{k})\cdot x^{k-2}\right)+\left(\sum _{k=2}^{n}\;k\cdot (k-1)\cdot (q_{k})\cdot x^{k-2}\right)=&\sum _{k=2}^{n}\;k\cdot (k-1)\cdot (p_{k}+q_{k})\cdot x^{k-2}\implies A(p(x))+A(q(x))=A(p(x)+q(x))\quad \color {green}\surd \quad {\text{ q.e.d}}.\end{alignedat}}$

Beweis der multiplikativen Verträglichkeit

Gegeben sei wieder das oben definierten Polynom $p(x)$.

Zu zeigen ist, dass $\forall \;p(x)\in V$ und $\lambda \in \mathbb {R} \colon \,A\left(\lambda \cdot p(x)\right)=\lambda \cdot A\left(p(x)\right)$ gilt.

${\begin{alignedat}{1}A\left(\lambda \cdot p(x)\right)=A\left(\lambda \cdot \left(\sum _{k=0}^{n}\,p_{x}\cdot x^{k}\right)\right)=A(\left(\sum _{k=0}^{n}\,\lambda \cdot p_{x}\cdot x^{k}\right)=\sum _{k=2}^{n}\;k\cdot (k-1)\cdot (\lambda \cdot p_{k})\cdot x^{k-2}=\lambda \cdot \left(\sum _{k=2}^{n}\;k\cdot (k-1)\cdot p_{k}\cdot x^{k-2}\right)=\lambda \cdot A\left(p(x)\right)\quad \color {green}\surd \quad {\text{ q.e.d}}.\end{alignedat}}$

$\implies A$ ist eine lineare Abbildung.

Matrix von $A$

Matrix von $A$ bezüglich der Basis $B=\left(x^{0},x^{1},\ldots ,x^{n}\right)$

Wir schauen uns die Bilder der Basisvektoren an:

$A(x^{0})=0,\,A(x^{1})=0,\,A(x^{2})=2\cdot 1\cdot x^{0},\,A(x^{3})=3\cdot 2\cdot x^{1},\,A(x^{4})=4\cdot 3\cdot x^{2},\,$ etc $A(x^{i})=i\cdot (i-1)\cdot x^{i-2}$

D.h unsere Matrix $A$ hat die Dimension $(n+1)\times (n+1)$ und schaut folgend aus (mit zusätzlicher Überschrift):

$A=\left({\begin{array}{cccccccc}x^{0}&x^{1}&x^{2}&x^{3}&x^{4}&x^{5}&\cdots &x^{n}\\\hline 0&0&2\cdot 1&0&0&0&\cdots &0\\0&0&0&3\cdot 2&0&0&\cdots &0\\0&0&0&0&4\cdot 3&0&\cdots &0\\\vdots &\vdots &\vdots &\vdots &\vdots &\vdots &\ddots &\vdots \\0&0&0&0&0&0&\cdots &n\cdot (n-1)\\0&0&0&0&0&0&\cdots &0\\0&0&0&0&0&0&\cdots &0\end{array}}\right)$

$\qquad \qquad \blacksquare$

Links

Wikipedia:

• Vektorraum
• Lineare Abbildung
• Abbildungsmatrix
• Lineare Abbildung: injektiv / surjektiv / bijektiv
• Polynomräume
• Matrix
• Dimension
• Rang
• Kern
• Defekt
• Rangsatz / Dimensionssatz / Kern-Bild-Satz

Ähnliche Beispiele:

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_543
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_544

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_537 $\quad (\to \,$ Beginn von Bsp.540)
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_538 $\quad (\to \,$ Beginn von Bsp.541)
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_539 $\quad (\to \,$ Beginn von Bsp.542)
• TU_Wien:Algebra_und_Diskrete_Mathematik_UE_(diverse)/Übungen_SS19/Beispiel_530

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_540 $\quad (\to \,$ Fortsetzung von Bsp.537)
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_541 $\quad (\to \,$ Fortsetzung von Bsp.538)
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_542 $\quad (\to \,$ Fortsetzung von Bsp.539)