Jump to content

изоморфизм

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

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

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

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

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

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

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

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

[ редактировать ]

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

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

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

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

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

[ редактировать ]

Рассмотрим группу целые числа от 0 до 5 со сложением по модулю 6. Также рассмотрим группу упорядоченные пары, где координаты x могут быть 0 или 1, а координаты y могут быть 0, 1 или 2, где сложение координаты x производится по модулю 2, а сложение координаты y - по модулю 3.

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

Например, что переводится в другой системе как

Хотя эти две группы «выглядят» по-разному, поскольку множества содержат разные элементы, на самом деле они изоморфны : их структуры совершенно одинаковы. В более общем смысле, прямой продукт двух циклических групп. и изоморфен тогда и только тогда, когда m и n , взаимно просты согласно китайской теореме об остатках .

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

[ редактировать ]

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

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

Например, R — это порядок ≤, а S — порядок. тогда изоморфизм X в Y является биективной функцией такой, что Такой изоморфизм называется изоморфизмом порядка или (реже) изотонным изоморфизмом .

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

Приложения

[ редактировать ]

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

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

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

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

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

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

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

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

[ редактировать ]

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

Две категории C и D изоморфны , если существуют функторы и взаимно обратные друг другу, то есть (тождественный функтор на D ) и (тождественный функтор на C ).

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

[ редактировать ]

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

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

[ редактировать ]

В некоторых областях математики, особенно в теории категорий, полезно различать равенство, с одной стороны, и изоморфизм , с другой. [2] Равенство — это когда два объекта абсолютно одинаковы, и все, что верно в отношении одного объекта, верно и в отношении другого, в то время как изоморфизм подразумевает, что все, что верно в отношении обозначенной части структуры одного объекта, верно и в отношении другого. Например, наборы равны ; это просто разные представления — первое — интенсиональное нотации построителя множеств ), а второе — экстенсиональное (путём явного перечисления) — одного и того же подмножества целых чисел. Напротив, множества и не равны — в первом есть элементы, являющиеся буквами, а во втором — элементы, являющиеся числами (при условии, что числа/буквы не отождествляются с множествами, например, как ординалы фон Неймана ). Они изоморфны как множества, но существует множество вариантов изоморфизма: один изоморфизм

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

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

Другой пример более формальный и более непосредственно иллюстрирует мотивацию отделения равенства от изоморфизма: различие между конечномерным векторным пространством V и двойственным к нему пространством. линейных отображений V в его поле скаляров Эти пространства имеют одинаковую размерность и, следовательно, изоморфны абстрактным векторным пространствам (поскольку алгебраически векторные пространства классифицируются по размерности, точно так же, как множества классифицируются по мощности), но не существует «естественного» выбора изоморфизма. Если выбрать базис для V , то это дает изоморфизм: для всех

Это соответствует преобразованию вектора-столбца (элемента V ) в вектор-строку (элемента V *) путем транспонирования , но другой выбор базиса дает другой изоморфизм: изоморфизм «зависит от выбора базиса».Более тонко: существует отображение векторного пространства V в его двойное двойное пространство. это не зависит от выбора базиса: для всех


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


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

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ имеют обычный порядок, а именно алфавитный порядок, и аналогично 1, 2, 3 имеют порядок целых чисел, и, таким образом, один конкретный изоморфизм является «естественным», а именно Более формально, как множества они изоморфны, но не естественно изоморфны (существует несколько вариантов изоморфизма), тогда как как упорядоченные множества они естественно изоморфны (существует уникальный изоморфизм, указанный выше), поскольку конечные полные порядки определяются однозначно с точностью до единственный изоморфизм по мощности .Эту интуицию можно формализовать, сказав, что любые два конечных полностью упорядоченных множества одинаковой мощности обладают естественным изоморфизмом, который переводит наименьший элемент первого в наименьший элемент второго, наименьший элемент того, что осталось в первом. до наименьшего элемента того, что остается во втором, и т. д., но в общем случае пары множеств данной конечной мощности не являются естественно изоморфными, поскольку существует более одного выбора отображения - за исключением случаев, когда мощность равна 0 или 1, где есть уникальный выбор.
  2. ^ На самом деле есть именно различные изоморфизмы между двумя множествами из трех элементов. Это равно числу автоморфизмов данного трехэлементного набора (который, в свою очередь, равен порядку симметрической группы из трех букв), и, в более общем смысле, набор изоморфизмов между двумя объектами, обозначаемый является торсором группы автоморфизмов A, а также торсор для группы автоморфизмов B. Фактически, автоморфизмы объекта являются ключевой причиной для беспокойства о различии между изоморфизмом и равенством, что продемонстрировано на влиянии смены базиса на отождествление векторного пространства с его двойник или со своим двойным двойником, как будет описано в дальнейшем.
  3. ^ Если быть точным, отождествление комплексных чисел с реальной плоскостью, зависит от выбора можно так же легко выбрать что дает другое отождествление — формально комплексное сопряжение является автоморфизмом, — но на практике часто предполагается, что такое отождествление выполнено.
  1. ^ Винберг, Эрнест Борисович (2003). Курс алгебры . Американское математическое общество. п. 3. ISBN  9780821834138 .
  2. ^ Мазур 2007 г.

Дальнейшее чтение

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 7dfc71a6fdb7374e93e50bb94bf8d615__1720972080
URL1:https://arc.ask3.ru/arc/aa/7d/15/7dfc71a6fdb7374e93e50bb94bf8d615.html
Заголовок, (Title) документа по адресу, URL1:
Isomorphism - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)