Isomorphisms from extremely regular subspaces of \(C_0(K)\) into \(C_0(S,X)\) spaces (Q2292323): Difference between revisions

Summary: For a locally compact Hausdorff space \(K\) and a Banach space \(X\), let \(C_0 (K,X)\) be the Banach space of all \(X\)-valued continuous functions defined on \(K\), which vanish at infinite provided with the sup norm. If \(X\) is \(\mathbb{R}\), we denote \(C_0 (K,X)\) as \(C_0 (K)\). If \(\mathcal{A} (K)\) be an extremely regular subspace of \(C_0(K)\) and \(T : \mathcal{A} (K) \longrightarrow C_0 (S,X)\) is an into isomorphism, what can be said about the set-theoretical or topological properties of \(K\) and \(S\)? Answering the question, we will prove that if \(X\) contains no copy of \(c_0\), then the cardinality of \(K\) is less than that of \(S\). Moreover, if \(\| T\| \| T^{-1}\| <3 \) and \(\mathcal{A}(K)\) is also a subalgebra of \(C_0 (K)\), the cardinality of the \(\alpha\) th derivative of \(K\) is less than that of the \(\alpha\) th derivative of \(S\), for each ordinal \(\alpha\). Finally, if \(\lambda (X)>1\) and \(\| T\| \|T^{-1}\| <\lambda (X)\), then \(K\) is a continuous image of a subspace of \(S\). Here, \( \lambda \left(X\right)\) is the geometrical parameter introduced by \textit{K. Jarosz} [Pac. J. Math. 138, No. 2, 295--315 (1989; Zbl 0698.46033)]: \( \lambda (X)=\inf\{\max\{\| x+\lambda y\| :|\lambda|=1\}: \| x\| =\| y\| =1\}\). As a consequence, we improve classical results about into isomorphisms from extremely regular subspaces already obtained by Cengiz.