Нормирование

Запрос «Абсолютное значение» перенаправляется сюда; о значении Абсолютная величина см. Абсолютная величина.

Норми́рование в отображение элементов поля F в некоторое упорядоченное поле P x||x||, обладающее следующими свойствами:

$~||x|| \geqslant 0$ и $~||x|| = 0$ только при $x = 0$
$~||xy|| = ||x|| \cdot ||y||$
$||x+y|| \leqslant ||x||+||y||$

Если вместо 3) выполняется более сильное условие:

$||x+y|| \leqslant max(||x||,||y||)$ , то нормирование называется неархимедовым.

Значение $~||x||$ называется нормой элемента x. Если упорядоченное поле P является полем вещественных чисел R, то нормирование часто называют абсолютным значением.

Содержание

1 Примеры нормирований
2 Свойства нормы
3 Нормированное поле как метрическое пространство
- 3.1 Пополнение
4 Литература

[править] Примеры нормирований

Нормирование, при котором ||0||=0, ||x||=1 для остальных x. Такое нормирование называется тривиальным.
Обычная абсолютная величина в поле вещественных чисел R или модуль в поле комплексных чисел C является нормированием.
Пусть Q в поле рациональных чисел, а p в некоторое простое число. Любое рациональное число можно представить в виде дроби x=apⁿ/b, где a и b не кратны p. Можно определить следующее нормирование |x|_p=p^-n. Это нормирование является неархимедовым и называется p-адическим нормированием.

[править] Свойства нормы

|1| = |-1| = 1
| |x|-|y| |в‰|x-y| (в этом случае абсолютная величина в упорядоченном поле P берётся от разности двух норм |x|-|y| элементов поля F)
Вещественнозначное нормирование является неархимедовым тогда и только тогда, когда существует положительное число A, такое, что для любой суммы единичных элементов поля F :

3b) |1+1+в+1|в‰A

Пусть данное условие выполнено. Тогда для любых элементов x и y из поля F имеем:

|(x+y)ⁿ|=|xⁿ+вC_nⁱxⁿyⁱ+вyⁿ|в‰(n+1)A(max(|x|,|y|)ⁿ

Извлекая из обеих частей корень и переходя к пределу при nв€ получаем условие 3a). Обратное утверждение очевидно.

[править] Нормированное поле как метрическое пространство

Из свойств 1-3 немедленно следует, что определяя расстояние между двумя элементами вещественнозначного нормированного поля F как норму разности ||x-y|| мы превращеем его в метрическое пространство, в случае неархимедовой нормы в в ультраметрическое пространство. Разные нормы определяют разные метрики. Если при этом они определяют одинаковую топологию в F, то такие нормы называются зависимыми.

[править] Пополнение

Как и для любого метрического пространства можно ввести понятие полноты и доказать, что любое нормированное поле F изоморфно вкладывается в полное нормированное поле F*, то есть существует изоморфизм $i:F \rightarrow F^*$ . Норма в F* продолжает норму в F, то есть для каждого x из F: $||i(x)||_{F^*}=||x||$ , причём F плотно в F* относительно этой нормы. Любое такое поле F* определено однозначно с точностью до изоморфизма, сохраняющего нормы (изометрии) и тождественного на F; оно называется пополнением поля F.

Пример. Пополнением поля рациональных чисел Q с p-адической метрикой является поле p-адических чисел Q_p.

[править] Литература

Ван дер Варден Б. Л. Алгебра в М: Наука. 1975.
Зарисский О., Самюэль П. Коммутативная алгебра т.2 в М: ИЛ. 1963.
Ленг С. Алгебра в М: Мир. 1967.

Нормирование

Содержание

[править] Примеры нормирований

[править] Свойства нормы

[править] Нормированное поле как метрическое пространство

[править] Пополнение

[править] Литература

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках