跳转到内容

拓扑/商空间

来自维基教科书,开放的书籍,为开放的世界
拓扑
 ← 积空间 商空间 连续性和同胚 → 


商拓扑不是对分析中任何研究对象的自然推广,但它很容易理解。一种动机来自几何学。例如,圆环可以通过取一个矩形并将边粘合在一起来构造。

定义:商映射

[编辑 | 编辑源代码]

是拓扑空间;令 是一个满射映射。映射 f 被称为 商映射 当且仅当 Y 中是开集,当且仅当 X 中是开集。

定义:商映射的另一种形式

[编辑 | 编辑源代码]

还有一种描述商映射的方法。一个子集 饱和集 (关于满射映射 )如果 C 包含它所交的每个集合 。说 f 是一个商映射等价于说 f 是连续的,并且 f X 的饱和开集映射到 Y 的开集。同样地,对于闭集也是如此。

有两种特殊的商映射类型: 开映射 闭映射

如果对于每个在 X 中的开集 ,集合 Y 中是开的,则称映射 是一个 开映射 。如果对于每个闭集 ,集合 Y 中是闭的,则称映射 是一个 闭映射 。由定义可知,如果 是一个满射连续映射,并且是开映射或闭映射,那么 f 是一个商映射。

定义:商拓扑

[edit | edit source]

如果 X 是一个拓扑空间, A 是一个集合,并且如果 是一个满射映射,那么在 A 上存在唯一的拓扑 使得 f 是一个商映射;它被称为 f 诱导的 商拓扑

定义:商空间

[edit | edit source]

X 是一个拓扑空间,设 X 的一个划分,它将 X 划分为不相交的子集,这些子集的并集是 X 。设 是将每个 映射到包含它的 元素的满射映射。在 f 诱导的商拓扑中,空间 被称为 X 商空间

定理

[edit | edit source]

是一个商映射;设 A X 的一个子空间,它关于 f 是饱和的;设 是通过限制 f 获得的映射,那么 g 是一个商映射。

1.) 如果 A X 中是开集或闭集。

2.) 如果 f 是一个开映射或闭映射。

证明:我们需要证明
当 V

以及

.

由于 A 是饱和的,。因此, 都等于 A 中所有被 f 映射到 V 的点。对于第二个等式,对于任何两个子集 U

反之,假设 。由于 A 是饱和的,,因此特别地 。然后 其中 .

假设 A f 是开集。由于 ,假设 中是开集,并证明 V 中是开集。

首先,假设 *A* 是开集。由于 在 *A* 中是开集,并且 *A* 在 *X* 中是开集,因此 在 *X* 中是开集。由于 ,因此 在 *X* 中是开集。*V* 在 *Y* 中是开集,因为 *f* 是商映射。

现在假设 *f* 是开集。由于 并且 在 A 中是开集,那么 ,其中 *U* 是 *X* 中的开集。现在 ,因为 *f* 是满射;所以

集合 在 *Y* 中是开集,因为 *f* 是开映射;因此 *V* 在 中是开集。关于闭集 *A* 或闭映射 *f* 的证明留给读者。


拓扑
 ← 积空间 商空间 连续性和同胚 → 


华夏公益教科书