Коммутативное свойство

«Коммутативный» перенаправляется сюда. Чтобы узнать о других значениях, см. Коммутативный (значения) .

Коммутативное свойство

Тип	Свойство
Поле	Алгебра
Заявление	Бинарная операция является коммутативной , если изменение порядка операндов не приводит к изменению результата.
Символическое заявление	$x*y=y*x\quad \forall x,y\in S.$

В математике является бинарная операция коммутативной , если изменение порядка операндов не меняет результат. Это фундаментальное свойство многих бинарных операций, и многие математические доказательства от него зависят . Возможно, наиболее известное как арифметическое свойство, например «3 + 4 = 4 + 3» или «2 × 5 = 5 × 2» , это свойство также можно использовать в более сложных настройках. Имя необходимо, поскольку существуют операции, такие как деление и вычитание , которые его не имеют (например, «3 − 5 ≠ 5 − 3» ); такие операции не являются коммутативными и поэтому называются некоммутативными операциями . В течение многих лет неявно предполагалась идея о том, что простые операции, такие как умножение и сложение чисел, являются коммутативными. Таким образом, это свойство не было названо до 19 века, когда математика начала формализоваться. Аналогичное свойство существует и для бинарных отношений ; Бинарное отношение называется симметричным, если оно применяется независимо от порядка его операндов; например, равенство симметрично, поскольку два равных математических объекта равны независимо от их порядка.

Математические определения

Бинарная операция $*$ на множестве S называется коммутативным, если $$x*y=y*x\qquad {\mbox{for all }}x,y\in S.$$ Другими словами, операция коммутативна, если каждые два элемента коммутируют. Операция, не удовлетворяющая указанному выше свойству, называется некоммутативной .

Говорят, что x коммутирует с y или что x и y коммутируют при $*$ если $$x*y=y*x.$$То есть определенная пара элементов может коммутировать, даже если операция (строго) некоммутативна.

Примеры

Накопление яблок, которое можно рассматривать как сложение натуральных чисел, является коммутативным.

Коммутативные операции

Сложение векторов коммутативно, поскольку ${\vec {a}}+{\vec {b}}={\vec {b}}+{\vec {a}}$.

• Сложение и умножение коммутативны в большинстве систем счисления , и, в частности, между натуральными , целыми , рациональными числами , действительными числами и комплексными числами . Это также верно в каждой области .
• Сложение коммутативно в любом векторном пространстве и в любой алгебре .
• Объединение и пересечение являются коммутативными операциями над множествами .
• « И » и « или » являются коммутативными логическими операциями .

Некоммутативные операции

Деление, вычитание и возведение в степень

См. также: Уравнение xy = yx.

Деление некоммутативно, так как $1\div 2\neq 2\div 1$.

Вычитание некоммутативно, так как $0-1\neq 1-0$. Однако точнее его классифицируют как антикоммутативный , поскольку $0-1=-(1-0)$.

Возведение в степень некоммутативно, поскольку $2^{3}\neq 3^{2}$. Это свойство приводит к двум различным «обратным» операциям возведения в степень (а именно, операции n -го корня и операции логарифма ), что отличается от умножения.

Функции истинности

Некоторые функции истинности некоммутативны, поскольку таблицы истинности для функций меняются при изменении порядка операндов. Например, таблицы истинности для (A ⇒ B) = (¬A ∨ B) и (B ⇒ A) = (A ∨ ¬B) имеют вид

А	Б	А ⇒ Б	Б ⇒ А
Ф	Ф	Т	Т
Ф	Т	Т	Ф
Т	Ф	Ф	Т
Т	Т	Т	Т

Функциональная композиция линейных функций

Функциональная композиция линейных функций от действительных чисел к действительным числам почти всегда некоммутативна. Например, пусть $f(x)=2x+1$ и $g(x)=3x+7$. Затем $$(f\circ g)(x)=f(g(x))=2(3x+7)+1=6x+15$$и $$(g\circ f)(x)=g(f(x))=3(2x+1)+7=6x+10$$Это также применимо в более общем плане к линейным и аффинным преобразованиям векторного пространства в себя (см. ниже матричное представление).

Умножение матрицы

Матричное умножение квадратных матриц почти всегда некоммутативно, например: $${\begin{bmatrix}0&2\\0&1\end{bmatrix}}={\begin{bmatrix}1&1\\0&1\end{bmatrix}}{\begin{bmatrix}0&1\\0&1\end{bmatrix}}\neq {\begin{bmatrix}0&1\\0&1\end{bmatrix}}{\begin{bmatrix}1&1\\0&1\end{bmatrix}}={\begin{bmatrix}0&1\\0&1\end{bmatrix}}$$

Векторный продукт

Векторное произведение (или перекрестное произведение ) двух векторов в трех измерениях является антикоммутативным ; т. е. б × а = -( а × б ).

История и этимология

Первое известное использование этого термина было во французском журнале, опубликованном в 1814 году.

Записи о неявном использовании коммутативного свойства восходят к древним временам. Египтяне умножения использовали коммутативное свойство для упрощения вычислительных продуктов . Евклид Известно, что в своей книге «Начала» предположил коммутативное свойство умножения . Формальное использование свойства коммутативности возникло в конце 18 — начале 19 веков, когда математики начали работать над теорией функций. Сегодня свойство коммутативности является хорошо известным и основным свойством, используемым в большинстве разделов математики.

Первое зарегистрированное использование термина «коммутативный» было в мемуарах Франсуа Сервуа в 1814 году: который использовал слово «коммутативы» при описании функций, обладающих тем, что сейчас называется коммутативным свойством. Коммутативный — это женская форма французского прилагательного commutatif , которое происходит от французского существительного commutation и французского глагола commuter , означающего «обменивать» или «переключаться», родственного слову «commute » . Этот термин затем появился на английском языке в 1838 году. в статье Дункана Грегори под названием «О реальной природе символической алгебры», опубликованной в 1840 году в «Трудах Королевского общества Эдинбурга» .

Пропозициональная логика

Правило замены

пропозициональной логике коммутация В истинно- функциональной или коммутативность обратитесь к двум действующим правилам замены . Правила позволяют транспонировать пропозициональные переменные внутри логических выражений в логических доказательствах . Правила таковы: $$(P\lor Q)\Leftrightarrow (Q\lor P)$$и $$(P\land Q)\Leftrightarrow (Q\land P)$$где " $\Leftrightarrow$«является металогическим символом , обозначающим «можно заменить в доказательстве на».

Истинные функциональные связки

Коммутативность — это свойство некоторых логических связок истинностной функциональной логики высказываний . Следующие логические эквивалентности демонстрируют, что коммутативность является свойством определенных связок. Ниже приведены истиннофункциональные тавтологии .

Коммутативность соединения

$(P\land Q)\leftrightarrow (Q\land P)$

Коммутативность дизъюнкции

$(P\lor Q)\leftrightarrow (Q\lor P)$

Коммутативность импликации (также называемая законом перестановки)

${\big (}P\to (Q\to R){\big )}\leftrightarrow {\big (}Q\to (P\to R){\big )}$

Коммутативность эквивалентности (также называемая полным коммутативным законом эквивалентности)

$(P\leftrightarrow Q)\leftrightarrow (Q\leftrightarrow P)$

Теория множеств

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

Математические структуры и коммутативность

• — Коммутативная полугруппа это множество, наделенное тотальной, ассоциативной и коммутативной операцией.
• Если операция дополнительно имеет единичный элемент , мы имеем коммутативный моноид
• , Абелева группа или коммутативная группа, — это группа , групповая операция которой коммутативна.
• — Коммутативное кольцо это кольцо которого , умножение коммутативно. (Сложение в кольце всегда коммутативно.)
• В поле и сложение, и умножение коммутативны.

Связанные свойства

Ассоциативность

Основная статья: Ассоциативное свойство

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

Большинство встречающихся на практике коммутативных операций также являются ассоциативными. Однако коммутативность не означает ассоциативности. Контрпримером является функция $$f(x,y)={\frac {x+y}{2}},$$который явно коммутативен (перестановка x и y не влияет на результат), но не ассоциативен (поскольку, например, $f(-4,f(0,+4))=-1$ но $f(f(-4,0),+4)=+1$). Больше таких примеров можно найти в коммутативных неассоциативных магмах . Более того, ассоциативность также не подразумевает коммутативности - например, умножение кватернионов или матриц всегда ассоциативно, но не всегда коммутативно.

Распределительный

Основная статья: Распределительная собственность

Симметрия

График, показывающий симметрию функции сложения

