実ベクトル空間における同型写像

実ベクトル空間における同型写像。
大枠の外観リフォーム完了。