Yilda funktsional tahlil, har bir C*-algebra C subalgebra uchun izomorfdir*-algebra 
 ning chegaralangan chiziqli operatorlar ba'zilarida Hilbert maydoni H. Ushbu maqola spektral nazariyani tavsiflaydi yopiq normal[ajratish kerak] subalgebralar ning 
Shaxsni aniqlash
Davomida, H sobit Hilbert maydoni.
A proektsiyaga oid o'lchov a o'lchanadigan joy 
 qayerda 
 a b-algebra ning pastki to'plamlari 
 a xaritalash 
 hamma uchun shunday 
 
 a o'zini o'zi bog'laydigan proektsiya kuni H (ya'ni 
 - chegaralangan chiziqli operator 
 bu qondiradi 
 va 
) shu kabi

(qayerda 
 ning identifikatori operatoridir H) va har bir kishi uchun x va y yilda H, funktsiyasi 
 tomonidan belgilanadi 
 a murakkab o'lchov kuni 
 (ya'ni murakkab qiymatga ega) sezilarli darajada qo'shimcha funktsiya).
A shaxsni aniqlash a o'lchanadigan joy 
 funktsiya 
 har bir kishi uchun shunday 
:
;
;- har bir kishi uchun 
 
 a o'zini o'zi bog'laydigan proektsiya kuni H; - har bir kishi uchun x va y yilda H, xarita 
 tomonidan belgilanadi 
 bo'yicha murakkab o'lchovdir 
; 
;- agar 
 keyin 
; 
Agar 
 bo'ladi 
- barcha Borellar algebrasi Hausdorff mahalliy ixcham (yoki ixcham) bo'shliqqa o'rnatiladi, keyin quyidagi qo'shimcha talab qo'shiladi:
- har bir kishi uchun x va y yilda H, xarita 
 a muntazam Borel o'lchovi (bu ixcham metrik bo'shliqlarda avtomatik ravishda qondiriladi). 
2, 3 va 4-shartlar shuni anglatadi 
 proektsiyada baholanadigan o'lchovdir.
Xususiyatlari
Butun davomida, ruxsat bering 
 shaxsning aniqligi bo'lishi. Barcha uchun x yilda H, 
 ijobiy chora hisoblanadi 
 umumiy o'zgarish bilan 
 va bu qondiradi 
 Barcha uchun 
Har bir kishi uchun 
:
 (chunki ikkalasi ham tengdir 
).- Agar 
 keyin xaritalar oralig'i 
 va 
 bir-biriga ortogonal va 
 
 cheklangan qo'shimchalar.- Agar 
 ning juft ajratuvchi elementlari 
 kimning birlashmasi 
 va agar 
 Barcha uchun men keyin 
 - Biroq, 
 bu hisoblash uchun endi ta'riflanganidek, shunchaki ahamiyatsiz vaziyatlarda qo'shimchalar: deylik 
 ning juft ajratuvchi elementlari 
 kimning birlashmasi 
 va qisman yig'indilar 
 ga yaqinlashmoq 
 yilda 
 (uning normasi topologiyasi bilan) kabi 
; u holda har qanday proektsiyaning normasi ham 0 yoki 
 qisman yig'indilar Koshi ketma-ketligini hosil qila olmaydi, agar ularning barchasi, ammo ko'plari 
 bor 0. 
- Har qanday sobit uchun x yilda H, xarita 
 tomonidan belgilanadi 
 sezilarli darajada qo'shimchalar H- baholangan o'lchov 
- Bu yerda sezilarli darajada qo'shimcha har doim degani 
 ning juft ajratuvchi elementlari 
 kimning birlashmasi 
 keyin qisman yig'indilar 
 ga yaqinlashmoq 
 yilda H. Qisqacha aytganda, 
 
 
L∞(π) - mohiyatan chegaralangan funktsiya maydoni
The 
 shaxsning aniqligi to'g'risida qaror bo'lishi 
Aslida chegaralangan funktsiyalar
Aytaylik 
 murakkab qiymatga ega 
