O riešení niektorých nerozhodnutelných topologických problémov
The authors have shown [Proc. Amer. Math. Soc. 135 (2007), 4039--4044] that every nonmetrizable, pseudocompact abelian group has both a proper dense pseudocompact subgroup and a strictly finer pseudocompact group topology. Here they give a comprehensive, direct and self-contained proof of this result.
Throughout this abstract, is a topological Abelian group and is the space of continuous homomorphisms from into the circle group in the compact-open topology. A dense subgroup of is said to determine if the (necessarily continuous) surjective isomorphism given by is a homeomorphism, and is determined if each dense subgroup of determines . The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is...
Page 1