ПОНТРЯГИНА ДВОЙСТВЕННОСТЬ

ПОНТРЯГИНА ДВОЙСТВЕННОСТЬ

1) П. д.- двойственность между абелевыми топологич. группами и их характеров группами. Теорема двойственности утверждает, что если G - локально компактная абелева группа и X(G) - ее группа характеров, то естественный гомоморфизм , переводящий в характер , заданный формулой


есть изоморфизм топологич. групп. Из этой теоремы выводятся следующие утверждения.

I. Если Н- замкнутая подгруппа в G и

- ее аннулятор в X(G), то H совпадает с аннулятором


подгруппы H*; при этом группа X(H) естественно изоморфна X(G)/H*, а X(G/H) - группе H*.

II. Если - непрерывный гомоморфизм локально компактных абелевых групп, то после отождествления группы G с X(X(G)) и группы H с X(X(H)).при помощи изоморфизмов гомоморфизм (j*)* отождествляется с j.

III. Вес группы X(G).(как топологич. пространства) совпадает с весом группы G.

П. д. сопоставляет компактным группам Gдискретные группы X(G).и наоборот. При этом компактная группа Gметризуема тогда и только тогда, когда X(G).счетна, и связна тогда и только тогда, когда группа X(G).без кручения. Конечномерность компактной группы Gравносильна тому, что X(G).имеет конечный ранг (см. Ранг, абелевой группы). Конечномерная компактная группа Gлокально связна тогда и только тогда, когда X(G).конечно порождена. Если Gконечна, то П. д. совпадает с двойственностью конечных абелевых групп, рассматриваемой над полем комплексных чисел.

Топологич. группы, для к-рых верна теорема двойственности, наз. рефлексивными. Они не исчерпываются локально компактными группами, т. к. любое банахово пространство, рассматриваемое как топологич. группа, рефлексивно [8]. О характеризации рефлексивных групп см. [9].

Аналог П. д. известен и для некоммутативных групп (теорема двойственности Танака - К р е и и а) (см. [4], [6], [7]). Пусть G - компактная топологич. группа, R - алгебра комплекснозначных представляющих функций на G, S(R) - множество всех ненулевых гомоморфизмов алгебр , удовлетворяющих условию . В S(R).определяется умножение , удовлетворяющее следующему условию: если - неприводимое непрерывное унитарное представление группы G и rij(g) - его матричные элементы, то


Это умножение и естественная топология превращают S(R).в топологич. группу. Каждому отвечает гомоморфизм , задаваемый формулой


Тогда соответствие gag есть изоморфизм топологич. группы G на S(R). Дано также алгебраич. описание категории алгебр R, к-рая оказывается, таким образом, двойственной категории компактных топологич. групп. Эта теория допускает обобщение на случай однородных пространств компактных топологич. групп (см. [4]).

Лит.:[1] Понтрягин Л. С., "Ann. Math.", 1934, v. За, №2, р. 301-88 (рус. пер.- "Успехи матем. наук", 1936, в. 2, с. 177-95); [2] его же, Непрерывные группы, 3 изд., М., 1973; [3] Кamреn Е. van, "Ann. Math.", 1935 v. 36, p. 448-63; [4] Крейн М. Г., "Укр. матем. ж.", 1949, т. 1, № 4, с. 64-98; 1950, т. 2, № 1, с. 10-59; [5] Моррис С., Двойственность Понтрягина и строение локально компактных абелевых групп, пер. с англ., М., 1980; [6] Наймарк М. А., Нормированные кольца, 2 изд., М., 1968; [7] Хьюитт Э., Росс К., Абстрактный гармонический анализ, пер. с англ., т. 2, М., 1975; [8] Smith M. P., "Ann. Math.", 1952, v. 56, №2, p. 248-53; [9] Venkataraman H., "Math. Z.", 1976, Bd 149, H. 2, S. 109 - 19. А. Л. Онищик.

2) П. д. в топологии - изоморфизм между р-мерной группой когомологий Александрова - Чеха Н р (А; G) с коэффициентами в группе G компактного множества А, лежащего в n-мерном компактном ориентируемом многообразии М n, и (n - р -1)-мерной группой гомологии дополнения в предположении, что Н р( М n; G)=Hp+1(Mn; G)=0 (гомологии и когомологий в размерности нуль - приведенные; символ созначает компактные носители). Для случая, когда Аили В - конечный полиэдр, этот изоморфизм был установлен Дж. Александером (J.Alexander). Н. Стинрод (N. Steenrod) установил наличие такого изоморфизма для любого открытого подмножества , а К. А. Ситников - для произвольного подмножества А.

