Es sei V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum und U 1 , U 2 , U {\displaystyle {}U_{1},U_{2},U} seien Untervektorräume. Es sei
die kanonische Projektion. Zeige, dass folgende Aussagen äquivalent sind.
a) Für die Bildräume gilt
b) Es ist
c) Es ist