Editing C*-algebra

{{Short description|Topological complex vector space
}}
{{about|an area of mathematics| the concept in rocketry |characteristic velocity|}}
{{Use American English|date=January 2019}}{{more citations needed|date=February 2013}}
In mathematics, specifically in [[functional analysis]], a '''C<sup>∗</sup>-algebra''' <!-- "C*" is almost fine, but some fonts render the star like ∗, i.e., not superscirpt, nor small. -->(pronounced "C-star") is a [[Banach algebra]] together with an [[involution (mathematics)|involution]] satisfying the properties of the [[Hermitian adjoint|adjoint]]. A particular case is that of a [[complex number|complex]] [[algebra over a field|algebra]] ''A'' of [[continuous linear operator]]s on a [[complex number|complex]] [[Hilbert space]] with two additional properties:

* ''A'' is a topologically [[closed set]] in the [[norm topology]] of operators.
* ''A'' is closed under the operation of taking [[adjoint of an operator|adjoint]]s of operators.

Another important class of non-Hilbert C*-algebras includes the algebra <math>C_0(X)</math> of complex-valued continuous functions on ''X'' that vanish at infinity, where ''X'' is a [[locally compact]] [[Hausdorff space|Hausdorff]] space.

C*-algebras were first considered primarily for their use in [[quantum mechanics]] to [[model (abstract)|model]] algebras of physical [[observable]]s.  This line of research began with [[Werner Heisenberg]]'s [[matrix mechanics]] and in a more mathematically developed form with [[Pascual Jordan]] around 1933.  Subsequently, [[John von Neumann]] attempted to establish a general framework for these algebras, which culminated in a series of papers on [[ring (mathematics)|ring]]s of operators.  These papers considered a special class of C*-algebras that are now known as [[von Neumann algebra]]s.

Around 1943, the work of [[Israel Gelfand]] and [[Mark Naimark]] yielded an abstract characterisation of C*-algebras making no reference to operators on a Hilbert space.

C*-algebras are now an important tool in the theory of [[unitary representation]]s of [[locally compact group]]s, and are also used in algebraic formulations of quantum mechanics. Another active area of research is the program to obtain classification, or to determine the extent of which classification is possible, for separable simple [[nuclear C*-algebra]]s.

== Abstract characterization ==

We begin with the abstract characterization of C*-algebras given in the 1943 paper by Gelfand and Naimark.

A C*-algebra, ''A'', is a [[Banach algebra]] over the field of [[complex number]]s, together with a [[Map (mathematics)|map]] <math display="inline"> x \mapsto x^* </math> for <math display="inline"> x\in A</math>     with the following properties:

* It is an [[Semigroup with involution|involution]], for every ''x'' in ''A'':
::<math> x^{**} = (x^*)^* =  x </math>

* For all ''x'', ''y'' in ''A'':
::<math> (x + y)^* = x^* + y^* </math>
::<math> (x y)^* = y^* x^*</math>

* For every complex number <math>\lambda\in\mathbb{C}</math> and every ''x'' in ''A'':
::<math> (\lambda x)^* = \overline{\lambda} x^* .</math>

* For all ''x'' in ''A'':
::<math>  \|x x^* \| = \|x\|\|x^*\|.</math>

'''Remark.''' The first four identities say that ''A'' is a [[*-algebra]]. The last identity is called the '''C* identity''' and is equivalent to:

<math>\|xx^*\| = \|x\|^2,</math>

