Es sei
ein
endlichdimensionaler
-Vektorraum
und
,
,
eine
Basis
von
. Zu einer Teilmenge
sei
-

der zu
gehörende
Untervektorraum
und
-
die zugehörige
Projektion.
Das Bild dieser Projektion ist
und man kann die Abbildung auch als
-
auffassen. Auf
liegt die Identität vor. Der
Kern
der Abbildung ist
-
