Namespaces
Variants
Actions

Difference between revisions of "Talk:C*-algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 9: Line 9:
 
\newcommand{\set}[1]{\left\{#1\right\}}
 
\newcommand{\set}[1]{\left\{#1\right\}}
 
\newcommand{\Ah}{A_{\text{h}}}
 
\newcommand{\Ah}{A_{\text{h}}}
 +
\newcommand{\Cstar}{C^*\!}
 
$$
 
$$
 
A
 
A
[[Banach algebra|Banach algebra]] $A$ over the field of complex numbers, with an involution $x \rightarrow x^*$, $x \in A$, such that the norm and the involution are connected by the relation $\norm{x^* x} = \norm{x}^2$ for any element $x \in A$. $C^*\!$-algebras were introduced in 1943
+
[[Banach algebra|Banach algebra]] $A$ over the field of complex numbers, with an involution $x \rightarrow x^*$, $x \in A$, such that the norm and the involution are connected by the relation $\norm{x^* x} = \norm{x}^2$ for any element $x \in A$. $\Cstar\!$-algebras were introduced in 1943
{{Cite|GeNe}} under the name of totally regular rings; they are also known under the name of $B^*$-algebras. The most important examples of $C^*$-algebras are:
+
{{Cite|GeNe}} under the name of totally regular rings; they are also known under the name of $B^*$-algebras. The most important examples of $\Cstar$-algebras are:
  
 
1) The algebra $C_0(X)$ of continuous complex-valued functions on a locally compact Hausdorff space $X$ which tend towards zero at infinity (i.e. continuous functions $f$ on $X$ such that, for any $\epsilon > 0$, the set of points $x \in X$ which satisfy the condition $\abs{f(x)} \geq \epsilon$ is compact in $X$); $C_0(X)$ has the uniform norm
 
1) The algebra $C_0(X)$ of continuous complex-valued functions on a locally compact Hausdorff space $X$ which tend towards zero at infinity (i.e. continuous functions $f$ on $X$ such that, for any $\epsilon > 0$, the set of points $x \in X$ which satisfy the condition $\abs{f(x)} \geq \epsilon$ is compact in $X$); $C_0(X)$ has the uniform norm
Line 18: Line 19:
 
\norm{f} = \sup_{x \in X} \abs{f(x)}.
 
\norm{f} = \sup_{x \in X} \abs{f(x)}.
 
$$
 
$$
The involution in $C_0(X)$ is defined as transition to the complex-conjugate function: $f^*(x) = \overline{f(x)}$. Any commutative $C^*$-algebra $A$ is isometrically and symmetrically isomorphic (i.e. is isomorphic as a Banach algebra $A$ with involution) to the $C^*$-algebra $C_0(X)$, where $X$ is the space of maximal ideals of $A$ endowed with the Gel'fand topology
+
The involution in $C_0(X)$ is defined as transition to the complex-conjugate function: $f^*(x) = \overline{f(x)}$. Any commutative $\Cstar$-algebra $A$ is isometrically and symmetrically isomorphic (i.e. is isomorphic as a Banach algebra $A$ with involution) to the $\Cstar$-algebra $C_0(X)$, where $X$ is the space of maximal ideals of $A$ endowed with the Gel'fand topology
 
{{Cite|GeNe}},
 
{{Cite|GeNe}},
 
{{Cite|Na}},
 
{{Cite|Na}},
Line 25: Line 26:
 
2) The algebra $L(H)$ of all bounded linear operators on a Hilbert space $H$, considered with respect to the ordinary linear operations and operator multiplication. The involution in $L(H)$ is defined as transition to the adjoint operator, and the norm is defined as the ordinary operator norm.
 
2) The algebra $L(H)$ of all bounded linear operators on a Hilbert space $H$, considered with respect to the ordinary linear operations and operator multiplication. The involution in $L(H)$ is defined as transition to the adjoint operator, and the norm is defined as the ordinary operator norm.
  
A subset $M \subset A$ is said to be self-adjoint if $M = M^*$, where $M^* = \set{x^* : x \in M}$. Any closed self-adjoint subalgebra $B$ of a $C^*$-algebra $A$ is a $C^*$-algebra with respect to the linear operations, multiplication, involution, and norm taken from $A$; $B$ is said to be a $C^*$-subalgebra of $A$. Any $C^*$-algebra is isometrically and symmetrically isomorphic to a $C^*$-subalgebra of some $C^*$-algebra of the form $L(H)$. Any closed two-sided ideal $I$ in a $C^*$-algebra is self-adjoint (thus $I$ is a $C^*$-subalgebra of $A$), and the quotient algebra $A/I$, endowed with the natural linear operations, multiplication, involution, and quotient space norm, is a $C^*$-algebra. The set $K(H)$ of completely-continuous linear operators on a Hilbert space $H$ is a closed two-sided ideal in $L(H)$. If $A$ is a $C^*$-algebra and $\tilde{A}$ is the algebra with involution obtained from $A$ by addition of a unit element, there exists a unique norm on $\tilde{A} $ which converts $\tilde{A}$ into a $C^*$-algebra and which extends the norm on $A$. Moreover, the operations of bounded direct sum and tensor product
+
A subset $M \subset A$ is said to be self-adjoint if $M = M^*$, where $M^* = \set{x^* : x \in M}$. Any closed self-adjoint subalgebra $B$ of a $\Cstar$-algebra $A$ is a $\Cstar$-algebra with respect to the linear operations, multiplication, involution, and norm taken from $A$; $B$ is said to be a $\Cstar$-subalgebra of $A$. Any $\Cstar$-algebra is isometrically and symmetrically isomorphic to a $\Cstar$-subalgebra of some $\Cstar$-algebra of the form $L(H)$. Any closed two-sided ideal $I$ in a $\Cstar$-algebra is self-adjoint (thus $I$ is a $\Cstar$-subalgebra of $A$), and the quotient algebra $A/I$, endowed with the natural linear operations, multiplication, involution, and quotient space norm, is a $\Cstar$-algebra. The set $K(H)$ of completely-continuous linear operators on a Hilbert space $H$ is a closed two-sided ideal in $L(H)$. If $A$ is a $\Cstar$-algebra and $\tilde{A}$ is the algebra with involution obtained from $A$ by addition of a unit element, there exists a unique norm on $\tilde{A} $ which converts $\tilde{A}$ into a $\Cstar$-algebra and which extends the norm on $A$. Moreover, the operations of bounded direct sum and tensor product
 
