C*-özdeşliği neyi ifade etmektedir?

Bir elemanın normunun, eşleniğiyle (adjoint) çarpımının elemanın normunun karesine eşit olduğu özdeşlik, cebirsel involüsyonu norma o kadar sıkı bir şekilde bağlamaktadır ki, soyut cebir bir Hilbert uzayındaki operatörler gibi davranmaya zorlanmaktadır.

Değişmeli C*-cebirleri neden sadece fonksiyon cebirleridir?

Gelfand kuramı, değişmeli bir C*-cebirinin spektrumundaki sürekli fonksiyonların cebiri olduğunu göstermektedir; bu nedenle değişmeli operatör cebiri klasik topoloji ve fonksiyon kuramına indirgenirken, değişmeli olmama durumu gerçek kuantum özelliğidir.

C*-Cebirleri

Bir C*-cebiri, eşlenik (adjoint) altında kapalı ve bir uyumluluk özdeşliğini sağlayan bir normda tam olan bir operatör cebiridir; bu, bir Hilbert uzayındaki sınırlı operatörlerin cebirsel yapısını soyutlamaktadır.

PaperMind ile konu bulYakındaMakale ve konu bul

Tools & resources

Slaytları indir

Learn & explore

VideoYakında

Tanım

Bir C*-cebiri, bir elemanın ve eşleniğinin (adjoint) çarpımının normunun, elemanın normunun karesine eşit olduğu bir involüsyon (involution) ile donatılmış karmaşık bir Banach cebiridir; bu tek özdeşlik, soyut cebirin bir Hilbert uzayındaki operatörler gibi davranmasını sağlamaktadır.

Kapsam

Bu konu, Banach ve C*-cebiri aksiyomlarını ve C*-özdeşliğini, değişmeli C*-cebirlerinin bir kompakt uzay üzerindeki sürekli fonksiyonlar olarak spektrumunu ve Gelfand kuramını, sürekli fonksiyonel kalkülüsü, pozitifliği ve durumları (states), Gelfand-Naimark-Segal yapısını, Gelfand-Naimark temsil teoremini ve zayıf kapalı operatör cebirleri olarak von Neumann cebirlerini kapsamaktadır.

Temel sorular

Hangi cebirsel ve analitik aksiyomlar operatör cebirlerinin yapısını yakalamaktadır?
Gelfand kuramı, değişmeli bir C*-cebirini bir uzay üzerindeki sürekli fonksiyonlarla nasıl özdeşleştirmektedir?
Her soyut C*-cebiri, bir Hilbert uzayındaki operatörler olarak somut bir şekilde nasıl gerçekleştirilmektedir?
Durumlar (states) ve GNS yapısı, cebiri temsillerle nasıl bağlamaktadır?

Temel kuramlar

Değişmeli cebirler için Gelfand-Naimark teoremi: Birime sahip her değişmeli C*-cebiri, spektrumundaki sürekli fonksiyonların cebirine izometrik olarak izomorfiktir; bu spektrum kompakt bir uzay olup, değişmeli operatör cebirini sıradan fonksiyon kuramına dönüştürmektedir.
Gelfand-Naimark-Segal yapısı ve temsil teoremi: Bir C*-cebiri üzerindeki her durum (state), bir Hilbert uzayında bir temsil üretmekte olup, bunlar birlikte herhangi bir C*-cebirinin, operatörlerin norm-kapalı bir cebirine izometrik olarak izomorfik olduğunu göstermekte ve soyut kuramın temelini atmaktadır.

Klinik önem

C*-cebirleri, gözlemlenebilirlerin bir cebir oluşturduğu ve durumların (states) pozitif fonksiyoneller olduğu kuantum kuramı ve kuantum istatistiksel mekaniği için cebirsel bir çerçeve sunmaktadır; von Neumann cebirleri kuantum simetrilerini sınıflandırmakta olup, bu konu değişmeli olmayan geometri ve fiziğe operatör-cebirsel yaklaşımların analitik temelini oluşturmaktadır.

Tarihçe

Murray ve von Neumann, günümüzde von Neumann cebirleri olarak bilinen operatör halkaları kuramını 1936'dan itibaren bir dizi makalede kurmuşlardır. Gelfand ve Naimark, C*-cebirlerini aksiyomatize etmiş ve 1943'te temsil teoremlerini kanıtlayarak soyut konuyu tesis etmişlerdir.

Öne çıkan isimler

Israel Gelfand
Mark Naimark
John von Neumann

İlgili konular

Temel eserler

pedersen1989
murphy1990

Sıkça sorulan sorular

C*-özdeşliği neyi ifade etmektedir?: Bir elemanın normunun, eşleniğiyle (adjoint) çarpımının elemanın normunun karesine eşit olduğu özdeşlik, cebirsel involüsyonu norma o kadar sıkı bir şekilde bağlamaktadır ki, soyut cebir bir Hilbert uzayındaki operatörler gibi davranmaya zorlanmaktadır.
Değişmeli C*-cebirleri neden sadece fonksiyon cebirleridir?: Gelfand kuramı, değişmeli bir C*-cebirinin spektrumundaki sürekli fonksiyonların cebiri olduğunu göstermektedir; bu nedenle değişmeli operatör cebiri klasik topoloji ve fonksiyon kuramına indirgenirken, değişmeli olmama durumu gerçek kuantum özelliğidir.