Noncommutative integration

DOI10.15352/BJMA/1358864545zbMATH Open1292.46042arXiv1208.5197OpenAlexW4247704769MaRDI QIDQ1943491FDOQ1943491

Masamichi Takesaki

Publication date: 20 March 2013

Published in: Banach Journal of Mathematical Analysis (Search for Journal in Brave)

Abstract: We will show that if $sM$ is a factor, then for any pair $f,pinsMdsup$ of normal positive linear functionals on $sM$, the inequality: ${\displaystyle }$ lrnorm{f}leq lrnorm{p} ${\displaystyle }$ is equivalent to the fact that there exist a countable family $lrbraceffdi:iinIsubsetsMdsup$ in $sMdsup$ and a family $lrbraceudi:iinIisM$ of partial isometries in cM such that ${\displaystyle }$ f=sumd{iin I} ffdi,quad sumd{iin I} udi{ffdi}udiusleq p, quad ext{and} quad udiusudi=slr{ffdi}, iin I, ${\displaystyle }$ where $s(omega),omegainsMdsup$, means the support projection of $omega$. Furthermore, if $lrnormf=lrnormp$, then the equality replaces the inequality in the second statement. In the case that $sM$ is not of type hreeonec the family of partial isometries can be replaced by a family of unitaries in cMp One cannot expect to have this result in the usual integration thoery. To have a similar result, one needs to bring in some kind of non-commutativity. Let $lrbraceX,mu$ be a $sig$-finite semifinite measure space and $G$ be an ergodic group of automorphisms of $linflrX,mu$, then for a pair $f$ and $g$ of $mu$-integrable positive functions on $X$, the inequality: ${\displaystyle }$ int_X f(x) xd mu(x)leq int_X g(x) xd mu(x) ${\displaystyle }$ is equivalent to the existence of a countable families $lrbracefdi:iinIsubset{L}^1(X,mu)$ of positive integrable functions and $lrbracegdi:iinI$ in $G$ such that ${\displaystyle }$ f=sumd{iin I} fdiquad ext{and}quad sumd{iin I} gdilr{fdi}leq g, ${\displaystyle }$ where the summation and inequality are all taken in the oredered Banach space $L^1(X,mu)$ and the action of $G$ on $lonelrX,mu$ is defined through the duality between $linflrX,mu$ and $lonelrX,mu$, i.e., lr{g(f)}(x)&=flr{ginv x}frac{ xdmuscirc ginv}{ xdmu}(x), quad finlonelr{X, mu}.

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

zbMATH Keywords

decompositionfactorpositive linear functionalnoncommutative integration

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Noncommutative measure and integration (46L51)

Cites Work

• Title not available (Why is that?)
• Theory of operator algebras. II
• The flow of weights on factors of type III
• Une classification des facteurs de type ${\rm III}$
• Theory of operator algebras. III
• Tomita's theory of modular Hilbert algebras and its applications
• The non-commutative flow of weights on a von Neumann algebra
• Equivalence in Operator Algebras.
• Operator valued weights without structure theory

Cited In (7)

• Title not available (Why is that?)
• Non-commutative domains of integrity.
• Noncommutative integrability and recursion operators
• Noncommutative stochastic integration through decoupling
• Connes integration formula for the noncommutative plane
• Complex interpolation and non-commutative integration
• Noncommutative Cauchy integral formula

This page was built for publication: Noncommutative integration

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