Picture Fuzzy Multigroups

Resumen Técnico: Multigrupos Difusos de Imagen

Planteamiento del Problema y Contexto
El artículo aborda la necesidad de extender las estructuras algebraicas dentro del marco de la teoría de conjuntos difusos para manejar una incertidumbre más compleja. Los autores rastrean la evolución de la teoría de conjuntos desde los Conjuntos Difusos (FS) de Zadeh, pasando por los Conjuntos Difusos Intuicionistas (IFS) de Atanassov, hasta llegar a los Conjuntos Difusos de Imagen (PFS) de Cuong y Kreinovich, que incorporan grados de membresía positivos, neutros y negativos. Paralelamente, el concepto de multiconjuntos (donde los elementos pueden ocurrir múltiples veces) fue introducido por Yager y extendido a los Multiconjuntos Difusos Intuicionistas. Mientras que Cao et al. habían establecido previamente los Multiconjuntos Difusos de Imagen (PFMS) como una generalización tanto de los Multiconjuntos Difusos como de los Multiconjuntos Difusos Intuicionistas, y Shinoj y Sunil habían definido los Multigrupos Difusos Intuicionistas, faltaba una definición formal y un análisis algebraico de los Multigrupos Difusos de Imagen (PFMG). Este artículo tiene como objetivo llenar ese vacío mediante la introducción del concepto de PFMG y el establecimiento de sus propiedades algebraicas fundamentales.

Metodología
El estudio emplea un enfoque matemático deductivo basado en el álgebra abstracta y la lógica difusa. La metodología procede de la siguiente manera:

1. Definiciones Fundacionales: El artículo comienza revisando los preliminares necesarios, incluyendo las definiciones de Conjuntos Difusos, Conjuntos Difusos Intuicionistas y Conjuntos Difusos de Imagen. Define específicamente los Multiconjuntos Difusos de Imagen (PFMS) sobre un grupo nítido $C$, caracterizados por tres funciones de conteo: Conteo de Membresía Positiva ($PC_M$), Conteo de Membresía Neutra ($NeC_M$) y Conteo de Membresía Negativa ($NC_M$).
2. Operaciones Estructurales: Los autores definen operaciones en los PFMS, incluyendo el inverso ($D^{-1}$) y el compuesto ($D \circ E$) de dos multiconjuntos difusos de imagen. Estas operaciones se definen utilizando operaciones de retículo (supremo $\vee$ e ínfimo $\wedge$) aplicadas a los conteos de membresía de los elementos y sus inversos dentro del grupo.
3. Definición de PFMG: Un Multiconjunto Difuso de Imagen $D$ se define como un Multigrupo Difuso de Imagen si sus conteos de membresía satisfacen desigualdades específicas con respecto a la operación del grupo e inversos. Específicamente, los conteos positivos y neutros deben ser no decrecientes bajo la operación del grupo e inversos, mientras que el conteo negativo debe ser no creciente.
4. Demostraciones Teóricas: El artículo utiliza estas definiciones para demostrar una serie de teoremas sobre las propiedades de los PFMG, incluyendo la clausura bajo inversión, el comportamiento bajo composición y la relación entre un PFMG y sus cortes de nivel.

Contribuciones Clave y Resultados
La contribución principal del artículo es la introducción formal de los Multigrupos Difusos de Imagen y la subsecuente derivación de sus propiedades algebraicas. Los resultados específicos establecidos incluyen:

• Propiedades de Inverso y Composición: El artículo demuestra que el inverso de un PFMG es también un PFMG y establece la relación $(D \circ E)^{-1} = E^{-1} \circ D^{-1}$. Además, proporciona formulaciones alternativas para la operación compuesta utilizando elementos de grupo únicos.
• Desigualdades Fundamentales: El Teorema 3.3 demuestra que para cualquier PFMG $D$, los conteos de membresía en el elemento identidad $e$ son máximos para los conteos positivos y neutros, y mínimos para el conteo negativo (es decir, $PC_M(e) \geq PC_M(g)$, $NeC_M(e) \geq NeC_M(g)$, y $NC_M(e) \leq NC_M(g)$). También demuestra que $D^{-1} \supseteq D$.
• Condiciones Equivalentes: El Teorema 3.4 proporciona una condición equivalente para que un PFMS sea un PFMG, estableciendo que $D$ es un PFMG si y solo si las condiciones de membresía se cumplen para la expresión $g_1 g_2^{-1}$.
• Conjuntos de Corte y Subgrupos: El artículo introduce el conjunto de corte $(d, r, s, t)$ para un multiconjunto difuso de imagen. El Teorema 3.5 demuestra que si $D$ es un PFMG, su conjunto de corte $(d, r, s, t)$ es un subgrupo nítido del grupo subyacente $C$.
• Subgrupos de Nivel: El Teorema 3.6 define el conjunto $D^*$ que consiste en los elementos donde los conteos de membresía son iguales a los del elemento identidad. El artículo demuestra que $D^*$ forma un subgrupo nítido de $C$.

Significancia y Reivindicaciones
El artículo afirma modestamente que su significancia radica en la extensión del trabajo existente sobre Multigrupos Difusos Intuicionistas (Shinoj y Sunil) al contexto más amplio de los Conjuntos Difusos de Imagen. Al introducir los PFMG, los autores proporcionan una nueva estructura algebraica que puede modelar la incertidumbre con mayor granularidad, contabilizando opiniones positivas, neutras y negativas simultáneamente dentro de un entorno de multiconjuntos. El establecimiento de propiedades tales como la naturaleza de subgrupo de los conjuntos de corte y el comportamiento de los inversos y composiciones sienta las bases teóricas necesarias para futuras aplicaciones de estas estructuras en sistemas algebraicos que involucren una incertidumbre compleja y multifacética. El artículo no propone aplicaciones del mundo real específicas ni validaciones experimentales, sino que se centra estrictamente en la consistencia matemática y las propiedades del concepto introducido.