C*-algebra

Wikipedia

En C*-algebra är en speciell sorts operatoralgebra. De infördes först av John von Neumann, i samband med hans arbeten med att ge kvantmekaniken en matematiskt tillfredställande framställning. Framförallt beskrev von Neumann i sitt arbete en speciell sort av C*-algebra, som senare fick samlingsnamnet von Neumann-algebra.

Innehåll

1 Definition
- 1.1 Konkret definition
- 1.2 Abstrakt definition
2 Exempel
3 Egenskaper
4 Referenser
5 Se även

[redigera] Definition

Vanligen brukar man nämna två olika definitioner av C*-algebror, en konkret och en mer abstrakt. De är ekvivalenta, men att den abstrakta definitionen implicerar den konkreta visades först 1943 av Israel Gelfand och Mark Naimark.

[redigera] Konkret definition

Den konkreta definitionen av en C*-algebra är att den är en delalgebra av B(H), algebran av begränsade operatorer på ett komplext Hilbertrum H, som är sluten under adjunkter (*), samt sluten med avseende på topologin på B(H) som ges av operatornormen. Denna topologin kallas ofta normtopologin, för att särskilja den från ett antal andra topologier som brukar ges B(H). Denna topologi är den starkaste av dessa.

[redigera] Abstrakt definition

Den abstrakta definitionen gavs, som ovan nämnts, av Gelfand och Naimark 1943.

Nu definieras en C*-algebra som en Banachalgebra A över $\mathbb{C}$ , tillsammans med en avbildning $*:A \rightarrow A$ som kallas en involution. Den uppfyller följande egenskaper:

För alla x,y i A gäller

(x + y) * = x * + y *

(x y) * = y * x *

För varje λ i $\mathbb{C}$ och varje x i A gäller

$(\lambda x)^* = \overline{\lambda}x^*$

För varje x i A gäller

(x *) * = x

Normen uppfyller C*-egenskapen. Detta innebär att:

| | x * x | | = | | x | | 2

[redigera] Exempel

Ett konkret exempel på en C*-algebra är $M_n(\mathbb{C})$ , algebran bestående av nxn-matriser över $\mathbb{C}$ . Denna är ju en algebra av begränsade operatorer på Hilbertrummet $\mathbb{C}^n$ , och är en Banachalgebra under valfri operatornorm. Involutionen ges i detta fall av adjunktoperationen.

Allmänt, om $S \subset B(H)$ är en mängd operatorer, så genererar S en C*-algebra på ett naturligt sätt: Om P är mängden av ändliga produkter av element i $S \cup S^*$ så är mängden av alla ändliga linjärkombinationer av element i P sluten under adjunktoperationen. Det slutna höljet av denna mängd i normtopologin är då den minsta C*-algebran som innehåller S. Denna kallas även för C*-algebran genererad av S.

$L^{\infty}(\mu)$ , rummet av komplexvärda funktioner som är begränsade nästan överallt, är en kommutativ C*-algebra. Normen ges av $\|f\|_\infty := \inf \{ C\ge 0 : |f(x)| \le C \}$ (för nästan alla x). Involutionen ges av $f^*(p) = \overline{f(p)}, p \in X$ .

von Neumann-algebror är också C*-algebror. En von Neumann-algebra är nämligen en operatoralgebra, med en involution som uppfyller samma egenskaper som för en C*-algebra, men som är sluten under den svaga operatortopologin. Eftersom denna är svagare än normtopologin, är således en von Neumann-algebra även sluten under normtopologin, och därmed en C*-algebra.

[redigera] Egenskaper

Fortsättning följer

[redigera] Referenser

W. Arveson, An Invitation to C*-algebra, Springer Verlag, 1976.
M. Takesaki, Theory of Operator Algebras I, Springer Verlag, 1979.

[redigera] Se även

von Neumann-algebra

Den här artikeln är hämtad från http://sv.wikipedia.org../../../c/2A/-/C_-algebra_836a.html

Kategorier: Funktionalanalys | Algebra