Topological group criterion for \(C(\mathbf X)\) in compact-open-like topologies. II. (Q1032890): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 23:28, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological group criterion for \(C(\mathbf X)\) in compact-open-like topologies. II. |
scientific article |
Statements
Topological group criterion for \(C(\mathbf X)\) in compact-open-like topologies. II. (English)
0 references
5 November 2009
0 references
If \(Y\) is a space then \(\mathcal C\) is the family of all cozero sets in \(\beta Y\) which contain \(Y\). The authors denote by \({\mathcal C}_\delta\) the family of all countable intersections of the elements of \(\mathcal C\). For any set \(Z \subset \beta Y\) let \({\mathcal K}(Z)\) be the family of all compact subsets of \(Z\); if \(K\in{\mathcal K}(Z)\) then \(U(K)=\{f\in C(\beta Z): f(K)\subset\{0\}\}\). The family \(\{U(K): K\in {\mathcal K}(S)\}\) is a basis of neighbourhoods of the identity for a Hausdorff topology \(\sigma_S\) on \(C(\beta Y)\) for every set \(S\in {\mathcal C}_\delta\). The family \(\sigma^{\mathcal C}= \bigcap \{\sigma_S: S\in {\mathcal C}_\delta\}\) is a topology on \(C(\beta Y)\) in which the inversion \(f\to -f\) is a homeomorphism and the addition \(+\) is separately continuous. The authors study when the addition is jointly continuous in the space \((C(\beta Y), \sigma^{\mathcal C})\). It was known that this is the case if the Hewitt extension \(\upsilon Y\) of the space \(Y\) is Lindelöf and Čech-complete. The authors show that the converse to this fact fails in general; however, the main result of the paper states that, under the Continuum Hypothesis, if \(Y\) is a separable metrizable space and the addition is jointly continuous in the space \((C(\beta Y), \sigma^{\mathcal C})\) then \(Y\) is Čech-complete.
0 references
C(X)
0 references
topological group
0 references
Čech-Stone compactification
0 references
Polish space
0 references
Epi-topology
0 references
compact-zero topology
0 references
space with filter
0 references
continuum hypothesis
0 references