Некоторые формы симметрии могут быть напрямую связаны с коммутативностью. Когда коммутативная операция записывается как двоичная функция $z=f(x,y),$ то эта функция называется симметричной функцией , а ее график в трехмерном пространстве симметричен относительно плоскости $y=x$. Например, если функция f определена как $f(x,y)=x+y$ затем $f$ является симметричной функцией.

Для отношений симметричное отношение аналогично коммутативной операции: если отношение R симметрично, то $aRb\Leftrightarrow bRa$.

Некоммутирующие операторы в квантовой механике

Основная статья: Каноническое коммутационное соотношение

В квантовой механике , сформулированной Шредингером , физические переменные представлены линейными операторами, такими как $x$ (имеется в виду умножить на $x$), и ${\textstyle {\frac {d}{dx}}}$. Эти два оператора не коммутируют, как можно увидеть, рассмотрев эффект их композиции. ${\textstyle x{\frac {d}{dx}}}$ и ${\textstyle {\frac {d}{dx}}x}$ (также называемые произведениями операторов) на одномерную волновую функцию $\psi (x)$: $$x\cdot {\mathrm {d} \over \mathrm {d} x}\psi =x\cdot \psi '\ \neq \ \psi +x\cdot \psi '={\mathrm {d} \over \mathrm {d} x}\left(x\cdot \psi \right)$$

Согласно принципу неопределенности Гейзенберга , если два оператора , представляющие пару переменных, не коммутируют, то эта пара переменных является взаимодополняющей , что означает, что их нельзя одновременно измерить или точно узнать. Например, положение и линейный импульс в $x$-направление частицы представляются операторами $x$ и $-i\hbar {\frac {\partial }{\partial x}}$, соответственно (где $\hbar$ – приведенная постоянная Планка ). Это тот же пример, за исключением константы $-i\hbar$, поэтому операторы снова не коммутируют, и физический смысл состоит в том, что положение и линейный импульс в данном направлении дополняют друг друга.

См. также

• Антикоммутативное свойство
• Централизатор и нормализатор (также называемый коммутантом)
• Коммутативная диаграмма
• Коммутативный (нейрофизиология)
• Коммутатор
• Закон параллелограмма
• Статистика частиц (для коммутативности в физике )
• Доказательство того, что аксиомы Пеано предполагают коммутативность сложения натуральных чисел.
• Квазикоммутативное свойство
• Трассировка моноида
• Вероятность поездок на работу

Ссылки

Книги

• Экслер, Шелдон (1997). Линейная алгебра сделана правильно, 2e . Спрингер. ISBN  0-387-98258-2 .

  Абстрактная теория алгебры. Охватывает коммутативность в этом контексте. Использует собственность на протяжении всей книги.

• Копи, Ирвинг М.; Коэн, Карл (2005). Введение в логику (12-е изд.). Прентис Холл. ISBN  9780131898349 .
• Галлиан, Джозеф (2006). Современная абстрактная алгебра (6е изд.). Хоутон Миффлин. ISBN  0-618-51471-6 .

  Теория линейной алгебры. Объясняет коммутативность в главе 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 .

  Перевод и интерпретация Математического папируса Ринда .

Интернет-ресурсы

• «Коммутативность» , Математическая энциклопедия , EMS Press , 2001 [1994]
• Краун, Аарон, Коммутативный в PlanetMath ., по состоянию на 8 августа 2007 г.

  Определение коммутативности и примеры коммутативных операций.

• Вайсштейн, Эрик В. «Путешествие на работу» . Математический мир . , по состоянию на 8 августа 2007 г.

  Объяснение термина поездка на работу

• «Ярк» . Примеры некоммутативных операций в PlanetMath ., по состоянию на 8 августа 2007 г.

  Примеры, доказывающие некоторые некоммутативные операции

• О'Коннер, Джей-Джей; Робертсон Э.Ф. «История действительных чисел» . МакТьютор . Проверено 8 августа 2007 г.

  Статья, рассказывающая историю действительных чисел

• Кабильон, Хулио; Миллер, Джефф. «Самые ранние известные варианты использования математических терминов» . Проверено 22 ноября 2008 г.

  Страница, посвященная самым ранним использованиям математических терминов.

• О'Коннер, Джей-Джей; Робертсон, EF «Биография Франсуа Сервуа» . МакТьютор . Архивировано из оригинала 2 сентября 2009 года . Проверено 8 августа 2007 г.

  Биография Франсуа Сервуа, который впервые использовал этот термин