A general framework for level continuous fuzzy-valued functions

Resumen Técnico: Un Marco General para Funciones con Valores Difusos Continuos por Niveles

1. Planteamiento del Problema

El análisis difuso, basado en números difusos y funciones con valores difusos, requiere un desarrollo específico debido a las propiedades algebraicas y estructurales distintas de los números reales frente a los números difusos. Un desafío central en este campo es el tratamiento de funciones continuas con valores difusos, denotadas como $C(K, E^1)$, donde $K$ es un espacio compacto y $E^1$ es el conjunto de números difusos.

Existen dos topologías principales en $E^1$:

1. La métrica del supremo ($d_\infty$): Induce una topología más fuerte.
2. La convergencia por niveles ($\tau_\ell$): Induce una topología más débil (menor).

El problema radica en que, aunque el espacio de funciones continuas bajo la métrica $d_\infty$ ($C(K, E^1_\infty)$) ha sido estudiado extensamente mediante la caracterización de Goetschel-Voxman (que incrusta $E^1$ en un espacio de Banach), el caso más general de funciones continuas bajo la topología de convergencia por niveles ($C(K, E^1_\ell)$) presenta dificultades. En este contexto general, las funciones asociadas a los números difusos no necesariamente son continuas en la primera coordenada (el nivel $\lambda$), lo que impide aplicar directamente los resultados clásicos de análisis funcional en espacios de funciones continuas conjuntas.

2. Metodología

Los autores desarrollan un marco teórico que permite representar funciones con valores difusos continuos por niveles mediante funciones reales de dos variables. La metodología se basa en los siguientes pasos:

• Caracterización Paramétrica: Se utiliza la caracterización de Goetschel-Voxman, donde cada número difuso $u$ se define por dos funciones reales $u^-(\lambda)$ y $u^+(\lambda)$ (los extremos de sus $\lambda$-cortes).
• Representación de Funciones: Para una función $f: K \to E^1$, se definen dos funciones reales $f_1, f_2: [0, 1] \times K \to \mathbb{R}$:
  • $f_1(\lambda, t) = [f(t)]^-(\lambda)$
  • $f_2(\lambda, t) = [f(t)]^+(\lambda)$
• Análisis de Continuidad: Se estudia la continuidad de estas funciones en las dos variables. Se distingue entre:
  • Continuidad separada: Continuidad en cada variable por separado.
  • Continuidad conjunta: Continuidad simultánea.
  • Se introduce el concepto de continuidad izquierda-continua (left continuous - continuous) y continuidad derecha-continua (right continuous - continuous) en el producto $[0, 1] \times K$.
• Construcción de un Nuevo Espacio: Se define un nuevo espacio funcional, denotado como $\mathcal{C}([0, 1] \times K)$, que contiene funciones reales que satisfacen condiciones específicas de monotonía y continuidad lateral (izquierda en $(0, 1]$ y derecha en $0$).

3. Contribuciones Clave

• Definición del Espacio $\mathcal{C}([0, 1] \times K)$: Los autores introducen un espacio de funciones reales de dos variables que son:
  1. Conjuntamente continuas izquierda-izquierda (en el primer argumento) y continuas en el segundo argumento para $(\lambda, t) \in (0, 1] \times K$.
  2. Conjuntamente continuas derecha-izquierda en el borde $\{0\} \times K$.
  3. Monótonas en la primera coordenada ($\lambda$) para cada $t$ fijo.
• Propiedades del Espacio: Se demuestra que, aunque este espacio es un subconjunto cerrado de las funciones acotadas (y por tanto completo bajo la norma del supremo), no es un espacio vectorial ni un cono, ya que no es cerrado bajo la suma (la suma de una función no decreciente y una no creciente puede perder la monotonía). Sin embargo, contiene conos convexos cerrados específicos.
• Teorema de Incrustación Isométrica e Isomorfa: El resultado principal (Teorema 4.7) establece que el espacio de funciones continuas por niveles $C(K, E^1_\ell)$ puede incrustarse isométrica e isomórficamente en un producto de dos copias del espacio $\mathcal{C}([0, 1] \times K)$. Esto permite estudiar propiedades de funciones difusas complejas mediante el análisis de funciones reales de dos variables.
• Distinción entre Topologías: Se utiliza esta representación para demostrar diferencias fundamentales entre $C(K, E^1_\ell)$ y $C(K, E^1_\infty)$, centrándose en el comportamiento de los límites laterales derechos.

4. Resultados Principales

• Acotación: Se prueba que cualquier función en $\mathcal{C}([0, 1] \times K)$ es acotada, gracias a la combinación de la compacidad de $K$, la compacidad del intervalo $[0, 1]$ y la monotonía en la primera coordenada.
• Convergencia Uniforme vs. Puntual:
  • Para funciones en $C(K, E^1_\infty)$, la convergencia de las funciones representadas $f_i(\lambda, t)$ es uniforme en $\lambda$. Esto implica que los límites laterales derechos se comportan bien conjuntamente (Lema 5.6).
  • Para funciones en $C(K, E^1_\ell)$, la convergencia es solo puntual en $\lambda$.
• Fallo de la Propiedad de Límite Derecho Conjunto: Se demuestra mediante contraejemplos (Ejemplos 3.1, 5.4 y 5.8) que en el caso de la topología de convergencia por niveles ($\tau_\ell$), la propiedad de "continuidad conjunta del límite derecho" no se cumple necesariamente. Específicamente, el límite $\lim_{t \to t_0} f(\lambda_0^+, t)$ no siempre es igual a $f(\lambda_0^+, t_0)$, a diferencia de lo que ocurre en el caso $d_\infty$.
• Carácter del Espacio: Se confirma que el espacio $\mathcal{C}([0, 1] \times K)$ es un subconjunto cerrado de las funciones acotadas, lo que garantiza su completitud, a pesar de no ser un espacio lineal.

5. Significado e Impacto

• Generalización del Análisis Difuso: El marco propuesto permite tratar funciones con valores difusos que no son necesariamente continuas en el sentido clásico (topología $d_\infty$), abarcando así un espectro más amplio de aplicaciones en sistemas difusos.
• Nueva Herramienta Analítica: La introducción del espacio $\mathcal{C}([0, 1] \times K)$ llena un vacío en la literatura del análisis clásico y difuso. Proporciona un lenguaje riguroso para manejar la discontinuidad en los niveles de los números difusos.
• Aplicaciones Potenciales: Al permitir la incrustación isométrica de funciones difusas en un espacio de funciones reales bien definido, se facilitan estudios sobre:
  • Ecuaciones diferenciales difusas.
  • Optimización difusa.
  • Teoría de la decisión difusa.
  • Propiedades de integrabilidad y medibilidad en contextos más generales.
• Clarificación Estructural: El trabajo aclara las diferencias estructurales profundas entre la continuidad bajo la métrica del supremo y la continuidad por niveles, mostrando que la propiedad de los límites laterales derechos es el factor clave que distingue el comportamiento de estas dos clases de funciones.

En conclusión, el artículo establece una base sólida y general para el análisis de funciones con valores difusos continuos por niveles, transformando un problema complejo en el dominio difuso en un problema manejable dentro de un espacio de funciones reales con propiedades de continuidad lateral y monotonía específicas.