🔢 mathematics

Relation-Theoretic Banach Contraction Principle in Topological Spaces with an Application

Este artículo extiende el principio de contracción de Banach a los espacios topológicos mediante la introducción de aplicaciones de contracción que preservan relaciones, valida el resultado con un ejemplo visualizado en MATLAB y demuestra su aplicación en la resolución de ecuaciones diferenciales fraccionarias.

Autores originales: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Publicado 2026-08-18

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el vasto paisaje de las matemáticas, existe una rama dedicada a encontrar puntos que no se mueven cuando se les aplica una regla. Imagine un mapa de una ciudad donde a cada ubicación se le asigna una nueva ubicación. Un "punto fijo" es un lugar en ese mapa que, al aplicar la regla, apunta de nuevo hacia sí mismo. Este concepto no es solo un rompecabezas abstracto; es una herramienta poderosa utilizada para resolver problemas del mundo real, desde predecir el equilibrio de un mercado hasta comprender cómo un fluido se asienta. Durante décadas, la herramienta más famosa para encontrar estos puntos inmóviles ha dependido de un sistema estricto de medición de distancia, muy parecido a usar una regla para asegurar que cada paso dado hacia una solución te acerque más al objetivo. Este método, conocido como el principio de contracción de Banach, ha sido una piedra angular del análisis moderno, garantizando que una solución existe y es única bajo condiciones muy específicas.

Sin embargo, el mundo no siempre se mide ordenadamente con una sola regla. En muchos sistemas complejos, las reglas estándar de distancia fallan, o la estructura del espacio es demasiado irregular para que las herramientas tradicionales funcionen. Los matemáticos han buscado durante mucho tiempo formas de extender estas ideas poderosas hacia estos entornos más caóticos o abstractos, como los espacios topológicos generales donde el concepto habitual de distancia podría ni siquiera existir. El desafío ha sido encontrar una forma de guiar un proceso hacia una solución sin una cinta métrica rígida, basándose en cambio en las relaciones entre los puntos mismos. Aquí es donde entra el trabajo de Md Hasanuzzaman, Abhishikta Das y Sumit Som, ofreciendo una nueva forma de navegar por estos territorios inexplorados.

Los investigadores se propusieron resolver un problema específico: ¿qué sucede cuando los métodos estándar para encontrar puntos fijos fallan porque el espacio es demasiado extraño o las reglas son demasiado laxas? En su estudio, introdujeron un nuevo marco que combina la geometría de un espacio con una lista simple de conexiones, o una "relación binaria", entre puntos. Piense en esta relación no como una distancia, sino como un conjunto de trayectorias permitidas. En su nuevo sistema, solo se requiere que una regla para moverse de un punto a otro reduzca la brecha entre los puntos si dichos puntos están conectados por esta vía específica. Esto es una desviación significativa de los métodos más antiguos, que exigían que la regla redujera la brecha entre cada uno de los pares de puntos en todo el espacio, independientemente de si estaban relacionados o no.

Al introducir esta estructura relacional, los autores fueron capaces de demostrar que un punto fijo todavía existe incluso en situaciones donde teoremas previos no podían garantizar uno. Demostraron que si un espacio es lo suficientemente completo en un sentido específico y las conexiones entre los puntos son preservadas por la regla que se aplica, una solución es inevitable. Para hacer esto concreto, construyeron un ejemplo específico que involucra un espacio bidimensional donde las reglas estándar de distancia no lograban asegurar una solución. En este escenario, los métodos antiguos habrían dejado el problema sin resolver, afirmando que no se podía garantizar un punto fijo. Sin embargo, aplicando su nuevo enfoque relacional, demostraron que efectivamente existía una solución única. Visualizaron esta convergencia mediante simulaciones por computadora, mostrando cómo una secuencia de puntos, guiada por las nuevas reglas, se aproximaba de manera constante y rápida a un único destino inmóvil.

