Двойственность Понтрягина

Двойственность Понтрягина — это обобщение классического преобразования Фурье на локально компактные абелевы группы, устанавливающее изоморфизм между группой и её двойственной группой характеров, а также дуальность между категориями таких групп. Эта теория, разработанная Львом Семёновичем Понтрягиным в 1930-х годах, является фундаментальным инструментом гармонического анализа, топологии и теории представлений.

История

Предпосылки двойственности Понтрягина восходят к работам XIX века по рядам Фурье и интегральным преобразованиям. Жан-Батист Жозеф Фурье показал, что периодические функции можно разложить в сумму синусоид, что фактически соответствовало разложению по характерам группы окружности \( S^1 \). В начале XX века Герман Вейль и другие математики начали систематически изучать группы Ли и их представления.

Лев Понтрягин в 1934 году опубликовал работу «Теория топологических групп», где впервые сформулировал принцип двойственности для локально компактных абелевых групп. Он показал, что для любой такой группы \( G \) существует двойственная группа \( \widehat{G} \), состоящая из непрерывных гомоморфизмов \( G \to S^1 \) (характеров), и что \( \widehat{\widehat{G}} \) естественно изоморфна \( G \). Это обобщение позволило единообразно трактовать преобразование Фурье на окружности, вещественной прямой, целых числах и конечных циклических группах.

В 1940-х годах Андре Вейль и другие математики уточнили теорию, включив в неё меру Хаара и интегрирование. Современная формулировка двойственности Понтрягина была завершена в 1950-х годах, когда Эдвин Хьюитт и Кеннет Росс опубликовали монографию «Абстрактный гармонический анализ».

Основные понятия

Локально компактная абелева группа

Локально компактная абелева группа (LCA-группа) — это топологическая группа, которая является абелевой (коммутативной) и локально компактной (каждая точка имеет окрестность с компактным замыканием). Примеры: вещественная прямая \( \mathbb{R} \), окружность \( S^1 \), целые числа \( \mathbb{Z} \), конечные циклические группы \( \mathbb{Z}_n \), \( p \)-адические числа \( \mathbb{Q}_p \).

Характеры и двойственная группа

Характером локально компактной абелевой группы \( G \) называется непрерывный гомоморфизм \( \chi: G \to S^1 \), где \( S^1 = \{z \in \mathbb{C}: |z|=1\} \) — мультипликативная группа комплексных чисел по модулю 1. Множество всех характеров \( \widehat{G} \) образует абелеву группу относительно поточечного умножения: \( (\chi_1 \chi_2)(g) = \chi_1(g) \chi_2(g) \). Эта группа наделяется компактно-открытой топологией, в которой она становится локально компактной абелевой группой — двойственной группой Понтрягина.

Преобразование Фурье

Для функции \( f \in L^1(G) \) (интегрируемой по мере Хаара) преобразование Фурье определяется формулой: \[ \hat{f}(\chi) = \int_G f(g) \overline{\chi(g)} \, dg, \] где \( dg \) — мера Хаара на \( G \). Это отображение переводит функции на \( G \) в функции на \( \widehat{G} \). Двойственность Понтрягина гарантирует, что обратное преобразование Фурье восстанавливает исходную функцию: \[ f(g) = \int_{\widehat{G}} \hat{f}(\chi) \chi(g) \, d\chi, \] при условии подходящей нормировки мер.

Формулировка двойственности

Теорема двойственности

Для любой локально компактной абелевой группы \( G \) существует естественный топологический изоморфизм между \( G \) и её двойственной группой второго порядка \( \widehat{\widehat{G}} \). Этот изоморфизм задаётся отображением \( g \mapsto \psi_g \), где \( \psi_g(\chi) = \chi(g) \). Таким образом, \( G \) канонически изоморфна \( \widehat{\widehat{G}} \).

Категориальная формулировка

Функтор двойственности \( G \mapsto \widehat{G} \) является контравариантным функтором из категории LCA-групп в себя. Он переводит короткие точные последовательности в короткие точные последовательности, сохраняет компактность и дискретность: компактная группа двойственна дискретной, и наоборот.

Свойства двойственности

• Компактность и дискретность: Если \( G \) компактна, то \( \widehat{G} \) дискретна; если \( G \) дискретна, то \( \widehat{G} \) компактна.
• Произведения: \( \widehat{G \times H} \cong \widehat{G} \times \widehat{H} \).
• Прямые суммы: \( \widehat{\bigoplus_i G_i} \cong \prod_i \widehat{G_i} \).
• Конечные группы: Для конечной абелевой группы \( G \) двойственная группа изоморфна \( G \), но не канонически.

Примеры

Вещественная прямая \( \mathbb{R} \)

Характеры \( \mathbb{R} \) имеют вид \( \chi_y(x) = e^{2\pi i x y} \) для \( y \in \mathbb{R} \). Двойственная группа \( \widehat{\mathbb{R}} \) изоморфна \( \mathbb{R} \). Преобразование Фурье — классическое интегральное преобразование: \[ \hat{f}(y) = \int_{-\infty}^\infty f(x) e^{-2\pi i x y} \, dx. \]

