Теория кос

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

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

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

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

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

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

Бесконечномерное пространство — векторное пространство c бесконечно большой размерностью.

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

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

Синглетон — множество с единственным элементом. Например, множество {0} является синглетоном.

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

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

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

Петля в топологическом пространстве X — это непрерывное отображение f единичного отрезка I = в X, такое что f(0) = f(1). Другими словами, это путь, начальная точка которого совпадает с конечной.

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

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

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

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

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

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

Поляра точки P относительно невырожденной кривой второго порядка — множество точек N, гармонически сопряжённых с точкой P относительно точек M1 и M2 пересечения кривой второго порядка секущими, проходящими через точку P.

Полурешётка (англ. semilattice, до 1960-х годов также использовался термин полуструктура) в общей алгебре — полугруппа, бинарная операция в которой коммутативна и идемпотентна.

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

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

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

Ортонорми́рованная система — ортогональная система, у которой каждый элемент системы имеет единичную норму.

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

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

Преобразование в математике — отображение (функция) множества в себя. Иногда (в особенности в математическом анализе и геометрии) преобразованиями называют отображения, переводящие некоторое множество в другое множество.

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

Категория абелевых групп (обозначается Ab) — категория, объекты которой — абелевы группы, а морфизмы — гомоморфизмы групп. Является прототипом абелевой категории., в действительности, любая малая абелева категория может быть вложена в Ab.

Эрмитова форма — естественный аналог понятия симметричной билинейной формы для комплексных векторных пространств. Для эрмитовых форм верны аналоги многих свойств симметрических форм: приведение к каноническому виду, понятие положительной определенности и критерий Сильвестра.

Флаг в геометрии многогранников — последовательность граней (различной размерности) абстрактного многогранника, в которой каждая предыдущая грань содержится в последующей и последовательность содержит ровно по одной грани каждой размерности.

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

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

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

Группы сферической симметрии также называются точечными группами в трёхмерном пространстве, однако эта статья рассматривает только конечные симметрии.

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

В математике, категория групп — это категория, класс объектов которой составляют группы, а морфизмы — гомоморфизмы групп.

Недезаргова плоскость — это проективная плоскость, не удовлетворяющая теореме Дезарга, другими словами, не являющаяся дезарговой. Теорема Дезарга верна во всех проективных пространств размерности, не равной 2, то есть, для всех классических проективных геометрий над полем (или телом), но Гильберт обнаружил, что некоторые проективные плоскости не удовлетворяют теореме.

Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.

Локальное поле — определённый тип полей с топологией, часто возникающих как пополнения полей.

В теории категорий множества Hom (то есть множества морфизмов между двумя объектами) позволяют определить важные функторы в категорию множеств. Эти функторы называются функторами Hom и имеют многочисленные приложения в теории категорий и других областях математики.

Подробнее: Функтор Hom

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

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

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

Подробнее: Эллиптическое уравнение

Касание — свойство двух линий или линии и поверхности иметь в некоторой точке общую касательную прямую или свойство двух поверхностей иметь в некоторой точке общую касательную плоскость.

Как и для криволинейных интегралов, существуют два рода поверхностных интегралов.

Подробнее: Поверхностные интегралы

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

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

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

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

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

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

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