1950 — Goldstine 定理：單位球在弱*世界的幽靈稠密#

案件檔案表#

案發現場#

1927-30 年代，Hahn–Banach 為對偶理論鑄刀之後，自然嵌 \(J: X \to X^{**}\) （ \(J(x)(x^*) = \langle x^*, x\rangle\) ，保範）成為焦點：** \(X\) 與 \(X^{**}\) 差多遠？** Banach 本人（1932）已問過「自反」的問題，但真正的偵查工具要等弱*拓樸的成熟：

• **弱拓樸 \(\sigma(X, X^*)\) **： \(x_n \to x\) 若 \(\langle x^*, x_n\rangle \to \langle x^*, x\rangle\) 對每個 \(x^* \in X^*\) 。
• **弱*拓樸 \(\sigma(X^{**}, X^*)\) **： \(X^{**}\) 上用 \(X^*\) 的坐標看收斂。

疑點有三：

1. 幽靈的存在： \(B_{X^{**}} \setminus J(B_X)\) 是否總是非空？若非空，這些「幽靈泛函」長什麼樣？
2. 稠密的悖論： \(J(B_X)\) 明明可能真缺一半（如 \(c_0 \subsetneq \ell^\infty\) ），卻在弱*拓樸下稠密於 \(B_{X^{**}}\) ？稠密卻不閉，這在無窮維是常態，但需要嚴格證明。
3. 自反性的判據：1938 年 James 開始的研究（前史）顯示自反性可用「範數達到」刻畫；Goldstine 定理正是把 \(J(B_X)\) 之閉性轉成自反性判據的關鍵樞紐。

偵查過程#

第一步：Banach–Alaoglu 先建立「牢籠」#

Banach–Alaoglu 定理： \(X^*\) 的閉單位球 \(B_{X^*}\) 在弱*拓樸 \(\sigma(X^*, X)\) 下緊。證明用 Tychonoff： \(B_{X^*}\) 嵌入乘積空間 \(\prod_{x \in X} \{z : |z| \le \|x\|\}\) 為閉集。套兩次（ \(X \to X^{*} \to X^{**}\) ）可知 \(B_{X^{**}}\) 在 \(\sigma(X^{**}, X^*)\) 下緊。牢籠有了，現在查牢籠裡的子集 \(J(B_X)\) 。

第二步：Goldstine 定理的陳述與證明骨架#

定理（Goldstine, 1938）：

證明是局部凸拓樸的雙極定理應用（即 Banach 空間版的雙極理論，今稱 bipolare theorem）。骨架：

1. 設 \(C = J(B_X)\) ，其極集 \(C^\circ = \{\phi \in X^* : |\phi(J(x))| \le 1,\ x \in B_X\} = B_{X^*}\) （因 \(\|J(x)\| = \|x\|\) ）。
2. 再取極： \((C^\circ)^\circ = B_{X^*}^\circ = B_{X^{**}}\) 。
3. 雙極定理（依賴局部凸空間上的分離定理，即 1936 年 Mazur 幾何形式）： \(\overline{C}^{\,\sigma(X^{**},X^*)} = (C^\circ)^\circ\) 。
4. 三式合併即得。

偵查的訣竅：稠密性不必逐點逼近構造，用極集的對偶代數一擊斃命。這正是分離定理（Mazur 1936）的第二次出擊。

第三步：弱收斂版與對照表#

第四步：自反性判據——閉性之謎的解答#

謎題：何時 \(J(B_X) = B_{X^{**}}\) （即 \(X\) 自反）？

推理鏈：若 \(X\) 自反， \(J(B_X) = B_{X^{**}}\) 當然閉且弱*緊。反向：

1. Goldstine： \(J(B_X)\) 弱*稠密於 \(B_{X^{**}}\) 。
2. 若 \(J(B_X)\) 也**弱閉*，則 \(J(B_X) = B_{X^{**}}\) 。
3. 弱閉的 \(B_{X^{**}}\) 中之稠密子集即全體：故 \(X\) 自反 \(\iff\) \(J(B_X)\) 在 \(X^{**}\) 中弱閉 \(\iff\) \(B_X\) 弱緊（Kakutani 判據）。

James 前史（1938-1957）：James 首先研究「範數達到」：若每個 \(x^* \in X^*\) 都在 \(B_X\) 上達到範數 \(\|x^*\|\) ， \(X\) 是否自反？他用 Goldstine 型的弱*逼近論證出非自反反例的雛形，最終於 1957 發表反例（非自反卻範數達到的空間）——顯示「閉性」與「達到範數」並不完全等價，歷經近三十年才全案終審（James 定理 1964： \(X\) 自反 \(\iff\) 每個 \(x^* \in X^*\) 在 \(B_X\) 上達到範數）。1950 年的年表位置，正是這條長線偵查的中繼站。

第五步：現場示範—— \(c_0\) 的幽靈#

取 \(X = c_0\) （收斂於 0 的數列）， \(X^* = \ell^1\) ， \(X^{**} = \ell^\infty\) 。 \(J(B_{c_0})\) 是「極限為 0 且 \(\|x\|_\infty \le 1\) 」的數列；幽靈 \(\mathbf{1} = (1, 1, 1, \dots) \in \ell^\infty\) 滿足 \(\|\mathbf{1}\|_\infty = 1\) 但不在 \(J(B_{c_0})\) 。然而對任何 \((a_n) \in \ell^1\) ，

其中 \(x^{(N)} = (\underbrace{1,\dots,1}_{N}, 0, 0, \dots) \in B_{c_0}\) 。幽靈被有限段落的單位向量在弱*意義下完美偽裝——Goldstine 稠密性的活體標本。

結案報告#

判決：Goldstine 定理成立： \(J(B_X)\) 在 \(B_{X^{**}}\) 中弱稠密。稠密不等於閉；「補上閉性」恰好等價於自反性。自反性判據就此法典化： \(X\) 自反 \(\iff\) \(B_X\) 弱緊 \(\iff\) \(J(B_X)\) 弱閉。

遺產：

1. 雙極理論與局部凸拓樸：Goldstine 證明是 bipolare theorem 的招牌應用，開啟 Grothendieck 之前拓樸向量空間的方法論（1958 案的先聲）。
2. James 定理（1964）：自反性與範數達到的等價，是 20 世紀巴拿赫空間幾何的里程碑；前史自 1938 鋪起。
3. 逼近與極值理論：弱*稠密性是「非自反空間中仍可逼近極值」的原理，支撐 Chebyshev 逼近、對偶最優化中的 \(\epsilon\) -最優解。
4. 教學樞紐：Banach–Alaoglu、Goldstine、Kakutani 三定理構成「弱拓樸三件套」，是現代泛函分析課程的必修判例。

證據與工具#

範例： \(X = c_0\) 中取幽靈 \(\mathbf{1}\) 與泛函 \((2^{-n}) \in \ell^1\) ： \(\langle \mathbf{1}, (2^{-n})\rangle = 1\) ，而逼近列 \(x^{(N)}\) 給出 \(\sum_{n \le N} 2^{-n} \to 1\) ——坐標完全跟蹤，範數卻永遠差 0（其實 \(x^{(N)} \to \mathbf{1}\) 僅弱）。這說明弱拓樸「看得見坐標、看不見範數」，也解釋為何弱*極限可以逃出 \(J(B_X)\) ：幽靈不是不存在，只是範數拓樸看不見它。

一句話結案：單位球在二重對偶的世界裡無所不在，卻只有在自反的空間裡才「到此為止」。