Изоморфизм

В общей алгебре изоморфизмом называется обратимое отображение, которое является гомоморфизмом. Ниже приводятся несколько примеров.

В теории множеств любая биекция является изоморфизмом.

К примеру, два частично упорядоченных множества изоморфны, если между ними есть биекция, сохраняющая порядок[3].

В теории категорий изоморфизм есть обратимый морфизм, то есть морфизм ${\displaystyle \varphi }$, для которого существует такой морфизм ${\displaystyle \varphi ^{-1}}$, что композиции ${\displaystyle \varphi ^{-1}\circ \varphi }$ и ${\displaystyle \varphi \circ \varphi ^{-1}}$ — тождественные морфизмы. Определения категории групп, категории колец, категории векторных пространств и других структур строятся таким образом, что классические определения изоморфизма групп, колец, векторных пространств совпадают с общим определением изоморфизма в категории.

Два линейных пространства ${\displaystyle V'(F)}$ и ${\displaystyle V''(F)}$ над одним и тем же полем ${\displaystyle F}$ называются изоморфными, если между векторами ${\displaystyle x'\in V'}$ и ${\displaystyle x''\in V''}$ можно установить взаимно однозначное соответствие таким образом, что выполняются условия[4]:

1. если вектору ${\displaystyle \mathbf {x} '\in V'}$ соответствует вектор ${\displaystyle \mathbf {x} ''\in V''}$, а вектору ${\displaystyle \mathbf {y} '\in V'}$ соответствует вектор ${\displaystyle \mathbf {y} ''\in V''}$, то вектору ${\displaystyle \mathbf {x} '+\mathbf {y} '\in V'}$ соответствует вектор ${\displaystyle \mathbf {x} ''+\mathbf {y} ''\in V''.}$
2. если вектору ${\displaystyle \mathbf {x} '\in V'}$ соответствует вектор ${\displaystyle \mathbf {x} ''\in V''}$, и ${\displaystyle \lambda }$ — элемент поля ${\displaystyle F}$, то вектору ${\displaystyle \lambda \mathbf {x} '\in V'}$ соответствует вектор ${\displaystyle \lambda \mathbf {x} ''\in V''.}$

Для нормированных пространств отображение одного из них в другое называется изоморфизмом нормированных пространств, если оно линейно, непрерывно и биективно, и обратное отображение тоже непрерывно. В этом смысле изоморфизм сохраняет структуру линейного пространства и топологию, но не обязательно сохраняет норму. Если изоморфизм ещё и сохраняет норму, то он называется изометрическим изоморфизмом или изометрией[5].

Граф ${\displaystyle G}$ называется изоморфным графу ${\displaystyle H}$, если существует биекция ${\displaystyle f}$ из множества вершин графа ${\displaystyle G}$ в множество вершин графа ${\displaystyle H}$, обладающая следующим свойством: если в графе ${\displaystyle G}$ есть ребро из вершины ${\displaystyle A}$ в вершину ${\displaystyle B}$, то в графе ${\displaystyle H}$ должно быть ребро из вершины ${\displaystyle f(A)}$ в вершину ${\displaystyle f(B)}$ и наоборот — если в графе ${\displaystyle H}$ есть ребро из вершины ${\displaystyle A}$ в вершину ${\displaystyle B}$, то в графе ${\displaystyle G}$ должно быть ребро из вершины ${\displaystyle f^{-1}(A)}$ в вершину ${\displaystyle f^{-1}(B)}$. В случае ориентированного графа эта биекция также должна сохранять ориентацию ребра. В случае взвешенного графа биекция также должна сохранять вес ребра.

В теории вычислительной сложности до сих пор является открытым вопрос о сложности задачи изоморфности графов. На данный момент не доказана ни её принадлежность классу ${\displaystyle P}$, ни её ${\displaystyle NP}$-полнота.

Изоморфизм алгебраической системы на себя называется автоморфизмом. Совокупность всех автоморфизмов некоторой алгебраической системы с операцией композиции и тождественным отображением в качестве нейтрального элемента образует группу. Группа автоморфизмов алгебраической системы ${\displaystyle K}$ обозначается ${\displaystyle \operatorname {Aut} K}$. Наиболее простой пример автоморфизма — это автоморфизм множества, то есть перестановка элементов этого множества.

Любой элемент ${\displaystyle g}$ группы определяет следующий автоморфизм, который называют внутренним автоморфизмом: каждому элементу группы ${\displaystyle x}$ ставится в соответствие сопряжённый ему элемент ${\displaystyle gxg^{-1}}$:

${\displaystyle f(x)=gxg^{-1}}$.

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

• Некоторая общая теория, уточняющая понятия изоморфизма (и других близких понятий) была предложена группой Бурбаки в их книге «Теория множеств» (Глава 4. Структуры).

Первая теорема об изоморфизме

Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия никому особо не приписывается, считается, что наиболее общие формулировки дала Эмми Нётер.

• Конгруэнция
• Функция
• Отображение

• Ван дер Варден Б. Л. Алгебра. (недоступная ссылка) СПб.: Лань, 2004, 624 стр., ISBN 5-8114-0552-9.
• Понтрягин, Лев Семёнович. Непрерывные группы. — М.: УРСС, — 2004. — 520с. — ISBN 5-354-00957-X.

• Земятченский П. А. Изоморфизм // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.