История изменений
Исправление tyakos, (текущая версия) :
Положим, инъективность не выполнена, т.е.
∃ y = f(x1) = f(x2), при этомx1 <> x2.
Для доказательства инъективности множество тебе уже подсказал
aquadon : возьми A = {x1}. Тогда f^-1(f({x1})) = f^-1(y) = {x1, x2}.
Заметь, что f^-1 – НЕ функция, в общем случае.
А теперь докажи в обратном направлении. Нужна будет подсказка – пиши.
Исправление tyakos, :
Положим, инъективность не выполнена, т.е.
∃ y = f(x1) = f(x2), при этомx1 <> x2.
Для доказательства инъективности множество тебе уже подсказал
aquadon : возьми A = {x1}. Тогда f^-1(f({x1})) = f^-1(y) = {x1, x2}.
Заметь, что f^-1 – НЕ функция, в общем случае.
Исходная версия tyakos, :
Для доказательства инъективности множество тебе уже подсказал
aquadon : возьми A = {x1}. Тогда f^-1(f({x1})) = f^-1(y) = {x1, x2}.
Заметь, что f^-1 – НЕ функция, в общем случае.