Определение. Алгебраической операцией на множестве X называется соответствие, при котором каждой паре элементов из множества X сопоставляется единственный элемент того же множества.
Примерами алгебраических операции могут служить:
- сложение на множестве натуральных чисел, поскольку сумма любых натуральных чисел является натуральным числом. Иначе говоря, при сложении каждой паре (х, у) натуральных чисел ставится в соответствие единственное натуральное число, обозначаемое х + у;
- вычитание на множестве целых чисел, так как разность любых целых чисел является целым числом или, говоря иначе, при вычитании каждой паре (х, у) целых чисел ставится в соответствие единственное целое число, обозначаемое х - у;
- деление на множестве рациональных чисел при условии, чтоисключается деление на нуль. Тогда частное любых рациональных чисел есть рациональное число, т.е. каждой паре (х, у) рациональных чисел ставится в соответствие единственное рациональное число.
С алгебраической операцией связано понятие замкнутого множества: если на множестве X задана алгебраическая операция, то говорят, что множество X замкнуто относительно этой операции.
Например, о множестве N натуральных чисел можно сказать, что оно замкнуто относительно сложения и умножения.
Существуют операции, которые не являются алгебраическими. Примером такой операции является вычитание на множестве натуральных чисел: х - у будет натуральным числом лишь при условии, что х > у, т.е. в множестве натуральных чисел есть пары, которым нельзя поставить в соответствие натуральное число.
Вычитание на множестве натуральных чисел не является алгебраической операцией, но мы знаем, что если разность натуральных чисел существует, то это число единственное. Аналогичной особенностью обладает и деление натуральных чисел. Говорят, что вычитание и деление есть частичные алгебраические операции на множестве натуральных чисел.
Определение. Частичной алгебраической операцией на множестве X называется соответствие, при котором некоторым парам элементов из множества X сопоставляется единственный элемент того же множества.
Задача. На множестве X натуральных чисел, кратных 3, заданы операции: сложение, умножение, вычитание и деление. Какие из них являются на этом множестве:
а) алгебраическими;
б) частичными алгебраическими?
Решение. Любое натуральное число, кратное 3, имеет вид 3n, где п € N.
Пусть 3n и 3m - два натуральных числа из множества X, n € N, m € N. Тогда 3n + 3m = 3 (n+m), причем п + т - сумма двух натуральных чисел и, значит, число натуральное и единственное. Следовательно, складывая два любых натуральных числа, кратных 3, мы всегда получаем число, кратное 3, и это число единственное. Таким образом, сложение на данном множестве X есть алгебраическая операция.
Рассмотрим произведение двух чисел из множества X: 3n · 3m = 9n·m, причем п·т - произведение двух натуральных чисел и, значит, число натуральное и единственное. Но 9:3, следовательно, умножая два любых натуральных числа, кратных 3, мы всегда получаем число, кратное 3, и это число единственное. Таким образом, умножение на данном множестве X есть алгебраическая операция.
Рассмотрим теперь разность двух чисел из множества X: 3n - 3m = 3 (n-m), но разность n - т существует на множестве натуральных чисел лишь при условии, что п > т. И если эта разность существует, то она единственна. Поэтому, если п > т, то разность 3n - 3m существует и является числом, кратным 3. Таким образом, вычитание на множестве X есть частичная алгебраическая операция.
Выполним деление чисел на множестве X: 3n : 3m = n:m. Так как частное натуральных чисел лит существует не всегда и, кроме того, если оно существует, то оно может быть не кратно 3. Значит, деление на множестве чисел, кратных 3, не является алгебраической операцией. Но поскольку для некоторых n и m их частное может быть кратно 3 (например, если п = 24, m = 2), то деление на множестве X является частичной алгебраической операцией.
Понятие алгебраической операции проходит через весь школьный курс математики. Начинается этот процесс в начальных классах, где происходит знакомство детей со сложением, которое сначала рассматривается на отрезке натурального ряда от 1 до 9 включительно, затем на отрезке от 1 до 100 и т.д. Алгебраической эта операция становится тогда, когда ее начинают рассматривать на всем множестве натуральных чисел. С умножением ситуация аналогичная.
Операции вычитания и деления в начальном обучении рассматриваются как частичные алгебраические операции на множестве натуральных чисел.