The Banach algebra of continuous bounded functions with separable support

DOI10.4064/SM210-3-3MaRDI QIDQ2919696zbMATH OpenOpenAlexFDO

Authors M. R. Koushesh

Publication date 5 October 2012

Published in Studia Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.2802

zbMATH Keywords

Banach algebrasfunctions vanishing at infinityfunctions with compact supportlocally separable metrizable spacespectrumStone-Čech compactification, separable support

Mathematics Subject Classification ID

Rings and algebras of continuous, differentiable or analytic functions (46E25) Banach algebras of continuous functions, function algebras (46J10) Representations of commutative topological algebras (46J25) Function spaces in general topology (54C35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Abstract: We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum norm) is a Banach algebra, isometrically isomorphic to $C_0(Y)$, for some unique (up to homeomorphism) locally compact Hausdorff space $Y$. The space $Y$, which we explicitly construct as a subspace of the Stone--v{C}ech compactification of $X$, is countably compact, and if $X$ is non-separable, is moreover non-normal; in addition $C_0(Y)=C_{00}(Y)$. When the underlying field of scalars is the complex numbers, the space $Y$ coincides with the spectrum of the $C^{\ast }$-algebra $C_s(X)$. Further, we find the dimension of the algebra $C_s(X)$.

Review text

For a completely regular space \(X\), let \(C_s(X)\) be the set of all real-valued or complex-valued bounded and continuous functions on \(X\) having separable support. In this nice paper, it is proved as a main result (Theorem 2.10) that, if \(X\) is a locally separable metrizable space, then \(C_s(X)\) (endowed with the supremum norm) is a Banach algebra isometrically isomorphic to the Banach algebra \(C_0(Y)\) of functions vanishing at infinity, for some unique (up to homeomorphism) locally compact space \(Y\). Moreover, this space \(Y\) can be constructed as a subspace of the Stone-Čech compactification of \(X,\) and it is shown to be countably compact and \(\infty\)-compact. Recall that a topological space \(Y\) is said to be \(\infty\)-compact whenever \(C_0(Y)=C_{00}(Y)\), that is, when every function vanishing at infinity has compact support. We refer to \textit{A. R. Aliabad} et al. [Commentat. Math. Univ. Carol. 45, No. 3, 519--533 (2004; Zbl 1097.54021)], where this notion of compactness was introduced.NEWLINENEWLINEThe paper under review also contains another description of the above mentioned space \(Y\) as the spectrum of the \(C^*\)-algebra \(C_s(X)\), in the complex case (Theorem 4.1).NEWLINENEWLINEReviewer's remark. Note that the hypothesis of metrizability of the space \(X\) is only needed when the representation theorem of Alexandroff is considered. Hence, we can assert that all the results contained in this paper remain true for those spaces (not necessarily metrizable) for which such a representation exists; for instance, for \(X\) being any uncountable disjoint union of Sorgenfrey lines.

Recommendations

• Representation theorems for Banach algebras
• On algebras of Banach algebra-valued bounded continuous functions
• A Gelfand-Naimark type theorem
• Representation theorems for normed algebras
• On closed subalgebras of \(C_B(X)\)

Cited in

(13)

• On closed non-vanishing ideals in \(C_{B}(X)\). II: Compactness properties
• More on closed non-vanishing ideals in C_B(X)
• On closed non-vanishing ideals in \(C_B(X)\). I: Connectedness properties
• Topological extensions with compact remainder
• A Gelfand-Naimark type theorem
• Representation theorems for normed algebras
• A Banach algebra representation theorem
• Representation theorems for Banach algebras
• Notes on the separability of C^*-algebras
• Maximal norms on Banach spaces of continuous functions. A Corrigendum to Kalton and Wood's ‘Orthonormal systems in Banach spaces and their applications’
• scientific article; zbMATH DE number 3935 (Why is no real title available?)
• \(e_c\)-filters and \(e_c\)-ideals in the functionally countable subalgebra of \(C^*(X)\)
• Representation theorems for closed ideals of C_B(X)

This page was built for publication: The Banach algebra of continuous bounded functions with separable support

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919696)