 | Эта статья требует дополнительных ссылок для проверки . ( декабрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В математике , в частности в теории поля и реальной алгебре , формально реальное поле - это поле, которое может быть оснащено (не обязательно уникальным) порядком, который делает его упорядоченным полем .
Альтернативные определения [ править ]
Приведенное выше определение не является определением первого порядка , поскольку требует кванторов над множествами . Однако следующие критерии могут быть закодированы как (бесконечное число) первого порядка предложений на языке полей и эквивалентны приведенному выше определению.
Формально вещественное поле F - это поле, которое также удовлетворяет одному из следующих эквивалентных свойств: [1] [2]
- -1 не является суммой квадратов в F . Другими словами, Stufe из F бесконечна. (В частности, такое поле должно иметь характеристику 0, поскольку в поле характеристики p элемент -1 представляет собой сумму единиц.) Это может быть выражено в логике первого порядка с помощью , и т. Д., С одним предложением для каждого количество переменных.
- Существует элемент F, который не является суммой квадратов в F , и характеристика F не равна 2.
- Если любая сумма квадратов элементов F равна нулю, то каждый из этих элементов должен быть равен нулю.
Легко видеть, что эти три свойства эквивалентны. Также легко видеть, что поле, допускающее упорядочение, должно удовлетворять этим трем свойствам.
Доказательство того, что если F удовлетворяет этим трем свойствам, то F допускает упорядочение, использует понятие преположительных конусов и положительных конусов. Пусть -1 не является суммой квадратов, то леммы Цорна рассуждение показывает , что препозиционный конус суммы квадратов может быть расширена до положительного конуса P ⊂ F . Один использует этот положительный конус , чтобы определить порядок: ≤ б тогда и только тогда , когда Ь - принадлежит P .
Реальные закрытые поля [ править ]
Формально реальное поле без формально вещественного собственного алгебраического расширения является вещественным замкнутым полем . [3] Если К формально реальным и Ω является алгебраически замкнутое поле , содержащее K , то существует реальная замкнутое подполе из Q , содержащий K . Реальное замкнутое поле можно упорядочить уникальным образом [3], а неотрицательные элементы - это в точности квадраты.
Заметки [ править ]
Ссылки [ править ]
- Милнор, Джон ; Хусемоллер, Дейл (1973). Симметричные билинейные формы . Springer. ISBN 3-540-06009-Х.
- Раджваде, АР (1993). Квадраты . Серия лекций Лондонского математического общества. 171 . Издательство Кембриджского университета . ISBN 0-521-42668-5. Zbl 0785.11022 .
