Изоморфизм

Группа корней пятой степени из единицы при умножении изоморфна группе вращений правильного пятиугольника при композиции.

В математике изоморфизм — это сохраняющее структуру отображение между двумя структурами одного и того же типа , которое можно обратить обратным отображением . Две математические структуры изоморфны, если между ними существует изоморфизм. Слово изоморфизм происходит от древнегреческого : ἴσος isos «равный» и μορφή morphe «форма» или «форма».

Интерес к изоморфизмам заключается в том, что два изоморфных объекта обладают одинаковыми свойствами (исключая дополнительную информацию, такую как дополнительная структура или имена объектов). Таким образом, изоморфные структуры не могут быть различены только с точки зрения структуры и могут быть идентифицированы. На математическом жаргоне говорят, что два объекта одинаковы с точностью до изоморфизма . ^{[ нужна цитата ]}

Автоморфизм — это изоморфизм структуры в себя. Изоморфизм между двумя структурами является каноническим изоморфизмом ( каноническим отображением , которое является изоморфизмом), если между двумя структурами существует только один изоморфизм (как в случае решений с универсальным свойством ) или если изоморфизм гораздо более естественен ( в некотором смысле), чем другие изоморфизмы. Например, для каждого простого числа $p$ все поля с $p$ элементами канонически изоморфны с уникальным изоморфизмом. Теоремы об изоморфизме предоставляют канонические изоморфизмы, которые не являются уникальными.

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

В различных областях математики изоморфизмы получили специализированные названия в зависимости от типа рассматриваемой структуры. Например:

Изометрия — это изоморфизм метрических пространств .
Гомеоморфизм — это изоморфизм топологических пространств .
Диффеоморфизм — изоморфизм пространств, наделенных дифференциальной структурой , типично дифференцируемых многообразий .
Симплектоморфизм — изоморфизм симплектических многообразий .
Перестановка — это автоморфизм множества .
В геометрии изоморфизмы и автоморфизмы часто называют преобразованиями , например жесткими преобразованиями , аффинными преобразованиями , проективными преобразованиями .

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

Примеры

Логарифм и экспонента

Пусть – мультипликативная группа положительных действительных чисел , и пусть – аддитивная группа действительных чисел. $\mathbb {R} ^{+}$ $\mathbb {R}$

Функция логарифма удовлетворяет всем , поэтому это групповой гомоморфизм . Показательная функция удовлетворяет всем , поэтому она тоже является гомоморфизмом. $\log :\mathbb {R} ^{+}\to \mathbb {R}$ $\log(xy)=\log x+\log y$ $x,y\in \mathbb {R} ^{+},$ $\exp :\mathbb {R} \to \mathbb {R} ^{+}$ $\exp(x+y)=(\exp x)(\exp y)$ $x,y\in \mathbb {R},$

Тождества и показывают, что и являются инверсиями друг друга. Так как это гомоморфизм, имеющий обратный, который также является гомоморфизмом, то это изоморфизм групп. $\log \exp x=x$ $\exp \log y=y$ $\log$ $\exp$ $\log$ $\log$

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

Целые числа по модулю 6

Рассмотрим группу целых чисел от 0 до 5 со сложением по модулю 6. Также рассмотрим группу упорядоченных пар, где координаты x могут быть 0 или 1, а координаты y могут быть 0, 1 или 2, где сложение по x - координата равна модулю 2, а сложение по координате y - модулю 3. $(\mathbb {Z} _{6},+),$ $\left(\mathbb {Z} _{2}\times \mathbb {Z} _{3},+\right),$

Эти структуры изоморфны при сложении по следующей схеме: или, вообще говоря, ${\begin{alignedat}{4}(0,0)&\mapsto 0\\(1,1)&\mapsto 1\\(0,2)&\mapsto 2\\(1,0)&\mapsto 3\\(0,1)&\mapsto 4\\(1,2)&\mapsto 5\\\end{alignedat}}$ $(a,b)\mapsto (3a+4b)\mod 6.$

Например, что в другой системе переводится как $(1,1)+(1,0)=(0,1),$ $1+3=4.$

Хотя эти две группы «выглядят» по-разному, поскольку множества содержат разные элементы, на самом деле они изоморфны : их структуры совершенно одинаковы. В более общем смысле, прямой продукт двух циклических групп и изоморфен тогда и только тогда, когда m и n взаимно просты , согласно китайской теореме об остатках . $\mathbb {Z} _{m}$ $\mathbb {Z} _{n}$ $(\mathbb {Z} _{mn},+)$

Изоморфизм, сохраняющий отношения

Если один объект состоит из множества X с бинарным отношением R, а другой объект состоит из множества Y с бинарным отношением S, то изоморфизм X в Y является биективной функцией такой, что: ^[1] $f:X\to Y$ $\operatorname {S} (f(u),f(v))\quad {\text{ if and only if }}\quad \operatorname {R} (u,v)$

