Operator algebra: Difference between revisions

Revision as of 12:16, 4 May 2016

Latest revision as of 10:35, 19 July 2025

(23 intermediate revisions by 18 users not shown)

Line 1:

{{Short description|Branch of functional analysis}}

In [[functional analysis]], 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. Although it 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]].

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

{{Ring theory sidebar}}

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 [[function composition|composition of mappings]].

InThe [[functionalresults analysis]],obtained anin the study of '''operator algebra'''algebras are often isphrased anin [[algebra]]ic overterms, awhile field|algebra]]the oftechniques [[continuousused functionare (topology)|continuous]]often highly [[linearmathematical operatoranalysis|analytic]]s.<ref>''Theory onof aOperator Algebras I'' By [[topological vectorMasamichi spaceTakesaki]], withSpringer the2012, multiplicationp givenvi</ref> by Although the compositionstudy of mappings. Althoughoperator italgebras 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==

Operator algebras can be used to study [[wiktionary:arbitrary|arbitrary]] sets of operators with little algebraic relation ''simultaneously''. From this point of view, operator algebras can be regarded as a generalization of [[spectral theory]] of a single operator. In general operator algebras are non-[[commutative]] [[ring (mathematics)|ring]]s.

Operator algebras can be used to study [[wiktionary:arbitrary|arbitrary]] sets of operators with little algebraic relation ''simultaneously''. From this point of view, operator algebras can be regarded as a generalization of [[spectral theory]] of a single operator. In general, operator algebras are [[noncommutative ring|non-[[commutative]] [[ringRing (mathematics)|ringrings]]s.

An operator algebra is typically required to be [[closure (mathematics)|closed]] in a specified operator [[topology]] inside the algebra of the whole continuous linear operators. In particular, it is a set of operators with both algebraic and topological closure properties. In some disciplines such properties are [[axiom]]ized and algebras with certain topological structure become the subject of the research.

An operator algebra is typically required to be [[closure (mathematics)|closed]] in a specified operator [[topology]] inside the whole algebra of the whole continuous linear operators. In particular, it is a set of operators with both algebraic and topological closure properties. In some disciplines such properties are [[axiom]]izedatized and algebras with certain topological structure become the subject of the research.

Though algebras of operators are studied in various contexts (for example, algebras of [[pseudo-differential operator]]s acting on spaces of 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 [[Hilbert space]], endowed with the operator [[norm (mathematics)|norm]] topology.

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 speciallyspecifically in reference to algebras of operators on a [[Separable space|separable]] [[Hilbert space]], endowed with the operator [[normoperator (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 of the algebra of the continuous linear operators on a suitable Hilbert space. A similar result holds for von Neumann algebras.

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 whichthat 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, and [[AW*-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 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 functions 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.

[[commutative algebra|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 functionsfunction]]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.

Examples of operator algebras which are not self-adjoint include:

*[[nest algebra]]s

Examples of operator algebras whichthat are not self-adjoint include:

*many [[commutative subspace lattice algebra]]s

*many [[limitnest algebra]]s,

*many [[commutative subspace lattice algebra]]s,

*many [[nestlimit algebra]]s .

==See also==

*[[Topologies on the set of operators on a Hilbert space]]

*[[Matrix mechanics]]

*[[Vertex operator algebra]]

* {{annotated link|Banach algebra}}

== References ==

*[[ {{annotated link|Matrix mechanics]]}}

*{{cite book

*[[ {{annotated link|Topologies on the set of operators on a Hilbert space]]}}

*[[ {{annotated link|Vertex operator algebra]]}}

== References ==

{{reflist}}

==Further reading==

* {{cite book

| last = Blackadar

| first = Bruce

Line 31 ⟶ 45:

| year = 2005

| isbn = 3-540-28486-9 }}

* M. Takesaki, ''Theory of Operator Algebras I'', Springer, 2001.

{{Spectral theory}}

{{Functional analysis}}

{{Banach spaces}}

{{Industrial and applied mathematics}}

{{Authority control}}

[[Category:Operator theory]]

[[Category:Functional analysis]]

[[Category:Operator algebras]]

[[Category:Operator theory]]