§10-1 巢狀 cells

ℝ 的完備性保證遞減的非空閉區間列交集非空——這句話搬到 ℝᵖ 的 cell 上還成立嗎？cell 要滿足哪些條件，這個保證才不落空？

為什麼輪到 cell

天花板滲水，抓漏師傅不會把整層樓掀開。他把可疑範圍劃成兩半，看水痕偏向哪邊——濕的那半留下，乾的那半放下；再把留下的那半劃成兩半，如此下去。每一輪範圍減半，帶著證據的那一半永遠跟得住；十幾輪之後，範圍縮到一塊磁磚，源頭再也躲不掉。

這套辦法能收工，暗地裡靠兩件事。其一，每一輪都真的有「帶著證據的那一半」可挑——證據分進兩半，總得落在其中一邊。其二，範圍一路縮下去，最後真的指向一個位置，而不是縮著縮著撲了空。第二件事一點也不理所當然：它正是實數系的 completeness（§6-2 的完備性公理 6.4）——§7-2 的 Nested Cells Property 7.3 由它立下「ℝ 的閉區間套必留公共點」。

抓漏師傅手裡那塊「可疑範圍」，在 ℝᵖ 裡有個正式名字——cell：由每一維各出一段區間圍成的「箱子」，p = 1 是線段、p = 2 是長方形、p = 3 是長方體。本篇的一切都發生在這座舞台上，先把它立成定義。

舞台：cell（10.1）

10.1 DEFINITION

Call J ⊆ ℝᵖ an open cell when each coordinate is confined to its own open interval of ℝ: J = {x = (ξ₁, ⋯, ξₚ) ∈ ℝᵖ : aᵢ < ξᵢ < bᵢ for i = 1, ⋯, p} — a Cartesian product with one open interval per coordinate.
Call I ⊆ ℝᵖ a closed cell when every strict inequality above becomes aᵢ ≤ ξᵢ ≤ bᵢ.
Finally, a subset of ℝᵖ is bounded when it can be enclosed in some cell.

J ⊆ ℝᵖ 為 open cell（開胞／開箱），意思是每一個座標各自被限制在一段 ℝ 的開區間內：aᵢ < ξᵢ < bᵢ，i = 1, ⋯, p；I 為 closed cell（閉胞／閉箱），意思是把上面每個 < 全換成 ≤；ℝᵖ 的子集為 bounded（有界），意思是它裝得進某一個 cell。

正例：ℝ² 裡 J = (0, 1) × (0, 2) 是 open cell——不含邊框的長方形；I = [0, 1] × [0, 2] 是 closed cell——邊框全收。反例：(0, 1) × [0, 2] 收了上下兩條邊、丟了左右兩條——open cell 與 closed cell 兩張名單它都排不進。

這張圖在說 10.1 的兩種箱子差在哪：同一個長方形，差別只在邊框收不收——每一維同時取 <（左，虛線）就是 open cell，每一維同時取 ≤（右，實線）就是 closed cell。混著取的箱子兩個名字都不配。

名字先交代：p = 2 的箱子俗稱 rectangle、p = 3 俗稱 parallelepiped，本讀本不分維度一律統稱 cell。兩件事各用一句話交代。open cell 是 open set：站在箱內任何一點，每一維都留有正的餘裕，取 p 個餘裕中最小的當半徑配球即可（§9-1 例 7 的配球加上 §10-2 例 6 的取 min，同一套動作拼起來）。closed cell 是 closed set：箱外的點至少在某一維越了界，用那一維的越界量配球，整顆球留在補集內（§9-2 例 6 對 closed ball 記的同一種帳）。至於 bounded，「裝得進某個 cell」與「裝得進某顆 ball」是同一件事——箱子塞得進以原點為心的大球，球也塞得進邊長夠大的箱子——因此這個 bounded 與 §6-1 的 6.1 在 p = 1 的用法完全一致。

箱子套箱子必留一點：Nested Cells（10.2）

