Topological group criterion for \(C(X)\) in compact-open-like topologies. I (Q1005166): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Richard N. Ball / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Anthony W. Hager / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Stevo Todorčević / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vladimir V. Tkachuk / rank | |||
Normal rank |
Revision as of 03:59, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological group criterion for \(C(X)\) in compact-open-like topologies. I |
scientific article |
Statements
Topological group criterion for \(C(X)\) in compact-open-like topologies. I (English)
0 references
6 March 2009
0 references
Given a space \(Y\), denote by \({\mathcal K}(Y)\) the family of all compact subsets of \(Y\); for any \(K\in {\mathcal K}(Y)\) let \(O(K)=\{f\in C(Y): f(K)=\{0\}\}\). The family \({\mathcal A}=\{O(K): K\in {\mathcal K}(Y)\}\) generates a topology \(\tau\) on \(C(Y)\) such that \({\mathcal A}\) is a local base of \((C(Y),\tau)\) at the origin. This topology is called the compact-zero topology on \(C(Y)\). For a compact space \(X\) consider a filter base \({\mathcal F}\) of dense open \(F_\sigma\)-subsets of \(X\) and let \({\mathcal F}_\delta\) be the family of all countable intersections of elements of \({\mathcal F}\). Any set \(F\in {\mathcal F}_\delta\) is dense in \(X\) so the restriction map \(\pi_F: C(X)\to C(F)\) defined by \(\pi(f)=f|F\) for any \(f\in C(X)\), is injective. Let \(co(F)\) be the compact-open topology on \(C(F)\) and denote by \(cz(F)\) the compact-zero topology on the set \(C(F)\). For every set \(F\in {\mathcal F}_\delta\) the families \(\tau_F=\{\pi^{-1}(U) : Y\in co(F)\}\) and \(\sigma_F=\{\pi^{-1}(V) : V\in cz(F)\}\) are topologies on \(C(X)\) and hence \(\tau_{\mathcal F}= \bigwedge\{ \tau_F : F\in {\mathcal F}_\delta\} \) and \(\sigma_{\mathcal F}= \bigwedge\{ \sigma_F : F\in {\mathcal F}_\delta\} \) are also topologies on \(C(X)\). The authors study the situation when \((C(X),\tau)\) is a topological group for some (or each) \(\tau\in \{\tau_{\mathcal F}, \sigma_{\mathcal F}\}\). They basically consider the case when \(X=\beta Y\) and \({\mathcal F}\) is the family \({\mathcal C}\) of all cozero subsets of \(X\) which contain \(Y\). It is established, among other things, that if \(X=\beta Y\) for some space \(Y\) such that \(\upsilon Y\) is Lindelöf and Čech-complete then \(\tau_{\mathcal C}\) and \(\sigma_{\mathcal C}\) are group topologies on \(C(X)\). The authors also show that if \(Y\) is a discrete space of cardinality \(\omega_1\) and \(X= \beta Y\) then \(\tau_{\mathcal C}\) and \(\sigma_{\mathcal C}\) are not group topologies on \(C(X)\).
0 references
\(C(X)\)
0 references
topological group
0 references
Čech-stone compactification
0 references
epimorphism
0 references
monomorphism
0 references
epi-to\-po\-logy
0 references
compact-open topology
0 references
compact-zero topology
0 references
space with filter
0 references
frame
0 references
lattice-ordered group
0 references
pressing-down
0 references
Aronszajn tree
0 references