Изоморфизм: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
→Теория операторов/Функциональный анализ: Заменил определение без АИ, на определение из АИ |
Mburyakov (обсуждение | вклад) |
||
Строка 38:
== Изоморфизм в теории категорий ==
В [[теория категорий|теории категорий]] изоморфизм есть обратимый морфизм, то есть морфизм <math>\varphi</math>,
для которого существует такой морфизм <math>\varphi^{-1}</math>, что композиции <math>\varphi^{-1}\circ\varphi</math> и <math>\varphi\circ\varphi^{-1}</math> — тождественные морфизмы. Определения категории групп, категории колец, категории векторных пространств и других структур строятся таким образом, что классические определения изоморфизма групп, колец, векторных пространств совпадают с общим определением изоморфизма в категории.
== Нормированные пространства ==
| |||