Мера Хаара и топологические группы

Как интегрировать функции на группах вращений, p-адических числах или матричных группах - там, где нет стандартной лебеговской меры? Мера Хаара даёт каноническую инвариантную меру на любой локально компактной группе.

• **Теория представлений:** интеграл по мере Хаара используется в теореме Питера-Вейля, описывающей разложение L^2(G) в унитарные представления компактных групп
• **Инвариантные нейросети:** SE(3)-Transformers и EGNN вычисляют свёртку по SO(3) с мерой Хаара для инвариантности к вращениям молекул в AlphaFold
• **Вычисление греков:** быстрое преобразование Фурье на Z/nZ - частный случай преобразования Фурье-Хаара; основа спектральных методов в финансах
• **p-адический анализ:** мера Хаара на Q_p (p-адических числах) - фундамент для p-адической физики и теории чисел Адели

Предварительные знания

• Топологические пространства: компактность, локальная компактность
• Мера Лебега и интеграл Лебега
• Теория групп: абелевы и неабелевы группы, гомоморфизмы
• Основы теории групп Ли: гладкие многообразия с групповой структурой

• Мера Лебега и интеграл

Мера Хаара: существование и единственность

Альфред Хаар в 1933 году доказал: на каждой локально компактной топологической группе существует единственная (с точностью до константы) левоинвариантная борелевская мера. Это открытие унифицировало интегрирование на ℝ, окружности T, матричных группах GL(n) и p-адических числах.

Преобразование Фурье на LCA-группах

Лев Понтрягин в 1934 году построил теорию двойственности: каждой локально компактной абелевой группе G соответствует группа характеров Ĝ, и G ≅ Ĝ̂. Это объединяет ряды Фурье (G=T, Ĝ=ℤ), преобразование Фурье (G=ℝ, Ĝ=ℝ) и ДПФ (G=ℤ/nℤ).

Интегрирование на группах Ли

На группах Ли - гладких многообразиях с групповой структурой - мера Хаара выражается через дифференциальные формы. Для матричных групп SO(n), SU(n), GL(n,ℝ) это открывает путь к явным вычислениям: интегрирование над ортогональными матрицами лежит в основе случайных матриц, квантовой хромодинамики и современных нейросетевых архитектур с групповыми симметриями.

В E(3)-инвариантных нейросетях (SE(3)-Transformers, EGNN) свёртка по группе вращений вычисляется именно через меру Хаара на SO(3). Это гарантирует инвариантность выходов к поворотам молекул в задачах предсказания белков.

Мера Хаара в центре теории групп и анализа

Инвариантная мера Хаара соединяет топологическую теорию групп, гармонический анализ и современные геометрически инвариантные нейросетевые архитектуры.

• Теория Лебега — Мера Лебега на ℝ^n - мера Хаара аддитивной группы; аналогия объясняет инвариантность интеграла Лебега к сдвигам
• Гармонический анализ — Преобразование Фурье-Хаара на LCA-группах обобщает ряды Фурье (T), преобразование Фурье (ℝ) и ДПФ (Z/nZ) в единую теорию Понтрягина
• Теория представлений — Теорема Питера-Вейля разлагает L^2(G) в сумму конечномерных унитарных представлений используя именно интеграл по мере Хаара
• Геометрически инвариантное обучение — SE(3)/SO(3)-инвариантные нейросети (EGNN, SE3-Transformers) реализуют групповую свёртку с мерой Хаара для работы с молекулярными структурами

Итоги

• **Мера Хаара** - единственная (с точностью до константы) левоинвариантная борелевская мера на локально компактной группе; обобщает меру Лебега на все LC-группы
• **Компактные группы** имеют конечную меру Хаара (нормируется до 1); некомпактные (ℝ, GL(n)) - бесконечную, но sigma-конечную
• **Модулярная функция** Delta(g) измеряет расхождение левой и правой меры; унимодулярные группы (абелевы, компактные, SL(n)) имеют Delta ≡ 1
• **Преобразование Фурье-Хаара** на LCA-группах обобщает ряды Фурье, интеграл Фурье и ДПФ; двойственность Понтрягина: G ≅ Ĝ̂
• **Теорема Планшереля** гарантирует унитарность преобразования Фурье: ||f||_{L^2(G)} = ||f̂||_{L^2(Ĝ)}
• **Мера Хаара на группах Ли** задаётся формой Маурера-Картана g^{-1}dg; явные формулы доступны для SO(n), SU(n), GL(n)