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

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

Бинарная операция — это правило объединения аргументов и получения ${\displaystyle \circ }$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x\circ y}$

В математике бинарная операция или диадическая операция — это правило объединения двух элементов (называемых операндами ) для создания другого элемента. Более формально, бинарная операция — это операция арности два .

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

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

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

Терминология

Точнее, бинарная операция над множеством — это отображение элементов декартова произведения на : ^{[1] [2] [3]} ${\displaystyle S}$ ${\displaystyle S\times S}$ ${\displaystyle S}$

${\displaystyle \,f\colon S\times S\rightarrow S.}$

Свойство замыкания бинарной операции выражает существование результата операции при любой паре операндов. ^[4]

Если это не функция , а частичная функция , то называется частичной бинарной операцией . Например, деление действительных чисел является частично двоичной операцией, поскольку делить на ноль нельзя : не определено для каждого действительного числа . И в теории моделей , и в классической универсальной алгебре бинарные операции должны быть определены над всеми элементами . Однако частичные алгебры ^[5] обобщают универсальные алгебры , позволяя выполнять частичные операции. ${\displaystyle f}$ ${\displaystyle f}$ ${\displaystyle {\frac {a}{0}}}$ ${\displaystyle a}$ ${\displaystyle S\times S}$

Иногда, особенно в информатике , термин «бинарная операция» используется для обозначения любой бинарной функции .

Свойства и примеры

Типичными примерами бинарных операций являются сложение ( ) и умножение ( ) чисел и матриц , а также композиция функций на одном множестве. Например, ${\displaystyle +}$ ${\displaystyle \times }$

• На множестве действительных чисел это бинарная операция , поскольку сумма двух действительных чисел является действительным числом. ${\displaystyle \mathbb {R} }$ ${\displaystyle f(a,b)=a+b}$
• На множестве натуральных чисел это бинарная операция , поскольку сумма двух натуральных чисел является натуральным числом. Это другая бинарная операция, чем предыдущая, поскольку наборы разные. ${\displaystyle \mathbb {N} }$ ${\displaystyle f(a,b)=a+b}$
• На множестве матриц с вещественными элементами это бинарная операция, поскольку сумма двух таких матриц является матрицей . ${\displaystyle M(2,\mathbb {R} )}$ ${\displaystyle 2\times 2}$ ${\displaystyle f(A,B)=A+B}$ ${\displaystyle 2\times 2}$
• На множестве матриц с вещественными элементами это бинарная операция, поскольку произведение двух таких матриц является матрицей . ${\displaystyle M(2,\mathbb {R} )}$ ${\displaystyle 2\times 2}$ ${\displaystyle f(A,B)=AB}$ ${\displaystyle 2\times 2}$
• Для данного набора пусть будет набор всех функций . Определим для всех состав двух функций и в . Тогда это бинарная операция, поскольку композиция двух функций снова является функцией на множестве (то есть членом ). ${\displaystyle C}$ ${\displaystyle S}$ ${\displaystyle h\colon C\rightarrow C}$ ${\displaystyle f\colon S\times S\rightarrow S}$ ${\displaystyle f(h_{1},h_{2})(c)=(h_{1}\circ h_{2})(c)=h_{1}(h_{2}(c))}$ ${\displaystyle c\in C}$ ${\displaystyle h_{1}}$ ${\displaystyle h_{2}}$ ${\displaystyle S}$ ${\displaystyle f}$ ${\displaystyle C}$ ${\displaystyle S}$

Многие бинарные операции, представляющие интерес как в алгебре, так и в формальной логике, являются коммутативными , удовлетворяющими всем элементам и в , или ассоциативными , удовлетворяющими всем , и в . Многие из них также имеют элементы идентичности и обратные элементы . ${\displaystyle f(a,b)=f(b,a)}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle S}$ ${\displaystyle f(f(a,b),c)=f(a,f(b,c))}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle c}$ ${\displaystyle S}$

Первые три примера выше являются коммутативными, и все приведенные выше примеры ассоциативны.

На множестве действительных чисел вычитание , то есть , является бинарной операцией, которая не является коммутативной, поскольку, вообще говоря, . Оно также не ассоциативно, поскольку, вообще говоря, ; например, но . ${\displaystyle \mathbb {R} }$ ${\displaystyle f(a,b)=a-b}$ ${\displaystyle a-b\neq b-a}$ ${\displaystyle a-(b-c)\neq (a-b)-c}$ ${\displaystyle 1-(2-3)=2}$ ${\displaystyle (1-2)-3=-4}$

