欢迎光临
我们一直在努力

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

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

    • 和悦空间的王阳明代数和晏殊几何学
    • Minkowski与凸集基本几何性质
    • 第一部分:Minkowski核心逻辑链总结
      • 逻辑链一:从"连线在内部"到"凸组合封闭"——定义的代数化
      • 逻辑链二:从"边界行为"到"支撑超平面"——分离定理的诞生
      • 逻辑链三:从"点集"到"函数"——Minkowski泛函的构造
      • 逻辑链四:从"面积"到"整点"——Minkowski格点定理
      • Minkowski运作特征总表
    • 第二部分:凸集的基本几何性质
      • 凸集的定义
      • 凸集的核心性质
        • 性质一:交集封闭
        • 性质二:Minkowski和封闭
        • 性质三:凸包与Carathéodory定理
        • 性质四:闭包保持凸性
        • 性质五:内部为凸集
        • 性质六:相对内部非空(有限维)
      • 凸集的分离定理——Minkowski推理的巅峰
        • 支撑超平面定理
        • 凸集分离定理
      • 凸体(Convex Body)
      • Minkowski泛函(度规函数)
      • Minkowski格点定理——凸几何的数论闪电
      • 性质总汇表
    • 友情提示,划重点
    • 附录 云藏山鹰代数信息系统(YUDST Algebra Information System)
    • 进阶阅读

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

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

王阳明代数 王阳明代数

王阳明代数 王阳明代数 王阳明代数

王阳明代数

王阳明代数 王阳明代数 王阳明代数

Minkowski与凸集基本几何性质


第一部分:Minkowski核心逻辑链总结

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


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

Minkowski的推理起点是纯粹几何直觉:

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


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,x2C,t[0,1]:tx1+(1t)x2C

但Minkowski的关键一步不是停留于此,而是追问封闭性对运算的影响:

运算凸集是否封闭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+baA,bB}

