· Если F = id X — тождественное отображение на X, то есть
,
то
.
· Если G = id Y — тождественное отображение на Y, то есть
,
то
.
· Рассмотрим пространство всех биекций множества X на себя и обозначим его . То есть если , то — биекция. Тогда композиция функций из является бинарной операцией, а — группой. id X является нейтральным элементом этой группы. Обратным к элементу является — обратная функция.
· Группа , вообще говоря, не коммутативна, то есть .
studopediasu.com - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление