[论文解读] Computable counter-examples to the Brouwer fixed-point theorem

Petrus H. Potgieter|ArXiv.org|Apr 21, 2008

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的不可計算性與反向數學中的基礎原理聯繫起來，特別是BFPT與RCA₀中弱König引理的等價性。
• 說明如何利用具有無無窮可計算分支的克萊尼樹，構造性地產生此類反例。

提出的方法

• 構造一組具有可計算頂點的矩形序列，滿足以下三條件：(i) 每個新矩形僅部分與前一組矩形的邊界共享；(ii) 每個矩形最終被後續矩形包圍；(iii) 正方形中所有可計算點均位於此並集中。
• 定義一個馬爾可夫可計算函數 g，將正方形中的可計算點映射至其邊界，基於已有函數值與拓撲條件進行遞歸擴展。
• 將 g 與 90° 旋轉複合，得到一個函數 f，其將 I²_c 映射至 I²_c，但其在 I²_c 中無不動點。
• 利用來自無無窮可計算分支的克萊尼樹的可計算樹 t，定義一序列互不相交的閉區間，覆蓋 [0,1] 中所有可計算實數。
• 定義一個函數 f，將每個點朝某個不可計算點 a ∈ I² 半程移動，確保 f 在 a 處有唯一不動點，而 a 本身不可計算。
• 構造一個函數 h，用於估計某函數在二進位正方形上是否遠離零，並利用它定義二進位字串上的特徵函數 s，以生成一個無無窮可計算分支的可計算樹 t。

实验结果

研究问题

• RQ1 是否存在一個一般性的可計算程序，可用於尋找二維或以上單位正方形上任意連續函數的不動點？
• RQ2 布勞威爾不動點定理在可計算分析的構造意義上是否有效？
• RQ3 不動點的不可計算性與反向數學中的基礎原理（如弱König引理）有何關聯？
• RQ4 能否構造一個單位正方形上的可計算函數，使得其無任何可計算點為不動點，即使該函數是連續的？
• RQ5 具有無無窮可計算分支的克萊尼樹的存在，在產生此類反例中扮演何種角色？

主要发现

• 奧列夫科夫的構造產生了一個馬爾可夫可計算函數 f: I²_c → I²_c，使得對所有 x ∈ I²_c 均有 f(x) ≠ x，從而證明此函數不存在可計算不動點。
• 貝格爾的例子構造了一個函數 f: I² → I²，其在波蘭意義下是可計算的（具有可計算的模連續性），且有唯一不動點，但該不動點不可計算。
• 存在一個無無窮可計算分支的可計算樹（即克萊尼樹）是足夠的，可用於產生一序列互不相交的區間，覆蓋 [0,1] 中所有可計算實數，此用於構造反例。
• 貝格爾例子中 f 的構造依賴於一個函數 h，用於估計某函數在二進位正方形上是否遠離零，進而可用於定義特徵函數 s，以生成一個無無窮可計算分支的可計算樹 t。
• 證明顯示，若此類樹存在無窮可計算分支，則其交點將是可計算不動點，與構造矛盾，因此證明此類分支不可能存在。
• 在一維情況下，每個可計算函數 f: I → I 均有可計算不動點，但在二維或以上維度中此性質不成立，突顯了維度間可計算性的本質差異。