Extensions of representable positive linear functionals to unitized quasi *-algebras (Q358253)

A quasi *-algebra is a couple \((\mathfrak{A},\mathfrak{A}_0)\), where \(\mathfrak{A}\) is a linear *-space, \(\mathfrak{A}_0\) is a *-algebra in \(\mathfrak{A}\), and \(\mathfrak{A}\) is an \(\mathfrak{A}_0\)-bimodule, whose module operations and involution extend those of \(\mathfrak{A}_0\). A *-representation of a quasi *-algebra \((\mathfrak{A},\mathfrak{A}_0)\) is a *-homomorphism \(\pi\) of \(\mathfrak{A}\) into \(\mathcal{L}^*(\mathcal{D}_\pi,\mathcal{H}_\pi)\). Here, for a Hilbert space \(\mathcal{H}\) and a dense subspace \(\mathcal{D}\) of it, we denote by \(\mathcal{L}^*(\mathcal{D},\mathcal{H})\) the set of all linear operators \(T\) in \(\mathcal{H}\), such that \(\mathrm{Dom}(T)=\mathcal{D}\) and \(\mathrm{Dom}(T^*)\supseteq \mathcal{D}\). \(\mathcal{L}^*(\mathcal{D},\mathcal{H})\) is naturally organized as a partial *-algebra. A linear functional \(\omega\) defined on the quasi *-algebra \((\mathfrak{A},\mathfrak{A}_0)\) is called representable if: (L1) \(\omega(a^*a)\geq 0\) for all \(a\in\mathfrak{A}_0\); (L2) \(\omega(b^*x^*a)=\overline{\omega(a^*xb)}\) for all \(a,b\in\mathfrak{A}_0\) and all \(x\in \mathfrak{A}\); (L3) for all \(x\in\mathfrak{A}\) there exists \(\gamma_x>0\) such that \(|\omega(x^*a)|\leq \gamma_x \omega(a^*a)^{1/2}\) for all \(a\in\mathfrak{A}_0\). Given a quasi *-algebra \((\mathfrak{A},\mathfrak{A}_0)\), its unitization is the couple \((\mathfrak{A}^e,\mathfrak{A}_0^e)\), where \(\mathfrak{A}^e=\mathfrak{A}\oplus \mathbb{C}\) and \(\mathfrak{A}_0^e=\mathfrak{A}_0\oplus \mathbb{C}\) with naturally defined algebraic operations and involution. Given a linear functional \(\omega\) on a quasi *-algebra \((\mathfrak{A},\mathfrak{A}_0)\) that satisfies condition (L 1) and considering its extension \(\omega^e: \mathfrak{A}^e\rightarrow \mathbb{C}\), \(\omega^e(x,\lambda)=\omega(x)+\gamma\lambda\), \((x,\lambda)\in\mathfrak{A}^e\), for certain positive \(\gamma\), the main result of this articles provides conditions under which the extension \(\omega^e\) is representable.