Es sei K{\displaystyle {}K} ein Körper und V{\displaystyle {}V} ein K{\displaystyle {}K}-Vektorraum und k∈N+{\displaystyle {}k\in \mathbb {N} _{+}}.
Dann gibt es eine kanonische surjektive lineare Abbildung