On noncontinuous bisymmetric strictly monotone operations

Each language version is independently generated for its own context, not a direct translation.

这篇论文探讨了一个数学中非常有趣的问题：当我们把两个数字“混合”在一起时，这种混合规则是否必须平滑、连续？

为了让你更容易理解，我们可以把这篇论文想象成在探索一种**“神奇的混合搅拌机”**。

1. 背景：我们以为的“完美搅拌机”

在数学里，有一种很常见的混合规则，叫做**“准算术平均”**（Quasi-arithmetic mean）。
想象一下，你有一个特殊的搅拌机，它的工作流程是这样的：

先把两个数字 $x$ 和 $y$ 放进一个“变形器”（函数 $f$ ）里，把它们变成新样子。
在变形后的世界里，把这两个新数字简单相加，然后除以 2（取平均）。
最后，把结果通过“反向变形器”（ $f^{-1}$ ）变回原来的世界，得到最终结果。

公式长这样： $F(x, y) = f^{-1}(\frac{f(x) + f(y)}{2})$ 。

过去的认知：
几十年来，数学家们（如 Aczél 等）发现，如果一个混合规则满足以下三个条件：

对称性： $x$ 和 $y$ 谁先谁后没关系（ $F(x,y) = F(y,x)$ ）。
严格单调：如果你把输入的数字变大，输出的结果也一定会变大（不会忽大忽小）。
双对称性：这是一个很深的数学性质，简单说就是“混合的顺序不影响最终结果”。比如，先混合 $(x,y)$ 和 $(u,v)$ ，再混合这两个结果，和先混合 $(x,u)$ 和 $(y,v)$ 再混合，结果是一样的。

大家一直认为： 只要满足上面这些条件，这个“搅拌机”必须是连续的。也就是说，如果你慢慢改变输入的数字，输出的结果也会平滑地变化，不会出现突然的跳跃或断裂。

2. 这篇论文的突破：打破“平滑”的幻想

作者 Gergely Kiss 在这篇论文中做了一个大胆的实验：如果去掉“反射性”（Reflexivity）这个条件，会发生什么？

什么是反射性？ 就是当你把两个相同的数字放进去（比如 $x$ 和 $x$ ），搅拌机应该原封不动地吐出 $x$ 。这就像你问“平均数是多少”，如果两个数一样，平均数当然还是它自己。
论文的核心发现： 作者构造了一种极其特殊的混合规则。它满足对称性、严格单调性、双对称性，甚至可以是“可结合的”（像加法一样），但是，它不连续！

通俗解释：
想象你有一个特殊的“数字搅拌机”。

如果你慢慢增加输入的数字，输出结果大部分时间都在平滑上升。
但是，在某些特定的、极其刁钻的点上，输出结果会突然跳变，就像楼梯一样，而不是斜坡。
更神奇的是，这种“跳跃”不是偶尔发生，而是无处不在。无论你盯着搅拌机的哪个部分看，它都是断裂的。

3. 作者是怎么做到的？（核心魔法）

作者没有用普通的数字，而是用了一种**“分形”（Fractal）和“线性无关”**的魔法。

康托尔集（Cantor set）的变体： 想象一条线段，你不断地挖掉中间的部分，剩下的点像灰尘一样散落在空间中，它们之间没有连续的块，全是空隙。
线性无关的“原子”： 作者挑选了一组特殊的数字（像是一组独特的原子），它们之间无法通过简单的加减乘除互相表示。
构建过程：
1. 作者定义了一个特殊的“目标世界”（一个充满空隙的分形集合）。
2. 他设计了一个“变形器” $f$ ，把普通的连续区间（比如 1 到 100）映射到这个充满空隙的“分形世界”里。
3. 在这个分形世界里，他定义了一个简单的“加权加法”规则。
4. 最后，把结果映射回普通世界。

结果： 因为“目标世界”本身是破碎的、不连续的，所以即使你在里面做简单的加法，映射回普通世界后，整个规则就充满了“断裂”和“跳跃”。

4. 一个重要的“反转”：两个点 vs 一个点

论文还发现了一个非常有趣的**“双刃剑”**现象：

一个点没用： 如果你只要求搅拌机在一个点上是“反射”的（即 $F(c,c)=c$ ），这完全不足以让它变得平滑。它依然可以是那个断裂的、疯狂的搅拌机（如 Remark 3.9 所示）。
两个点就有奇效： 但是，如果你要求它在两个不同的点（比如 $a$ $a$ 和 $b$ $b$ ）上都是反射的（ $F(a,a)=a$ $F (a, a) = a$ 且 $F(b,b)=b$ $F (b, b) = b$ ），奇迹发生了！
- 在这两个点之间的所有数字，搅拌机被迫变得平滑、连续。
- 它必须变成那种标准的、完美的“准算术平均”形式。

