C*-алгебры

C*-алгебра — это алгебра операторов, замкнутая относительно сопряжения и полная по норме, удовлетворяющей условию совместимости; она абстрагирует алгебраическую структуру ограниченных операторов в гильбертовом пространстве.

Definition

C*-алгебра — это комплексная банахова алгебра, снабженная инволюцией, такой что норма произведения элемента и его сопряженного элемента равна квадрату нормы элемента; это единственное тождество заставляет абстрактную алгебру вести себя подобно операторам в гильбертовом пространстве.

Scope

Эта тема охватывает аксиомы банаховых и C*-алгебр и C*-тождество, спектр и теорию Гельфанда коммутативных C*-алгебр как непрерывных функций на компактном пространстве, непрерывное функциональное исчисление, положительность и состояния, конструкцию Гельфанда-Наймарка-Сегала, теорему представления Гельфанда-Наймарка и алгебры фон Неймана как слабо замкнутые операторные алгебры.

Core questions

• Какие алгебраические и аналитические аксиомы описывают структуру операторных алгебр?
• Как теория Гельфанда отождествляет коммутативную C*-алгебру с непрерывными функциями на пространстве?
• Как каждая абстрактная C*-алгебра реализуется конкретно как операторы в гильбертовом пространстве?
• Как состояния и конструкция ГНС связывают алгебру с представлениями?

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*-алгебра является алгеброй непрерывных функций на своем спектре, поэтому коммутативная операторная алгебра сводится к классической топологии и теории функций, в то время как некоммутативность является подлинно квантовой особенностью.