Амёба (комплексный анализ)

Амёба в комплексном анализе — образ заданного замкнутого аналитического подмножества^[англ.] $(\mathbb {C} ^{*})^{n}$ под действием отображения:

\operatorname {Log} :(\mathbb {C} ^{*})^{n}\to \mathbb {R} ^{n},\quad (z_{1},\dots ,z_{n})\mapsto {\big (}\log |z_{1}|,\dots ,\log |z_{n}|{\big )}.

В частности, амёбой многочлена от нескольких комплексных переменных называется амёба его множества нулей.

Всякая амёба замкнута. Все связные компоненты дополнения к амёбе $\mathbb {R} ^{n}\setminus {\mathcal {A}}_{p}$ — выпуклые множества. Площадь амёбы ненулевого многочлена от двух комплексных переменных конечна.

Понятие амёбы впервые введено в монографии Гельфанда, Капранова и Зелевинского 1994 года^[1]. Названа по визуальному сходству графика с простейшим животным: двумерная амёба имеет несколько «ложноножек», которые экспоненциально сужаются в направлении к бесконечности. Понятие используется в алгебраической геометрии, и, в частности, в тропической геометрии.

Примечания

↑ Гельфанд — Капранов — Зелевинский, 1994.

Литература

Gelfand I. M., Kapranov M. M., Zelevinsky A. V. Discriminants, resultants, and multidimensional determinants. — Boston, MA: Birkhäuser Boston, Inc., 1994. — P. x + 523. — (Mathematics: Theory & Applications).
Mikhalkin G. Real algebraic curves, moment map and amoebas // Ann. of Math.. — 2000. — Vol. 151, № 1. — P. 309—326.
Viro O. What is an amoeba? // Notices of the AMS. — 2002. — Vol. 49, № 8. — P. 916—917.
Passare M., Tsikh A. Amoebas: their spines and their contours (англ.) // Idempotent Mathematics and Mathematical Physics : International workshop, February 3–10, 2003, Erwin Schrödinger International Institute for Mathematical Physics, Vienna, Austria / Eds. Litvinov G. L., Maslov V. P.. — AMS, 2005. — Vol. 377. — ISBN 978-0-8218-3538-8. — ISSN 0271-4132.

Похожие исследовательские статьи

По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.

Многочле́н — фундаментальное понятие в алгебре и математическом анализе. В простейшем случае многочленом называется функция вещественной или комплексной переменной $\text{[math]}$ следующего вида:

\text{[math]}

, где

\text{[math]}

— фиксированные коэффициенты.

<span class="mw-page-title-main">Рациональная функция</span> числовая функция, которая может быть представлена в виде дроби, числителем и знаменателем которой являются многочлены

Рациона́льная фу́нкция, или дро́бно-рациона́льная фу́нкция, или рациона́льная дробь — это числовая функция, которая может быть представлена в виде дроби, числителем и знаменателем которой являются многочлены. К этому виду может быть приведено любое рациональное выражение, то есть алгебраическое выражение, без радикалов.

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.

Алгоритм Адлемана — первый субэкспоненциальный алгоритм дискретного логарифмирования в кольце вычетов по модулю простого числа. Алгоритм был предложен Леонардом Максом Адлеманом в 1979 году. Леонард Макс Адлеман — американский учёный-теоретик в области компьютерных наук, профессор компьютерных наук и молекулярной биологии в Университете Южной Калифорнии. Он известен как соавтор системы шифрования RSA и ДНК-вычислений. RSA широко используется в приложениях компьютерной безопасности, включая протокол HTTPS.

Теоре́ма Ги́льберта о нуля́х — теорема, устанавливающая фундаментальную взаимосвязь между геометрией и алгеброй. Использование этой взаимосвязи является основой алгебраической геометрии.

