Seminormed -subalgebras of ^(X)

DOI10.1016/J.JMAA.2017.05.041MaRDI QIDQ2013071zbMATH OpenOpenAlexFDO

Authors Mahmood Alaghmandan, M. Ghasemi

Publication date 3 August 2017

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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

zbMATH Keywords

commutative algebras with involution

Mathematics Subject Classification ID

General theory of topological algebras with involution (46K05)

Abstract: Arbitrary representations of a commutative unital ($ast$-) $mathbbF$-algebra $A$ as a subalgeba of $mathbb{F}^X$ are considered, where $mathbbF=mathbbC$ or $mathbbR$ and $Xeqemptyset$. The Gelfand spectrum of $A$ is explained as a topological extension of $X$ where a seminorm on the image of $A$ in $mathbb{F}^X$ is present. It is shown that among all seminormes, the $sup$-norm is of special importance which reduces $mathbb{F}^X$ to $el{l}^{infty}(X)$. The Banach subalgebra of $el{l}^{infty}(X)$ of all $Sigma$-measurable bounded functions on $X$, is studied for which $Sigma$ is a $sigma$-algebra of subsets of $X$. In particular, we study lifting of positive measures from $(X,Sigma)$ to the Gelfand spectrum of this algebra and observe an unexpected shift in the support of measures. In the case that $Sigma$ is the Borel algebra of a topology, we study the relation of the underlying topology of $X$ and the one of the Gelfand spectrum.

Review text

Let \(A\) be a commutative \(^\ast\)-algebra over \({\mathcal F}\). For any set \(X\), let \(\rho\) be a submultiplicative quasi-norm on \({\mathcal F}^X\) such that for the constant function \(1\), \(\rho(1) \geq 1\). Let \(X_{\rho}\) denote the set of \(\rho\)-continuous evaluations on \({\mathcal F}^X\). Let \(B_{\rho}({\mathcal F}^X)=\{f \in {\mathcal F}^X: \rho(f)< \infty\}\). Let \(\tau: A \rightarrow B_{\rho}({\mathcal F}^X)\) be a \(^\ast\)-algebra homomorphism. For the induced map \(\tau_{\ast}\), the authors show that \(\tau_{\ast}(X_{\rho})\) is dense in \(\mathbf{sp} _{\rho \circ \tau}(A)\), if and only if there is a \(D>0\) such that \(\rho(\tau(a)) \leq D \sup\{|e_x(\tau(a))| : x \in X_{\rho}\}\), for all \(a \in A\), where \(e_x\) denotes the evaluation map.

Recommendations

• Invariant norms on the subalgebras of C(X) consisting of bounded functions with countable image
• Translation invariant topologies on commutative ^*-algebras
• Function algebras on which homomorphisms are point evaluations on sequences
• Monotone norms on \(C(\Omega)\) and multiplicative factors
• Existence of an algebra norm on certain subalgebras of C(X)

Cites work

• Application of Jacobi's representation theorem to locally multiplicatively convex topological \(\mathbb R\)-algebras
• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• Moment problem in infinitely many variables
• Notes on the separability of C^*-algebras
• Stone-Čech compactification of a product

Cited in

(1)

• Translation invariant topologies on commutative ^*-algebras

This page was built for publication: Seminormed \(\ast\)-subalgebras of \(\ell^{\infty}(X)\)

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