Projective \(\sigma\)-compactness, \(\omega_1\)-caliber, and \(C_p\)-spaces (Q1568396)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective \(\sigma\)-compactness, \(\omega_1\)-caliber, and \(C_p\)-spaces |
scientific article |
Statements
Projective \(\sigma\)-compactness, \(\omega_1\)-caliber, and \(C_p\)-spaces (English)
0 references
13 August 2000
0 references
Let \(C_p(X)\) be the space of continuous real-valued functions on \(X\) with the topology of pointwise convergence. A space is projectively \(\sigma\)-compact provided that every separable metrizable continuous image of the space is \(\sigma\)-compact. This article shows that \(C_p(X)\) is projectively \(\sigma\)-compact if and only if it is \(\sigma\)-pseudocompact. In addition, characterizations are given for \(C_p(X)\) to be projectively analytic and for \(C_p(Y|X)\) to be \(\sigma\)-compact, where \(C_p(Y|X)\) consists of the restrictions of the functions in \(C_p(X)\) to \(Y\). In the last section, a known result concerning spaces with cardinality no greater than \(2^{\omega}\) is generalized and used to show that the weight of a compact subspace of \(C_p(X)\) is no greater than \(2^{\omega}\) whenever \(\omega_1\) is a caliber of \(X\) and \(X\) has countable extent. This is a ZFC result so that it is related to the question of whether it is true in ZFC that every compact subspace of \(C_p(X)\) is metrizable whenever \(\omega_1\) is a caliber of \(X\).
0 references
Hurewicz space
0 references
Lindelöf space
0 references
density
0 references
weight
0 references
analytic space
0 references
\(K\)-analytic space
0 references