On metrizable subspaces and quotients of non-Archimedean spaces \(C_p(X, \mathbb{K})\) (Q2180880)

Several results are proved about the space \(C_p(X,\mathbb{K})\) of continuous functions from an infinite ultraregular space \(X\) (that is, an infinite Hausdorff topological space such that the clopen subsets form a basis for its topology) with values on a non-trivially valued non-Archimedean complete field \(\mathbb{K}\), when the space is endowed with the topology of pointwise convergence. For example: (1) If \(X\) contains an infinite compact subset, then \(C_p(X,\mathbb{K})\) has an infinite-dimensional closed metrizable subspace isomorphic to \(c_0(\mathbb{N},\mathbb{K})\). (2) The space \(C_p(X,\mathbb{K})\) has a quotient isomorphic to \(c_0(\mathbb{N},\mathbb{K})\) if and only if it has a complemented subspace isomorphic to \(c_0(\mathbb{N},\mathbb{K})\). The question of for which \(X\) the space \(C_p(X,\mathbb{K})\) has an infinite-dimensional metrizable quotient is considered, too.