就是存在一个等效性 但是这个数学上的manifold，我还不知道是什么 也就是说脑宇互为定义，我不知道具体是什么