Топологическая комбинаторика

Топологическая комбинаторика — это молодая область математики, возникшая в последней четверти 20-го века, которая занимается следующими вопросами:

Применение методов топологии к задачам дискретной математики
Топологические обобщения задач дискретной геометрии
Дискретизация топологических понятий.

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

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

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

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

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

Общая топология, или теоретико-множественная топология, — раздел топологии, в котором изучаются понятия «непрерывности» и «предела» в наиболее общем смысле.

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

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

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

А́лгебра (от араб. الْجَبْر‎, «аль-джабр» — восполнение) — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под алгеброй понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.

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

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

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

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

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

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

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

Тополо́гия (от др.-греч. τόπος — место и λόγος — слово, учение) — раздел математики, изучающий...

Основная теорема (англ. fundamental theorem, нем. Hauptsatz) — математическая теорема, получившая особый статус в связи с ключевой ролью для развития какой-либо из областей математики. Такой статус отражает в первую очередь значение для той или иной отрасли, при этом не обязательно он связан со сложностью или элементарностью формулировки или доказательства.

Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;

Инвариа́нт — это свойство некоторого класса (множества) математических объектов, остающееся неизменным при преобразованиях определённого типа.

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

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

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

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

Подробнее: Комбинаторная схема

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

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

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

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

Ба́зис Грёбнера — множество, которое порождает идеал заданного кольца многочленов, обладающее специальными свойствами.

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

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

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

Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.

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

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

Интеграл Даниеля — одно из обобщений интеграла Римана, альтернативное понятию интеграла Лебега.

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

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

Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.

Абелево многообразие — это проективное алгебраическое многообразие, являющееся алгебраической группой (это значит, что закон композиции задаётся регулярной функцией).

Многообразие Шимуры (иногда многообразие Симуры) — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры...

В математике инвариант Парри — Салливана (или число Парри — Салливана) — это числовое значение, представляющее интерес при изучении матриц инцидентности в теории графов и некоторых одномерных динамических систем. Инвариант даёт частичную классификацию нетривиальных неприводимых матриц инцидентности.

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

Бикватернионы — комплексификация (расширение) обычных (вещественных) кватернионов.

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

Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.

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

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

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

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

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

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