изоморфизм

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

В математике изоморфизм — это сохраняющее структуру отображение между двумя структурами одного и того же типа, которое можно обратить обратным отображением . Две математические структуры изоморфны, если между ними существует изоморфизм. Слово изоморфизм происходит от древнегреческого : ἴσος 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).

Это приводит к третьему понятию естественного изоморфизма : хотя и являются разными множествами, между ними существует «естественный» выбор изоморфизма. Это интуитивное понятие «изоморфизма, не зависящего от произвольного выбора» формализуется в понятии естественного преобразования ; Короче говоря, можно последовательно идентифицировать или, в более общем смысле, отображать конечномерное векторное пространство в его двойное двойное пространство для любого векторного пространства последовательным образом. Формализация этой интуиции является мотивацией для развития теории категорий. $V$ $V^{**}$ $V\mathrel {\overset {\sim }{\to }} V^{**},$

Однако существует случай, когда различие между естественным изоморфизмом и равенством обычно не проводится. То есть для объектов, которые могут характеризоваться универсальным свойством . Фактически, между двумя объектами, обладающими одним и тем же универсальным свойством, существует уникальный изоморфизм, обязательно естественный. Типичным примером является набор действительных чисел , который может быть определен посредством бесконечного десятичного разложения, бесконечного двоичного разложения, последовательностей Коши , разрезов Дедекинда и многими другими способами. Формально эти конструкции определяют разные объекты, которые являются решениями с одним и тем же универсальным свойством. Поскольку эти объекты обладают совершенно одинаковыми свойствами, можно забыть о методе построения и считать их равными. Это то, что все делают, когда говорят о « наборе действительных чисел». То же самое происходит и с факторпространствами : они обычно строятся как множества классов эквивалентности . Однако обращение к набору множеств может быть нелогичным, поэтому факторпространства обычно рассматриваются как пара набора неопределенных объектов, часто называемых «точками», и сюръективного отображения на этот набор.

Если кто-то хочет провести различие между произвольным изоморфизмом (тот, который зависит от выбора) и естественным изоморфизмом (тот, который может быть выполнен последовательно), можно написать для неестественного изоморфизма и $≅$ для естественного изоморфизма, как в и Это соглашение таково: не соблюдается повсеместно, и авторы, желающие провести различие между неестественными изоморфизмами и естественными изоморфизмами, обычно явно указывают это различие. $\,\approx \,$ $V\approx V^{*}$ $V\cong V^{**}.$

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

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)

равны^{[примечание 3]}подчастным

\mathbb {R} ^{3},

\mathbb {C} \cong \mathbb {R} ^{2}

\mathbb {C} ^{2}.

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

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

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

Примечания

^ имеют обычный порядок, а именно алфавитный порядок, и аналогично 1, 2, 3 имеют порядок целых чисел, и, таким образом, один конкретный изоморфизм является «естественным», а именно $A,B,C$ ${\text{A}}\mapsto 1,{\text{B}}\mapsto 2,{\text{C}}\mapsto 3.$ Более формально, как множества они изоморфны, но не естественно изоморфны (существует несколько вариантов изоморфизма), тогда как как упорядоченные множества они естественно изоморфны (существует уникальный изоморфизм, указанный выше), поскольку конечные полные порядки определяются однозначно с точностью до единственный изоморфизм по мощности . Эту интуицию можно формализовать, сказав, что любые два конечных полностью упорядоченных множества одинаковой мощности обладают естественным изоморфизмом, который переводит наименьший элемент первого в наименьший элемент второго, наименьший элемент того, что осталось в первом. до наименьшего элемента того, что остается во втором, и т. д., но в общем случае пары множеств данной конечной мощности не являются естественно изоморфными, поскольку существует более одного выбора отображения - за исключением случаев, когда мощность равна 0 или 1, где есть уникальный выбор.
^ На самом деле между двумя множествами из трех элементов существуют совершенно разные изоморфизмы. Это равно числу автоморфизмов данного трехэлементного набора (который, в свою очередь, равен порядку симметрической группы из трех букв), и, в более общем смысле, можно сказать, что набор изоморфизмов между двумя объектами, обозначаемый как торсор для группы автоморфизмов 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),$