带对偶公理的有限集及其自同构群

作者：张苏杭

摘要

本文定义一个带对偶公理的有限集，给出一个反例说明该定义中的闭环条件本身推不出对偶元的存在，必须额外附加公理。在此基础上构造其自同构群，并说明该群的结构依赖于对偶运算在非对偶对上的取值，本文未予确定，故该群仅被证明非平凡，未被识别。本文不声称新定理或新分支，只记录一个条件性构造及其边界。

关键词：有限集；对偶运算；自同构群；条件性构造

---

1 定义

给定有限集 U 与环境论域 \mathcal{U}，U\subseteq\mathcal{U}。称 U 满足闭环条件，若：

(C1) 对任意 x\in\mathcal{U}，x 是否属于 U 二值确定；
(C2) 对 U 上任意合法二元运算 \circ，x,y\in U 蕴含 x\circ y\in U；
(C3) U\cap U^c=\emptyset，U\cup U^c=\mathcal{U}，且 |U|+|U^c|=|\mathcal{U}| 当 U 有限时成立；U 无限时改用测度表述 \mu(U)+\mu(U^c)=\mu(\mathcal{U})。

注：C3 的基数形式在无限集下平凡成立，故无限情形必须改用测度表述，否则该条失去约束力。以下默认 U 有限。

对偶公理：在闭环条件之上附加：

(A1) 对任意 x\in U，存在唯一 x^*\in U，x^*\neq x；
(A2) (x^*)^*=x。

称满足闭环条件与对偶公理的有限集为带对偶公理的有限集。

2 一个反例：闭环条件推不出对偶元

取 U=\{a\}，令 a\oplus a=\emptyset。C1、C2、C3 均满足，但不存在 x\neq x^* 的对偶元。故闭环条件本身不蕴含对偶结构，对偶公理是必须额外附加的。

在附加对偶公理后，对偶配对在 U 内完成：每个元素有唯一非自身的对偶元，且对偶映射是对合。由此 U 可划分为互不相交的对偶二元组，|U| 为偶数。

3 自同构群的构造

令

G=\mathrm{Aut}(U,\oplus)=\{\,g:U\to U\mid g\text{ 为双射，且 }\forall x,y\in U,\ g(x\oplus y)=g(x)\oplus g(y)\,\}.

则 G 满足群公理：

· 封闭性：两个保结构双射的复合仍为保结构双射；
· 结合律：映射复合天然满足；
· 单位元：恒等映射保 \oplus 结构；
· 逆元：g 为保结构双射，则 g^{-1} 亦为保结构双射。

由对偶公理的对合性，对偶映射 \sigma:x\mapsto x^* 是 U 上的双射且保 \oplus 结构，故 \sigma\in G，G 非平凡。

边界声明：以上构造证明的是“存在一个满足群公理的 G”，而非“U 上任意变换群都完备”。G 的大小与结构取决于 \oplus 在非对偶对上的取值，本文未指定这些取值，故 G 仅被证明非平凡，未被识别为具体群。

4 开放问题

1. 抽象群完备性能否反推闭环条件？
2. 守恒条件能否反推抽象对称完备性？
3. 在何种离散化格式下，连续守恒方程可精确对应离散迭代不动点？

以上三条本文均未证明，列为后续问题。

5 结论

本文记录一个条件性构造：闭环条件本身弱于对偶结构，需附加对偶公理；附加后可构造自同构群，但该群的结构依赖于未指定的运算取值，故仅证明非平凡、未识别。本文不声称建立新分支，只标定该构造的边界。

参考文献

[1] do Carmo, M. P. Riemannian Geometry. Birkhäuser, 1992.

[2] 张禾瑞. 近世代数基础. 高等教育出版社.