El poder de este nuevo enfoque reside en su flexibilidad. Permite a los matemáticos resolver problemas en espacios que son demasiado irregulares para las herramientas tradicionales basadas en la distancia, siempre que exista una estructura lógica que conecte los elementos. Los autores no se detuvieron en la teoría; aplicaron sus hallazgos a una ecuación compleja utilizada para modelar el crecimiento económico. Estas ecuaciones, que describen sistemas con memoria y efectos no locales, son notoriamente difíciles de resolver. Al enmarcar el problema dentro de su nuevo espacio relacional, el equipo demostró que existe una solución a este modelo económico y que esta puede encontrarse a través de un proceso iterativo específico. Realizaron una simulación numérica de este modelo económico, comenzando con una suposición simple y aplicando la regla repetidamente. Los resultados mostraron que el error entre pasos disminuía drásticamente, confirmando que el proceso estaba convergiendo hacia una solución estable, tal como su teoría lo predijo.

Este trabajo representa una expansión silenciosa pero significativa de la capacidad matemática. No descarta los métodos antiguos y fiables, sino que construye un puente hacia áreas donde esos métodos anteriormente chocaban contra un muro. Al demostrar que el requisito estricto de reducir cada distancia posible puede relajarse para reducir únicamente las distancias entre puntos relacionados, los autores han abierto la puerta para resolver una clase más amplia de problemas. Sus hallazgos sugieren que, en muchos sistemas complejos, la clave para encontrar una solución estable no es solo medir qué tan separados están las cosas, sino comprender cómo están conectadas. Esta visión proporciona una nueva herramienta robusta para investigadores que trabajan en campos que van desde la matemática pura hasta la economía aplicada, asegurando que, incluso en los espacios más irregulares, se pueda encontrar un camino hacia una solución.

Resumen Técnico: Principio de Contracción de Banach Teórico-Relacional en Espacios Topológicos con una Aplicación

Planteamiento del Problema
La teoría de puntos fijos métricos, anclada por el Principio de Contracción de Banach (BCP), es una herramienta fundamental en el análisis no lineal. Sin embargo, muchas aplicaciones surgen en entornos donde una estructura métrica está ausente o es insuficiente, lo que requiere el estudio de aplicaciones en espacios topológicos generales. Mientras que el trabajo previo de Som et al. [9] extendió el BCP a espacios topológicos utilizando una función continua $g: \Omega \times \Omega \to \mathbb{R}$ , ciertas aplicaciones no satisfacen las condiciones de contracción requeridas por estos teoremas existentes. Además, los resultados clásicos a menudo requieren que las condiciones de contracción se cumplan para todos los pares de puntos en el espacio, lo cual puede ser excesivamente restrictivo. Los autores abordan la necesidad de un marco más flexible que pueda garantizar la existencia y unicidad de puntos fijos en espacios topológicos donde los BCP métricos o topológicos estándar pueden fallar.

Metodología
El artículo introduce un marco que integra tres estructuras distintas:

Espacio Topológico ( $\Omega$ ): El espacio subyacente donde no se asume una métrica.
Función Continua ( $g$ ): Una función $g: \Omega \times \Omega \to \mathbb{R}$ que satisface propiedades específicas (simetría y desigualdad triangular) para definir la convergencia y las sucesiones de Cauchy ( $g$ -convergencia y $g$ -completitud). Se requiere la condición $g(r,s)=0 \implies r=s$ para el teorema principal, pero no se asume que se cumpla universalmente en todos los ejemplos ilustrativos (por ejemplo, el Ejemplo 3.4 demuestra un caso donde esta condición se viola, necesitando la estructura relacional para recuperar el resultado del punto fijo).
Relación Binaria ( $R$ ): Un subconjunto de $\Omega \times \Omega$ que impone una estructura relacional sobre el espacio.

Los autores definen aplicaciones de contracción topológicamente $R$ -preservantes. Una aplicación $S: \Omega \to \Omega$ es una contracción topológicamente $R$ -preservante si existe $\alpha \in (0, 1)$ tal que:
$|g(S\mu_1, S\mu_2)| \leq \alpha |g(\mu_1, \mu_2)|$
para todo $\mu_1, \mu_2 \in \Omega$ tales que $(\mu_1, \mu_2) \in R$ .

Las definiciones clave introducidas incluyen:

