Extensions of positive linear functionals on a topological *-algebra

DOI10.1216/RMJ-2010-40-6-1745MaRDI QIDQ618657zbMATH OpenFDO

Authors Benedetto Bongiorno, Camillo Trapani, Salvatore Triolo

Publication date 17 January 2011

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1216/RMJ-2010-40-6-1745

extensions positive linear functionals topological *-algebras

Topological algebras of operators (46H35) General theory of topological algebras with involution (46K05) Noncommutative measure and integration (46L51)

Review text

Let \(\omega\) be a given hermitian positive linear functional defined on a dense subalgebra \(\mathcal{U}_0\) of a topological \(*\)-algebra \(\mathcal{U}\). This paper is mainly concerned with the problem of extending \(\omega\) to some subspaces of \(\mathcal{U}\) in the case when \(\omega\) is nonclosable, and is specialized in the slight extension which was given for arbitrary linear maps in [\textit{G. Köthe}, ``Topological vector spaces II (Grundlehren der mathematischen Wissenschaften 237; New York, Heidelberg, Berlin: Springer-Verlag) (1979; Zbl 0417.46001)]. Unlike in the case when \(\omega\) is closable, the authors show that there exist infinitely many positive extensions of \(\omega\) whose graph is contained in the closure of the graph of \(\omega\). They also characterize the maximal ones and prove that, if \(\omega\) admits an absolutely convergent positively regular extension \(\breve{\omega}\) which is maximal positive, then this extension is unique. In the last two sections, they give applications to commutative integration and noncommutative integration. They show that the Henstock-Kurzweil integral is one of the extensions of the Riemann integral defined in an abstract way, and among all possible extensions of the integral, the Lebesgue one is maximally absolutely convergent. In the application to noncommutative integration, the authors explicitly construct one of the extensions of the normal semifinite faithful trace \(\sigma\) defined on a von Neumann algebra beyond the space \(L^1(\sigma)\) of measurable operators which behaves in a similar fashion to the Henstock-Kurzweil integral in the commutative case. The notion of measurable operators was given by \textit{I. E. Segal} [Ann. Math. 57, 401--457 (1953; Zbl 0051.34201)].

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Extensions of positive linear functionals on a topological *-algebra

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