双射同态。(一一对应,满射)

酉空间与线性空间同构