Aljabar C*

Aljabar C* adalah aljabar operator yang tertutup di bawah adjoin dan lengkap dalam norma yang memenuhi identitas kompatibilitas; ini mengabstraksi struktur aljabar operator terbatas pada ruang Hilbert.

Definition

Aljabar C* adalah aljabar Banach kompleks yang dilengkapi dengan involusi sedemikian rupa sehingga norma produk suatu elemen dan adjoinnya sama dengan kuadrat norma elemen tersebut; identitas tunggal ini membuat aljabar abstrak berperilaku seperti operator pada ruang Hilbert.

Scope

Topik ini mencakup aksioma aljabar Banach dan C* serta identitas C*, spektrum dan teori Gelfand dari aljabar C* komutatif sebagai fungsi kontinu pada ruang kompak, kalkulus fungsional kontinu, kepositifan dan keadaan, konstruksi Gelfand-Naimark-Segal, teorema representasi Gelfand-Naimark, dan aljabar von Neumann sebagai aljabar operator yang tertutup secara lemah.

Core questions

• Aksioma aljabar dan analitik apa yang menangkap struktur aljabar operator?
• Bagaimana teori Gelfand mengidentifikasi aljabar C* komutatif dengan fungsi kontinu pada suatu ruang?
• Bagaimana setiap aljabar C* abstrak direalisasikan secara konkret sebagai operator pada ruang Hilbert?
• Bagaimana keadaan dan konstruksi GNS menghubungkan aljabar dengan representasi?

Key theories

Teorema Gelfand-Naimark untuk aljabar komutatif

Setiap aljabar C* komutatif dengan unit adalah isomorfik secara isometrik dengan aljabar fungsi kontinu pada spektrumnya, sebuah ruang kompak, mengubah aljabar operator komutatif menjadi teori fungsi biasa.

Konstruksi Gelfand-Naimark-Segal dan teorema representasi

Setiap keadaan pada aljabar C* menghasilkan representasi pada ruang Hilbert, dan bersama-sama ini menunjukkan bahwa setiap aljabar C* adalah isomorfik secara isometrik dengan aljabar operator yang tertutup secara norma, mendasari teori abstrak.

Clinical relevance

Aljabar C* menyediakan kerangka aljabar untuk teori kuantum dan mekanika statistik kuantum, di mana observabel membentuk aljabar dan keadaan adalah fungsional positif; aljabar von Neumann mengklasifikasikan simetri kuantum, dan subjek ini merupakan fondasi analitik geometri nonkomutatif dan pendekatan aljabar operator terhadap fisika.

History

Murray dan von Neumann mendirikan teori gelanggang operator, yang sekarang disebut aljabar von Neumann, dalam serangkaian makalah mulai tahun 1936. Gelfand dan Naimark mengaksiomatisasi aljabar C* dan membuktikan teorema representasi mereka pada tahun 1943, membangun subjek abstrak ini.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

Apa yang diungkapkan oleh identitas C*?

Identitas bahwa norma suatu elemen dikalikan adjoinnya sama dengan kuadrat norma elemen tersebut mengikat involusi aljabar dengan norma sedemikian rupa sehingga aljabar abstrak dipaksa untuk berperilaku persis seperti operator pada ruang Hilbert.

Mengapa aljabar C* komutatif hanyalah aljabar fungsi?

Teori Gelfand menunjukkan bahwa aljabar C* komutatif adalah aljabar fungsi kontinu pada spektrumnya, sehingga aljabar operator komutatif direduksi menjadi topologi klasik dan teori fungsi, sementara nonkomutativitas adalah fitur kuantum yang sebenarnya.