映射向量空间的同构