西要毛子律技大学XIDIANUNIVERSIT③若o,t分别是欧氏空间V到V'、V到V"的同构映射则t是欧氏空间V到V"的同构映射事实上，首先，To是线性空间V到V"的同构映射其次，对 Vα,βeV，有(to(α),to(β)) =(t(o(α),t(α(β)=(α(α),α(β))=(α,β)：to为欧氏空间V到V"的同构映射§9.3 同构 ③ 若  , 分别是欧氏空间V到V' 、V'到V"的同构映射， 则  是欧氏空间V到V"的同构映射. 事实上，首先，  是线性空间V到V"的同构映射. (    ( ), ( )) = (    ( ), ( )) 其次，对    , , V 有 = (      ( ( )), ( ( ))) = ( , )     为欧氏空间V到V"的同构映射