Let K {\displaystyle {}K} be a field, and let V {\displaystyle {}V} be a K {\displaystyle {}K} -vector space.
injective linear mapping
If V {\displaystyle {}V} has finite dimension, then Ψ {\displaystyle {}\Psi } is an