2025-11-18T20:19:14.091338

The characterizations of monotone functions which generate associative functions

Meng, Zhang, Wang

Associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(F(f(x),f(y)))$ where $F:[0,\infty]^2\rightarrow[0,\infty]$ is an associative function, $f: [0,1]\rightarrow [0,\infty]$ is a monotone function which satisfies either $f(x)=f(x^{+})$ when $f(x^{+})\in \mbox{Ran}(f)$ or $f(x)\neq f(y)$ for any $y\neq x$ when $f(x^{+})\notin \mbox{Ran}(f)$ for all $x\in[0,1]$ and $f^{(-1)}:[0,\infty]\rightarrow[0,1]$ is a pseudo-inverse of $f$ depends only on properties of the range of $f$. The necessary and sufficient conditions for the $T$ to be associative are presented by applying the properties of the monotone function $f$.

academic

The characterizations of monotone functions which generate associative functions

基本信息

论文ID: 2409.02941
标题: The characterizations of monotone functions which generate associative functions
作者: Meng Chen, Yun-Mao Zhang, Xue-ping Wang (四川师范大学数学科学学院)
分类: math.GM (General Mathematics)
发表时间: 2024年9月 (arXiv v3: 2025年11月3日)
论文链接: https://arxiv.org/abs/2409.02941

摘要

本文研究由单调函数生成结合函数的刻画问题。具体地，考虑二元函数 $T: [0,1]^2 \rightarrow [0,1]$ ，定义为 $T(x,y)=f^{(-1)}(F(f(x),f(y)))$ ，其中 $F:[0,\infty]^2\rightarrow[0,\infty]$ 是结合函数， $f: [0,1]\rightarrow [0,\infty]$ 是满足特定条件的单调函数， $f^{(-1)}$ 是 $f$ 的伪逆。论文证明了 $T$ 的结合性仅依赖于 $f$ 值域的性质，并给出了 $T$ 结合的充要条件。

研究背景与动机

1. 要解决的问题

论文研究如何从单调函数 $f$ 和结合函数 $F$ 构造新的结合函数 $T$ ，特别关注什么样的单调函数 $f$ 能够保证构造出的 $T$ 具有结合性。

2. 问题的重要性

理论意义: 结合函数的构造方法在求解结合方程理论中扮演不可或缺的角色
历史渊源: 这一思想可追溯到Abel (1826) 的经典工作
应用价值: 三角范数（t-norms）及其生成元理论在模糊逻辑、概率度量空间等领域有广泛应用

3. 现有方法的局限性

Schweizer & Sklar (1961), Ling (1965): 研究了连续严格递减的加性生成元
Klement, Mesiar & Pap (2000): 要求生成元 $f$ 严格递减且满足 $f(x) + f(y) \in \text{Ran}(f) \cup [f(0),\infty]$
Viceńık (2005): 考虑了严格单调函数的情形
Zhang & Wang (2024): 研究了单调右连续函数
局限性: 这些工作都对函数 $f$ 施加了较强的限制（严格单调、右连续等），且需要满足特定的值域条件

4. 研究动机

本文旨在将上述结果推广到更一般的单调函数类，放松对 $f$ 的严格性和连续性要求，仅要求 $f$ 满足较弱的条件：当 $f(x^+) \in \text{Ran}(f)$ 时 $f(x) = f(x^+)$ ，或当 $f(x^+) \notin \text{Ran}(f)$ 时 $f(x) \neq f(y)$ 对所有 $y \neq x$ 成立。

核心贡献

引入新的函数类 $\mathcal{F}$ : 定义了比严格单调和右连续更广泛的单调函数类，包含了这两类作为特例
值域的完整刻画: 证明了函数类 $\mathcal{F}$ 中函数的值域可以用一对 $(S,C)$ 唯一表示，其中 $S$ 是闭区间系统， $C$ 是可数点集（Lemma 3.1）
关键等价性定理: 证明了 $T$ 的结合性等价于在值域 $M = \text{Ran}(f)$ 上定义的运算 $\otimes$ 的结合性（Theorem 4.1），表明结合性仅依赖于值域性质
充要条件I: 在 $F$ 可消去且满足 $F(M, M\backslash C) \subseteq M\backslash C$ 时，给出了 $T$ 结合的充要条件： $F(\cup_{k\in K}I_k, M) \cap M = \emptyset$ 且 $F(M, \cup_{k\in K}I_k) \cap M = \emptyset$ （Theorem 5.1）
充要条件II: 在 $F(C,M) \cup F(M,C) \subseteq M\backslash C$ 时， $T$ 结合当且仅当满足 $F$ -条件（Theorem 5.2）
推广已有结果: 统一并推广了Viceńık、Zhang & Wang、Yao Ouyang等人的工作

