あの、行列によるベクトルの「恒等変換」とは何でしょうか…？
変換する行列をfとして、
f(v↑)=v↑,f(u↑)=u↑,v↑とu↑が一次独立
なのが条件らしいのですが、なぜこれが条件になるのでしょう？