[논문 리뷰] Computable counter-examples to the Brouwer fixed-point theorem

Petrus H. Potgieter|ArXiv.org|2008. 04. 21.

Computability, Logic, AI Algorithms참고 문헌 6인용 수 6

한 줄 요약

이 논문은 브라우어 고정점 정리(BFPT)가 직접적으로 반례를 구성하여 비계산 가능함을 보여준다: 러시아 학파의 옴코프의 마르코프-계산 가능한 함수와 폴란드 학파의 바이거의 계산 가능한 함수 중 고정점이 비계산 가능한 경우이다. 이러한 예시들은 단일한 계산 가능한 절차로 단위 정사각형 위의 모든 연속 함수에 대해 고정점을 찾을 수 없음을 보여주며, 이는 계산 분석에서 BFPT가 본질적으로 비구성적임을 증명한다.

ABSTRACT

This paper is an overview of results that show the Brouwer fixed-point theorem (BFPT) to be essentially non-constructive and non-computable. The main results, the counter-examples of Orevkov and Baigger, imply that there is no procedure for finding the fixed point in general by giving an example of a computable function which does not fix any computable point. Research in reverse mathematics has shown the BFPT to be equivalent to the weak König lemma in RCA$_0$ (the system of recursive comprehension) and this result is illustrated by relating the weak König lemma directly to the Baigger example.

연구 동기 및 목표

• 계산 분석의 맥락에서 브라우어 고정점 정리(BFPT)가 비구성적이고 비계산 가능하다는 것을 보여주는 것.
• 모든 연속 함수에 대해 고정점을 찾는 일반적인 계산 가능한 절차가 존재하지 않는다는 것을 입증하기 위해, 단위 정사각형 위에 정의된 고정점이 계산 불가능한 계산 가능한 함수의 명시적 구성 제공.
• BFPT의 비계산 가능성과 역수학에서의 기본 원리, 특히 RCA₀에서 BFPT가 약한 콜레니 렘마와 동치임을 연결하는 것.
• 비가산적 트리의 존재—특히 무한한 계산 가능한 분지가 없는 켈레인 트리—를 통해 이러한 반례를 구성적으로 생성할 수 있음을 설명하는 것.

제안 방법

• 세 가지 조건을 만족하는 계산 가능한 꼭짓점들을 가진 직사각형의 수열을 구성: (i) 각 새로운 직사각형은 이전 직사각형들의 합집합과 부분적으로 경계를 공유한다; (ii) 각 직사각형은 나중에 오는 직사각형들에 의해 둘러싸인다; (iii) 정사각형 내의 모든 계산 가능한 점들이 합집합 안에 포함된다.
• 기존 함수 값과 위상 조건을 기반으로 재귀적 확장을 사용하여, 정사각형 내의 계산 가능한 점들에서 경계로 사상하는 마르코프-계산 가능한 함수 g를 정의한다.
• g를 90도 회전과 조합하여 I²_c에서 I²_c로 사상하지만 고정점이 존재하지 않는 함수 f를 얻는다.
• 무한한 계산 가능한 분지가 없는 켈레인 트리에서 유도된 계산 가능한 트리 t를 사용하여, [0,1] 내의 모든 계산 가능한 실수를 덮는 서로소 닫힌 구간의 수열을 정의한다.
• 각 점을 I² 내의 비계산 가능한 점 a로 반으로 이동시키는 함수 f를 정의하여, f는 a에서 유일한 고정점을 가지며 이 고정점은 계산 불가능하다.
• dyadic 정사각형에서 함수가 0으로부터 거리가 확보되어 있는지 추정하는 함수 h를 구성하고, 이를 이진 문자열 위의 특성 함수 s를 정의하는 데 사용하여, 무한한 계산 가능한 분지가 없는 계산 가능한 트리 t를 생성한다.

실험 결과

연구 질문

• RQ1 두 차원 이상의 단위 정사각형 위의 임의의 연속 함수에 대해 고정점을 찾는 일반적인 계산 가능한 절차가 존재할 수 있는가?
• RQ2 브라우어 고정점 정리는 계산 분석의 맥락에서 구성적으로 타당한가?
• RQ3 고정점의 비계산 가능성은 역수학에서 약한 콜레니 렘마와 같은 기본 원리와 어떻게 관련이 있는가?
• RQ4 연속 함수이지만 고정점이 계산 가능한 점이 되지 않는, 단위 정사각형 위에 정의된 계산 가능한 함수를 구성할 수 있는가?
• RQ5 무한한 계산 가능한 분지가 없는 켈레인 트리의 존재는 이러한 반례를 생성하는 데 어떤 역할을 하는가?

주요 결과

• 옴코프의 구성은 I²_c → I²_c로 사상하는 마르코프-계산 가능한 함수 f를 제공하며, 모든 x ∈ I²_c에 대해 f(x) ≠ x임을 보여주어, 이 함수에 대해 계산 가능한 고정점이 존재하지 않음을 입증한다.
• 바이거의 예시는 폴란드 학파의 의미에서 계산 가능한 함수 f: I² → I²를 구성하며, 이 함수는 연속성의 계산 가능한 모듈러스를 가지며 고정점이 유일하지만 그 고정점은 계산 불가능하다.
• 무한한 계산 가능한 분지가 없는 계산 가능한 트리(켈레인 트리)의 존재는 [0,1] 내의 모든 계산 가능한 실수를 덮는 서로소 구간의 수열을 생성하는 데 충분하며, 이는 반례를 구성하는 데 사용된다.
• 바이거의 예시에서 f의 구성은 dyadic 정사각형에서 함수가 0으로부터 거리가 확보되어 있는지 추정하는 함수 h에 의존하며, 이는 무한한 계산 가능한 분지가 없는 계산 가능한 트리 t를 생성하는 특성 함수 s를 정의하는 데 기여한다.
• 증명은 만약 그러한 트리가 무한한 계산 가능한 분지를 가졌다면, 그 교차점은 계산 가능한 고정점이 되었을 것이며, 이는 구성과 모순된다—따라서 그러한 분지가 존재할 수 없다는 것을 증명한다.
• 일차원에서는 모든 계산 가능한 함수 f: I → I는 계산 가능한 고정점을 가지지만, 이는 두 차원 이상에서는 성립하지 않으며, 이는 차원 간 계산 가능성의 본질적 차이를 드러낸다.