比喻：

如果你只给搅拌机一个“锚点”（一个反射点），它依然可以在周围疯狂地跳舞、跳跃。
但如果你给它两个锚点，就像用两根绳子把一张破布的两端拉直，中间的部分就被迫拉平了，变得平滑连续。

5. 总结与意义

这篇论文告诉我们：

数学的严谨性： 以前我们以为“双对称性 + 单调性”就足以保证“连续性”。这篇论文证明，如果不加“反射性”这个条件，这个结论是错的。连续性不能随便丢掉。
结构的脆弱与坚固： 数学结构非常微妙。少一个条件（反射性），规则就会变得“狂野”（不连续）；但只要多一点点约束（两个反射点），规则就会瞬间变得“温顺”（连续且规则）。
未来的谜题： 虽然作者解决了“一个反射点”不行、“两个反射点”行，但还有一个终极问题：如果要求在整个区间上都有反射性（即对所有 $x$ ， $F(x,x)=x$ ），那么它是否一定连续？ 这个问题目前还没有答案，是留给未来数学家的挑战。

一句话总结：
这篇论文就像是在数学的平滑大地上挖出了几个深不见底的“断裂坑”，证明了如果没有特定的“锚点”（反射性），数学规则可以非常狂野和不连续；但只要有两个“锚点”，就能把这片狂野的土地强行拉平。

Each language version is independently generated for its own context, not a direct translation.

这篇论文由 Gergely Kiss 撰写，题为《非连续双对称严格单调运算》（On noncontinuous bisymmetric strictly monotone operations）。文章主要探讨了在实数区间上，双对称（bisymmetric）和严格单调的二元运算是否必然连续的问题，并针对非反射性（non-reflexive）情形构建了反例。

以下是该论文的详细技术总结：

1. 研究背景与问题提出

背景：双对称方程 $F(F(x, y), F(u, v)) = F(F(x, u), F(y, v))$ 是均值理论和拟算术均值（quasi-arithmetic means）的核心。经典的 Aczél 定理表明，如果一个运算 $F$ 是连续的、对称的、严格单调的且是反射的（即 $F(x,x)=x$ ），那么它必然是拟算术均值形式： $F(x, y) = f^{-1}(\frac{f(x)+f(y)}{2})$ 。
已知进展：
- 在对称且反射的情况下，Burai, Kiss 和 Szokol (2021) 证明了连续性是自动成立的，无需预先假设。
- 在非对称但反射的情况下，如果存在一对点满足对称性，也能推导出全局对称性和连续性。
核心问题：如果去掉反射性假设（即 $F(x,x) \neq x$ ），仅保留双对称性和严格单调性，运算 $F$ 是否仍然必须是连续的？特别是对于加权拟和形式 $F(x, y) = f^{-1}(\alpha f(x) + \beta f(y))$ （其中 $\alpha + \beta \neq 1$ ），连续性是否依然成立？
目标：构造非连续的双对称、严格单调运算，以回答上述问题，并探讨反射性在正则化过程中的作用。

2. 方法论与构造过程

作者通过构造基于**康托尔型完美集（Cantor-type perfect set）**的生成函数 $f$ ，构建了非连续的运算。

代数基础：
- 选取一个可数子域 $\mathbb{F}_0 \subset \mathbb{R}$ （由有理数 $\mathbb{Q}$ 和参数 $\alpha, \beta$ 生成）。
- 利用 von Neumann 和 Mycielski 的方法，构造一个完美集 $H_0$ ，使得 $H_0$ 中任意有限子集在 $\mathbb{F}_0$ 上线性无关。
集合迭代构造：
- 定义迭代序列 $H_{i+1} = H_i \cup (\alpha H_i + \beta H_i)$ ，并令 $H = \bigcup H_i$ 。
- 利用线性无关性证明 $H$ 中的元素具有唯一的 $\mathbb{F}_0$ -线性表示。
- 证明 $H$ 是无处稠密的（nowhere dense）且勒贝格测度为零，因此不包含任何区间。
生成函数 $f$ 的构造：
- 利用 $H$ 的补集（开区间）构造一个广义逆函数（类似于康托尔阶梯函数的逆），定义严格递增的双射 $f: I \to H_1$ ，其中 $H_1$ 是 $H$ 去掉某些端点后的集合。
- 由于 $H_1$ 是无处稠密的， $f$ 将区间 $I$ 映射到一个“破碎”的集合上。
运算定义：
- 定义运算 $F(x, y) = f^{-1}(\alpha f(x) + \beta f(y))$ 。
- 通过精心选择 $H_1$ （去掉右端点），确保 $\alpha f(x) + \beta f(y)$ 始终落在 $H_1$ 内，从而使 $F$ 良定义。

