ベクトル空間同型写像の定義と判定基準