Vektorraum/Endlichdimensional/Unterraum/Direktes Komplement/Fakt/Name/Inhalt

Zu einem Untervektorraum ${}U\subseteq V$ gibt es einen Untervektorraum ${}W\subseteq V$ derart, dass eine direkte Summenzerlegung

${}V=U\oplus W\,$

vorliegt.