В математике бинарная операция является коммутативной , если изменение порядка операндов не меняет результат. Это фундаментальное свойство многих бинарных операций, и от него зависят многие математические доказательства . Возможно, наиболее известное как арифметическое свойство, например «3 + 4 = 4 + 3» или «2 × 5 = 5 × 2» , это свойство также можно использовать в более сложных настройках. Имя необходимо, поскольку существуют операции, такие как деление и вычитание , которые его не имеют (например, «3 − 5 ≠ 5 − 3» ); такие операции не являются коммутативными и поэтому называются некоммутативными операциями . В течение многих лет неявно предполагалась идея о том, что простые операции, такие как умножение и сложение чисел, являются коммутативными. Таким образом, это свойство не было названо до 19 века, когда математика начала формализоваться. [1] [2] Аналогичное свойство существует для бинарных отношений ; Бинарное отношение называется симметричным , если оно применяется независимо от порядка его операндов; например, равенство симметрично, поскольку два равных математических объекта равны независимо от их порядка. [3]
Математические определения
Бинарная операция над набором S называется коммутативной, если [4] [5] Не удалось проанализировать (SVG (MathML можно включить через плагин браузера): неверный ответ («Расширение Math не может подключиться к Restbase.») от сервера «http: //localhost:6011/en.wikipedia.org/v1/":): {\displaystyle x * y = y * x\qquad\mbox{for all }x,y\in S.}
Другими словами, операция коммутативен, если каждые два элемента коммутируют. Операция, не удовлетворяющая указанному выше свойству, называется некоммутативной .
Говорят, что x коммутирует с y или что x и y коммутируют при условии, что
Вычитание некоммутативно, так как . Однако его точнее классифицируют как антикоммутативный , поскольку .
Возведение в степень некоммутативно, так как . Это свойство приводит к двум различным «обратным» операциям возведения в степень (а именно, операции n -го корня и операции логарифма ), что отличается от умножения. [7]
Функции истинности
Некоторые функции истинности некоммутативны, поскольку таблицы истинности для функций меняются при изменении порядка операндов. Например, таблицы истинности для (A ⇒ B) = (¬A ∨ B) и (B ⇒ A) = (A ∨ ¬B) имеют вид
Записи о неявном использовании свойства коммутативности восходят к древним временам. Египтяне использовали коммутативное свойство умножения для упрощения вычислительных продуктов . [8] [9] Известно, что Евклид в своей книге «Начала» предположил коммутативное свойство умножения . [10] Формальное использование свойства коммутативности возникло в конце 18 и начале 19 веков, когда математики начали работать над теорией функций. Сегодня свойство коммутативности является хорошо известным и основным свойством, используемым в большинстве разделов математики.
Первое зарегистрированное использование термина « коммутативный» было в мемуарах Франсуа Сервуа в 1814 году, [1] [11] , в которых слово «коммутативный» использовалось при описании функций, обладающих тем, что сейчас называется коммутативным свойством. Это слово представляет собой комбинацию французского слова commuter , означающего «заменять или переключаться», и суффикса -ative , означающего «склонность к», поэтому слово буквально означает «склонность к замене или переключению». Затем этот термин появился на английском языке в 1838 году. [2] в статье Дункана Фаркухарсона Грегори, озаглавленной «О реальной природе символической алгебры», опубликованной в 1840 году в « Трудах Королевского общества Эдинбурга» . [12]
Коммутативность импликации (также называемая законом перестановки)
Коммутативность эквивалентности (также называемая полным коммутативным законом эквивалентности)
Теория множеств
В теории групп и множеств многие алгебраические структуры называются коммутативными, когда определенные операнды удовлетворяют коммутативному свойству. В высших разделах математики, таких как анализ и линейная алгебра , в доказательствах часто используется (или неявно предполагается) коммутативность хорошо известных операций (таких как сложение и умножение действительных и комплексных чисел). [16] [17] [18]
Математические структуры и коммутативность
Коммутативная полугруппа — это множество, наделенное тотальной, ассоциативной и коммутативной операцией.
Абелева группа , или коммутативная группа, — это группа , групповая операция которой коммутативна. [17]
Коммутативное кольцо — это кольцо , умножение которого коммутативно. (Сложение в кольце всегда коммутативно.) [19]
В поле и сложение, и умножение коммутативны. [20]
Связанные свойства
Ассоциативность
Ассоциативное свойство тесно связано с коммутативным свойством. Ассоциативное свойство выражения, содержащего два или более вхождений одного и того же оператора, гласит, что порядок выполнения операций не влияет на конечный результат, пока порядок членов не меняется. Напротив, свойство коммутативности гласит, что порядок членов не влияет на конечный результат.
Большинство встречающихся на практике коммутативных операций также являются ассоциативными. Однако коммутативность не означает ассоциативности. Контрпримером является функция
Некоторые формы симметрии могут быть напрямую связаны с коммутативностью. Когда коммутативная операция записывается в виде бинарной функции , то эта функция называется симметричной функцией , а ее график в трехмерном пространстве симметричен относительно плоскости . Например, если функция f определена как then , это симметричная функция.
Для отношений симметричное отношение аналогично коммутативной операции: если отношение R симметрично, то .
Некоммутирующие операторы в квантовой механике
В квантовой механике , сформулированной Шредингером , физические переменные представлены линейными операторами, такими как (что означает умножение на ) и . Эти два оператора не коммутируют, как можно увидеть, рассмотрев влияние их композиций и (также называемых произведениями операторов) на одномерную волновую функцию :
Согласно принципу неопределенности Гейзенберга , если два оператора, представляющие пару переменных, не коммутируют, то эта пара переменных является взаимодополняющей , что означает, что их нельзя одновременно измерить или точно узнать. Например, положение и линейный импульс в -направлении частицы представляются операторами и соответственно (где – приведенная постоянная Планка ). Это тот же пример, за исключением константы , поэтому операторы снова не коммутируют, и физический смысл заключается в том, что положение и линейный импульс в данном направлении дополняют друг друга.
Смотрите также
Найдите коммутативное свойство в Викисловаре, бесплатном словаре.
Теория линейной алгебры. Объясняет коммутативность в главе 1, использует ее повсюду.
Гудман, Фредерик (2003). Алгебра: абстрактное и конкретное, подчеркивая симметрию (2-е изд.). Прентис Холл. ISBN 0-13-067342-0.
Абстрактная теория алгебры. На протяжении всей книги используется свойство коммутативности.
Херли, Патрик Дж.; Уотсон, Лори (2016). Краткое введение в логику (12-е изд.). Cengage Обучение. ISBN 978-1-337-51478-1.
Статьи
Лампкин, Б. (1997). «Математическое наследие Древнего Египта - ответ Роберту Палтеру» (PDF) (неопубликованная рукопись). Архивировано из оригинала (PDF) 13 июля 2007 года.
Статья, описывающая математические способности древних цивилизаций.
Гей, Робинс Р.; Шут, Чарльз CD (1987). Математический папирус Ринда: древнеегипетский текст . Британский музей. ISBN 0-7141-0944-4.
«Ярк».Примеры некоммутативных операций в PlanetMath ., по состоянию на 8 августа 2007 г.
Примеры, доказывающие некоторые некоммутативные операции
О'Коннер, Джей-Джей; Робертсон Э. Ф. «История действительных чисел». МакТьютор . Проверено 8 августа 2007 г.
Статья, рассказывающая историю действительных чисел
Кабильон, Хулио; Миллер, Джефф. «Самые ранние известные варианты использования математических терминов» . Проверено 22 ноября 2008 г.
Страница, посвященная самым ранним использованиям математических терминов.
О'Коннер, Джей-Джей; Робертсон, EF "биография Франсуа Сервуа". МакТьютор . Архивировано из оригинала 2 сентября 2009 года . Проверено 8 августа 2007 г.
Биография Франсуа Сервуа, который впервые использовал этот термин