线性空间同构

isomorphism of linear spaces