Projective hierarchy
(重定向自Projective set)
In the mathematical field of descriptive set theory, a subset of a Polish space
is projective if it is
for some positive integer
. Here
is
The choice of the Polish space in the third clause above is not very important; it could be replaced in the definition by a fixed uncountable Polish space, say Baire space or Cantor space or the real line.