A revised and extended version of McShane-Whitney extensions for fuzzy Lipschitz maps

Jiménez-Fernández 他による論文「A Revised and Extended Version of McShane-Whitney Extensions for Fuzzy Lipschitz Maps」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、ファジィ距離空間の部分集合から全体空間へのファジィリプシッツ写像の拡張に関する既存文献における重要なギャップに取り組んでいる。具体的には、同じ著者らによって Fuzzy Sets and Systems (2021) に発表された先行結果を批判的に検討している。

• 欠陥: 2021 年の論文は、ユークリッド型ファジィ距離空間 $(\mathbb{R}, M_{\phi,g}, *)$ への写像に対する McShane-Whitney 拡張定理を確立していた。しかし、その証明は暗黙のうちに逆関数 $\phi^{-1}$ の存在に依存していた。
• 矛盾: ユークリッド型ファジィ距離空間の定義において、関数 $\phi: [0, +\infty) \to [0, +\infty)$ は単調増加であることのみが要求される。必ずしも全単射（単射かつ全射）である必要はない。論文が指摘するように、$\phi$ は有界であるため、標準的な逆関数 $\phi^{-1}$ はしばしば存在しない。
• 目的: 著者らは、これらの証明を修正し、存在しない逆関数 $\phi^{-1}$ を、一般的な単調増加関数 $\phi$ に対して機能する数学的に厳密な代替手段に置き換えることで、定理を拡張することを目的としている。

2. 手法

著者らは、この問題を解決するためにファジィ集合論、距離幾何学、および順序論（特にガロア接続）の道具を用いている。

• 空間定義の精緻化: 彼らは左連続なユークリッド型ファジィ距離空間の概念を導入する。これにより、$\phi$ は単に単調増加であるだけでなく、左連続であることが要求される。
• 右随伴 ($\phi^*$) の導入:
  • $\phi$ が逆関数を持たない可能性があるため、著者らは $\phi$ の右随伴（または残差）$\phi^*$ を利用する。
  • 定義は以下の通り：$\phi^*(y) = \sup \{x \in [0, +\infty] : \phi(x) \leq y\}$。
  • 主要な性質:
    1. $\text{id} \leq \phi^* \circ \phi$（合成は恒等写像以上である）。
    2. $\phi$ が単調増加かつ左連続であれば、$\phi \circ \phi^* \leq \text{id}$ となる。
  • これにより、著者らは $\phi$ が全単射であることを要求することなく、不等式の論理を「逆転」させることができる。
• 有界性の扱い: 著者らは、$\phi$ が有界である場合（ファジィ距離ではこれが真である）、$\phi^*$ は大きな入力に対して $+\infty$ の値を取りうることを特定する。これが拡張を破綻させないよう、リプシッツ定数と $\phi$ の上限に関する有界性条件を導入する。

3. 主要な貢献

A. 理論的修正

本論文は、ファジィリプシッツ写像に対する McShane-Whitney 拡張定理の定義と証明を修正する。$\phi$ が逆関数を持つという仮定は不要かつ誤りであることを示し、$\phi$ の左連続性とその右随伴 $\phi^*$ の使用だけで十分であることを実証する。

B. 修正された定理（定理 5）

著者らは、特定の制約を伴う拡張定理の修正版を提示する。

• 条件: 拡張が存在するためには、リプシッツ定数 $K(t)$、関数 $g(t)$、およびファジィ距離 $(1 - M(x,y,t))$ を含む項が、$\phi(+\infty)$ より厳密に小さくなければならない。
• 意義: これにより、$\phi^*$ に渡される引数が有限の範囲内に留まり、拡張が未定義になることを防ぐ。

C. 明示的な拡張式

本論文は、McShane 拡張と Whitney 拡張の修正された式を提供する。$\phi^{-1}$ の代わりに、式は $\phi^*$ を利用する。

• McShane 拡張 ($f^M$):
  $$f^M(x, t) = \sup_{s \in S} \left\{ f(s, t) - \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$$
• Whitney 拡張 ($f^W$):
  $$f^W(x, t) = \inf_{s \in S} \left\{ f(s, t) + \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$$

D. 具体的な例への適用

著者らは、$\phi(x) = \min\{x, 1\}$（これは全単射ではない）である、元の 2021 年の論文からの 2 つの具体的な例を再検討する。

• 彼らは、この関数に対して $\phi^{-1}$ が存在しないため、元の式は無効であったことを示す。
• 彼らは、$\phi^*$ を用いた修正された明示的な式を導出する。この特定のケースにおいて、$\phi^*$ は有界性制約に従い、小さな値に対しては 2 倍にスケーリングし、大きな値に対しては無限大になるような区分的関数として機能する。

4. 結果

• 存在証明: 論文は、$\phi$ が左連続であり、かつリプシッツ条件が有界性制約を満たすという条件下では、ファジィリプシッツ拡張が常に存在することを証明する。
• 性質の保持: 構成された拡張（$f^M$ および $f^W$）は、全体空間 $X \times (0, +\infty)$ 上のファジィリプシッツ写像であることが証明される。
• 一般化: 結果は、以前考えられていたよりも広範なクラスのユークリッド型ファジィ距離空間に適用可能であり、$\phi$ に対する全単性の制限的（かつしばしば誤った）仮定を排除する。

5. 意義

• 数学的厳密性: 本論文は、ファジィリプシッツ拡張の基礎理論における微妙だが重大な論理的誤りを是正する。これにより、この分野の定理は暗黙の仮定ではなく、必要十分条件に基づいて構築されるようになる。
• 実用的適用性: 非全単射 $\phi$ 関数（$\min\{x, 1\}$ など）に対する正しい式を提供することで、本論文は、データ分析、画像処理、近似推論において使用されるより広範な実用的ファジィ距離空間に対して McShane-Whitney 拡張定理を適用可能にする。
• 理論的枠組み: 非可逆なファジィ距離関数を処理する標準的な道具として右随伴 $\phi^*$ を導入することは、ファジィ距離空間およびファジィリプシッツ解析における将来の研究のための堅牢な枠組みを確立する。

要約すると、本論文は、逆関数への欠陥のある依存を、右随伴を用いた厳密な順序論的アプローチに置き換えることで、以前の作業に対する必要な修正および拡張を提供し、ファジィリプシッツ写像の拡張のための理論的基盤を確固たるものとする。