{{Cite|Di}},
 
{{Cite|Di}},
{{Cite|Sa}} have been defined for $C^*$-algebras.
+
{{Cite|Sa}} have been defined for $\Cstar$-algebras.
  
  
As in all symmetric Banach algebras with involution, in a $C^*$-algebra $A$ it is possible to define the following subsets: the real linear space $\Ah$ of Hermitian elements; the set of normal elements; the multiplicative group $U$ of unitary elements (if $A$ contains a unit element); and the set $A^+$ of positive elements. The set $A^+$ is a closed cone in $\Ah$, $A^+ \cap (-A)^+ = \set{0}$, $A^+ - A^+ = \Ah$, and the cone $A^+$ converts $\Ah$ into a real ordered vector space. If $A$ contains a unit element $1$, then $1$ is an interior point of the cone $A^+ \subset \Ah$. A linear functional $f$ on $A$ is called positive if $f(x) \geq 0 $ for all $x \in A^+$; such a functional is continuous. If $x \in B $, where $B$ is a $C^*$-subalgebra of $A$, the spectrum of $x$ in $B$ coincides with the spectrum of $x$ in $A$. The spectrum of a Hermitian element is real, the spectrum of a unitary element lies on the unit circle, and the spectrum of a positive element is non-negative. A functional calculus for the normal elements of a $C^*$-algebra has been constructed. Any $C^*$-algebra $A$ has an approximate unit, located in the unit ball of $A$ and formed by positive elements of $A$. If $I$, $J$ are closed two-sided ideals in $A$, then $(I+J)$ is a closed two-sided ideal in $A$ and $(I+J)^+ = I^+ + J^+$. If $I$ is a closed two-sided ideal in $J$ and $J$ is a closed two-sided ideal in $A$, then $I$ is a closed two-sided ideal in $A$. Any closed two-sided ideal is the intersection of the primitive two-sided ideals in which it is contained; any closed left ideal in $A$ is the intersection of the maximal regular left ideals in which it is contained.
+
As in all symmetric Banach algebras with involution, in a $\Cstar$-algebra $A$ it is possible to define the following subsets: the real linear space $\Ah$ of Hermitian elements; the set of normal elements; the multiplicative group $U$ of unitary elements (if $A$ contains a unit element); and the set $A^+$ of positive elements. The set $A^+$ is a closed cone in $\Ah$, $A^+ \cap (-A)^+ = \set{0}$, $A^+ - A^+ = \Ah$, and the cone $A^+$ converts $\Ah$ into a real ordered vector space. If $A$ contains a unit element $1$, then $1$ is an interior point of the cone $A^+ \subset \Ah$. A linear functional $f$ on $A$ is called positive if $f(x) \geq 0 $ for all $x \in A^+$; such a functional is continuous. If $x \in B $, where $B$ is a $\Cstar$-subalgebra of $A$, the spectrum of $x$ in $B$ coincides with the spectrum of $x$ in $A$. The spectrum of a Hermitian element is real, the spectrum of a unitary element lies on the unit circle, and the spectrum of a positive element is non-negative. A functional calculus for the normal elements of a $\Cstar$-algebra has been constructed. Any $\Cstar$-algebra $A$ has an approximate unit, located in the unit ball of $A$ and formed by positive elements of $A$. If $I$, $J$ are closed two-sided ideals in $A$, then $(I+J)$ is a closed two-sided ideal in $A$ and $(I+J)^+ = I^+ + J^+$. If $I$ is a closed two-sided ideal in $J$ and $J$ is a closed two-sided ideal in $A$, then $I$ is a closed two-sided ideal in $A$. Any closed two-sided ideal is the intersection of the primitive two-sided ideals in which it is contained; any closed left ideal in $A$ is the intersection of the maximal regular left ideals in which it is contained.
  
