【流形学习多模态分析语言变量基础】王阳明代数讲义之凸集基本几何性质

- 和悦空间的王阳明代数和晏殊几何学
- 闵可夫斯基与凸集基本几何性质
- 第一部分：闵可夫斯基核心逻辑链总结
- 第二部分：凸集的基本几何性质
- - 凸集的定义
  - 凸集的核心性质
  - 凸集的分离定理------Minkowski推理的巅峰
  - - 支撑超平面定理
    - 凸集分离定理
  - [凸体（Convex Body）](#凸体（Convex Body）)
  - Minkowski泛函（度规函数）
  - Minkowski格点定理------凸几何的数论闪电
  - 凸集基本几何性质总汇表
- 友情提示，划重点
- [附录云藏山鹰代数信息系统（YUDST Algebra Information System）](#附录云藏山鹰代数信息系统（YUDST Algebra Information System）)
- 进阶阅读

和悦空间的王阳明代数和晏殊几何学

和悦空间是情感分析中的核心概念，它提供了描述意气实体过程的数学框架。王阳明代数和晏殊几何学是和悦空间中的重要结构，它们在情感分析、社会关系力学、气质砥砺学，人生意气场和社群成员魅力场中有着广泛的应用。本文将基于琴语言介绍王阳明代数中基于王阳明心学理论的情感分析的当代数学工具--凸集基本几何性质。

提示词生成故事版套件信息图抽取=主体（明代思想家王阳明少年形象（束发戴黑漆纱帽，帽檐镶玉，着青布儒服，衣摆绣暗纹云纹，手持《大学》手抄本，书页微卷，眼神如炬望向远方）、父亲王华（成化二年状元，着绯红官服，补子绣仙鹤，手持象牙笏板，立于朝堂之上）、祖母（传统妇人装束，发髻插银簪，着月白襦裙，手持佛珠，面带慈祥）、启蒙师友（文人雅士，或执卷讲解时指尖点书，或对弈时执黑棋子，或品茗时捧青花瓷盏））+场景（余姚瑞云楼书房（内有紫檀雕花书架，架上摆满线装书，案头置青瓷笔洗、端砚，墙上挂'瑞云呈祥'烫金匾额，窗外竹影婆娑，案角置铜香炉，青烟袅袅）、北京行程地图（朱砂红路线标注余姚---扬州---徐州---济南---大名府---北京，山川用淡墨分层晕染，城池以简笔勾勒出城门、城墙，河流用细线勾勒，标注'1472---1488年'时间轴，右下角有'重要停留点'图例）、金山寺（临长江而建，飞檐翘角如展翅欲飞，寺前立石碑，刻'金山一点大如拳，打破维扬水底天'诗句，远处江天一色，寺内钟声隐约，有僧人扫地）、家族宅邸（青砖黛瓦，庭院有竹石假山，假山间有小溪流，墙上挂'诗书传家'匾额，匾额下有对联'家学渊源承祖训，诗书礼乐继宗风'）+风格（仿宋画院体工笔重彩，人物面部用细笔勾勒出皱纹与神态，衣纹用铁线描流畅自然，背景山水用青绿设色分层，整体色调偏暖黄，带有古旧羊皮纸的斑驳纹理与毛边效果，画面边缘有做旧的焦痕）+镜头语言（主视觉为王阳明少年正面肖像，占据画面左上1/3，目光如炬，书卷半展，背景虚化突出人物；下方分五栏展示'瑞云送子'（祖母梦瑞云送子，婴儿怀中抱书）、'五岁始言'（五岁王阳明开口说话，手指书卷）、'随父入京'（十一岁随父王华赴京，马车行于山路，随从挑担）、'金山题诗'（少年立于石碑前，挥毫题诗，周围有文人围观）、'少年立志'（少年坐于书房，手持《大学》，案头摆'读书第一等事，当做圣贤'字条），每栏配手写体注释，场景用小框呈现，细节放大如题诗石碑上的诗句；右侧竖排展示基本资料（姓名、字号、生年、籍贯、家世、学风、特点）与行程地图，地图路线用朱砂红突出，标注'余姚（瑞云楼）---扬州---徐州---济南---大名府---北京（京师）'；底部横排本段小结（'此为阳明先生人生的启蒙与立志之期...'）与名言金句（'读书立身，以圣贤为期；胸怀天下，以百姓为念'），文字用楷书书写，背景为淡雅山水，文字边缘有做旧效果）+氛围词（文脉厚重、少年壮志、古朴典雅、历史纵深感、书香氤氲）+细节修饰（瑞云楼匾额用烫金字体，书房内'家学渊源'牌匾刻有'诗书礼法'四字，人物服饰暗纹为云纹与回纹，地图山川用淡墨晕染出层次感，注释文字用蝇头小楷，边缘有毛边做旧效果，整体画面带有'少年立志期'主题印章（朱文，位于左下角，印文为'王阳明少年立志'），画面右下角有'1472---1488年'时间戳，左上角有'王阳明一生完整经历图·第一段'标题，字体为隶书，颜色为深褐）

闵可夫斯基与凸集基本几何性质

第一部分：闵可夫斯基核心逻辑链总结

赫尔曼·闵可夫斯基（Hermann Minkowski, 1864--1909） ，数论家、几何学家，爱因斯坦的老师。他在1896年出版的《数的几何学》（Geometrie der Zahlen ）中，将凸集从直观图形提升为可运算的代数对象。他的推理方式可归纳为四条逻辑链：

逻辑链一：从"连线在内部"到"凸组合封闭"------定义的代数化

闵可夫斯基的推理起点是纯粹几何直觉：

若集合中任意两点的连线仍在集合内，则该集合为凸集。

∀ x 1 , x 2 ∈ C , ∀ t ∈ $0 , 1$ : t x 1 + ( 1 − t ) x 2 ∈ C \forall\, x_1, x_2 \in C,\;\forall\, t \in $0,1$ :\quad t x_1 + (1-t)x_2 \in C ∀x1,x2∈C,∀t∈ $0,1$ :tx1+(1−t)x2∈C

但闵可夫斯基的关键一步不是停留于此，而是追问封闭性对运算的影响：

运算	凸集是否封闭	Minkowski的推理依据
任意交集	✅ 是	由定义直接推出：若每个 C i C_i Ci 含线段，则交集也含
Minkowski和 A + B = { a + b ∣ a ∈ A , b ∈ B } A+B=\{a+b\mid a\in A,b\in B\} A+B={a+b∣a∈A,b∈B}	✅ 是	若 x = a 1 + b 1 , y = a 2 + b 2 x=a_1+b_1, y=a_2+b_2 x=a1+b1,y=a2+b2，则 t x + ( 1 − t ) y = t ( a 1 + b 1 ) + ( 1 − t ) ( a 2 + b 2 ) = $t a 1 + ( 1 - t ) a 2$ + $t b 1 + ( 1 - t ) b 2$ ∈ A + B tx+(1-t)y = t(a_1+b_1)+(1-t)(a_2+b_2) = $ta_1+(1-t)a_2$ + $tb_1+(1-t)b_2$ \in A+B tx+(1−t)y=t(a1+b1)+(1−t)(a2+b2)= $ta1+(1-t)a2$ + $tb1+(1-t)b2$ ∈A+B
非负标量乘法 α C \alpha C αC（ α ≥ 0 \alpha\geq 0 α≥0）	✅ 是	t ( α x ) = α ( t x ) t(\alpha x) = \alpha(tx) t(αx)=α(tx)，凸组合性质保持
并集	❌ 否	反例：两个分离圆盘，连线穿越空隙

闵可夫斯基范式 ：他不满足于"什么是凸集"，而是追问"凸集在什么运算下封闭"。这直接催生了Minkowski加法------用两个凸集构造更复杂凸集的基本工具。

逻辑链二：从"边界行为"到"支撑超平面"------分离定理的诞生

闵可夫斯基的第二条推理线更加深刻。他观察到：

凸集的边界永远是"向外凸"的，因此在每一边界点上，总能找到一个超平面把集合"托住"。

这就是支撑超平面定理：

∀ x 0 ∈ ∂ C ( 边界点 ) , ∃ w ≠ 0 , b ∈ R : w T x 0 = b , w T x ≤ b ∀ x ∈ C \forall\, x_0 \in \partial C\ (\text{边界点}),\;\exists\, w \neq 0,\ b \in \mathbb{R}:\quad w^T x_0 = b,\quad w^T x \leq b\ \forall x \in C ∀x0∈∂C (边界点),∃w=0, b∈R:wTx0=b,wTx≤b ∀x∈C

闵可夫斯基的推理路径：

凸集无"凹陷" → 边界点处存在"最陡方向"
最陡方向定义了法向量 w w w
该法向量决定的超平面 w T x = b w^T x = b wTx=b 使得整个集合落在一侧

这条推理直接通向了凸集分离定理：两个不相交的非空闭凸集，必可被超平面严格分开。

闵可夫斯基范式：从局部几何（边界点的切平面）推出全局结论（任意两个凸集可分离）。这是哈恩-巴拿赫定理在有限维的几何原型。

逻辑链三：从"点集"到"函数"------闵可夫斯基泛函的构造

这是闵可夫斯基最具创造力的一步。他问了一个反直觉的问题：

能不能用一个函数来"度量"一个凸集？

答案是闵可夫斯基泛函（度规函数） 。设 C C C 是以原点为内点的凸集，定义：

p C ( x ) = inf ⁡ { α > 0 ∣ x ∈ α C } p_C(x) = \inf\{\alpha > 0 \mid x \in \alpha C\} pC(x)=inf{α>0∣x∈αC}

性质	内容
非负性	p C ( x ) ≥ 0 p_C(x) \geq 0 pC(x)≥0
次线性	p C ( x + y ) ≤ p C ( x ) + p C ( y ) p_C(x+y) \leq p_C(x) + p_C(y) pC(x+y)≤pC(x)+pC(y)， p C ( λ x ) = λ p C ( x ) p_C(\lambda x) = \lambda p_C(x) pC(λx)=λpC(x)（ λ ≥ 0 \lambda \geq 0 λ≥0）
凸性	p C p_C pC 本身是凸函数
双向对应	C = { x ∣ p C ( x ) ≤ 1 } C = \{x \mid p_C(x) \leq 1\} C={x∣pC(x)≤1}，从函数可还原集合

闵可夫斯基范式 ：他建立了凸集 ↔ 凸函数的一一对应。集合的几何性质（对称性、有界性）转化为函数的代数性质（偶性、正齐次性）。这一思想后来被Rockafellar系统化，成为现代凸分析的基石。

逻辑链四：从"面积"到"整点"------闵可夫斯基格点定理

闵可夫斯基将凸集理论推向数论，得到了他最著名的定理：

任何包含原点、面积大于4、具有凸性且关于原点对称的闭区域，必然包含除原点外的整点。

证明的推理链（经典的"中点法"）：

步骤	操作	依据
1	将区域 K K K 缩小为 K / 2 K/2 K/2（位似变换，面积变为 > 1 >1 >1）	面积缩放性质
2	将 K / 2 K/2 K/2 按单位网格平移到 $0 , 1$ 2 $0,1$ ^2 $0,1$ 2 内	平移不变性
3	面积 > 1 >1 >1 而单位正方形面积 = 1 =1 =1 → 必有两点平移后重合	面积重叠原理（抽屉原理）
4	两点差为整数向量 ( k , b ) ∈ Z 2 (k,b) \in \mathbb{Z}^2 (k,b)∈Z2	平移构造
5	由对称性，两点的中点 ( k , b ) 2 ∈ K / 2 \frac{(k,b)}{2} \in K/2 2(k,b)∈K/2 → 位似放大得 ( k , b ) ∈ K (k,b) \in K (k,b)∈K	凸性（中点在集内）+ 对称性
6	( k , b ) ≠ ( 0 , 0 ) (k,b) \neq (0,0) (k,b)=(0,0)（否则两点重合，与面积 > 1 >1 >1矛盾）	反证法

Minkowski范式：他用凸性+对称性+面积这三个几何条件，强行"挤"出一个整点。这是几何与数论的第一次深度联姻。

闵可夫斯基方法论总表

特征	具体表现
几何驱动，代数落地	从凸集的形状出发，用凸组合、Minkowski和等代数运算使其可计算
集合↔函数对偶	通过Minkowski泛函，将凸集问题转化为凸函数问题
局部→全局	从边界点的支撑超平面，推出任意两凸集可分离
维数洞察	Carathéodory定理（ n + 1 n+1 n+1点表示）是Minkowski几何的精确化
跨界打击	用凸几何解决数论问题（格点定理），用几何构造解决优化问题（Minkowski和）

第二部分：凸集的基本几何性质

凸集的定义

定义：集合 C ⊆ R n C \subseteq \mathbb{R}^n C⊆Rn 为凸集，当且仅当

∀ x 1 , x 2 ∈ C , ∀ t ∈ $0 , 1$ : t x 1 + ( 1 − t ) x 2 ∈ C \forall\, x_1, x_2 \in C,\;\forall\, t \in $0,1$ :\quad t x_1 + (1-t)x_2 \in C ∀x1,x2∈C,∀t∈ $0,1$ :tx1+(1−t)x2∈C

等价地： C C C 中任意两点的连线段完全包含在 C C C 内。

直观理解：凸集是一个没有"凹陷"的集合------你在集合内任意两点间拉一根弦，弦上的每个点都还在集合里。

是凸集	不是凸集
圆盘、球体、立方体	月牙形、环形
半空间 { x ∣ a T x ≤ b } \{x \mid a^T x \leq b\} {x∣aTx≤b}	两个分离圆盘的并集
多面体 { x ∣ A x ≤ b } \{x \mid Ax \leq b\} {x∣Ax≤b}	星形（非凸）

凸集的核心性质

性质一：交集封闭

任意凸集族的交集仍为凸集。

证明：设 { C i } i ∈ I \{C_i\}_{i\in I} {Ci}i∈I 为凸集族， x , y ∈ ⋂ i C i x,y \in \bigcap_i C_i x,y∈⋂iCi。则对每个 i i i， x , y ∈ C i x,y \in C_i x,y∈Ci，由凸性 t x + ( 1 − t ) y ∈ C i tx+(1-t)y \in C_i tx+(1−t)y∈Ci。故 t x + ( 1 − t ) y ∈ ⋂ i C i tx+(1-t)y \in \bigcap_i C_i tx+(1−t)y∈⋂iCi。∎

这一性质极为关键：它意味着凸集族形成一个完备格，任意多个凸集的交仍是凸集。

性质二：Minkowski和封闭

若 A , B A, B A,B 为凸集，则 A + B = { a + b ∣ a ∈ A , b ∈ B } A + B = \{a+b \mid a\in A, b\in B\} A+B={a+b∣a∈A,b∈B} 仍为凸集。

证明：取 x = a 1 + b 1 , y = a 2 + b 2 ∈ A + B x = a_1+b_1, y = a_2+b_2 \in A+B x=a1+b1,y=a2+b2∈A+B，则

t x + ( 1 − t ) y = t ( a 1 + b 1 ) + ( 1 − t ) ( a 2 + b 2 ) = $t a 1 + ( 1 - t ) a 2$ + $t b 1 + ( 1 - t ) b 2$ tx + (1-t)y = t(a_1+b_1) + (1-t)(a_2+b_2) = $ta_1+(1-t)a_2$ + $tb_1+(1-t)b_2$ tx+(1−t)y=t(a1+b1)+(1−t)(a2+b2)= $ta1+(1-t)a2$ + $tb1+(1-t)b2$

由 A , B A,B A,B 的凸性，方括号内分别属于 A , B A,B A,B，故 t x + ( 1 − t ) y ∈ A + B tx+(1-t)y \in A+B tx+(1−t)y∈A+B。∎

几何意义：Minkowski和相当于将一个凸集沿另一个凸集"滑动扫过"所形成的区域。两个凸包的Minkowski和的凸包，等于各自凸包的边按极角重新排序后构成的新凸包。

性质三：凸包与Carathéodory定理

集合 S S S 的凸包 conv ( S ) \text{conv}(S) conv(S) 是包含 S S S 的最小凸集，等于 S S S 中元素的所有凸组合。

Carathéodory定理（Minkowski几何的精确化） ：若 S ⊆ R n S \subseteq \mathbb{R}^n S⊆Rn，则 conv ( S ) \text{conv}(S) conv(S) 中任一点可表示为 S S S 中至多 n + 1 n+1 n+1 个点的凸组合。

维数 n n n	最多需要的点数
n = 1 n=1 n=1（直线）	2个点（线段端点）
n = 2 n=2 n=2（平面）	3个点（三角形顶点）
n = 3 n=3 n=3（空间）	4个点（四面体顶点）
n n n 维	n + 1 n+1 n+1 个点

性质四：闭包保持凸性

凸集的闭包 C ‾ \overline{C} C 仍为凸集。

证明：设 x n , y n ∈ C x_n, y_n \in C xn,yn∈C 且 x n → x , y n → y x_n \to x, y_n \to y xn→x,yn→y。由凸性 t x n + ( 1 − t ) y n ∈ C tx_n + (1-t)y_n \in C txn+(1−t)yn∈C，取极限得 t x + ( 1 − t ) y ∈ C ‾ tx+(1-t)y \in \overline{C} tx+(1−t)y∈C。∎

性质五：内部为凸集

凸集 C C C 的内部 C ∘ C^\circ C∘ 仍为凸集。

证明：设 x 1 , x 2 ∈ C ∘ x_1, x_2 \in C^\circ x1,x2∈C∘，则存在邻域 U 1 , U 2 ⊆ C U_1, U_2 \subseteq C U1,U2⊆C。对任意 t ∈ $0 , 1$ t\in $0,1$ t∈ $0,1$ ， t x 1 + ( 1 − t ) x 2 tx_1+(1-t)x_2 tx1+(1−t)x2 落在 C C C 内，且由于 x 1 , x 2 x_1,x_2 x1,x2 是内点，该点也是内点。∎

性质六：相对内部非空（有限维）

若 C ⊆ R n C \subseteq \mathbb{R}^n C⊆Rn 为非空凸集，则 C C C 的相对内部 ri ( C ) \text{ri}(C) ri(C) 非空。

这是凸集拓扑性质的核心结论，保证了凸集在其仿射包内"充满"了内部。

凸集的分离定理------Minkowski推理的巅峰

支撑超平面定理

若非空凸集 C C C 在边界点 x 0 x_0 x0 处有支撑超平面，则存在 w ≠ 0 w \neq 0 w=0 使得 w T x ≤ w T x 0 w^T x \leq w^T x_0 wTx≤wTx0 对所有 x ∈ C x \in C x∈C 成立。

这是Minkowski从"边界向外凸"这一几何直觉推出的核心结论。

凸集分离定理

若 C , D ⊆ R n C, D \subseteq \mathbb{R}^n C,D⊆Rn 为不相交的非空闭凸集，则存在超平面 H = { x ∣ w T x = b } H = \{x \mid w^T x = b\} H={x∣wTx=b} 使得

w T x ≤ b ∀ x ∈ C , w T y ≥ b ∀ y ∈ D w^T x \leq b\quad \forall x \in C,\qquad w^T y \geq b\quad \forall y \in D wTx≤b∀x∈C,wTy≥b∀y∈D

证明思路 ：考虑 C − D = { x − y ∣ x ∈ C , y ∈ D } C - D = \{x-y \mid x\in C, y\in D\} C−D={x−y∣x∈C,y∈D}，这是凸集（Minkowski和的推论）。由于 C ∩ D = ∅ C \cap D = \emptyset C∩D=∅，原点不在 C − D C-D C−D 中。由支撑超平面定理，存在 w w w 使得 w T z > 0 w^T z > 0 wTz>0 对所有 z ∈ C − D z \in C-D z∈C−D 成立。取 b = sup ⁡ x ∈ C w T x b = \sup_{x\in C} w^T x b=supx∈CwTx，即可得分离超平面。∎

这是泛函分析中哈恩-巴拿赫定理的有限维几何版本，也是凸优化对偶理论的几何根基。

凸体（Convex Body）

定义： R n \mathbb{R}^n Rn 中的凸体是紧致的、有非空内部的凸集。

性质	内容
紧致性	有界且闭
内点性质	每个点都有邻域完全包含在凸体内部
支撑函数	h K ( u ) = sup ⁡ x ∈ K u T x h_K(u) = \sup_{x\in K} u^T x hK(u)=supx∈KuTx，对每个方向 u u u 给出支撑点
表面积测度	μ ( K , ⋅ ) \mu(K, \cdot) μ(K,⋅)：将每个方向映射到 K K K 在该方向的"宽度"
混合体积	V ( K 1 , ... , K n ) V(K_1, \dots, K_n) V(K1,...,Kn)： n n n 个凸体的体积的多线性推广

Minkowski凸体定理 ：若凸体 K , L K, L K,L 满足 μ ( K , u ) ≥ μ ( L , u ) \mu(K, u) \geq \mu(L, u) μ(K,u)≥μ(L,u) 对所有方向 u u u 成立，则对任意 λ ≥ 0 \lambda \geq 0 λ≥0：

V ( K + λ L ) = V ( K ) + λ V ( L ) V(K + \lambda L) = V(K) + \lambda V(L) V(K+λL)=V(K)+λV(L)

例： K K K 为单位圆盘（面积 π \pi π）， L L L 为边长1的正方形（面积1）。圆盘在任何方向上的宽度（直径2）≥ 正方形在该方向的宽度（最大 2 \sqrt{2} 2 ），故：

V ( K + λ L ) = π + λ ⋅ 1 V(K + \lambda L) = \pi + \lambda \cdot 1 V(K+λL)=π+λ⋅1

Minkowski泛函（度规函数）

设 C C C 是以原点为内点的凸集，定义：

p C ( x ) = inf ⁡ { α > 0 ∣ x ∈ α C } p_C(x) = \inf\{\alpha > 0 \mid x \in \alpha C\} pC(x)=inf{α>0∣x∈αC}

性质	内容
p C ( x ) ≤ 1 ⟺ x ∈ C p_C(x) \leq 1 \iff x \in C pC(x)≤1⟺x∈C	完全刻画集合
次线性	p C ( x + y ) ≤ p C ( x ) + p C ( y ) p_C(x+y) \leq p_C(x) + p_C(y) pC(x+y)≤pC(x)+pC(y)
正齐次	p C ( λ x ) = λ p C ( x ) p_C(\lambda x) = \lambda p_C(x) pC(λx)=λpC(x)（ λ ≥ 0 \lambda \geq 0 λ≥0）
凸性	p C p_C pC 本身是凸函数
偶性（若 C C C 对称）	p C ( − x ) = p C ( x ) p_C(-x) = p_C(x) pC(−x)=pC(x)，此时 p C p_C pC 是范数

闵可夫斯基范式：他把"凸集是什么形状"这个几何问题，转化为"这个函数满足什么代数性质"的分析问题。集合的对称性 → 函数的偶性；集合的有界性 → 函数的正定性。

Minkowski格点定理------凸几何的数论闪电

定理：设 K ⊆ R n K \subseteq \mathbb{R}^n K⊆Rn 为关于原点对称的凸体，且 vol ( K ) > 2 n \text{vol}(K) > 2^n vol(K)>2n，则 K K K 必包含非零整点（即 x ∈ Z n ∖ { 0 } x \in \mathbb{Z}^n \setminus \{0\} x∈Zn∖{0} 且 x ∈ K x \in K x∈K）。

证明核心（以 n = 2 n=2 n=2 为例）：

步骤	操作	依据
1	考虑 K / 2 = { x / 2 ∣ x ∈ K } K/2 = \{x/2 \mid x \in K\} K/2={x/2∣x∈K}， vol ( K / 2 ) > 1 \text{vol}(K/2) > 1 vol(K/2)>1	位似变换，体积缩为 1 / 2 n 1/2^n 1/2n
2	将 K / 2 K/2 K/2 按 Z 2 \mathbb{Z}^2 Z2 平移到 $0 , 1$ 2 $0,1$ ^2 $0,1$ 2 内	每个点 ( x , y ) ↦ ( x − ⌊ x ⌋ , y − ⌊ y ⌋ ) (x,y) \mapsto (x-\lfloor x \rfloor, y-\lfloor y \rfloor) (x,y)↦(x−⌊x⌋,y−⌊y⌋)
3	面积 > 1 >1 >1 而基本域面积 = 1 =1 =1 → 必有两点 P ′ , Q ′ P', Q' P′,Q′ 重合	抽屉原理（Blichfeldt引理）
4	设 P = 2 P ′ , Q = 2 Q ′ ∈ K P = 2P', Q = 2Q' \in K P=2P′,Q=2Q′∈K，则 P − Q ∈ Z 2 P - Q \in \mathbb{Z}^2 P−Q∈Z2	平移构造
5	由对称性 − Q ∈ K -Q \in K −Q∈K，凸性 ⇒ P + ( − Q ) 2 = P − Q 2 ∈ K \Rightarrow \frac{P+(-Q)}{2} = \frac{P-Q}{2} \in K ⇒2P+(−Q)=2P−Q∈K	凸集的中点性质
6	故 P − Q ∈ K ∩ Z 2 P-Q \in K \cap \mathbb{Z}^2 P−Q∈K∩Z2，且 P − Q ≠ 0 P-Q \neq 0 P−Q=0（否则 P ′ = Q ′ P'=Q' P′=Q′，与面积 > 1 >1 >1矛盾）	反证法

闵可夫斯基范式 ：他用凸性（中点在集内）+ 对称性（ − x -x −x 也在集内）+ 面积（挤不下）这三个条件，强行从几何中"榨"出一个整点。这是几何与数论的第一次深度联姻，也是丢番图逼近的基石。

凸集基本几何性质总汇表

性质	数学表述	几何直觉
交集封闭	⋂ i C i \bigcap_i C_i ⋂iCi 凸	多个凸集的"公共部分"无凹陷
Minkowski和封闭	A + B A+B A+B 凸	一个凸集沿另一个"扫过"仍无凹陷
凸包	conv ( S ) = { ∑ λ i x i ∣ λ i ≥ 0 , ∑ λ i = 1 } \text{conv}(S) = \{\sum \lambda_i x_i \mid \lambda_i \geq 0, \sum \lambda_i = 1\} conv(S)={∑λixi∣λi≥0,∑λi=1}	用橡皮筋包住点集
支撑超平面	∃ w : w T x ≤ w T x 0 ∀ x ∈ C \exists w: w^Tx \leq w^Tx_0\ \forall x\in C ∃w:wTx≤wTx0 ∀x∈C	凸集边界总能被"托住"
分离定理	不相交闭凸集可被超平面分开	两个凸体之间总能插一张"纸"
Carathéodory	conv ( S ) \text{conv}(S) conv(S) 中点可由 ≤ n + 1 \leq n+1 ≤n+1 点表示	n n n 维空间中 n + 1 n+1 n+1 个点足以"撑起"一切
Minkowski泛函	p C ( x ) = inf ⁡ { α : x ∈ α C } p_C(x) = \inf\{\alpha: x\in \alpha C\} pC(x)=inf{α:x∈αC}	用一个凸函数"度量"凸集
格点定理	vol ( K ) > 2 n \text{vol}(K)>2^n vol(K)>2n + 对称凸 → 含非零整点	面积够大的对称凸体"装不下"不含整点

友情提示，划重点

闵可夫斯基对凸集几何性质的方法论，可浓缩为一句话：

用代数运算（凸组合、Minkowski和）定义凸性，用分析工具（支撑函数、Minkowski泛函）刻画凸集，用几何直觉（面积、对称性）击穿数论壁垒。

他不是那个写出最终教科书的人------那是Rockafellar在1970年完成的事。但闵可夫斯基是那个在1896年就摸到凸集本质的人：凸集的一切秘密，都藏在它的线性封闭性里；凸集的一切力量，都来自支撑与分离。 这两条线索，后来长成了整棵凸优化与凸几何的参天大树。

附录云藏山鹰代数信息系统（YUDST Algebra Information System）

数学定义 ：

设 E \mathcal{E} E 为意气实体集合 （如具有主观意图的经济主体、决策单元）， P \mathcal{P} P 为过程集合 （如交易、协作、竞争）， I \mathcal{I} I 为信息状态集合 （如资源分配、偏好、策略）。定义三元组 SEP-AIS = ( S , O , R ) \text{SEP-AIS} = (\mathcal{S}, \mathcal{O}, \mathcal{R}) SEP-AIS=(S,O,R)，其中：

状态空间 S \mathcal{S} S ：

S = E × P × I \mathcal{S} = \mathcal{E} \times \mathcal{P} \times \mathcal{I} S=E×P×I，表示实体在特定过程中所处的信息状态组合。

示例：若 e ∈ E e \in \mathcal{E} e∈E 为"企业"， p ∈ P p \in \mathcal{P} p∈P 为"生产"， i ∈ I i \in \mathcal{I} i∈I 为"库存水平"，则 ( e , p , i ) ∈ S (e, p, i) \in \mathcal{S} (e,p,i)∈S 描述企业生产时的库存状态。
运算集合 O \mathcal{O} O ：

O = { O 1 , O 2 , ... , O k } \mathcal{O} = \{O_1, O_2, \dots, O_k\} O={O1,O2,...,Ok}，其中每个 O i : S n → S O_i: \mathcal{S}^n \to \mathcal{S} Oi:Sn→S（ n ≥ 1 n \geq 1 n≥1）为意气实体过程操作，满足：
- 封闭性 ：对任意 s 1 , s 2 , ... , s n ∈ S s_1, s_2, \dots, s_n \in \mathcal{S} s1,s2,...,sn∈S，有 O i ( s 1 , s 2 , ... , s n ) ∈ S O_i(s_1, s_2, \dots, s_n) \in \mathcal{S} Oi(s1,s2,...,sn)∈S。
- 代数结构 ： ( S , O ) (\mathcal{S}, \mathcal{O}) (S,O) 构成特定代数系统（如群、环、格），刻画实体交互的逻辑规则。
  示例：
  - 若 O \mathcal{O} O 包含"交易操作" O trade O_{\text{trade}} Otrade，且 ( S , O trade ) (\mathcal{S}, O_{\text{trade}}) (S,Otrade) 构成群，则逆操作 O trade − 1 O_{\text{trade}}^{-1} Otrade−1 可表示"撤销交易"。
  - 若 O \mathcal{O} O 包含"资源合并" O merge O_{\text{merge}} Omerge 和"资源分配" O split O_{\text{split}} Osplit，且 ( S , O merge , O split ) (\mathcal{S}, O_{\text{merge}}, O_{\text{split}}) (S,Omerge,Osplit) 构成格，则可描述资源层次化分配。
关系集合 R \mathcal{R} R ：

R = L ∪ C \mathcal{R} = \mathcal{L} \cup \mathcal{C} R=L∪C，其中：
- L ⊆ S × S \mathcal{L} \subseteq \mathcal{S} \times \mathcal{S} L⊆S×S 为逻辑关系（如数据依赖、因果关系）；
- C ⊆ S → R \mathcal{C} \subseteq \mathcal{S} \to \mathbb{R} C⊆S→R 为约束函数 （如成本、效用、风险）。
  示例：
- 逻辑关系 R depend ⊆ S × S R_{\text{depend}} \subseteq \mathcal{S} \times \mathcal{S} Rdepend⊆S×S：若实体 e 1 e_1 e1 的过程依赖实体 e 2 e_2 e2 的信息，则 ( ( e 1 , p 1 , i 1 ) , ( e 2 , p 2 , i 2 ) ) ∈ R depend ((e_1, p_1, i_1), (e_2, p_2, i_2)) \in R_{\text{depend}} ((e1,p1,i1),(e2,p2,i2))∈Rdepend。
- 约束函数 C cost : S → R C_{\text{cost}}: \mathcal{S} \to \mathbb{R} Ccost:S→R：计算实体在某状态下的操作成本。

满足条件 ：

若 ( S , O ) (\mathcal{S}, \mathcal{O}) (S,O) 满足代数系统公理（如群的结合律、格的吸收律），且 R \mathcal{R} R 描述实体过程的语义约束（如资源非负、策略一致性），则称 ( S , O , R ) (\mathcal{S}, \mathcal{O}, \mathcal{R}) (S,O,R) 为意气实体过程代数信息系统。