Direct integral

The concept was introduced in 1949 by John von Neumann in one of the papers in the series On Rings of Operators.Factors are analogous to full matrix algebras over a field, and von Neumann wanted to prove a continuous analogue of the Artin–Wedderburn theorem classifying semi-simple rings.Let X be a Borel space equipped with a countably additive measure μ.One of the main theorems of the von Neumann theory is to show that in fact the more general definition is equivalent to the simpler one given here.Then the mapping is a unitary operator The simplest example occurs when X is a countable set and μ is a discrete measure.Decomposable operators can be characterized as those which commute with diagonal matrices: The above example motivates the general definition: A family of bounded operators {Tx}x∈ X with Tx ∈ L(Hx) is said to be strongly measurable if and only if its restriction to each Xn is strongly measurable.Examples of decomposable operators are those defined by scalar-valued (i.e. C-valued) measurable functions λ on X.This version of the spectral theorem does not explicitly state how the underlying standard Borel space X is obtained.If the Abelian von Neumann algebra A is unitarily equivalent to both L∞μ(X) and L∞ν(Y) acting on the direct integral spaces and μ, ν are standard measures, then there is a Borel isomorphism where E, F are null sets such that The isomorphism φ is a measure class isomorphism, in that φ and its inverse preserve sets of measure 0.The previous two theorems provide a complete classification of Abelian von Neumann algebras on separable Hilbert spaces.One of the main theorems of von Neumann and Murray in their original series of papers is a proof of the decomposition theorem: Any von Neumann algebra is a direct integral of factors.If {Ax}x ∈ X is a measurable family of von Neumann algebras and μ is standard, then the family of operator commutants is also measurable and Suppose A is a von Neumann algebra.One can show that the direct integral can be indexed on the so-called quasi-spectrum Q of A, consisting of quasi-equivalence classes of factor representations of A.
mathematicsfunctional analysisdirect sumHilbert spacesvon Neumann algebrasJohn von NeumannArtin–Wedderburn theoremC*-algebrasGeorge Mackeysystems of imprimitivityinduced representationslocally compact separable groupsmeasurable spaceseparable Hilbert spaceσ-algebraBorel setstopological spaceif and only ifPolish spacecountably additive measuremeasurable setnull setstandard Borel spaceσ-finiteseparable Hilbert spacesalmost everywherecountable setdiscrete measureblock diagonalstrongly measurableessentially bounded normAbelian von Neumann algebraBorel isomorphismcenterC*-algebrastrongly continuousunitary representationslocally compact groupseparableintertwining operatorsgroup representationsTakesaki, MasamichiSpringer-VerlagJ. DixmierG. W. MackeyJ. von NeumannMasamichi TakesakiSpectral theory*-algebrasInvolution/*-algebraBanach algebraB*-algebraNoncommutative topologyProjection-valued measureSpectrumSpectrum of a C*-algebraSpectral radiusOperator spaceGelfand–Mazur theoremGelfand–Naimark theoremGelfand representationPolar decompositionSingular value decompositionSpectral theoremSpectral theory of normal C*-algebrasIsospectralNormaloperatorHermitian/Self-adjointUnitaryKrein–Rutman theoremNormal eigenvalueSpectral asymmetrySpectral gapDecomposition of a spectrumContinuousDiscreteSpectral abscissaBorel functional calculusMin-max theoremPositive operator-valued measureRiesz projectorRigged Hilbert spaceSpectral theory of compact operatorsAmenable Banach algebraApproximate identityBanach function algebraDisk algebraNuclear C*-algebraUniform algebraVon Neumann algebraTomita–Takesaki theoryAlon–Boppana boundBauer–Fike theoremNumerical rangeSchur–Horn theoremDirac spectrumEssential spectrumPseudospectrumStructure spaceShilov boundaryAbstract index groupBanach algebra cohomologyCohen–Hewitt factorization theoremExtensions of symmetric operatorsFredholm theoryLimiting absorption principleSchröder–Bernstein theorems for operator algebrasSherman–Takeda theoremUnbounded operatorWiener algebraAlmost Mathieu operatorCorona theoremHearing the shape of a drumDirichlet eigenvalueHeat kernelKuznetsov trace formulaLax pairProto-value functionRamanujan graphRayleigh–Faber–Krahn inequalitySpectral geometrySpectral methodSpectral theory of ordinary differential equationsSturm–Liouville theorySuperstrong approximationTransfer operatorTransform theoryWeyl lawWiener–Khinchin theorem