Функция пара в математике¶

Функция пара — в математике неформальное и обобщающее название для функций, задаваемых парой координат, а также для ряда конкретных объектов, в которых ключевую роль играет упорядоченная пара чисел. Чаще всего под этим выражением понимают либо функцию двух переменных, либо функцию, ставящую в соответствие каждому элементу области определения пару значений, либо одну из классических функций, связанных с понятием пары (например, функцию расстояния между двумя точками). Термин не является строгим и в разных разделах математики может обозначать разные конструкции, поэтому его значение уточняется из контекста.

¶Функция двух переменных

Наиболее распространённое понимание связано с функциями двух переменных. Если каждому упорядоченному набору из двух чисел \((x, y)\) из некоторого множества \(D \subset \mathbb{R}^2\) поставлено в соответствие единственное число \(z\), то говорят о функции двух переменных \(z = f(x, y)\). Здесь пара \((x, y)\) — это аргумент, а область \(D\) называется областью определения.

Такие функции описывают поверхности в трёхмерном пространстве: графиком служит множество точек \((x, y, f(x, y))\). Примерами служат \(z = x^2 + y^2\) (параболоид вращения), \(z = xy\) (гиперболический параболоид), \(z = \sqrt{1 - x^2 - y^2}\) (верхняя полусфера). Для функций двух переменных вводятся частные производные, градиент, двойные интегралы и понятие экстремума.

¶Функция, возвращающая пару значений

В программировании и дискретной математике «функцией пара» иногда называют функцию, результатом которой является упорядоченная пара. Формально это отображение \(f: X \to A \times B\), где \(A \times B\) — декартово произведение множеств. Каждому \(x\) сопоставляется пара \((a, b)\), где \(a \in A\), \(b \in B\).

Такая конструкция лежит в основе понятия кортежа и широко используется при работе с координатами, комплексными числами, векторами на плоскости. Комплексное число \(z = x + iy\) фактически задаётся парой \((x, y)\) действительных чисел, а арифметика комплексных чисел определяется через операции над такими парами.

¶Функция расстояния между точками

Отдельный важный случай — функция, аргументом которой служит пара точек, а значением — расстояние между ними. Для точек \(A(x_1, y_1)\) и \(B(x_2, y_2)\) на плоскости оно вычисляется по формуле \[ d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}. \] Эта функция удовлетворяет аксиомам метрики: неотрицательность, симметричность, равенство нулю лишь для совпадающих точек и неравенство треугольника. В \(n\)-мерном пространстве формула обобщается суммированием по всем координатам.

¶Парные функции и чётность

В школьном курсе встречается близкое по звучанию понятие чётной функции: \(f(-x) = f(x)\). График чётной функции симметричен относительно оси ординат. Типичные примеры — \(y = x^2\), \(y = \cos x\), \(y = |x|\). Наряду с ними рассматривают нечётные функции, для которых \(f(-x) = -f(x)\). Любую функцию можно представить как сумму чётной и нечётной составляющих.

¶Применение

Функции двух переменных и функции, оперирующие парами, применяются в самых разных областях:

• Физика — зависимость давления от объёма и температуры, потенциал поля в точке плоскости.
• Экономика — функции полезности и производственные функции, зависящие от двух ресурсов.
• Картография и геодезия — вычисление расстояний и азимутов по координатам двух точек.
• Компьютерная графика — преобразование пар координат при повороте, масштабировании, проекции.
• Машинное обучение — функции потерь, зависящие от пары «предсказание — истинное значение».

¶Связанные понятия

С понятием пары тесно связаны декартова система координат, введённая Рене Декартом в XVII веке, и понятие отношения как множества упорядоченных пар. В теории множеств упорядоченная пара \((a, b)\) определяется через конструкцию Куратовского: \(\{\{a\}, \{a, b\}\}\). Это позволяет свести любые кортежи к множествам и строить на их основе функции, отношения и графы.

В линейной алгебре пара векторов используется для задания базиса плоскости, а скалярное произведение двух векторов — пример функции, принимающей на вход пару векторов и возвращающей число.

¶Обозначения и терминология

Строгого общепринятого термина «функция пара» в математической литературе нет. В зависимости от контекста под ним понимают:

Из-за неоднозначности при использовании выражения требуется уточнение: о какой именно конструкции идёт речь. В академических текстах предпочитают точные формулировки — «функция двух переменных», «отображение в произведение множеств», «метрика».

Источники: учебники по математическому анализу, линейной алгебре и дискретной математике; справочная литература по элементарной математике.