Effective Polish space
From HandWiki
Revision as of 21:12, 21 December 2020 by imported>Importwiki (over-write)
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces.
Definition
An effective Polish space is a complete separable metric space X with metric d such that there is a countable dense set C = (c0, c1,...) that makes the following two relations on [math]\displaystyle{ \mathbb{N}^4 }[/math] computable (Moschovakis 2009:96-7):
- [math]\displaystyle{ P(i,j,k,m) \equiv \left\{ d(c_i,c_j) \leq \frac{m}{k+1} \right\} }[/math]
- [math]\displaystyle{ Q(i,j,k,m) \equiv \left\{ d(c_i,c_j) \lt \frac{m}{k+1} \right\} }[/math]
References
- Yiannis N. Moschovakis, 2009, Descriptive Set Theory, 2nd edition, American Mathematical Society. ISBN:0-8218-4813-5
Original source: https://en.wikipedia.org/wiki/Effective Polish space.
Read more |