Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
§ 1. Локальная аддитивная двойственностьПусть
Если
где Пусть сначала
Если
Для всякого конечного расширения
Оно является непрерывным нетривиальным гомоморфизмом поля Теорема 1. Пусть
определяет изоморфизм аддитивной группы поля Доказательство. Легко проверить, что это спаривание непрерывно, а оба его ядра тривиальны. Этим определяется естественное отображение группы
близок к единице, он должен принимать близкие к 1 значения на большом компактном подмножестве поля быть близок к нулю. В свою очередь это означает, что образ Мы будем пользоваться той мерой Хаара на группе
Здесь, как обычно, Для любой меры Хаара
или, символически, Наше утверждение очевидно в архимедовом случае. Если Теорема 2. Определим образ Фурье
Тогда при нашем выборе меры формула обращения имеет вид
Доказательство. Достаточно установить эту формулу для одной нетривиальной функции, ибо, как известно из абстрактного анализа Фурье, формула обращения всегда имеет такой вид с точностью до постоянного множителя. Для вещественного поля
|
1 |
Оглавление
|