Chain conditions and continuous mappings on \(C_ p(X)\) (Q1199649): Difference between revisions

Throughout, \(X\) and \(Y\) are infinite Tychonoff spaces and \(C_ p(X)\) is the space \(C(X,\mathbb{R})\) with the topology inherited from \(\mathbb{R}^ X\). Given cardinals \(\tau\) and \(\lambda\), a space \(X\) is said to have caliber \((\tau,\lambda)\) if, of every \(\tau\)-many non-empty open subsets of \(X\), some \(\lambda\)-many have non-empty intersection; caliber \(\tau\) abbreviates caliber \((\tau,\tau)\). Among the many results proved are these. (A) If \(C_ p(Y)\) is a one-to-one, continuous image of \(C_ p(X)\), then (a) \(d(X)\leq d(Y)\) and (b) \(X\) has caliber \((\tau,\lambda)\) if \(Y\) has caliber \((\tau,\lambda)\) provided \(\tau\) is regular and \(\text{cf}(\lambda)>\omega\). (B) If \(\tau\) is regular and \(\tau>\omega\), then \(X\) has caliber \(\tau\) iff \(C_ p(C_ p(X))\) has caliber \(\tau\). (C) If \(X\) has caliber \(\text{cf}(\tau)\), then \(C_ p(X)\) contains no compact \(F\) with \(w(F)=\tau\). (D) If \(2^{\omega_ 1}=\omega_ 2\) and \(X\) has caliber \(\omega_ 1\) and caliber \(\omega_ 2\), then every compact \(F\subseteq C_ p(X)\) is metrizable. (E) If \(\text{cf}(\tau)>\omega\) then \(C_ p(\mathbb{R}^ \tau)\) does not have caliber \((\tau,\omega)\). (F) Assume GCH. If a Banach space has calibers \(\omega_ 1\) and \(\omega_ 2\) in its weak topology, then it is norm- separable. Some of the author's results use, or duplicate, or improve, earlier theorems of A. V. Arkhangel'skij, B. Efimov and V. V. Tkachuk.