Effective_Polish_space
数理論理学では、実効ポーランド空間は、計算可能な表現を持つ完全に 分離可能な 距離空間です。そのような空間は、効果的な記述集合論と構成的分析で研究されています。特に、実数直線、カントール集合、ベール空間などのポーランド空間の標準的な例は、すべて実効ポーランド空間です。
意味
実効ポーランド空間は、次の2つの関係を作成する可算密集合C =（c 0、c 1、…）が存在するような、距離dを持つ完全な分離可能な距離空間Xです。N 4
{ mathbb {N} ^ {4}}
計算可能（Moschovakis 2009：96-7）： P （（ I j k m
）。 ≡ {{ d （（c 私c j）。≤ m k + 1 } { P（i、j、k、m） equiv left {d（c_ {i}、c_ {j}） leq { frac {m} {k + 1}} right }}
Q （（ I j k m
）。 ≡ {{ d （（c 私c j）。< m k + 1 } { Q（i、j、k、m） equiv left {d（c_ {i}、c_ {j}）<{ frac {m} {k + 1}} right }}
参考文献
Yiannis N. Moschovakis、2009年、記述集合論、第2版、アメリカ数学会。ISBN 0-8218-4813-5
この数理論理学関連
“