Ideals of compact sets associated with Borel functions. (Q595843): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1490929562 / rank | |||
Normal rank |
Latest revision as of 19:28, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideals of compact sets associated with Borel functions. |
scientific article |
Statements
Ideals of compact sets associated with Borel functions. (English)
0 references
6 August 2004
0 references
For a Polish space \(X\), let \(J (X)\) be the hyperspace of compact subsets of \(X\) with the Hausdorff metric. Given a function \(f: X\to Y\) between Polish spaces \(X\) and \(Y\), put \({\mathcal C} (f) = \{ C \in J(X) : f \upharpoonright C\) is continuous\(\}\). The author establishes a number of results about the connection between the complexity of \(f\) and the complexity of \({\mathcal C} (f)\). For example, \(f\) is continuous iff \({\mathcal C} (f)\) is a \(G_\delta\)-subset of \(J(X)\). Also, if \({\mathcal C} (f)\) is a \(\Pi^0_3\) subset of \(J(X)\), then \(f\) is a Baire class one function which in turn implies that \({\mathcal C} (f)\) is a \(\Pi^0_4\) subset of \(J(X)\), with none of the two implications being reversible. Furthermore, for a Borel function \(f\), \(f\) has a \(G_\delta\)-graph iff \({\mathcal C} (f)\) is a Borel subset of \(J(X)\). The proofs use arguments from classical descriptive set theory.
0 references
descriptive set theory
0 references
Polish space
0 references
Borel sets
0 references
hyperspace of compact sets
0 references
Hausdorff metric
0 references
Baire class of functions
0 references