$g$ - $R$ -continuidad: Continuidad de la aplicación con respecto a sucesiones $R$ -preservantes.
$g$ - $R$ -completitud: Completitud del espacio con respecto a sucesiones de Cauchy $g$ - $R$ -preservantes.
$S$ -cerradura: La propiedad de que si $(r, s) \in R$ , entonces $(Sr, Ts) \in R$ .
$g$ -autocerradura: Una propiedad de la relación $R$ con respecto a sub sucesiones de sucesiones convergentes.

Contribuciones Clave y Resultados
La contribución principal es el Teorema 3.2, que establece la existencia de un punto fijo para una aplicación $S$ en un espacio topológico $\Omega$ bajo las siguientes condiciones:

$\Omega$ es $g$ - $R$ -completo.
$R$ es $S$ -cerrada.
El conjunto $\Omega(S; R) = \{u \in \Omega : (u, Su) \in R\}$ es no vacío.
O bien $S$ es $g$ - $R$ -continua o $R$ es $g$ -autocerrada.
$S$ es una contracción topológicamente $R$ -preservante con respecto a $g$ .
La función $g$ satisface $g(r, u) = 0 \implies r = u$ , simetría y la desigualdad triangular para los elementos relevantes.

El teorema garantiza que la sucesión de Picard $\{S^n(r_0)\}$ converge a un punto fijo para cualquier $r_0 \in \Omega(S; R)$ . El Teorema 3.3 establece además la unicidad de este punto fijo si la imagen $S(\Omega)$ es $g$ - $R_s$ -conectada.

El artículo demuestra la utilidad de este marco a través de:

Contraejemplos: Los ejemplos (3.4 y 3.5) ilustran escenarios donde el BCP topológico de Som et al. [9] (Teorema 2.7) falla en garantizar un punto fijo porque la condición de contracción no se cumple para todos los pares en $\Omega$ o porque la función $g$ falla en satisfacer la identidad de los indiscernibles ( $g(a,u)=0 \implies a=u$ ) globalmente. Sin embargo, al restringir la condición de contracción a pares relacionados por una relación binaria específica $R$ (y asegurar que $g$ satisfaga las propiedades necesarias dentro de ese contexto relacional), el nuevo teorema garantiza con éxito un punto fijo.
Visualización: Se proporcionan simulaciones de MATLAB para visualizar la convergencia geométrica de la coordenada $y$ bajo las aplicaciones propuestas, validando los resultados analíticos.
Generalización: Los autores muestran que sus resultados generalizan la literatura existente. Al elegir $R$ como la relación universal, el resultado se reduce al Teorema 2.7 de Som et al. [9]. Al elegir $g$ como una métrica $d$ , se reduce al BCP teórico-relacional de Alam e Imdad [2].

Aplicación
Los resultados teóricos se aplican a la existencia de soluciones para una ecuación diferencial fraccionaria que modela el crecimiento económico:
$D^\zeta(f(t)) = h(t, f(t)), \quad t \in [0, 1], \quad 1 < \zeta \leq 2$
sujeta a condiciones de contorno integrales. Los autores definen el espacio $\Omega = C[0, 1]$ con la topología de la métrica sup y una relación binaria $R$ basada en el orden puntual ( $p_1 \leq p_2$ ). Construyen un operador integral $T$ y verifican que satisface las condiciones del Teorema 3.2. Una ilustración numérica utilizando un esquema iterativo ( $u_{n+1} = T u_n$ ) con $h(t, u) = \frac{1}{16}u + \sin(t)$ demuestra una rápida convergencia hacia la solución única, validando los hallazgos teóricos.

Significado
El artículo afirma que su marco ofrece un enfoque más eficiente y flexible para la teoría de puntos fijos en espacios topológicos. Al incorporar una relación binaria, la condición de contracción se relaja para aplicarse solo a elementos "relacionados" en lugar de a todo el espacio. Esto permite a los autores probar la existencia de puntos fijos en casos donde los principios clásicos o previamente generalizados de la contracción de Banach topológica fallan, particularmente cuando la función subyacente $g$ no satisface la identidad de los indiscernibles globalmente. El trabajo cierra la brecha entre la teoría de puntos fijos métricos y los espacios topológicos utilizando estructuras relacionales, proporcionando una herramienta robusta para analizar problemas no lineales como las ecuaciones diferenciales fraccionarias donde las estructuras métricas pueden ser insuficientes o donde las relaciones de orden juegan un papel crítico.

Más como este