单纯性相关概念

 二.仿射无关( affinely independent)与仿射相关

1,在仿射几何中,一组点被称为"仿射无关"(Affinely Independent),如果其中任意点都不能表示为其他点的仿射组合。仿射组合是一种特殊的线性组合,其系数之和为1

具体来说,对于一个包含 k 个点的集合 {p₁, p₂, ..., pₖ},如果存在唯一的实数集 {λ₁, λ₂, ..., λₖ},使得:

λ₁p₁ + λ₂p₂ + ... + λₖpₖ = 0

其中 λ₁ + λ₂ + ... + λₖ = 1(仿射组合的系数之和为1),并且 λᵢ ≠ 0 至少对于某个 i(换句话说就是系数不全为零),那么这组点是仿射无关的。

直观地理解,仿射无关性意味着这组点不共线或不共面,它们在仿射空间中独立存在,没有冗余关系。不存在一种非平凡的加权组合能让其中某个点成为其他点的加权平均。

举个例子,在二维平面上,三个点 A(x₁, y₁),B(x₂, y₂),C(x₃, y₃) 是仿射无关的,如果它们不共线,即它们不在同一条直线上。同样,在三维空间中,四个点 A(x₁, y₁, z₁),B(x₂, y₂, z₂),C(x₃, y₃, z₃),D(x₄, y₄, z₄) 是仿射无关的,如果它们不共面,即它们不在同一个平面上。

2,一组点被称为"仿射相关",如果存在实数集 {λ₁, λ₂, ..., λₖ},不全为零,并且使得:

λ₁p₁ + λ₂p₂ + ... + λₖpₖ = 0

其中 λ₁ + λ₂ + ... + λₖ = 0(仿射组合的系数之和为0)。

换句话说,一组点是仿射相关的,如果它们存在非平凡的仿射组合(系数不全为零),使得这个组合的结果是零向量。这意味着这组点之间存在一些冗余关系,其中的某个点可以表示为其他点的仿射组合。

简而言之,仿射无关表示点集中没有冗余,点之间是独立的;而仿射相关表示点集中存在一些冗余,点之间存在某种依赖关系。

在二维平面中,三个点A、B和C是仿射无关的,如果它们不共线;如果它们共线,则它们是仿射相关的。同样,在三维空间中,四个点A、B、C和D是仿射无关的,如果它们不共面;如果它们共面,则它们是仿射相关的。

仿射无关性是一种更严格的概念,它比线性无关性更具限制性。如果一组点在仿射空间中是仿射无关的,那么它们也是线性无关的。换句话说,仿射无关性是线性无关性的特例。

三.凸集和凸包

1. 在点集拓扑学欧几里得空间中,凸集(Convex set)是一个点集合,其中每两点之间的线段点都落在该点集合中。

  • 依据定义,中空的圆形称为(circle),它不是凸集;实心的圆形称为圆盘(disk),它是凸集。
  • 单纯形是凸集,对于单纯形的顶点集合来说,单纯形是它们的最小凸集,所以单纯形也是一个凸包

凸集可以在任何维度的向量空间中定义,例如在二维平面上、三维空间中或更高维度的向量空间中。在几何上,凸集可以被形象地理解为“没有凹陷”的集合,就像一个凸形状的球体一样,它的任意两点之间的线段都在球体的内部。

虽然凸集可以包含无穷多个点,但在实际应用中,通常会考虑有限个点或在计算中处理有限精度的点集。在计算机图形学、计算几何学和优化问题中,通常会处理有限数量的点,例如多边形、多面体或有限数据点集,因为在实际计算中处理无穷多个点是不可行的

2. 

 凸包是一个凸性质的集合,它是指给定点集合的最小凸集

 

四.单纯性和单纯复形

1. 在几何学中,单纯形(Simplex)是三角形或四面体概念到任意维度的推广。单纯形之所以如此命名,是因为它代表了任何给定维度中最简单的多面体。例如

  • 0维单纯形是点
  • 1维单纯形是线段
  • 2维单纯形是三角形
  • 3维单纯形是四面体

具体地说,k-单纯形是k-维多面体,它是其k+1个顶点的凸包。用最少的点表达了维度信息。更正式地说,假设k+1点u_{0}......u_{k}是仿射无关的,这意味着k vector  u_{1}-u_{0},....,u_{k}-u_{0}是线性无关的。那么,由它们确定的单纯形就是点的集合

  •  单形的面(Faces):d维单形的面是由单形的节点的适当子集构成的单形。在图3中,刻画了四面体的面。3维单纯形的面包含:4个 0-单纯形,6个 1-单纯形,4个 2-单纯形。

        定义为:

 2.单纯复形

用单形为积木,可以构建复形。

单纯复形(Simplicial complex):又称复形,由一组单纯形组成的集合,每个单纯形的面都是此集合中的元素,其维度为该集合中最大维度单纯形的维度。

用更严格的数学术语来说,单纯形K是满足以下两个条件的单纯形集:

(a)如果单纯形属于单纯复形,则单纯形的任意面也包含在单纯复形中;

(b)给定一个单纯复形中的两个单纯形,则它们的交集属于单纯复形,或者它们的交集为零。

换句话说的定义为:单纯复形是一个单纯形的集合,其中各单形规则相处,且每个单形的面也都是该复形的一个元素。

 约定空集是任何单纯形的面,所以两个不相交的单纯复形也可以被看作是一个单纯复形。

值得注意的是,单纯复形与超图的区别在于单纯复形包含给定单纯形的所有子集。

这部分内容参考有:

玛丽女王大学 Ginestra Bianconi:高阶网络的拓扑结构与动力学 - 知乎 (zhihu.com)

单纯形与单纯复形 - 小时百科 (wuli.wiki)

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值