0 Daumen
1,2k Aufrufe

Definition:

Ein K-Vektorraumisomorphismus φ : VVφ: V→ V' ist ein K-Vektorraumhomomorphismus,
der die Bedingungen von 6.2 (i) (siehe unten) erfüllt. 
Die durch ein solches φφ eindeutig bestimmte Abbildung φ1φ^{-1}: heisst der zu φφ inverse Homomorphismus. 

Bedingung 6.2 (i): 
Für einen K-Vektorraumhomomorphismus φ : VVφ: V→ V' sind folgende zwei Bedingungen äquivalent: 
(1) Es gibt einen Homomorphismus φ : VVφ': V'→ V mit φφ=idVφ'\circφ = id_{V} und φφ=idVφ\circφ' = id_{V'}
(2) φφ ist bijektiv. 

In meinen eigenen Worten:

Haben wir eine Abbildung ΦΦ gegeben, überprüfen wir zuerst mit (3),(4) ob ΦΦ ein Vektorraumhomomorphismus ist. 
(3) Für alle v,w in V gilt: Φ(v+w)=Φ(v)+Φ(w).Φ(v+w) = Φ(v)+Φ(w).
(4) Für alle a in K und für alle v in V gilt Φ(av)=aΦ(v).Φ(av) = a*Φ(v). 

Angenommen wir haben dies überprüft, und alles stimmt, dann ist schon mal ΦΦ ein Homomorphismus. 

Nun wollen wir schauen, ob ΦΦ sogar ein Vektorraumisomorphismus ist. Naja, dazu muss ΦΦ bijektiv sein. Denn wenn eine Abbildung bijektiv ist, existiert eine eindeutige Umkehrabbildung ΦΦ', und nach obiger Definition, muss ΦΦ' ebenfalls ein Homomorphismus sein. 

Frage:
(5) Reicht es bei Isomorphismen zu überprüfen dass eine gegebene Abbildung Φ : VVΦ: V → V' ein Homomorphismus ist und reicht es zu überprüfen ob genau seine Umkehrabbildung Φ1Φ^{-1} ebenfalls ein Homomorphismus ist um daraus schliessen zu können dass ΦΦ ein bijektiver Homomorphismus = Isomorphismus, ist. ? 

(6) Ich sehe nicht, wie ich Bijektivität sonst zwischen Vektorräumen untersuchen könnte ausser die Elemente zu zählen und vergleichen oder die Kardinalitäten zweier Vektorräume zu vergleichen. 





Avatar von

1 Antwort

0 Daumen

Hallo

 1. natürlich muss V und V' dieselbe Dimension haben, φ darf also nicht auf einen echten UVR abbilden.

wie du Elemente zählen willst, wenn der zugrundeliegende Körper nicht endlich ist?

du musst zeigen, dass φ jedes Element von V' erreicht, und eben φ^-1 existiert

Gruß lul

Avatar von 108 k 🚀

du musst zeigen, dass φ jedes Element von V' erreicht, und eben φ^-1 existiert

Wie mach ich das ? :-)

konkretes Problem?

Gruß lul

Aha, habe ich keins, habe nur überlegt wie ich das bei einem konkreten Problem zeigen könnte. Falls ich aber eins habe und nicht weiter weiss, würde ich es hier posten.

Ein anderes Problem?

Stell deine Frage