turning borel sets into clopen effectively
play

Turning Borel sets into Clopen effectively Vassilis Gregoriades TU - PowerPoint PPT Presentation

Turning Borel sets into Clopen effectively Vassilis Gregoriades TU Darmstadt gregoriades@mathematik.tu-darmstadt.de Trends in set theory Warsaw Poland 10 th July, 2012 Theorem. If A is a Borel subset of a Polish space ( X , T ) there exists a


  1. Turning Borel sets into Clopen effectively Vassilis Gregoriades TU Darmstadt gregoriades@mathematik.tu-darmstadt.de Trends in set theory Warsaw Poland 10 th July, 2012

  2. Theorem. If A is a Borel subset of a Polish space ( X , T ) there exists a Polish topology T ∞ on X which extends T , and thus has the same Borel sets as T such that A is T ∞ -clopen. Theorem. (Lusin-Suslin) Every Borel subset of a Polish space is the continuous injective image of a closed subset of the Baire ω ω . space N = We consider the family of all recursive functions from ω k to ω n . A set P ⊆ ω k is recursive when the characteristic function χ p is recursive. Relativization. For every ε ∈ N one defines the relativized family of ε -recursive functions. Similarly one defines the family of ε -recursive subsets of ω k .

  3. Definition. (Moschovakis) Suppose that X is a Polish space, d is compatible distance function for X and ( x n ) n ∈ ω is a sequence in X . Define the relation P < of ω 4 as follows k P < ( i , j , k , m ) ⇐ ⇒ d ( x i , x j ) < m +1 . Similarly we define the relation P ≤ . The sequence ( x n ) n ∈ ω is a recursive presentation of X , if (1) it is a dense sequence and (2) the relations P < and P ≤ are recursive. The spaces R , N and ω k admit a recursive presentation i.e., they are recursively presented . Some other examples: R × ω , R × N . However not all Polish spaces are recursively presented. Every Polish space admits an ε -recursive presentation for some suitable ε .

  4. Definition. (Moschovakis) Suppose that X is a Polish space, d is compatible distance function for X and ( x n ) n ∈ ω is a sequence in X . Define the relation P < of ω 4 as follows k P < ( i , j , k , m ) ⇐ ⇒ d ( x i , x j ) < m +1 . Similarly we define the relation P ≤ . The sequence ( x n ) n ∈ ω is a recursive presentation of X , if (1) it is a dense sequence and (2) the relations P < and P ≤ are recursive. The spaces R , N and ω k admit a recursive presentation i.e., they are recursively presented . Some other examples: R × ω , R × N . However not all Polish spaces are recursively presented. Every Polish space admits an ε -recursive presentation for some suitable ε .

  5. Definition. (Moschovakis) Suppose that X is a Polish space, d is compatible distance function for X and ( x n ) n ∈ ω is a sequence in X . Define the relation P < of ω 4 as follows k P < ( i , j , k , m ) ⇐ ⇒ d ( x i , x j ) < m +1 . Similarly we define the relation P ≤ . The sequence ( x n ) n ∈ ω is a recursive presentation of X , if (1) it is a dense sequence and (2) the relations P < and P ≤ are recursive. The spaces R , N and ω k admit a recursive presentation i.e., they are recursively presented . Some other examples: R × ω , R × N . However not all Polish spaces are recursively presented. Every Polish space admits an ε -recursive presentation for some suitable ε .

  6. Definition. (Moschovakis) Suppose that X is a Polish space, d is compatible distance function for X and ( x n ) n ∈ ω is a sequence in X . Define the relation P < of ω 4 as follows k P < ( i , j , k , m ) ⇐ ⇒ d ( x i , x j ) < m +1 . Similarly we define the relation P ≤ . The sequence ( x n ) n ∈ ω is an ε -recursive presentation of X , if (1) it is a dense sequence and (2) the relations P < and P ≤ are ε -recursive. The spaces R , N and ω k admit a recursive presentation i.e., they are recursively presented . Some other examples: R × ω , R × N . However not all Polish spaces are recursively presented. Every Polish space admits an ε -recursive presentation for some suitable ε .

  7. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is Σ 0 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is Σ 0 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  8. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is Σ 0 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is Σ 0 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  9. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is Σ 0 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is Σ 0 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  10. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is Σ 0 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is Σ 0 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  11. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is Σ 0 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is Σ 0 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  12. ( s ) 1 N ( X , s ) = the ball with center x ( s ) 0 and radius ( s ) 2 +1 . A set P ⊆ X is semirecursive if P = � i ∈ ω N ( X , α ( i )) where α is a recursive function from ω to ω . Σ 0 1 = all semirecursive sets � effective open sets. Π 0 1 = the complements of semirecursive sets � effective closed sets. Similarly one defines the class ∆ 1 1 of effective Borel sets, Σ 1 1 of effective analytic and so on. A function f : X → Y is ∆ 1 1 -recursive if and only if the set R f ⊆ X × ω , R f ( x , s ) ⇐ ⇒ f ( x ) ∈ N ( Y , s ), is ∆ 1 1 . A point x ∈ X is ∆ 1 1 point if the relation U ⊆ ω which is defined by ⇒ x ∈ N ( X , s ), is in ∆ 1 s ∈ U ⇐ 1 . Similarly one defines the relativized pointclasses with respect to some parameter ε .

  13. Theorem. Every ∆ 1 1 subset of a recursively presented Polish space is the recursive injective image of a Π 0 1 subset of N . Theorem. (G.) Suppose that ( X , T ) is a recursively presented Polish space, d is a suitable distance function for ( X , T ) and A is a ∆ 1 1 subset of X . There exists an ε A ∈ N , which is recursive in Kleene’s O and a Polish topology T ∞ with suitable distance function d ∞ , which extends T and has the following properties: (1) The Polish space ( X , T ∞ ) is ε A -recursively presented. (2) The set A is a ∆ 0 1 ( ε A ) subset of ( X , d ∞ ). (3) If B ⊆ X is a ∆ 1 1 ( α ) subset of ( X , d ), where α ∈ N , then B is a ∆ 1 1 ( ε A , α ) subset of ( X , d ∞ ). (4) If B ⊆ X is a ∆ 1 1 ( ε A , α ) subset of ( X , d ∞ ), where α ∈ N , then B is a ∆ 1 1 ( ε A , α ) subset of ( X , d ).

Recommend


More recommend