История изменений
Исправление 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
– НЕ функция, в общем случае.