Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Динамическая система — множество элементов, для которого задана функциональная зависимость между временем и положением в фазовом пространстве каждого элемента системы. Данная математическая абстракция позволяет изучать и описывать эволюцию систем во времени.
Сопряжённые функторы — пара функторов, состоящих в определённом соотношении между собой. Понятие сопряжённых функторов и сам термин были предложены Даниэлем Каном в 1956 году. Сопряжённые функторы часто встречаются в разных областях математики.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
Диффеоморфизм Аносова — диффеоморфизм , гиперболичный на всём многообразии — отображение с устойчивой динамикой относительно малых возмущений. Введён в теорию динамических систем Дмитрием Аносовым.
В теории динамических систем, области математики, число вращения сохраняющего ориентацию гомеоморфизма окружности — среднее "число оборотов за одну итерацию" при длительном итерировании точки. Более точно, это предел отношения "числа оборотов" к количеству итераций.
В теории динамических систем, отображение f называется Ck-структурно устойчивым, если любое Ck-близкое к нему отображение g топологически сопряжено ему некоторым гомеоморфизмом h, близким к тождественному:
В теории динамических систем, теорема Пуанкаре о классификации гомеоморфизмов окружности описывает возможные типы обратимой динамики на окружности, в зависимости от числа вращения итерируемого отображения f. Грубо говоря, оказывается, что динамика итераций отображения в определённой степени похожа на динамику поворота на соответствующий угол.
Языки Арнольда — в теории динамических систем, области рациональности числа вращения в двупараметрическом семействе гомеоморфизмов окружности, начинающемся с чистых поворотов.
Пример Фюрстенберга — пример гладкой динамической системы на двумерном торе, которая минимальна, но не эргодична относительно меры Лебега.
Символическая динамика — объединяющее название класса динамических систем, для которых точками фазового пространства являются последовательности в некотором конечном алфавите «символов», а отображение заключается в сдвиге последовательности на один символ влево.
Кольцо Эрмана — в голоморфной динамике один из типов неподвижной или периодической компоненты связности области Фату. Такая компонента связности топологически эквивалентна кольцу, а динамика отображения должна быть сопряжена иррациональному повороту этого кольца.
Гладкое многообразие — многообразие, наделенное гладкой структурой. Гладкие многообразия являются естественной базой для построения дифференциальной геометрии. На дифференциальных многообразиях вводятся дополнительные инфинитезимальные структуры — касательное пространство, ориентация, метрика, связность и т. д., и изучаются те свойства, связанные с этими объектами, которые инвариантны относительно группы диффеоморфизмов, сохраняющих дополнительную структуру.