[논문 리뷰] Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions

Yasuhito Tanaka|arXiv (Cornell University)|2011. 03. 09.

Mathematical and Theoretical Analysis참고 문헌 3인용 수 3

한 줄 요약

이 논문은 균일 연속적이고 순차적으로 국소적으로 비상수인 함수에 대해 브라우어의 고정점 정리의 구성적 증명을 제시한다. 이는 근사 고정점을 이용한 것으로, 팬 정리에 의존하지 않고 이러한 함수가 정확한 고정점을 가짐을 보이며, 이 버전의 브라우어 정리는 스페너의 보조정리와 논리적으로 동치임을 증명한다.

ABSTRACT

We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions implies Sperner's lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner's lemma, our Brouwer's fixed point theorem is equivalent to Sperner's lemma.

연구 동기 및 목표

• 지역 비상수성보다 더 강한 조건인 순차적 국소 비상수성 조건 하에서 브라우어의 고정점 정리에 대한 구성적 증명을 제공하는 것.
• 근사 고정점의 존재와 함께 순차적 국소 비상수성 조건이 성립할 경우, 정확한 고정점의 존재를 보장하는 것.
• 균일 연속적이고 순차적으로 국소적으로 비상수인 함수에 대해 브라우어의 고정점 정리가 단체에 대해 스페너의 보조정리를 함의함을 보여주는 것.
• 이러한 조건 하에서 브라우어의 고정점 정리와 스페너의 보조정리 사이의 논리적 동치성을 확립하는 것. 이는 팬 정리와 같은 비구성적 원리들을 회피함.

제안 방법

• 전체 유계 집합 위에서 균일 조건으로서 순차적 국소 비상수성을 정의한다: 만약 어떤 집합 내의 두 수열이 f에 의해 항등사상에 수렴한다면, 그 수열 자체도 서로 수렴해야 한다.
• 콤팩트한 단체 위에서 균일 연속 함수는 근사 고정점을 가짐을 이용한다. 즉, 모든 ε > 0에 대해 어떤 x가 존재하여 |x − f(x)| < ε 임을 의미한다.
• 삼등분된 단체를 이용해 스페너 레이블링을 사용하여 함수 f를 구성한다. 여기서 레이블은 성분별로 작은 τ > 0 만큼의 이동을 결정한다.
• 정점의 사영 조합을 통해 단체 위에서 f를 정의한다: f(x) = ∑λ_i f(x^i)로 하여 균일 연속성을 확보한다.
• 수열 수렴 분석을 통해 근사 고정점 조건 |f(z_m) − z_m| → 0 을 만족하는 수열이 존재할 경우, f가 순차적으로 국소적으로 비상수임을 증명한다.
• f의 고정점은 반드시 완전 레이블링된 단체 안에 존재해야 하므로, 고정점의 존재로부터 스페너의 보조정리를 유도한다.

실험 결과

연구 질문

• RQ1 균일 연속적이고 순차적으로 국소적으로 비상수인 함수에 대해 브라우어의 고정점 정리를 구성적으로 증명할 수 있는가?
• RQ2 근사 고정점의 존재와 순차적 국소 비상수성 조건이 함께 성립할 경우, 팬 정리를 언급하지 않고도 정확한 고정점의 존재를 보장할 수 있는가?
• RQ3 순차적으로 국소적으로 비상수인 함수에 대해 브라우어의 고정점 정리는 논리적으로 스페너의 보조정리와 동치인가?
• RQ4 팬 정리와 같은 비구성적 원리에 의존하지 않고도 브라우어 정리의 구성적 증명을 얻을 수 있는가?
• RQ5 순차적 국소 비상수성 조건은 지역 비상수성 또는 최대 한 개의 고정점이라는 조건과 어떤 관계가 있는가?

주요 결과

• n차원 단체에서 자기 자신으로의 균일 연속적이고 순차적으로 국소적으로 비상수인 함수 f는 근사 고정점을 가질 경우 고정점을 가진다.
• 순차적 국소 비상수성 조건은 지역 비상수성보다 더 강력하며, |f(x_n) − x_n| → 0 을 만족하는 수열은 반드시 서로 수렴해야 한다는 것을 보장한다.
• 스페너 레이블링을 기반으로 구성된 함수 f는 균일 연속적이고 순차적으로 국소적으로 비상수이며, 그 고정점 존재는 완전 레이블링된 단체의 존재를 함의한다.
• 이러한 함수의 고정점 존재는 스페너의 보조정리를 함의하며, 이로써 두 원리 사이의 논리적 동치성을 확립한다.
• 증명 과정은 팬 정리를 회피하고 구성적 원리에만 의존하므로, 비숍 체계의 구성수학에서 유효하다.
• 결과적으로 이 클래스의 함수에 대해 브라우어의 고정점 정리는 구성적으로도 논리적으로도 스페너의 보조정리와 동치임을 보여준다.