Conway’s Question: The Chase for Completeness

We study various degrees of completeness for a Tychonoff space X. One of them plays a central role, namely X is called a Conway space if X is sequentially closed in its Stone–Čech compactification βX (a prominent example of Conway spaces is provided by Dieudonné complete spaces). The Conway spaces constitute a bireflective subcategory Conw of the category Tych of Tychonoff spaces. Replacing sequential closure by the general notion of a closure operator C, we introduce analogously the subcategory ConwC of C-Conway spaces, that turns out to be again a bireflective subcategory of Tych. We show that every bireflective subcategory of Tych can be presented in this way by building a Galois connection between bireflective subcategories of Tych and closure operators of Top finer than the Kuratowski closure. Other levels of completeness are considered for the (underlying topological spaces of) topological groups. A topological group G is sequentially complete if it is sequentially closed in its Raĭkov completion ${ \ifmmode\expandafter\tilde\else\expandafter\~\fi{G}}$. The sequential completeness for topological groups is stronger than Conway’s property, although they coincide in some classes of topological groups, for example: free (Abelian) topological groups, pseudocompact groups, etc.

[1]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[2]  Takashi Noiri,et al.  ON p-CLOSED SPACES , 1998 .

[3]  S. Yau.  Mathematics and its applications , 2002 .

[4]  V. Uspenskiĭ.  FREE TOPOLOGICAL GROUPS OF METRIZABLE SPACES , 1991 .

[5]  W. Wistar Comfort,et al.  Pseudocompactness and uniform continuity in topological groups. , 1966 .

[6]  D. Dikranjan,et al.  Weakly complete free topological groups , 2001 .

[7]  Barbara V. Smith Thomas,et al.  Free topological groups , 1974 .

[8]  On sequential convergence in groups , 1967 .

[9]  Albert Wilansky,et al.  Topology for Analysis , 1970 .

[10]  Walter Tholen,et al.  CLASSIFICATION OF CLOSURE OPERATORS FOR CATEGORIES OF TOPOLOGICAL SPACES , 2004 .

[11]  Leonard Gillman,et al.  Rings of continuous functions , 1961 .

[12]  Walter Tholen,et al.  Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics , 1995 .

[13]  F. Trigos-Arrieta.  Every uncountable abelian group admits a nonnormal group topology , 1994 .

[14]  Josef Novák,et al.  General Topology and Its Relations to Modern Analysis and Algebra IV , 1977 .

[15]  J. Porter,et al.  A survey of minimal topological spaces , 1971 .

[16]  O. Sipacheva.  Free topological groups of spaces and their subspaces , 2000 .

[17]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[18]  Marry Ellen Rudin.  A normal space X for which X×I is not normal , 1971 .

[19]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[20]  W. Comfort,et al.  Countably compact groups and finest totally bounded topologies. , 1973 .

[22]  D. Dikranjan,et al.  Categories of topological spaces with sufficiently many sequentially closed spaces , 1997 .