Detailansicht
Towards a descriptive version of Ramsey's Theorem
Fabian Ebner
Art der Arbeit
Masterarbeit
Universität
Universität Wien
Fakultät
Fakultät für Mathematik
Studiumsbezeichnung bzw. Universitätlehrgang (ULG)
Masterstudium Mathematik
Betreuer*in
Benjamin Miller
DOI
10.25365/thesis.64787
URN
urn:nbn:at:at-ubw:1-10313.63921.758882-5
Link zu u:search
(Print-Exemplar eventuell in Bibliothek verfügbar)
Abstracts
Abstract
(Deutsch)
In dieser Masterarbeit erkunden wir Aspekte der Ramsey-Theorie im Kontext der Deskriptiven Mengenlehre. Die motivierende Fragestellung lautete: Wann gibt es für eine borelsche Funktion von einer abzählbaren borelschen Äquivalenzrelation E nach 2 eine E-vollständige homogene Borel-Menge? Wir beschäftigen uns hauptsächlich mit zwei verwandten Fragen: Wann kann der darunterliegende Raum als abzählbare Vereinigung von homogenen Borel-Mengen geschrieben werden? Welche Relevanz hat die übliche Methode, um Gegenbeispiele für Ramsey-Aussagen im Unendlichen zu konstruieren, i.e. das Vergleichen von zwei linearen Ordnungen, im neuen Kontext?
Zu Beginn untersuchen wir die Hausdorff-Kondensation von linearen Ordnungen und geben zwei Beweise dafür, dass ω1 eine strikte obere Schranke für das Supremum der Hausdorff-Ränge von bestimmten definierbaren Mengen von zerstreuten linearen Ordnungen ist. Anschließend untersuchen wir die stetige Einbettbarkeit in der Klasse von Paaren analytischer gerichteter Graphen auf polnischen Räumen, deren gemeinsame borelsche chromatische Zahl überabzählbar ist. Viele Resultate einer Arbeit von Miller und Lecomte werden zu Paaren von analytischen gerichteten Graphen verallgemeinert, insbesondere die Basis- und Anti-Basis-Resultate. Abschließend untersuchen wir die Klasse von borelschen Funktionen f : E\∆(X) → 2, wobei E eine nicht-glatte borelsche Äquivalenzrelation auf einem polnischen Raum ist und jede Borel-Menge B, für welche f | ((E \ ∆(X)) | B) konstant ist, E-glatt ist. Es gibt ein natürliches Beispiel f0 einer solchen Funktion, die minimal unter jenen Funktionen ist, deren Domäne von einer abzählbaren Äquivalenzrelation kommt.
Abstract
(Englisch)
This thesis explores aspects of Ramsey theory in the descriptive set-theoretic context. The motivating question was: When does a Borel function from a countable Borel equivalence relation E to 2 admit an E-complete homogeneous Borel set? This thesis mostly focuses on two related questions: When is the underlying space a countable union of homogeneous Borel sets? In the new context, what is the relevance of the usual method of constructing counterexamples to infinitary Ramsey statements by comparing two linear orders?
First, we look at the Hausdorff condensation of linear orders and give two proofs of the fact that ω1 is a strict upper bound for the supremum of the Hausdorff ranks of certain definable sets of scattered linear orders. Then, we deal with continuous embeddability in the class of pairs of analytic directed graphs on a Polish space whose joint Borel chromatic number is uncountable. Many results from a paper by Miller and Lecomte are generalized to pairs of analytic directed graphs, most importantly the basis and anti-basis results. Finally, we look at the class of Borel functions f : E \∆(X) → 2, where E is a non-smooth Borel equivalence relation on a Polish space X, with the property that every Borel set B for which f | ((E \ ∆(X)) | B) is constant is E-smooth. There is a natural example f0 of such a function, which turns out to be minimal among the functions whose domain comes from a countable equivalence relation.
Schlagwörter
Schlagwörter
(Englisch)
Ramsey's Theorem Hausdorff condensation analytic directed graphs continuous embeddability chromatic number non-smooth Borel equivalence relation
Schlagwörter
(Deutsch)
Satz von Ramsey Hausdorff-Kondensation Analytische gerichtete Graphen Stetige Einbettbarkeit Chromatische Zahl Nicht-glatte borelsche Äquivalenzrelationen
Autor*innen
Fabian Ebner
Haupttitel (Englisch)
Towards a descriptive version of Ramsey's Theorem
Paralleltitel (Deutsch)
In Richtung einer deskriptiven Variante des Satzes von Ramsey
Publikationsjahr
2020
Umfangsangabe
34 Seiten
Sprache
Englisch
Beurteiler*in
Benjamin Miller
Klassifikation
31 Mathematik > 31.10 Mathematische Logik, Mengenlehre
AC Nummer
AC16225808
Utheses ID
57489
Studienkennzahl
UA | 066 | 821 | |