[논문 리뷰] An Entourage Approach to the Contraction Principle in Uniform Spaces Endowed with a Graph

Aris Aghanians, Kamal Fallahi외 1명|arXiv (Cornell University)|2013. 05. 15.

Fixed Point Theorems Analysis참고 문헌 3인용 수 8

한 줄 요약

이 논문은 엔투르아를 사용하여 방향 그래프를 지닌 균일 공간으로 바나흐 수축 원리의 일반화를 시도하며, 사상이 피카르 연산자임을 보장하는 충분조건을 수립한다. 기본 엔투르아와 그래프의 연결성에 기반하여, 메트릭 공간에서의 자크림스키의 결과를 균일 공간으로 일반화하며, 약한 연결성과 궤도 G-연속성 조건 하에서 바나흐 G-수축에 의해 고정점이 유일하게 존재함을 증명한다.

ABSTRACT

In this paper, we study Banach contractions in uniform spaces endowed with a graph and give some sufficient conditions for a mapping to be a Picard operator. Our main results generalize some results of [J. Jachymski, "The contraction principle for mappings on a metric space with a graph", Proc. Amer. Math. Soc. 136 (2008) 1359-1373] employing the basic entourages of the uniform space.

연구 동기 및 목표

• 메트릭 공간에서의 자크림스키의 수축 원리를 그래프를 지닌 균일 공간으로 일반화한다.
• 균일 공간에 그래프 구조가 부여된 경우 사상이 피카르 연산자임을 보장하는 충분조건을 수립한다.
• 균일 공간의 기본 엔투르아를 활용하여 메트릭 설정을 초월한 고정점 결과를 일반화한다.
• 약한 연결성과 궤도 G-연속성이 고정점의 유일성 보장에 미치는 역할을 조사한다.
• 균일 공간 이론과 그래프 이론적 수축 조건을 통합하는 통합 프레임워크를 제공한다.

제안 방법

• 임의의 균일 구조에서 메트릭과 유사한 분석이 가능하도록, 근사거리에서 유도된 기본 엔투르아를 사용하여 균일성을 정의한다.
• 엔투르아와 그래프 간선을 통해 수축 조건을 표현하는 균일 공간 내 바나흐 G-수축의 개념을 도입한다.
• 기저가 되는 무방향 그래프의 약한 연결성에 기반한 동치관계 [x]_G̃를 정의하여 불변 집합을 식별한다.
• 궤도 G-연속성을 적용하여 연결된 성분 내에서 반복의 수렴을 보장한다.
• 순차적 완비성과 반복의 등연속성을 활용하여 밀집 부분집합에서의 수렴을 전체 공간으로 확장한다.
• G가 약하게 연결되어 있고 T가 비확장성 또는 등연속인 바나흐 G-수축이라면, [x]_G̃의 폐포에 제한된 T는 피카르 연산자임을 증명한다.

실험 결과

연구 질문

• RQ1 균일 공간에 그래프가 부여된 경우, 바나흐 G-수축이 고정점을 유일하게 가지는 조건은 무엇인가?
• RQ2 그래프 구조를 활용하여 고전적 수축 원리를 메트릭 공간에서 균일 공간으로 일반화할 수 있는가?
• RQ3 그래프의 약한 연결성이 균일 공간 내 반복 수열의 수렴에 미치는 역할은 무엇인가?
• RQ4 궤도 G-연속성과 반복의 등연속성은 균일 공간 내 사상의 고정점 행동에 어떤 영향을 미치는가?
• RQ5 그래프 연결성이 있는 균일 완비 공간 내의 비확장성 사상은 고정점이 존재하는가?

주요 결과

• G가 약하게 연결되어 있고 T가 궤도 G-연속인 바나흐 G-수축이며 고정점 집합이 공집합이 아니면, T는 약한 피카르 연산자이다.
• 순차적 완비성과 약한 연결성은 각 궤도 G-연속인 바나흐 G-수축이 고정점을 지닐 경우 피카르 연산자임을 암시한다.
• 순차적으로 완비된 공간에서 비확장성 바나흐 G-수축은 그래프 G가 약하게 연결되어 있을 경우 피카르 연산자이다.
• 모든 x ∈ X에 대해 Tx ∈ [x]_G̃이면, 반복이 등연속일 경우 [x]_G̃의 폐포에 제한된 T는 피카르 연산자이다.
• 기저가 되는 그래프가 약하게 연결되어 있지 않다면, 최소 두 개의 고정점을 지닌 궤도 G-연속 바나흐 G-수축이 존재한다.
• 사상이 궤도 G-연속이고 공간이 순차적으로 완비일 경우, 모든 x ∈ [x]_G̃에 대해 반복 T^n x는 고정점으로 수렴함이 보장된다.