鄰域

開球給你一個以選定半徑為中心的特定區域。在實際操作中，你往往不在意確切的半徑——你只需要某個區域存在就夠了。**鄰域（neighbourhood）**正是捕捉這種更弱、更靈活概念的工具。

定義

設 $(X, d)$ 是一個度量空間，$x \in X$。若集合 $N \subseteq X$ 滿足存在某個 $r > 0$ 使得

$$B(x, r) \subseteq N，$$

則稱 $N$ 是 $x$ 的一個鄰域。

換句話說：只要你能將一個以 $x$ 為中心的開球完整放入 $N$ 中，$N$ 就是 $x$ 的鄰域。$N$ 可以更大、形狀不規則，甚至等於 $X$——它只需包含 $x$ 周圍至少一個開球即可。

在 $\mathbb{R}$ 中的例子

• $(-1, 1)$ 是 $0$ 的鄰域，因為 $B(0, 0.5) = (-0.5, 0.5) \subseteq (-1, 1)$。
• $[-1, 1]$ 是 $0$ 的鄰域（理由相同——閉區間包含該開球）。
• $[-1, 1]$ 不是 $1$ 的鄰域，因為任何 $B(1, r)$ 都包含大於 $1$ 的點，而這些點不在 $[-1, 1]$ 中。
• $\{0\}$ 不是 $0$ 的鄰域，因為沒有任何正半徑的開球能放入一個單點之中。

開球是其中心的鄰域

每個開球 $B(x, r)$ 都是 $x$ 的鄰域：取 $s = r$，就有 $B(x, r) \subseteq B(x, r)$，定義立即滿足。從這個意義上說，開球是最簡單的鄰域——$x$ 的每個鄰域都必須包含一個開球，而每個以 $x$ 為中心的開球本身就是一個鄰域。

鄰域與開集

鄰域提供了一種以點為中心描述開集的簡潔方式：

集合 $U \subseteq X$ 是開集，若且唯若它是其每個點的鄰域。

這個等價關係有時被直接作為開集的定義。它說明鄰域不只是簡便說法——它捕捉了開放性的本質。

為何用鄰域而非開球？

在撰寫證明時，明確給出半徑往往是不必要的，還會讓論述顯得繁瑣。鄰域讓你說「設 $N$ 是 $x$ 的一個鄰域」，然後對接近性的存在性進行推理，而無需固定一個數值。這一點在定義極限時尤其有用，因為鄰域形式往往比 $\varepsilon$-$\delta$ 形式更簡潔。

作為具體說明：以下兩種表述說的是同一件事，但第二種在抽象論證中往往更易處理。

$\varepsilon$ 形式。 對每個 $\varepsilon > 0$，存在 $N$ 使得 $n \geq N \implies d(x_n, L) < \varepsilon$。

鄰域形式。 $(x_n)$ 的每個鄰域都包含數列的除有限項以外的所有項。

摘要

• $x$ 的鄰域是任何包含某個開球 $B(x, r)$（$r > 0$）的集合 $N$。
• 每個以 $x$ 為中心的開球都是 $x$ 的鄰域。
• 一個集合是開集，若且唯若它是其每個點的鄰域。
• 鄰域提供了描述接近性的彈性、無需指定半徑的語言——在確切半徑無關緊要時尤為有用。