证明范数等价当且仅当线性空间同构