馀有限空间

若给定一个集合$X$，$Y$为$X$的子集，使得差集$X-Y$为有限集合，则称$Y$为$X$的馀有限集（cofinite）。

类似地，若给定一个集合$X$，$Y$为$X$的子集，使得差集$X-Y$为可数集，则称$Y$为馀可数集（cocountable）。

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

馀有限拓扑

馀有限拓扑

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

${\mathcal {T}}=\{A\subseteq X\mid A=\varnothing {\mbox{ or }}X\setminus A{\mbox{ is finite}}\}$

性质

馀有限拓扑的性质有：

• 可传子：馀有限空间的子空间也是馀有限的。
• 紧致、列紧
• T₁空间而非T₂空间
• Lindelöf空间
• 连通空间
• 可析空间
• 馀有限拓扑是最粗糙的T₁空间：所有X 上的T₁拓朴必定包含X 的馀有限拓扑。
• 若X 是有限的，则X 上的馀有限拓朴与离散扑拓相同。

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

例子

EX1

我们让$X=\mathbb {N}$ ，则集合$\{3,4,5\}$,$\{2\}$,$\{1,3,5,7\}$都是有限集合，因此他们的补集$\{1,2,6,7,8,...\}$,$\{1,3,4,5,6,7,8,...\}$,$\{2,4,6,8,9,...\}$都是馀有限拓朴内里。

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

参考文献

• Steen, Lynn Arthur; Seebach, J. Arthur Jr., Counterexamples in Topology Dover reprint of 1978, Berlin, New York: Springer-Verlag, 1995 [1978], ISBN 978-0-486-68735-3, MR507446  (See example 18)