3. 主要贡献与结果

A. 非连续双对称运算的构造 (Theorem 3.4)

结果：对于任意满足 $\alpha + \beta \neq 1$ $α + β \neq = 1$ 的正实数 $\alpha, \beta$ $α, β$ ，存在一个区间 $I$ $I$ 和一个运算 $F: I^2 \to I$ $F : I^{2} \to I$ ，使得：
1. $F$ 是双对称的。
2. $F$ 是部分严格递增的（即对每个变量严格单调）。
3. $F$ 不连续。事实上，对于任意固定的 $x_0$ 或 $y_0$ ，截面函数 $F(x_0, \cdot)$ 和 $F(\cdot, y_0)$ 在 $I$ 的任意尾部都有无穷多个间断点。
4. 如果 $\alpha = \beta$ ，则 $F$ 还是对称的。
意义：这证明了双对称性和严格单调性不足以保证连续性，除非有反射性或其他强约束。这也否定了 Aczél 关于拟和（quasi-sums）刻画中连续性假设的可移除性。

B. 非连续结合运算的构造 (Theorem 3.8)

特例：取 $\alpha = \beta = 1$ ，此时运算变为 $F(x, y) = f^{-1}(f(x) + f(y))$ 。
结果：构造出的 $F$ 是结合的、严格递增的，但不连续。
意义：这是对 Aczél 关于结合拟和定理（Theorem 2.3）的否定回答，表明结合性和严格单调性本身不能保证连续性。

C. 单点反射性的局限性 (Remark 3.9)

作者展示了可以通过扩展定义域，使运算在单点（如边界点 0）满足反射性 $F(0,0)=0$ ，同时保持结合性、对称性和严格单调性，但运算在区间内部依然不连续。
结论：单点反射性不足以强制连续性。

D. 多点反射性的强正则化效应 (Theorem 5.1)

结果：如果对称、双对称、严格递增的运算 $F$ 在两个不同点 $a, b$ 处满足反射性（即 $F(a,a)=a$ 且 $F(b,b)=b$ ），那么 $F$ 在区间 $[a, b]$ 上必然是连续的，并且在该区间上表现为拟算术均值。
意义：揭示了反射性在正则化中的临界作用——单点无效，但两点即可强制局部连续性和结构。

E. 多元推广 (Section 4)

将上述构造推广到 $n$ 元运算 $F(x_1, \dots, x_n) = f^{-1}(\sum \alpha_i f(x_i))$ 。
证明了在 $\sum \alpha_i \neq 1$ 的非反射情形下，存在非连续的双对称 $n$ 元运算，且其任意截面均不连续。

4. 结论与开放问题

核心结论：
- 在非反射情形下，双对称性和严格单调性不能保证连续性，甚至不能保证比单调性更强的正则性。
- 反射性在正则化中起关键作用：单点反射性太弱，但两点反射性（配合对称性）足以强制局部连续性和拟算术结构。
开放问题 (Question 6.3)：
- 是否存在一个全局的反射性、双对称、严格单调二元运算，它是不连续的？
- 目前的反例都是非反射的。如果反射性成立，是否必然连续？这是该领域最重要的未解之谜。
- 对于 $n$ 元情况，即使在对称和反射条件下，连续性仅在 $n=2^k$ 时已知，一般情况仍未知。

5. 论文意义

这篇文章通过巧妙的集合论构造（利用线性无关的康托尔集），打破了关于双对称运算正则性的某些直觉猜想。它清晰地划定了“反射性”这一条件在函数方程理论中的界限：

它证明了 Aczél 经典定理中的连续性假设在缺乏反射性时是不可省略的。
它展示了代数性质（双对称、结合）与序性质（单调）的相互作用在缺乏反射性时是“病态”的（可以构造出极度不规则的解）。
它提出了关于反射性如何从局部传播到全局的深刻问题，为未来的研究指明了方向。

总的来说，这是一篇在泛函方程和均值理论领域具有重要理论价值的论文，通过构造反例深化了对双对称运算结构的理解。