Инъективная функция

Основные свойства

Формально:

f : A → B {\displaystyle f:A\rightarrow B} является инъективной функцией, если ∀ a 1 , a 2 , ∈ A , a 1 ≠ a 2 ⇒ f ( a 1 ) ≠ f ( a 2 ) {\displaystyle \forall a_{1},\,a_{2},\в A,\,\,\,\,a_{1}\neq a_{2}\,\,\,\Rightarrow \,\,\,f(a_{1})\neq f(a_{2})} или аналогично

f : A → B {\displaystyle f:A\rightarrow B} является инъективной функцией, если ∀ a 1 , a 2 , ∈ A , f ( a 1 ) = f ( a 2 ) ⇒ a 1 = a 2 {\displaystyle \forall a_{1},\,a_{2},\in A,\,\,\,\,\,f(a_{1})=f(a_{2})\,\,\,\Rightarrow \,\,a_{1}=a_{2}}}

Элемент a {\displaystyle a} называется предобразом элемента b {\displaystyle b} , если f ( a ) = b {\displaystyle f(a)=b} . Инъекции имеют один или ни одного предобраза для каждого элемента b в B.

Кардинальность

Кардинальность - это количество элементов в множестве. Кардинальность множества A={X,Y,Z,W} равна 4. Мы пишем #A=4.

• Если кардинальность кодомена меньше кардинальности домена, функция не может быть инъекцией. (Например, не существует способа отобразить 6 элементов на 5 элементов без дублирования).

Примеры

Элементарные функции

Пусть f(x):ℝ→ℝ - вещественная функция y=f(x) от вещественного аргумента x. (Это означает, что и вход, и выход - вещественные числа).

• Графический смысл: Функция f является инъекцией, если каждая горизонтальная линия пересекает график f не более чем в одной точке.
• Алгебраический смысл: Функция f является инъекцией, если f(x_o )=f(x₁ ) означает x_o =x₁ .

Пример: Линейная функция наклонной линии равна 1-1. То есть y=ax+b, где a≠0 - инъекция. (Это также сюръекция и, следовательно, биекция).

Доказательство: Пусть x_o и x₁ - действительные числа. Предположим, что линия отображает эти два значения x на одно и то же значение y. Это означает, что a-x_o +b=a-x₁ +b. Вычтем b из обеих сторон. Получаем a-x_o =a-x₁ . Теперь разделите обе стороны на a (помните a≠0). Получаем x_o =x₁ . Итак, мы доказали формальное определение и функцию y=ax+b, где a≠0 - инъекция.

Пример: Полиномиальная функция третьей степени: f(x)=x³ является инъекцией. Однако полиномиальная функция третьей степени: f(x)=x³ -3x не является инъекцией.

Обсуждение 1: Любая горизонтальная линия пересекает график

f(x)=x³ ровно один раз. (Кроме того, это сюръекция).

Обсуждение 2. Любая горизонтальная линия между y=-2 и y=2 пересекает график в трех точках, поэтому эта функция не является инъекцией. (Однако она является сюръекцией).

Пример: Квадратичная функция f(x) = x² не является инъекцией.

Обсуждение: Любая горизонтальная прямая y=c, где c>0, пересекает график в двух точках. Поэтому эта функция не является инъекцией. (Также она не является сюръекцией).

Примечание: Неинъективную функцию можно превратить в инъективную, исключив часть ее области. Мы называем это ограничением области. Например, ограничьте область f(x)=x² неотрицательными числами (положительными числами и нулем). Определите

f / [ 0 , + ∞ ) ( x ) : [ 0 , + ∞ ) → R {\displaystyle f_{/[0,+\infty )}(x):[0,+\infty )\rightarrow \mathbf {R} } где f / [ 0 , + ∞ ) ( x ) = x 2 {\displaystyle f_{/[0,+\infty )}(x)=x^{2}}

Теперь эта функция является инъекцией. (См. также ограничение функции).

Пример: Экспоненциальная функция f(x) = 10^x является инъекцией. (Однако это не сюръекция).

Обсуждение: Любая горизонтальная линия пересекает график не более чем в одной точке. Горизонтальные линии y=c при c>0 пересекают график ровно в одной точке. Горизонтальные прямые y=c при c≤0 не пересекают график ни в одной точке.

Примечание: Тот факт, что экспоненциальная функция инъективна, может быть использован в вычислениях.

a x 0 = a x 1 ⇒ x 0 = x 1 , a > 0 {\displaystyle a^{x_{0}}=a^{x_{1}}\,\,\Rightarrow \,\,\,x_{0}=x_{1},\,a>0}

Пример: 100 = 10 x - 3 ⇒ 2 = x - 3 ⇒ x = 5 {\displaystyle 100=10^{x-3}\,\,\Rightarrow \,\,\,2=x-3\,\,\,\Rightarrow \,\,\,x=5}  

Другие примеры

Пример: Логарифмическая функция по основанию 10 f(x):(0,+∞)→ℝ, определяемая f(x)=log(x) или y=log₁₀ (x), является инъекцией (и сюръекцией). (Это обратная функция 10^x .)

Пример: Функция f:ℕ→ℕ, отображающая каждое натуральное число n в 2n, является инъекцией. Каждое четное число имеет ровно один предобраз. У каждого нечетного числа нет предобраза.

Похожие страницы

• Функция (математика)
• Сюръективная функция
• Биективная функция