Đại số C*

Đại số C* là một đại số các toán tử đóng dưới phép liên hợp và hoàn chỉnh trong một chuẩn thỏa mãn một đồng nhất thức tương thích; nó trừu tượng hóa cấu trúc đại số của các toán tử bị chặn trên không gian Hilbert.

Definition

Đại số C* là một đại số Banach phức được trang bị một phép đối hợp sao cho chuẩn của tích một phần tử và phần tử liên hợp của nó bằng bình phương chuẩn của phần tử đó; đồng nhất thức duy nhất này làm cho đại số trừu tượng hoạt động giống như các toán tử trên một không gian Hilbert.

Scope

Chủ đề này bao gồm các tiên đề đại số Banach và C* cùng với đồng nhất thức C*, phổ và lý thuyết Gelfand của các đại số C* giao hoán như các hàm liên tục trên một không gian compact, phép tính hàm liên tục, tính dương và trạng thái, cấu trúc Gelfand-Naimark-Segal, định lý biểu diễn Gelfand-Naimark, và các đại số von Neumann như các đại số toán tử đóng yếu.

Core questions

• Những tiên đề đại số và giải tích nào nắm bắt cấu trúc của các đại số toán tử?
• Lý thuyết Gelfand xác định một đại số C* giao hoán với các hàm liên tục trên một không gian như thế nào?
• Mọi đại số C* trừu tượng được hiện thực hóa một cách cụ thể như các toán tử trên một không gian Hilbert như thế nào?
• Các trạng thái và cấu trúc GNS kết nối đại số với các biểu diễn như thế nào?

Key theories

Định lý Gelfand-Naimark cho các đại số giao hoán

Mọi đại số C* giao hoán có đơn vị đều đẳng cấu đẳng cự với đại số các hàm liên tục trên phổ của nó, một không gian compact, biến đại số toán tử giao hoán thành lý thuyết hàm thông thường.

Cấu trúc Gelfand-Naimark-Segal và định lý biểu diễn

Mọi trạng thái trên một đại số C* đều tạo ra một biểu diễn trên một không gian Hilbert, và cùng với nhau, chúng cho thấy rằng bất kỳ đại số C* nào cũng đẳng cấu đẳng cự với một đại số toán tử đóng theo chuẩn, đặt nền móng cho lý thuyết trừu tượng.

Clinical relevance

Các đại số C* cung cấp khuôn khổ đại số cho lý thuyết lượng tử và cơ học thống kê lượng tử, nơi các đại lượng quan sát tạo thành một đại số và các trạng thái là các phiếm hàm dương; các đại số von Neumann phân loại các đối xứng lượng tử, và chủ đề này là nền tảng phân tích của hình học phi giao hoán và các phương pháp tiếp cận vật lý dựa trên đại số toán tử.

History

Murray và von Neumann đã thành lập lý thuyết về các vành toán tử, nay là các đại số von Neumann, trong một loạt bài báo từ năm 1936. Gelfand và Naimark đã tiên đề hóa các đại số C* và chứng minh định lý biểu diễn của chúng vào năm 1943, thiết lập chủ đề trừu tượng này.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

Đồng nhất thức C* biểu thị điều gì?

Đồng nhất thức rằng chuẩn của một phần tử nhân với phần tử liên hợp của nó bằng bình phương chuẩn của phần tử đó liên kết phép đối hợp đại số với chuẩn chặt chẽ đến mức đại số trừu tượng buộc phải hoạt động chính xác như các toán tử trên một không gian Hilbert.

Tại sao các đại số C* giao hoán chỉ là các đại số hàm?

Lý thuyết Gelfand cho thấy một đại số C* giao hoán là đại số các hàm liên tục trên phổ của nó, do đó đại số toán tử giao hoán quy về tô pô cổ điển và lý thuyết hàm, trong khi tính phi giao hoán là đặc điểm lượng tử thực sự.