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

A continuación se presenta un resumen técnico detallado del artículo "Una versión revisada y extendida de las extensiones de McShane-Whitney para aplicaciones Lipschitz difusas" de Jiménez-Fernández et al.

1. Planteamiento del Problema

El artículo aborda una brecha crítica en la literatura existente sobre la extensión de aplicaciones Lipschitz difusas desde un subconjunto de un espacio métrico difuso hacia todo el espacio. Específicamente, critica un resultado anterior publicado en Fuzzy Sets and Systems (2021) por los mismos autores.

• El Fallo: El artículo de 2021 estableció un teorema de extensión de McShane-Whitney para aplicaciones hacia un espacio métrico difuso euclidiano $(\mathbb{R}, M_{\phi,g}, *)$. Sin embargo, las demostraciones en ese trabajo dependían implícitamente de la existencia de la función inversa $\phi^{-1}$.
• La Contradicción: En la definición de un espacio métrico difuso euclidiano, la función $\phi: [0, +\infty) \to [0, +\infty)$ solo se requiere que sea creciente. No es necesariamente biyectiva (inyectiva y sobreyectiva). Como se señala en el artículo, $\phi$ también es acotada, lo que significa que una inversa estándar $\phi^{-1}$ a menudo no existe.
• El Objetivo: Los autores buscan corregir estas demostraciones y extender el teorema reemplazando la inexistente inversa $\phi^{-1}$ con una alternativa matemáticamente rigurosa que funcione para funciones crecientes generales $\phi$.

2. Metodología

Los autores emplean herramientas de la teoría de conjuntos difusos, la geometría métrica y la teoría del orden (específicamente conexiones de Galois) para resolver el problema.

• Refinamiento de la Definición del Espacio: Introducen el concepto de un espacio métrico difuso euclidiano izquierdo-continuo. Esto requiere que $\phi$ no sea solo creciente, sino también izquierdo-continua.
• Introducción del Adjunto Derecho ($\phi^*$):
  • Dado que $\phi$ puede no ser invertible, los autores utilizan el adjunto derecho (o residual) de $\phi$, denotado como $\phi^*$.
  • Definido como: $\phi^*(y) = \sup \{x \in [0, +\infty] : \phi(x) \leq y\}$.
  • Propiedades Clave:
    1. $\text{id} \leq \phi^* \circ \phi$ (La composición es mayor o igual que la identidad).
    2. Si $\phi$ es creciente y izquierdo-continua, entonces $\phi \circ \phi^* \leq \text{id}$.
  • Esto permite a los autores "invertir" la lógica de la desigualdad sin requerir que $\phi$ sea biyectiva.
• Manejo de la Acotación: Los autores identifican que si $\phi$ es acotada (lo cual es cierto para métricas difusas), $\phi^*$ puede tomar el valor $+\infty$ para entradas grandes. Para evitar que esto rompa la extensión, introducen una condición de acotación sobre la constante Lipschitz relativa al supremo de $\phi$.

3. Contribuciones Clave

A. Corrección Teórica

El artículo corrige la definición y las demostraciones del teorema de extensión de McShane-Whitney para aplicaciones Lipschitz difusas. Demuestra que la suposición de que $\phi$ es invertible era innecesaria e incorrecta; la izquierdo-continuidad de $\phi$ y el uso de su adjunto derecho $\phi^*$ son suficientes.

B. Teorema Revisado (Teorema 5)

Los autores presentan una versión corregida del teorema de extensión con una restricción específica:

• Condición: Para que la extensión exista, el término que involucra la constante Lipschitz $K(t)$, la función $g(t)$ y la distancia difusa $(1 - M(x,y,t))$ debe ser estrictamente menor que $\phi(+\infty)$.
• Significado: Esto asegura que el argumento pasado a $\phi^*$ permanezca dentro de un rango donde es finito, evitando que la extensión quede indefinida.

C. Fórmulas de Extensión Explícitas

El artículo proporciona fórmulas corregidas para las extensiones de McShane y Whitney. En lugar de usar $\phi^{-1}$, las fórmulas ahora utilizan $\phi^*$:

• Extensión de 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\}$$
• Extensión de 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. Aplicación a Ejemplos Específicos

Los autores revisan dos ejemplos específicos del artículo original de 2021 donde $\phi(x) = \min\{x, 1\}$ (que no es biyectivo).

• Demuestran que las fórmulas originales eran inválidas porque $\phi^{-1}$ no existe para esta función.
• Derivan las fórmulas explícitas corregidas utilizando $\phi^*$, que en este caso específico actúa como una función a trozos (escalando por 2 para valores pequeños y volviéndose infinita para valores grandes, sujeto a la restricción de acotación).

4. Resultados

• Prueba de Existencia: El artículo demuestra que bajo la condición de que $\phi$ sea izquierdo-continua y la condición Lipschitz satisfaga la restricción de acotación, siempre existe una extensión Lipschitz difusa.
• Preservación de Propiedades: Se demuestra que las extensiones construidas ($f^M$ y $f^W$) son aplicaciones Lipschitz difusas en todo el espacio $X \times (0, +\infty)$.
• Generalización: Los resultados se aplican a una clase más amplia de espacios métricos difusos euclidianos de lo que se pensaba anteriormente, eliminando la suposición restrictiva (y a menudo falsa) de biyectividad para $\phi$.

5. Significado

• Rigor Matemático: El artículo rectifica un error lógico sutil pero significativo en la teoría fundamental de las extensiones Lipschitz difusas. Asegura que los teoremas en este campo se basen en condiciones necesarias y suficientes en lugar de suposiciones implícitas.
• Aplicabilidad Práctica: Al proporcionar fórmulas correctas para funciones $\phi$ no biyectivas (como $\min\{x, 1\}$), el artículo hace que el teorema de extensión de McShane-Whitney sea aplicable a una gama más amplia de espacios métricos difusos prácticos utilizados en el análisis de datos, el procesamiento de imágenes y el razonamiento aproximado.
• Marco Teórico: La introducción del adjunto derecho $\phi^*$ como una herramienta estándar para manejar funciones de espacio métrico difuso no invertibles establece un marco robusto para futuras investigaciones en espacios métricos difusos y análisis Lipschitz difuso.

En resumen, este artículo sirve como una corrección y extensión necesaria del trabajo anterior, reemplazando la dependencia defectuosa de funciones inversas con un enfoque riguroso basado en la teoría del orden utilizando adjuntos derechos, solidificando así la base teórica para la extensión de aplicaciones Lipschitz difusas.