[논문 리뷰] Nieto-Lopez theorems in ordered metric spaces

Mihai Turinici|arXiv (Cornell University)|2011. 05. 12.

Fixed Point Theorems Analysis참고 문헌 19인용 수 29

한 줄 요약

이 논문은 순서가 부여된 거리공간에서의 Nieto-López 고정점 정리가 새로운 확장이 아니라 Banach의 고전적 수축원리의 특수한 경우임을 보여준다. 비교 가능성 체인을 반영하는 보조 거리 $ e $를 구성함으로써, 저자들은 순서가 부여된 거리공간 결과가 거리의 재매개변수화 하에 표준 수축사상 원리로 환원됨을 보이며, 이로써 Nieto-López 정리는 고정점 이론의 고전적 프레임워크 안에 포함됨을 밝힌다.

ABSTRACT

The comparison type version of the fixed point result in ordered metric spaces established by Nieto and Rodriguez-Lopez [Acta Math. Sinica (English Series), 23 (2007), 2205-2212] is nothing but a particular case of the classical Banach's contraction principle [Fund. Math., 3 (1922), 133-181].

연구 동기 및 목표

• 순서가 부여된 거리공간에서의 Nieto-López 고정점 정리의 기초적 위치를 명확히 하기 위해.
• 이 결과가 Banach의 수축원리의 새로운 확장임이라는 오해를 해결하기 위해.
• 메트릭 변환을 통해 이 정리가 고전적 Banach 고정점 정리로부터 직접 유도됨을 보여주기 위해.
• 순서가 부여된 거리공간의 고정점 결과를 표준 수축원리로 엄밀하게 환원하기 위해.
• Nieto-López 정리의 핵심 가정들이 재정의된 메트릭을 통해 고전적 프레임워크에서 유도됨을 확립하기 위해.

제안 방법

• 모든 $ x,y \in X $ 사이의 $ <> $-체인을 고려한 $ d $-거리의 합의 하한으로서 $ e(x,y) $를 새로운 메트릭으로 정의한다.
• $ e $가 $ X $ 위에서 잘 정의된 메트릭임을 증명하며, 반사성, 대칭성, 삼각부등식을 만족함을 보인다.
• $ d(x,y) \leq e(x,y) $ for all $ x,y \in X $ 임을 보이며, 이는 $ d $ 가 $ e $ 에 의해 하위순서를 가지며, $ x<>y $ 이면 $ e(x,y) = d(x,y) $ 임을 의미한다.
• 주어진 조건 하에 $ (d,\leq) $-수축성 사상 $ T $ 가 동일한 수축상수 $ \alpha \in (0,1) $ 를 가진 $ e $-수축성임을 보인다.
• $ d $ 의 완비성과 $ e $ 의 성질을 이용하여 $ e $ 도 완비임을 보이며, 이로써 Banach의 수축원리의 적용이 가능함을 보인다.
• 결론적으로, Nieto-López 정리의 고정점 및 수렴 성질이 메트릭 $ e $ 를 통해 고전적 결과로부터 유도됨을 밝힌다.

실험 결과

연구 질문

• RQ1 순서가 부여된 거리공간에서의 Nieto-López 고정점 정리는 진정으로 새로운 결과인가, 아니면 알려진 고전적 원리로 환원되는가?
• RQ2 적절한 메트릭 변환을 통해 순서가 부여된 거리공간의 고정점 결과가 Banach의 수축원리로부터 도출될 수 있는가?
• RQ3 $ e $-메트릭이 원래 $ d $-메트릭으로부터 완비성과 수축성을 그대로 이어받기 위한 필수 및 충분조건은 무엇인가?
• RQ4 Nieto-López 정리에서의 비교 가능성 체인과 단조성 가정은 암묵적으로 고전적 수축 구조를 내포하고 있는가?
• RQ5 메트릭 공간에서의 순서 구조는 얼마나까지 표준 메트릭으로 표현되어 고전적 고정점 결과를 복원할 수 있는가?

주요 결과

• Nieto-López 고정점 정리는 새로운 확장이 아니라 Banach의 1922년 수축원리의 특수한 경우이다.
• 모든 $ <> $-체인을 고려한 하한으로 정의된 보조 메트릭 $ e $ 의 구성은 순서가 부여된 거리공간 결과를 고전적 설정으로 환원하는 데 기여한다.
• $ d $ 가 완비이면 $ e $ 도 완비이며, $ d(x,y) \leq e(x,y) $ 를 만족하므로 동일한 수렴 행동이 보장된다.
• $(d,\leq)$-수축 조건은 동일한 $ \alpha \in (0,1) $ 를 가진 $ e $-수축성으로 이어지므로, 고정점은 Banach의 정리에 의해 보장된다.
• 원래 Nieto-López 정리의 정규성 조건 (a03) 은 불필요하며, $ (\sim) = X \times X $ 라는 더 강력한 조건에 의해 암묵적으로 유도되기 때문이다.
• 연속성 가정 (a06) 이 $ d $-연속성으로 대체되더라도 결과는 그대로 성립하므로, Ran과 Reurings의 2004년 결과와 일관됨을 확인한다.