Требуется доказать следующее утверждение:
- инъекция
для любого
верно, что
. Причём уже известно, что А всегда включено в прообраз своего образа.
Слева направо нетрудно доказать вложение
от противного и получить их равенство:
Пускай
, тогда в силу инъективности
верно, что
, тогда
. То есть
.
А вот в другую сторону(когда дано
) у меня возникают какие-то сложности, если делать от противного. Предположим, что нет инъективности, тогда
. И противоречия с условием особо не возникает..
Объясните,пожалуйста,где я свернул не туда