Any $^*$-isomorphism of a $C^*$-algebra is isometric. Any $^*$-isomorphism $\pi$ of a Banach algebra $B$ with involution into a $C^*$-algebra $A$ is continuous, and $\norm{\pi(x)} \leq \norm{x}$ for all $x \in B$. In particular, all representations of a Banach algebra with involution (i.e. all $^*$-homomorphisms of $B$ into a $C^*$-algebra of the form $L(H)$) are continuous. The theory of representations of $C^*$-algebras forms a significant part of the theory of $C^*$-algebras, and the applications of the theory of $C^*$-algebras are related to the theory of representations of $C^*$-algebras. The properties of representations of $C^*$-algebras make it possible to construct for each $C^*$-algebra $A$ a topological space $\hat{A}$, called the spectrum of the $C^*$-algebra $A$, and to endow this space with a
+
Any $^*$-isomorphism of a $\Cstar$-algebra is isometric. Any $^*$-isomorphism $\pi$ of a Banach algebra $B$ with involution into a $\Cstar$-algebra $A$ is continuous, and $\norm{\pi(x)} \leq \norm{x}$ for all $x \in B$. In particular, all representations of a Banach algebra with involution (i.e. all $^*$-homomorphisms of $B$ into a $\Cstar$-algebra of the form $L(H)$) are continuous. The theory of representations of $\Cstar$-algebras forms a significant part of the theory of $\Cstar$-algebras, and the applications of the theory of $\Cstar$-algebras are related to the theory of representations of $\Cstar$-algebras. The properties of representations of $\Cstar$-algebras make it possible to construct for each $\Cstar$-algebra $A$ a topological space $\hat{A}$, called the spectrum of the $\Cstar$-algebra $A$, and to endow this space with a
[[Mackey–Borel structure|Mackey–Borel structure]]. In the general case, the spectrum of a $C^*$-algebra does not satisfy any separation axiom, but is a locally compact
+
[[Mackey–Borel structure|Mackey–Borel structure]]. In the general case, the spectrum of a $\Cstar$-algebra does not satisfy any separation axiom, but is a locally compact
 
[[Baire space|Baire space]].
 
[[Baire space|Baire space]].
  
A $C^*$-algebra $A$ is said to be a CCR-algebra (respectively, a GCR-algebra) if the relation $\pi(A) = K(H_\pi)$ (respectively, $\pi(A) \supset K(H_\pi)$) is satisfied for any non-null irreducible representation $\pi$ of the $C^*$-algebra $A$ in a Hilbert space $H$.
+
A $\Cstar$-algebra $A$ is said to be a CCR-algebra (respectively, a GCR-algebra) if the relation $\pi(A) = K(H_\pi)$ (respectively, $\pi(A) \supset K(H_\pi)$) is satisfied for any non-null irreducible representation $\pi$ of the $\Cstar$-algebra $A$ in a Hilbert space $H$.
  
A $C^*$-algebra $A$ is said to be an NGCR-algebra if $A$ does not contain non-zero closed two-sided GCR-ideals (i.e. ideals which are GCR-algebras). Any $C^*$-algebra contains a maximal two-sided GCR-ideal $I$, and the quotient algebra $A/I$ is an NGCR-algebra. Any GCR-algebra contains an increasing family of closed two-sided ideals $I_\alpha$, indexed by ordinals $\alpha$, $\alpha  \leq \rho $, such that $I_\rho = A$, $I_1=\set{0}$, $I_{\alpha+1}/I_\alpha$ is a CCR-algebra for all $\alpha < \rho$, and $I_\alpha = \bigcup_{\alpha^\prime < \alpha} I_{\alpha^\prime}$ for limit ordinals $\alpha$. The spectrum of a GCR-algebra contains an open, everywhere-dense, separable, locally compact subset.
+
A $\Cstar$-algebra $A$ is said to be an NGCR-algebra if $A$ does not contain non-zero closed two-sided GCR-ideals (i.e. ideals which are GCR-algebras). Any $\Cstar$-algebra contains a maximal two-sided GCR-ideal $I$, and the quotient algebra $A/I$ is an NGCR-algebra. Any GCR-algebra contains an increasing family of closed two-sided ideals $I_\alpha$, indexed by ordinals $\alpha$, $\alpha  \leq \rho $, such that $I_\rho = A$, $I_1=\set{0}$, $I_{\alpha+1}/I_\alpha$ is a CCR-algebra for all $\alpha < \rho$, and $I_\alpha = \bigcup_{\alpha^\prime < \alpha} I_{\alpha^\prime}$ for limit ordinals $\alpha$. The spectrum of a GCR-algebra contains an open, everywhere-dense, separable, locally compact subset.
  
A $C^*$-algebra $A$ is said to be a $C^*$-algebra of type I if, for any representation $\pi$ of the $C^*$-algebra $A$ in a Hilbert space $H_\pi$, the
+
A $\Cstar$-algebra $A$ is said to be a $\Cstar$-algebra of type I if, for any representation $\pi$ of the $\Cstar$-algebra $A$ in a Hilbert space $H_\pi$, the
[[Von Neumann algebra|von Neumann algebra]] generated by the family $\pi(A)$ in $H_\pi$ is a type I von Neumann algebra. For a $C^*$-algebra, the following conditions are equivalent: a) $A$ is a $C^*$-algebra of type I; b) $A$ is a GCR-algebra; and c) any quotient representation of the $C^*$-algebra $A$ is a multiple of the irreducible representation. If $A$ satisfies these conditions, then: 1) two irreducible representations of the $C^*$-algebra $A$ are equivalent if and only if their kernels are identical; and 2) the spectrum of the $C^*$-algebra $A$ is a $T_0$-space. If $A$ is a separable $C^*$-algebra, each of the conditions 1) and 2) is equivalent to the conditions a)–c). In particular, each separable $C^*$-algebra with a unique (up to equivalence) irreducible representation, is isomorphic to the $C^*$-algebra $K(H)$ for some Hilbert space $H$.
+
[[Von Neumann algebra|von Neumann algebra]] generated by the family $\pi(A)$ in $H_\pi$ is a type I von Neumann algebra. For a $\Cstar$-algebra, the following conditions are equivalent: a) $A$ is a $\Cstar$-algebra of type I; b) $A$ is a GCR-algebra; and c) any quotient representation of the $\Cstar$-algebra $A$ is a multiple of the irreducible representation. If $A$ satisfies these conditions, then: 1) two irreducible representations of the $\Cstar$-algebra $A$ are equivalent if and only if their kernels are identical; and 2) the spectrum of the $\Cstar$-algebra $A$ is a $T_0$-space. If $A$ is a separable $\Cstar$-algebra, each of the conditions 1) and 2) is equivalent to the conditions a)–c). In particular, each separable $\Cstar$-algebra with a unique (up to equivalence) irreducible representation, is isomorphic to the $\Cstar$-algebra $K(H)$ for some Hilbert space $H$.
  
