e ective descriptive set theory and applications in analysis · analytic sets. a set p xis analytic...
TRANSCRIPT
![Page 1: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/1.jpg)
E�ective Descriptive Set Theory and Applications
in Analysis
Vassilis Gregoriades
Bonn, 17th of May, 2010
![Page 2: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/2.jpg)
A topological space X is a Polish space if X is separable and
metrizable by a complete distance function.
Examples: R, !k , the Baire space N = !!, (C (K ); ‖:‖∞), Kcompact and separable Banach spaces. We will denote Polish
spaces by X , Y.If P ⊆ X we will write P(x ) instead of x ∈ P .
Borel sets B˜ .Analytic Sets. A set P ⊆ X is analytic or Σ˜ 1
1if there is a closed
set Q ⊆ X ×N
P(x )⇐⇒ ∃� ∈ N Q(x ; �)
Coanalytic sets. A set is coanalytic or Π˜ 1
1if it is the complement
of an analytic set.
∆˜ 1
1= Σ˜ 1
1∩Π˜ 1
1.
Suslin's Theorem.
B˜ = ∆˜ 1
1
![Page 3: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/3.jpg)
A topological space X is a Polish space if X is separable and
metrizable by a complete distance function.
Examples: R, !k , the Baire space N = !!, (C (K ); ‖:‖∞), Kcompact and separable Banach spaces. We will denote Polish
spaces by X , Y.If P ⊆ X we will write P(x ) instead of x ∈ P .
Borel sets B˜ .
Analytic Sets. A set P ⊆ X is analytic or Σ˜ 1
1if there is a closed
set Q ⊆ X ×N
P(x )⇐⇒ ∃� ∈ N Q(x ; �)
Coanalytic sets. A set is coanalytic or Π˜ 1
1if it is the complement
of an analytic set.
∆˜ 1
1= Σ˜ 1
1∩Π˜ 1
1.
Suslin's Theorem.
B˜ = ∆˜ 1
1
![Page 4: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/4.jpg)
A topological space X is a Polish space if X is separable and
metrizable by a complete distance function.
Examples: R, !k , the Baire space N = !!, (C (K ); ‖:‖∞), Kcompact and separable Banach spaces. We will denote Polish
spaces by X , Y.If P ⊆ X we will write P(x ) instead of x ∈ P .
Borel sets B˜ .Analytic Sets. A set P ⊆ X is analytic or Σ˜ 1
1if there is a closed
set Q ⊆ X ×N
P(x )⇐⇒ ∃� ∈ N Q(x ; �)
Coanalytic sets. A set is coanalytic or Π˜ 1
1if it is the complement
of an analytic set.
∆˜ 1
1= Σ˜ 1
1∩Π˜ 1
1.
Suslin's Theorem.
B˜ = ∆˜ 1
1
![Page 5: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/5.jpg)
A topological space X is a Polish space if X is separable and
metrizable by a complete distance function.
Examples: R, !k , the Baire space N = !!, (C (K ); ‖:‖∞), Kcompact and separable Banach spaces. We will denote Polish
spaces by X , Y.If P ⊆ X we will write P(x ) instead of x ∈ P .
Borel sets B˜ .Analytic Sets. A set P ⊆ X is analytic or Σ˜ 1
1if there is a closed
set Q ⊆ X ×N
P(x )⇐⇒ ∃� ∈ N Q(x ; �)
Coanalytic sets. A set is coanalytic or Π˜ 1
1if it is the complement
of an analytic set.
∆˜ 1
1= Σ˜ 1
1∩Π˜ 1
1.
Suslin's Theorem.
B˜ = ∆˜ 1
1
![Page 6: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/6.jpg)
A topological space X is a Polish space if X is separable and
metrizable by a complete distance function.
Examples: R, !k , the Baire space N = !!, (C (K ); ‖:‖∞), Kcompact and separable Banach spaces. We will denote Polish
spaces by X , Y.If P ⊆ X we will write P(x ) instead of x ∈ P .
Borel sets B˜ .Analytic Sets. A set P ⊆ X is analytic or Σ˜ 1
1if there is a closed
set Q ⊆ X ×N
P(x )⇐⇒ ∃� ∈ N Q(x ; �)
Coanalytic sets. A set is coanalytic or Π˜ 1
1if it is the complement
of an analytic set.
∆˜ 1
1= Σ˜ 1
1∩Π˜ 1
1.
Suslin's Theorem.
B˜ = ∆˜ 1
1
![Page 7: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/7.jpg)
Recursion Theory on !k .
One de�nes a countable family A of functions de�ned on various
spaces of the form !k which take values in !, which consists of all
\computable" functions. A function is recursive if it belongs to A.
Parametrization. For every " ∈ N = !! one de�nes the
relativized family A(") of "-recursive functions.
A ⊆ A("), equality when the function " : ! → ! is recursive.
A set P ⊆ !k is recursive when the characteristic function �p is
recursive.
P "-recursive when �p is "-recursive.
![Page 8: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/8.jpg)
Recursion Theory on !k .
One de�nes a countable family A of functions de�ned on various
spaces of the form !k which take values in !, which consists of all
\computable" functions. A function is recursive if it belongs to A.Parametrization. For every " ∈ N = !! one de�nes the
relativized family A(") of "-recursive functions.
A ⊆ A("), equality when the function " : ! → ! is recursive.
A set P ⊆ !k is recursive when the characteristic function �p is
recursive.
P "-recursive when �p is "-recursive.
![Page 9: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/9.jpg)
Recursion Theory on !k .
One de�nes a countable family A of functions de�ned on various
spaces of the form !k which take values in !, which consists of all
\computable" functions. A function is recursive if it belongs to A.Parametrization. For every " ∈ N = !! one de�nes the
relativized family A(") of "-recursive functions.
A ⊆ A("), equality when the function " : ! → ! is recursive.
A set P ⊆ !k is recursive when the characteristic function �p is
recursive.
P "-recursive when �p is "-recursive.
![Page 10: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/10.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 11: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/11.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 12: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/12.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 13: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/13.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 14: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/14.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 15: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/15.jpg)
E�ective Theory.
Suppose that X is a Polish space, d is compatible distance function
for X and (xn)n∈! is a sequence in X . De�ne the relation P< of
!4 as follows P<(i ; j ; k ;m)⇐⇒ d(xi ; xj ) <k
m+1. Similarly we
de�ne the relation P≤.
The sequence (xn)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 ".
Without loss of generality we will deal with recursively presented
Polish spaces.
![Page 16: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/16.jpg)
N (X ; s) = the ball with center x(s)0 and radius (s)1(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
e�ective open sets.
Π0
1= the complements of semirecursive sets
e�ective closed sets.
Σ1
1= projections of Π0
1sets
e�ective analytic sets.
Π1
1= the complements of Σ1
1sets
e�ective coanalytic sets.
∆1
1= Σ1
1∩ Π1
1= e�ective Borel sets (Kleene).
Similarly one de�nes the relativized pointclasses with respect to
some parameter " which will be denoted by ∆1
1(") for instance.
![Page 17: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/17.jpg)
N (X ; s) = the ball with center x(s)0 and radius (s)1(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
e�ective open sets.
Π0
1= the complements of semirecursive sets
e�ective closed sets.
Σ1
1= projections of Π0
1sets
e�ective analytic sets.
Π1
1= the complements of Σ1
1sets
e�ective coanalytic sets.
∆1
1= Σ1
1∩ Π1
1= e�ective Borel sets (Kleene).
Similarly one de�nes the relativized pointclasses with respect to
some parameter " which will be denoted by ∆1
1(") for instance.
![Page 18: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/18.jpg)
N (X ; s) = the ball with center x(s)0 and radius (s)1(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
e�ective open sets.
Π0
1= the complements of semirecursive sets
e�ective closed sets.
Σ1
1= projections of Π0
1sets
e�ective analytic sets.
Π1
1= the complements of Σ1
1sets
e�ective coanalytic sets.
∆1
1= Σ1
1∩ Π1
1= e�ective Borel sets (Kleene).
Similarly one de�nes the relativized pointclasses with respect to
some parameter " which will be denoted by ∆1
1(") for instance.
![Page 19: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/19.jpg)
N (X ; s) = the ball with center x(s)0 and radius (s)1(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
e�ective open sets.
Π0
1= the complements of semirecursive sets
e�ective closed sets.
Σ1
1= projections of Π0
1sets
e�ective analytic sets.
Π1
1= the complements of Σ1
1sets
e�ective coanalytic sets.
∆1
1= Σ1
1∩ Π1
1= e�ective Borel sets (Kleene).
Similarly one de�nes the relativized pointclasses with respect to
some parameter " which will be denoted by ∆1
1(") for instance.
![Page 20: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/20.jpg)
N (X ; s) = the ball with center x(s)0 and radius (s)1(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
e�ective open sets.
Π0
1= the complements of semirecursive sets
e�ective closed sets.
Σ1
1= projections of Π0
1sets
e�ective analytic sets.
Π1
1= the complements of Σ1
1sets
e�ective coanalytic sets.
∆1
1= Σ1
1∩ Π1
1= e�ective Borel sets (Kleene).
Similarly one de�nes the relativized pointclasses with respect to
some parameter " which will be denoted by ∆1
1(") for instance.
![Page 21: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/21.jpg)
A function f : X → Y is continuous if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s) is open.
A function f : X → Y is Σ0
1-recursive if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s), is Σ0
1.
A point x ∈ X is ∆1
1point if the relation U ⊆ ! which is de�ned by
U (s)⇐⇒ x ∈ N (X ; s)
is ∆1
1.
![Page 22: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/22.jpg)
A function f : X → Y is continuous if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s) is open.
A function f : X → Y is Σ0
1-recursive if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s), is Σ0
1.
A point x ∈ X is ∆1
1point if the relation U ⊆ ! which is de�ned by
U (s)⇐⇒ x ∈ N (X ; s)
is ∆1
1.
![Page 23: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/23.jpg)
A function f : X → Y is continuous if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s) is open.
A function f : X → Y is ∆1
1-recursive if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s), is ∆1
1.
A point x ∈ X is ∆1
1point if the relation U ⊆ ! which is de�ned by
U (s)⇐⇒ x ∈ N (X ; s)
is ∆1
1.
![Page 24: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/24.jpg)
A function f : X → Y is continuous if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s) is open.
A function f : X → Y is ∆1
1-recursive if and only if the set
Rf ⊆ X × !, Rf (x ; s)⇐⇒ f (x ) ∈ N (Y; s), is ∆1
1.
A point x ∈ X is ∆1
1point if the relation U ⊆ ! which is de�ned by
U (s)⇐⇒ x ∈ N (X ; s)
is ∆1
1.
![Page 25: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/25.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 26: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/26.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 27: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/27.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 28: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/28.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 29: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/29.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 30: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/30.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene). Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 31: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/31.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene). Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 32: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/32.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene). Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 33: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/33.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene).
Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 34: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/34.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene). Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 35: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/35.jpg)
A basic construction.
We assign to every tree Ô on ! a Polish space XT as follows
XT = T ∪ [T ]:
Every point of T is an isolated point of XT .
The tree Ô is dense in XT .
If Ô is a recursive tree then the Polish space XT is recursively
presented.
Theorem (VG). Every recursively presented Polish space is ∆1
1
isomorphic with a space of the form XT , for some recursive tree Ô.
E�ective Theory on Polish spaces has been developed with the
following preassumption: every recursively presented Polish space
which is not of the form !k is perfect i.e., there are no isolated
points. But on the other hand all previous notions are given in
general.
![Page 36: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/36.jpg)
It is well known that every uncountable Polish space is Borel
isomorphic with the Baire space N .
The corresponding e�ective result is that every perfect recursively
presented Polish space is ∆1
1isomorphic with N .
Another central result is that the set of ∆1
1points of a perfect
Polish space X is a Π1
1set but it is not ∆1
1.
Theorem (VG). Let T be a recursive tree such that the body [T ]does not contain ∆1
1members, (such a tree exists from a theorem
of Kleene). Then
(1) The space XT is not ∆1
1isomorphic with the Baire space N .
(2) The set of ∆1
1points of XT is Σ0
1i.e., semirecursive.
![Page 37: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/37.jpg)
Theorem (VG). Let X be an uncountable recursively presented
Polish space. The following are equivalent.
(1) The set of ∆1
1points of X is ∆1
1.
(2) The space X is ∆1
1isomorphic with a space of the form XT ,
where T is a recursive tree on ! for which the set [T ] does notcontain ∆1
1members.
Corollary (VG). Σ1
16= Π1
1.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in
![Page 38: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/38.jpg)
Theorem (VG). Let X be an uncountable recursively presented
Polish space. The following are equivalent.
(1) The set of ∆1
1points of X is ∆1
1.
(2) The space X is ∆1
1isomorphic with a space of the form XT ,
where T is a recursive tree on ! for which the set [T ] does notcontain ∆1
1members.
Corollary (VG). Σ1
16= Π1
1.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in
![Page 39: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/39.jpg)
Some Questions.
Let X , Y be two recursively presented Polish spaces. De�ne
X 4 Y if there is a ∆1
1injection � : X → Y.
De�ne also X ≈ Y if there is a ∆1
1isomorphism � : X → Y.
X ≈ Y ⇐⇒ X 4 Y & Y 4 X :
For every recursively presented Polish space X we have that
! 4 X 4 N :
Of course if X is uncountable then ! ≺ X , in particular ! ≺ N .
Fix a recursive tree T such that the body [T ] does not contain any
∆1
1members. Then we have the following
! ≺ XT ≺ N :
![Page 40: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/40.jpg)
Some Questions.
Let X , Y be two recursively presented Polish spaces. De�ne
X 4 Y if there is a ∆1
1injection � : X → Y.
De�ne also X ≈ Y if there is a ∆1
1isomorphism � : X → Y.
X ≈ Y ⇐⇒ X 4 Y & Y 4 X :
For every recursively presented Polish space X we have that
! 4 X 4 N :
Of course if X is uncountable then ! ≺ X , in particular ! ≺ N .
Fix a recursive tree T such that the body [T ] does not contain any
∆1
1members. Then we have the following
! ≺ XT ≺ N :
![Page 41: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/41.jpg)
Some Questions.
Let X , Y be two recursively presented Polish spaces. De�ne
X 4 Y if there is a ∆1
1injection � : X → Y.
De�ne also X ≈ Y if there is a ∆1
1isomorphism � : X → Y.
X ≈ Y ⇐⇒ X 4 Y & Y 4 X :
For every recursively presented Polish space X we have that
! 4 X 4 N :
Of course if X is uncountable then ! ≺ X , in particular ! ≺ N .
Fix a recursive tree T such that the body [T ] does not contain any
∆1
1members. Then we have the following
! ≺ XT ≺ N :
![Page 42: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/42.jpg)
Every recursively presented Polish space X is ∆1
1isomorphic to a
space of the form XT for some recursive tree on !.
If T = !<! then XT ≈ N .
Question no1. De�ne
T1 ∼ T2 ⇐⇒ XT1 ≈ XT2 :
Can we express the equivalence relation ∼ in terms of the
combinatorial and the e�ective properties of the trees T1;T2?
Question no2. Let T be a recursive tree whose body [T ] does notcontain any ∆1
1members. Is there some uncountable X which is
not up to ≈ one of XT ; N ?
Question no5. Is the relation 4 linear?
![Page 43: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/43.jpg)
Every recursively presented Polish space X is ∆1
1isomorphic to a
space of the form XT for some recursive tree on !.
If T = !<! then XT ≈ N .
Question no1. De�ne
T1 ∼ T2 ⇐⇒ XT1 ≈ XT2 :
Can we express the equivalence relation ∼ in terms of the
combinatorial and the e�ective properties of the trees T1;T2?
Question no2. Let T be a recursive tree whose body [T ] does notcontain any ∆1
1members. Is there some uncountable X which is
not up to ≈ one of XT ; N ?
Question no5. Is the relation 4 linear?
![Page 44: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/44.jpg)
Every recursively presented Polish space X is ∆1
1isomorphic to a
space of the form XT for some recursive tree on !.
If T = !<! then XT ≈ N .
Question no1. De�ne
T1 ∼ T2 ⇐⇒ XT1 ≈ XT2 :
Can we express the equivalence relation ∼ in terms of the
combinatorial and the e�ective properties of the trees T1;T2?
Question no2. Let T be a recursive tree whose body [T ] does notcontain any ∆1
1members. Is there some uncountable X which is
not up to ≈ one of XT ; N ?
Question no5. Is the relation 4 linear?
![Page 45: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/45.jpg)
Every recursively presented Polish space X is ∆1
1isomorphic to a
space of the form XT for some recursive tree on !.
If T = !<! then XT ≈ N .
Question no1. De�ne
T1 ∼ T2 ⇐⇒ XT1 ≈ XT2 :
Can we express the equivalence relation ∼ in terms of the
combinatorial and the e�ective properties of the trees T1;T2?
Question no2. Let T be a recursive tree whose body [T ] does notcontain any ∆1
1members. Is there some uncountable X which is
not up to ≈ one of XT ; N ?
Question no5. Is the relation 4 linear?
![Page 46: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/46.jpg)
Connections with General Topology.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in RX with the product
topology is a Borel-measurable function. Then there is a
subsequence (fn)n∈L which is pointwise convergent.
Theorem (Debs). Let X be a recursively presented Polish space
and (fn)n∈! be a sequence of continuous functions from X to Rwhich satis�es conditions (1) and (2) above and in addition (3) the
sequence (fn)n∈! is ∆1
1(�)-recursive. Then there is an in�nite
L ⊆ ! which is in ∆1
1(�) such that the subsequence (fn)n∈L is
pointwise convergent.
![Page 47: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/47.jpg)
Connections with General Topology.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in RX with the product
topology is a Borel-measurable function. Then there is a
subsequence (fn)n∈L which is pointwise convergent.
Theorem (Debs). Let X be a recursively presented Polish space
and (fn)n∈! be a sequence of continuous functions from X to Rwhich satis�es conditions (1) and (2) above and in addition (3) the
sequence (fn)n∈! is ∆1
1(�)-recursive.
Then there is an in�nite
L ⊆ ! which is in ∆1
1(�) such that the subsequence (fn)n∈L is
pointwise convergent.
![Page 48: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/48.jpg)
Connections with General Topology.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in RX with the product
topology is a Borel-measurable function. Then there is a
subsequence (fn)n∈L which is pointwise convergent.
Theorem (Debs). Let X be a recursively presented Polish space
and (fn)n∈! be a sequence of continuous functions from X to Rwhich satis�es conditions (1) and (2) above and in addition (3) the
sequence (fn)n∈! is ∆1
1(�)-recursive. Then there is an in�nite
L ⊆ ! which is in ∆1
1(�) such that the subsequence (fn)n∈L is
pointwise convergent.
![Page 49: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/49.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA) and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 50: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/50.jpg)
Connections with General Topology.
Theorem (Bourgain-Fremlin-Talagrand). Let X be a Polish space
and (fn)n∈! be a sequence of Borel-measurable functions from Xto R which satis�es (1) the sequence (fn)n∈! is pointwise bounded
and (2) every cluster point of (fn)n∈! in RX with the product
topology is a Borel-measurable function. Then there is a
subsequence (fn)n∈L which is pointwise convergent.
Theorem (Debs). Let X be a recursively presented Polish space
and (fn)n∈! be a sequence of continuous functions from X to Rwhich satis�es conditions (1) and (2) above and in addition (3) the
sequence (fn)n∈! is ∆1
1(�)-recursive. Then there is an in�nite
L ⊆ ! which is in ∆1
1(�) such that the subsequence (fn)n∈L is
pointwise convergent.
![Page 51: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/51.jpg)
Theorem (Debs, 2009). Suppose X is a recursively presented
Polish space and (fn)n∈! is a sequence of functions from X to Rwhich is ∆1
1(�)-recursive (and so it consists of Borel-measurable
functions) with the following properties:
(1) the sequence (fn)n∈! is pointwise bounded,
(2) every cluster point of (fn)n∈! in RX with the product topology
is a Borel-measurable function.
Then there is an in�nite L ⊆ ! which is in ∆1
1(�) such that the
subsequence (fn)n∈L is pointwise convergent.
![Page 52: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/52.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.
Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA) and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 53: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/53.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",
(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA) and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 54: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/54.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA)
and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 55: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/55.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA) and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 56: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/56.jpg)
A Weaker version of Debs' Theorem.
Theorem (VG). weaker Suppose X is a recursively presented
Polish space and (fn)n∈! is a sequence of functions from X to Rwhich is ∆1
1(�)-recursive (and so it consists of Borel-measurable
functions) with the following properties:
(1) the sequence (fn)n∈! is pointwise bounded,
(2) every cluster point of (fn)n∈! in RX with the product topology
is a Borel-measurable function.
Then there is an " ∈ N and L ∈ ∆1
1("; �) such that the
subsequence (fn)n∈L is pointwise convergent and moreover " is the
characteristic function of a Σ1
1subset of !.
![Page 57: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/57.jpg)
A Weaker version of Debs' Theorem.
Theorem (VG). weaker Suppose X is a recursively presented
Polish space and (fn)n∈! is a sequence of functions from X to Rwhich is ∆1
1(�)-recursive (and so it consists of Borel-measurable
functions) with the following properties:
(1) the sequence (fn)n∈! is pointwise bounded,
(2) every cluster point of (fn)n∈! in RX with the product topology
is a Borel-measurable function.
Then there is an " ∈ N and L ∈ ∆1
1("; �) such that the
subsequence (fn)n∈L is pointwise convergent and moreover " is the
characteristic function of a Σ1
1subset of !.
![Page 58: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/58.jpg)
A Weaker version of Debs' Theorem.
Theorem (VG). weaker Suppose X is a recursively presented
Polish space and (fn)n∈! is a sequence of functions from X to Rwhich is ∆1
1(�)-recursive (and so it consists of Borel-measurable
functions) with the following properties:
(1) the sequence (fn)n∈! is pointwise bounded,
(2) every cluster point of (fn)n∈! in RX with the product topology
is a Borel-measurable function.
Then there is an " ∈ N and L ∈ ∆1
1("; �) such that the
subsequence (fn)n∈L is pointwise convergent and moreover " is the
characteristic function of a Σ1
1subset of !.
![Page 59: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/59.jpg)
A Weaker version of Debs' Theorem.
Theorem (Debs, 2009). Suppose X is a recursively presented
Polish space and (fn)n∈! is a sequence of functions from X to Rwhich is ∆1
1(�)-recursive (and so it consists of Borel-measurable
functions) with the following properties:
(1) the sequence (fn)n∈! is pointwise bounded,
(2) every cluster point of (fn)n∈! in RX with the product topology
is a Borel-measurable function.
Then there is an in�nite L ⊆ ! which is in ∆1
1(�) such that the
subsequence (fn)n∈L is pointwise convergent.and moreover " is the
characteristic function of a Σ1
1subset of !.
![Page 60: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/60.jpg)
Theorem (Extension of the Topology). Suppose (X ; T ) is a Polish
space and A is a Borel subset of X . Then there is a Polish
topology TA which extends T , the set A is TA-clopen and the
topologies TA and T have the same Borel sets.
From this it follows that if (fn)n∈! is a sequence of
Borel-measurable functions from (X ; T ) to R then there exists a
Polish topology T ′ which extends T , has the same Borel sets with
T and every function fn is T ′-continuous.Theorem (VG). Let (X ; T ) be a recursively presented Polish space
and A be a ∆1
1subset of X . Then there is a Polish topology TA
which extends T such that:
(1) the Polish space (X ; TA) is "-recursively presented for some
parameter ",(2) the set A is Σ0
1(") and Π0
1(") subset of (X ; TA) and
(3) a set B ⊆ X is a ∆1
1("; �) subset of (X ; T ) if and only if B is a
∆1
1("; �) subset of (X ; TA).
![Page 61: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/61.jpg)
Results in Banach space Theory.
Theorem (VG). Let X be a separable Banach space. Then the set
P = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent}
is a coanalytic subset of X !.
Let Q be a coanalytic subset of X ! × X . Then the set
PQ = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent
to some y and Q((yi)i∈!; y) }
is a coanalytic subset of X !.
![Page 62: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/62.jpg)
Results in Banach space Theory.
Theorem (VG). Let X be a separable Banach space. Then the set
P = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent}
is a coanalytic subset of X !.
Let Q be a coanalytic subset of X ! × X . Then the set
PQ = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent
to some y and Q((yi)i∈!; y) }
is a coanalytic subset of X !.
![Page 63: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/63.jpg)
Results in Banach space Theory.
Theorem (VG). Let X be a separable Banach space. Then the set
P = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent}
is a coanalytic subset of X !.
Let Q be a coanalytic subset of X ! × X . Then the set
PQ = { (yi)i∈! ∈ X ! = the sequence (yi)i∈! is weakly convergent
to some y and Q((yi)i∈!; y) }
is a coanalytic subset of X !.
![Page 64: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/64.jpg)
Theorem (Erd�os-Magidor). Let X be a Banach space and (ei)i∈!be a bounded sequence in X . Then there is a subsequence (eki )i∈!such that: either (É) every subsequence of (eki )i∈! is Ces�aro
summable with respect to the norm and all being summed to the
same limit; or (ÉÉ) no subsequence of (eki )i∈! is Ces�aro summable.
Theorem (VG). Let X be a Banach space, (ei)i∈! be a bounded
sequence in X and let Q ⊆ X ! × X be a coanalytic set. Then
there is a subsequence (ei)i∈L of (ei)i∈! for which: either
(I) there is some e ∈ X such that every subsequence (ei)i∈H of
(ei)i∈L is weakly Ces�aro summable to e and Q((ei)i∈H ; e); or(II) for every subsequence (ei)i∈H of (ei)i∈L and every e ∈ X with
Q((ei)i∈H ; e) the sequence (ei)i∈H is not weakly Ces�aro summable
to e.
![Page 65: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/65.jpg)
Theorem (Erd�os-Magidor). Let X be a Banach space and (ei)i∈!be a bounded sequence in X . Then there is a subsequence (eki )i∈!such that: either (É) every subsequence of (eki )i∈! is Ces�aro
summable with respect to the norm and all being summed to the
same limit; or (ÉÉ) no subsequence of (eki )i∈! is Ces�aro summable.
Theorem (VG). Let X be a Banach space, (ei)i∈! be a bounded
sequence in X and let Q ⊆ X ! × X be a coanalytic set. Then
there is a subsequence (ei)i∈L of (ei)i∈! for which: either
(I) there is some e ∈ X such that every subsequence (ei)i∈H of
(ei)i∈L is weakly Ces�aro summable to e and Q((ei)i∈H ; e); or(II) for every subsequence (ei)i∈H of (ei)i∈L and every e ∈ X with
Q((ei)i∈H ; e) the sequence (ei)i∈H is not weakly Ces�aro summable
to e.
![Page 66: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/66.jpg)
Example. Let (fn)n∈! be a bounded sequence of di�erentiable
functions. Then there is a subsequence (fn)n∈L such that: either
(I) there is a di�erentiable function f such that for every H ⊆ L the
sequences (fn)n∈H and (f ′n)n∈H are pointwise Ces�aro summable to
f and f ′ respectively; or (ÉÉ) for every di�erentiable function f and
every H ⊆ L if (fn)n∈H is pointwise Ces�aro summable to f then
then (f ′n)n∈H is not pointwise Ces�aro summable to f ′.
Theorem (VG). Let X be a Banach space and (ei)i∈! a bounded
sequence in X for which every subsequence (ei)i∈L has a further
subsequence (ei)i∈H which is weakly Ces�aro summable. Then
(1) every subsequence of (ei)i∈! has a weakly convergent
subsequence and
(2) there is a Borel-measurable function f : [N]! → [N]! such that
for all subsequences (ei)i∈L the sequence (ei)i∈f (L) is a weakly
convergent subsequence of (ei)i∈L.
![Page 67: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/67.jpg)
Example. Let (fn)n∈! be a bounded sequence of di�erentiable
functions. Then there is a subsequence (fn)n∈L such that: either
(I) there is a di�erentiable function f such that for every H ⊆ L the
sequences (fn)n∈H and (f ′n)n∈H are pointwise Ces�aro summable to
f and f ′ respectively; or (ÉÉ) for every di�erentiable function f and
every H ⊆ L if (fn)n∈H is pointwise Ces�aro summable to f then
then (f ′n)n∈H is not pointwise Ces�aro summable to f ′.Theorem (VG). Let X be a Banach space and (ei)i∈! a bounded
sequence in X for which every subsequence (ei)i∈L has a further
subsequence (ei)i∈H which is weakly Ces�aro summable. Then
(1) every subsequence of (ei)i∈! has a weakly convergent
subsequence
and
(2) there is a Borel-measurable function f : [N]! → [N]! such that
for all subsequences (ei)i∈L the sequence (ei)i∈f (L) is a weakly
convergent subsequence of (ei)i∈L.
![Page 68: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/68.jpg)
Example. Let (fn)n∈! be a bounded sequence of di�erentiable
functions. Then there is a subsequence (fn)n∈L such that: either
(I) there is a di�erentiable function f such that for every H ⊆ L the
sequences (fn)n∈H and (f ′n)n∈H are pointwise Ces�aro summable to
f and f ′ respectively; or (ÉÉ) for every di�erentiable function f and
every H ⊆ L if (fn)n∈H is pointwise Ces�aro summable to f then
then (f ′n)n∈H is not pointwise Ces�aro summable to f ′.Theorem (VG). Let X be a Banach space and (ei)i∈! a bounded
sequence in X for which every subsequence (ei)i∈L has a further
subsequence (ei)i∈H which is weakly Ces�aro summable. Then
(1) every subsequence of (ei)i∈! has a weakly convergent
subsequence and
(2) there is a Borel-measurable function f : [N]! → [N]! such that
for all subsequences (ei)i∈L the sequence (ei)i∈f (L) is a weakly
convergent subsequence of (ei)i∈L.
![Page 69: E ective Descriptive Set Theory and Applications in Analysis · Analytic Sets. A set P Xis analytic or e 1 1 if there is a closed set Q XN P (x ) ()9 2NQ (x ; ) Coanalytic sets. A](https://reader033.vdocuments.mx/reader033/viewer/2022050415/5f8bd1281753980dd4121d95/html5/thumbnails/69.jpg)
Danke sch�on!