20/11/11 09:43:40.39 8Lfl0aYp.net
>>522
例えば閉円盤Dの内点の点のうちx座標もy座標系も有理数である点の全体を並べたものp1,p2,‥を“具体的に”与えておく(それが可能なのはゲーデルの定理)
ただしp1は中心でないとする
piの部分列qiと開円盤の列U1,U2,‥を帰納的に以下のように定める
まずq1=p1とし、U1は中心がq1で半径がdist(q1, ∂D)の開円盤とする
Unまで定まった時q(n+1)はp(n+1)移行の点で∪[i≦n]Uiの閉法Fに属さない一番最初の点piをq(n+1)とし中心がq(n+1),半径がdist(q(n+1),F)の開円盤をU(n+1)とする
コレで完成
この作業を“具体的に”行うプログラムなども作ろうと思えば作れる(ゲーデルの定理)