S является рефлексивным , иррефлексивным , симметричным , антисимметричным , асимметричным , транзитивным , полным , трихотомическим , частичным порядком , полным порядком , хорошим порядком , строгим слабым порядком , полным предпорядком (слабым порядком), отношением эквивалентности или отношением с любым другим специальные свойства тогда и только тогда, когда R таков.

Например, R — это порядок ≤, а S — это порядок, тогда изоморфизм от X до Y — это биективная функция такая, что Такой изоморфизм называется изоморфизмом порядка или (реже) изотонным изоморфизмом . $\scriptstyle \sqsubseteq ,$ $f:X\to Y$ $f(u)\sqsubseteq f(v)\quad {\text{ if and only if }}\quad u\leq v.$

Если то это автоморфизм , сохраняющий отношения . $X=Y,$

Приложения

В алгебре изоморфизмы определены для всех алгебраических структур . Некоторые из них изучаются более конкретно; например:

Линейные изоморфизмы между векторными пространствами ; они задаются обратимыми матрицами .
Групповые изоморфизмы между группами ; классификация классов изоморфизма конечных групп является открытой проблемой.
Кольцевой изоморфизм между кольцами .
Изоморфизмы полей — это то же самое, что изоморфизм колец между полями ; их изучение, а точнее изучение полевых автоморфизмов, является важной частью теории Галуа .

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

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

В теории графов изоморфизм между двумя графами G и H — это биективное отображение f из вершин G в вершины H , которое сохраняет «структуру ребра» в том смысле, что существует ребро из вершины u в вершину v в G. тогда и только тогда, когда в H существует ребро из to . См. изоморфизм графов . $f(u)$ $f(v)$

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

В ранних теориях логического атомизма Бертран Рассел и Людвиг Витгенштейн считали формальные отношения между фактами и истинными суждениями изоморфными. Пример такого подхода можно найти во « Введении в математическую философию» Рассела .

В кибернетике формулируется хороший регулятор или теорема Конанта-Эшби: «Каждый хороший регулятор системы должен быть моделью этой системы». Независимо от того, регулируется ли она или саморегулируется, между регулятором и обрабатывающими частями системы необходим изоморфизм.

Теоретический взгляд на категории

В теории категорий , учитывая категорию C , изоморфизм — это морфизм , который имеет обратный морфизм , который является, и Например, биективное линейное отображение является изоморфизмом между векторными пространствами , а биективная непрерывная функция , обратная которой также непрерывна, является изоморфизмом между топологическими пространствами , называемое гомеоморфизмом . $f:a\to b$ $g:b\to a,$ $fg=1_{b}$ $gf=1_{a}.$

Две категории $C$ и $D$ изоморфны , если существуют функторы , взаимно обратные друг другу, то есть (тождественный функтор на $D$ ) и (тождественный функтор на $C$ ). $F:C\to D$ $G:D\to C$ $FG=1_{D}$ $GF=1_{C}$

Изоморфизм против биективного морфизма

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

Связь с равенством

В некоторых областях математики, особенно в теории категорий, полезно различать равенство, с одной стороны, и изоморфизм , с другой. ^[2] Равенство — это когда два объекта абсолютно одинаковы, и все, что верно в отношении одного объекта, верно и в отношении другого, в то время как изоморфизм подразумевает, что все, что верно в отношении обозначенной части структуры одного объекта, верно и в отношении другого. Например, множества равны ; это просто разные представления — первое — интенсиональное (в нотации построителя множеств ), а второе — экстенсиональное (путем явного перечисления) — одного и того же подмножества целых чисел. Напротив, множества и не равны : в первом есть элементы, являющиеся буквами, а во втором — элементы, являющиеся числами (при условии, что числа/буквы не отождествляются с множествами, например, как ординалы фон Неймана ). Они изоморфны как множества, но существует множество вариантов изоморфизма: один изоморфизм $A=\left\{x\in \mathbb {Z} \mid x^{2}<2\right\}\quad {\text{ and }}\quad B=\{-1,0,1\}$ $\{A,B,C\}$ $\{1,2,3\}$

{\text{A}}\mapsto 1,{\text{B}}\mapsto 2,{\text{C}}\mapsto 3,

в то время как другой

{\text{A}}\mapsto 3,{\text{B}}\mapsto 2,{\text{C}}\mapsto 1,

и ни один изоморфизм по своей сути не лучше любого другого. ^{[примечание 1]}^{[примечание 2]} С этой точки зрения и в этом смысле эти два множества не равны, потому что нельзя считать их идентичными : можно выбрать изоморфизм между ними, но это более слабое утверждение, чем тождество, и справедливо только в контекст выбранного изоморфизма.

