Hey Leute bei der Beweisführung zu einer Aufgabe kam ich leider nicht weiter.
Sei ein K-Vektorraum mit und sei eine Basis von V. Betrachten wir den K-Vektorraum der multilinearen Abbildungen auf dh. × ist multilinear. Beweisen Sie, dass die Abbildung Ψ: × 1≤i,j,≤2 ein Isomorphismus von K-Vektorräumen ist.
Für einen Isomorphismus muss man ja auf jeden Fall die Injektivität und die Surjektivität zeigen. Für die Injektivität muss man ja zeigen, dass ein aus auf jedem Vektor gleich sind. Da und multilineare Abbildungen sind und auf dieselben Vektoren abgebildet werden sollen sind sie aufgrund der Multilinearität insbesondere auf der Basis gleich, da der gesamte Raum aber dadurch erzeugt wird sind und auf jedem Vektor gleich und es folgt
Für die Surjektivität hatte ich leider noch keine Idee, vielleicht könnte man da irgendwie zeigen, dass es zu jeder Matrix ein Urbild gibt in da bin ich mir aber unsicher wie man das zeigen könnte, ich würde mich daher sehr über eure Hilfe freuen!
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.) |
Hallo,
hast du denn verstanden, was die Schreibweise > bedeuten soll? Man hätte es als schreiben können.
Zunächst ist die Linearität zu beweisen, was aber nur eine Fleißarbeit ist. Daher überlasse ich sie dir. :-)
Injektivität: Seien zwei solche multilineare Abbildungen mit oder kürzer für . Seien nun , d.h. es gibt mit bzw. .
Es gilt dann (Tausche vor "" alle durch aus.)
Soll heißen, es gilt , was zu zeigen war.
Die Surjektivität ist nicht so schwierig. Definiere für den so genannten Koordinatenvektor von bzgl. der Basis wie folgt: Gilt , so sei .
Das Urbild einer zweireihigen Matrix erhältst du, indem du die multilineare Abbildung definierst durch .
Rechne nach, dass gilt.
Mfg Michael
PS: Wenn ihr schon einen Zusammenhang hattet zwischen Basiswechsel und darstellender Matrix bzgl. Basen, dann könnte sich einiges von dem Beweis deutlich verkürzen.
|