开集
维基百科,自由的百科全书
在拓扑学和相关的数学领域中,集合 U 被称为开集,如果在直觉上说,从 U 中任何一点 x 开始你可以在任何方向上稍微移动一下而仍处在集合 U 中。换句话说,在 U 中任何点 x 与 U 的边界之间的距离总是大于零。
例如,实数线上的由不等式规定的集合称为开区间,是开集。这时候的边界为实数轴上的点2和5,如由不等式,或者规定的区间由于包含其边界,因此不能称之为开集。
开集是指不包含自己边界点的集合。或者说,开集把它所包含的任何一点的充分小的邻域也包含在其自身之中。开集的概念一般与拓扑概念是紧密联系着的,通常先公理化开集,然后通过其定义边界的概念。(详细请参照拓扑空间)
目录 |
[编辑] 定义
可以按不同的一般性程度来形式化开集的概念。
[编辑] 函数分析
在 Rn 中点集是开集,如果在这个集合的所有点 P 都是内部点。
[编辑] 欧几里德空间
n 维欧几里德空间 Rn 的子集 U 是开集,如果给定任何在 U中的点 x,存在一个实数 ε > 0 使得,给定任何 Rn 中点 y 有着从 x 到它的欧几里德距离小于 ε,则 y 也属于 U。等价的说,U 是开集,如果所有 U 中的点有包含在 U 中的邻域。
[编辑] 度量空间
度量空间 (M,d) 的子集 U 是开集,如果给定任何 U 中的点 x,存在一个实数 ε > 0 使得,给定任何 M 中的点 y 带有 d(x,y) < ε,则 y 也属于 U。(等价的说,U 是开集,如果所有 U 中的点有包含在 U 中的邻域。)
这推广了欧几里德空间的例子,因为带有欧几里德距离的欧几里德空间是度量空间。
[编辑] 拓扑空间
在拓扑空间中,开放性概念被选取为基础性的。你可以开始于任意集合 X 和满足假定有所有“合理”开放性概念的特定性质的 X 的子集族。这种子集族 T 被叫做 X 上的“拓扑”,而这个集合族的成员被叫做拓扑空间 (X,T) 的开集。注意开集的无限交集不必须是开集。可以构造为可数多个开集的交集的集合被指示为 Gδ集合。
开集的拓扑定义推广了度量空间定义: 如果你开始于一个度量空间并如上定义开集,则所有开集的集合族将形成在这个度量空间上的拓扑。所有度量空间因此以自然方式是拓扑空间。(但有不是度量空间的拓扑空间。)
[编辑] 性质
[编辑] 例子
[编辑] 用处
开集在拓扑学分支中是基础重要性的。需要这个概念来定义拓扑空间和处理空间如度量空间和一致空间中的邻近性与收敛概念的其他拓扑结构并使其有意义。
所有拓扑空间 X 的子集 A 都包含一个(可能为空)开集;最大的这种开集被叫做 A 的内部。它可以通过选取包含在 A 中的所有开集的并集来构造。
给定拓扑空间 X 和 Y,从 X 到 Y 的函数 f 是连续的,如果在 Y 中的所有开集的前像是在 X 中的开集。映射 f 被叫做开映射,如果在 X 中的所有开集的像是 Y 中的开集。
在实直线上开集有它是不相交开区间的可数并集的特征性质。
[编辑] 相关条目
|
|
---|---|
拓扑空间 | 同胚 · 子空間 · 積空間 · 商空間 · 序空間 |
/ | 邻域 · 內部 · 邊界 · 外部 · 極限點 · 孤点 |
/ | 基 · 鄰域系統 · 开集 · 闭集 · 闭包 |
/ | 连通空间 · 道路连通空间 · 不可約空間 |
紧集 | 可数紧 · 序列紧 · 聚点紧 · 局部紧 |
可数集 | 第一可數 · 第二可數 · 可分性 · 林德勒夫空間 |
理論 | 吉洪诺夫定理 · Urysohn引理 · 度量化定理 |