Другой пример более формальный и более непосредственно иллюстрирует мотивацию отличения равенства от изоморфизма: различие между конечномерным векторным пространством V и двойственным к нему пространством линейных отображений из V в его поле скаляров. Эти пространства имеют одинаковую размерность и, следовательно, изоморфны как абстрактные векторные пространства (поскольку алгебраически векторные пространства классифицируются по размерности, точно так же, как множества классифицируются по мощности), но не существует «естественного» выбора изоморфизма. Если выбрать базис для V , то это дает изоморфизм: Для всех $V^{*}=\left\{\varphi :V\to \mathbf {K} \right\}$ $\mathbf {K} .$ $V\mathrel {\overset {\sim }{\to }} V^{*}.$ $u,v\in V,$ $v\mathrel {\overset {\sim }{\mapsto }} \phi _{v}\in V^{*}\quad {\text{ such that }}\quad \phi _{v}(u)=v^{\mathrm {T} }u.$

Это соответствует преобразованию вектора-столбца (элемента V ) в вектор-строку (элемента V *) путем транспонирования , но другой выбор базиса дает другой изоморфизм: изоморфизм «зависит от выбора базиса». Более тонко: существует отображение векторного пространства V в его двойное двойное пространство , которое не зависит от выбора базиса: для всех $V^{**}=\left\{x:V^{*}\to \mathbf {K} \right\}$ $v\in V{\text{ and }}\varphi \in V^{*},$ $v\mathrel {\overset {\sim }{\mapsto }} x_{v}\in V^{**}\quad {\text{ such that }}\quad x_{v}(\phi )=\phi (v).$

Обычно утверждение о том, что два объекта равны, применяется в тех случаях, когда существует понятие большего (окружающего) пространства, в котором живут эти объекты. Чаще всего говорят о равенстве двух подмножеств данного набора (как в примере с целочисленным набором). выше), а не двух абстрактно представленных объектов. Например, двумерная единичная сфера в трехмерном пространстве и сфера Римана , которую можно представить как одноточечную компактификацию комплексной плоскости или как комплексную проективную линию (факторпространство), представляют собой три разных описания математического объект, все из которых изоморфны, но не равны , поскольку не все они являются подмножествами одного пространства: первое является подмножеством второго ^{[примечание 3]} плюс дополнительная точка, а третье является подмножеством $S^{2}:=\left\{(x,y,z)\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+z^{2}=1\right\}$ ${\widehat {\mathbb {C} }}$ $\mathbb {C} \cup \{\infty \}$ $\mathbf {P} _{\mathbb {C} }^{1}:=\left(\mathbb {C} ^{2}\setminus \{(0,0)\}\right)/\left(\mathbb {C} ^{*}\right)$ $\mathbb {R} ^{3},$ $\mathbb {C} \cong \mathbb {R} ^{2}$ $\mathbb {C} ^{2}.$

См. также: теория гомотопических типов , в которой изоморфизмы можно рассматривать как виды равенства.

Смотрите также

Примечания

^ имеют обычный порядок, а именно алфавитный порядок, и аналогично 1, 2, 3 имеют порядок целых чисел, и, таким образом, один конкретный изоморфизм является «естественным», а именно. Более формально, поскольку эти множества изоморфны, но не естественно изоморфны (там являются множественным выбором изоморфизма), в то время как как упорядоченные множества они естественно изоморфны (существует уникальный изоморфизм, указанный выше), поскольку конечные полные порядки однозначно определяются с точностью до уникального изоморфизма по мощности . Эту интуицию можно формализовать, сказав, что любые два конечных полностью упорядоченных множества одинаковой мощности обладают естественным изоморфизмом, который переводит наименьший элемент первого в наименьший элемент второго, наименьший элемент того, что осталось в первом. до наименьшего элемента того, что остается во втором, и т. д., но в общем случае пары множеств данной конечной мощности не являются естественно изоморфными, поскольку существует более одного выбора отображения - за исключением случаев, когда мощность равна 0 или 1, где есть уникальный выбор. $A,B,C$ ${\text{A}}\mapsto 1,{\text{B}}\mapsto 2,{\text{C}}\mapsto 3.$
^ На самом деле между двумя множествами из трех элементов существуют совершенно разные изоморфизмы. Это равно числу автоморфизмов данного трехэлементного набора (который, в свою очередь, равен порядку симметрической группы из трех букв), и, в более общем смысле, набор изоморфизмов между двумя объектами, обозначаемый как торсор для группы автоморфизмов A, а также торсор для группы автоморфизмов B. Фактически, автоморфизмы объекта являются ключевой причиной, по которой следует учитывать различие между изоморфизмом и равенством, что демонстрируется в эффекте изменения базиса об отождествлении векторного пространства с его двойственным или с двойным двойственным, как это будет описано в дальнейшем. $3!=6$ $\operatorname {Iso} (A,B),$ $\operatorname {Aut} (A)$
^ Точнее, отождествление комплексных чисел с действительной плоскостью зависит от выбора того, что можно так же легко выбрать , что дает другую идентификацию - формально комплексное сопряжение является автоморфизмом - но на практике часто предполагается, что он сделал такая идентификация. $\mathbb {C} \cong \mathbb {R} \cdot 1\oplus \mathbb {R} \cdot i=\mathbb {R} ^{2}$ $i;$ $(-i),$