Связанные понятия
В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.
Подробнее: Монодромия
Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.
Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой P и прямой l, которое записывается как P I l. Если P I l, пара (P, l) называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на...
Подробнее: Инцидентность (геометрия)
Теорема Брауэра о неподвижной точке — важная теорема о неподвижной точке, применимая к непрерывным отображениям в конечномерных пространствах, являющаяся основной для некоторых более общих теорем.
Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.
Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;
Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т. д.), а также поведение этих объектов под действием различных топологических операций.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.
Тополо́гия Зари́сского , или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Субри́маново многообра́зие — математическое понятие, обобщающее риманово многообразие. Суть обобщения состоит в том, что скалярное произведение задается не на касательных пространствах целиком, а только на некоторых их подпространствах (как правило, фиксированной размерности).
Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
Теорема Бендиксона утверждает, что если дивергенция векторного поля на плоскости (или двумерном многообразии) знакопостоянна и отлична от нуля в некоторой односвязной области, то отсутствуют замкнутые фазовые кривые этого поля, целиком лежащие в этой области. В частности, признак позволяет показать, что в области отсутствуют предельные циклы.
В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.
Особая точка кривой — точка, в окрестности которой не существует гладкой параметризации. Точное определение зависит от типа изучаемой кривой.
Особенность , или сингулярность в математике — это точка, в которой математический объект (обычно функция) не определён или имеет нерегулярное поведение (например, точка, в которой функция имеет разрыв или недифференцируема).
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Теорема унитарности — утверждение о свойствах представлений конечных групп. Играет важную роль при применении методов теории групп в физике.
Теорема Пеано (иногда теорема Коши — Пеано) — теорема о существовании решения обыкновенного дифференциального уравнения, которая утверждает, что...
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества. Дифференцируемость является одним из фундаментальных понятий в математике и имеет значительное число приложений как в самой математике, так и в других естественных науках.
Интеграл — одно из важнейших понятий математического анализа, которое возникает при решении задач о нахождении площади под кривой, пройденного пути при неравномерном движении, массы неоднородного тела, и тому подобных, а также в задаче о восстановлении функции по её производной (неопределённый интеграл). Упрощённо интеграл можно представить как аналог суммы для бесконечного числа бесконечно малых слагаемых. В зависимости от пространства, на котором задана подынтегральная функция, интеграл может быть...
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.
Ве́кторная величина ́ — физическая величина, являющаяся вектором (тензором ранга 1). Противопоставляется с одной стороны скалярным (тензорам ранга 0), с другой — тензорным величинам (строго говоря — тензорам ранга 2 и более). Также может противопоставляться тем или иным объектам совершенно другой математической природы.
Теорема о топологической цензуре в общей теории относительности утверждает, что в отсутствие экзотической материи нетривиальная топология пространства-времени не может быть обнаружена внешним наблюдателем, так как любые такие области коллапсируют настолько быстро, что свет не успевает их пересечь. Более точная формулировка утверждает, что в глобально гиперболическом и асимптотически плоском пространстве-времени, где выполняются световые энергетические условия, любая причинная кривая от светоподобной...
Подробнее: Топологическая цензура
Точка округления (круговая точка, омбилическая точка или омбилика) ― точка на гладкой регулярной поверхности в евклидовом пространстве, в которой нормальные кривизны по всем направлениям равны.
Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.
Ко́мпле́ксный ана́лиз , тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Лемма о змее — это инструмент, используемый в математике, особенно в гомологической алгебре, для построения длинных точных последовательностей. Лемма о змее верна в любой абелевой категории и играет ключевую роль в гомологической алгебре и её приложениях, например в алгебраической топологии. Гомоморфизмы, построенные с её помощью, обычно называют связывающими гомоморфизмами.
Разду́тие (называемое Тюриным сигма-процессом, а Маниным моноидальным преобразованием) — операция в алгебраической геометрии. В простейшем случае оно, грубо говоря, оно состоит в замене точки на множество всех прямых, проходящих через неё.
Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.
Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.
Геометрия Лобачевского (или гиперболическая геометрия) — одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных прямых, которая заменяется её отрицанием.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу, и являющаяся также коассоциативной коалгеброй с коединицей и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.
В физике топологическое квантовое число (также называемое топологическим зарядом) — это любая величина в физической теории, которая принимает лишь дискретное множество значений, вследствие топологических соображений. Обычно топологические квантовые числа являются топологическими инвариантами, связанными с решениями типа топологических солитонов некоторой системы дифференциальных уравнений, моделирующих физическую систему, так как солитоны сами по себе своей стабильностью обязаны топологическим соображениям...
Зеркальная симметрия была изначально обнаружена физиками. Математики заинтересовались этим явлением около 1990 года, когда Филип Канделас, Ксения де ла Осса, Пол Грин и Линда Паркс показали, что зеркальную симметрию можно использовать в качестве инструмента в исчислительной геометрии, разделе математики, занимающемся подсчётом количества ответов на те или иные геометрические вопросы. Канделас и соавторы показали, что зеркальная симметрия может быть использована для подсчёта числа рациональных кривых...
Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...