C*-algebra

C*-algebra (czyt. ce-gwiazdka-algebra; czasami algebra typu ce-gwiazdka) – zespolona algebra Banacha $A$ z dodatkowym działaniem inwolucji ${*}^{}:A\to A$ ($A$ jest więc *-algebrą), spełniającym warunek

(C*) $\Vert a^{*}a\Vert =\Vert a\Vert \Vert a^{*}\Vert (a\in A).$

Motywacją rozważania pojęcia C*-algebry była chęć aksjomatycznego ujęcia własności algebraicznych obserwabli w mechanice kwantowej. C*-algebry będące podalgebrami algebry operatorów ograniczonych na przestrzeni Hilberta pojawiły się w matematyce i fizyce matematycznej w latach 30. XX wieku.

Przykłady

• Niech $H$ będzie przestrzenią Hilberta. Algebra $ℬ(H)$ wszystkich operatorów liniowych i ograniczonych na $H$ ma strukturę algebry Banacha (normą w tej algebrze jest norma operatorowa). Operacja sprzężenia operatora $T\to T^{*}$ jest inwolucją na tej algebrze spełniającą warunek (C*), tj. algebra $ℬ(H)$ jest C*-algebrą. C*-algebra ta jest nieprzemienna, gdyż istnieją niekomutujące ze sobą operatory na przestrzeni Hilberta.
• Operatory zwarte na przestrzeni Hilberta $H$ tworzą domknięty ideał w algebrze $ℬ(H)$ (w szczególności, tworzą one domkniętą podalgebrę $ℬ(H)$). Algebra $K(H)$ operatorów zwartych jest zamknięta na inwolucję, a więc sama jest C*-algebrą. Identyczność na nieskończenie wymiarowej przestrzeni Hilberta nie jest operatorem zwartym, a więc algebra $K(H)$ nie ma jedynki.
• Niech $K$ będzie lokalnie zwartą przestrzenią Hausdorffa. W przestrzeni Banacha $C_0(K)$ złożonej z zespolonych funkcji ciągłych na $K$ i znikających w nieskończoności (normą w tej przestrzeni jest norma supremum) można wprowadzić działanie mnożenia określone punktowo oraz inwolucję, definiując $f^{*}(z)$ jako sprzężenie zespolone wartości $f(z)$ dla każdego punktu $z$ przestrzeni $K.$ Przestrzeń $C_0(K)$ z tak zadanymi działaniami mnożenia i inwolucji jest przemienną C*-algebrą. Algebra ta ma jedynkę wtedy i tylko wtedy, gdy przestrzeń $K$ jest zwarta (wówczas jej elementami są wszystkie zespolone funkcje ciągłe na $K;$ w tym przypadku używa się zwykle symbolu $C(K)$ zamiast $C_0(K)$). Przestrzeń ${\ell }_{\mathrm{\infty }}$ (z działaniami mnożenia i inwolucji zadanymi podobnie) jest również przemienną C*-algebrą. W szczególności, przestrzeń ${\ell }_{\mathrm{\infty }}$ jest izomorficzna z przestrzenią $C(\beta \omega ),$ gdzie $\beta \omega$ oznacza uzwarcenie Čecha-Stone’a zbioru liczb naturalnych z topologią dyskretną. Podobnie, przestrzeń c₀ jest algebrą postaci $C_0(K),$ gdzie $K$ jest zbiorem liczb naturalnych z topologią dyskretną.
• W przypadku gdy $A$ jest C*-algebrą oraz $M_n$ oznacza algebrę macierzy kwadratowych stopnia $n,$ to algebrę macierzy $M_n(A)$ o współczynnikach z algebry $A$ można w naturalny sposób wyposażyć w strukturę C*-algebry (por. podjednorodna C*-algebra).

Elementy normalne, samosprzężone i rzutowania

Pojęcia operatora normalnego, samosprzężonego, rzutu rozszerza się na elementy C*-algebr. Dokładniej, o elemencie $a$ C*-algebry $A$ mówi się, że jest

• normalny, gdy komutuje ze swoim sprzężeniem, tj. $a{a}^{*}=a^{*}a;$
• samosprzężony, gdy jest równy swojemu sprzężeniu, tj. $a=a^{*};$
• rzutem, gdy jest samosprzężony i idempotentny, tj. $a=a^{*}$ oraz $a^2=a.$