✅ 是

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+(1t)y=t(a1+b1)+(1t)(a2+b2)=[ta1+(1t)a2]+[tb1+(1t)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的运作方式:他不满足于"什么是凸集",而是追问"凸集在什么运算下封闭"。这直接催生了Minkowski加法——用两个凸集构造更复杂凸集的基本工具。


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

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

x0C (边界点),w=0, bR:wTx0=b,wTxb xC

Minkowski的推理路径:

  • 凸集无"凹陷" → 边界点处存在"最陡方向"
  • 最陡方向定义了法向量

    w

    w

    w

  • 该法向量决定的超平面

    w

    T

    x

    =

    b

    w^T x = b

    wTx=b 使得整个集合落在一侧

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

    Minkowski的运作方式:从局部几何(边界点的切平面)推出全局结论(任意两个凸集可分离)。这是哈恩-巴拿赫定理在有限维的几何原型。


    逻辑链三:从"点集"到"函数"——Minkowski泛函的构造

    这是Minkowski最具创造力的一步。他问了一个反直觉的问题:

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

    答案是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{α>0xα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={xpC(x)1},从函数可还原集合

    Minkowski的运作方式:他建立了凸集 ↔ 凸函数的一一对应。集合的几何性质(对称性、有界性)转化为函数的代数性质(偶性、正齐次性)。这一思想后来被Rockafellar系统化,成为现代凸分析的基石。


    逻辑链四:从"面积"到"整点"——Minkowski格点定理

    Minkowski将凸集理论推向数论,得到了他最著名的定理:

    任何包含原点、面积大于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和等代数运算使其可计算
    集合↔函数对偶 通过Minkowski泛函,将凸集问题转化为凸函数问题
    局部→全局 从边界点的支撑超平面,推出任意两凸集可分离
    维数洞察 Carathéodory定理(

    n

    +

    1

    n+1

    n+1点表示)是Minkowski几何的精确化

    跨界打击 用凸几何解决数论问题(格点定理),用几何构造解决优化问题(Minkowski和)

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

    凸集的定义

    定义:集合

    C

    R

    n

    C \\subseteq \\mathbb{R}^n

    CRn 为凸集,当且仅当


    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,x2C,t[0,1]:tx1+(1t)x2C

    等价地:

    C

    C

    C 中任意两点的连线段完全包含在

    C

    C

    C 内。

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

    是凸集不是凸集
    圆盘、球体、立方体 月牙形、环形
    半空间

    {

    x

    a

    T

    x

    b

    }

    \\{x \\mid a^T x \\leq b\\}

    {xaTxb}

    两个分离圆盘的并集
    多面体

    {

    x

    A

    x

    b

    }

    \\{x \\mid Ax \\leq b\\}

    {xAxb}

    星形(非凸)

    凸集的核心性质

    性质一:交集封闭

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

    证明:设

    {

    C

    i

    }

    i

    I

    \\{C_i\\}_{i\\in I}

    {Ci}iI 为凸集族,

    x

    ,

    y

    i

    C

    i

    x,y \\in \\bigcap_i C_i

    x,yiCi。则对每个

    i

    i

    i

    x

    ,

    y

    C

    i

    x,y \\in C_i

    x,yCi,由凸性

    t

    x

    +

    (

    1

    t

    )

    y

    C

    i

    tx+(1-t)y \\in C_i

    tx+(1t)yCi。故

    t

    x

    +

    (

    1

    t

    )

    y

    i

    C

    i

    tx+(1-t)y \\in \\bigcap_i C_i

    tx+(1t)yiCi。∎

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

    性质二: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+baA,bB} 仍为凸集。

    证明:取

    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+b2A+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+(1t)y=t(a1+b1)+(1t)(a2+b2)=[ta1+(1t)a2]+[tb1+(1t)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+(1t)yA+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

    SRn,则

    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,ynC

    x

    n

    x

    ,

    y

    n

    y

    x_n \\to x, y_n \\to y

    xnx,yny。由凸性

    t

    x

    n

    +

    (

    1

    t

    )

    y

    n

    C

    tx_n + (1-t)y_n \\in C

    txn+(1t)ynC,取极限得

    t

    x

    +

    (

    1

    t

    )

    y

    C

    tx+(1-t)y \\in \\overline{C}

    tx+(1t)yC。∎

    性质五:内部为凸集

    凸集

    C

    C

    C 的内部

    C

    C^\\circ

    C 仍为凸集。

    证明:设

    x

    1

    ,

    x

    2

    C

    x_1, x_2 \\in C^\\circ

    x1,x2C,则存在邻域

    U

    1

    ,

    U

    2

    C

    U_1, U_2 \\subseteq C

    U1,U2C。对任意

    t

    [

    0

    ,

    1

    ]

    t\\in[0,1]

    t[0,1]

    t

    x

    1

    +

    (

    1

    t

    )

    x

    2

    tx_1+(1-t)x_2

    tx1+(1t)x2 落在

    C

    C

    C 内,且由于

    x

    1

    ,

    x

    2

    x_1,x_2

    x1,x2 是内点,该点也是内点。∎

    性质六:相对内部非空(有限维)

    C

    R

    n

    C \\subseteq \\mathbb{R}^n

    CRn 为非空凸集,则

    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

    wTxwTx0 对所有

    x

    C

    x \\in C

    xC 成立。

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

    凸集分离定理

    C

    ,

    D

    R

    n

    C, D \\subseteq \\mathbb{R}^n

    C,DRn 为不相交的非空闭凸集,则存在超平面

    H

    =

    {

    x

    w

    T

    x

    =

    b

    }

    H = \\{x \\mid w^T x = b\\}

    H={xwTx=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

    wTxbxC,wTybyD

    证明思路:考虑

    C

    D

    =

    {

    x

    y

    x

    C

    ,

    y

    D

    }

    C – D = \\{x-y \\mid x\\in C, y\\in D\\}

    CD={xyxC,yD},这是凸集(Minkowski和的推论)。由于

    C

    D

    =

    C \\cap D = \\emptyset

    CD=,原点不在

    C

    D

    C-D

    CD 中。由支撑超平面定理,存在

    w

    w

    w 使得

    w

    T

    z

    >

    0

    w^T z > 0

    wTz>0 对所有

    z

    C

    D

    z \\in C-D

    zCD 成立。取

    b

    =

    sup

    x

    C

    w

    T

    x

    b = \\sup_{x\\in C} w^T x

    b=supxCwTx,即可得分离超平面。∎

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


    凸体(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)=supxKuTx,对每个方向

    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{α>0xαC}

    性质内容

    p

    C

    (

    x

    )

    1
      


      

    x

    C

    p_C(x) \\leq 1 \\iff x \\in C

    pC(x)1xC

    完全刻画集合
    次线性

    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的运作方式:他把"凸集是什么形状"这个几何问题,转化为"这个函数满足什么代数性质"的分析问题。集合的对称性 → 函数的偶性;集合的有界性 → 函数的正定性。


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

    定理:设

    K

    R

    n

    K \\subseteq \\mathbb{R}^n

    KRn 为关于原点对称的凸体,且

    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\\}

    xZn{0}

    x

    K

    x \\in K

    xK)。

    证明核心(以

    n

    =

    2

    n=2

    n=2 为例):

    步骤操作依据
    1 考虑

    K

    /

    2

    =

    {

    x

    /

    2

    x

    K

    }

    K/2 = \\{x/2 \\mid x \\in K\\}

    K/2={x/2xK}

    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)(xx,yy⌋)

    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=2QK,则

    P

    Q

    Z

    2

    P – Q \\in \\mathbb{Z}^2

    PQZ2

    平移构造
    5 由对称性

    Q

    K

    -Q \\in K

    QK,凸性

    P

    +

    (

    Q

    )

    2

    =

    P

    Q

    2

    K

    \\Rightarrow \\frac{P+(-Q)}{2} = \\frac{P-Q}{2} \\in K

    2P+(Q)=2PQK

    凸集的中点性质
    6

    P

    Q

    K

    Z

    2

    P-Q \\in K \\cap \\mathbb{Z}^2

    PQKZ2,且

    P

    Q

    0

    P-Q \\neq 0

    PQ=0(否则

    P

    =

    Q

    P'=Q'

    P=Q,与面积

    >

    1

    >1

    >1矛盾)

    反证法

    Minkowski的运作方式:他用凸性(中点在集内)+ 对称性(

    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λi0,λ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:wTxwTx0 xC

    凸集边界总能被"托住"
    分离定理 不相交闭凸集可被超平面分开 两个凸体之间总能插一张"纸"
    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和)定义凸性,用分析工具(支撑函数、Minkowski泛函)刻画凸集,用几何直觉(面积、对称性)击穿数论壁垒。

    他不是那个写出最终教科书的人——那是Rockafellar在1970年完成的事。但Minkowski是那个在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}

    eE 为“企业”,

    p

    P

    p \\in \\mathcal{P}

    pP 为“生产”,

    i

    I

    i \\in \\mathcal{I}

    iI 为“库存水平”,则

    (

    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:SnS

    n

    1

    n \\geq 1

    n1)为意气实体过程操作,满足:

    • 封闭性:对任意

      s

      1

      ,

      s

      2

      ,

      ,

      s

      n

      S

      s_1, s_2, \\dots, s_n \\in \\mathcal{S}

      s1,s2,,snS,有

      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}

        Otrade1 可表示“撤销交易”。

      • 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=LC,其中:

    • L

      S

      ×

      S

      \\mathcal{L} \\subseteq \\mathcal{S} \\times \\mathcal{S}

      LS×S 为逻辑关系(如数据依赖、因果关系);

    • C

      S

      R

      \\mathcal{C} \\subseteq \\mathcal{S} \\to \\mathbb{R}

      CSR 为约束函数(如成本、效用、风险)。 示例:

    • 逻辑关系

      R

      depend

      S

      ×

      S

      R_{\\text{depend}} \\subseteq \\mathcal{S} \\times \\mathcal{S}

      RdependS×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:SR:计算实体在某状态下的操作成本。

  • 满足条件: 若

    (

    S

    ,

    O

    )

    (\\mathcal{S}, \\mathcal{O})

    (S,O) 满足代数系统公理(如群的结合律、格的吸收律),且

    R

    \\mathcal{R}

    R 描述实体过程的语义约束(如资源非负、策略一致性),则称

    (

    S

    ,

    O

    ,

    R

    )

    (\\mathcal{S}, \\mathcal{O}, \\mathcal{R})

    (S,O,R) 为意气实体过程代数信息系统。

    进阶阅读

    【云藏山鹰代数信息系统】浅析意气实体过程知识图谱 【云藏山鹰代数信息系统】浅析意气实体过程知识图谱2 【云藏山鹰代数信息系统】浅析意气实体过程知识图谱3 【云藏山鹰代数信息系统】浅析意气实体过程知识图谱4 【云藏山鹰代数信息系统】具身智能职业生涯办公服务与租赁系统模型综述2 【云藏山鹰代数信息系统】2026年初3月CSDN花间流风博文技术汇总

    赞(0)
    未经允许不得转载:171主机测评 » 【流形学习多模态分析语言变量基础】王阳明代数讲义之凸集基本几何性质
    分享到: 更多 (0)

    评论 抢沙发

    • 昵称 (必填)
    • 邮箱 (必填)
    • 网址