Collections of compact sets in descriptive set theory

Abstract

1 Název práce: Systémy kompaktních množin v deskriptivní teorii Autor: Václav Vlasák Katedra: Katedra matematické analýzy Vedoucí doktorské práce: Doc. RNDr. Miroslav Zelený, Ph.D. Autorova e-mailová adresa: vlasakmm@volny.cz Abstract: Tato práce se skládá ze tří článků. V kapitole 2 se zabýváme souvislostmi mezi složitostí dané funkce f z polského prostoru X do polského prostoru Y a složitostí množiny C(f) = {K ∈ K(X); f K je spojitá}, kde symbol K(X) označuje prostor všech kompaktních podmnožin prostoru X opatřený Vietorisovou topologii. Dokážeme, že jestliže C(f) je ana- lytická, pak f je borelovská. Za předpokladu ∆1 2-determinovanosti ukážeme, že f je borelovská právě tehdy když C(f) je koanalytická. Předkládáme též podobné výsledky pro projektivní třídy. V kapitole 3 pokračujeme ve zkoumání systému C(f) a taktéž studujeme re- strikci tohoto systému na konvergentní posloupnosti(C(f)). Ukážeme, že systém C(f) je borelovský právě tehdy když f je borelovská. Předkládáme též podobné výsledky pro projektivní třídy. V kapitole 4 pojednáváme o HN -množinách, které tvoří důležitou podtřídu třídy množin jednoznačnosti pro trigonometrické řady. Velikost těchto tříd je zk- oumána pomocí systému měr...

1 Title: Collections of compact sets in descriptive set theory Author: Václav Vlasák Department: Department of Mathematical Analysis Supervisor: Doc. RNDr. Miroslav Zelený, Ph.D. Author's e-mail address: vlasakmm@volny.cz Abstract: This work consists of three articles. In Chapter 2, we dissert on the connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set C(f) = {K ∈ K(X); f K is continuous}, where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming ∆1 2-Determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented. In Chapter 3, we continue in our investigation of collection C(f) and also study its restriction on convergent sequences (C(f)). We prove that C(f) is Borel if and only if f is Borel. Similar results for projective classes are also presented. The Chapter 4 disserts on HN -sets, which form an important subclass of the class of sets of uniqueness for trigonometric series. We investigate the size of these classes which is reflected by the family of measures called polar which annihilate all the sets belonging to the given class. The main aim of this chapter is to answer in...