C*-Algebra

C*-Algebra

C*-Algebren werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um eine Abstraktion der beschränkten linearen Operatoren auf einem Hilbertraum, sie spielen daher in der mathematischen Beschreibung der Quantenmechanik eine Rolle. C*-Algebren sind spezielle Banachalgebren, bei denen ein enger Zusammenhang zwischen algebraischen und topologischen Eigenschaften besteht; die Kategorie der lokalkompakten Räume erweist sich als äquivalent zur Kategorie der kommutativen C*-Algebren, daher wird die Theorie der C*-Algebren auch als nichtkommutative Topologie angesehen.

Inhaltsverzeichnis

Definition und Eigenschaften

Eine C*-Algebra A ist eine involutive Banachalgebra, bei der die Norm zusätzlich die C*-Eigenschaft besitzt:

\|a^*a\|=\|a\|^2 für alle a \in A.

Man spricht von einer kommutativen C*-Algebra, wenn die Multiplikation kommutativ ist.

Aus der C*-Eigenschaft folgt automatisch, dass die Involution isometrisch ist, also \|a^*\|=\|a\| für alle a \in A gilt.

Die meisten Autoren verstehen unter einer C*-Algebra stets eine \C-Banachalgebra und schreiben genauer reelle C*-Algebra, wenn auch \R-Banachalgebren zugelassen sind.

Standardbeispiele; die Sätze von Gelfand-Neumark und von Gelfand-Neumark-Segal

Das bekannteste Beispiel einer C*-Algebra ist die Algebra B(H) der beschränkten linearen Operatoren auf einem Hilbertraum H und allgemeiner jede in der Normtopologie abgeschlossene selbstadjungierte Unteralgebra von B(H). Umgekehrt besitzt nach dem Satz von Gelfand-Neumark-Segal jede C*-Algebra diese Form, ist also zu einer normabgeschlossenen selbstadjungierten Unteralgebra eines B(H) isomorph.

Die komplexwertigen, stetigen und im Unendlichen verschwindenden Funktionen auf einem lokalkompakten Hausdorffraum X bilden bezüglich der Supremumsnorm und der komplexen Konjugation eine kommutative C*-Algebra C0(X). Der Satz von Gelfand-Neumark besagt, dass jede kommutative C*-Algebra zu einer solchen Algebra von Funktionen isomorph ist.

Weitere Eigenschaften von C*-Algebren

Homomorphismen zwischen C*-Algebren

Sind A und B C*-Algebren, dann heißt eine Abbildung \varphi \colon A \to B *-Homomorphismus, falls sie linear, multiplikativ und mit der Involution verträglich ist.

Jeder *-Homomorphismus φ ist kontrahierend, das heißt, es gilt \|\varphi(a)\| \leq \|a\| für beliebiges a \in A, und daher insbesondere stetig.

Injektive *-Homomorphismen φ sind automatisch isometrisch, das heißt, es gilt \|\varphi(a)\| = \|a\| für beliebiges a \in A.

Endlichdimensionale C*-Algebren

Die Algebren der komplexen n \times n-Matrizen Mn, die mit den linearen Operatoren auf \mathbb{C}^n identifiziert werden können, bilden mit der Operatornorm eine C*-Algebra. Man kann zeigen, dass jede endlichdimensionale C*-Algebra zu einer direkten Summe solcher Matrixalgebren isomorph ist.

Konstruktion neuer C*-Algebren aus vorgegebenen

  • Ein abgeschlossenes zweiseitiges Ideal ist automatisch bzgl. der Involution abgeschlossen und die Quotientenalgebra ist mit der Quotientennorm wieder eine C*-Algebra.
  • Aus einem C*-dynamischen System (A,G,α) lassen sich weitere C*-Algebren A\ltimes_\alpha G (verschränktes Produkt) und A\ltimes_{\alpha r} G (reduziertes verschränktes Produkt) konstruieren.

Einselemente

C*-Algebren müssen kein Einselement haben. Man kann aber stets ein Einselement adjungieren oder als Ersatz für ein fehlendes Einselement eine beschränkte Approximation der Eins verwenden, die es in jeder C*-Algebra gibt.

Hilbertraum-Darstellungen

Ist H ein Hilbertraum, so nennt man einen *-Homomorphismus A\rightarrow B(H) eine Hilbertraum-Darstellung oder einfach Darstellung von A. Die Theorie der Hilbertraum-Darstellungen ist ein wichtiges Instrument zur weitergehenden Untersuchung von C*-Algebren.

Weitere Beispiele von C*-Algebren

Historische Bemerkungen