舞台搭好，第一位主角上場。§7-2 的一維區間套性質（7.3）說：ℝ 裡 non-empty 的閉區間一個套住一個地縮下去，必有公共點。10.2 要把這句話整包搬進 ℝᵖ——搬運的巧思在於：箱子的成員資格本來就是 p 場一維考試，一場一場分開監考就行。

10.2 NESTED CELLS THEOREM

Take a sequence (Iₖ) of closed cells in ℝᵖ, each of them non-empty, nested so that I₁ ⊇ I₂ ⊇ ⋯ ⊇ Iₖ ⊇ ⋯. Then at least one point of ℝᵖ belongs to every cell Iₖ.

設 (Iₖ) 為 ℝᵖ 中一列 non-empty 的 closed cells（閉箱），且一個套住一個：I₁ ⊇ I₂ ⊇ ⋯ ⊇ Iₖ ⊇ ⋯。那麼 ℝᵖ 中至少存在一點，同時屬於每一個 Iₖ。

正例：Iₖ = [0, 1/k] × [0, 1/k] 一路縮小，公共點 (0, 0) 留到最後——箱子的面積縮向 0，點卻縮不掉。反例一：closed 拿掉就垮（下方 trap 的現行犯）。反例二：non-empty 拿掉，從空箱子起套，什麼都留不住——兩個假設各司其職。

開區間套可以什麼都不剩：取 Jₙ = (0, 1/n)——每個都 non-empty、一個套住一個，交集卻是 ∅。因為任何 x > 0 終究被某個 1/n 追過（x = 0.03 在 n = 34 時出局），而 0 從第一個 Jₙ 起就不是成員——每個候選人都有出局的一刻，誰也留不到最後。同一串端點改成閉的，⋂ₙ [0, 1/n] = {0}——差別只在 0 有沒有被收進來。closed 這個字在 10.2 裡一個都省不得。

PROOF

設 (Iₖ) 為 ℝᵖ 中 non-empty 的 closed cells（閉箱），I₁ ⊇ I₂ ⊇ ⋯，以下構造一個屬於所有 Iₖ 的點。

證明計畫 · 由所求想起
要證：存在 y 同時住在每個箱子裡。
⇢ 箱子的成員資格是 p 場一維考試——y 住進所有箱子 ⟺ y 的每個座標通過自己那一維的全部考試。
⇢ 於是問題拆成 p 條一維區間套：第 j 維的影子 [a_kj, b_kj] 自成一套。
⇢ 每條影子套引用一次 §7 的一維區間套性質（7.3），各交出一個座標；p 個座標拼回公共點。

這張圖在證「逐維拆解」這條路為什麼走得通：箱子套箱子（黑框 I₁ ⊇ I₂ ⊇ I₃），投在每一條座標軸上的影子（藍色粗線，越深越裡層）跟著套——每一軸各自是一條 ℝ 的閉區間套，各自交出一個座標 η₁、η₂，拼回公共點 y = (η₁, η₂)（紅點）。

Proof. Write out the k-th box coordinate by coordinate: Iₖ = {(ξ₁, ⋯, ξₚ) : a_k1 ≤ ξ₁ ≤ b_k1, ⋯, a_kp ≤ ξₚ ≤ b_kp}. Fix one direction j and watch the shadows [a_kj, b_kj] that the boxes cast on the j-th axis.

第一步先把第 k 個箱子逐座標寫開：Iₖ 的成員資格就是 p 條「第 j 個座標落在 [a_kj, b_kj] 內」的條件，一維一條。接著固定一個方向 j，只盯箱子投在第 j 軸上的那段區間 [a_kj, b_kj]——「影子」說的就是圖上箱子投在座標軸上的那段粗線。這一步只是攤開符號，還沒有推理發生。具體畫面：p = 2、Iₖ = [0, 1/k] × [−1/k, 1/k]——第 1 維的影子是 [0, 1/k]，第 2 維是 [−1/k, 1/k]。

