Dowker关系复形对偶

为什么按列覆盖会得到按行神经 ​

对每个实际出现的列 $y$，取行集合 $X_y=\{x:xRy\}$ 上的满单形。所有这些单形的并恰为 $D_X(R)$：一个行集合是面，正因为有某列作为共同见证。

若取几列 $\tau$，相应满单形的交集就是共同邻居 $R^{-1}(\tau )$ 上的满单形；非空时天然可缩。这个覆盖的神经恰为 $D_Y(R)$。所以有限子复形神经定理理路有限子复形覆盖的神经定理Nerve theorem for finite subcomplex covers · Finite simplicial nerve lemma · 有限覆盖神经定理对所有非空交集可缩的有限子复形覆盖，构造保同伦型的神经及具体反序面映射，指出仅检查各块或两两交集为何不够。立刻给出式 (2)。

这里每个非空交集都是整个单形，是比一般可缩交集更容易核验的特殊输入。无需凭同调猜测可缩性，只要确实有共同顶点，沿直线缩到它即可。

为具体面映射检查每个纤维 ​

若需要认证式 (3) 这份特定映射，取列侧面 $\tau$，其下理想原像为

这是一个非空满单形的面偏序，有最大元 $R^{-1}(\tau )$。因此每个纤维都是锥，纤维引理理路Quillen有限偏序纤维引理Quillen poset fiber lemma · McCord–Quillen theorem · Quillen Theorem A for finite posets由每个下理想原像的可缩性认证指定序复形映射是同伦等价，并通过有限映射柱的两份删点序列证明结论。保证 $G_R$ 诱导同伦等价。证书只需为每个列侧面重新计算这一个最大元，并核它确实与全部列相关。

这一证明还说明两侧存在空行或重复行并不破坏结论；真正要保留的是关系本身和共同见证。

同一关系的两侧不是同一个三角剖分 ​

取四行 $0,1,2,3$ 和三列 $a,b,c$，关系表为

按列读取，行侧的极大面为

它有四个顶点、六条边、两个二维面：两块三角形沿边 $03$ 相接，另有边 $12$ 接出一个环。按行读取，列侧极大面为 $ab,bc,ac$，只是三角形边界。两侧都有一个连通分支和一个一维洞，但并不同构。

共同邻居映射的一部分为

某条源链可因重复像而压低维数，这是单纯映射允许的行为，链映射中对应项取零；不能为了避免坍缩而随意换一个见证。

成对见证不能拼成共同见证 ​

在前三行构成的三乘三子表中，每两行都有共同列：$0,1$ 共享 $b$，$1,2$ 共享 $c$，$0,2$ 共享 $a$。但三行没有同一个共同列，所以 $\{0,1,2\}$ 不是行侧面。

若把“有公共列”的图做clique补全，就会错误填入三角形。同样，一份关系的二部图把行列都作为顶点，研究的是另一空间；Dowker 定理并不是说这张二部图也与两侧复形同伦等价。

重复列和孤立标签 ​

复制一列会增加列侧顶点，却不改变行侧共同见证面。新列侧通常不与旧列侧组合相同，但仍与同一个行侧同伦等价。这个性质不是删除任意列都安全：删掉最后一个共同见证，可能真正删除高维面。

反之，加入没有任何关系项的新行列，不增加两侧复形中的顶点。若程序把这些孤立表头作为孤立顶点强行加入，就会人为增加连通分支，破坏定理的对象定义。

关系逐步增加时，映射也要一起核验 ​

若 $R\subseteq S$ 位于同一组行列标签上，两侧都有包含

对每个旧行面 $\sigma$，有 $R(\sigma )\subseteq S(\sigma )$。把两条复合都看成到 $\mathcal{F}(D_Y(S){)}^{\mathrm{op}}$ 的映射后，便得到方向相反的点态比较

由点态偏序同伦理路有限偏序的序复形与同伦证书Order complex and order homotopy · Finite poset homotopy certificate · 序复形把有限偏序的全部比较链变成单纯复形，用逐点保序更新和可删除点日志交付连续同伦与链证书。，这个方块在几何实现上同伦交换。因此在同调理路单纯同调Simplicial homology以定向单形生成链群、以交替面和定义边界，并用循环模边界得到的同调理论。上严格交换，而且每个竖直 $G_R,G_S$ 都诱导同构。对有限嵌套关系序列，这给出两侧整套同调映射的自然对应，而不只是每一时刻的Betti数相同。

在上面的表中加入关系 $0Rc$ 后，行侧增加面 $012$，形成三块三角形组成的圆盘；列侧增加面 $abc$，成为实心三角形。两侧原有的一维类都被杀掉。再加入 $3Rc$ 后，行侧变成实心四面体，列侧仍为实心三角形。这些空间维数不同，方块仍按式 (5) 相容。

每一步都可输出比较映射的逐顶点更新日志及整数棱柱链同伦，核 $\partial T+T\partial$ 等于两条复合之差。只在三个阶段分别算出相同Betti数，不能替代这一相容性检查。

证书范围与成本 ​

最直接的面枚举会检查 $2^{|X|}-1$ 与 $2^{|Y|}-1$ 个非空子集；行列两侧可以选择较小的一侧存储，但定理不保证哪一侧总更小。可按每列的满单形生成行侧、按每行生成列侧，再删重复和非极大面；输出所有面本身仍可能指数大。

验证器应从原始关系重算每个共同邻居，而非相信提交者给出的面集。关系表的一项被改动后，旧的高维面、纤维最大元和同伦方块都可能失效。面对含距离阈值的数据，也必须先说明阈值是严格还是非严格、行列标签如何对应，再把问题转为本页的有限关系合同。

偏序、覆盖与关系复形证书任务：终点沿三阶段关系保留共同邻居、纤维最大元和自然性链同伦，追踪同一类何时被填掉。