Extensions of positive linear functionals on a topological *-algebra
type: Item
instance of: scholarly article
title: Extensions of positive linear functionals on a topological *-algebra
zbMATH Open document ID: 1215.46036
DOI: 10.1216/RMJ-2010-40-6-1745
author: Benedetto Bongiorno
author: Camillo Trapani
author: Salvatore Triolo
published in: Rocky Mountain Journal of Mathematics
publication date: 2011-01-17T00:00:00Z
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)].
Mathematics Subject Classification ID: 46K05
Mathematics Subject Classification ID: 46H35
Mathematics Subject Classification ID: 46L51
zbMATH DE Number: 5837624
zbMATH Keywords: positive linear functionals
zbMATH Keywords: extensions
zbMATH Keywords: topological *-algebras
reviewed by: Ying-Fen Lin
MaRDI profile type: Publication
cites work: Q4791643
cites work: Q3913911
cites work: An Extension of the Denjoy Integral
cites work: Q4307619
cites work: Q3994374
cites work: Q3999786
cites work: Q4359479
cites work: Q3882674
cites work: Q3941916
cites work: Algebras of unbounded operators and quantum dynamics
cites work: On a divisor problem related to the Epstein zeta-function
cites work: Q3946362
cites work: Notes on non-commutative integration
cites work: Q5848509
cites work: Q4293508
cites work: Q5516901
cites work: A non-commutative extension of abstract integration
Recommended article: Extensions of Hermitian linear functionals
Recommended article: A slight extension of the noncommutative integral
Recommended article: Extensions of the noncommutative integration
Recommended article: Possible extensions of the noncommutative integral
Recommended article: Slight extensions of positive linear functionals: two concrete realizations
Recommended article: On \(\sigma\)-finite integrals on \(C^*\)-algebras
Recommended article: Q3687239
Recommended article: Q3687241
Recommended article: Absolutely convergent extensions of nonclosable positive linear functionals
Recommended article: Q3678225
description: scientific article; zbMATH DE number 5837624