跳转到内容

馀有限空间

本页使用了标题或全文手工转换
维基百科,自由的百科全书

若给定一个集合的子集,使得差集有限集合,则称的馀有限集(cofinite)。

类似地,若给定一个集合的子集,使得差集可数集,则称为馀可数集(cocountable)。

上述的东西都是一些很自然地推广,当我们开始从有限集合进入到无限集合时。

馀有限拓扑

[编辑]

馀有限拓扑

[编辑]

馀有限拓扑是收集集合内所有子集与集合的相对差集为有限集合的集合,并将定义为开集的拓扑,这样的拓扑空间称为馀有限空间。符号上,

性质

[编辑]

馀有限拓扑的性质有:

类似地可定义馀可数空间。它必是Lindelöf空间和连通空间。

例子

[编辑]

EX1

[编辑]

我们让 ,则集合,,都是有限集合,因此他们的补集,,都是馀有限拓朴内里。

但是并不是所有的无限集合都会在馀有限拓朴中,例如我们取所有偶数的集合,他显然是自然数的子集,但是他不在馀有限拓朴中,因为他的补集并不是有限的。同样的道理,所有奇数的集合也不在馀有限拓朴中。

参考文献

[编辑]