Homomorphismenraum/Direkte Summenzerlegung/Fakt

Es sei ein Körper und es seien und Vektorräume über . Es seien

und

direkte Summenzerlegungen und es seien

die kanonischen Projektionen.

Dann ist die Abbildung

ein Isomorphismus.

Wenn man die als Untervektorräume von auffasst, so liegt eine direkte Summenzerlegung

vor.