Русская Википедия:Период (алгебраическая геометрия)

Материал из Онлайн справочника
Версия от 08:52, 4 сентября 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{другие значения термина|период}} {{нет сносок|дата=2020-05-19}} '''Период''' в алгебраической геометрии — вещественное число, которое может быть выражено как объём области в <math>...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Другие значения термина Шаблон:Нет сносок Период в алгебраической геометрии — вещественное число, которое может быть выражено как объём области в <math>\R^n</math>, заданной системой полиномиальных неравенств с рациональными коэффициентами. Сумма, разность и произведение периодов также являются периодами, поэтому множество всех периодов образует кольцо, таким образом, изучается кольцо периодов. Комплексное число называется периодом, если и действительная, и мнимая его части являются периодами.

Классический пример периода — число <math>\pi</math>, являющееся площадью единичного круга <math>x^2+y^2 \leqslant 1</math>. Кольцо периодов включает в себя все алгебраические числа и многие известные трансцендентные числа, в частности, периодами являются натуральный логарифм любого алгебраического числа, <math>\Gamma (p/q)^q</math> (гамма-функция, для любых натуральных <math>p</math> и <math>q</math>), значения эллиптических интегралов от рациональных аргументов, значения дзета-функции Римана целых аргументов. Постоянная Хайтина <math>\Omega</math> является примером числа, не являющегося периодом.

Любой период является вычислимым, следовательно, и арифметическим числом; при этом возможно построить вычислимое число, не являющееся периодом (например, с использованием диагонального метода). Множество периодов, равно как и множество всех чисел, не являющихся периодами, плотно в <math>\R</math> и в <math>\Complex</math>; кольцо периодов является счётным множеством, а его дополнение до <math>\R</math> или до <math>\Complex</math> — несчётным. Порядок на множестве действительных периодов изоморфен порядку на множестве рациональных чисел.

С периодами связан ряд открытых проблем, среди таковых:

  • неизвестно, является ли кольцо периодов полем;
  • неизвестно, являются ли числа <math>e</math>, <math>1/\pi</math> или <math>\gamma</math> (постоянная Эйлера — Маскерони) периодами;
  • неизвестно ни одного естественного примера (то есть не сконструированного специально для этой цели) вычислимого числа, не являющегося периодом;
  • неизвестен алгоритм, который может определить, равны ли два периода, заданные своими системами неравенств. Также неизвестно, является ли эта задача вообще алгоритмически разрешимой.

Ссылки

Шаблон:Числа