Множество векторов в пространстве с операцией сложения векторов, операцией векторного умножения, множество квадратных матриц с операциями сложения или умножения, множество функций с операцией сложения — вот примеры некоторых множеств с операциями, рассматривающихся в различных разделах математики. Выясним, что общего есть в свойствах операций на этих множествах и в чем их различие.
Определение 2.1. Пусть — произвольное непустое множество и — натуральное число. Любое отображение называют n-арной (или n-местной) операцией на множестве .
Таким образом, согласно приведенному определению, n-арная операция и каждому кортежу однозначно сопоставляет элемент . Компоненты кортежа называют при этом аргументами операции , а — результатом применения операции и к аргументам .
Для n-арной операции используют обозначение
}) или  .
Обычно, если , пишут . При и говорят соответственно об унарной операции и бинарной операции.
Специально вводят понятие нульарной операции (т.е. для ). Под нульарной операцией на множестве понимают произвольный фиксированный элемент множества . Нульарные операции позволяют фиксировать элементы множества , обладающие некоторыми специальными свойствами. Примером выполнения нульарной операции является, например, фиксирование нуля в множестве целых чисел с операцией сложения. Примером унарной операции служит дополнение заданного множества до универсального множества.
Наиболее важными в алгебре и, следовательно, наиболее исследованными являются бинарные операции. Примерами таких операций могут служить сложение и умножение чисел, сложение и умножение матриц, сложение векторов линейного пространства.
Рассмотрим бинарную операцию на множестве , обозначив ее звездочкой . Эту операцию называют:
1) ассоциативной, если \ast%20z=x\ast%20(y\ast%20z)}) для любых  ;
2) коммутативной, если  для любых  ;
3) идемпотентной, если  для любого  .
Ассоциативность операции позволяет для любых элементов однозначно трактовать результат выражения , так как
Операция сложения, заданная на множестве натуральных чисел, является ассоциативной и коммутативной. Операция умножения матриц ассоциативна, но не коммутативна. Идемпотентными являются операции объединения и пересечения множеств.
Элемент множества называют левым (правым) нулем относительно данной операции , если для любого .
Если — левый нуль, а — правый нуль, то они совпадают. Действительно, если и существуют, то они совпадают, так как , и в этом случае говорят просто о нуле относительно операции. Из приведенных равенств следует, что нуль единственный и для него одновременно выполнены оба равенства и .
Пример 2.1. а. На множестве целых чисел нулем относительно операции умножения будет число 0.
б. На множестве квадратных матриц вида , где элементы и — действительные числа, любая матрица вида будет правым нулем относительно операции умножения, поскольку
Однако левого нуля в этом множестве нет, так как иначе он совпадал бы с правым нулем и был бы единственным. Но правых нулей имеется больше одного.
|