Пример двух изоморфных графов. Изоморфизм ставит в соответствие вершинам одного графа вершины другого графа того же цвета: две вершины соединены ребром в одном графе тогда и только тогда, когда вершины тех же цветов соединены ребром в другом графе.
Изоморфи́зм (от др.-греч.ἴσος — равный, одинаковый, подобный и μορφή — форма) — соотношение между математическими объектами, выражающее общность их строения; используется в различных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов.
Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры.
Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Например, два графа называются изоморфными, если между ними существует изоморфизм: то есть вершинам одного графа можно сопоставить вершины другого графа, так чтобы соединённым вершинам первого графа соответствовали соединённые вершины второго графа и наоборот. Иными словами, два графа изоморфны, если они «одинаковы» (с точностью до переименования вершин).
Другим классическим примером изоморфных систем могут служить множество всех вещественных чисел с определённой на нём операцией сложения и множество положительных вещественных чисел с заданной на нём операцией умножения.
Отображение в этом случае является изоморфизмом.
Понятие изоморфизма возникло в математике применительно к группам, впоследствии перенесено на другие классы объектов.
Например, для групп и биекция называется изоморфизмом, если для любых выполнено .
Если группы являются топологическими, то добавляется условие гомеоморфности соответствующих топологических пространств[1].
Для полей и биекция называется изоморфизмом, если она сохраняет обе операции поля, то есть для любых выполняется:
Для полей с дополнительной структурой (упорядоченные, топологические поля) может добавляться условие, что биекция сохраняет также эти дополнительные структуры.
Наиболее общим образом изоморфизм определяется в теории категорий: объекты категории изоморфны, если между ними существует обратимый морфизм, то есть морфизм ,
для которого существует такой морфизм , что композиции и — тождественные морфизмы. Определения категории групп, категории колец, категории векторных пространств и других структур строятся таким образом, что классические определения изоморфизма групп, колец, векторных пространств совпадают с общим определением изоморфизма в категории. При этом вводится также понятие изоморфизма категорий — взаимно-однозначного соответствия между категориями с обратимыми функторами.
Граф называется изоморфным графу , если существует биекция из множества вершин графа в множество вершин графа , обладающая следующим свойством: если в графе есть ребро из вершины в вершину , то в графе должно быть ребро из вершины в вершину и наоборот — если в графе есть ребро из вершины в вершину , то в графе должно быть ребро из вершины в вершину . В случае ориентированного графа эта биекция также должна сохранять ориентацию ребра. В случае взвешенного графа биекция также должна сохранять вес ребра.
Изоморфизм алгебраической системы на себя называется автоморфизмом. Совокупность всех автоморфизмов некоторой алгебраической системы с операцией композиции и тождественным отображением в качестве нейтрального элемента образует группу. Группа автоморфизмов алгебраической системы обозначается . Наиболее простой пример автоморфизма — это автоморфизм множества, то есть перестановка элементов этого множества.
Любой элемент группы определяет следующий автоморфизм, который называют внутренним автоморфизмом: каждому элементу группы ставится в соответствие сопряжённый ему элемент :
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия никому особо не приписывается, считается, что наиболее общие формулировки дала Эмми Нётер.