Klasyfikacja rzutów

Istnieje naturalna relacja równoważności w rodzinie rzutów danej C*-algebry $A.$ Dwa rzuty $p,q\in A$ są równoważne w sensie Murraya-von Neumanna (ozn. $p\sim q$), gdy istnieje taka częściowa izometria $v\in A,$ że $p=v^{*}v$ i $q=v{v}^{*}.$ Rzuty dzieli się na skończone i nieskończone. Rzut $p$ w C*-algebrze $A$ jest

• nieskończony, gdy $p\sim q$ dla pewnego właściwego rzutu $q\in A$ spełniającego $q⩽p,$
• skończony, gdy nie jest nieskończony.

Spośród rzutów nieskończonych wyróżnia się rzuty nieskończone w sposób właściwy, tj. takie rzuty $p,$ dla których istnieją takie dwa rzuty $p_1,p_2\in A,$ że $p_1{p}_2=0$ (wzajemna ortogonalność), $p_1+p_2⩽p$ oraz $p\sim p_1\sim p_2.$

Dla niezerowego rzutu $p\in A$ następujące warunki są równoważne:

1. $p$ jest nieskończony w sposób właściwy,
2. $p\oplus p⩽p,$
3. istnieją takie częściowe izometrie $s_1,s_2\in A,$ że $s_1^{*}{s}_1+s_2^{*}{s}_2=p$ oraz $s_1{s}_1^{*}+s_2{s}_2^{*}⩽p,$
4. obraz $p$ w dowolnej algebrze ilorazowej $A$ poprzez kanoniczny homomorfizm ilorazowy jest albo rzutem zerowym albo rzutem nieskończonym.

Przykładem rzutu, który jest nieskończony, ale nie jest nieskończony w sposób właściwy jest jedynka algebry Toepliza, tj. C*-algebry generowanej przez operator przesunięcia na ${\ell }_2(N).$

Elementy normalne i twierdzenie spektralne

Każdy element samosprzężony jest normalny. Twierdzenie spektralne rozszerza się na elementy C*-algebr i w swej najbardziej abstrakcyjnej formie mówi, że najmniejsza C*-algebra z jedynką generowana przez element normalny jest przemienna. Twierdzenie, to prowadzi do pojęcia ciągłego rachunku funkcyjnego dla elementu normalnego $a,$ tj. pozwala zdefiniować ściśle element $f(a),$ gdzie $f$ jest zespoloną funkcją ciągłą określoną na widmie $a.$

W przypadku gdy C*-algebra jest postaci $C_0(K),$ to jej rzutami są funkcje będące funkcjami charakterystycznymi domknięto-otwartych podzbiorów $K$ (jeżeli przestrzeń $K$ jest spójna i zwarta istnieją tylko dwa rzuty: funkcja stale równa 0 i funkcja stale równa 1).

Własności spektralne

• Promień spektralny elementu normalnego jest równy jego normie.
• W przypadku, gdy C*-algebra $A$ ma jedynkę, to widmo elementu odwracalnego w $A$ jest zawarte w okręgu jednostkowym.
• Element $a$ C*-algebry jest samosprzężony wtedy i tylko, gdy jego widmo zawarte jest w zbiorze liczb rzeczywistych.
• Jeżeli $A$ i $B$ są C*-algebrami, $A\subseteq B$ oraz algebry te mają wspólną jedynkę, to widmo elementu $a$ algebry $A$ (względem algebry $A$) jest takie samo jak jego widmo względem algebry $B.$ Innymi słowy, widmo $a$ nie zależy od C*-algebry, której jest on elementem.

Elementy unitarne, twierdzenie Russo-Dyego

Element $u$ C*-algebry $A$ (z jedynką 1) jest unitarny, gdy $u{u}^{*}=1$ (równoważnie, $u^{*}u=1,$ bądź $u^{*}=u^{-1}$). Elementy unitarne uogólniają w naturalny sposób pojęcie macierzy czy operatora unitarnego. Russo i Dye udowodnili następujące twierdzenie.

