第一可数空间 · aiwiki.page

第一可数空间是每一点都有可数的邻域局部基的拓扑空间。这意味着，在任意一点处，只需一个可数的邻域族，就能在该点的每个邻域内找到这个族中的某个邻域。第一可数性是一种局部条件：不同点处的邻域族可以不同。它在拓扑学中的主要意义在于，可以像在度量空间中一样，用序列判定闭包归属和检验连续性。(math.utoronto.ca)

定义与等价表述

设 $X$ 为拓扑空间， $x\in X$ 。 $x$ 处的可数局部基是由 $x$ 的邻域组成的族

\mathcal B_x=\{U_1,U_2,\ldots\},

使得对 $x$ 的每个邻域 $V$ ，都存在某个 $U_n$ 满足

x\in U_n\subseteq V.

如果 $X$ 的每一点处都存在这样的邻域族，就称 $X$ 为第一可数空间。局部基也可以是有限的；将其中的成员重复列出，即可得到一个按自然数编号的序列。局部基总可以选成由开集组成的族。(math.utoronto.ca)

一种实用的等价表述要求局部基是递减的。给定一个可数的开局部基，令

W_n=\bigcap_{k=1}^{n}U_k.

则每个 $W_n$ 都是 $x$ 的开邻域，这个族仍是局部基，并且

W_{n+1}\subseteq W_n.

因此，只要选取 $x_n\in W_n$ ，就能保证 $x_n$ 收敛于 $x$ ： $x$ 的每个邻域都包含序列中从某一项开始的所有项。(math.utoronto.ca)

例子及与其他可数性条件的关系

每个度量空间都是第一可数空间。若其度量为 $d$ ，则开球族

\{B_d(x,1/n):n\geq1\}

构成 $x$ 处的局部基。对于一个包含 $B_d(x,\varepsilon)$ 的邻域，只需选取满足 $1/n<\varepsilon$ 的 $n$ 即可。特别地，欧几里得空间都是第一可数空间。(math.uchicago.edu)

每个第二可数空间也都是第一可数空间。从整个拓扑的一个可数基中，保留所有包含 $x$ 的成员，就得到 $x$ 处的可数局部基。反之则不成立：不可数的离散空间是第一可数空间，因为 $\{\{x\}\}$ 是每一点 $x$ 处的局部基，但任何可数的全局基都不可能包含其中所有的单点集。因此，第一可数性既不要求底集可数，也不要求拓扑具有可数基。(math.toronto.edu)

一个典型的不可度量化的例子是索尔根弗雷直线：即赋予由区间 $[a,b)$ 生成的拓扑的实数直线。在 $x$ 处，区间族

[x,x+1/n),\qquad n\geq1,

构成可数局部基。这个空间是可分空间，但不是第二可数空间。由于每个可分的可度量化空间都是第二可数空间，它不可度量化。因此，即使限于豪斯多夫空间，第一可数性也严格弱于可度量化性。(math.wustl.edu)

闭包与序列

关于序列的核心定理指出，对第一可数空间 $X$ 、子集 $A\subseteq X$ 以及点 $x\in X$ ，有

x\in\overline A \quad\Longleftrightarrow\quad \text{存在 }A\text{ 中的序列 }(a_n)\text{ 收敛于 }x,

其中 $\overline A$ 为 $A$ 的闭包。(sites.math.northwestern.edu)

证明正向蕴含时，取 $x$ 处的一个递减局部基 $(W_n)$ 。每个 $W_n$ 都与 $A$ 相交，因而可以选取

a_n\in A\cap W_n.

由局部基的性质可得 $a_n\to x$ 。反过来，若 $A$ 中的一个序列收敛于 $x$ ，则 $x$ 的每个邻域都与 $A$ 相交，所以 $x$ 属于 $A$ 的闭包。这一反向蕴含在任何拓扑空间中都成立。(sites.math.northwestern.edu)

由此可知，第一可数空间的一个子集是闭集，当且仅当它包含由其自身的点组成的每个收敛序列的所有极限。序列中的项允许重复：若 $x\in A$ ，取每一项都为 $x$ 的常值序列，就已经能说明 $x\in\overline A$ 。这些结论都不需要任何分离性假设。(math.utoronto.ca)

