\(L^p\)-spaces as quasi \(^*\)-algebras (Q1916753): Difference between revisions

Let \({\mathcal A}\) be a linear space and \({\mathcal A}_0\) a *-algebra contained in \({\mathcal A}\). \({\mathcal A}\) is a *-quasi algebra over \({\mathcal A}_0\) if (i) the right and left multiplications of an element of \({\mathcal A}\) and an element of \({\mathcal A}_0\) are always defined and linear and (ii) an involution * (which extends the involution of \({\mathcal A}_0\)) is defined in \({\mathcal A}\) with property \((AB)^*= B^*A^*\), whenever the multiplication is defined. A quasi *-algebra \(({\mathcal A},{\mathcal A}_0)\) is called topological if a locally convex topology \(\tau\) on \({\mathcal A}\) is given such that (i) the involution \(A\to A^*\) is continuous, (ii) the maps \(A\to AB\) and \(A\to BA\) are continuous for each \(B\in {\mathcal A}_0\), (iii) \({\mathcal A}_0\) is dense in \({\mathcal A}_{[\tau]}\). A \(CQ\) *-algebra is a topological quasi *-algebra \(({\mathcal A},{\mathcal A}_0)\) with the following properties (i) \({\mathcal A}_0\) is a \(C^*\)-algebra with respect to the norm \(\|\;\|_0\) and the involution *, (ii) \({\mathcal A}\) is a Banach space with respect to the norm \(\|\;\|\) and \(\| A^*\|=\| A\|\) for every \(A\in{\mathcal A}\), (iii) \(\| B\|_0= \max\{\sup_{\| A\|\leq 1}\| AB\|,\| BA\|\}\) for every \(B\in{\mathcal A}_0\). Let \(({\mathcal A},{\mathcal A}_0)\) be a \(CQ\) *-algebra. We denote as \(I(A)\) the set of sesquilinear forms \(\Omega\) on \(A\times A\) with the following properties: (i) \(\Omega(A,A)\geq 0\) for every \(A\in{\mathcal A}\), (ii) \(\Omega(AB,C)= \Omega(B,A^*C)\) for every \(A\in{\mathcal A}\) and for each \(B,C\in{\mathcal A}_0\), (iii) \(|\Omega (A,B)|\leq\| A\| \| B\|\) for \(A,B\in{\mathcal A}\). The \(CQ\) *-algebra \(({\mathcal A},{\mathcal A}_0)\) is called *-semisimple if \(\Omega(A,A)=0\) for every \(\Omega\in I(A)\), implies \(A=0\). It is shown that for \(p\geq 2\), \((L^p(X,\mu), C(X))\) is *-semisimple, where \(C(X)\) denotes the \(C^*\)-algebra of all continuous functions on \(X\). Some consequences of these facts are derived.