A slight extension of a construction due to Calabi-Rosenlicht (and later Gabard, Baillif and others) produces a typically non-metrizable -manifold by gluing two copies of the open upper half-space in along the disjoint union of the spaces of rays within originating at points ranging over a subset of the boundary . The fundamental group is free on the complement of any singleton in , and the main result below is that the first cohomotopy group , regarded as a space of functions , is precisely the additive group of integer-valued Baire-1 functions on . This occasions a detour on characterizations (perhaps of independent interest) of Baire-1 real-valued functions on a metric space as various types of non-tangential boundary limits of continuous functions on .

生成讲解博客的中文版本

生成AI智能校验的中文版本