Изоморфизм

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален. Найти источники:  «Изоморфизм»  -  новости  · газеты  · книги  · ученый  · JSTOR ( сентябрь 2010 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

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

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

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

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

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

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

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

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

Примеры [ править ]

Логарифм и экспонента [ править ]

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

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

Идентичность и показать , что и являются обратными друг друга. Поскольку является гомоморфизмом, имеющим обратный, который также является гомоморфизмом, является изоморфизмом групп.${\ Displaystyle \ журнал \ ехр х = х}$${\ Displaystyle \ ехр \ журнал у = у}$${\ displaystyle \ log}$${\ displaystyle \ exp}$${\ displaystyle \ log}$${\ displaystyle \ log}$

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

Целые числа по модулю 6 [ править ]

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

Эти структуры изоморфны по сложению по следующей схеме:

(0,0) ↦ 0

(1,1) ↦ 1

(0,2) ↦ 2

(1,0) ↦ 3

(0,1) ↦ 4

(1,2) ↦ 5

или вообще ( a , b ) ↦ (3 a + 4 b ) mod 6.

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

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

Изоморфизм, сохраняющий отношения [ править ]

Если один объект состоит из множества X с бинарным отношением R, а другой объект состоит из множества Y с бинарным отношением S, то изоморфизм от X к Y является биективной функцией ƒ: X → Y, такой что: ^[1]

${\displaystyle \operatorname {S} (f(u),f(v))\iff \operatorname {R} (u,v)}$

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

Например, R - это порядок ≤, а S - порядок , тогда изоморфизм из X в Y - это биективная функция ƒ: X → Y такая, что${\displaystyle \scriptstyle \sqsubseteq }$

${\displaystyle f(u)\sqsubseteq f(v)\iff u\leq v.}$

Такой изоморфизм называется изоморфизмом порядка или (реже) изотонным изоморфизмом .

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

Приложения [ править ]

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

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

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

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

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

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

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

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

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

В теории категорий для данной категории C изоморфизм - это морфизм f : a → b, который имеет обратный морфизм g : b → a , то есть fg = 1 _b и gf = 1 _a . Например, биективное линейное отображение является изоморфизмом между векторными пространствами , а биективная непрерывная функция , обратная к которой также непрерывна, является изоморфизмом между топологическими пространствами , называемым гомеоморфизмом .

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

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

Связь с равенством [ править ]

В определенных областях математики, особенно в теории категорий, полезно различать равенство, с одной стороны, и изоморфизм, с другой. ^[2] Равенство - это когда два объекта абсолютно одинаковы, и все, что верно для одного объекта, верно для другого, в то время как изоморфизм подразумевает, что все, что верно для обозначенной части структуры одного объекта, верно для другого. Например, наборы

${\displaystyle A=\{x\in \mathbb {Z} \mid x^{2}<2\}}$ и ${\displaystyle B=\{-1,0,1\}\,}$

являются равными ; они просто разные представления - первое интенсиональное (в нотации построителя множеств ), а второе экстенсиональное (посредством явного перечисления) - одного и того же подмножества целых чисел. Напротив, наборы { A , B , C } и {1,2,3} не равны - в первом есть элементы, которые являются буквами, а во втором - числа. Они изоморфны как множества, поскольку конечные множества определяются с точностью до изоморфизма своей мощностью (числом элементов), и оба они имеют три элемента, но есть много вариантов изоморфизма - один изоморфизм

${\displaystyle {\text{A}}\mapsto 1,{\text{B}}\mapsto 2,{\text{C}}\mapsto 3,}$ в то время как другой ${\displaystyle {\text{A}}\mapsto 3,{\text{B}}\mapsto 2,{\text{C}}\mapsto 1,}$

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

Иногда изоморфизмы могут показаться очевидными и убедительными, но все же не являются равенствами. В качестве простого примера, генеалогические отношения между Джо , Джоном и Бобби Кеннеди в реальном смысле такие же, как и у защитников американского футбола в семье Мэннинга : Арчи , Пейтона и Эли . Пары отец-сын и пары старший-брат-младший-брат полностью соответствуют друг другу. Это сходство между двумя семейными структурами иллюстрирует происхождение слова изоморфизм (греч. Iso -, «тот же» и - морф, «форма» или «форма»). Но поскольку Кеннеди - это не те люди, что и Мэннинги, две генеалогические структуры просто изоморфны и не равны.

Другой пример является более формальным и более прямо иллюстрирует мотивацию отличать равенство от изоморфизма: различие между конечномерным векторным пространством V и его двойственным пространством V * = {φ: V → K } линейных отображений из V в его поле скаляры K . Эти пространства имеют ту же размерность и, следовательно, изоморфны как абстрактные векторные пространства (поскольку алгебраически векторные пространства классифицируются по размерности, так же как множества классифицируются по мощности), но нет «естественного» выбора изоморфизма . Если выбрать базис для V , то получится изоморфизм: для всех u . v ∈${\displaystyle \scriptstyle V\mathrel {\overset {\sim }{\to }} V^{*}}$V ,

${\displaystyle 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 ** = { х : V * → K } , которая не зависит от выбора базиса: Для всех об ∈ V и φ ∈ V *,

${\displaystyle v\mathrel {\overset {\sim }{\mapsto }} x_{v}\in V^{**}\quad {\text{such that}}\quad x_{v}(\phi )=\phi (v)}$.

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

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

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

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

${\displaystyle S^{2}:=\{(x,y,z)\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+z^{2}=1\}}$и сфера Римана ${\displaystyle {\widehat {\mathbb {C} }}}$

которое можно представить как одноточечную компактификацию комплексной плоскости C ∪ {∞ } или как комплексную проективную прямую (фактор-пространство)

${\displaystyle \mathbf {P} _{\mathbb {C} }^{1}:=(\mathbb {C} ^{2}\setminus \{(0,0)\})/(\mathbb {C} ^{*})}$

представляют собой три различных описания математического объекта, все из которых изоморфны, но не равны, поскольку не являются всеми подмножествами одного пространства: первое - это подмножество R ³ , второе - C ≅ R ^{2 [примечание 3]} плюс дополнительный пункт, а третий является подфактором из C ² .

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

См. Также [ править ]

Примечания [ править ]

Ссылки [ править ]

Дальнейшее чтение [ править ]

• Мазур, Барри (12 июня 2007 г.), Когда одно может равняться другому? (PDF)

Внешние ссылки [ править ]

Найдите изоморфизм в Викисловаре, бесплатном словаре.

• "Изоморфизм" , Энциклопедия математики , EMS Press , 2001 [1994]
• Вайсштейн, Эрик В. «Изоморфизм» . MathWorld .