Twierdzenie Russo-Dyego: Niech $A$ będzie C*-algebrą z jedynką oraz $U$ niech będzie zbiorem elementów unitarnych w $A.$ Wówczas domknięta kula jednostkowa $B_A$ jest równa domknięciu otoczki wypukłej zbioru $U,$ tj.

$B_A=\overline{\mathrm{conv}}U.$

Poniższy, elementarny dowód pochodzi od L.T. Gardnera.

Dowód. Niech $x\in A$ oraz $\Vert x\Vert <1.$ Wystarczy uzasadnić, że $x$ należy do domknięcia zbioru $\mathrm{conv}U.$ To sprowadza się jednak do pokazania, iż dla każdego $u\in U$ element $y=(x+u)/2$ należy do domknięcia $\mathrm{conv}U.$ Rzeczywiście,

$y=[(x\cdot u^{-1}+1)/2]\cdot u.$

Ponieważ $\Vert x\cdot u^{-1}\Vert =\Vert x\Vert <1,$ więc element $(x\cdot u^{-1}+1)$ jest odwracalny, skąd również $y$ jest elementem odwracalnym. Element $y$ jest więc postaci $y=v|y|,$ gdzie $v$ jest pewnym elementem unitarnym oraz

$(y^{*}y{)}^{1/2}=|y|=(w+w^{*})/2,$

gdzie $w=|y|+i(1-|y{|}^2{)}^{1/2}$ jest również unitarne. Dowodzi, to że $B_A-U\subseteq U+U.$ Z powyższego wynika więc, że $U$ zawiera się w zbiorze $2\cdot \overline{\mathrm{conv}}-x,$ który jest domknięty i wypukły, a więc zawiera domknięcie $\mathrm{conv}U.$ Równoważnie,

$\frac{1}{2}(x+\overline{\mathrm{conv}}U)\subseteq \overline{\mathrm{conv}}U.$

Ciąg $(x_n{)}_{n=0}^{\mathrm{\infty }}$ elementów ze zbioru $\overline{\mathrm{conv}}U)$ można zadać rekurencyjnie: $x_0$ – dowolny element $U$ oraz $x_{n+1}=(x+x_n)/2;$ ciąg ten jest zbieżny do $x.$ $◻$

Dodatniość, stany

O operatorze $T$ na przestrzeni Hilberta mówi się, że jest dodatni (czasem ściślej: nieujemny), gdy dla każdego elementu $x$ z przestrzeni Hilberta spełniony jest warunek

$⟨Tx,x⟩⩾0.$

Dodatniość operatora $T$ jest równoważna istnieniu takiego operatora $S,$ że $T=S{S}^{*}.$ Właśnie tę definicję przenosi się na ogólne C*-algebry i definiuje się pojęcie elementu dodatniego w C*-algebrze $A$ jako takiego, który można przedstawić w postaci $a=b{b}^{*}$ dla pewnego elementu $b$ C*-algebry $A.$ Dla elementu $a$ C*-algebry następujące trzy warunki są równoważne:

1. $a$ jest elementem dodatnim;
2. widmo elementu $a$ zawiera się w nieujemnej półosi zbioru liczb rzeczywistych;
3. istnieje taki element samosprzężony $h$ w C*-algebrze $A,$ że $a=h^2.$

Zbiór elementów dodatnich w C*-algebrze tworzy stożek, oznaczany czasem symbolem $A_{+}.$ Stożek ten jest domknięty i wypukły oraz spełnia warunek $A_{+}\cap -A_{+}=\{0\}.$ W stożku $A_{+}$ definiuje się porządek częściowy warunkiem $a⩽b$ wtedy i tylko wtedy, gdy element $b-a$ jest dodatni.

Funkcjonał liniowy $\phi$ na C*-algebrze $A$ jest nazywany dodatnim, gdy dla każdego elementu dodatniego $a$ z $A$ spełniony jest warunek $\phi (a)⩾0.$ Funkcjonał dodatni jest automatycznie ciągły (ograniczony). Funkcjonał dodatni o normie równej 1 nazywany jest stanem. Stan różnowartościowy nazywany jest wiernym.

Funkcjonał dodatni $\phi$ na C*-algebrze $A$ spełnia następujące warunki dla dowolnych elementów $a,b$ z $A:$

1. $\phi (a^{*}b)=\overline{\phi (b^{*}a)};$
2. $|\phi (b^{*}a){|}^2⩽\phi (a^{*}a)\cdot \phi (b^{*}b).$

