Функция F: X → Y равна в (она же инъективная ), если каждый элемент X сопоставлен с отдельным элементом Y:
∀ x ∈ X, ∃ y ∈ Y |f (x) = y;x 1 ≠ x 2 ⇒ f (x 1 ) ≠ f (x 2 )
Это на (он же сюръективный ), если каждый элемент Y имеет некоторый элемент X, который отображается на него:
∀ y ∈ Y, ∃ x∈ X |y = f (x)
И для F будет один к одному (он же биективный ), оба изэти вещи должны быть правдой.Следовательно, по определению, функция «один к одному» одновременно входит и включается.
Но вы говорите: «Должна существовать функция от Y до X ».Часть "от Y до X" может быть то, что вас сбивает с толку?F на, но это от X до Y .Функция включения от Y до X обратна F.Который также должен быть биективным и, следовательно, на.
Некоторые авторы используют «один-к-одному» как синоним «инъективного», а не «биективного».Это несогласие сбивает с толку, но мы застряли с ним.Однако, согласно определению или , инверсия F существует (каждая инъективная функция имеет инверсию) и сюръективна (F определяется для каждого элемента X, поэтому инверсия F отображает некоторый элемент Y в каждыйэлемент X).