Многочлен узла

В теории узлов многочлен узла — это инвариант узла в виде многочлена, коэффициенты которого кодируют некоторые свойства данного узла.

Источник: Википедия

Связанные понятия

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

В математике константой Чигера (также числом Чигера или изопериметрическим числом) графа называется числовая характеристика графа, отражающая, есть ли у графа «узкое место» или нет. Константа Чигера как способ измерения наличия «узкого места» представляет интерес во многих областях, например, для создания сильно связанных компьютерных сетей, для тасования карт и в топологии малых размерностей (в частности, при изучении гиперболических 3-мерных многообразий). Названа в честь математика Джефа Чигера...

Полупростые модули (вполне приводимые модули) — общеалгебраические модули, которые можно легко восстановить по их частям. Кольцо, являющееся полупростым модулем над самим собой, называется артиновым полупростым кольцом. Важный пример полупростого кольца — групповое кольцо конечной группы над полем характеристики ноль. Структура полупростых колец описывается теоремой Веддербёрна — Артина: все такие кольца являются прямыми произведениями колец матриц.

Подробнее: Полупростой модуль

Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь итальянского математика Марии Чибрарио, установившей эту нормальную форму для одного класса уравнений.

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

Четырёхмерная топология — раздел топологии, который исследует топологические и гладкие четырёхмерные многообразия.

В теории представлений групп Ли и алгебр Ли, фундаментальное представление — это неприводимое конечномерное представление полупростой группы Ли или алгебры Ли, старший вес которого является фундаментальным весом. Например, определяющий модуль классической группы Ли является фундаментальным представлением. Любое конечномерное неприводимое представление полупростой группы Ли или алгебры Ли полностью определяется своим старшим весом (теорема Картана) и может быть построено из фундаментальных представлений...

Подробнее: Фундаментальное представление

Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.

Икосианы — это некоммутативная алгебраическая система, обнаруженная ирландским математиком Уильямом Роуэном Гамильтоном в 1856 году. В современной терминологии он нашёл задание группы вращений икосаэдра с помощью генераторов и связей.

Говорят, что частичный порядок или линейный порядок < на множестве X плотный, если для всех x и y из X, для которых выполняется x < y, существует элемент z в X, такой что x < z < y.

В общей алгебре, поле k называется совершенным если выполняется одно из следующих эквивалентных условий...

Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.

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

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

Говорят, что ориентированный граф апериодичен, если нет целого числа k > 1, делящего длину любого цикла графа. Эквивалентно, граф апериодичен, если наибольший общий делитель длин его циклов равен единице. Этот наибольший общий делитель для графа G называется периодом графа G.

Степень роста группы — характеристика в теории групп, показывающая скорость прироста конечнопорождённых групп в виде класса функций, ставящих в соответствие количеству порождающих элементов порядок группы. Введена советским математиком Шварцем (1955) в рамках исследования вопроса о росте универсальных накрывающих римановых пространств и независимо от него американским математиком Милнором (1968) в связи с проблемами фундаментальных групп компактных римановых многообразий с ограничениями на кривизну...

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

Гипотеза Тёплица, также известная как гипотеза о вписанном квадрате — нерешённая проблема геометрии. Формулировка гипотезы...

Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности (однако некоторые авторы, например Бурбаки, ссылаются на кольцо главных идеалов как на целостное кольцо).

Максимальным идеалом коммутативного кольца называется всякий собственный идеал кольца, не содержащийся ни в каком другом собственном идеале.

Подробнее: Максимальный идеал

Теорема Новикова о компактном слое: Двумерное слоение на трехмерном многообразии с нестягиваемой универсальной накрывающей имеет компактный слой.

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

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

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Моноидальная категория (или тензорная категория) — категория C, снабженная бифунктором...

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

Подробнее: Прямая и обратная предельная теорема

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

Геометрический род — это базовый бирациональный инвариант pg алгебраических многообразий и комплексных многообразий.

Теоре́ма Тоне́лли — Фуби́ни в математическом анализе, теории вероятностей и смежных дисциплинах сводит вычисление двойного интеграла к повторным.

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

Говорят, что семейство графов имеет ограниченное расширение, если все его миноры ограниченной глубины являются редкими графами. Много естественных семейств редких графов имеют ограниченное расширение. Близкое, но более сильное свойство, полиномиальное расширение, эквивалентно существованию теорем разбиения для этих семейств. Семейства с этими свойствами имеют эффективные алгоритмы для задач, в которые входят задача поиска изоморфного подграфа и проверка моделей для теории первого порядка для графов...

Подробнее: Ограниченное расширение графа

Единичный отрезок — величина, принимаемая за единицу при геометрических построениях. При изображении декартовой системы координат, единичный отрезок обычно отмечается на каждой из осей.

Теория кос — раздел топологии и алгебры, изучающий косы и группы кос, составленные из их классов эквивалентности.

В геометрии трисектриса Маклорена — это кубика, примечательная своим свойством трисекции, поскольку она может быть использована для трисекции угла. Её можно определить как геометрическое место точек пересечения двух прямых, каждая из которых вращаются равномерно вокруг двух различных точек (полюсов) с отношением угловых скоростей 1:3, при этом первоначально прямые совпадают с прямой, проходящей через эти полюса. Обобщение этого построения называется Секущая Маклорена. Секущая названа в честь Колина...

Гипотезы Вейля — математические гипотезы о локальных дзета-функциях проективных многообразий над конечными полями.

Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...

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

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

В геометрии правильный косой многогранник — это обобщение множества правильных многогранников, которое включает возможность непланарных граней или вершинных фигур. Коксетер рассматривал косые вершинные фигуры, которые создавали новые четырёхмерные правильные многогранники, а много позднее Бранко Грюнбаум рассматривал правильные косые грани.

В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.

В математике степень простого числа — это простое число, возведённое в целую положительную степень.

В теории чисел квадратным треугольным числом (или треугольным квадратным числом) называется число, являющееся как треугольным, так и квадратным.

Подробнее: Квадратное треугольное число

Дискре́тное простра́нство в общей топологии и смежных областях математики — это пространство, все точки которого изолированы друг от друга в некотором смысле.

В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.

Дифференциа́л (от лат. differentia — разность, различие) в математике — линейная часть приращения дифференцируемой функции или отображения.

Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.

Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.

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

Подробнее: Линейная динамическая система

Сфера Блоха — способ представления чистых состояний кубита в виде точек на сфере.

Гипотеза Эрдёша-Бура — математическая проблема, касающаяся числа Рамсея на разреженных графах.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я