Powyższa nierówność jest więc pewną wersją nierówności Cauchy’ego-Schwarza. Założenie warunku (C*) nie jest tu istotne – te same własności mają funkcjonały dodatnie na dowolnych *-algebrach Banacha.

Reprezentacje

Szablon:Osobny artykuł Ważnym narzędziem w studiowaniu (abstrakcyjnych) C*-algebr są ich reprezentacje. Reprezentacją C*-algebry $A$ nazywa się parę $(H,\pi ),$ gdzie $H$ jest pewną przestrzenią Hilberta oraz $\pi :A\to ℬ(H)$ jest *-homomorfizmem (tj. homomorfizmem algebr zachowującym inwolucję; $\pi (a^{*})=(\pi (a){)}^{*}$ dla dowolnego $a\in A$) o wartościach w *-algebrze $ℬ(H)$ wszystkich ograniczonych operatorów liniowych na $H$ ($ℬ(H)$ z normą operatorową jest C*-algebrą). Szczególnie użyteczne okazują się reprezentacje o pewnych dodatkowych własnościach. I tak, o reprezentacji $(H,\pi )$ C*-algebry $A$ mówi się, że jest

• niezdegenerowana, gdy o ile tylko dla każdego $a\in A,$ $\xi$ jest takim elementem $H,$ że $\pi (a)\xi =0,$ to $\xi$ musi być wektorem zerowym;
• cykliczna, jeżeli istnieje taki element $\xi \in H,$ że zbiór $\{\pi (a)\xi :a\in A\}$ jest gęsty w $H$ (wektor $\xi$ nazywany jest wówczas wektorem cyklicznym reprezentacji $(H,\pi );$ każda reprezentacja cykliczna jest niezdegenrowana);
• wierna, gdy $\pi$ jest monomorfizmem, tj. jeżeli $\pi (a)=0,$ to $a=0;$
• nieprzywiedlna, gdy rodzina operatorów $\pi (A)=\{\pi (a):a\in A\}$ nie ma wspólnej, domkniętej, nietrywialnej (tj. różnej od $\{0\}$ i $H$) podprzestrzeni niezmienniczej.

Dla reprezentacji $\pi :A\to ℬ(H)$ następujące warunki są równoważne:

• $\pi$ jest nieprzywiedlna,
• $\pi (A{)}^{\prime }=\{cI:c$ jest liczbą zespoloną $\}$
• $\pi (A{)}^{″}=ℬ(H),$
• $\pi (A)$ jest gęste w $ℬ(H)$ w mocnej topologii operatorowej.

Istnieją dwa zasadnicze twierdzenia o reprezentacji C*-algebr:

• Twierdzenie Gelfanda-Najmarka mówi, że każda przemienna C*-algebra $A$ jest *-izomorficzna z C*-algebrą postaci $C_0(K)$ dla pewnej lokalnie-zwartej przestrzeni Hausdorffa $K.$ W istocie, przestrzeń $K$ jest przestrzenią Gelfanda C*-algebry $A$ (tj. transformata Gelfanda $\mathrm{\Gamma }:A\to C_0(K)$ jest epimorfizmem).
• Twierdzenie Gelfanda-Najmarka-Segala mówi, że każda C*-algebra $A$ ma wierną reprezentację na pewnej przestrzeni Hilberta $H;$ innymi słowy, każda C*-algebra jest *-izomorficzna z pewną pod-C*-algebrą algebry $ℬ(H)$ dla pewnej przestrzeni Hilberta $H.$

Aproksymowanie jedności, ideały, C*-algebry ilorazowe

Każda C*-algebra ma aproksymowalną jedność składającą się z elementów samosprzężonych, tj. w każdej C*-algebrze $A$ istnieje taki ciąg uogólniony $(e_{\alpha }{)}_{\alpha }$ złożony z elementów samosprzężonych $(e_{\alpha }^{*}=e_{\alpha }),$ że dla dowolnego $a\in A$ zachodzi

$\lim x{e}_{\alpha }=\lim e_{\alpha }x=x.$

