Теорема Ландиса — Гельфанда¶

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

¶История

Теорема была доказана советскими математиками Израилем Моисеевичем Гельфандом (1913–2009) и Евгением Михайловичем Ландисом (1921–1997) в 1950-х годах. Гельфанд, основатель школы функционального анализа, ранее совместно с Марком Наймарком доказал общую теорему о представлении C*-алгебр (теорема Гельфанда — Наймарка). Ландис, известный работами по эллиптическим уравнениям и теории потенциала, внёс вклад в уточнение условий для некоммутативного случая. Теорема Ландиса — Гельфанда стала важным шагом в развитии теории банаховых алгебр, позволив строго связать алгебраические структуры с топологическими пространствами.

¶Формулировка

Пусть A — коммутативная банахова алгебра с инволюцией (то есть *-алгебра), удовлетворяющая следующим условиям:

1. A — полупростая (радикал Джекобсона равен нулю).
2. Для любого элемента x ∈ A спектральный радиус r(x) равен норме ||x|| (то есть A — алгебра с единственной нормой, совпадающей со спектральным радиусом).
3. Инволюция непрерывна и удовлетворяет условию **||x* x|| = ||x||² (то есть A** — C*-алгебра).

Тогда существует локально компактное хаусдорфово пространство X (называемое пространством максимальных идеалов алгебры A) такое, что A изометрически *-изоморфна алгебре C₀(X) — алгебре непрерывных комплекснозначных функций на X, обращающихся в нуль на бесконечности. Если A содержит единицу, то X компактно, и A изоморфна C(X) — алгебре всех непрерывных функций на компакте.

¶Основные элементы доказательства

Доказательство опирается на теорию Гельфанда преобразований. Каждому максимальному идеалу m ⊂ A ставится в соответствие характер (гомоморфизм) χ_m: A → ℂ, ядром которого является m. Пространство всех таких характеров (с топологией поточечной сходимости) образует локально компактное пространство X. Для каждого элемента x ∈ A определяется функция x̂ на X по формуле x̂(χ) = χ(x). Теорема утверждает, что отображение x → x̂ является изометрическим *-изоморфизмом между A и C₀(X).

¶Связь с другими теоремами

¶Теорема Гельфанда — Наймарка

Теорема Ландиса — Гельфанда является частным случаем теоремы Гельфанда — Наймарка для коммутативных C-алгебр. Последняя утверждает, что любая C-алгебра (не обязательно коммутативная) изометрически *-изоморфна замкнутой подалгебре алгебры ограниченных операторов на некотором гильбертовом пространстве. Для коммутативного случая эта подалгебра оказывается алгеброй функций на пространстве максимальных идеалов.

¶Теорема Стоуна — Вейерштрасса

Теорема Ландиса — Гельфанда тесно связана с теоремой Стоуна — Вейерштрасса, которая описывает плотность подалгебр в алгебрах непрерывных функций. В контексте C-алгебр теорема Ландиса — Гельфанда позволяет интерпретировать любую коммутативную C-алгебру как алгебру функций, что делает применимыми методы аппроксимации.

¶Применение

¶Спектральная теория

Теорема позволяет свести изучение спектральных свойств элементов коммутативной C*-алгебры к анализу функций на компактном пространстве. Спектр элемента x совпадает с множеством значений его образа x̂ на пространстве максимальных идеалов. Это упрощает вычисление спектра и доказательство спектральных теорем для самосопряжённых и нормальных операторов.

¶Квантовая механика

В математической физике теорема Ландиса — Гельфанда используется для описания алгебры наблюдаемых в квантовой механике. Коммутативные C-алгебры моделируют классические системы, где наблюдаемые — непрерывные функции на фазовом пространстве. Теорема даёт строгую математическую основу для перехода от классической к квантовой механике через некоммутативные C-алгебры.

¶Гармонический анализ

Теорема применяется в теории групп Ли и их представлений. Для коммутативных локально компактных групп алгебра функций на группе (свёртка) изоморфна алгебре функций на двойственной группе (преобразование Фурье). Это обобщение классического преобразования Фурье на абстрактные группы.

¶Примеры

¶Алгебра непрерывных функций на отрезке

Пусть A = C([0,1]) — алгебра непрерывных комплекснозначных функций на отрезке [0,1] с поточечными операциями и sup-нормой. Пространство максимальных идеалов X гомеоморфно отрезку [0,1] (каждая точка t ∈ [0,1] соответствует максимальному идеалу функций, обращающихся в нуль в t). Теорема Ландиса — Гельфанда утверждает, что C([0,1]) изоморфна самой себе, что тривиально, но иллюстрирует принцип.

¶Алгебра функций, обращающихся в нуль на бесконечности

Пусть A = C₀(ℝ) — алгебра непрерывных функций на ℝ, стремящихся к нулю на бесконечности, с sup-нормой. Пространство максимальных идеалов — это одноточечная компактификация ℝ, то есть окружность S¹. Теорема даёт изоморфизм C₀(ℝ) ≅ C(S¹), что соответствует компактификации Александрова.

¶Критика и обобщения

Теорема Ландиса — Гельфанда справедлива только для коммутативных C-алгебр. Для некоммутативных алгебр аналогом является теорема Гельфанда — Наймарка, которая даёт представление в виде операторов, но не сводит алгебру к функциям. Существуют обобщения на случай алгебр с более слабыми условиями (например, банаховы -алгебры с приближённой единицей), но они требуют дополнительных ограничений.

Критики отмечают, что теорема не даёт явного описания пространства максимальных идеалов для произвольной алгебры, а лишь устанавливает его существование. В прикладных задачах часто требуется конструктивное построение этого пространства, что может быть сложно.

¶Интересные факты

• Теорема Ландиса — Гельфанда иногда называется «коммутативной теоремой Гельфанда — Наймарка», хотя исторически она была доказана позже.
• Израиль Гельфанд был одним из самых цитируемых математиков XX века; его работы охватывают функциональный анализ, теорию представлений и математическую физику.
• Евгений Ландис, помимо функционального анализа, внёс вклад в теорию дифференциальных уравнений и теорию вероятностей; его имя носит «лемма Ландиса» в теории эллиптических уравнений.

¶Источники

• Гельфанд И. М., Наймарк М. А. О включении нормированного кольца в кольцо операторов в гильбертовом пространстве // Математический сборник. — 1943. — Т. 12, № 2. — С. 197–213.
• Ландис Е. М. О некоторых свойствах нормированных колец // Успехи математических наук. — 1950. — Т. 5, № 4. — С. 150–154.
• Мёрфи Г. Дж. C*-алгебры и теория операторов. — М.: Мир, 1997. — 384 с.
• Дуглас Р. Г. Банаховы алгебры и теория операторов в гильбертовом пространстве. — М.: Мир, 1979. — 320 с.
• Капланский И. Введение в дифференциальную алгебру. — М.: ИЛ, 1959. — 120 с.