好问题！咱们一步步来拆解你的疑问：

答案是否定的，存在一些网没有任何可数子网。最经典的反例和不可数定向集有关：
考虑第一个不可数序数 ω₁（按序数的大小关系构成定向集，即对任意 α, β ∈ ω₁，存在 γ ∈ ω₁ 使得 γ ≥ α 且 γ ≥ β），定义网 f: ω₁ → ω₁ 为恒等映射 f(α) = α。

假设这个网存在可数子网，意味着存在可数定向集 E 和满足两个条件的映射 φ: E → ω₁：

• 保序：若 e₁ ≤ e₂ 在 E 中，则 φ(e₁) ≤ φ(e₂) 在 ω₁ 中；
• 最终性：对任意 α ∈ ω₁，存在 e ∈ E 使得 φ(e) ≥ α。

但ω₁的任何可数子集都是有界的——可数个可数序数的上确界仍然是可数序数，必然小于ω₁。这意味着φ(E)不可能覆盖ω₁的所有“尾部”，违背了子网的最终性要求。因此这个网没有可数子网。

另一个拓扑相关的反例：取不可数集合 X，赋予余有限拓扑（开集是全集和有限子集的补集）。考虑收敛到固定点 x₀ ∈ X 的网：定向集 D 是所有包含 x₀ 的开集，按反包含关系定向（U ≤ V 当且仅当 U ⊇ V），对每个 U ∈ D，取 f(U) ∈ U \ {x₀}。这个网收敛到 x₀，但同样找不到可数子网收敛到 x₀——因为任何可数子网对应的开集序列的交集会排除掉可数个点，子网的取值可以落在剩下的不可数个点里，无法满足收敛要求。

你的推测完全正确！这个结论成立，证明思路很直观：
假设 x 是拓扑空间中拥有可数局部基的点，我们可以把这个局部基整理成递减嵌套序列 {Bₙ}ₙ=1^∞（即 B₁ ⊇ B₂ ⊇ B₃ ⊇ …，这是第一可数空间的标准操作，因为可数局部基总能通过取有限交集得到嵌套的版本）。

设网 f: D → X 收敛到 x，根据网收敛的定义：

对每个 n ∈ ℕ，存在 dₙ ∈ D，使得当 d ≥ dₙ 时，f(d) ∈ Bₙ。

利用定向集的性质，我们可以构造一个递增的元素序列 {dₙ'} ⊆ D：

• 令 d₁' = d₁；
• 对每个 k > 1，取 dₖ' ∈ D 满足 dₖ' ≥ dₖ 且 dₖ' ≥ dₖ₋₁'（定向集的定义保证这样的元素一定存在）。

现在定义可数子网：定向集取自然数集 ℕ（按大小关系定向），映射 φ(n) = dₙ'，子网就是序列 {f(dₙ')}ₙ=1^∞。

验证这个子网的收敛性：
对任意包含 x 的邻域 U，因为 {Bₙ} 是局部基，存在某个 N ∈ ℕ 使得 B_N ⊆ U。当 n ≥ N 时，dₙ' ≥ d_N，因此 f(dₙ') ∈ B_N ⊆ U，即序列收敛到 x。

同时，这个映射φ满足子网的所有要求：保序（自然数的递增对应 dₙ' 的递增）、最终性（对任意 d ∈ D，存在 n 使得 dₙ ≥ d，而 dₙ' ≥ dₙ ≥ d）。

• 并非所有网都有可数子网，不可数定向集构造的网就是典型反例；
• 在拥有可数局部基的点处，收敛的网一定能找到可数的收敛子网——这也是为什么第一可数空间里只用序列就能验证连续性的核心原因：网的收敛性可以被序列“捕获”。

内容的提问来源于stack exchange，提问作者Keen-ameteur