Let $A$ be a $C^*$-algebra, and let $P$ be a set of elements $x \in A$ such that the function $\pi \rightarrow \mathrm{Tr}\,\pi(x)$ is finite and continuous on the spectrum of $A$. If the linear envelope of $P$ is everywhere dense in $A$, then $A$ is said to be a $C^*$-algebra with continuous trace. The spectrum of such a $C^*$-algebra is separable and, under certain additional conditions, a $C^*$-algebra with a continuous trace may be represented as the algebra of vector functions on its spectrum $\hat{A}$
+
Let $A$ be a $\Cstar$-algebra, and let $P$ be a set of elements $x \in A$ such that the function $\pi \rightarrow \mathrm{Tr}\,\pi(x)$ is finite and continuous on the spectrum of $A$. If the linear envelope of $P$ is everywhere dense in $A$, then $A$ is said to be a $\Cstar$-algebra with continuous trace. The spectrum of such a $\Cstar$-algebra is separable and, under certain additional conditions, a $\Cstar$-algebra with a continuous trace may be represented as the algebra of vector functions on its spectrum $\hat{A}$
 
{{Cite|Di}}.
 
{{Cite|Di}}.
  
Let $A$ be a $C^*$-algebra, let $F$ be the set of positive linear functionals on $A$ with norm no greater than $1$ and let $P(A)$ be the set of non-zero boundary points of the convex set $F$. Then $P(A)$ will be the set of pure states of $A$. Let $B$ be a $C^*$-subalgebra of $A$. If $A$ is a GCR-algebra and if $B$ separates the points of the set $P(A)\cup\set{0}$, i.e. for any $f_1, f_2 \in P(A)\cup\set{0}$, $f_1 \neq f_2$, there exists an $x \in B$ such that $f_1(x) \neq f_2(x)$, then $B=A$ (the Stone–Weierstrass theorem). If $A$ is any $C^*$-algebra and $B$ separates the points of the set $\overline{P(A)}\cup\set{0}$, then $B = A$.
+
Let $A$ be a $\Cstar$-algebra, let $F$ be the set of positive linear functionals on $A$ with norm no greater than $1$ and let $P(A)$ be the set of non-zero boundary points of the convex set $F$. Then $P(A)$ will be the set of pure states of $A$. Let $B$ be a $\Cstar$-subalgebra of $A$. If $A$ is a GCR-algebra and if $B$ separates the points of the set $P(A)\cup\set{0}$, i.e. for any $f_1, f_2 \in P(A)\cup\set{0}$, $f_1 \neq f_2$, there exists an $x \in B$ such that $f_1(x) \neq f_2(x)$, then $B=A$ (the Stone–Weierstrass theorem). If $A$ is any $\Cstar$-algebra and $B$ separates the points of the set $\overline{P(A)}\cup\set{0}$, then $B = A$.
  
The second dual space $A^{**}$ of a $C^*$-algebra $A$ is obviously provided with a multiplication converting $A^{**}$ into a $C^*$-algebra isomorphic to some von Neumann algebra; this algebra is named the von Neumann algebra enveloping the $C^*$-algebra
+
The second dual space $A^{**}$ of a $\Cstar$-algebra $A$ is obviously provided with a multiplication converting $A^{**}$ into a $\Cstar$-algebra isomorphic to some von Neumann algebra; this algebra is named the von Neumann algebra enveloping the $\Cstar$-algebra
 
{{Cite|Di}},
 
{{Cite|Di}},
 
{{Cite|Sa}}.
 
{{Cite|Sa}}.
  
The theory of $C^*$-algebras has numerous applications in the theory of representations of groups and symmetric algebras
+
The theory of $\Cstar$-algebras has numerous applications in the theory of representations of groups and symmetric algebras
 
{{Cite|Di}}, the theory of dynamical systems
 
{{Cite|Di}}, the theory of dynamical systems
 
{{Cite|Sa}}, statistical physics and quantum field theory
 
{{Cite|Sa}}, statistical physics and quantum field theory
Line 64: Line 65:
  
 
Recent discoveries have revealed connections with, and applications to,
 
Recent discoveries have revealed connections with, and applications to,
[[Algebraic topology|algebraic topology]]. If $X$ is a compact metrizable space, a group, $\mathrm{Ext}(X)$, can be formed from $C^*$-extensions of the compact operators by $C(X)$,
+
[[Algebraic topology|algebraic topology]]. If $X$ is a compact metrizable space, a group, $\mathrm{Ext}(X)$, can be formed from $\Cstar$-extensions of the compact operators by $C(X)$,
 
