Пусть S1 -- единичная окружность в комплексной плоскости. Тогда относительно умножения комплексных чисел S1 является коммутативной группой, которая также обозначается как U(1), SO(2) или R/Z.
Пусть также G -- какая-нибудь локально компактная (например, конечная, дискретная или компактная) Хаусдорфова топологическая коммутативная группа. Тогда каждый непрерывный гомоморфизм p:G → S1 называется характером группы G. Обозначим через G* множество всех характеров группы G. Из коммутативности группы G легко вытекает, что G* является группой относительно поточечного сложения характеров, т.е. для любых p,s из G* их сумма определяется как (p+s)(g) := p(g) + s(g).
На группе G* можно ввести "естественную" топологию, в которой сложение характеров окажется непрерывной операцией. Другими словами G* превращается в коммутативную топологическую группу, причем эта группа также локально компактна так же как и G. Поэтому можно рассмотреть группу характеров G** группы G* . Тогда имеется естественный гомоморфизм "вычисления" или "спаривания" или a:G → G**, a(g)(y) = y(g) для g из G и y из G*.
Например, легко проверить, что Z* ≈ S1 и S1* ≈ Z, Z*n ≈ Zn для произвольного n. Более точно утверждение состоит в том, что для групп Z, Zn, S1 гомоморфизм a является изоморфизмом.
Цель данной лекции объяснить, что на самом деле для любой локально компактной коммутативной группы G, гомоморфизм a является изоморфизмом. В частности, если H = G*, то G ≈ H*. Более того, G дискретна тогда и только тогда, когда G* – компактна и наоборот.
Это явление и называется двойственностью Понтрягина -- ван Кампена.