商空间 我们得到了两个大集合：{所有旋转变换的集合}，{所有圆的集合}，这两个集合都分别同胚于一维实空间，总维数是2，等于原空间

我们得到了两个大集合：{所有旋转变换的集合}，{所有圆的集合}，这两个集合都分别同胚于一维实空间，总维数是2，等于原空间的维数——这个结果并非偶然，它其实就是李群论中变换空间，轨迹空间（商空间），和原空间的维数关系定理的一个特例。