连续性与较弱的序列条件

若 $X$ 是第一可数空间， $Y$ 是任意拓扑空间，则函数 $f:X\to Y$ 是连续函数，当且仅当

x_n\to x\text{（在 }X\text{ 中）} \quad\Longrightarrow\quad f(x_n)\to f(x)\text{（在 }Y\text{ 中）}.

只有定义域需要满足第一可数性。连续函数保持收敛序列这一性质不需要任何可数性假设；第一可数性则保证了反向蕴含成立。(sites.math.northwestern.edu)

对于用序列确定拓扑信息而言，第一可数性是充分条件，但不是必要条件。每个第一可数空间都是弗雷歇–乌雷松空间，即一个集合的闭包中的每一点，都是该集合中某个序列的极限。每个弗雷歇–乌雷松空间又都是序列空间，即序列闭的子集都是闭集。这两个命题的逆命题一般都不成立。这些区别表明，存在可数局部基，与序列能够判定闭包归属或闭性这类较弱的性质，并不是一回事。(arxiv.org)

子空间、积与像

取子空间的操作保持第一可数性：若 $S\subseteq X$ 且 $x\in S$ ，将 $x$ 处的一个可数局部基的各成员与 $S$ 相交即可。第一可数性也是同胚不变量。(arxiv.org)

第一可数空间的有限积和可数积，在积拓扑下仍是第一可数空间。在可数积中的任意一点处，取只限制有限多个坐标的基本邻域，并让每个坐标上的限制都选自相应的可数局部基。这样的选择总共只有可数多个。(math.toronto.edu)

不可数积则未必是第一可数空间。例如，当各因子都带有离散拓扑且 $I$ 不可数时， $\{0,1\}^{I}$ 不是第一可数空间。假设某一点处存在一个可数局部基，在其每个成员内选取一个基本积邻域，则这些基本邻域总共只涉及可数多个坐标。如果一个邻域限制的是这组可数坐标之外的某个坐标，它就不可能包含上述任何一个基本邻域。(math.toronto.edu)

任意连续像未必保持第一可数性。不过，连续的开满射确实保持第一可数性：在像点的任意一个原像点处取可数局部基，其各成员的像就构成该像点处的局部基。(arxiv.org)

序列无法判定闭包的空间

设 $X$ 是不可数集，并赋予余可数拓扑：其非空开集恰好是补集可数的那些集合。这个空间不是第一可数空间。如果 $(U_n)$ 是 $x$ 处的局部基，那么这些邻域的可数补集之并仍是可数集。因此可以选取

y\ne x,\qquad y\in\bigcap_n U_n.

此时 $X\setminus\{y\}$ 是 $x$ 的邻域，却不包含这个假设的局部基中的任何成员，产生矛盾。(math.toronto.edu)

在这个空间中，每个收敛于 $x$ 的序列都必须从某一项开始恒等于 $x$ ：从 $X$ 中去掉该序列所有不等于 $x$ 的取值所组成的可数集，就得到一个 $x$ 的邻域。然而，每个不可数子集都是稠密的。因此，若 $A$ 不可数且 $x\notin A$ ，则 $x\in\overline A$ ，但 $A$ 中没有任何序列收敛于 $x$ 。(arxiv.org)

在一般拓扑空间中，网和滤子可以用收敛来刻画闭包，而无须假设第一可数性。第一可数性正是一项实用的局部基条件，在这一条件下，普通序列就已足以完成这种刻画。不过，第一可数性本身并不能保证极限唯一；豪斯多夫空间则保证极限的唯一性。(math.uchicago.edu)

参考来源

Sequences, weak T-axioms, and first countabilitymath.utoronto.ca
Math 344-1: Introduction to Topologysites.math.northwestern.edu
Topology - Imath.uchicago.edu
MAT327 Big Listmath.toronto.edu
Chapter 3 Top Spacesmath.wustl.edu
Countabilitymath.toronto.edu
Sequential convergence in topological spacesarxiv.org
Arbitrary productsmath.toronto.edu