跳转到内容

覆盖 (拓扑学)

本页使用了标题或全文手工转换
维基百科,自由的百科全书
(重定向自开覆盖

数学中,若 是一个集合 并集子集,则集合 集合 覆盖。用符号来说,如果 的子集索引族,则 是如下条件下的覆盖(定义可参见: Gamelin 与 Greene 第19页或 Kelly 第49页)

更一般的说,如果 的子集,而 的子集 搜集,它的并集包含 ,则 被称为是 的覆盖。也就是 的覆盖如果

拓扑学中覆盖

[编辑]

覆盖通常用在拓扑学的上下文中。如果集合 拓扑空间,我们称 开覆盖,如果它的每个成员都是开集(就是说每个 都包含在 中,这里的 上的拓扑)。

如果 的覆盖,则 子覆盖 的仍覆盖 的子集。

的开覆盖被称为是局部有限的,如果对任意 的点 都存在一个邻域,其只与这个覆盖中有限多个集合有交集。用符号来说, 是局部有限的,如果对于任何 ,存在某个 的邻域 使得集合

是有限的。

精细

[编辑]

的覆盖 精细(或称加细)是 的新覆盖 ,使得在 中的任意的一个集合,都包含在 的某个集合中。

用符号来说,有 覆盖 ,如果对任意的 ,都存在某个 使得 ,我们则说 是覆盖 的精细。

所有子覆盖也是精细,反之不然。但是注意一般的说精细将比原始覆盖有更多的集合。

紧致性

[编辑]

覆盖的这个词语经常用来定义与紧致性有关的拓扑性质。一个拓扑空间 X 被称为

  • 紧致的,如果所有开覆盖有有限子覆盖。
  • 林德勒夫的,如果所有开覆盖都有可数子覆盖。
  • 元紧致的,如果所有开覆盖都有一个点有有限开精细。
  • 仿紧致的,如果所有开覆盖允许局部有限、精细。

引用

[编辑]
  1. Theodore W. Gamelin & Robert Everist Greene. Introduction to Toplogy Second Edition. Dover Publications. 1999. ISBN 0-486-40680-6 (英语). 
  2. John L. Kelly. General Topology. Princeton, NJ.: D. Van Nostrand Company, Inc. 1955 (英语).