Cuntz cebir - Cuntz algebra - Wikipedia

Matematikte Cuntz cebiri ${ displaystyle { mathcal {O}} _ {n}}$, adını Joachim Cuntz, evrensel C * -algebra tarafından oluşturuldu ${ displaystyle n}$ izometriler sonsuz boyutlu Hilbert uzayı ${ displaystyle { mathcal {H}}}$ belirli ilişkileri tatmin etmek.^[1] Bu cebirler, ilk somut örnekler olarak tanıtıldı. ayrılabilir Hilbert uzayı anlamında sonsuz basit C * -algebra, ${ displaystyle { mathcal {O}} _ {n}}$ izometrik sıra alanı

${ displaystyle l ^ {2} ( mathbb {N})}$

ve önemsiz kapalı idealleri yoktur. Bu cebirler, herhangi bir verili cebir için, basit sonsuz C *-cebirlerinin incelenmesi için temeldir. n, bir alt cebir olan ${ displaystyle { mathcal {O}} _ {n}}$ bölüm olarak.

Tanımlar

İzin Vermek n ≥ 2 ve ${ displaystyle { mathcal {H}}}$ olmak ayrılabilir Hilbert uzayı. Yi hesaba kat C * -algebra ${ displaystyle { mathcal {A}}}$ bir set tarafından oluşturuldu

${ displaystyle {S_ {i} } _ {i = 1} ^ {n}}$

nın-nin izometriler (yani ${ displaystyle S_ {i} ^ {*} S_ {i} = 1}$) üzerinde hareket etmek ${ displaystyle { mathcal {H}}}$ doyurucu

${ displaystyle toplam _ {i = 1} ^ {n} S_ {i} S_ {i} ^ {*} = I.}$

Bu evrensel C * -algebra, Cuntz cebiriile gösterilir ${ displaystyle { mathcal {O}} _ {n}}$.

Bir basit C * -algebra olduğu söyleniyor tamamen sonsuz eğer her biri kalıtsal C * -alt cebir sonsuzdur. ${ displaystyle { mathcal {O}} _ {n}}$ ayrılabilir, basit, tamamen sonsuz bir C *-cebirdir. Herhangi bir basit sonsuz C *-cebir, bir alt cebir içerir. ${ displaystyle { mathcal {O}} _ {n}}$ bölüm olarak.

Özellikleri

Sınıflandırma

Cuntz cebirleri çift olarak izomorfik değildir, yani ${ displaystyle { mathcal {O}} _ {n}}$ ve ${ displaystyle { mathcal {O}} _ {m}}$ izomorfik değildir n ≠ m. K₀ grubu ${ displaystyle { mathcal {O}} _ {n}}$ dır-dir ${ displaystyle mathbb {Z} / n}$, döngüsel grup düzenin n - 1. O zamandan beri K₀ bir functor, ${ displaystyle { mathcal {O}} _ {n}}$ ve ${ displaystyle { mathcal {O}} _ {m}}$ izomorfik değildir.

Beton C * -alebralar ve evrensel C *-cebir arasındaki ilişki

Teorem. Beton C * -algebra ${ displaystyle { mathcal {A}}}$ evrensel C *-cebir için izomorfiktir ${ displaystyle { mathcal {L}}}$ tarafından oluşturuldu n jeneratörler s₁... s_n ilişkilere tabi s_ben* s_ben = 1 hepsi için ben ve ∑ s_bens_ben* = 1.

Teoremin kanıtı şu gerçeğe dayanır: herhangi bir C * -algebra tarafından üretilen n izometriler s₁... s_n ortogonal aralıklarla, UHF cebiri ${ displaystyle { mathcal {F}}}$ tip n^∞. Yani ${ displaystyle { mathcal {F}}}$ formdaki kelimelerle yayılır

${ displaystyle s_ {i_ {1}} cdots s_ {i_ {k}} s_ {j_ {1}} ^ {*} cdots s_ {j_ {k}} ^ {*}, k geq 0.}$

* Alt cebir ${ displaystyle { mathcal {F}}}$, olmak yaklaşık sonlu boyutlu, benzersiz bir C * -normuna sahiptir. Alt cebir ${ displaystyle { mathcal {F}}}$ uzay rolünü oynar Fourier katsayıları cebirin unsurları için. Cuntz'dan kaynaklanan önemli bir teknik lemma, cebirdeki bir öğenin ancak ve ancak tüm Fourier katsayılarının yok olması durumunda sıfır olmasıdır. Bunu kullanarak, bölüm haritasının ${ displaystyle { mathcal {L}}}$ -e ${ displaystyle { mathcal {A}}}$ teoremi kanıtlayan enjekte edicidir.

UHF cebiri ${ displaystyle { mathcal {F}}}$ ünital olmayan bir alt cebire sahip ${ displaystyle { mathcal {F}} '}$ bu kanonik olarak izomorfiktir ${ displaystyle { mathcal {F}}}$ kendisi: M'de_n direkt sistem tanımlama aşaması ${ displaystyle { mathcal {F}}}$sıra 1 projeksiyonunu düşünün e₁₁, sol üst köşede 1 ve başka yerde sıfır olan matris. Bu projeksiyonu doğrudan sisteme yayın. M'de_n^k direkt sistemin aşaması, birinin bir sıralaması var n^{k - 1} projeksiyon. İçinde direkt limit, bu bir projeksiyon verir P içinde ${ displaystyle { mathcal {F}}}$. Köşe

${ displaystyle P { mathcal {F}} P = { mathcal {F '}}}$

izomorfiktir ${ displaystyle { mathcal {F}}}$. Eşleşen * -endomorfizm Φ ${ displaystyle { mathcal {F}}}$ üstüne ${ displaystyle { mathcal {F}} '}$ izometri tarafından uygulanır s₁, yani Φ (·) = s₁(·)s₁*. ${ displaystyle ; { mathcal {O}} _ {n}}$aslında çapraz ürün nın-nin ${ displaystyle { mathcal {F}}}$ endomorfizm ile Φ.

Genellemeler

Cuntz cebirleri birçok yönden genelleştirilmiştir. Bunlar arasında dikkate değer olanlar Cuntz – Krieger cebirleri, grafik C * -algebralar ve k-grafiği C * -algebralar.

Uygulamalı matematik

İçinde sinyal işleme, bir alt bant filtresi tam yeniden yapılanma ile bir Cuntz cebirinin temsillerine yol açar. Aynı filtre aynı zamanda çoklu çözünürlük analizi inşaat dalgacık teori.^[2]

Ayrıca bakınız

• Yaklaşık sonlu boyutlu C * -algebra
• Hilbert C * -modülü

Referanslar