Введение

Математическая операция с двумя операндами

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

Обозначение

Бинарные операции часто записываются с использованием инфиксной нотации, такой как +, -, × или (путем сопоставления без символа), а не функциональной нотации вида f(x, y). Степени обычно также записываются без оператора, но со вторым аргументом в виде верхнего индекса. Бинарные операции иногда записываются с использованием префиксной или (чаще) постфиксной нотации, обе из которых обходятся без скобок. Они также называются, соответственно, польской нотацией и обратной польской нотацией.

Бинарные операции как треугольные отношения

Бинарную операцию на множестве можно рассматривать как троичное отношение на этом множестве, то есть множество троек из для всех и из .

Прочие бинарные операции

Например, скалярное умножение в линейной алгебре. Здесь `F` – поле, а `V` – векторное пространство над этим полем. Также скалярное произведение двух векторов отображает `V × V` в `F`, где `F` – поле, а `V` – векторное пространство над `F`. То, считается ли скалярное произведение двоичной операцией, зависит от автора.