Биморфизм

Перейти к навигации Перейти к поиску

Биморфи́зм — морфизм категории, являющийся мономорфизмом и эпиморфизмом одновременно, то есть морфизм, на который можно сокращать как слева, так и справа^[1], теоретико-категорное обобщение понятия биективного отображения.

Понятие биморфизма самодвойственно. Композиция биморфизмов является биморфизмом, таким образом, для данной категории ${\mathcal {C}}$ определена подкатегория $\mathrm {Bim} _{\mathcal {C}}\subseteq {\mathcal {C}}$ , состоящая из тех же объектов, и содержащая лишь морфизмы, являющиеся биморфизмами.

Любой изоморфизм является биморфизмом, но не любой биморфизм есть изоморфизм. Например, вложение кольца целых чисел в поле рациональных чисел $\sigma :\mathbb {Z} \to \mathbb {Q}$ в категории ассоциативных колец является биморфизмом, при этом необратимым, то есть, изоморфизмом не являющимся^[2]. Если биморфизм $\sigma$ представлен в виде $\sigma =\tau \circ \upsilon$ , то $\tau$ — мономорфизм, а $\upsilon$ — эпиморфизм^[3].

Сбалансированная категория — категория, в которой каждый биморфизм является изоморфизмом^[1], таковы, например, категория множеств и категория групп. Категория колец, категория топологических пространств, категория абелевых групп без кручения — несбалансированные.

Примечания

↑ ¹ ² Horst Schubert. 3.5 Bimorphisms // Categories. — Springer, 2012. — С. 34—35. — ISBN 9783642653643.
↑ Общая алгебра, 1991, с. 377—378.
↑ Цаленко, Шульгейфер, 1974, с. 30.

Литература

Биморфизм — статья из Математической энциклопедии. И. В. Долгачёв, М. Ш. Цаленко
Шульгейфер Е. Г. . Глава VII. Категории // Общая алгебра / Под общ. ред. Л. А. Скорнякова. — М.: Наука, 1991. — Т. 2. — С. 368—460. — 480 с. — (Справочная математическая библиотека). — 25 000 экз. — ISBN 5-9221-0400-4.
М. Ш. Цаленко, Е. Г. Шульгейфер. Основы теории категорий. — М.: Наука, 1974. — 256 с.

Похожие исследовательские статьи

Случайная величина — переменная, значения которой представляют собой численные исходы некоторого случайного феномена или эксперимента. Другими словами, это численное выражение результата случайного события. Случайная величина является одним из основных понятий теории вероятностей. Для обозначения случайной величины в математике принято использовать греческую букву «кси» $\text{[math]}$ . Если определять случайную величину более строго, то она является функцией $\text{[math]}$ , значения $\text{[math]}$ которой численно выражают исходы $\text{[math]}$ случайного эксперимента. Одним из требований к данной функции будет её измеримость, что служит для отсеивания тех случаев, когда значения данной функции $\text{[math]}$ бесконечно чувствительны к малейшим изменениям в исходах случайного эксперимента. Во многих практических случаях можно рассматривать случайную величину как произвольную функцию из $\text{[math]}$ в $\text{[math]}$ .

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

Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.

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

Категория модулей ― категория, объекты которой ― правые унитарные модули над произвольным ассоциативным кольцом K с единицей, а морфизмы ― гомоморфизмы K-модулей.

Мономорфи́зм ― морфизм $\text{[math]}$ категории $\text{[math]}$ , такой что из всякого равенства $\text{[math]}$ следует, что $\text{[math]}$ . Часто мономорфизм из $\text{[math]}$ в $\text{[math]}$ обозначают $\text{[math]}$ .

Подкольцо кольца $\text{[math]}$ — это пара $\text{[math]}$ , где $\text{[math]}$ — кольцо, а $\text{[math]}$ — мономорфизм (вложение) колец. Такое определение согласуется с общим понятием подобъекта в теории категорий.

Марковский момент времени — это случайная величина, не зависящая от будущего рассматриваемого случайного процесса.

Эпиморфи́зм в категории ― морфизм $\text{[math]}$ , такой что из всякого равенства $\text{[math]}$ следует $\text{[math]}$ .

Арифметическая функция — функция, определённая на множестве натуральных чисел $\text{[math]}$ и принимающая значения из множества комплексных чисел $\text{[math]}$ .

Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием полиномиальных уравнений.

<span class="mw-page-title-main">Коядро</span>

Коядро — теоретико-категорная конструкция, двойственная к ядру: ядро является подобъектом прообраза, а коядро — факторобъектом области прибытия. Интуитивно, при поиске решения уравнения $\text{[math]}$ коядро определяет число ограничений, которым должен удовлетворять $\text{[math]}$ , чтобы данное уравнение имело решение.

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

Абелева категория — категория, в которой морфизмы можно складывать, а ядра и коядра существуют и обладают определёнными удобными свойствами. Пример, который стал прототипом абелевой категории — категория абелевых групп. Теория абелевых категорий была разработана Александром Гротендиком для объединения нескольких теорий когомологий. Класс абелевых категорий замкнут относительно нескольких категорных конструкций; например, категория цепных комплексов с элементами из абелевой категории и категория функторов из малой категории в абелеву также являются абелевыми.

Уравне́ние Шви́нгера — Томона́ги, в квантовой теории поля, основное уравнение движения, обобщающее уравнение Шрёдингера на релятивистский случай.

В математике теория момента остановки или марковский момент времени связана с проблемой выбора времени, чтобы принять определённое действие, для того чтобы максимизировать ожидаемое вознаграждение или минимизировать ожидаемые затраты. Проблема момента остановки может быть найдена в области статистики, экономики и финансовой математики. Самым ярким примером, относящимся к моменту остановки, является Задача о разборчивой невесте. Проблема момента остановки часто может быть указана в форме уравнения Беллмана и поэтому часто решается с помощью динамического программирования.

Инъективный объект — теоретико-категорное обобщение понятия инъективного модуля. Двойственное понятие — проективный объект.

Кэлеровы дифференциалы представляют собой адаптацию дифференциальных форм для произвольных коммутативных колец или схем. Это понятие было введено Эрихом Келером в 1930-х.

Группа трилистника — группа узла трилистника, простейшего нетривиального узла. Является классическим объектом изучения комбинаторной теории групп, который возникает в теории кос, алгебраической геометрии и алгебраической К-теории.

t-структура — понятие, аксиоматизирующее свойства абелевых подкатегорий производной категории. t-структура на триангулированной категории $\text{[math]}$ состоит из двух подкатегорий $\text{[math]}$ в $\text{[math]}$ , обобщающих свойства комплексов с зануляющимися когомологиями в положительных, соответственно, в отрицательных степенях. На одной и той же категории могут существовать различные t-структуры, и взаимосвязи между этими структурами используются в алгебре и геометрии. Понятие t-структуры возникло в работах Бейлинсона, Бернштейна, Делиня и Габбера по превратным пучкам.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.