which is sometimes called the B*-identity. For history behind the names C*- and B*-algebras, see the [[#Some_history:_B.2A-algebras_and_C.2A-algebras|history]] section below.

The C*-identity is a very strong requirement. For instance, together with the [[spectral radius|spectral radius formula]], it implies that the C*-norm is uniquely determined by the algebraic structure:

::<math> \|x\|^2 = \|x^* x\| = \sup\{|\lambda| : x^* x - \lambda \,1 \text{ is not invertible} \}.</math>

A [[bounded linear map]], ''π'' : ''A'' → ''B'', between C*-algebras ''A'' and ''B'' is called a '''*-homomorphism''' if

* For ''x'' and ''y'' in ''A''

::<math> \pi(x y) = \pi(x) \pi(y) \,</math>

* For ''x'' in ''A''

::<math> \pi(x^*) = \pi(x)^* \,</math>

In the case of C*-algebras, any *-homomorphism ''π'' between C*-algebras is [[Contraction (operator theory)|contractive]], i.e. bounded with norm ≤ 1. Furthermore, an injective *-homomorphism between C*-algebras is [[isometry|isometric]]. These are consequences of the C*-identity.

A bijective *-homomorphism ''π'' is called a '''C*-isomorphism''', in which case ''A'' and ''B'' are said to be '''isomorphic'''.

== Some history: B*-algebras and C*-algebras ==
The term B*-algebra was introduced by [[Charles Earl Rickart|C. E. Rickart]] in 1946 to describe [[Banach *-algebra]]s that satisfy the condition:

* <math>\lVert x x^* \rVert = \lVert x \rVert ^2</math> for all ''x'' in the given B*-algebra. (B*-condition)

This condition automatically implies that the *-involution is isometric, that is, <math>\lVert x \rVert = \lVert x^* \rVert </math>. Hence, <math>\lVert xx^*\rVert = \lVert x \rVert \lVert x^*\rVert</math>, and therefore, a B*-algebra is also a C*-algebra. Conversely, the C*-condition implies the B*-condition. This is nontrivial, and can be proved without using the condition <math>\lVert x \rVert = \lVert x^* \rVert</math>.<ref>{{harvnb|Doran|Belfi|1986|pp=5–6}}, [https://books.google.com/books?id=6jNbsnJVjMoC&pg=PA5 Google Books].</ref> For these reasons, the term B*-algebra is rarely used in current terminology, and has been replaced by the term 'C*-algebra'.

The term C*-algebra was introduced by [[Irving Segal|I. E. Segal]] in 1947 to describe norm-closed subalgebras of ''B''(''H''), namely, the space of bounded operators on some Hilbert space ''H''. 'C' stood for 'closed'.<ref>{{harvnb|Doran|Belfi|1986|p=6}}, [https://books.google.com/books?id=6jNbsnJVjMoC&pg=PA6 Google Books].</ref><ref>{{harvnb|Segal|1947}}</ref> In his paper Segal defines a C*-algebra as a "uniformly closed, self-adjoint algebra of bounded operators on a Hilbert space".<ref>{{harvnb|Segal|1947|p=75}}</ref>

== Structure of C*-algebras ==

C*-algebras have a large number of properties that are technically convenient. Some of these properties can be established by using the [[continuous functional calculus]] or by reduction to commutative  C*-algebras.  In the latter case, we can use the fact that the structure of these is completely determined by the [[Gelfand isomorphism]].

=== Self-adjoint elements ===

Self-adjoint elements are those of the form <math> x = x^* </math>. The set of elements of a C*-algebra ''A'' of the form <math> x^*x </math> forms a closed [[convex cone]].  This cone is identical to the elements of the form <math> xx^* </math>. Elements of this cone are called ''non-negative'' (or sometimes ''positive'', even though this terminology conflicts with its use for elements of <math>\mathbb{R}</math>)

The set of self-adjoint elements of a C*-algebra ''A'' naturally has the structure of a [[partial order|partially ordered]] [[vector space]]; the ordering is usually denoted <math> \geq </math>. In this ordering, a self-adjoint element <math> x \in A </math> satisfies <math> x \geq 0 </math> if and only if the [[Spectrum (functional analysis)|spectrum]] of <math> x </math>  is non-negative, if and only if <math> x = s^*s </math> for some <math> s \in A</math>. Two self-adjoint elements <math>x</math> and <math> y </math> of ''A'' satisfy <math> x \geq y </math> if <math> x - y \geq 0 </math>.

This partially ordered subspace allows the definition of a [[positive linear functional]] on a C*-algebra, which in turn is used to define the [[State (functional analysis)|states]] of a C*-algebra, which in turn can be used to construct the [[spectrum of a C*-algebra]] using the [[GNS construction]].

=== Quotients and approximate identities ===

Any C*-algebra ''A'' has an [[approximate identity]].  In fact, there is a directed family {''e''<sub>λ</sub>}<sub>λ∈I</sub> of self-adjoint elements of ''A'' such that

:: <math> x e_\lambda \rightarrow x </math>
:: <math> 0 \leq e_\lambda \leq e_\mu \leq 1\quad \mbox{ whenever } \lambda \leq \mu. </math>

: In case ''A'' is separable, ''A'' has a sequential approximate identity. More generally, ''A'' will have a sequential approximate identity if and only if ''A'' contains a '''[[Hereditary C*-subalgebra|strictly positive element]]''', i.e. a positive element ''h'' such that ''hAh'' is dense in ''A''.

Using approximate identities, one can show that the algebraic [[quotient]] of a C*-algebra by a closed proper two-sided [[Ideal (ring theory)|ideal]], with the natural norm, is a C*-algebra.

Similarly, a closed two-sided ideal of a C*-algebra is itself a C*-algebra.

== Examples ==

=== Finite-dimensional C*-algebras ===
The algebra M(''n'', '''C''') of ''n'' × ''n'' [[matrix (mathematics)|matrices]] over '''C''' becomes a C*-algebra if we consider matrices as operators on the Euclidean space, '''C'''<sup>''n''</sup>, and  use the [[operator norm]] ||·|| on matrices. The involution is given by the [[conjugate transpose]].  More generally, one can consider finite [[direct sum of modules|direct sum]]s of matrix algebras. In fact, all C*-algebras that are finite dimensional as vector spaces are of this form, up to isomorphism. The self-adjoint requirement means finite-dimensional C*-algebras are [[Semisimple algebra|semisimple]], from which fact one can deduce the following theorem of [[Artin–Wedderburn theorem|Artin–Wedderburn]] type:

<blockquote>'''Theorem.'''  A finite-dimensional C*-algebra, ''A'', is [[Canonical form|canonically]] isomorphic to a finite direct sum
:<math> A = \bigoplus_{e \in \min A } A e</math>
where min ''A'' is the set of minimal nonzero self-adjoint central projections of ''A''.</blockquote>

Each C*-algebra, ''Ae'', is isomorphic (in a noncanonical way) to the full matrix algebra M(dim(''e''), '''C'''). The finite family indexed on min ''A'' given by {dim(''e'')}<sub>''e''</sub> is called the ''dimension vector'' of ''A''.  This vector uniquely determines the isomorphism class of a finite-dimensional C*-algebra. In the language of [[operator K-theory|K-theory]], this vector is the [[ordered group|positive cone]] of the ''K''<sub>0</sub> group of ''A''.

A '''†-algebra''' (or, more explicitly, a ''†-closed algebra'') is the name occasionally used in [[physics]]<ref>John A. Holbrook, David W. Kribs, and Raymond Laflamme. "Noiseless Subsystems and the Structure of the Commutant in Quantum Error Correction." ''Quantum Information Processing''. Volume 2, Number 5, pp. 381&ndash;419.  Oct 2003.</ref> for a finite-dimensional C*-algebra.  The [[dagger (typography)|dagger]], †, is used in the name because physicists typically use the symbol to denote a [[Hermitian adjoint]], and are often not worried about the subtleties associated with an infinite number of dimensions.  (Mathematicians usually use the asterisk, *, to denote the Hermitian adjoint.) †-algebras feature prominently in [[quantum mechanics]], and especially [[quantum information science]].

An immediate generalization of finite dimensional C*-algebras are the [[approximately finite dimensional C*-algebra]]s.

=== C*-algebras of operators ===
The prototypical example of a C*-algebra is the algebra ''B(H)'' of bounded (equivalently continuous) [[linear operator]]s defined on a complex [[Hilbert space]] ''H''; here ''x*'' denotes the [[adjoint operator]] of the operator ''x'' : ''H'' → ''H''. In fact, every C*-algebra, ''A'', is *-isomorphic to a norm-closed adjoint closed subalgebra of ''B''(''H'') for a suitable Hilbert space, ''H''; this is the content of the [[Gelfand–Naimark theorem]].

=== C*-algebras of compact operators ===
Let ''H'' be a [[separable space|separable]] infinite-dimensional Hilbert space. The algebra ''K''(''H'') of [[Compact operator on Hilbert space|compact operator]]s on ''H'' is a [[norm closed]] subalgebra of ''B''(''H''). It is also closed under involution; hence it is a  C*-algebra.

Concrete C*-algebras of compact operators admit a characterization similar to Wedderburn's theorem for finite dimensional C*-algebras:

<blockquote>'''Theorem.''' If ''A'' is a C*-subalgebra of ''K''(''H''), then there exists Hilbert spaces {''H<sub>i</sub>''}<sub>''i''∈''I''</sub> such that
:<math> A \cong \bigoplus_{i \in I } K(H_i),</math>
where the (C*-)direct sum consists of elements (''T<sub>i</sub>'') of the Cartesian product Π ''K''(''H<sub>i</sub>'') with ||''T<sub>i</sub>''|| → 0.</blockquote>

Though ''K''(''H'')  does not have an identity element, a sequential [[approximate identity]] for ''K''(''H'') can be developed. To be specific, ''H'' is isomorphic to the space  of square summable sequences ''l''<sup>2</sup>; we may assume that ''H'' = ''l''<sup>2</sup>.  For each natural number ''n'' let ''H<sub>n</sub>'' be the subspace of sequences of ''l''<sup>2</sup> which vanish for indices ''k'' ≥ ''n'' and let ''e<sub>n</sub>'' be the orthogonal projection onto ''H<sub>n</sub>''. The sequence {''e<sub>n</sub>''}<sub>''n''</sub> is an approximate identity for ''K''(''H'').

''K''(''H'') is a two-sided closed ideal of ''B''(''H''). For separable Hilbert spaces, it is the unique ideal. The [[quotient]] of ''B''(''H'') by ''K''(''H'') is the [[Calkin algebra]].

=== Commutative C*-algebras ===
Let ''X'' be a [[locally compact]] Hausdorff space.  The space <math>C_0(X)</math> of complex-valued continuous functions on ''X'' that ''vanish at infinity'' (defined in the article on [[locally compact|local compactness]]) forms a commutative C*-algebra <math>C_0(X)</math> under pointwise multiplication and addition. The involution is pointwise conjugation. <math>C_0(X)</math> has a multiplicative unit element if and only if <math>X</math> is  compact.  As does any C*-algebra, <math>C_0(X)</math> has an [[approximate identity]]. In the case of <math>C_0(X)</math> this is immediate: consider the directed set of compact subsets of <math>X</math>, and for each compact <math>K</math> let <math>f_K</math> be a function of compact support which is identically 1 on <math>K</math>.  Such functions exist by the [[Tietze extension theorem]], which applies to locally compact Hausdorff spaces. Any such sequence of functions <math>\{f_K\}</math> is an approximate identity.

The [[Gelfand representation]] states that every commutative C*-algebra is *-isomorphic to the algebra <math>C_0(X)</math>, where <math>X</math> is the space of [[Character (mathematics)|characters]] equipped with the [[Weak topology|weak* topology]]. Furthermore, if <math>C_0(X)</math> is [[isomorphism|isomorphic]] to <math>C_0(Y)</math> as C*-algebras, it follows that <math>X</math> and <math>Y</math> are [[homeomorphism|homeomorphic]]. This characterization is one of the motivations for the [[noncommutative topology]] and [[noncommutative geometry]] programs.

=== C*-enveloping algebra ===
Given a Banach *-algebra ''A'' with an [[approximate identity]], there is a unique (up to C*-isomorphism) C*-algebra '''E'''(''A'') and *-morphism π from ''A'' into '''E'''(''A'') that is [[universal morphism|universal]], that is, every other continuous *-morphism {{nowrap|π ' : ''A'' → ''B''}} factors uniquely through π.  The algebra '''E'''(''A'') is called the '''C*-enveloping algebra''' of the Banach *-algebra ''A''.

Of particular importance is the C*-algebra of a [[locally compact group]] ''G''.  This is defined as the enveloping C*-algebra of the [[group algebra of a locally compact group|group algebra]] of ''G''.  The  C*-algebra of ''G''  provides context for general [[harmonic analysis]] of ''G'' in the case ''G'' is non-abelian.  In particular, the dual of a locally compact group is defined to be the primitive ideal space of the group C*-algebra.  See [[spectrum of a C*-algebra]].

=== Von Neumann algebras ===

[[Von Neumann algebra]]s, known as W* algebras before the 1960s, are a special kind of C*-algebra. They are required to be closed in the [[weak operator topology]], which is weaker than the norm topology.

The [[Sherman–Takeda theorem]] implies that any C*-algebra has a universal enveloping W*-algebra, such that any homomorphism to a W*-algebra factors through it.

== Type for C*-algebras ==
A C*-algebra ''A'' is of type I if and only if for all non-degenerate representations π of ''A'' the von Neumann algebra π(''A''){{pprime}} (that is, the bicommutant of π(''A'')) is a type I von Neumann algebra. In fact it is sufficient to consider only factor representations, i.e. representations π for which π(''A''){{pprime}} is a factor.

A locally compact group is said to be of type I if and only if its [[group C^*-algebra|group C*-algebra]] is type I.

However, if a C*-algebra has non-type I representations, then by results of [[James Glimm]] it also has representations of type II and type III. Thus for C*-algebras and locally compact groups, it is only meaningful to speak of type I and non type I properties.

== C*-algebras and quantum field theory ==
In [[quantum mechanics]], one typically describes a physical system with a C*-algebra ''A'' with unit element; the self-adjoint elements of ''A'' (elements ''x'' with ''x*'' = ''x'') are thought of as the ''observables'', the measurable quantities, of the system. A ''state'' of the system is defined as a positive functional on ''A'' (a '''C'''-linear map φ : ''A'' → '''C''' with φ(''u*u'') ≥ 0 for all ''u'' ∈ ''A'') such that φ(1) = 1. The expected value of the observable ''x'', if the system is in state φ, is then φ(''x'').

This C*-algebra approach is used in the Haag–Kastler axiomatization of [[local quantum field theory]], where every open set of [[Minkowski spacetime]] is associated with a C*-algebra.

== See also ==
* [[Banach algebra]]
* [[Banach *-algebra]]
* [[Star-algebra|*-algebra]]
* [[Hilbert C*-module]]
* [[Operator K-theory]]
* [[Operator system]], a unital subspace of a C*-algebra that is *-closed.
* [[Gelfand–Naimark–Segal construction]]
*[[Jordan operator algebra]]

== Notes ==
{{Reflist}}

==References==

* {{citation|first=W.|last=Arveson|author-link=William Arveson|title=An Invitation to C*-Algebra|publisher=Springer-Verlag|year=1976|isbn=0-387-90176-0}}. An excellent introduction to the subject, accessible for those with a knowledge of basic [[functional analysis]].
* {{citation|first=Alain|last=Connes|author-link=Alain Connes|url=https://archive.org/details/noncommutativege0000conn|title=Non-commutative geometry|year=1994|publisher=Gulf Professional |isbn=0-12-185860-X|url-access=registration}}.  This book is widely regarded as a source of new research material, providing much supporting intuition, but it is difficult.
* {{citation|first=Jacques|last=Dixmier|author-link=Jacques Dixmier|title=Les C*-algèbres et leurs représentations|publisher=Gauthier-Villars|year=1969|isbn=0-7204-0762-1|url-access=registration|url=https://archive.org/details/calgebras0000dixm}}. This is a somewhat dated reference, but is still considered as a high-quality technical exposition. It is available in English from North Holland press.
* {{citation|last1=Doran|first1=Robert S.|author-link=Robert S. Doran|first2=Victor A.|last2=Belfi|title=Characterizations of C*-algebras: The Gelfand-Naimark Theorems|publisher=CRC Press|year=1986|isbn=978-0-8247-7569-8}}.
* {{citation|first1=G.|last1=Emch|title=Algebraic Methods in Statistical Mechanics and Quantum Field Theory|publisher=Wiley-Interscience|year=1972|isbn=0-471-23900-3}}. Mathematically rigorous reference which provides extensive physics background.
*{{springer|id=c/c020020|title=C*-algebra|author=A.I. Shtern}}
* {{citation|first=S.|last=Sakai|author-link=Shoichiro Sakai|title=C*-algebras and W*-algebras|publisher=Springer|year=1971|isbn=3-540-63633-1}}.
*{{citation|first=Irving|last=Segal|author-link=Irving Segal|title=Irreducible representations of operator algebras|journal=Bulletin of the American Mathematical Society|year=1947|volume=53|pages=73–88|doi=10.1090/S0002-9904-1947-08742-5|issue=2|doi-access=free}}.

{{Spectral theory}}
{{Functional analysis}}
{{Authority control}}

[[Category:C*-algebras| ]]
[[Category:Functional analysis]]