В алгебре , абсолютное значение (также называется оценка , величина , или норма , [1] хотя « норма » обычно относится к определенному виду абсолютного значения на поле ) является функцией , которая измеряет «размер» элементов в поле или область целостности . Точнее, если D - область целостности, то абсолютное значение - это любое отображение | x | от D до действительных чисел R, удовлетворяющих:
• | (неотрицательность) | |||
• | если и только если | ( положительная определенность ) | ||
• | (мультипликативность) | |||
• | ( неравенство треугольника ) |
Из этих аксиом следует, что | 1 | = 1 и | -1 | = 1. Кроме того, для каждого положительного целого числа п ,
- | п | = | 1 + 1 + ... + 1 ( n раз) | = | −1 - 1 - ... - 1 ( n раз) | ≤ п .
Классическое « абсолютное значение » - это такое, в котором, например, | 2 | = 2, но многие другие функции удовлетворяют указанным выше требованиям, например, квадратный корень из классического абсолютного значения (но не его квадрат).
Абсолютное значение индуцирует метрику (и, следовательно, топологию ) посредством
Примеры
- Стандартное абсолютное значение целых чисел.
- Стандартное абсолютное значение комплексных чисел .
- Р -адическое абсолютное значение на рациональных числах .
- Если R - поле рациональных функций над полем F иявляется фиксированным неприводимым элементом в R , то следующее определяет абсолютное значение на R : дляв R определить быть , где а также
Типы абсолютного значения
Тривиальным абсолютное значение абсолютное значение с | x | = 0, когда x = 0 и | x | = 1 в противном случае. [2] Каждая область целостности может иметь хотя бы тривиальное абсолютное значение. Тривиальное значение - единственное возможное абсолютное значение в конечном поле, потому что любой ненулевой элемент можно возвести в некоторую степень, чтобы получить 1.
Если абсолютное значение удовлетворяет более сильному свойству | х + у | ≤ max (| x |, | y |) для всех x и y , то | х | называется ультраметрическим или неархимедовым абсолютным значением , а в противном случае - архимедовым абсолютным значением .
Места
Если | х | 1 и | х | 2 - два абсолютных значения в одной и той же области целостности D , то эти два абсолютных значения эквивалентны, если | х | 1 <1 тогда и только тогда, когда | х | 2 <1 для всех x . Если два нетривиальных абсолютных значения эквивалентны, то для некоторой экспоненты e | х | 1 e = | х | 2 для всех x . Увеличение абсолютного значения до степени меньше 1 приводит к другому абсолютному значению, но повышение до степени больше 1 не обязательно приводит к абсолютному значению. (Например, возведение в квадрат обычного абсолютного значения действительных чисел дает функцию, которая не является абсолютным значением, поскольку нарушает правило | x + y | ≤ | x | + | y |.) Абсолютные значения с точностью до эквивалентности или в Другими словами, класс эквивалентности абсолютных значений называется местом .
Теорема Островского утверждает, что нетривиальные позиции рациональных чисел Q являются обычным модулем и p -адическим модулем для каждого простого числа p . [3] Для данного простого числа p любое рациональное число q может быть записано как p n ( a / b ), где a и b - целые числа, не делящиеся на p, а n - целое число. Р -адическая абсолютное значение ц является
Поскольку обычное абсолютное значение и p -адические абсолютные значения являются абсолютными значениями согласно приведенному выше определению, они определяют места.
Оценки
Если для некоторого ультраметрического модуля и любой базы b > 1 мы определим ν ( x ) = −log b | х | для x ≠ 0 и ν (0) = ∞, где ∞ должно быть больше всех действительных чисел, то мы получаем функцию от D до R ∪ {∞} со следующими свойствами:
- ν ( x ) = ∞ ⇒ x = 0,
- ν ( xy ) = ν ( x ) + ν ( y ),
- ν ( x + y ) ≥ min (ν ( x ), ν ( y )).
Такая функция известна как оценка в терминологии Бурбаки , но другие авторы используют термин « оценка» для обозначения абсолютной стоимости, а затем говорят « экспоненциальная оценка» вместо оценки .
Завершено
Учитывая область целостности D с абсолютным значением, мы можем определить последовательности Коши элементов D по модулю, потребовав, чтобы для каждого ε> 0 существовало положительное целое число N такое, что для всех целых чисел m , n > N есть | х м - х п | <ε. Последовательности Коши образуют кольцо при поточечном сложении и умножении. Можно также определить нулевые последовательности как последовательности ( a n ) элементов D такие, что | а п | сходится к нулю. Нулевые последовательности являются первичным идеалом в кольце последовательностей Коши, поэтому фактор-кольцо является областью целостности. Домен D имеет встроенный в этом фактор - кольцо, называемое завершение из D по абсолютному значению | х |.
Поскольку поля являются целостными областями, это также конструкция для завершения поля по абсолютному значению. Чтобы показать, что результатом является поле, а не просто область целостности, мы можем либо показать, что нулевые последовательности образуют максимальный идеал , либо напрямую построить обратное. Последнее легко сделать, взяв для всех ненулевых элементов факторкольца последовательность, начинающуюся с точки за последним нулевым элементом последовательности. Любой ненулевой элемент фактор-кольца будет отличаться от такой последовательности на нулевую последовательность, и, выполняя поточечную инверсию, мы можем найти представительный обратный элемент.
Другая теорема Александра Островского гласит, что любое поле, полное относительно архимедова абсолютного значения, изоморфно либо действительным, либо комплексным числам, и оценка эквивалентна обычному. [4] Гельфанд-Tornheim теорема утверждает , что любое поле с архимедовой оценкой изоморфно подполом из С , оценок, эквивалентными обычной абсолютной величиной на C . [5]
Поля и области целостности
Если D - область целостности с абсолютным значением | х |, то мы можем расширить определение абсолютного значения в поле фракций из D по установке
С другой стороны, если F - поле с ультраметрическим модулем | x |, то множество таких элементов F , что | х | ≤ 1 определяет кольцо нормирования , которая является Подкольцо D из F , что для любого ненулевого элемента х из F , по меньшей мере , один из й или х -1 принадлежит D . Поскольку F - поле, D не имеет делителей нуля и является областью целостности. Он имеет единственный максимальный идеал, состоящий из всех x таких, что | х | <1 и, следовательно, является локальным кольцом .
Заметки
- ^ Коблиц, Нил (1984). P-адические числа, p-адический анализ и дзета-функции (2-е изд.). Нью-Йорк: Springer-Verlag. п. 1. ISBN 978-0-387-96017-3. Проверено 24 августа 2012 года .
Метрики, с которыми мы будем иметь дело, будут взяты из норм поля F ...
- ^ Коблиц, Нил (1984). P-адические числа, p-адический анализ и дзета-функции (2-е изд.). Нью-Йорк: Springer-Verlag. п. 3. ISBN 978-0-387-96017-3. Проверено 24 августа 2012 года .
Под «тривиальной» нормой мы понимаем норму ‖ ‖ такую, что ‖0‖ = 0 и ‖ x ‖ = 1 при x ≠ 0.
- ^ Касселс (1986) стр.16
- ^ Касселс (1986) с.33
- ^ «Архивная копия» . Архивировано из оригинала на 2008-12-22 . Проверено 3 апреля 2009 .CS1 maint: заархивированная копия как заголовок ( ссылка )
Рекомендации
- Бурбаки, Николас (1972). Коммутативная алгебра . Эддисон-Уэсли.
- Касселс, JWS (1986). Местные поля . Тексты студентов Лондонского математического общества. 3 . Издательство Кембриджского университета . ISBN 0-521-31525-5. Zbl 0595.12006 .
- Джейкобсон, Натан (1989). Основная алгебра II (2-е изд.). WH Freeman. ISBN 0-7167-1933-9.Глава 9, абзац 1 « Абсолютные значения ».
- Януш, Джеральд Дж. (1996–1997). Поля алгебраических чисел (2-е изд.). Американское математическое общество. ISBN 0-8218-0429-4.