Rozważanie aproksymowalnych jedności jest zasadne w C*-algebrach, które nie mają jedności (gdy $A$ ma jedność $e,$ można przyjąć $e_{\alpha }=e$). W przypadku, gdy $J$ jest domkniętym ideałem (obustronnym) w C*-algebrze $A,$ dla każdego elementu $x\in J$ istnieje taki ciąg $(f_n)$ elementów $J$ o następujących własnościach:

1. widmo każdego elementu $f_n$ zawarte jest w przedziale $[0,1];$
2. $\lim x{f}_n=x$

(gdy $A$ ma jedność, wystarczy zdefiniować $f_n,$ używając ciągłego rachunku funkcyjnego, wzorem $f_n=n{x}^2(e+n{x}^2{)}^{-1}$).

Używając tego faktu dowodzi się, że

Domknięte ideały w C*-algebrach są zamknięte ze względu na inwolucję. Innymi słowy, same są C*-algebrami.

Jeżeli $J$ jest domkniętym ideałem w C*-algebrze $A$ oraz $(f_n{)}_n$ oraz $x\in J,$ to $x=\lim x{f}_n.$ Z drugiej strony, $x^{*}=\lim f_n{x}^{*},f_n{x}^{*}\in J$ oraz $J$ jest domknięty, więc $x^{*}\in J.$

Zamkniętość domkniętych ideałów na inwolucję pozwala wprowadzić w ilorazowej algebrze Banacha powstałej przez ilorazowanie C*-algebry $A$ przez domknięty ideał $J$ inwolucję wzorem: $[x{]}^{*}=[x^{*}](x\in A).$ Tak zadana inwolucja w $A/J$ spełnia warunek (C*).

C*-algebry mogą być ubogie w ideały obustronne. Skrajnymi przykładami mogą być C*-algebry proste (C*-algebra $A$ jest prosta, gdy nie ma ona innych ideałów obustronnych niż ideał trywialny $\{0\}$ oraz ideał niewłaściwy $A$). C*-algebry proste można konstruować jako C*-algebry ilorazowe $B/J,$ gdzie $B$ jest pewną C*-algebrą oraz $J$ jest jej ideałem maksymalnym. Przykładem jest algebra Calkina, tj. C*-algebra $ℬ(H)/𝐊(H),$ gdzie $H$ jest ośrodkową przestrzenią Hilberta, a $𝐊(H)$ oznacza ideał operatorów zwartych na $H.$ Algebra Calkina jest nieośrodkowa. Istnieją ośrodkowe C*-algebry proste, np. algebry Cuntza $O_n.$

Przeciwnie niż w przypadku ideałów obustronnych, C*-algebry mają zawsze nietrywialne ideały lewostronne. Jeżeli $\phi$ jest funkcjonałem dodatnim w C*-algebrze $A,$ to zbiór

$N_{\phi }=\{a\in A:\phi (a^{*}a)=0\}$

jest ideałem lewostronnym w $A.$ W C*-algebrze z jedynką każdy domknięty ideał lewostronny jest tej postaci (ogólniej, w dowolnej C*-algebrze każdy domknięty ideał modularny jest tej postaci).

Iloczyny tensorowe C*-algebr

Szablon:Osobny artykuł Niech $A$ i $B$ będą C*-algebrami. Algebraiczny iloczyn tensorowy $A\otimes B$ ma naturalną strukturę *-algebry. Każda norma $\Vert \cdot \Vert$ w $A\otimes B$ spełniająca warunek (C*) jest normą krzyżową przestrzeni Banacha, tj.

$\Vert x\otimes y\Vert =\Vert x{\Vert }_A\cdot \Vert y{\Vert }_B(x\in A,y\in B)$.

Projektywny iloczyn tensorowy ${\otimes }_{\pi }$ (przestrzeni Banacha) nie spełnia na ogół warunku (C*).

Bibliografia

• W. Arveson, An Invitation to C*-algebra, „Graduate Texts in Mathematics” No. 39. Springer-Verlag, 1976.
• J. Dixmier, C*-Algebras, North Holland 1977.
• H.G. Dales, Banach algebras and automatic continuity, Clarendon Press, Oxford, 2000.
• M. Takesaki, Theory of Operator Algebras I. Berlin-Heidelberg-New York, Springer-Verlag 1979. VII.

Linki zewnętrzne

• Szablon:Otwarty dostęp C*-algebra Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].