Тест Аграва́ла — Кая́ла — Саксе́ны — единственный известный на данный момент универсальный полиномиальный, детерминированный и безусловный тест простоты чисел, основанный на обобщении малой теоремы Ферма на многочлены.

Алгоритм Берлекэмпа — алгоритм, предназначенный для факторизации унитарных многочленов над конечным полем. Разработан Элвином Берлекэмпом в 1967 году. Может использоваться также для проверки неприводимости многочленов над конечными полями. Основная идея алгоритма заключается в возможности представления исходного многочлена в виде произведения наибольших общих делителей самого многочлена и некоторых многочленов, которые с точностью до свободного члена являются $\text{[math]}$ -разлагающими.

Общий метод решета числового поля — метод факторизации целых чисел. Является наиболее эффективным алгоритмом факторизации чисел длиной более 110 десятичных знаков. Сложность алгоритма оценивается эвристической формулой

\text{[math]}

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.

Алгоритм Берлекэмпа — Рабина — вероятностный метод нахождения корней многочленов над полем $\text{[math]}$ с полиномиальной сложностью. Метод был описан американским математиком Элвином Берлекэмпом в 1970 году в качестве побочного к алгоритму факторизации многочленов над конечными полями и позже был доработан Михаэлем Рабином для случая произвольных конечных полей. Изначальная версия алгоритма, предложенная Берлекэмпом в 1967 году, не была полиномиальной. Опубликованная в 1970 году на основе результатов Цассенхауза версия алгоритма работала с большими значениями $\text{[math]}$ , в ней заглавный метод использовался в качестве вспомогательного. На момент публикации метод был распространён в профессиональной среде, однако редко встречался в литературе.

Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.

Теорема Зайденберга — Тарского — утверждение о возможности элиминации кванторов в элементарной теории вещественных чисел со сложением и умножением, и как следствие, разрешимости этой теории.

Теория амёб — раздел комплексного анализа, изучающий геометрию алгебраических множеств. Находит широкое применение в алгебраической и тропической геометрии.

Мера Малера $\text{[math]}$ для многочлена $\text{[math]}$ с комплексными коэффициентами определяется как

\text{[math]}

В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.

Теорема Колмогорова — Арнольда — теорема из анализа действительного переменного и теории приближений, гласит, что каждая многомерная непрерывная функция может быть представлена в виде суперпозиции непрерывных функций одной переменной. Она решает в более общем виде тринадцатую проблему Гильберта.

Тест ассоциативности — проверка бинарной операции на ассоциативность. Наивная процедура проверки, заключающаяся в переборе всех возможных троек аргументов операции, требует $\text{[math]}$ времени, где $\text{[math]}$ — размер множества, над которым определена операция. Ранние тесты ассоциативности не давали асимптотических улучшений по сравнению с наивным алгоритмом, однако позволяли улучшить время работы в некоторых частных случаях. Например, Роберт Тарьян в 1972 году обнаружил, что предложенный в 1949 году тест Лайта позволяет выполнить проверку за $\text{[math]}$ , если исследуемая бинарная операция обратима. Первый вероятностный тест, улучшающий время работы с $\text{[math]}$ до $\text{[math]}$ , был предложен в 1996 году Шридхаром Раджагопаланом и Леонардом Шульманом. В 2015 году был предложен квантовый алгоритм, проверяющий операцию на ассоциативность за время $\text{[math]}$ , что является улучшением по сравнению с поиском Гровера, работающим за $\text{[math]}$ .

Лемма Шварца — Зиппеля — результат, широко используемый в проверке равенства многочленов, то есть, в задаче проверки некоторого многочлена многих переменных на тождественное равенство нулю. Лемма была независимо открыта Джеком Шварцем, Ричардом Зиппелем, а также Ричардом Де Милло и Ричардом Липтоном, хотя версия Де Милло и Липтона появилась на год раньше результата Шварца и Зиппеля. Версия леммы для конечных полей было доказана Ойстином Оре в 1922 году.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.