方法详解

任务定义

输入:

结合函数 $F: [0,\infty]^2 \rightarrow [0,\infty]$
单调函数 $f: [0,1] \rightarrow [0,\infty]$ 属于函数类 $\mathcal{F}$

输出:

函数 $T: [0,1]^2 \rightarrow [0,1]$ 定义为 $T(x,y) = f^{(-1)}(F(f(x), f(y)))$

目标: 刻画使得 $T$ 具有结合性的函数 $f$ 的性质

核心理论框架

1. 函数类 $\mathcal{F}$ 的定义

$\mathcal{F}$ 包含所有非递减函数 $f: [0,1] \rightarrow [0,\infty]$ 满足：

当 $f(x^+) \in \text{Ran}(f)$ 时， $f(x) = f(x^+)$
当 $f(x^+) \notin \text{Ran}(f)$ 时，对任意 $y \neq x$ 有 $f(x) \neq f(y)$

关键性质: 这个条件确保了 $f(f^{(-1)}(x)) = G_M(x)$ 对所有 $x \in [0,\infty]$ 成立（Lemma 4.1）

2. 值域表示定理（Lemma 3.1）

对于 $M \in \mathcal{A}$ 且 $M \neq [0,\infty]$ ，存在唯一确定的：

闭区间系统 $S = \{[b_k, d_k] \subseteq [0,\infty] \mid k \in K\}$ （可数），满足区间要么不交要么仅在端点相交
可数点集 $C = \{c_k \in [0,\infty] \mid k \in K\}$ ，满足 $[b_k, d_k] \cap C \in \{\{b_k\}, \{d_k\}, \{b_k, d_k\}\}$

使得： $M = \{c_k \in [0,\infty] \mid k \in K\} \cup \left([0,\infty] \backslash \bigcup_{k\in K}[b_k, d_k]\right)$

直观理解: 值域 $M$ 是从 $[0,\infty]$ 中挖去一些开区间或半开区间后，再加上这些区间的某些端点得到的。

3. 函数 $G_M$ 和运算 $\otimes$

定义 $G_M$ (Definition 4.1): $G_M(x) = \max\{M \cap \{\sup([0,x] \cap M), \inf([x,\infty] \cap M)\}\}$

性质 (Proposition 4.1):

$G_M(x) = x$ 当且仅当 $x \in M$
$G_M$ 是非递减函数
当 $x \in [b_k, d_k]$ 且 $x \notin M$ 时， $G_M(x) = d_k$ 若 $d_k \in M$ ，否则 $G_M(x) = b_k$

定义运算 $\otimes$ (Definition 4.2): $x \otimes y = G_M(F(x,y))$

4. 核心等价性定理

Theorem 4.1: $T$ 结合 $\Leftrightarrow$ $\otimes$ 结合

证明思路:

定义辅助函数 $f_*: B \rightarrow [0,\infty]$ （ $B$ 是 $f$ 的"本质定义域"）
定义 $F_0: B^2 \rightarrow B$ 为 $F_0(x,y) = f^{(-1)}(F(f_*(x), f_*(y)))$
证明 $F_0$ 结合 $\Leftrightarrow$ $\otimes$ 结合（Proposition 4.3）
证明 $F_0$ 结合 $\Leftrightarrow$ $T$ 结合（Proposition 4.4）

技术创新点

1. 值域驱动的分析框架

与传统方法关注函数 $f$ 本身的性质不同，本文发现结合性仅依赖于值域 $M = \text{Ran}(f)$ 的结构，这是一个深刻的洞察。

2. 间隔集 $I_k$ 的引入

对每个 $k \in K$ ，定义： $I_k = O(\{a_k\} \cup \{z \in [b_k, d_k]\backslash\{c_k\} \mid \exists x,y \in M: F(x,y) = z\})$ 其中 $a_k$ 是当存在 $x,y \in M$ 使得 $F(x,y) \in [b_k, d_k]\backslash\{c_k\}$ 时的 $x \otimes y$ 值。

