C*-แอลจีบรา

C*-แอลจีบรา คือแอลจีบราของตัวดำเนินการที่ปิดภายใต้แอดจอยต์และสมบูรณ์ในนอร์มที่สอดคล้องกับเอกลักษณ์ความเข้ากันได้ ซึ่งเป็นการสรุปโครงสร้างเชิงพีชคณิตของตัวดำเนินการที่มีขอบเขตบนปริภูมิฮิลเบิร์ต

Definition

C*-แอลจีบรา คือแอลจีบราบานาคเชิงซ้อนที่มาพร้อมกับการผกผัน (involution) โดยที่นอร์มของผลคูณของสมาชิกและแอดจอยต์ของมันเท่ากับกำลังสองของนอร์มของสมาชิกนั้น เอกลักษณ์เดียวนี้ทำให้แอลจีบรานามธรรมมีพฤติกรรมคล้ายกับตัวดำเนินการบนปริภูมิฮิลเบิร์ต

Scope

หัวข้อนี้ครอบคลุมสัจพจน์ของบานาคและ C*-แอลจีบราและเอกลักษณ์ C*-สเปกตรัมและทฤษฎีเกลฟานด์ของ C*-แอลจีบราแบบสลับที่ได้ในฐานะฟังก์ชันต่อเนื่องบนปริภูมิกระชับ แคลคูลัสเชิงฟังก์ชันต่อเนื่อง ความเป็นบวกและสถานะ การสร้างเกลฟานด์-ไนย์มาร์ก-เซกัล ทฤษฎีบทการแสดงแทนของเกลฟานด์-ไนย์มาร์ก และแอลจีบราของฟอน นอยมันน์ในฐานะแอลจีบราตัวดำเนินการที่ปิดอย่างอ่อน

Core questions

• สัจพจน์เชิงพีชคณิตและเชิงวิเคราะห์ใดที่สามารถจับโครงสร้างของแอลจีบราตัวดำเนินการได้?
• ทฤษฎีเกลฟานด์ระบุ C*-แอลจีบราแบบสลับที่ได้กับฟังก์ชันต่อเนื่องบนปริภูมิได้อย่างไร?
• C*-แอลจีบรานามธรรมทุกตัวถูกทำให้เป็นจริงอย่างเป็นรูปธรรมในฐานะตัวดำเนินการบนปริภูมิฮิลเบิร์ตได้อย่างไร?
• สถานะและการสร้าง GNS เชื่อมโยงแอลจีบรากับการแสดงแทนได้อย่างไร?

Key theories

ทฤษฎีบทเกลฟานด์-ไนย์มาร์กสำหรับแอลจีบราแบบสลับที่ได้

C*-แอลจีบราแบบสลับที่ได้ทุกตัวที่มีเอกลักษณ์จะสมสัณฐานแบบไอโซเมตริกกับแอลจีบราของฟังก์ชันต่อเนื่องบนสเปกตรัมของมัน ซึ่งเป็นปริภูมิกระชับ ทำให้แอลจีบราตัวดำเนินการแบบสลับที่ได้กลายเป็นทฤษฎีฟังก์ชันธรรมดา

การสร้างเกลฟานด์-ไนย์มาร์ก-เซกัลและทฤษฎีบทการแสดงแทน

ทุกสถานะบน C*-แอลจีบราจะให้การแสดงแทนบนปริภูมิฮิลเบิร์ต และสิ่งเหล่านี้ร่วมกันแสดงให้เห็นว่า C*-แอลจีบราใดๆ ก็ตามสมสัณฐานแบบไอโซเมตริกกับแอลจีบราของตัวดำเนินการที่ปิดด้วยนอร์ม ซึ่งเป็นรากฐานของทฤษฎีบทนามธรรม

Clinical relevance

C*-แอลจีบราเป็นกรอบเชิงพีชคณิตสำหรับทฤษฎีควอนตัมและกลศาสตร์สถิติควอนตัม ซึ่งตัวสังเกตการณ์ก่อตัวเป็นแอลจีบราและสถานะเป็นฟังก์ชันนัลบวก แอลจีบราของฟอน นอยมันน์จำแนกสมมาตรควอนตัม และหัวข้อนี้เป็นรากฐานเชิงวิเคราะห์ของเรขาคณิตไม่สลับที่และแนวทางเชิงแอลจีบราตัวดำเนินการในฟิสิกส์

History

เมอร์เรย์และฟอน นอยมันน์ได้ก่อตั้งทฤษฎีวงแหวนของตัวดำเนินการ ซึ่งปัจจุบันคือแอลจีบราของฟอน นอยมันน์ ในชุดบทความตั้งแต่ปี 1936 เกลฟานด์และไนย์มาร์กได้วางสัจพจน์ของ C*-แอลจีบราและพิสูจน์ทฤษฎีบทการแสดงแทนของพวกเขาในปี 1943 ซึ่งเป็นการสร้างสาขาวิชานามธรรมนี้ขึ้นมา

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

เอกลักษณ์ C*-แสดงออกถึงอะไร?

เอกลักษณ์ที่ว่านอร์มของสมาชิกคูณด้วยแอดจอยต์ของมันเท่ากับกำลังสองของนอร์มของสมาชิกนั้น เชื่อมโยงการผกผันเชิงพีชคณิตกับนอร์มอย่างแน่นหนา จนกระทั่งแอลจีบรานามธรรมถูกบังคับให้มีพฤติกรรมเหมือนกับตัวดำเนินการบนปริภูมิฮิลเบิร์ต

ทำไม C*-แอลจีบราแบบสลับที่ได้จึงเป็นเพียงแอลจีบราฟังก์ชัน?

ทฤษฎีเกลฟานด์แสดงให้เห็นว่า C*-แอลจีบราแบบสลับที่ได้คือแอลจีบราของฟังก์ชันต่อเนื่องบนสเปกตรัมของมัน ดังนั้นแอลจีบราตัวดำเนินการแบบสลับที่ได้จึงลดทอนลงเป็นทอพอโลยีคลาสสิกและทฤษฎีฟังก์ชัน ในขณะที่การไม่สลับที่ได้เป็นคุณสมบัติควอนตัมที่แท้จริง