拓扑空间 和其上的 等价关系 的商空间 是 中点的 等价类 的集合(在 等价关系 下),以及赋予 子集的以下拓扑: 的子集 被称为开集,当且仅当 在 中是开集。商空间也称为因子空间。
这可以用 映射 来表述如下:如果 表示将每个点发送到其在 中的 等价类 的 映射,则 上的拓扑可以通过规定 的子集是开集(当且仅当 是开集)来指定。
总的来说,商空间的性质并不良好,我们对它们的了解甚少。然而,已知任何紧致可度量空间都是 康托集 的商空间,任何紧致连通 维 流形(对于 )是任何其他流形的商空间,并且从商空间 出发的函数是连续的,当且仅当函数 是连续的。
令 为闭 维 圆盘, 为其边界,即 维球面。那么 (同胚于 )提供了一个商空间的例子。在这里, 被解释为当 维圆盘的边界坍缩为一个点时获得的空间,并且形式上是由“由 中所有点都等价的关系”生成的等价关系的“商空间”。