Eine B*-Algebra ist nach Gelfand und Neumark (1943) eine involutive Banachalgebra A (mit Einselement 1) mit den zwei Eigenschaften

  1. \|a^*a\|=\|a\|^2 für alle a \in A,
  2. 1+a^*a\, ist für jedes a \in A invertierbar.

Eine C*-Algebra wurde als eine normabgeschlossene und bzgl. der Involution abgeschlossene Unteralgebra der Algebra der Operatoren auf einem Hilbertraum definiert. Gelfand und Neumark konnten dann zeigen, dass jede B*-Algebra eine C*-Algebra ist. Die bereits von ihnen vermutete Redundanz der zweiten Bedingung konnte erst in den 1950er Jahren von M. Fukamiya und I. Kaplansky gezeigt werden. Der Begriff B*-Algebra als eine abstrakt definierte (d.h. nicht auf einem Hilbertraum dargestellte) Algebra ist durch den Satz von Gelfand-Neumark entbehrlich geworden, weshalb man den Begriff B*-Algebra nur noch in älterer Literatur finden kann.

Die C*-Bedingung \|a^*a\|=\|a\|^2 für alle a \in A konnte in den 1960er Jahren weiter zu \|a^*a\|=\|a^*\|\|a\| für alle a \in A abgeschwächt werden, was sich aus dem Satz von Vidav-Palmer, der seinerseits die C*-Algebren unter allen Banachalgebren charakterisiert, herleiten lässt. Diese Abschwächung der C*-Bedingung spielt in der Theorie der C*-Algebren allerdings keine besondere Rolle.

Literatur

  • W. Arveson: Invitation to C*-algebras, ISBN 0387901760
  • J. Dixmier: Les C*-algèbres et leurs représentations, Gauthier-Villars, 1969
  • R.V. Kadison, J. R. Ringrose: Fundamentals of the Theory of Operator Algebras, 1983, ISBN 0123933013
  • Gert K. Pedersen: C*-Algebras and Their Automorphism Groups, Academic Press Inc. (1979), ISBN 0125494505
  • M. Takesaki, Theory of Operator Algebras I (Springer 1979, 2002)

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Algebra tiles — Algebra tiles are known as mathematical manipulatives that allow students to better understand ways of algebraic thinking and the concepts of algebra. These tiles have proven to provide concrete models for elementary school, middle school, high …   Wikipedia

  • Algebra (Struktur) — Algebra über einem Körper berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Algebraische Struktur Vektorraum …   Deutsch Wikipedia

  • Álgebra de Boole — (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se… …   Wikipedia Español

  • Algebra (disambiguation) — Algebra is a branch of mathematics.Algebra may also mean: * elementary algebra * abstract algebra * linear algebra * universal algebra * computer algebraIn addition, many mathematical objects are known as algebras. * In logic: ** Boolean algebra… …   Wikipedia

  • Algebra (Begriffsklärung) — Algebra bezeichnet in der Mathematik: Algebra, ein Teilgebiet der Mathematik mit den weiteren Teilgebieten Elementare Algebra Abstrakte Algebra Lineare Algebra Kommutative Algebra Universelle Algebra Computeralgebra Außerdem bezeichnet man mit… …   Deutsch Wikipedia

  • Algebra Blessett — Algebra (chanteuse) Algebra Nom Algebra Felicia Blessett Naissance 1976 à Atlanta, Géorgie (États Unis) Pays d’origine …   Wikipédia en Français

  • Álgebra de Baldor — Álgebra Portada del libro Álgebra, de Aurelio Baldor Autor Aurelio Baldor …   Wikipedia Español

  • algebră — ALGÉBRĂ s.f. 1. Teorie a operaţiilor privind numerele reale (pozitive ori negative) sau complexe şi rezolvarea ecuaţiilor prin substituirea prin litere a valorilor numerice şi a formulei generale de calcul numeric particular. ♦ Manual şcolar care …   Dicționar Român

  • Algebra (chanteuse) — Algebra Nom Algebra Felicia Blessett Naissance 1976 à Atlanta, Géorgie (États Unis) Pays d’origine Etats Unis Activ …   Wikipédia en Français

  • Algebra — (fra Arabisk al djebr ) er en gren af matematikken der kan beskrives som en genralisering og udvidelse af aritmetikken. Man kan lave en grov inddeling af algebra i disse felter: 10 Elementær algebra hvor man ser på egenskaberne ved de reelle tal …   Danske encyklopædi

  • Algebra — Sf Lehre von den mathematischen Gleichungen (usw.) erw. fach. (15. Jh.) Entlehnung. Entlehnt aus ml. algebra, das seinerseits auf arab. al ǧabr zurückgeht. Dieses ist Teil des Titels eines Lehrbuchs des arabischen Mathematikers Al Ḫwārizmī (9. Jh …   Etymologisches Wörterbuch der deutschen sprache

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”