$$  
 
$$  
 
K(H) \rightarrow \epsilon \rightarrow C(X).
 
K(H) \rightarrow \epsilon \rightarrow C(X).
Line 94: Line 95:
 
|valign="top"|{{Ref|Bl}}||valign="top"| B. Blackadar, "$K$-theory for operator algebras", Springer (1986) {{MR|0859867}} {{ZBL|0597.46072}}
 
|valign="top"|{{Ref|Bl}}||valign="top"| B. Blackadar, "$K$-theory for operator algebras", Springer (1986) {{MR|0859867}} {{ZBL|0597.46072}}
 
|-
 
|-
|valign="top"|{{Ref|BrDoFi}}||valign="top"| L.G. Brown, R.G. Douglas, P.A. Filmore, "Extensions of $C^*$-algebras and $K$-homology" ''Ann. of Math. (2)'', '''105''' (1977) pp. 265–324
+
|valign="top"|{{Ref|BrDoFi}}||valign="top"| L.G. Brown, R.G. Douglas, P.A. Filmore, "Extensions of $\Cstar$-algebras and $K$-homology" ''Ann. of Math. (2)'', '''105''' (1977) pp. 265–324
 
|-
 
|-
 
|valign="top"|{{Ref|Co}}||valign="top"| A. Connes, "Non-commutative differential geometry" ''Publ. Math. IHES'', '''62''' (1986) pp. 257–360 {{MR|}} {{ZBL|0657.55006}} {{ZBL|0592.46056}} {{ZBL|0564.58002}}
 
|valign="top"|{{Ref|Co}}||valign="top"| A. Connes, "Non-commutative differential geometry" ''Publ. Math. IHES'', '''62''' (1986) pp. 257–360 {{MR|}} {{ZBL|0657.55006}} {{ZBL|0592.46056}} {{ZBL|0564.58002}}
 
|-
 
|-
|valign="top"|{{Ref|Di}}||valign="top"| J. Dixmier, "$C^*$ algebras", North-Holland (1977) (Translated from French) {{MR|0498740}} {{MR|0458185}} {{ZBL|0372.46058}} {{ZBL|0346.17010}} {{ZBL|0339.17007}}
+
|valign="top"|{{Ref|Di}}||valign="top"| J. Dixmier, "$\Cstar$ algebras", North-Holland (1977) (Translated from French) {{MR|0498740}} {{MR|0458185}} {{ZBL|0372.46058}} {{ZBL|0346.17010}} {{ZBL|0339.17007}}
 
|-
 
|-
 
|valign="top"|{{Ref|Do}}||valign="top"| R.G. Douglas, "Banach algebra techniques in operator theory", Acad. Press (1972) {{MR|0361893}} {{ZBL|0247.47001}}
 
|valign="top"|{{Ref|Do}}||valign="top"| R.G. Douglas, "Banach algebra techniques in operator theory", Acad. Press (1972) {{MR|0361893}} {{ZBL|0247.47001}}
 
|-
 
|-
|valign="top"|{{Ref|Do2}}||valign="top"| R.G. Douglas, "$C^*$-algebra extensions and $K$-homology", Princeton Univ. Press (1980) {{MR|0571362}} {{ZBL|}}
+
|valign="top"|{{Ref|Do2}}||valign="top"| R.G. Douglas, "$\Cstar$-algebra extensions and $K$-homology", Princeton Univ. Press (1980) {{MR|0571362}} {{ZBL|}}
 
|-
 
|-
 
