凸性真正要求的是什麼
你在基礎課程中已遇過凸集，但這裡我們把它當成一個結構性質來使用，而不只是一張圖。R^n 中的集合 C 稱為凸的，若對任意一對點 x, y 屬於 C，整段線段 {(1 - t)x + t y : 0 <= t <= 1} 都落在 C 內。這條單一的條件出奇地剛硬：它一口氣禁止了凹陷、孔洞與夾縮。圓盤、平板、半空間、單點以至整個 R^n 都是凸的；環狀區域或星形則不是。
兩個形容詞對於深刻的定理至關重要。一個凸集若是緊緻的（在 R^n 中為有界閉集）且內部非空，就稱為凸體——是一團實心的塊狀物，而非低維的薄片。凸體正是本梯級後續主角的自然舞台：Brunn-Minkowski、混合體積、格點。凸性在你關心的運算下也很穩定：任意多個凸集的交仍是凸的（每一條約束再切掉一片），而仿射映射下的像也是凸的。
凸包與 Caratheodory 的節約
給定任意集合 S，包含它的最小凸集就是它的凸包 conv(S)——亦即所有吞下 S 的凸集之交，等價地說，是所有有限凸組合 sum t_i x_i（其中 t_i >= 0、sum t_i = 1、x_i 屬於 S）構成的集合。想像把一條橡皮筋繞在一堆釘子外圍：它會卡在最外側的釘子上，而內部的釘子變得無關緊要。三個不共線點的凸包是一個實心三角形；格點集 {0,1}^n 的凸包則是單位立方體。
在那些組合中，你究竟需要幾個點？在 R^n 中，絕不會超過 n + 1 個。這就是 Caratheodory 定理：conv(S) 中的每個點都是 S 中至多 n + 1 個點的凸組合。平面至多需要三個（多邊形內部的一點必落在其某個頂點三角形之內）；三維空間至多需要四個。界 n + 1 恰好是一個單純形的頂點數——這是一個維數計數的事實，並非偶然，它使凸包成為可計算的對象，而非無限糾纏的一團。
支撐超平面與分離超平面
現在把一塊平板從外側貼住凸體。凸體 K 在邊界點 p 處的支撐超平面，是一個通過 p 的超平面 H，使得 K 完整地落在由 H 所界定的某一個閉半空間之內。其關鍵事實——可藉由投影到 K 上的最近點來證明——是凸體的每一個邊界點都至少有一個支撐超平面。在光滑點處該超平面唯一（即切平面）；在立方體的角點處，則有一整把扇形的選擇都成立，這正是凸性如何容納稜與頂點的方式。
把同一個想法塞到兩個凸體之間，你便得到分離超平面定理：兩個不相交的凸集可以被一個超平面分離，每個凸集各自落在一個閉半空間中。若其中一個是緊緻的、另一個是閉的，你甚至可以用一條正寬度的平板把它們嚴格分開。這是對偶性在它所有出現之處的幾何核心——泛函分析中的 Hahn-Banach 定理、線性規劃中的 Farkas 引理、經濟學中存在使市場出清的價格，全都是同一張圖換上不同的衣裳。
supporting at p: <a, x> <= <a, p> for all x in K, a != 0 separating A | B: <a, x> <= c <= <a, y> for all x in A, y in B
極點與 Krein-Milman 定理
稱凸集 K 的一個點 e 為極點，若它不是 K 中任何線段的中點——更確切地說，不是任何線段的內部點：你無法把它寫成 e = (1 - t)x + t y，其中 0 < t < 1 且 x, y 屬於 K 並異於 e。極點就是角點：正方形的每個頂點、圓周上的每一點。正方形的平邊不是極點，因為其上的點會分裂為兩側的鄰居。一個多胞形只有有限多個極點，即它的頂點；而圓盤則有無窮多個。
Krein-Milman 定理是那令人驚嘆的逆命題：緊緻凸集是它極點的凸包。光憑角點便能重生出整個凸體。在 R^n 中這是具體的——多胞形等於 conv(它的頂點)，你可以把稜和面全都丟掉。完整的定理活在局部凸拓撲向量空間中，在那裡「極點究竟存不存在」本身就是內容所在，而你所重建出的是凸包的閉包。陳述其假設，切莫只記口號：緊緻與凸兩者都是承重的——去掉緊緻性，一個開圓盤便完全沒有任何極點。
為何本梯級倚靠這三者
這些工具是本梯級後續一切的鷹架。下一篇逐面研究多胞形——而一個面恰恰就是 K 與某支撐超平面的交，頂點則正是 Krein-Milman 交到你手上的極點。Brunn-Minkowski 與混合體積（第三篇）度量凸體，其證明以超平面切割凸體。Minkowski 格點定理（第四篇）在對稱凸體內部獵捕格點。而 Helly、Radon 與 Caratheodory（第五篇）構成的組合三人組，你剛剛已經見過其中一員。
讓我們把最乾淨的一個論證走過一遍，以顯示這些零件是彼此咬合、而非僅僅並存。以下說明為何線性泛函在緊緻凸集上的最大值會在某極點處達到——這正是 Krein-Milman 與最佳化之間的橋樑。
- K 緊緻且 <a, .> 連續，故最大值 c 可達到；令 F = {x 屬於 K : <a, x> = c} 為達到該值的面。
- F 本身為緊緻凸集（它是 K 與某支撐超平面的交），故由 Krein-Milman，F 擁有一個極點 e。
- 驗證 e 在整個 K 中亦為極點：若 e 是 K 中某線段的內部點，將 <a, .> 作用其上會迫使兩個端點也達到最大值 c，從而把該線段塞進 F 內——與 e 在 F 中為極點相矛盾。
- 因此 <a, .> 在 K 上的最大值是在 K 的一個真正極點處達到，你永遠不必檢視內部或平坦的面。