Operator algebra: Difference between revisions

Revision as of 06:44, 11 January 2021

Revision as of 16:29, 26 March 2021

Line 1:

{{Use American English|date = March 2019}}

{{Short description|Branch of functional analysis}}

{{Use American English|date = March 2019}}

In [[functional analysis]], a branch of [[mathematics]], an '''operator algebra''' is an [[algebra over a field|algebra]] of [[continuous function (topology)|continuous]] [[linear operator]]s on a [[topological vector space]], with the multiplication given by the composition of mappings.

The results obtained in the study of operator algebras are phrased in [[Algebra|algebraicalgebra]]ic terms, while the techniques used are highly analytic.<ref>''Theory of Operator Algebras I'' By Masamichi Takesaki, Springer 2012, p vi</ref> Although the study of operator algebras is usually classified as a branch of functional analysis, it has direct applications to [[representation theory]], [[differential geometry]], [[quantum statistical mechanics]], [[quantum information]], and [[quantum field theory]].

==Overview==

Line 12:

Though algebras of operators are studied in various contexts (for example, algebras of [[pseudo-differential operator]]s acting on spaces of [[Distribution (mathematics)|distributions]]), the term ''operator algebra'' is usually used in reference to algebras of [[bounded operator]]s on a [[Banach space]] or, even more specially in reference to algebras of operators on a [[Separable space|separable]] [[Hilbert space]], endowed with the operator [[norm (mathematics)|norm]] topology.

In the case of operators on a Hilbert space, the [[Hermitian adjoint]] map on operators gives a natural [[Involution (mathematics)|involution]] which provides an additional algebraic structure which can be imposed on the algebra. In this context, the best studied examples are [[self-adjoint]] operator algebras, meaning that they are closed under taking adjoints. These include [[C*-algebra]]s and [[von Neumann algebra]]s. C*-algebras can be easily characterized abstractly by a condition relating the norm, involution and multiplication. Such abstractly defined C*-algebras can be identified to a certain closed [[Subalgebra#Subalgebras_for_algebras_over_a_ring_or_fieldSubalgebras for algebras over a ring or field|subalgebra]] of the algebra of the continuous linear operators on a suitable Hilbert space. A similar result holds for von Neumann algebras.

Commutative self-adjoint operator algebras can be regarded as the algebra of [[Complex numbers|complex]]-valued continuous functions on a [[locally compact space]], or that of [[measurable function]]s on a [[measurable space|standard measurable space]]. Thus, general operator algebras are often regarded as a noncommutative generalizations of these algebras, or the structure of the ''base space'' on which the functions are defined. This point of view is elaborated as the philosophy of [[noncommutative geometry]], which tries to study various non-classical and/or pathological objects by noncommutative operator algebras.

Line 28:

==References==

{{reflistReflist}}

== Further reading ==

Line 42:

{{Industrial and applied mathematics}}

{{Authority control}}

[[Category:Operator theory]]