Erdős space

Abstract

This thesis explores the topological properties and characterizations of Erdős space (E) and complete Erdős space (Ec). Originally introduced by Paul Erdős in 1940 as examples of totally disconnected yet one-dimensional spaces, these sets serve as the archetypal models for the class of almost zero-dimensional spaces. We establish the fundamental properties of almost zero-dimensional spaces proving they are hereditary, productive, totally disconnected and at most one dimensional. A key topological characterization is presented, identifying these spaces as the set of endpoints of an R-tree. We then focus on structures of E and Ec. By introducing the Lelek function and the Lelek fan, the author demonstrates that complete Erdős space can be represented as a dense set of endpoints in a smooth fan. The thesis concludes with a core characterization theorem, proving that every almost zero-dimensional space can be embedded into both Erdős and complete Erdős space, and can be represented as the graph of a semi-continuous function over a zero-dimensional domain.

Tato práce se věnuje topologickým vlastnostem a charakterizacím Erdősova (E) a úplného Erdősova prostoru (Ec). Tyto prostory, původně představené Paulem Erdősem v roce 1940 jako příklady úplně nesouvislých, a přesto jednodimenzionálních prostorů, slouží jako charakteristické prostory pro třídu prostorů dimenze skoro nula. V práci jsou stanoveny základní vlastnosti prostorů dimenze skoro nula a dokazujeme, že jsou dědičné, produktivní, úplně nesouvislé a nejvýše jednodimenzionální. Je představena klíčová to- pologická charakterizace, která tyto prostory identifikuje jako množiny koncových bodů R-stromu. Následně se text zaměřuje na strukturu E a Ec. Autor zavedením Lelkovy funkce a Lelkova vějíře demonstruje, že úplný Erdősův prostor lze reprezentovat jako hustou množinu koncových bodů v hladkém vějíři. Práce je zakončena hlavní větou o charakterizaci, která dokazuje, že každý prostor dimenze skoro nula lze vnořit do Erdő- sova i úplného Erdősova prostoru a lze jej reprezentovat jako graf polospojité funkce s definičním oborem dimenze nula.