(Twitter)
1
Ich weiß nicht genau, wie du auf $9$ Basismatrizen kommst, im Allgemeinen sind es natürlich $n\times m$.
Wenn ich dich richtig verstehe, ist dein Denkfehler der Satz: "Nach Definition ist ein Vektor [...] ein Tupel". Das ist falsch. Ein Vektor ist per Definition ein Element eines Vektorraums, und das muss nicht $K^n$ sein. Eben auch z.B. Matrizen oder sogar Polynome bilden Vektorräume und können daher auch als "Vektoren" bezeichnet werden, auch wenn das sprachlich vielleicht ein bisschen missverständlich ist. Trotzdem gelten alle Sätze und Regeln der Linearen Algebra auch für Matrixräume. Das heißt, die Basis"vektoren" von z.B. $K^{2\times 3}$ sind auch $2\times3$-Matrizen, nämlich z.B. $$\begin{pmatrix}1&0&0\\0&0&0\end{pmatrix},\begin{pmatrix}0&1&0\\0&0&0\end{pmatrix},\begin{pmatrix}0&0&1\\0&0&0\end{pmatrix},\begin{pmatrix}0&0&0\\1&0&0\end{pmatrix},\begin{pmatrix}0&0&0\\0&1&0\end{pmatrix},\begin{pmatrix}0&0&0\\0&0&1\end{pmatrix}$$ Das ist die Standardbasis des $K^{2\times 3}$. Du kannst leicht nachrechnen, dass diese Matrizen linear unabhängig sind und alle $2\times 3$-Matrizen erzeugen.
Es gibt einen Satz, dass alle $n$-dimensionalen $K$-Vektorräume isomorph sind, d.h. z.B. gibt es einen Isomorphismus $K^{2\times 3}\to K^6$, wobei du einfach die sechs Matrizen oben auf die sechs Standardvektoren des $K^6$ abbilden kannst. Trotzdem sind Matrizen nicht äquivalent zu Vektoren, denn dabei verlierst du die Information, dass die Matrizen eine lineare Abbildung repräsentieren und z.B. mit Vektoren multipliziert werden können.
Klärt das deine Frage? Ansonsten melde dich gern nochmal.
Wenn ich dich richtig verstehe, ist dein Denkfehler der Satz: "Nach Definition ist ein Vektor [...] ein Tupel". Das ist falsch. Ein Vektor ist per Definition ein Element eines Vektorraums, und das muss nicht $K^n$ sein. Eben auch z.B. Matrizen oder sogar Polynome bilden Vektorräume und können daher auch als "Vektoren" bezeichnet werden, auch wenn das sprachlich vielleicht ein bisschen missverständlich ist. Trotzdem gelten alle Sätze und Regeln der Linearen Algebra auch für Matrixräume. Das heißt, die Basis"vektoren" von z.B. $K^{2\times 3}$ sind auch $2\times3$-Matrizen, nämlich z.B. $$\begin{pmatrix}1&0&0\\0&0&0\end{pmatrix},\begin{pmatrix}0&1&0\\0&0&0\end{pmatrix},\begin{pmatrix}0&0&1\\0&0&0\end{pmatrix},\begin{pmatrix}0&0&0\\1&0&0\end{pmatrix},\begin{pmatrix}0&0&0\\0&1&0\end{pmatrix},\begin{pmatrix}0&0&0\\0&0&1\end{pmatrix}$$ Das ist die Standardbasis des $K^{2\times 3}$. Du kannst leicht nachrechnen, dass diese Matrizen linear unabhängig sind und alle $2\times 3$-Matrizen erzeugen.
Es gibt einen Satz, dass alle $n$-dimensionalen $K$-Vektorräume isomorph sind, d.h. z.B. gibt es einen Isomorphismus $K^{2\times 3}\to K^6$, wobei du einfach die sechs Matrizen oben auf die sechs Standardvektoren des $K^6$ abbilden kannst. Trotzdem sind Matrizen nicht äquivalent zu Vektoren, denn dabei verlierst du die Information, dass die Matrizen eine lineare Abbildung repräsentieren und z.B. mit Vektoren multipliziert werden können.
Klärt das deine Frage? Ansonsten melde dich gern nochmal.
Diese Antwort melden
Link
geantwortet
stal
Punkte: 11.27K
Punkte: 11.27K
Genau, einen allgemeinen Vektorraum darf man sich nicht mit Pfeilen oder Tupeln oder so vorstellen, sondern als abstraktes Objekt mit den Regeln aus der Definition.
Im Zusammenhang mit Polynomen gibt es verschiedene Konstruktionen:
Über einem Körper $K$ kann man den Vektorraum aller Polynome mit Grad kleiner gleich $n$ betrachten; das ist ein $n+1$-dimensionaler Vektorraum mit Basis $1,x,x^2,\ldots,x^n$ und die Abgeschlossenheit ist klar, denn die Summe von zwei Polynomen vom Grad kleiner gleich $n$ ist wieder ein Polynom vom Grad kleiner gleich $n$. Das ist aber kein Polynomring, denn dazu müsste das Produkt von zwei Polynomen wieder Grad $\leq n$ haben, und das ist im Allgemeinen nicht der Fall.
Man kann aber auch die Menge aller Polynome über $K$ betrachten, das ist der sogenannte Polynomring $K[X]$. Ein Polynom ist ja formal erstmal nur ein endlicher(!) Ausdruck der Form $a_nX^n+\ldots+a_0$, und es ist offensichtlich, dass Produkte, Summen und skalare Vielfachen von Polynomen wieder Polynome sind, d.h. $K[X]$ ist ein wohldefinierter $K$-Vektorraum und zusätzlich noch ein Ring. Über Nullteilerfreiheit musst du dir hier übrigens keine Gedanken machen, solange $K$ ein Körper ist, ist das immer gegeben.
Man kann aber auch den Polynomring $R[X]$ über einen beliebigen kommutativen Ring mit $1$ betrachten, dann wird es etwas komplizierter, weil es eben so Dinge wie Nullteiler gibt, aber trotzdem ist $R[X]$ noch ein Ring. Natürlich ist $R[X]$ kein Vektorraum mehr, da $R$ ja kein Körper ist. ─ stal 27.06.2021 um 13:21
Im Zusammenhang mit Polynomen gibt es verschiedene Konstruktionen:
Über einem Körper $K$ kann man den Vektorraum aller Polynome mit Grad kleiner gleich $n$ betrachten; das ist ein $n+1$-dimensionaler Vektorraum mit Basis $1,x,x^2,\ldots,x^n$ und die Abgeschlossenheit ist klar, denn die Summe von zwei Polynomen vom Grad kleiner gleich $n$ ist wieder ein Polynom vom Grad kleiner gleich $n$. Das ist aber kein Polynomring, denn dazu müsste das Produkt von zwei Polynomen wieder Grad $\leq n$ haben, und das ist im Allgemeinen nicht der Fall.
Man kann aber auch die Menge aller Polynome über $K$ betrachten, das ist der sogenannte Polynomring $K[X]$. Ein Polynom ist ja formal erstmal nur ein endlicher(!) Ausdruck der Form $a_nX^n+\ldots+a_0$, und es ist offensichtlich, dass Produkte, Summen und skalare Vielfachen von Polynomen wieder Polynome sind, d.h. $K[X]$ ist ein wohldefinierter $K$-Vektorraum und zusätzlich noch ein Ring. Über Nullteilerfreiheit musst du dir hier übrigens keine Gedanken machen, solange $K$ ein Körper ist, ist das immer gegeben.
Man kann aber auch den Polynomring $R[X]$ über einen beliebigen kommutativen Ring mit $1$ betrachten, dann wird es etwas komplizierter, weil es eben so Dinge wie Nullteiler gibt, aber trotzdem ist $R[X]$ noch ein Ring. Natürlich ist $R[X]$ kein Vektorraum mehr, da $R$ ja kein Körper ist. ─ stal 27.06.2021 um 13:21
Jedenfalls sind, soweit habe ich das verstanden habe (auch wenn vielleicht die falsche Syntax von mir verwendet wird) Polynomräume, verallgemeinert Funktionsräume auch Vektorräume, eben - so hätte ich es verstanden - weil sie nach Definition die Struktur eines Vektorraums bilden, wobei die Unbekannten mit den Exponenten die Basis bilden ( n + 1 z.B. x^(2) als höchste Potenz := {x^(0) (somit neutrales Element drinnen), x^(1), x^(2)) := B , mit denen man dann [B] alle Potenzen des ^(2) Raums mit Skalaren aus einem Körper erzeugen kann. - diese darf man sich dann aber nicht als Pfeile oder sonst irgendwas vorstellen, sondern muss einfach abstrakt bleiben und sie als Vektorraum - da (Pn bzw. Fn [x], +, K ) abelsche Gruppe und die anderen Regeln, die in einem Vektorraum gelten, betrachten?
Ich bin nur auf ein anderes Problem gestoßen (das indirekt mit dieser Frage zusammenhängt), nämlich jenes von Polynomringen im Vergleich zu Polynomräumen, diese bilden ja mit (PZahl (z.B. auch Z / 5Z) [x], +, *) einen Ring - dieses 5 bezieht sich aber im Gegensatz zu den Vektorräumen auf den Koeffizienten. d.h. sofern ich Nullteilerfrei bin, gilt ja die Gradformel, aber die Exponenten können in einem Polynomring lt. Definition unendlich groß werden - die Abgeschlossenheit bezieht sich also rein auf die Koeffizienten?
d.h. die Basis von Polynomräumen sind Unbekannte mit deren Exponenten (die in sich abgeschlossen sein müssen - was durch die Definition eines Vektorraums ja gewährleistet ist, keine beiden Basiselemente sind bez. Multiplikation - was den Grad erhöhen würde, definiert) des Grades des Polynomraumes, diese bilden dann auch die Basis (welche n + 1) = Dimension (sofern endlich & kompletter n + 1 Raum aufgespannt)
d.h. Basis von Polynomringen sind Ringelemente, die über x Unbekannte gebildet werden, wobei die Basis dieser Ringelemente wieder in sich abgeschlossen sein muss
Oder habe ich einen Denkfehler drinnen?
Und danke nochmal :)
─ sven03 27.06.2021 um 13:00