这些集合捕捉了运算 $F$ 将 $M$ 中元素映射到"空隙"区间的行为。

3. $F$ -条件的精细刻画

定义三类集合：

$J_1(M) = \bigcup_{y\in M}\bigcup_{k\in K} F(I_k^y, M^y)$
$J_2(M) = \bigcup_{y\in M}\bigcup_{k\in K} F(M_y, I_k^y)$
$J_3(M) = \bigcup_{y\in M}\bigcup_{k,l\in K} J_{k,l}^y$

$F$ -条件要求对所有 $k,l \in K, y \in M$ ：

(C1) $H_k^y = \emptyset$ 或 $F(I_k^y, M^y) \cap (M\backslash C) = \emptyset$
(C2) $H_k^y = \emptyset$ 或 $F(M_y, I_k^y) \cap (M\backslash C) = \emptyset$
(C3) $H_{k,l}^y = \emptyset$ 或 $J_{k,l}^y \cap (M\backslash C) = \emptyset$

这些条件精确刻画了 $F$ 在值域"空隙"处的行为如何影响结合性。

实验设置

数据集

本文是纯理论数学研究，不涉及实验数据集。

例子与反例

论文通过大量精心构造的例子验证理论：

Example 3.1: 展示三个不同的函数及其对应的值域表示 $(S,C)$

Example 5.1: 说明Proposition 5.1的逆命题不成立

$F(x,y) = x+y$ , $f(x) = x$
$T$ 结合，但 $F(\cup_{k\in K}I_k, M) \cap M \neq \emptyset$

Example 5.2: 说明Theorem 5.1中条件不可删除

两个例子分别违反"可消去"和" $F(M,M\backslash C) \subseteq M\backslash C$ "条件
但 $T$ 仍然结合

Example 5.4: 说明Proposition 5.4的逆不成立

$F$ -条件满足但 $T$ 不结合

Example 5.5: 说明Theorem 5.2中条件 $F(C,M) \cup F(M,C) \subseteq M\backslash C$ 的必要性

四个例子展示不同情况

实验结果

主要定理总结

Theorem 5.1 (充要条件I): 设 $F$ 可消去且 $F(M, M\backslash C) \subseteq M\backslash C$ ，则： $T \text{ 结合} \Leftrightarrow F(\cup_{k\in K}I_k, M) \cap M = \emptyset \text{ 且 } F(M, \cup_{k\in K}I_k) \cap M = \emptyset$

Theorem 5.2 (充要条件II): 设 $F(C,M) \cup F(M,C) \subseteq M\backslash C$ ，则： $T \text{ 结合} \Leftrightarrow \text{$F$-条件成立}$

Corollary 5.3: 当 $F$ 可消去时， $F$ -条件中的 $H$ 集合非空，因此充要条件简化为： $T \text{ 结合} \Leftrightarrow J(M) \cap (M\backslash C) = \emptyset$

关键引理

Lemma 5.1: 若 $[\min\{x,y\}, \max\{x,y\}] \cap M = \emptyset$ ，则 $G_M(x) = G_M(y)$

这个引理在证明充分性和必要性时都起到关键作用。

Lemma 5.2: 提供了判断 $F(O(M_1 \cup M_2), c) \cap (M\backslash C) = \emptyset$ 的等价条件

理论验证

论文通过构造性证明和反例：

充分性: Proposition 5.1, 5.3 给出充分条件
必要性: Proposition 5.2, 5.4 给出必要条件
等价性: 在适当假设下建立充要条件（Theorem 5.1, 5.2）
条件不可削弱: Example 5.2, 5.5 说明定理中的假设条件是必要的

结论与讨论

主要结论

结合性的本质: 函数 $T(x,y) = f^{(-1)}(F(f(x), f(y)))$ 的结合性完全由 $f$ 的值域 $M = \text{Ran}(f)$ 的结构决定，与 $f$ 的其他性质（如连续性、严格性）无关
值域刻画: 对于函数类 $\mathcal{F}$ ，值域可以用一对 $(S,C)$ 唯一表示，其中 $S$ 是闭区间系统， $C$ 是可数点集
充要条件: 在不同假设下（ $F$ 可消去、满足特定值域条件等），给出了 $T$ 结合的多个等价刻画
推广性: 结果适用于所有严格单调函数和单调右连续函数，推广了多个已有工作