В приведенном виде закон двойственности Понтрягина был сформулирован П. С. Александровым. В первоначальной форме утверждалась двойственность в смысле теории характеров между группами H р (А; G*).и , где G* - бикомпактная группа характеров дискретной группы G. Эквивалентность обеих формулировок закона двойственности следует из того, что группа H р (А; G*) есть группа характеров группы Н p (А; G). Из предположения об ацикличности многообразия в размерностях ри р+1 и из точной последовательности когомологий пары ( М п, А).вытекает, что Hp(A; G)=Hp+l(Mn, A; G), поэтому П. д.-простое следствие двойственности Пуанкаре - Лефшеца (см. Пуанкаре двойственность).

Наиболее общая форма соотношений двойственности рассматриваемого типа состоит в следующем. Пусть М п - произвольное многообразие (возможно, обобщенное, не обязательно компактное и не обязательно ориентируемое), - локально постоянная система коэффициентов со слоем G, А - произвольное подмножество в М п и Ф - семейство всех замкнутых в М п множеств, содержащихся в В=М п А. Тогда если , то . Здесь - гомологии с замкнутыми носителями, содержащимися в Ф (т. е. прямой предел групп - локально постоянная система коэффициентов, образованная группами . В приведенном равенстве коэффициенты для когомологий могут быть заменены на , если рассматривать гомологии с коэффициентами в нек-рой специально определяемой системе. Лит.:[1] Александров П. С., Топологические теоремы двойственности, ч. 1 - Замкнутые множества, М., 1955 (Тр. Матем. ин-та АН СССР, т. 48); [2] Масси У., Теория гомологии и когомологий, пер. с англ., М., 1981.

Е. Г. Скляренко.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "ПОНТРЯГИНА ДВОЙСТВЕННОСТЬ" в других словарях:

  • ДВОЙСТВЕННОСТЬ — 1) Д. в алгебраической геометрии двойственность между различными пространствами когомологий на алгебраич. многообразиях. Когомологий когерентных пучков. Пусть X неособое проективное алгебраич. многообразие размерности nнад алгебраически замкнутым …   Математическая энциклопедия

  • Двойственность Понтрягина — Двойственная группа по Понтрягину Пусть G топологическая локально компактная абелева группа. В таком случае группа характеров G (гомоморфизмов из G в U(1)) тоже будет локально компактной и называется двойственной группой по Понтрягину (G^).… …   Википедия

  • АЛЕКСАНДЕРА ДВОЙСТВЕННОСТЬ — связь между гомологич. свойствами взаимно дополнительных подмножеств топологич. пространства, к рая позволяет гомологич. свойства множества определять нек рымн свойствами его дополнения. Первые теоремы такого рода были сформулированы в терминах… …   Математическая энциклопедия

  • СТИНРОДА ДВОЙСТВЕННОСТЬ — изоморфизм р мeрных гомологии компактного подмножества Асферы Sn ( п р 1) мерным когомологиям дополнения (гомологии и когомологии в размерности нуль приведенные). Рассмотрена Н. Стинродом [1]. В случае когда А открытый или замкнутый подполиэдр,… …   Математическая энциклопедия

  • КОЛМОГОРОВА ДВОЙСТВЕННОСТЬ — двойственность в алгебраич. топологии, состоящая в изоморфизме г мерной группы гомологии Н r(A, G) замкнутого множества Ахаусдорфова локально компактного пространства Rс нулевыми r и (r+1) мерными группами гомологии (r+1) мерной группе гомологии… …   Математическая энциклопедия

  • Дуализм Понтрягина — Двойственная группа по Понтрягину Пусть G топологическая локально компактная абелева группа. В таком случае группа характеров G (гомоморфизмов из G в U(1)) тоже будет локально компактной и называется двойственной группой по Понтрягину (G^).… …   Википедия

  • Понтрягин, Лев Семёнович — Лев Семёнович Понтрягин Лев Понтрягин (слева), 1970 Дата рождения: 21 августа (3 се …   Википедия

  • Понтрягин — Понтрягин, Лев Семёнович Лев Семёнович Понтрягин Дата рождения: 21 августа (3 сентября) 1908(1908 09 03) Место рождения: Москва, Российская империя Дата смерти: 3 мая 1988(1988 05 …   Википедия

  • ХАРАКТЕРОВ ГРУППА — группы G группа всех характеров X(G) =Hom(G, А )группы Gсо значениями в абелевой группе Аотносительно операции индуцированной операцией в А. В случае когда А = Т, где квазициклические группы, взятые по одной для каждого простого числа р. Эта… …   Математическая энциклопедия

  • ГОМОЛОГИЧЕСКОЕ МНОГООБРАЗИЕ — обобщенное многообразие, локально компактное топологич. пространство, локальная гомологич. структура к рого аналогична локальной структуре обычных топологнч. многообразий, в том числе многообразий с краем. Более точно, гомологическим n… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»