20170812

n を自然数とし, X を n 次元線形空間とし, Y を線形空間とし, f を X を定義域とし, 各値が Y の元である線形写像とする. 考える係数体は一個だけとする.
f は 1:1 ⇔ X の f による像は n 次元線形空間である.