На множестве натуральных чисел возведение в степень двоичной операции , , не является коммутативным, поскольку (см. уравнение x y = y x ), а также не является ассоциативным, поскольку . Например, с , , и , , но . Изменяя набор на набор целых чисел , эта бинарная операция становится частично бинарной операцией, поскольку теперь не определено, когда и является любым отрицательным целым числом. Для любого набора эта операция имеет правую идентичность (которая равна ), поскольку для всех в наборе это не является идентичностью (двусторонняя идентичность), поскольку в общем случае. ${\displaystyle \mathbb {N} }$ ${\displaystyle f(a,b)=a^{b}}$ ${\displaystyle a^{b}\neq b^{a}}$ ${\displaystyle f(f(a,b),c)\neq f(a,f(b,c))}$ ${\displaystyle a=2}$ ${\displaystyle b=3}$ ${\displaystyle c=2}$ ${\displaystyle f(2^{3},2)=f(8,2)=8^{2}=64}$ ${\displaystyle f(2,3^{2})=f(2,9)=2^{9}=512}$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle a=0}$ ${\displaystyle b}$ ${\displaystyle 1}$ ${\displaystyle f(a,1)=a}$ ${\displaystyle a}$ ${\displaystyle f(1,b)\neq b}$

Деление ( ), частичная двоичная операция над множеством действительных или рациональных чисел, не является коммутативной или ассоциативной. Тетрация ( ), как бинарная операция над натуральными числами, не является коммутативной или ассоциативной и не имеет единичного элемента. ${\displaystyle \div }$ ${\displaystyle \uparrow \uparrow }$

Обозначения

Бинарные операции часто записываются с использованием инфиксной записи , такой как , или (путем сопоставления без символа) , а не с помощью функциональной записи формы . Степени обычно также пишутся без оператора, но со вторым аргументом в виде надстрочного индекса . ${\displaystyle a\ast b}$ ${\displaystyle a+b}$ ${\displaystyle a\cdot b}$ ${\displaystyle ab}$ ${\displaystyle f(a,b)}$

Бинарные операции иногда записываются с использованием префиксной или (чаще) постфиксной записи, причем в обоих случаях скобки отсутствуют. Их еще называют соответственно польской нотацией и обратной польской нотацией . ${\displaystyle \ast ab}$ ${\displaystyle ab\ast }$

Бинарные операции как троичные отношения

Бинарную операцию над множеством можно рассматривать как тернарное отношение на , то есть набор троек in for all и in . ${\displaystyle f}$ ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle (a,b,f(a,b))}$ ${\displaystyle S\times S\times S}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle S}$

Другие бинарные операции

Например, скалярное умножение в линейной алгебре . Вот поле и векторное пространство над этим полем . ${\displaystyle K}$ ${\displaystyle S}$

Также скалярное произведение двух векторов отображается в , где – поле, а – векторное пространство над . Будет ли это рассматриваться как бинарная операция, зависит от авторов. ${\displaystyle S\times S}$ ${\displaystyle K}$ ${\displaystyle K}$ ${\displaystyle S}$ ${\displaystyle K}$

Смотрите также

• Категория:Свойства бинарных операций
• Итерированная бинарная операция  – многократное применение операции к последовательности.
• Магма (алгебра)  - алгебраическая структура с бинарной операцией.
• Оператор (программирование)  - конструкция, связанная с математической операцией в компьютерных программах.Pages displaying short descriptions of redirect targets
• Тернарная операция  - математическая операция, объединяющая три элемента для создания другого элемента.
• Таблица истинности § Бинарные операции
• Унарная операция  – математическая операция только с одним операндом.

Примечания

1. Ротман 1973, стр. 1
2. Харди и Уокер 2002, стр. 176, Определение 67
3. Фрэли 1976, стр. 10
4. Холл 1959, стр. 1
5. Джордж А. Гретцер (2008). Универсальная алгебра (2-е изд.). Springer Science & Business Media. Глава 2. Частичные алгебры. ISBN 978-0-387-77487-9.

Рекомендации

• Фрэли, Джон Б. (1976), Первый курс абстрактной алгебры (2-е изд.), Чтение: Аддисон-Уэсли, ISBN 0-201-01984-1
• Холл, Маршалл младший (1959), Теория групп , Нью-Йорк: Макмиллан
• Харди, Дэрел В.; Уокер, Кэрол Л. (2002), Прикладная алгебра: коды, шифры и дискретные алгоритмы , Аппер-Сэддл-Ривер, Нью-Джерси: Прентис-Холл, ISBN 0-13-067464-8
• Ротман, Джозеф Дж. (1973), Теория групп: Введение (2-е изд.), Бостон: Аллин и Бэкон

Внешние ссылки

• Вайсштейн, Эрик В. «Двоичная операция». Математический мир .