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

以下是 Jiménez-Fernández 等人所著论文《模糊 Lipschitz 映射的 McShane-Whitney 延拓的修订与扩展版本》的详细技术总结。

1. 问题陈述

本文针对现有文献中关于将模糊 Lipschitz 映射从模糊度量空间的子集延拓至整个空间这一关键空白进行了探讨。具体而言，文章批评了同一作者于 2021 年在《Fuzzy Sets and Systems》上发表的一项先前成果。

• 缺陷：2021 年的论文为映射到欧几里得模糊度量空间 $(\mathbb{R}, M_{\phi,g}, *)$ 建立了 McShane-Whitney 延拓定理。然而，该工作的证明隐含地依赖于逆函数 $\phi^{-1}$ 的存在性。
• 矛盾：在欧几里得模糊度量空间的定义中，函数 $\phi: [0, +\infty) \to [0, +\infty)$ 仅要求是递增的。它不一定是双射（既单又满）。正如论文所指出的，$\phi$ 也是有界的，这意味着标准的逆函数 $\phi^{-1}$ 通常不存在。
• 目标：作者旨在修正这些证明并扩展该定理，用一种适用于一般递增函数 $\phi$ 的数学严谨替代方案，来取代不存在的逆函数 $\phi^{-1}$。

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$。为了防止这破坏延拓，他们针对 Lipschitz 常数相对于 $\phi$ 的上确界引入了一个有界性条件。

3. 主要贡献

A. 理论修正

本文修正了模糊 Lipschitz 映射的 McShane-Whitney 延拓定理的定义和证明。它表明，假设 $\phi$ 可逆是不必要且不正确的；$\phi$ 的左连续性及其右伴随 $\phi^*$ 的使用已足够。

B. 修订后的定理（定理 5）

作者提出了带有特定约束的修正版延拓定理：

• 条件：为了使延拓存在，涉及 Lipschitz 常数 $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. 特定示例的应用

作者重访了原始 2021 年论文中的两个具体示例，其中 $\phi(x) = \min\{x, 1\}$（该函数不是双射）。

• 他们证明了原始公式是无效的，因为对于该函数 $\phi^{-1}$ 不存在。
• 他们利用 $\phi^*$ 推导出了修正后的显式公式，在该特定情况下，$\phi^*$ 表现为一个分段函数（对小值进行 2 倍缩放，对大值变为无穷大，受有界性约束限制）。

4. 结果

• 存在性证明：本文证明了在 $\phi$ 左连续且 Lipschitz 条件满足有界性约束的情况下，模糊 Lipschitz 延拓总是存在的。
• 性质保持：已证明构造的延拓（$f^M$ 和 $f^W$）是整个空间 $X \times (0, +\infty)$ 上的模糊 Lipschitz 映射。
• 推广：结果适用于比以往认为更广泛的欧几里得模糊度量空间类，消除了对 $\phi$ 双射性的限制性（且经常是错误的）假设。

5. 意义

• 数学严谨性：本文纠正了模糊 Lipschitz 延拓基础理论中一个微妙但重大的逻辑错误。它确保了该领域的定理依赖于必要且充分的条件，而非隐含假设。
• 实际适用性：通过为非双射 $\phi$ 函数（如 $\min\{x, 1\}$）提供正确的公式，本文使 McShane-Whitney 延拓定理适用于更广泛的实际模糊度量空间，这些空间用于数据分析、图像处理和近似推理。
• 理论框架：将右伴随 $\phi^*$ 作为处理不可逆模糊度量函数的标准工具引入，为模糊度量空间和模糊 Lipschitz 分析的未来研究建立了一个稳健的框架。

总之，本文是对先前工作的必要修正和扩展，用基于右伴随的严谨序论方法取代了对逆函数的有缺陷依赖，从而巩固了模糊 Lipschitz 映射延拓的理论基础。