Countable compacta of continuity for projective functions (Q536066): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
For a Polish space \(X\) let \(\mathcal{K}(X)\) denote the space of all compact subsets of \(X\) equipped with the Vietoris topology. In the paper under review the author investigates connections between complexity of a function \(f\) from a Polish space \(X\) to a Polish space \(Y\) and complexity of the set \(\widetilde C(f)=\{K\in \mathcal{K}(X)\); \(f|_K\) is continuous and \(K\) has exactly one limit point\}. In the main result he shows that for each positive integer \(n\) the following conditions are equivalent: (1)~\(\widetilde{C}(f)\in\Delta_n^1(\mathcal{K}(X))\); (2)~\(\widetilde{C}(f)\in \Sigma^1_n(\mathcal{K}(X))\); (3)~\(f\) is \(\Delta_n^1\)-measurable. In particular, \(f\) is Borel iff \(\widetilde{C}(f)\) is Borel. | |||
Property / review text: For a Polish space \(X\) let \(\mathcal{K}(X)\) denote the space of all compact subsets of \(X\) equipped with the Vietoris topology. In the paper under review the author investigates connections between complexity of a function \(f\) from a Polish space \(X\) to a Polish space \(Y\) and complexity of the set \(\widetilde C(f)=\{K\in \mathcal{K}(X)\); \(f|_K\) is continuous and \(K\) has exactly one limit point\}. In the main result he shows that for each positive integer \(n\) the following conditions are equivalent: (1)~\(\widetilde{C}(f)\in\Delta_n^1(\mathcal{K}(X))\); (2)~\(\widetilde{C}(f)\in \Sigma^1_n(\mathcal{K}(X))\); (3)~\(f\) is \(\Delta_n^1\)-measurable. In particular, \(f\) is Borel iff \(\widetilde{C}(f)\) is Borel. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tomasz Natkaniec / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54H05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5888211 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
continuity | |||
Property / zbMATH Keywords: continuity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Vietoris topology | |||
Property / zbMATH Keywords: Vietoris topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Borel sets | |||
Property / zbMATH Keywords: Borel sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective classes | |||
Property / zbMATH Keywords: projective classes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinacy axiom. | |||
Property / zbMATH Keywords: determinacy axiom. / rank | |||
Normal rank |
Revision as of 10:04, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Countable compacta of continuity for projective functions |
scientific article |
Statements
Countable compacta of continuity for projective functions (English)
0 references
16 May 2011
0 references
For a Polish space \(X\) let \(\mathcal{K}(X)\) denote the space of all compact subsets of \(X\) equipped with the Vietoris topology. In the paper under review the author investigates connections between complexity of a function \(f\) from a Polish space \(X\) to a Polish space \(Y\) and complexity of the set \(\widetilde C(f)=\{K\in \mathcal{K}(X)\); \(f|_K\) is continuous and \(K\) has exactly one limit point\}. In the main result he shows that for each positive integer \(n\) the following conditions are equivalent: (1)~\(\widetilde{C}(f)\in\Delta_n^1(\mathcal{K}(X))\); (2)~\(\widetilde{C}(f)\in \Sigma^1_n(\mathcal{K}(X))\); (3)~\(f\) is \(\Delta_n^1\)-measurable. In particular, \(f\) is Borel iff \(\widetilde{C}(f)\) is Borel.
0 references
continuity
0 references
Vietoris topology
0 references
Borel sets
0 references
projective classes
0 references
determinacy axiom.
0 references