Поле — понятие в математике, физике и информатике¶
Поле — множество с двумя бинарными операциями (обычно обозначаемыми как сложение и умножение), удовлетворяющее определённой системе аксиом, каждая из которых является обобщением свойств обычных чисел. Термин используется в нескольких научных дисциплинах со специфическими значениями: в математике — как алгебраическая структура, в физике — как описание пространственного распределения величины, в информатике — как элемент структуры данных.
¶Математическое поле
¶Определение
Поле — это множество $F$ с двумя операциями «сложение» ($+$) и «умножение» ($\cdot$), такие что:
- $(F, +)$ — абелева группа с нулём $0$;
- $(F \setminus \{0\}, \cdot)$ — абелева группа с единицей $1$;
- Умножение дистрибутивно относительно сложения.
Из этих аксиом, в частности, следует, что $0 \neq 1$, и что в поле нет делителей нуля. Классические примеры полей: рациональные числа $\mathbb{Q}$, вещественные $\mathbb{R}$, комплексные $\mathbb{C}$, а также поля конечной характеристики $\mathbb{F}_p$ — остатки по модулю простое число $p$.
¶Характеристика поля
Характеристика поля — наименьшее натуральное $n$, такое что $n \cdot 1 = 0$ (где $n \cdot 1$ — это $1$, сложенный с самим собой $n$ раз). Если такого $n$ нет, характеристика равна нулю. Характеристика любого поля — либо ноль, либо простое число. Поля нулевой характеристики включают $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$; поля конечной характеристики $p$ — $\mathbb{F}_p$ и их расширения.
¶Конечные поля
Конечное поле (поле Галуа) — поле с конечным числом элементов. Их число всегда равно $p^n$, где $p$ — характеристика, $n$ — натуральное число. Для каждого $p^n$ существует (с точностью до изоморфизма) ровно одно поле $\mathbb{F}_{p^n}$. Конечные поля широко применяются в криптографии (например, в алгоритме AES используются поля $\mathbb{F}_{2^8}$) и теории кодирования.
¶Расширения полей
Расширение поля — поле $L$, содержащее поле $K$ в качестве подкольца. Степень расширения $[L : K]$ — размерность $L$ как векторного пространства над $K$. Ключевые примеры: $\mathbb{C}$ — расширение степени 2 над $\mathbb{R}$ (добавление корня из $-1$); $\mathbb{Q}(\sqrt{2})$ — расширение степени 2 над $\mathbb{Q}$.
Поле алгебраических чисел над $\mathbb{Q}$ — это объединение всех конечных расширений $\mathbb{Q}$ в некотором пополнении $\mathbb{C}$. Теорема о неподвижной точке Галуа устанавливает фундаментальную связь между подгруппами группы Галуа расширения и промежуточными полями.
¶Упорядоченные поля
Поле называется упорядоченным, если на нём задан порядок, совместимый с операциями: из $a < b$ следует $a + c < b + c$, а из $0 < a$ и $0 < b$ следует $0 < ab$. $\mathbb{Q}$ и $\mathbb{R}$ упорядочены естественным образом; $\mathbb{C}$ упорядочить нельзя — в частности, в упорядоченном поле из $-1 = i^2$ и $0 < i$ или $i < 0$ следует противоречие.
¶Поле в физике
В теории физических полей поле — это пространственно-временное распределение некоторой физической величины. Скалярное поле $\varphi(x, t)$ сопоставляет каждой точке пространства-времени одно число, векторное поле — вектор, тензорное поле — тензор.
Ключевые примеры: гравитационное поле (описывается потенциалом или метрикой в ОТО), электромагнитное поле (четырёхпотенциал $A^\mu$), скалярное поле бозона Хиггса. Классическая теория поля объединяет электродинамику Максвелля, гравитацию (ОТО) и теорию относительности. Квантовые поля — основа Стандартной модели: частицы интерпретируются как возбуждения соответствующих квантовых полей.
¶Поле в информатике и данных
В теории баз данных поле (field) — минимальная неделимая единица хранения данных в записи: атрибут фиксированного типа (числовой, строковый, дата и т. д.). Например, в таблице «Сотрудник» полями являются «ФИО», «Табельный номер», «Дата приёма». Поля объединяются в записи, записи — в таблицы.
В веб-формах поле — элемент интерфейса для ввода данных пользователем (текстовое поле, поле выбора, флажок).
¶Поле в ботанике и сельском хозяйстве
В агрономии и ботанике поле — участок земли, используемый для возделывания сельскохозяйственных культур. Поля делятся по типу посева (яровые, озимые), по культуре (пшеничное, картофельное), по системе земледелия (паровое, травопольное). Понятие поля тесно связано с севооборотом — системой чередования культур на одном участке.
¶Применение
- Алгебраическая геометрия: аффинные и проективные пространства строятся над полем; многочлены и алгебраические многообразия определяются относительно поля.
- Криптография: схемы на эллиптических кривых используют конечные поля $\mathbb{F}_p$ и $\mathbb{F}_{2^n}$.
- Теория чисел: Диофантовы уравнения исследуются через расширения полей и целые кольца.
- Физика: стандартная модель описывает фундаментальные взаимодействия как квантовые поля на пространстве Минковского.
¶История
Понятие поля возникло в XIX веке в связи с изучением решения уравнений. Работы Эвариста Галуа (1830-е годы) над условиями разрешимости уравнений через радикалы привели к формированию теории расширений полей. Термин «поле» (нем. Körper) ввёл Рихард Дедекинд в 1871 году; английский эквивалент field предложил Лотар Хейзе в 1893 году. Аксиоматическое определение поля сформулировано в работах Хуго Генкинса (1903) и Стефана Банаха (1937).
¶Исторические источники
- Бурбаки Н. Основы истории математики.
- Ван дер Варден Б. Л. Алгебра.
- Курош А. Г. Курс общей алгебры.
- Ленг С. Алгебра.
- Артин Э. Алгебра.
- Физическая энциклопедия (статья «Поле физическое»).