The shadows inherit the nesting — and non-emptiness is what lets them do it. Since I_k+1 is non-empty, pick some w ∈ I_k+1. Given any number t in the (k+1)-st shadow, replace the j-th coordinate of w by t: the new point still passes every coordinate test of I_k+1, because membership examines each axis separately. Since I_k+1 ⊆ Iₖ, that point lies in Iₖ too, so t belongs to the k-th shadow. Hence the shadows [a_kj, b_kj], k ∈ ℕ, form a nest of non-empty closed intervals of ℝ.

這一步要證的是：影子跟著箱子一起套——第 k+1 個影子整段落在第 k 個影子裡。論證這樣走：因為 I_k+1 非空，先抓一個成員 w；對第 k+1 個影子裡的任何數 t，把 w 的第 j 個座標換成 t，換完的點仍通過 I_k+1 的每一場座標考試——因為箱子的成員資格逐維獨立打分，動第 j 維不驚動其他維。又由於 I_k+1 ⊆ Iₖ，這個點也在 Iₖ 裡，於是 t 屬於第 k 個影子——套住了。non-empty 全場唯一的上工點就在這裡，而且致命：空箱子沒有影子可投，只要有一個 Iₖ 是空集，這條論證立刻走不下去（那時定理的結論也真的會垮——交集裡什麼都不剩）。「換掉一個座標仍是成員」靠的是箱子的乘積結構，一般集合沒有這種好事——在圓盤裡把一個點的座標換掉，可能就掉出圓盤外；cell 這個舞台的價值正在此處。

Because ℝ is complete — the one-dimensional nested-interval property of Section 7 — this chain of shadows leaves a common number ηⱼ with a_kj ≤ ηⱼ ≤ b_kj for every k. Nothing in the argument favoured the direction j, so running it once per coordinate yields p numbers η₁, ⋯, ηₚ.

上一步剛驗完：第 j 維的影子是 ℝ 中一列 non-empty、closed、一個套住一個的區間——這正是 §7-2 一維區間套性質 7.3（ℝ 的閉區間套必留公共點）開出的引用條件，於是這條影子套交出一個留在每段影子裡的數 ηⱼ。又因為整段論證沒有偏袒任何方向，p 個方向各跑一遍、各引用一次 completeness，共得 p 個座標 η₁, ⋯, ηₚ。具體：Iₖ = [0, 1/k] × [−1/k, 1/k]——第 1 維的影子套 [0, 1/k] 交出 η₁ = 0，第 2 維的 [−1/k, 1/k] 交出 η₂ = 0。

Assemble y = (η₁, ⋯, ηₚ). For each k, membership in the box Iₖ amounts to exactly p conditions — the j-th coordinate must sit inside the j-th shadow — and every coordinate of y satisfies its condition by construction. Therefore y ∈ Iₖ for all k: the cells share a common point.

最後把 p 個座標拼成 y = (η₁, ⋯, ηₚ)，驗收它住在每個箱子裡。因為 Iₖ 的成員資格恰好就是那 p 場一維考試——第 j 個座標落在第 j 條影子內——而 ηⱼ 正是按「留在第 j 條影子的每一段裡」造出來的，所以 y 逐維過關等於整體過關：y ∈ Iₖ 對每個 k 成立。沒有第 p + 1 個條件躲在暗處。

p 條影子套各自交出一個座標，拼回的 y 住進每一個箱子——ℝᵖ 的閉箱套必留公共點。∎

—— 第一階段到此結束 ——

ℝᵖ 的箱子——cell——立成了正式舞台，而 Nested Cells 定理（10.2）把「閉箱套必留公共點」整包從 ℝ 搬了上來，搬運的全部本錢是箱子逐維獨立的乘積結構。下一篇 §10-2 換一個問題：一個「不管圈多小都撈得到別人」的位置該怎麼正式定義——cluster point 登場。先起身倒杯水、活動一下手腕再回來。