Какие арифметические действия обладают свойствами коммутативности
Основными свойствами бинарных алгебраических операций являются:
Коммутативность (переместительность)
Свойство бинарной алгебраической операции $ circ ,$ при котором выполняется условие: $ forall x,y in mathbb{P}: $ $ (xcirc y)=(ycirc x) ,$ где $ mathbb{P} $ — некоторое рассматриваемое множество.
Ассоциативность (сочетательность)
Свойство бинарной алгебраической операции $ circ ,$ при котором выполняется условие: $ forall x,y,z in mathbb{P}: $ $ (xcirc y)circ z=ycirc (xcirc z) ,$ где $ mathbb{P} $ — некоторое рассматриваемое множество.
Дистрибутивность (распределительный закон)
Свойство согласованности некоторых двух рассматриваемых алгебраических операций $ oplus $ и $ otimes $ на одном и том же некотором рассматриваемом множестве $ mathbb{P} ,$ при котором выполняется условие левой: $ forall x,y,z in mathbb{P}: $ $ xotimes (yoplus z) $ $ =(xotimes y)oplus(xotimes z) $; и/или правой: $ (yoplus z) otimes x $ $ =(yotimes x)oplus(zotimes x) $ дистрибутивности.
Примеры
- Проверить коммутативность умножения матриц над полем вещественных чисел.
Спойлер
Пусть $ small A in mathbb{M} _{m times p} ,B in mathbb{M} _{p times n}: $ $ small C=Atimes B; C in mathbb{M} _{mtimes n} Rightarrow $ $ small c_{ij}= underset{k=1} {overset{p} {sum}}a_{ik}b_{kj} .$ Очевидно, что для выполнения операции умножения, количество столбцов первой матрицы должно совпадать с количеством строк второй, следовательно, мы доказали, что коммутативность не выполняется для всех матриц, однако всё ещё может выполнятся для квадратных матриц. Проверим это: выполнение коммутативности для матриц будет выглядеть, как $ smallforall A,B in mathbb{M}_{n} Atimes B overset{?}{=} Btimes A,$ если рассматривать результирующую матрицу поэлементно, то это можно интерпретировать, как $ small underset{k=1} {overset{m} {sum }}a_{ik}b_{kj}overset {?}{=} underset{k=1}{ overset{m}{sum}}b_{ik}a_{kj},$ то есть в первой сумме мы перемножаем строку первой матрицы на столбец второй, а во второй строку второй матрицы на столбец первой. Ясно, что результаты таких действий будут равны тогда и только тогда, когда обе матрицы будут симметрическими (то есть будут совпадать с собой транспонированными $ small A^{T}=A$). Следовательно, коммутативность не выполняется даже для квадратных матриц.[свернуть]
- Доказать, что если ассоциативность выполняется для трёх элементов множества, то способ расстановки скобок не влияет на результат при любом количестве операндов, то есть если:
$ forall x,y,z in mathbb{P}: $ $ (xcirc y)circ z=ycirc (xcirc z) ,$ то в выражении $ a _{1} circ a _{2} circ … circ a _{n-1} circ a _{n}, ,a_{i} in mathbb{P} i=overline{1,n} $ результат не зависит от того, как мы расставим скобки.Спойлер
Докажем это утверждение математической индукцией по количеству операндов.
База индукции:
Минимальное количество переменных равно трём, следовательно, из условия имеем: $ small forall ,a_{1}, a_{2}, a_{3} in mathbb{P}: $ $ small ( a_{1}circ a_{2})circ a_{3}= a_{2}circ (a_{1}circ a_{3}) .$ База индукции доказана.
Предположение индукции:
$ small forall ,n in mathbb{N}: $результат выражения $ small a _{1} circ a _{2} circ … circ a _{n-1} circ a _{n} ,$ не зависит от порядка расстановки скобок.
Шаг индукции:
Пусть предположение индукции справедливо для $ small forall , n in mathbb{N} ,$ докажем, что тогда оно справедливо и для $ small n+1 .$
Пусть $ small 1leq pleq m< n+1 .$ То есть можно задать справедливое разбиение: $ small a _{1} circ a _{2} circ … circ a _{n-1} circ a _{n} = $ $ small (a _{1} circ a _{2} circ … circ a _{p-1} circ a _{p}) circ $ $ small (a _{p+1} circ … circ a _{m-1} circ a _{m})circ $ $ small (a _{m+1} circ … circ a _{n-1} circ a _{n} circ a _{n+1}) .$ Произведём замену:
$ small (a _{1} circ a _{2} circ … circ a _{p-1} circ a _{p}) = a $
$ small (a _{p+1} circ … circ a _{m-1} circ a _{m}) = b $
$ small (a _{m+1} circ … circ a _{n} circ a _{n+1}) = c $
По базе индукции имеем $ small (a circ b) circ c = a circ (b circ c ),$ то есть $ small [ (a _{1} circ a _{2} circ … $ $ circ a _{p-1} circ a _{p}) circ $ $ small (a _{p+1} circ … $ $ circ a _{m-1} circ a _{m}) ] circ $ $ small (a _{m+1} circ … $ $ circ a _{n-1} circ a _{n} circ a _{n+1})=$ $ small (a _{1} circ a _{2} circ … $ $ circ a _{p-1} circ a _{p}) circ $ $ small [ (a _{p+1} circ … $ $ circ a _{m-1} circ a _{m}) circ $ $ small (a _{m+1} circ … $ $ circ a _{n-1} circ a _{n} circ a _{n+1}) ].$
В силу свободы выбора $ small p, m,$ и свободы количества замен такого рода теорема доказана.[свернуть]
- Проверить дистрибутивность сложения матриц над полем вещественных чисел относительно умножения.
Спойлер
Пусть $ A in mathbb{M} _{mtimes n}; B,C in mathbb{M} _{ntimes m},$ докажем, что $ Acdot (B+C)=Acdot B+Acdot C.$ Заметим, что $ A=left | a_{ij} right |,$ $ B=left | b_{ji} right |,$ $ C=left | c_{ji} right |,$ $ i=overline{1,m},$ $ j =overline{1,n}$, тогда $ Acdot (B+C)=$ $ left | a_{ij} right |cdot (left | b_{ji} right | + left | c_{ji} right |)=$ $ left | a_{ij} right |cdot (left | b_{ji} + c_{ji} right |) = $ $ left | underset{i=1}{ overset{m}{sum}} a_{ij} cdot (b_{ji} + c_{ji})right | = $ $ left | underset{i=1}{ overset{m}{sum}} a_{ij} cdot b_{ji} + underset{i=1}{ overset{m}{sum}} a_{ij} cdot c_{ji}right |=$ $ left | underset{i=1}{ overset{m}{sum}} a_{ij} cdot b_{ji} right | + left | underset{i=1}{ overset{m}{sum}} a_{ij} cdot c_{ji}right | = $ $ Acdot B+Acdot C.$
Правая дистрибутивность доказывается аналогично.[свернуть]
Источники:
- В. В. Воеводин «Линейная алгебра» Издание 2, 1980 года, стр. 9-13
- А. И. Кострыкин «Введение в алгебру. Основы алгебры», 1994 года, стр. 155-160
- А. Г. Курош «Курс высшей алгебры» издание 9, 1968 года, стр. 147-161
- Белозеров Г.С. Конспект лекций
Таблица лучших: Основные свойства бинарных алгебраических операций.
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |
Навигация по записям
Источник
Известно, что сложение и умножение чисел обладает свойствами коммутативности, ассоциативности, умножение дистрибутивно относительно сложения. Аналогичными свойствами обладают объединение и пересечение множеств.
Рассмотрим свойства алгебраических операций, определив их в общем виде. При этом условимся алгебраические операции обозначать символами: * (читается – «звездочка») и о (читается – «кружок»).
Важнейшим свойством алгебраических операций является свойство ассоциативности.
Определение. Алгебраическая операция *, заданная на множествеX, называется ассоциативной, если для любых элементов х, у и z из множества X выполняется равенство
(x*y)*z=x*(y*z).
Если операция * обладает свойством ассоциативности, то можно опускать скобки и писать x*у*z вместо (х*у)*z и х*(у*z).
Например, ассоциативно сложение натуральных чисел: для любых натуральных чисел х, у и z выполняется равенство (х + у) + z = x + (у + z). Ассоциативно сложение рациональных и действительных чисел. Поэтому сумму нескольких чисел можно записывать без скобок.
Существуют алгебраические операции, не обладающие свойством ассоциативности. Так, не является ассоциативным вычитание целых чисел: существуют целые числа х, у и z, для которых (х – у) – z ≠ х – (у – z). Например, (12 – 7) – 3 ≠ 12 – (7 – 3).
Ассоциативность алгебраической операции * позволяет записывать без скобок все выражения, содержащие лишь эту операцию, но переставлять входящие в это выражение элементы, вообще говоря, нельзя. Перестановка элементов возможна лишь в случае, когда операция * коммутативна.
Определение. Алгебраическая операция * на множестве X называется коммутативной, если для любых двух элементов х и у из множества X выполняется равенство
х*у = у*х.
Примерами коммутативных операций могут служить сложение и умножение натуральных чисел, поскольку для любых натуральных чисел х и у выполняются равенства х + у = у + х, х · у = у · х. Эти равенства справедливы не только для натуральных чисел, но и для любых действительных чисел, следовательно, на множестве действительных чисел сложение и умножение тоже коммутативны.
Существуют алгебраические операции, не обладающие свойством коммутативности. Так, не является коммутативным вычитание целых чисел: существуют целые числа х и у, для которых х – у ≠ у – х. Например, 12-7≠7-12.
Если на множестве X заданы две алгебраические операции * и о, то они могут быть связаны друг с другом свойством дистрибутивности.
Определение. Алгебраическая операция оназывается дистрибутивной относительно алгебраической операции *, если для любых элементов х, у и z из множества X выполняются равенства:
1) (х*y)оz = (x o z)*(y o z) и 2) z o(х*у) = (z o х)*(z о у).
Если выполняется только равенство 1), то операцию о называют дистрибутивной справа относительно операции *; если же выполняется только равенство 2), то операцию о называют дистрибутивной слева относительно операции *.
Выясним, в каких случаях различают дистрибутивность справа и слева.
Рассмотрим на множестве натуральных чисел две операции: возведение в степень (она соответствует операции о в равенствах 1 и 2) и умножение (она соответствует операции * в равенствах 1 и 2). Тогда, согласно равенству 1, имеем: (х·у)z – = хz-уz. Как известно из алгебры, полученное равенство справедливо для любых натуральных чисел х, у и z, т.е. возведение в степень дистрибутивно справа относительно умножения. В соответствии с равенством 2, получаем х уz = ху-хz. Но это равенство выполняется не всегда, т.е. операция возведения в степень не является дистрибутивной слева относительно умножения. Такая ситуация является следствием того, что возведение в степень – операция, не обладающая свойством коммутативности.
Если взять сложение и умножение натуральных чисел, то, как известно, умножение дистрибутивно относительно сложения: для любых натуральных чисел х, у и z выполняются равенства
(x+y)·z + x·z + y·z и z·(x+y) = z·x + z·y
А так как умножение коммутативно, то не имеет значения, где писать множитель z – справа от суммы х + у или слева от нее. Поэтому в школьном курсе математики не различают дистрибутивность слева и справа, а говорят просто о дистрибутивности умножения относительно сложения.
Выясним роль свойства дистрибутивности в преобразованиях выражений. Если операция о дистрибутивна относительно операции * и обе операции ассоциативны, то в любом выражении, содержащем лишь эти две операции, можно раскрыть все скобки, перед которыми (или за которыми) стоит знак °. Проиллюстрируем сказанное на примере преобразования выражения (x + у)·(z + р). Так как умножение дистрибутивно относительно сложения, то
(x + у)·(z + р)= x·(z + р) + у·(z + р)= (x·z + x·р) + (у·z + y·р).
А поскольку сложение ассоциативно, то последнюю запись можно записать без скобок. Следовательно, (x + у)·(z + р)= )=x·z + x·р +у·z + y·р.
Часто в множестве, на котором рассматривается алгебраическая операция, выделяются особые элементы, называемые в алгебре нейтральными и поглощающими.
Определение. Элемент е из множества X называется нейтральным относительно алгебраической операции *, если для любого элемента х из множества X выполняются равенства х*е=е*х =х.
Доказано, что если нейтральный элемент относительно алгебраической операции существует, то он единственный.
Определение. Элемент р из множества X называется поглощающим относительно алгебраической операции *, если для любого элемента х из множества X выполняются равенства х*р=р*х=р.
Если поглощающий элемент относительно алгебраической операции существует, то он единственный.
Так, в множестве Zо целых неотрицательных чисел нуль является нейтральным элементом относительно сложения, поскольку для любого х из множества Zо выполняются равенства х + 0 = 0 + х = х. Это же число нуль является поглощающим элементом относительно умножения: для любого x из множества Zо верны равенства: х·0 = 0·х = 0.
Как известно, вычитание чисел является операцией, обратной сложению. Но чтобы дать определение обратной операции в общем виде, надоопределить понятие сократимой операции.
Определение. Алгебраическая операция *, заданная на множестве X, называется сократимой, если из условий а*х =а*у и х*а =у*а следует, что х =у.
Например, сократимо сложение натуральных чисел: из равенств а+х=а+у и х+а=у+а следует, что х= у.
Определение. Пусть * – сократимая и коммутативная алгебраическая операция, заданная на множестве X. Тогда операция оназывается обратной для операции *, если х о у = z тогда и только тогда, когда у * z = х.
Тот факт, что вычитание на множестве целых чисел есть операция, обратная сложению, означает: z = х – у тогда и только тогда, когда у + z = х.
Множество X с заданными на нем алгебраическими операциями принято называть алгеброй. В начальном курсе математики в основном изучают множество Zо целых неотрицательных чисел, которое является объединением множества натуральных чисел и нуля: Zо = N U{0}. На этом множестве рассматриваются алгебраические операции сложения и умножения. Используя язык современной математики, можно сказать, что в начальной школе изучают алгебру (Zо, +, •). Ее основные характеристики:
1) Сложение и умножение на множестве Zоассоциативно и коммутативно, а умножение дистрибутивно относительно сложения, т. е.:
(V х,у € Zо) х + у = у + х;
(V х,у € Zо) х·у = у·х;
(V х,у,z € Zо) (х + у) + z = х + (у + z);
(V х,у,z € Zо) (х·у)·z = х·(у·z);
(V х,у,z € Zо) (х +у)·z = х·z +у· z.
2) Сложение и умножение сократимы (исключая сокращение произведения на нуль), т.е. для любых целых неотрицательных чисел х,у и а справедливы утверждения:
х + а= у + а => х = у
х·а = у·а => х = у.
3) Нуль является нейтральным элементом относительно сложения и поглощающим относительно умножения:
(V х € Zо) х + 0 = 0 + х = x:;
(V х € Zо) х· 0 = 0· x = 0.
Единица является нейтральным элементом относительно умножения:
(V х,у € Zо) х •1 = 1•x = x.
4) Сократимость сложения и умножения целых неотрицательных чисел позволяет определить в Zо частичные алгебраические операции вычитания и деления как обратные соответственно сложению и умножению (исключая деление на нуль):
x-у = z ó у + z = x
х:у~2 ó у-z = х.
5) Вычитание и деление обладают свойствами:
(a-c)+b, если а≥с
(а+b) – c= a+(b-c), если b≥c
а – (b + с) = (а – b) – с = (a – с) – b, если a ≥ b + с;
(a+b):c = a:c+b:c, если a:c и b:c;
(a:c)·b, если а:с
(а·b) : c= a·(b:c), если b:c
а:(b-с) = (а:b):с= (а:с):b, если a:b и a:c
Названные характеристики алгебры (Zо, +, •) присутствует (явно или неявно) в любом начальном курсе математики.
Упражнения
1. Запишите, используя символы, что сложение и умножение коммутативно и ассоциативно на множестве Q рациональных чисел, а умножение дистрибутивно относительно сложения и вычитания.
2.Коммутативны ли следующие алгебраические операции:
а) возведение в степень на множестве N;
6) деление на множестве Q;
в) нахождение наибольшего общего делителя натуральных чисел?
3. Сократимо ли вычитание и деление на множестве Qрациональных чисел?
4.Какое множество является поглощающим элементом относительно пересечения множеств? Ответ обоснуйте.
5.Сформулируйте определение деления как операции, обратной умножению.
6.Выясните, как формулируются свойства сложения и умножения в различных учебниках по математике для начальной школы.
7.Запишите все свойства действий, характеризующих алгебру (Zо, +, •).
53. Основные выводы § 11
Изучив материал данного параграфа, мы познакомились со следующими понятиями:
– алгебраическая операция на множестве;
– множество, замкнутое относительно алгебраической операции;
– частичная алгебраическая операция;
– нейтральный элемент относительно алгебраической операции;
– поглощающий элемент относительно алгебраической операции;
– обратная операция.
Мы выяснили, что алгебраические операции могут обладать свойствами:
– коммутативности;
– ассоциативности;
– дистрибутивности (слева и справа);
– сократимости.
Установили, что в начальном курсе математики изучают алгебру (Zо, +, •).
Источник
Законами ассоциативности называются логические законы, позволяющие по-разному группировать высказывания, соединяемые с помощью «и», «или» и др.
Операции сложения и умножения чисел в математике ассоциативны:
(а + в) + с = а + (в + с),
(а ´ в) ´ с = а ´ (в ´ с).
Ассоциативностью обладают также логическое сложение (дизъюнкция) и логическое умножение (конъюнкция). Символически соответствующие законы представляются так:
(A v В) v С «A v (B v C)
(А & В) & С « А &( B&C).
В силу законов ассоциативности в формулах, представляющих конъюнкцию более чем двух высказываний или их дизъюнкцию, можно опускать скобки.
Законами коммутативности называют логические законы, позволяющие менять местами высказывания, связанные «и», «или», «если и только если» и др. Эти законы аналогичны алгебраическим законам коммутативности для умножения, сложения и др., по которым результат умножения не зависит от порядка множителей, сложения – от порядка слагаемых и т.д.
Символически законы коммутативности для конъюнкции и дизъюнкции записываются так:
(А & В) « (В & А),
А и В тогда и только тогда, когда В и А;
(A v В) « (В v А),
А или В, если и только если В или А.
Данные эквивалентности можно проиллюстрировать примерами: «Волга – самая длинная река в Европе и Волга впадает в Каспийское море в том и только том случае, если Волга впадает в Каспийское море и Волга является самой длинной рекой в Европе»; «Завтра будет дождь или будет снег, если и только если завтра будет снег или завтра будет дождь».
Существуют важные различия между употреблением слов «и» и «или» в повседневном языке и языке логики. В обычном языке этими словами соединяются два высказывания, связанные по содержанию. Нередко обычное «и» употребляется при перечислении, а обычное «или» предполагает, что мы не знаем, какое именно из соединяемых им двух высказываний истинно. В логике значения «и» и «или» упрощаются и делаются более независимыми от временной последовательности, от психологических факторов и т.п. «И» и «или» в логике коммутативны. Но «и» обычного языка, как правило, коммутативным не является. Скажем, утверждение «Он сломал ногу и попал в больницу» очевидно не равносильно высказыванию «Он попал в больницу и сломал ногу».
ЗАКОН ДУНСА СКОТТА
Закон, носящий имя средневекового логика и философа, монахаДунса Скотта, характеризует ложное высказывание. Смысл этого закона можно приблизительно передать так:из ложного утверждения вытекает какое угодно утверждение. Это звучит парадоксально: из того, что дважды два равно пяти, вовсе не вытекает, как кажется, что Луна сделана из зеленого сыра. Не все современные описания логического следования принимают эту его характеристику.
Известен анекдот об английском философе и логике Б. Расселе, доказавшем своему собеседнику на каком-то вечере, что из того, что два плюс два равно пяти,
вытекает, что он, Рассел – римский папа. В доказательстве использовался закон Дунса Скотта.
Отнимем от обеих сторон равенства 2 + 2 = 5 по 3. Получим: 1 = 2. Если собеседник утверждает, что Рассел не является римским папой, то этот папа и Рассел – два разных лица. Но поскольку 1 = 2, папа и Рассел – это одно и то же лицо.
Приведенные формулировки законов логики и примеров к этим законам являются довольно неуклюжими словесными конструкциями и звучат непривычно, даже если речь идет о самых простых по своей структуре законах. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.
Мало сказать, что о законах логики трудно говорить, пользуясь только обычным языком. Строго подходя к делу, нужно сказать, что они вообще могут быть адекватно переданы на этом языке.
Не случайно современная логика строит для выражения своих законов и связанных с ними понятий специальный язык. Этот формализованный язык отличается от обычного языка прежде всего тем, что следует за логической формой и воспроизводит ее даже в ущерб краткости и легкости общения.
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ
Основная задача логики – систематизация правил, позволяющих из имеющихся утверждений выводить новые.
Возможность получения одних идей в качестве логических следствий других лежит в фундаменте любой науки. Это делает проблему адекватного описания логического следования одной из наиболее важных проблем не только логики, но и философии науки.
Логическое следование – это отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Логическое следование относится к числу фундаментальных, исходных понятий логики, которую нередко характеризуют как науку о том, «что из чего следует».
Будучи исходным, понятие логического следования не допускает точного определения. В частности, описание его с помощью слов «видимо», «вытекает» и т.п. содержит неявный круг, поскольку последние являются синонимами слова «следует». Понятие следования обычно характеризуется путем указания его связей с другими логическими понятиями, и прежде всего с понятиями логического закона и модели.
Из высказывания А логически следует высказывание В, когда импликация «если А, то В» является частным случаем закона логики.
Например, из высказывания «Если натрий металл, он пластичен» логически вытекает высказывание «Если натрий не пластичен, он не металл», поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического закона контрапозиции.
Иное, семантическое обределение логического следования: из посылок А×, …, АØ логически следует высказывание В, если не может быть так, что высказывания А× …, АØ истинны, а высказывание В – ложно, (т.е. если В истинно в любой модели, в которой истинны А×, …, АØ).
Отличительной чертой логического следования является таким образом, то, что оно ведет от истинных высказываний только к истинным. Предъявление к нему требования не позволять получать ложные заключения из истинных посылок объясняется теоретико-познавательными соображениями. Если бы выводы, относимые к обоснованным, давали возможность переходить от истины ко лжи, то установление между высказываниями отношения логического следования потеряло бы смысл, и логический вывод превратился бы из формы разворачивания и конкретизации знания в средство, стирающее грань между истиной и заблуждением.
Теории логического следования не содержат правил, позволяющих перейти от истинных посылок к ложному заключению. Они удовлетворяют, кроме того, ряду дополнительных условий. Выдвижение этих условий объясняется стремлением дать такое описание логического следования, при котором существование между высказываниями этого отношения зависело бы не только от истинностного значения высказываний, но и от их смысловой связи. Поскольку «связь по смыслу» понимается по-разному, существуют различные теории логического следования. Ими решена задача исключения нежелательных, или парадоксальных, правил следования, подобных закону Дунса Скотта, и показано, что нет привилегированной логической системы, являющейся единственно правильным описанием логического следования.
ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ
Логика высказываний не анализирует внутреннюю структуру простых высказываний. Они берутся как неразложимые далее атомы, из которых с помощью связок образуются сложные высказывания.
Читайте также:
Рекомендуемые страницы:
©2015-2020 poisk-ru.ru
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-02-16
Нарушение авторских прав и Нарушение персональных данных
Поиск по сайту:
Источник