Анализ и формализация понятия функции#
1. Формальное определение функции через теорию множеств#
В основе строгого определения функции лежит понятие декартова произведения множеств и бинарного отношения.
1.1. Декартово произведение:
Пусть даны два множества \(X\) и \(Y\). Их декартовым произведением \(X \times Y\) называется множество всех возможных упорядоченных пар \((x, y)\), где \(x \in X\) и \(y \in Y\).
1.2. Бинарное отношение:
Любое подмножество \(R\) декартова произведения \(X \times Y\) называется бинарным отношением между множествами \(X\) и \(Y\). Если пара \((x, y) \in R\), говорят, что элемент \(x\) находится в отношении \(R\) с элементом \(y\).
1.3. Определение функции:
Функция \(f\) из множества \(X\) в множество \(Y\) — это бинарное отношение \(F \subseteq X \times Y\) (то есть множество упорядоченных пар), которое удовлетворяет следующему свойству функциональности (или однозначности):
Для каждого элемента \(x \in X\) существует единственный элемент \(y \in Y\) такой, что пара \((x, y)\) принадлежит отношению \(F\).
Формально это записывается с помощью кванторов:
Таким образом, строго говоря, функция — это тройка \((X, Y, F)\), где \(X\) и \(Y\) — множества, а \(F \subseteq X \times Y\) — график функции, удовлетворяющий указанному свойству.
2. Терминология и нотация#
На основе формального определения вводятся более удобные обозначения и термины.
2.1. Обозначение:
Если \(f\) является функцией из \(X\) в \(Y\), это записывают как \(f: X \rightarrow Y\). Вместо \((x, y) \in F\) принято писать \(y = f(x)\).
\(f: X \rightarrow Y\): Эта запись означает, что \(f\) является функцией, которая отображает элементы множества \(X\) в элементы множества \(Y\).
\(y = f(x)\): Эта запись утверждает, что элемент \(y \in Y\) является образом элемента \(x \in X\) при отображении \(f\). Элемент \(x\) называется прообразом элемента \(y\).
2.2. Ключевые множества:
Крайне важно различать следующие три множества:
Область определения (Domain), \(D(f)\): Это исходное множество \(X\). Множество всех «входов» функции.
Область прибытия (Codomain), или кодомен: Это целевое множество \(Y\). Оно определяет, в каком множестве могут лежать значения функции, но не все элементы \(Y\) обязаны быть значениями.
Множество значений (Range) или Образ (Image), \(E(f)\) или \(\text{Im}(f)\): Это подмножество кодомена \(Y\), состоящее из всех фактических значений, которые принимает функция.
\[ \text{Im}(f) = \{ y \in Y \mid \exists x \in X, y = f(x) \} \]Всегда справедливо, что \(\text{Im}(f) \subseteq Y\).
Пример для различения: рассмотрим функцию \(f: \mathbb{R} \rightarrow \mathbb{R}\), заданную формулой \(f(x) = x^2\).
Область определения: \(D(f) = \mathbb{R}\) (все действительные числа).
Кодомен (область прибытия): \(Y = \mathbb{R}\) (согласно определению \(f: \mathbb{R} \rightarrow \mathbb{R}\)).
Множество значений (образ): \(\text{Im}(f) = [0, +\infty)\), так как квадрат любого действительного числа неотрицателен. Очевидно, что \([0, +\infty) \subset \mathbb{R}\).
3. График функции#
График функции \(f: X \rightarrow Y\) — это в точности то самое множество упорядоченных пар \(F\), которое мы использовали в формальном определении.
С точки зрения теории множеств, функция и её график — это одно и то же. Обозначение \(f: X \rightarrow Y\) является более удобной и информативной записью, которая сразу указывает на область определения и кодомен, в то время как \(\Gamma_f\) просто представляет собой множество пар.
Для функций, где \(X, Y \subseteq \mathbb{R}\), график имеет привычную визуализацию на декартовой координатной плоскости. Вертикальный тест (любая вертикальная прямая пересекает график не более чем в одной точке) является геометрической интерпретацией свойства функциональности.
4. Свойства отображений (классификация функций)#
Глубокий анализ функций включает их классификацию по свойствам отображения.
Инъекция (вложение, «один к одному»): функция \(f: X \rightarrow Y\) инъективна, если разным элементам из \(X\) всегда соответствуют разные элементы из \(Y\).
\[ \forall x_1, x_2 \in X, (f(x_1) = f(x_2) \implies x_1 = x_2) \]Сюръекция (отображение «на»): функция \(f: X \rightarrow Y\) сюръективна, если каждый элемент кодомена \(Y\) является образом хотя бы одного элемента из \(X\).
\[ \forall y \in Y \ \exists x \in X : f(x) = y \]Это эквивалентно тому, что образ функции совпадает с её кодоменом: \(\text{Im}(f) = Y\).
Биекция (взаимно-однозначное соответствие): функция \(f: X \rightarrow Y\) биективна, если она одновременно инъективна и сюръективна. Биекция устанавливает идеальное «партнерство» между элементами множеств \(X\) и \(Y\).