|valign="top"|{{Ref|GeNe}}||valign="top"| I.M. Gel'fand, M.A. [M.A. Naimark] Neumark, "On the imbedding of normed rings in the rings of operators in Hilbert space" ''Mat. Sb.'', '''12 (54)''' : 2 (1943) pp. 197–213 {{MR|9426}} {{ZBL|}}
 
|valign="top"|{{Ref|GeNe}}||valign="top"| I.M. Gel'fand, M.A. [M.A. Naimark] Neumark, "On the imbedding of normed rings in the rings of operators in Hilbert space" ''Mat. Sb.'', '''12 (54)''' : 2 (1943) pp. 197–213 {{MR|9426}} {{ZBL|}}
Line 116: Line 117:
 
|valign="top"|{{Ref|Ru}}||valign="top"| D. Ruelle, "Statistical mechanics: rigorous results", Benjamin (1974) {{MR|0289084}} {{ZBL|0997.82506}} {{ZBL|1016.82500}} {{ZBL|0177.57301}}
 
|valign="top"|{{Ref|Ru}}||valign="top"| D. Ruelle, "Statistical mechanics: rigorous results", Benjamin (1974) {{MR|0289084}} {{ZBL|0997.82506}} {{ZBL|1016.82500}} {{ZBL|0177.57301}}
 
|-
 
|-
|valign="top"|{{Ref|Sa}}||valign="top"| S. Sakai, "$C^*$-algebras and $W^*$-algebras", Springer (1971) {{MR|0442701}} {{MR|0399878}} {{MR|0318902}} {{MR|0293415}} {{MR|0293414}} {{ZBL|}}
+
|valign="top"|{{Ref|Sa}}||valign="top"| S. Sakai, "$\Cstar$-algebras and $W^*$-algebras", Springer (1971) {{MR|0442701}} {{MR|0399878}} {{MR|0318902}} {{MR|0293415}} {{MR|0293414}} {{ZBL|}}
 
|-
 
|-
 
|valign="top"|{{Ref|Ta}}||valign="top"| M. Takesaki, "Theory of operator algebras", '''1''', Springer (1979) {{MR|0548728}} {{ZBL|0436.46043}}
 
|valign="top"|{{Ref|Ta}}||valign="top"| M. Takesaki, "Theory of operator algebras", '''1''', Springer (1979) {{MR|0548728}} {{ZBL|0436.46043}}
 
|-
 
|-
 
|}
 
|}

Revision as of 20:57, 20 April 2012


In the process of being TeXed

$$ \newcommand{\abs}[1]{\left|#1\right|} \newcommand{\norm}[1]{\left\|#1\right\|} \newcommand{\set}[1]{\left\{#1\right\}} \newcommand{\Ah}{A_{\text{h}}} \newcommand{\Cstar}{C^*\!} $$ A Banach algebra $A$ over the field of complex numbers, with an involution $x \rightarrow x^*$, $x \in A$, such that the norm and the involution are connected by the relation $\norm{x^* x} = \norm{x}^2$ for any element $x \in A$. $\Cstar\!$-algebras were introduced in 1943 [GeNe] under the name of totally regular rings; they are also known under the name of $B^*$-algebras. The most important examples of $\Cstar$-algebras are:

1) The algebra $C_0(X)$ of continuous complex-valued functions on a locally compact Hausdorff space $X$ which tend towards zero at infinity (i.e. continuous functions $f$ on $X$ such that, for any $\epsilon > 0$, the set of points $x \in X$ which satisfy the condition $\abs{f(x)} \geq \epsilon$ is compact in $X$); $C_0(X)$ has the uniform norm $$ \norm{f} = \sup_{x \in X} \abs{f(x)}. $$ The involution in $C_0(X)$ is defined as transition to the complex-conjugate function: $f^*(x) = \overline{f(x)}$. Any commutative $\Cstar$-algebra $A$ is isometrically and symmetrically isomorphic (i.e. is isomorphic as a Banach algebra $A$ with involution) to the $\Cstar$-algebra $C_0(X)$, where $X$ is the space of maximal ideals of $A$ endowed with the Gel'fand topology [GeNe], [Na], [Di].

2) The algebra $L(H)$ of all bounded linear operators on a Hilbert space $H$, considered with respect to the ordinary linear operations and operator multiplication. The involution in $L(H)$ is defined as transition to the adjoint operator, and the norm is defined as the ordinary operator norm.

A subset $M \subset A$ is said to be self-adjoint if $M = M^*$, where $M^* = \set{x^* : x \in M}$. Any closed self-adjoint subalgebra $B$ of a $\Cstar$-algebra $A$ is a $\Cstar$-algebra with respect to the linear operations, multiplication, involution, and norm taken from $A$; $B$ is said to be a $\Cstar$-subalgebra of $A$. Any $\Cstar$-algebra is isometrically and symmetrically isomorphic to a $\Cstar$-subalgebra of some $\Cstar$-algebra of the form $L(H)$. Any closed two-sided ideal $I$ in a $\Cstar$-algebra is self-adjoint (thus $I$ is a $\Cstar$-subalgebra of $A$), and the quotient algebra $A/I$, endowed with the natural linear operations, multiplication, involution, and quotient space norm, is a $\Cstar$-algebra. The set $K(H)$ of completely-continuous linear operators on a Hilbert space $H$ is a closed two-sided ideal in $L(H)$. If $A$ is a $\Cstar$-algebra and $\tilde{A}$ is the algebra with involution obtained from $A$ by addition of a unit element, there exists a unique norm on $\tilde{A} $ which converts $\tilde{A}$ into a $\Cstar$-algebra and which extends the norm on $A$. Moreover, the operations of bounded direct sum and tensor product [Di], [Sa] have been defined for $\Cstar$-algebras.


As in all symmetric Banach algebras with involution, in a $\Cstar$-algebra $A$ it is possible to define the following subsets: the real linear space $\Ah$ of Hermitian elements; the set of normal elements; the multiplicative group $U$ of unitary elements (if $A$ contains a unit element); and the set $A^+$ of positive elements. The set $A^+$ is a closed cone in $\Ah$, $A^+ \cap (-A)^+ = \set{0}$, $A^+ - A^+ = \Ah$, and the cone $A^+$ converts $\Ah$ into a real ordered vector space. If $A$ contains a unit element $1$, then $1$ is an interior point of the cone $A^+ \subset \Ah$. A linear functional $f$ on $A$ is called positive if $f(x) \geq 0 $ for all $x \in A^+$; such a functional is continuous. If $x \in B $, where $B$ is a $\Cstar$-subalgebra of $A$, the spectrum of $x$ in $B$ coincides with the spectrum of $x$ in $A$. The spectrum of a Hermitian element is real, the spectrum of a unitary element lies on the unit circle, and the spectrum of a positive element is non-negative. A functional calculus for the normal elements of a $\Cstar$-algebra has been constructed. Any $\Cstar$-algebra $A$ has an approximate unit, located in the unit ball of $A$ and formed by positive elements of $A$. If $I$, $J$ are closed two-sided ideals in $A$, then $(I+J)$ is a closed two-sided ideal in $A$ and $(I+J)^+ = I^+ + J^+$. If $I$ is a closed two-sided ideal in $J$ and $J$ is a closed two-sided ideal in $A$, then $I$ is a closed two-sided ideal in $A$. Any closed two-sided ideal is the intersection of the primitive two-sided ideals in which it is contained; any closed left ideal in $A$ is the intersection of the maximal regular left ideals in which it is contained.

Any $^*$-isomorphism of a $\Cstar$-algebra is isometric. Any $^*$-isomorphism $\pi$ of a Banach algebra $B$ with involution into a $\Cstar$-algebra $A$ is continuous, and $\norm{\pi(x)} \leq \norm{x}$ for all $x \in B$. In particular, all representations of a Banach algebra with involution (i.e. all $^*$-homomorphisms of $B$ into a $\Cstar$-algebra of the form $L(H)$) are continuous. The theory of representations of $\Cstar$-algebras forms a significant part of the theory of $\Cstar$-algebras, and the applications of the theory of $\Cstar$-algebras are related to the theory of representations of $\Cstar$-algebras. The properties of representations of $\Cstar$-algebras make it possible to construct for each $\Cstar$-algebra $A$ a topological space $\hat{A}$, called the spectrum of the $\Cstar$-algebra $A$, and to endow this space with a Mackey–Borel structure. In the general case, the spectrum of a $\Cstar$-algebra does not satisfy any separation axiom, but is a locally compact Baire space.

A $\Cstar$-algebra $A$ is said to be a CCR-algebra (respectively, a GCR-algebra) if the relation $\pi(A) = K(H_\pi)$ (respectively, $\pi(A) \supset K(H_\pi)$) is satisfied for any non-null irreducible representation $\pi$ of the $\Cstar$-algebra $A$ in a Hilbert space $H$.

A $\Cstar$-algebra $A$ is said to be an NGCR-algebra if $A$ does not contain non-zero closed two-sided GCR-ideals (i.e. ideals which are GCR-algebras). Any $\Cstar$-algebra contains a maximal two-sided GCR-ideal $I$, and the quotient algebra $A/I$ is an NGCR-algebra. Any GCR-algebra contains an increasing family of closed two-sided ideals $I_\alpha$, indexed by ordinals $\alpha$, $\alpha \leq \rho $, such that $I_\rho = A$, $I_1=\set{0}$, $I_{\alpha+1}/I_\alpha$ is a CCR-algebra for all $\alpha < \rho$, and $I_\alpha = \bigcup_{\alpha^\prime < \alpha} I_{\alpha^\prime}$ for limit ordinals $\alpha$. The spectrum of a GCR-algebra contains an open, everywhere-dense, separable, locally compact subset.

A $\Cstar$-algebra $A$ is said to be a $\Cstar$-algebra of type I if, for any representation $\pi$ of the $\Cstar$-algebra $A$ in a Hilbert space $H_\pi$, the von Neumann algebra generated by the family $\pi(A)$ in $H_\pi$ is a type I von Neumann algebra. For a $\Cstar$-algebra, the following conditions are equivalent: a) $A$ is a $\Cstar$-algebra of type I; b) $A$ is a GCR-algebra; and c) any quotient representation of the $\Cstar$-algebra $A$ is a multiple of the irreducible representation. If $A$ satisfies these conditions, then: 1) two irreducible representations of the $\Cstar$-algebra $A$ are equivalent if and only if their kernels are identical; and 2) the spectrum of the $\Cstar$-algebra $A$ is a $T_0$-space. If $A$ is a separable $\Cstar$-algebra, each of the conditions 1) and 2) is equivalent to the conditions a)–c). In particular, each separable $\Cstar$-algebra with a unique (up to equivalence) irreducible representation, is isomorphic to the $\Cstar$-algebra $K(H)$ for some Hilbert space $H$.

Let $A$ be a $\Cstar$-algebra, and let $P$ be a set of elements $x \in A$ such that the function $\pi \rightarrow \mathrm{Tr}\,\pi(x)$ is finite and continuous on the spectrum of $A$. If the linear envelope of $P$ is everywhere dense in $A$, then $A$ is said to be a $\Cstar$-algebra with continuous trace. The spectrum of such a $\Cstar$-algebra is separable and, under certain additional conditions, a $\Cstar$-algebra with a continuous trace may be represented as the algebra of vector functions on its spectrum $\hat{A}$ [Di].

Let $A$ be a $\Cstar$-algebra, let $F$ be the set of positive linear functionals on $A$ with norm no greater than $1$ and let $P(A)$ be the set of non-zero boundary points of the convex set $F$. Then $P(A)$ will be the set of pure states of $A$. Let $B$ be a $\Cstar$-subalgebra of $A$. If $A$ is a GCR-algebra and if $B$ separates the points of the set $P(A)\cup\set{0}$, i.e. for any $f_1, f_2 \in P(A)\cup\set{0}$, $f_1 \neq f_2$, there exists an $x \in B$ such that $f_1(x) \neq f_2(x)$, then $B=A$ (the Stone–Weierstrass theorem). If $A$ is any $\Cstar$-algebra and $B$ separates the points of the set $\overline{P(A)}\cup\set{0}$, then $B = A$.

The second dual space $A^{**}$ of a $\Cstar$-algebra $A$ is obviously provided with a multiplication converting $A^{**}$ into a $\Cstar$-algebra isomorphic to some von Neumann algebra; this algebra is named the von Neumann algebra enveloping the $\Cstar$-algebra [Di], [Sa].

The theory of $\Cstar$-algebras has numerous applications in the theory of representations of groups and symmetric algebras [Di], the theory of dynamical systems [Sa], statistical physics and quantum field theory [Ru], and also in the theory of operators on a Hilbert space [Do].

Comments

If $A$ over $\C$ is an algebra with involution, i.e. if there is an operation $^* : A \rightarrow A$ satisfying $(\lambda x + \mu y)^* = \bar{\lambda}x^* + \bar{\mu}y^*$, $x^{**}=x$, $(xy)^* = y^* x^*$, the Hermitian, normal and positive elements are defined as follows. The element $x$ is a Hermitian element if $x = x^*$; it is a normal element if $xx^* = x^*x$ and it is a positive element if $x = y^*y$ for some $y \in A$. An element $u$ is a unitary element if $uu^*=1$. An algebra with involution is also sometimes called a symmetric algebra (or symmetric ring), cf., e.g., [Na]. However, this usage conflicts with the concept of a symmetric algebra as a special kind of Frobenius algebra, cf. Frobenius algebra.

Recent discoveries have revealed connections with, and applications to, algebraic topology. If $X$ is a compact metrizable space, a group, $\mathrm{Ext}(X)$, can be formed from $\Cstar$-extensions of the compact operators by $C(X)$, $$ K(H) \rightarrow \epsilon \rightarrow C(X). $$ In [BrDoFi], $\mathrm{Ext}(X)$ is shown to be a homotopy invariant functor of $X$ which may be identified with the topological $K$-homology group, $K_1(X)$. In [At] M.F. Atiyah attempted to make a description of $K$-homology, $K_*(X)$, in terms of elliptic operators [Do2], p. 58. In [Ka], [Ka2] G.G. Kasparov developed a solution to this problem. Kasparov and others have used the equivariant version of Kasparov $K$-theory to prove the strong Novikov conjecture on higher signatures in many cases (see [Bl], pp. 309-314).

In addition, deep and novel connections between $K$-theory and operator algebras (cf. Operator ring) were recently discovered by A. Connes [Co]. Finally, V.F.R. Jones [Jo] has exploited operator algebras to provide invariants of topological knots (cf. Knot theory).

Further details on recent developments may be found in [Bl], [Do2].

References

[At] M.F. Atiyah, "Global theory of elliptic operators", Proc. Internat. Conf. Funct. Anal. Related Topics, Univ. Tokyo Press (1970) MR0266247 Zbl 0193.43601
[Bl] B. Blackadar, "$K$-theory for operator algebras", Springer (1986) MR0859867 Zbl 0597.46072
[BrDoFi] L.G. Brown, R.G. Douglas, P.A. Filmore, "Extensions of $\Cstar$-algebras and $K$-homology" Ann. of Math. (2), 105 (1977) pp. 265–324
[Co] A. Connes, "Non-commutative differential geometry" Publ. Math. IHES, 62 (1986) pp. 257–360 Zbl 0657.55006 Zbl 0592.46056 Zbl 0564.58002
[Di] J. Dixmier, "$\Cstar$ algebras", North-Holland (1977) (Translated from French) MR0498740 MR0458185 Zbl 0372.46058 Zbl 0346.17010 Zbl 0339.17007
[Do] R.G. Douglas, "Banach algebra techniques in operator theory", Acad. Press (1972) MR0361893 Zbl 0247.47001
[Do2] R.G. Douglas, "$\Cstar$-algebra extensions and $K$-homology", Princeton Univ. Press (1980) MR0571362
[GeNe] I.M. Gel'fand, M.A. [M.A. Naimark] Neumark, "On the imbedding of normed rings in the rings of operators in Hilbert space" Mat. Sb., 12 (54) : 2 (1943) pp. 197–213 MR9426
[Jo] V.F.R. Jones, "A polynomial invariant for knots via von Neumann algebras" Bull. Amer. Math. Soc., 12 (1985) pp. 103–111 MR0766964 Zbl 0564.57006
[Ka] G.G. Kasparov, "The generalized index of elliptic operators" Funct. Anal. and Its Appl., 7 (1973) pp. 238–240 Funkt. Anal. i Prilozhen., 7 (1973) pp. 82–83 MR445561 Zbl 0305.58017
[Ka2] G.G. Kasparov, "Topological invariants of elliptic operators I. $K$-homology" Math. USSR-Izv., 9 (1975) pp. 751–792 Izv. Akad. Nauk SSSR, 4 (1975) pp. 796–838 MR488027
[Na] M.A. Naimark, "Normed rings", Reidel (1984) (Translated from Russian) MR1292007 MR0355601 MR0355602 MR0205093 MR0110956 MR0090786 MR0026763 Zbl 0218.46042 Zbl 0137.31703 Zbl 0089.10102 Zbl 0073.08902
[Ru] D. Ruelle, "Statistical mechanics: rigorous results", Benjamin (1974) MR0289084 Zbl 0997.82506 Zbl 1016.82500 Zbl 0177.57301
[Sa] S. Sakai, "$\Cstar$-algebras and $W^*$-algebras", Springer (1971) MR0442701 MR0399878 MR0318902 MR0293415 MR0293414
[Ta] M. Takesaki, "Theory of operator algebras", 1, Springer (1979) MR0548728 Zbl 0436.46043
How to Cite This Entry:
C*-algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=C*-algebra&oldid=24926