On isomorphisms of $\mathcal{C}(K)$ spaces and cardinal invariants of derivatives of $K$

Jakub Rondoš
2023-05-11
Abstract:We present a necessary condition for a pair of $\mathcal{C}(K)$ spaces to be isomorphic in terms of topological properties of Cantor-Bendixon derivatives of $K$. This in particular gives a completely new information about the perfect kernels of such $K$. In the process, we extend known lower estimates of the Banach-Mazur distance between a pair of spaces of continuous functions from the case of scattered compact spaces to a more general setting. Next, we apply this general result to deduce some new information about isomorphisms of spaces of continuous functions over Eberlein compacta of height $\omega+1$. Further, we show that isomorphisms of $\mathcal{C}(K)$ spaces preserve the spread of $K$, and we also prove some new results for pairs of spaces of continuous functions whose Banach-Mazur distance is less than $3$.
Functional Analysis
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the property preservation of two \(C(K)\) spaces under isomorphism, especially the relationship between these properties and Cantor - Bendixon derivatives and their cardinal invariants. Specifically, by introducing new necessary conditions, the author explores the relationships that certain topological properties of the Cantor - Bendixon derivatives of the corresponding compact spaces \(K\) must satisfy when two \(C(K)\) spaces are isomorphic. This research not only provides new information about perfect kernels but also extends the known lower - bound estimates of the Banach - Mazur distance from scattered compact spaces to more general settings. ### Main Contributions 1. **New Necessary Conditions**: The author proposes a necessary condition for determining whether two \(C(K)\) spaces are isomorphic. This condition involves the topological properties of the Cantor - Bendixon derivatives of the compact space \(K\), especially the cardinal invariants of these derivatives. 2. **Information about Perfect Kernels**: Through this necessary condition, the author obtains some completely new information about perfect kernels. A perfect kernel refers to a subset without isolated points finally obtained by continuously taking derivatives. 3. **Lower Bound of Banach - Mazur Distance**: The author extends the known lower - bound estimates of the Banach - Mazur distance from scattered compact spaces to more general settings. This provides a new perspective for understanding the isomorphism relationships between different types of compact spaces. 4. **Application to Eberlein Compact Spaces**: The author further applies these results to obtain some new information about the isomorphism of continuous function spaces on Eberlein compact spaces of height \(\omega + 1\). 5. **Isomorphic Embedding and Spread**: The author proves that isomorphic embedding of \(C(K)\) spaces will preserve the spread of compact spaces, which is an important topological property. 6. **Case where Banach - Mazur Distance is Less than 3**: For isomorphic mappings with Banach - Mazur distance strictly less than 3, the author proves that the sets of derivatives must share more common properties, including cardinal invariants and spread. ### Formulas and Symbols - \(C(K)\) represents the space of all continuous real - valued functions defined on the compact Hausdorff space \(K\). - \(C(K, E)\) represents the space of all continuous functions defined on the compact Hausdorff space \(K\) and taking values in the Banach space \(E\). - \(K^{(\alpha)}\) represents the \(\alpha\)-th Cantor - Bendixon derivative of \(K\). - \(c(A, X)\) represents the relative cell number of the set \(A\) in the space \(X\). - \(cpb(A, X)\) and \(cpf(A, X)\) respectively represent the relative point - bounded cell number and the relative point - finite cell number of the set \(A\) in the space \(X\). - \(s(A)\) represents the spread of the set \(A\). ### Conclusion Through these studies, the author not only deepens the understanding of the isomorphism theory of \(C(K)\) spaces but also provides some new tools and methods for analyzing the isomorphism relationships between different types of compact spaces. These results are of great significance in the fields of functional analysis and topology.