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

単調関数が生成する結合関数の特性化

基本情報

論文ID: 2409.02941
タイトル: The characterizations of monotone functions which generate associative functions
著者: Meng Chen, Yun-Mao Zhang, Xue-ping Wang（四川師範大学数学科学学院）
分類: math.GM（一般数学）
発表時期: 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$ を構成する方法を研究する。特に、構成された $T$ が結合性を保証するような単調関数 $f$ の性質に焦点を当てる。

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)$ のとき、すべての $y \neq x$ に対して $f(x) \neq f(y)$ が成立する。

核心的貢献

新しい関数クラス $\mathcal{F}$ の導入: 厳密単調性と右連続性より広い単調関数クラスを定義し、これら二つのクラスを特例として含む
値域の完全な特性化: 関数クラス $\mathcal{F}$ 内の関数の値域は、一対 $(S,C)$ で一意に表現できることを証明する。ここで $S$ は閉区間系、 $C$ は可算点集（補題3.1）
重要な等価性定理: $T$ の結合性が、値域 $M = \text{Ran}(f)$ 上で定義される演算 $\otimes$ の結合性と等価であることを証明（定理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$ （定理5.1）
必要十分条件II: $F(C,M) \cup F(M,C) \subseteq M\backslash C$ のとき、 $T$ が結合的であることと $F$ -条件が成立することは等価（定理5.2）
既存結果の推広: Viceńık、Zhang & Wang、Yao Ouyangらの研究を統一し推広する

方法の詳細説明

タスク定義

入力:

結合関数 $F: [0,\infty]^2 \rightarrow [0,\infty]$
関数クラス $\mathcal{F}$ に属する単調関数 $f: [0,1] \rightarrow [0,\infty]$

出力:

関数 $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)$

重要な性質: この条件は、すべての $x \in [0,\infty]$ に対して $f(f^{(-1)}(x)) = G_M(x)$ が成立することを保証する（補題4.1）

2. 値域表示定理（補題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$ の定義（定義4.1）: $G_M(x) = \max\{M \cap \{\sup([0,x] \cap M), \inf([x,\infty] \cap M)\}\}$

性質（命題4.1）:

$G_M(x) = x$ であることと $x \in M$ は等価
$G_M$ は非減少関数
$x \in [b_k, d_k]$ かつ $x \notin M$ のとき、 $d_k \in M$ なら $G_M(x) = d_k$ 、そうでなければ $G_M(x) = b_k$

演算 $\otimes$ の定義（定義4.2）: $x \otimes y = G_M(F(x,y))$

4. 核心的等価性定理

定理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$ が結合的であることを証明（命題4.3）
$F_0$ が結合的 $\Leftrightarrow$ $T$ が結合的であることを証明（命題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$ の動作が結合性にどのように影響するかを正確に特性化する。

実験設定

データセット

本論文は純粋な理論数学研究であり、実験データセットを含まない。

例と反例

論文は、慎重に構成された多くの例を通じて理論を検証する：

例3.1: 三つの異なる関数とそれに対応する値域表示 $(S,C)$ を示す

例5.1: 命題5.1の逆が成立しないことを示す

$F(x,y) = x+y$ 、 $f(x) = x$
$T$ は結合的だが、 $F(\cup_{k\in K}I_k, M) \cap M \neq \emptyset$

例5.2: 定理5.1の条件が削除不可能であることを示す

二つの例は、それぞれ「消去可能性」と「 $F(M,M\backslash C) \subseteq M\backslash C$ 」条件に違反
しかし $T$ は依然として結合的

例5.4: 命題5.4の逆が成立しないことを示す

$F$ -条件は満たされるが $T$ は結合的でない

例5.5: 定理5.2の条件 $F(C,M) \cup F(M,C) \subseteq M\backslash C$ の必要性を示す

四つの例は異なる状況を示す

実験結果

主要定理の要約

定理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$

定理5.2（必要十分条件II）: $F(C,M) \cup F(M,C) \subseteq M\backslash C$ とする。このとき： $T \text{ が結合的} \Leftrightarrow \text{$F$-条件が成立}$

系5.3: $F$ が消去可能なとき、 $F$ -条件の $H$ 集合は非空であり、必要十分条件は以下に簡略化される： $T \text{ が結合的} \Leftrightarrow J(M) \cap (M\backslash C) = \emptyset$

重要な補題

補題5.1: $[\min\{x,y\}, \max\{x,y\}] \cap M = \emptyset$ ならば、 $G_M(x) = G_M(y)$

この補題は、十分性と必要性の証明の両方で重要な役割を果たす。

補題5.2: $F(O(M_1 \cup M_2), c) \cap (M\backslash C) = \emptyset$ を判定するための等価条件を提供

理論的検証

論文は構成的証明と反例を通じて以下を実施する：

十分性: 命題5.1、5.3が十分条件を与える
必要性: 命題5.2、5.4が必要条件を与える
等価性: 適切な仮定の下で必要十分条件を確立（定理5.1、5.2）
条件の削除不可能性: 例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$ が結合的であるための複数の等価な特性化を与える
推広性: 結果はすべての厳密単調関数と単調右連続関数に適用可能であり、複数の既存研究を推広する

限界

関数クラスの制限: 依然として $f \in \mathcal{F}$ を要求する。すなわち、右極限に関する特定の条件を満たす必要があり、すべての単調関数への推広はまだ達成されていない
条件の複雑性: 必要十分条件（特に $F$ -条件）は複数の集合の定義を含み、実際の応用での検証は複雑である可能性がある
定理の仮定: 定理5.1と5.2は両方とも追加の仮定（消去可能性、値域条件など）を必要とする。例5.2と5.5は、これらの仮定を単純に削除することはできないことを示す
構成性: 論文は主に判定条件を与え、与えられた $F$ に対して条件を満たす $f$ を構成する方法（またはその逆）のアルゴリズム的方法についての議論は少ない
応用指向: 純粋な理論研究として、具体的な応用シーンの議論が不足している