Бинарная операция

Бинарная операция — это математическое понятие, обозначающее правило, которое каждой упорядоченной паре элементов из заданного множества ставит в соответствие некоторый элемент, принадлежащий этому же множеству (свойство замкнутости) или, в более общем смысле, другому множеству. Бинарные операции являются фундаментальным объектом изучения в абстрактной алгебре, математическом анализе, логике и теоретическом программировании. В наиболее распространённом определении бинарная операция на множестве \(M\) — это отображение \(M \times M \to M\), то есть функция двух аргументов, определённая на декартовом квадрате множества и принимающая значения в том же множестве.

Определение и формализация

Формально бинарная операция \(\circ\) на множестве \(M\) задаётся как функция: \[ \circ: M \times M \to M, \] где \(M \times M\) — множество всех упорядоченных пар \((a, b)\) элементов из \(M\). Результат применения операции к паре \((a, b)\) обычно записывается в инфиксной форме: \(a \circ b\). Если результат операции не обязательно принадлежит \(M\), а лежит в некотором другом множестве \(N\), говорят о внешней бинарной операции, например, умножение вектора на скаляр в линейных пространствах.

Ключевым свойством, которое часто подразумевается, но не является обязательным, является замкнутость: для любых \(a, b \in M\) элемент \(a \circ b\) также принадлежит \(M\). Операции, не обладающие замкнутостью, называются частичными или не всюду определёнными (например, деление на множестве целых чисел не замкнуто, так как результат не всегда целое число).

История

Понятие бинарной операции сложилось постепенно в процессе развития алгебры. В древности операции (сложение, умножение) рассматривались лишь над конкретными числами. В XIX веке, с возникновением абстрактной алгебры, математики (Огюстен Луи Коши, Нильс Хенрик Абель, Эварист Галуа) начали изучать произвольные операции на множествах, не обязательно числовых. Термин «бинарная операция» вошёл в обиход в начале XX века благодаря работам по теории групп и универсальной алгебре. В 1930-х годах американский математик Гаррет Биркхофф заложил основы универсальной алгебры, где бинарные операции рассматриваются как один из базовых типов сигнатуры.

Свойства бинарных операций

Бинарные операции могут обладать различными алгебраическими свойствами, которые определяют структуру множества.

Ассоциативность

Операция \(\circ\) называется ассоциативной, если для любых \(a, b, c \in M\) выполняется равенство: \[ (a \circ b) \circ c = a \circ (b \circ c). \] Примеры: сложение и умножение чисел, композиция функций. Некоммутативные операции, такие как вычитание или деление, не являются ассоциативными.

Коммутативность

Операция называется коммутативной, если для любых \(a, b \in M\): \[ a \circ b = b \circ a. \] Примеры: сложение и умножение целых чисел, логическое «И» и «ИЛИ». Некоммутативные операции: умножение матриц, композиция подстановок, векторное произведение.

Наличие нейтрального элемента

Элемент \(e \in M\) называется нейтральным (или единичным) относительно операции \(\circ\), если для любого \(a \in M\): \[ a \circ e = e \circ a = a. \] Например, 0 для сложения, 1 для умножения, единичная матрица для умножения матриц.

Наличие обратного элемента

Если для каждого \(a \in M\) существует такой элемент \(b \in M\), что \(a \circ b = b \circ a = e\), то \(b\) называется обратным к \(a\). Операция, обладающая ассоциативностью, нейтральным элементом и обратными элементами для всех элементов, порождает структуру группы.

Дистрибутивность

Если на множестве заданы две бинарные операции (например, \(+\) и \(\times\)), то говорят, что \(\times\) дистрибутивна относительно \(+\), если для любых \(a, b, c \in M\): \[ a \times (b + c) = (a \times b) + (a \times c). \] Это свойство связывает операции в кольцах и полях.

Идемпотентность

Операция \(\circ\) называется идемпотентной, если для любого \(a \in M\): \[ a \circ a = a. \] Примеры: логическое «ИЛИ» и «И», объединение и пересечение множеств.

Виды бинарных операций

По числу аргументов и области значений различают:

• Внутренние (замкнутые) — результат принадлежит тому же множеству.
• Внешние — результат принадлежит другому множеству (например, умножение вектора на скаляр).
• Частичные — не для всех пар определён результат (например, деление на ноль).
• Алгебраические — операции, заданные в рамках алгебраической структуры (группы, кольца, поля).

По типу используемой записи:

• Инфиксная (a + b) — наиболее распространена.
• Префиксная (+ a b) — используется в польской записи (Ян Лукасевич, 1920-е годы).
• Постфиксная (a b +) — обратная польская запись.

Примеры бинарных операций

Арифметические

• Сложение, вычитание, умножение, деление на множестве действительных чисел (кроме деления на ноль).
• Возведение в степень (не ассоциативно, не коммутативно).

Теоретико-множественные

• Объединение, пересечение, разность, симметрическая разность множеств.
• Декартово произведение (не является внутренней операцией, если не рассматривать его как операцию на множестве всех подмножеств).

Логические

• Конъюнкция (И), дизъюнкция (ИЛИ), импликация, исключающее ИЛИ (XOR) в булевой алгебре.

Векторные и матричные

• Сложение векторов и матриц.
• Умножение матриц (ассоциативно, не коммутативно).
• Векторное произведение в трёхмерном пространстве (антикоммутативно).

Композиция функций

• Композиция отображений: \((f \circ g)(x) = f(g(x))\). Ассоциативна, но не коммутативна.

Применение

Бинарные операции лежат в основе всех алгебраических структур:

• Группы (одна бинарная операция, ассоциативность, нейтральный и обратные элементы).
• Кольца (две бинарные операции: сложение и умножение, связанные дистрибутивностью).
• Поля (кольцо с дополнительными свойствами для умножения).
• Решётки (две идемпотентные коммутативные ассоциативные операции, связанные законами поглощения).

В информатике бинарные операции используются в:

• Алгоритмах и структурах данных (например, бинарные деревья поиска, хеш-таблицы).
• Криптографии (операция XOR в шифрах, умножение в группах эллиптических кривых).
• Базах данных (реляционные операции: объединение, пересечение, разность).
• Логических схемах (вентили И, ИЛИ, НЕ, XOR).

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

• Унарная операция — функция одного аргумента (например, отрицание, транспонирование матрицы).
• Тернарная операция — функция трёх аргументов (например, условный оператор в программировании).
• Алгебраическая сигнатура — набор операций различной арности, задающих алгебраическую структуру.
• Группоид — множество с одной бинарной операцией (без дополнительных аксиом).

Источники

1. Курош А. Г. «Лекции по общей алгебре». — М.: Наука, 1973.
2. Биркгоф Г., Барти Т. «Современная прикладная алгебра». — М.: Мир, 1976.
3. Винберг Э. Б. «Курс алгебры». — М.: МЦНМО, 2011.
4. Ленг С. «Алгебра». — М.: Мир, 1968.
5. Кострикин А. И. «Введение в алгебру». — М.: Наука, 1977.