Двоичная операция

редактировать
Математическая операция, объединяющая два элемента для создания третьего Двоичная операция ∘ {\ displaystyle \ circ}\ circ - это вычисление, объединяющее аргументы x и y в x ∘ y {\ displaystyle x \ circ y}{\ displaystyle x \ circ y}

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

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

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

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

Содержание

  • 1 Терминология
  • 2 Свойства и примеры
  • 3 Нотация
  • 4 Пара и кортеж
  • 5 Бинарные операции как тернарные отношения
  • 6 Внешние бинарные операции
  • 7 См. Также
  • 8 Примечания
  • 9 Ссылки
  • 10 Внешние ссылки

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

Точнее, двоичная операция над набором S является отображением элементов Декартово произведение S × S на S:

f: S × S → S. {\ displaystyle \, f \ двоеточие S \ times S \ rightarrow S.}\, f \ двоеточие S \ times S \ rightarrow S.

Поскольку результат выполнения операции над парой элементов S снова является элементом S, операция называется закрытой (или внутренняя ) двоичная операция над S (или иногда выражается как имеющая свойство закрытия ). Если f не является функцией , а вместо этого является частичной функцией, она называется частичной двоичной операцией . Например, деление действительных чисел является частичной двоичной операцией, потому что нельзя делить на ноль : a / 0 не определено ни для одного действительного a. Однако как в универсальной алгебре, так и в теории моделей рассматриваемые бинарные операции определены на всем S × S.

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

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

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

  • На множестве действительных чисел R, f (a, b) = a + b - это двоичная операция, поскольку сумма двух действительных чисел является действительным числом.
  • На множестве натуральных чисел N, f (a, b) = a + b - это двоичная операция, поскольку сумма двух натуральных чисел является натуральным числом. Это другая бинарная операция, чем предыдущая, поскольку наборы разные.
  • На множестве M (2, R ) матриц 2 × 2 с действительными элементами, f (A, B) = A + B является бинарной операцией, поскольку сумма двух таких матриц представляет собой матрицу 2 × 2.
  • На множестве M (2, R ) матриц 2 × 2 с вещественными элементами, f (A, B) = AB является бинарной операцией, поскольку произведение двух таких матриц представляет собой матрицу 2 × 2.
  • Для данного набора C пусть S будет набором всех функций h: C → C. Определите f: S × S → S как f (h 1, h 2) (c) = (h 1 ∘ h 2) (c) = h 1(h2(c)) для всех c ∈ C, композиция двух функций h 1 и h 2 в S. Тогда f является бинарной операцией, поскольку композиция этих двух функций снова является функцией на множестве C (то есть членом S).

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

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

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

На множестве натуральных чисел N двоичная операция возведение в степень, f (a, b) = a, не коммутативна, поскольку a ≠ b (cf. Уравнение xʸ = yˣ ), и также не ассоциативно, поскольку f (f (a, b), c) ≠ f (a, f (b, c)). Например, при a = 2, b = 3 и c = 2, f (2,2) = f (8,2) = 8 = 64, но f (2,3) = f (2,9) = 2 = 512. Изменяя набор N на набор целых чисел Z, эта двоичная операция становится частичной двоичной операцией, поскольку теперь она не определена, когда a = 0 и b - любое отрицательное целое число.. Для любого набора эта операция имеет правую идентичность (которая равна 1), поскольку f (a, 1) = a для всех a в наборе, что не является тождеством (двусторонняя идентичность), поскольку f (1, b) ≠ b в общем.

Деление (/), частичная двоичная операция над множеством действительных или рациональных чисел, не является коммутативной или ассоциативной. Тетрация (↑↑) как двоичная операция над натуральными числами не является коммутативной или ассоциативной и не имеет элемента идентичности.

Обозначение

Двоичные операции часто записываются с использованием инфиксной записи, такой как a ∗ b, a + b, a · b или (посредством сопоставления без символа) ab, а не с помощью функциональной записи вида f (a, b). Полномочия обычно также записываются без оператора, но со вторым аргументом в виде надстрочного индекса.

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

Пара и кортеж

Двоичная операция ab зависит от упорядоченной пары (a, b) и поэтому (ab) c (где круглые скобки здесь означают, что сначала работают с упорядоченной парой (a, b), а затем работают с результатом этого, используя упорядоченную пару ((ab), c)) зависит в общем на упорядоченной паре ((a, b), c). Таким образом, в общем, неассоциативном случае двоичные операции могут быть представлены с помощью двоичных деревьев.

Однако:

  • Если операция ассоциативна, (ab) c = a (bc), то значение (ab) c зависит только от кортежа (a, b, c).
  • Если операция коммутативная, ab = ba, то значение (ab) c зависит только от {{a, b}, c}, где фигурные скобки обозначают мультимножества.
  • . Если операция является одновременно ассоциативной и коммутативной, то значение (ab) c зависит только от мультимножества {a, b, c}.
  • Если операция ассоциативная, коммутативная и идемпотентная, aa = a, то значение (ab) c зависит только от set {a, b, c }.

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

Бинарные операции f на множестве S могут рассматриваться как тройные отношения на S, то есть как набор троек (a, b, f (a, b)) в S × S × S для всех a и b в S.

Внешние двоичные операции

An внешние двоичные операция является двоичной функцией от K × S до S. Это различие ers из бинарной операции над множеством в том смысле, что K не обязательно должно быть S; его элементы приходят извне.

Примером внешней двоичной операции является скалярное умножение в линейной алгебре. Здесь K - поле , а S - векторное пространство над этим полем.

внешняя бинарная операция может также рассматриваться как действие ; K действует на S.

скалярное произведение двух векторов отображается из S × S в K, где K - поле, а S - векторное пространство над K. Это зависит от авторов считается ли это бинарной операцией.

См. Также

Примечания

Ссылки

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

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

Последняя правка сделана 2021-05-12 06:25:54
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте