单纯形σ的链(link)证明及正八面体中链的绘制技术问询

首先我们来解决第一个问题：证明给定抽象单纯复形 ( K ) 和 ( \sigma \in K )，( \operatorname{link}_\sigma(K) ) 是单纯复形。

一、证明 ( \operatorname{link}_\sigma(K) ) 是单纯复形 #

回忆抽象单纯复形的定义：一个集合 ( K ) 是抽象单纯复形当且仅当满足以下两个条件：

1. 面封闭性：若 ( \tau \in K )，且 ( \mu \subseteq \tau )，则 ( \mu \in K )；
2. 交封闭性：若 ( \tau_1, \tau_2 \in K )，则 ( \tau_1 \cap \tau_2 \in K )（且此时 ( \tau_1 \cap \tau_2 ) 是 ( \tau_1 ) 和 ( \tau_2 ) 的公共面）。

我们需要验证 ( \operatorname{link}_\sigma(K) = {\tau \in K \mid \tau \cap \sigma = \emptyset , ,, \tau \cup \sigma \in K} ) 满足这两个条件：

1. 验证面封闭性 #

任取 ( \tau \in \operatorname{link}_\sigma(K) )，设 ( \mu ) 是 ( \tau ) 的任意一个面（即 ( \mu \subseteq \tau )）：

• 因为 ( \tau \cap \sigma = \emptyset )，所以 ( \mu \cap \sigma \subseteq \tau \cap \sigma = \emptyset )，即 ( \mu \cap \sigma = \emptyset )；
• 由于 ( \tau \cup \sigma \in K )，而 ( \mu \cup \sigma \subseteq \tau \cup \sigma )（即 ( \mu \cup \sigma ) 是 ( \tau \cup \sigma ) 的面），根据 ( K ) 的面封闭性，( \mu \cup \sigma \in K )。

因此 ( \mu \in \operatorname{link}_\sigma(K) )，满足面封闭性。

2. 验证交封闭性 #

任取 ( \tau_1, \tau_2 \in \operatorname{link}_\sigma(K) )，考虑 ( \tau_1 \cap \tau_2 )：

• 首先，( (\tau_1 \cap \tau_2) \cap \sigma = (\tau_1 \cap \sigma) \cap (\tau_2 \cap \sigma) = \emptyset \cap \emptyset = \emptyset )；
• 其次，( (\tau_1 \cap \tau_2) \cup \sigma = (\tau_1 \cup \sigma) \cap (\tau_2 \cup \sigma) )。因为 ( \tau_1 \cup \sigma, \tau_2 \cup \sigma \in K )，根据 ( K ) 的交封闭性，它们的交集也属于 ( K )，即 ( (\tau_1 \cap \tau_2) \cup \sigma \in K )；
• 另外，由于 ( K ) 是单纯复形，( \tau_1 \cap \tau_2 \in K )（交封闭性）。

综上，( \tau_1 \cap \tau_2 \in \operatorname{link}_\sigma(K) )，且它是 ( \tau_1 ) 和 ( \tau_2 ) 的公共面，满足交封闭性。

因此，( \operatorname{link}_\sigma(K) ) 是抽象单纯复形。

二、正八面体的链实例分析 #

首先明确正八面体对应的抽象单纯复形 ( K )：

• 顶点集 ( V = {v_1, -v_1, v_2, -v_2, v_3, -v_3} )（可看作三维空间中坐标轴上的6个点，( v_i ) 和 ( -v_i ) 是对径顶点）；
• ( K ) 中的单形是所有子集 ( S \subseteq V )，满足：
  1. ( S ) 中不存在互为对径的顶点（即不同时包含 ( v_i ) 和 ( -v_i )）；
  2. ( |S| \leq 3 )（正八面体是2维复形，最大单形为2-单形，即三角形）。

接下来分三种情况讨论：

(i) ( \sigma ) 是顶点（以 ( \sigma = {v_1} ) 为例） #

根据链的定义，( \tau \in \operatorname{link}_{v_1}(K) ) 需满足：

• ( \tau \cap {v_1} = \emptyset )（即 ( \tau ) 不含 ( v_1 )）；
• ( \tau \cup {v_1} \in K )（即 ( \tau ) 不含 ( -v_1 )，否则 ( \tau \cup {v_1} ) 包含对径顶点，不属于 ( K )）。

因此，( \operatorname{link}_{v_1}(K) ) 的单形包括：

• 0-单形（顶点）：( {v_2}, {-v_2}, {v_3}, {-v_3} )；
• 1-单形（边）：( {v_2, v_3}, {v_2, -v_3}, {-v_2, v_3}, {-v_2, -v_3} )。

这个链是一个1维单纯复形，对应几何上的正方形边界（4个顶点构成的环）。

(ii) ( \sigma ) 是边（以 ( \sigma = {v_1, v_2} ) 为例） #

( \tau \in \operatorname{link}_{v_1,v_2}(K) ) 需满足：

• ( \tau \cap {v_1, v_2} = \emptyset )（即 ( \tau ) 不含 ( v_1, v_2 )）；
• ( \tau \cup {v_1, v_2} \in K )（即 ( \tau \cup {v_1, v_2} ) 是 ( K ) 中的2-单形，也就是 ( \tau ) 是单个顶点，且与 ( v_1, v_2 ) 都不是对径点）。

符合条件的 ( \tau ) 只有：

• 0-单形（顶点）：( {v_3}, {-v_3} )。

这个链是0维单纯复形，对应两个孤立的顶点。

(iii) ( \sigma ) 是2-单形（以 ( \sigma = {v_1, v_2, v_3} ) 为例） #

( \tau \in \operatorname{link}_\sigma(K) ) 需满足：

• ( \tau \cap \sigma = \emptyset )（即 ( \tau ) 不含 ( v_1, v_2, v_3 )）；
• ( \tau \cup \sigma \in K )。

由于 ( \sigma ) 已经是3个顶点的2-单形，( K ) 中没有3-单形（4个顶点的子集），且任何非空 ( \tau ) 都会引入对径顶点（比如 ( \tau = {-v_1} )，则 ( \tau \cup \sigma ) 包含 ( v_1 ) 和 ( -v_1 )，不属于 ( K )）。唯一符合条件的是空单形（( (-1) )-维单形）。

因此这个链仅包含空单形，是一个平凡的单纯复形。

内容的提问来源于stack exchange，提问作者Kocmoc