可以看作拓扑学上的同构