- o'lchovli funktsiya. Noyob eng katta ochiq to'plam mavjud 
 ning 
 (kichik to'plamga kiritilgan buyurtma) shunday 
 Buning sababini bilish uchun ruxsat bering 
 uchun asos bo'lishi 
topologiyasi ochiq disklardan tashkil topgan va buni taxmin qiling 
 shunday to'plamlardan tashkil topgan (ehtimol cheklangan) keyingi qismdir 
; keyin 
 E'tibor bering, xususan, agar D. ning ochiq pastki qismi 
 shu kabi 
 keyin 
 Shuning uchun; ... uchun; ... natijasida 
 (garchi buning boshqa usullari mavjud bo'lsa ham) 
 tenglashishi mumkin 0). Haqiqatdan ham, 
The muhim diapazon ning f ning to‘ldiruvchisi sifatida aniqlanadi 
 Bu eng kichik yopiq kichik qism 
 o'z ichiga oladi 
 deyarli barchasi uchun 
 (ya'ni hamma uchun 
 ba'zi to'plamdagilar bundan mustasno 
 shu kabi 
). Asosiy diapazon yopiq kichik to'plamdir 
 shuning uchun agar u ham cheklangan kichik to'plam bo'lsa 
 keyin u ixchamdir. 
Funktsiya f bu mohiyatan chegaralangan agar uning muhim diapazoni chegaralangan bo'lsa, u holda uni aniqlang muhim supremum, bilan belgilanadi 
 hammaning supremumi bo'lish 
 kabi 
 ning muhim doirasi bo'yicha f.
Asosan chegaralangan funktsiyalar maydoni
Ruxsat bering 
 barcha chegaralangan kompleksning vektor maydoni bo'lishi 
-o'lchanadigan funktsiyalar 
 tomonidan o'rnatilganda Banach algebrasiga aylanadi 
 Funktsiya 
 a seminar kuni 
 lekin shart emas. Ushbu seminarning yadrosi, 
 ning vektor subspace hisoblanadi 
 bu Banach algebrasining yopiq ikki tomonlama idealidir 
 Shuning uchun 
 tomonidan 
 shuningdek, Banach algebrasi, bilan belgilanadi 
 bu erda har qanday elementning normasi 
 ga teng 
 (agar shunday bo'lsa) 
 keyin 
) va bu norma qiladi 
 Banach algebrasiga. Spektri 
 yilda 
 ning muhim doirasi f. Ushbu maqola odatdagi yozish amaliyotiga amal qiladi f dan ko'ra 
 elementlarini ifodalash 
Teorema — Ruxsat bering 
 shaxsning aniqligi to'g'risida qaror bo'lishi 
 Yopiq oddiy subalgebra mavjud A ning 
 va izometrik *-izomorfizm 
 quyidagi xususiyatlarni qondirish:
 Barcha uchun x va y yilda H va 
 bu yozuvni oqlaydi 
;
 Barcha uchun 
 va 
;- operator 
 ning har bir elementi bilan qatnov 
 va agar u har bir elementi bilan ishlasa 
 - agar f ga teng oddiy funktsiya 
 qayerda 
 ning bo'limi X va 
 murakkab sonlar, keyin 
 (Bu yerga 
 xarakterli funktsiya); - agar f chegara hisoblanadi (normasida 
) oddiy funktsiyalar ketma-ketligi 
 yilda 
 keyin 
 ga yaqinlashadi
 yilda 
 va 
; 
 har bir kishi uchun 
Spektral teorema
Banach algebrasining maksimal ideal maydoni A barcha murakkab gomomorfizmlarning to'plamidir 
 biz buni belgilaymiz 
 Har bir kishi uchun T yilda A, ning Gelfand konvertatsiyasi T xarita 
 tomonidan belgilanadi 
 
 har birining eng zaif topologiyasi berilgan 
 davomiy. Ushbu topologiya bilan, 
 ixcham Hausdorff maydoni va har biri T yilda A, G (T) tegishli 
 uzluksiz kompleks qiymatli funktsiyalar maydoni 
 Oralig'i 
 spektrdir 
 va spektral radiusi unga teng 
 qaysi 
Teorema — Aytaylik A ning yopiq normal subalgebra hisoblanadi 
 identifikator operatorini o'z ichiga olgan 
 va ruxsat bering 
 ning maksimal ideal maydoni bo'lishi A. Ruxsat bering 
 ning Borel kichik to'plamlari bo'ling 
 Har bir kishi uchun T yilda A, ruxsat bering 
 ning Gelfand konvertatsiyasini bildiradi T Shuning uchun; ... uchun; ... natijasida G bu in'ektsiya xaritasi 
 Shaxsiyatning o'ziga xos aniqligi mavjud 
 bu quyidagilarni qondiradi:
 Barcha uchun 
 va barchasi 
;
yozuv 
 ushbu holatni umumlashtirish uchun ishlatiladi. Ruxsat bering 
 Gelfand konvertatsiyasiga teskari bo'ling 
 qayerda 
 ning subspace sifatida kanonik ravishda aniqlanishi mumkin 
 Ruxsat bering B yopilish bo'lishi kerak (normaning topologiyasida 
) ning chiziqli oralig'i 
 Keyin quyidagilar to'g'ri:
- B ning yopiq subalgebra hisoblanadi 
 o'z ichiga olgan A; - U erda (chiziqli multiplikativ) izometrik mavjud *-izomorfizm 
 kengaytirish 
 shu kabi 
 Barcha uchun 
; - Eslatib o'tamiz 
 shuni anglatadiki 
 Barcha uchun 
; - Shunga alohida e'tibor bering 
 Barcha uchun 
; - Aniq, 
 qondiradi 
 va 
 har bir kishi uchun 
 (agar shunday bo'lsa) f u holda haqiqiy qadrlanadi 
 o'z-o'zidan bog'langan); 
 - Agar 
 ochiq va bo'sh (bu shuni anglatadiki) 
) keyin 
;  - Chegaralangan chiziqli operator 
 ning har bir elementi bilan qatnov A va agar u har bir elementi bilan ishlasa 
 
Yuqoridagi natija bitta oddiy chegaralangan operatorga ixtisoslashtirilishi mumkin.
Shuningdek qarang
Adabiyotlar
 | 
|---|
| Bo'shliqlar |  | 
|---|
| Teoremalar |  | 
|---|
| Operatorlar |  | 
|---|
| Algebralar |  | 
|---|
| Ochiq muammolar |  | 
|---|
| Ilovalar |  | 
|---|
| Murakkab mavzular |  | 
|---|
 | 
|---|
| Asosiy tushunchalar |  | 
|---|
| Asosiy natijalar |  | 
|---|
| Maxsus elementlar / operatorlar |  | 
|---|
| Spektr |  | 
|---|
| Spektrning parchalanishi |  | 
|---|
| Spektral teorema |  | 
|---|
| Maxsus algebralar |  | 
|---|
| Sonlu o'lchovli |  | 
|---|
| Umumlashtirish |  | 
|---|
| Turli xil |  | 
|---|
| Misollar |  | 
|---|
| Ilovalar |  | 
|---|