Окружность \( S^1 \)

Характеры \( S^1 \) — это \( \chi_n(z) = z^n \) для \( n \in \mathbb{Z} \). Двойственная группа \( \widehat{S^1} \) изоморфна \( \mathbb{Z} \) (дискретная группа целых чисел). Преобразование Фурье даёт коэффициенты ряда Фурье: \[ \hat{f}(n) = \frac{1}{2\pi} \int_0^{2\pi} f(e^{i\theta}) e^{-in\theta} \, d\theta. \]

Целые числа \( \mathbb{Z} \)

Характеры \( \mathbb{Z} \) имеют вид \( \chi_\theta(n) = e^{2\pi i n \theta} \) для \( \theta \in S^1 \). Двойственная группа \( \widehat{\mathbb{Z}} \) изоморфна \( S^1 \). Преобразование Фурье — это ряд Фурье: \[ \hat{f}(\theta) = \sum_{n=-\infty}^\infty f(n) e^{-2\pi i n \theta}. \]

Конечная циклическая группа \( \mathbb{Z}_N \)

Характеры \( \mathbb{Z}_N \) — это \( \chi_k(m) = e^{2\pi i k m / N} \) для \( k = 0,1,\dots,N-1 \). Двойственная группа изоморфна \( \mathbb{Z}_N \). Преобразование Фурье — дискретное преобразование Фурье (ДПФ): \[ \hat{f}(k) = \sum_{m=0}^{N-1} f(m) e^{-2\pi i k m / N}. \]

\( p \)-адические числа \( \mathbb{Q}_p \)

Двойственная группа \( \widehat{\mathbb{Q}_p} \) изоморфна \( \mathbb{Q}_p \) как топологическая группа. Это используется в \( p \)-адическом анализе и теории чисел.

Применения

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

Двойственность Понтрягина лежит в основе абстрактного гармонического анализа. Она позволяет единообразно рассматривать ряды Фурье, интегралы Фурье, дискретное преобразование Фурье и преобразование Фурье на конечных группах. Теорема Планшереля и теорема обращения Фурье обобщаются на любые LCA-группы.

Теория чисел

В аналитической теории чисел двойственность Понтрягина используется для изучения характеров Дирихле и \( L \)-функций. Характеры конечных абелевых групп (в частности, мультипликативных групп полей) являются частным случаем характеров Понтрягина.

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

В квантовой механике двойственность Понтрягина проявляется в соотношении неопределённости Гейзенберга: группа трансляций координат \( \mathbb{R} \) двойственна группе трансляций импульса \( \widehat{\mathbb{R}} \cong \mathbb{R} \). Преобразование Фурье связывает волновые функции в координатном и импульсном представлениях.

Топология и теория представлений

Двойственность Понтрягина используется для классификации унитарных представлений локально компактных абелевых групп. Она также применяется в \( K \)-теории и теории двойственности Таннаки.

Цифровая обработка сигналов

Дискретное преобразование Фурье, основанное на двойственности для конечных циклических групп, является ключевым инструментом в сжатии данных (JPEG, MP3), фильтрации и спектральном анализе.

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

Двойственность Таннаки

Двойственность Таннаки обобщает двойственность Понтрягина на неабелевы компактные группы. Вместо характеров рассматриваются конечномерные представления, а двойственная группа заменяется категорией представлений.

Двойственность Стоуна

Двойственность Стоуна устанавливает дуальность между булевыми алгебрами и компактными вполне несвязными пространствами. Она связана с двойственностью Понтрягина через рассмотрение групп \( \mathbb{Z}_2 \).

Двойственность Гельфанда

Двойственность Гельфанда для коммутативных \( C^ \)-алгебр тесно связана с двойственностью Понтрягина: для LCA-группы \( G \) групповая \( C^ \)-алгебра \( C^*(G) \) коммутативна, и её спектр — это \( \widehat{G} \).

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

• Лев Понтрягин разработал теорию двойственности, будучи слепым: он потерял зрение в возрасте 14 лет в результате несчастного случая, но продолжал заниматься математикой.
• Двойственность Понтрягина является одним из первых примеров «категориальной» двойственности в математике, предвосхитившей развитие теории категорий.
• Для неабелевых групп аналог двойственности Понтрягина не существует: двойственная группа характеров тривиальна, так как коммутаторная подгруппа лежит в ядре любого одномерного представления.

Источники

• Понтрягин Л. С. Непрерывные группы. — М.: Наука, 1984.
• Хьюитт Э., Росс К. Абстрактный гармонический анализ. — М.: Мир, 1975.
• Рудин У. Функциональный анализ. — М.: Мир, 1975.
• Вейль А. Интегрирование в топологических группах и его применения. — М.: ИЛ, 1950.
• Кириллов А. А. Элементы теории представлений. — М.: Наука, 1978.