Добавление - Addition

3 + 2 = 5 с яблоками , популярный вариант в учебниках.

Добавление (обычно обозначается в плюс символ + ) является одним из четырех основных операций в арифметической , остальные три является вычитание , умножение и деление . Сложение двух целых чисел дает общую сумму или сумму этих значений. Пример на соседнем изображении показывает комбинацию из трех яблок и двух яблок, в результате чего получается пять яблок. Это наблюдение эквивалентно математическому выражению «3 + 2 = 5» (то есть «3 плюс 2 равно 5»).

Помимо подсчета элементов, сложение также может быть определено и выполнено без ссылки на конкретные объекты , используя вместо этого абстракции, называемые числами , например целые числа , действительные числа и комплексные числа . Сложение относится к арифметике, разделу математики . В алгебре , другой области математики, сложение также может выполняться для абстрактных объектов, таких как векторы , матрицы , подпространства и подгруппы .

Дополнение имеет несколько важных свойств. Он коммутативен , что означает, что порядок не имеет значения, и он ассоциативен , что означает, что при добавлении более двух чисел порядок, в котором выполняется сложение, не имеет значения (см. Суммирование ). Повторное добавление 1 - то же самое, что и подсчет; добавление 0 не меняет числа. Сложение также подчиняется предсказуемым правилам относительно связанных операций, таких как вычитание и умножение.

Выполнение сложения - одна из простейших числовых задач. Для малышей доступно добавление очень маленьких номеров; Самую простую задачу, 1 + 1 , могут выполнять младенцы в возрасте от пяти месяцев и даже некоторые представители других видов животных. В начальных школах учащихся учат складывать числа в десятичной системе, начиная с однозначных чисел и постепенно решая более сложные задачи. Механические средства варьируются от древних абаков до современных компьютеров , где исследования наиболее эффективных способов сложения продолжаются и по сей день.

Обозначения и терминология

Знак плюс

Дополнение пишется со знаком плюс «+» между терминами; то есть в инфиксной записи . Результат обозначается знаком равенства . Например,

(«один плюс один равен двум»)
("два плюс два равняется четыре")
(«один плюс два равно трем»)
(см. «ассоциативность» ниже )
(см. «умножение» ниже )
Сложение по столбцу - числа в столбце складываются, сумма записывается под подчеркнутым числом.

Также существуют ситуации, когда добавление «понимается», даже если символ не появляется:

  • Целое число, за которым сразу следует дробь, обозначает сумму двух, называемую смешанным числом . Например,
    Это обозначение может вызвать путаницу, поскольку в большинстве других контекстов сопоставление вместо этого означает умножение .

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

Числа или объекты, добавляемые при общем добавлении, вместе именуются терминами , дополнениями или слагаемыми ; эта терминология применяется к суммированию нескольких терминов. Это следует отличать от факторов , которые умножаются . Некоторые авторы называют первое слагаемое augend . Фактически, в эпоху Возрождения многие авторы вообще не считали первое дополнение "дополнением". Сегодня из-за коммутативности сложения слово «augend» используется редко, и оба термина обычно называют слагаемыми.

Вся приведенная выше терминология происходит от латинского языка . « Сложение » и « добавить » - это английские слова, образованные от латинского глагола addere , который, в свою очередь, является составной частью ad «to» и dare «давать» от протоиндоевропейского корня * deh₃- «давать» ; таким образом, добавить - значит отдать . Использование герундивного суффикса -nd приводит к «добавлению», «добавляемому». Точно так же от augere «увеличивать» получается «augend», «вещь, которую нужно увеличивать».

Перерисованная иллюстрация из «Искусства Номбринга» , одного из первых английских арифметических текстов 15 века.

«Сумма» и «слагаемое» происходят от латинского существительного summa «высший, наивысший» и связанного с ним глагола summare . Это уместно не только потому, что сумма двух положительных чисел больше любого из них, но и потому, что древние греки и римляне обычно складывали в большую сторону, в отличие от современной практики сложения в меньшую сторону, так что сумма была буквально больше, чем сумма. добавляет. Аддере и Summare восходят, по крайней мере, к Боэцию , если не к более ранним римским писателям, таким как Витрувий и Фронтин ; Боэций также использовал несколько других терминов для операции сложения. Более поздние среднеанглийские термины «добавление» и «добавление» были популяризированы Чосером .

Знак плюс «+» ( Unicode : U + 002B, ASCII : +) это аббревиатура от латинского слова и др , что означает «и». Он появляется в математических трудах, датируемых по крайней мере 1489 годом.

Интерпретации

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

Комбинирование наборов

AdditionShapes.svg

Возможно, наиболее фундаментальная интерпретация сложения заключается в объединении множеств:

  • Когда две или несколько непересекающихся коллекций объединяются в одну коллекцию, количество объектов в одной коллекции является суммой количества объектов в исходных коллекциях.

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

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

Увеличение длины

Числовая визуализация алгебраического сложения 2 + 4 = 6. Перевод на 2, за которым следует перевод на 4, совпадает с переводом на 6.
Числовая визуализация унарного сложения 2 + 4 = 6. Перевод на 4 эквивалентен четырем переводам на 1.

Вторая интерпретация сложения заключается в увеличении начальной длины на заданную длину:

  • Когда исходная длина увеличивается на заданную величину, окончательная длина является суммой исходной длины и длины удлинения.

Сумму a + b можно интерпретировать как двоичную операцию, которая объединяет a и b в алгебраическом смысле, или ее можно интерпретировать как добавление еще b единиц к a . Согласно последней интерпретации, части суммы a + b играют асимметричные роли, и операция a + b рассматривается как применение унарной операции + b к a . Вместо вызова обоих и б слагаемыми, более уместно назвать в о augend в этом случае, так как играет пассивную роль. Унарное представление также полезно при обсуждении вычитания , потому что каждая унарная операция сложения имеет обратную унарную операцию вычитания и наоборот .

Характеристики

Коммутативность

4 + 2 = 2 + 4 с блоками

Сложение является коммутативным , что означает, что можно изменить порядок членов в сумме, но все равно получить тот же результат. Символически, если a и b - любые два числа, то

а + Ь = Ь + а .

Тот факт, что сложение является коммутативным, известен как «коммутативный закон сложения» или «коммутативное свойство сложения». Некоторые другие бинарные операции коммутативны, например умножение, но многие другие нет, например вычитание и деление.

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

2 + (1 + 3) = (2 + 1) + 3 с сегментированными стержнями

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

Например, следует ли определять выражение a + b + c как означающее ( a + b ) + c или a + ( b + c )? Учитывая, что сложение ассоциативно, выбор определения не имеет значения. Для любых трех чисел a , b и c верно, что ( a + b ) + c = a + ( b + c ) . Например, (1 + 2) + 3 = 3 + 3 = 6 = 1 + 5 = 1 + (2 + 3) .

Когда сложение используется вместе с другими операциями, порядок операций становится важным. В стандартном порядке операций сложение имеет более низкий приоритет, чем возведение в степень , корни n-й степени , умножение и деление, но имеет тот же приоритет, что и вычитание.

Элемент идентичности

5 + 0 = 5 с мешками точек

Добавление нуля к любому числу не меняет числа; это означает, что ноль является элементом идентичности для сложения и также известен как аддитивная идентичность . В символах для каждого a есть

а + 0 = 0 + а = а .

Этот закон был впервые идентифицирован в Брахмагупте «s Brahmasphutasiddhanta в 628 г. н.э., хотя он написал это как три отдельных законов, в зависимости от того , отрицательные, положительного, или обнулять себя, и он использовал слова , а не алгебраические символов. Позже индийские математики уточнили эту концепцию; Примерно в 830 году Махавира писал: «ноль становится тем же, что к нему прибавляется», что соответствует унарному утверждению 0 + a = a . В XII веке Бхаскара писал: «При добавлении шифра или его вычитании количество, положительное или отрицательное, остается неизменным», что соответствует унарному утверждению a + 0 = a .

Преемник

В контексте целых чисел, добавление одного также играет особую роль: для любого целого числа а , целое число ( + 1) является наименьшим целым числом , большим , чем , также известный как преемника из . Например, 3 является преемником 2, а 7 - преемником 6. Из-за этой последовательности значение a + b также может рассматриваться как b- й преемник a , что делает добавление повторной последовательности. Например, 6 + 2 равно 8, потому что 8 является преемником 7, который является преемником 6, что делает 8 вторым преемником 6.

Единицы

Чтобы численно сложить физические величины с единицами , они должны быть выражены с помощью общих единиц. Например, добавление 50 миллилитров к 150 миллилитрам дает 200 миллилитров. Однако если 5 футов увеличить на 2 дюйма, получится 62 дюйма, поскольку 60 дюймов являются синонимами 5 футов. С другой стороны, обычно бессмысленно пытаться прибавить 3 метра и 4 квадратных метра, поскольку эти единицы несопоставимы; такого рода соображения являются фундаментальными в анализе размерностей .

Выполнение сложения

Врожденная способность

Исследования математического развития, начатые примерно в 1980-х годах, использовали феномен привыкания : младенцы дольше смотрят на неожиданные ситуации. Основополагающий эксперимент Карен Винн в 1992 году с куклами Микки Мауса, которыми манипулируют за ширмой, продемонстрировал, что пятимесячные младенцы ожидают, что 1 + 1 равно 2, и они сравнительно удивлены, когда физическая ситуация, кажется, подразумевает, что 1 + 1 - это либо 1 или 3. С тех пор этот вывод был подтвержден множеством лабораторий, использующих разные методологии. В другом эксперименте 1992 года с детьми старшего возраста в возрасте от 18 до 35 месяцев использовалось развитие у них моторного контроля, позволяя им извлекать мячи для пинг-понга из коробки; самые молодые хорошо ответили на небольшие числа, в то время как испытуемые старшего возраста могли вычислить суммы до 5.

Даже некоторые животные, не являющиеся людьми, демонстрируют ограниченную способность к добавлению, особенно приматы . В эксперименте 1995 года, имитирующем результат Винна 1992 года (но с использованием баклажанов вместо кукол), макаки-резус и тамарин- макаки работали так же, как и человеческие младенцы. Более того, после обучения значениям арабских цифр от 0 до 4, один шимпанзе смог вычислить сумму двух цифр без дальнейшего обучения. Совсем недавно азиатские слоны продемонстрировали способность выполнять основную арифметику.

Обучение в детстве

Как правило, дети сначала осваивают счет . Когда возникает задача, требующая объединения двух и трех предметов, маленькие дети моделируют ситуацию с помощью физических объектов, часто пальцев или рисунка, а затем подсчитывают общую сумму. По мере накопления опыта они изучают или открывают для себя стратегию «подсчета»: их просят найти два плюс три, дети считают три четверти, говорят «три, четыре, пять » (обычно ставят галочку на пальцах) и получают пять. . Эта стратегия кажется почти универсальной; дети могут легко подобрать его у сверстников или учителей. Большинство обнаруживают это самостоятельно. Обладая дополнительным опытом, дети учатся складывать быстрее, используя коммутативность сложения, считая от большего числа, в данном случае начиная с трех и считая «четыре, пять ». В конце концов дети начинают вспоминать определенные факты сложения (« числовые связи ») либо на собственном опыте, либо на заучивании наизусть. Как только некоторые факты запоминаются, дети начинают извлекать неизвестные факты из известных. Например, ребенок, которого попросили сложить шесть и семь, может знать, что 6 + 6 = 12, а затем решить, что 6 + 7 - это еще одно, или 13. Такие производные факты можно найти очень быстро, и большинство учеников начальной школы в конечном итоге полагаются на смесь заученных и извлеченных фактов для плавного добавления.

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

Стол

Детям часто предлагают для запоминания таблицу сложения пар чисел от 0 до 9. Зная это, дети могут выполнять любое сложение.

+ 0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 4 5 6 7 8 9
1 1 2 3 4 5 6 7 8 9 10
2 2 3 4 5 6 7 8 9 10 11
3 3 4 5 6 7 8 9 10 11 12
4 4 5 6 7 8 9 10 11 12 13
5 5 6 7 8 9 10 11 12 13 14
6 6 7 8 9 10 11 12 13 14 15
7 7 8 9 10 11 12 13 14 15 16
8 8 9 10 11 12 13 14 15 16 17
9 9 10 11 12 13 14 15 16 17 18

Десятичная система

Предварительным условием сложения в десятичной системе является беглый вызов или вывод 100 однозначных «фактов сложения». Можно запомнить все факты наизусть , но стратегии, основанные на шаблонах, более информативны и для большинства людей более эффективны:

  • Коммутативное свойство : Упомянутое выше использование шаблона a + b = b + a уменьшает количество «фактов сложения» со 100 до 55.
  • Еще одно или два : сложение 1 или 2 - это основная задача, и ее можно решить, полагаясь на или, в конечном счете, на интуицию .
  • Ноль : поскольку ноль является аддитивным тождеством, добавление нуля тривиально. Тем не менее, при обучении арифметике некоторые студенты знакомятся с сложением как процессом, который всегда увеличивает слагаемые; проблемы со словами могут помочь рационализировать «исключение» нуля.
  • Двойники : сложение числа само по себе связано со счетом на два и умножением . Факты-двойники составляют основу многих связанных фактов, и учащиеся находят их относительно легкими для понимания.
  • Почти двойные : такие суммы, как 6 + 7 = 13, могут быть быстро получены из факта удвоений 6 + 6 = 12 , добавив еще один, или из 7 + 7 = 14, но вычитая один.
  • Пять и десять : суммы в форме 5 + x и 10 + x обычно запоминаются рано и могут использоваться для получения других фактов. Например, 6 + 7 = 13 можно получить из 5 + 7 = 12 , добавив еще один.
  • Десять : продвинутая стратегия использует 10 как промежуточное звено для сумм, включающих 8 или 9; например, 8 + 6 = 8 + 2 + 4 = 10 + 4 = 14 .

По мере взросления учащиеся запоминают больше фактов и учатся быстро и плавно извлекать другие факты. Многие студенты никогда не запоминают все факты, но все же могут быстро найти любой основной факт.

Нести

Стандартный алгоритм добавления многозначных чисел заключается в выравнивании слагаемых по вертикали и добавлении столбцов, начиная с столбца единиц справа. Если в столбце больше девяти, дополнительная цифра « переносится » в следующий столбец. Например, в сложении 27 + 59

  ¹
  27
+ 59
————
  86

7 + 9 = 16, а цифра 1 - перенос. В альтернативной стратегии сложение начинается со старшей цифры слева; этот маршрут делает транспортировку немного неудобной, но позволяет быстрее получить приблизительную сумму. Есть много альтернативных методов.

Десятичные дроби

Десятичные дроби могут быть добавлены простой модификацией описанного выше процесса. Один выравнивает две десятичные дроби друг над другом, с десятичной точкой в ​​одном и том же месте. При необходимости можно добавить нули в конце к более короткому десятичному знаку, чтобы он был такой же длины, как и более длинный десятичный разделитель. Наконец, выполняется тот же процесс сложения, что и выше, за исключением того, что десятичная точка помещается в ответ точно там, где она была размещена в слагаемых.

Например, 45.1 + 4.34 можно решить следующим образом:

   4 5 . 1 0
+  0 4 . 3 4
————————————
   4 9 . 4 4

Научная нотация

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

Например:

Недесятичный

Сложение в других основаниях очень похоже на десятичное сложение. В качестве примера можно рассмотреть сложение в двоичном формате. Сложить два однозначных двоичных числа относительно просто, используя форму переноса:

0 + 0 → 0
0 + 1 → 1
1 + 0 → 1
1 + 1 → 0, перенесем 1 (так как 1 + 1 = 2 = 0 + (1 × 2 1 ))

Добавление двух цифр «1» дает цифру «0», а 1 необходимо добавить в следующий столбец. Это похоже на то, что происходит в десятичной системе счисления, когда некоторые однозначные числа складываются; если результат равен или превышает значение системы счисления (10), цифра слева увеличивается:

5 + 5 → 0, перенесем 1 (так как 5 + 5 = 10 = 0 + (1 × 10 1 ))
7 + 9 → 6, перенесем 1 (так как 7 + 9 = 16 = 6 + (1 × 10 1 ))

Это называется переноской . Когда результат сложения превышает значение цифры, процедура состоит в том, чтобы «перенести» избыточное количество, разделенное на основание системы счисления (то есть 10/10), влево, добавив его к следующему позиционному значению. Это правильно, поскольку вес следующей позиции выше на коэффициент, равный основанию системы счисления. В двоичном формате перенос работает точно так же:

  1 1 1 1 1    (carried digits)
    0 1 1 0 1
+   1 0 1 1 1
—————————————
  1 0 0 1 0 0 = 36

В этом примере складываются две цифры: 01101 2 (13 10 ) и 10111 2 (23 10 ). В верхнем ряду показаны использованные биты переноса. Начиная с крайнего правого столбца, 1 + 1 = 10 2 . 1 переносится влево, а 0 пишется внизу самого правого столбца. Добавляется второй столбец справа: снова 1 + 0 + 1 = 10 2 ; переносится 1, а внизу пишется 0. Третий столбец: 1 + 1 + 1 = 11 2 . На этот раз переносится 1, а в нижнем ряду написано 1. В результате получается окончательный ответ 100100 2 (36 10 ).

Компьютеры

Дополнение с операционным усилителем. Подробнее см. Суммирующий усилитель .

Аналоговые компьютеры работают напрямую с физическими величинами, поэтому их механизмы сложения зависят от формы слагаемых. Механический сумматор может представлять два слагаемых положения скользящих блоков, и в этом случае они могут быть добавлены с помощью рычага усреднения . Если слагаемые скорости вращения двух валов , их можно сложить с помощью дифференциала . Гидравлический сумматор может добавлять давления в двух камерах, используя второй закон Ньютона для уравновешивания сил, действующих на узел поршней . Наиболее распространенная ситуация для аналогового компьютера общего назначения - складывание двух напряжений (относительно земли ); это можно сделать примерно с помощью резисторной сети , но в лучшей конструкции используется операционный усилитель .

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

Часть Чарльза Бэббиджа Difference Engine , включая добавление и перенесенных механизмов

Счеты , называемый также подсчета кадров, является расчет инструмент , который был в использовании веков до принятия письменных современной системы счисления , и до сих пор широко используется торговцами, торговцами и клерки в Азии , Африке и в других местах; он датируется по крайней мере 2700–2300 гг. до н.э., когда он использовался в Шумере .

Блез Паскаль изобрел механический калькулятор в 1642 году; это была первая действующая арифметическая машина . В нем использовался механизм переноски с гравитацией. Это был единственный действующий механический калькулятор в 17 веке и самый ранний автоматический цифровой компьютер. Калькулятор Паскаля был ограничен механизмом переноски, который заставлял его колеса поворачиваться только в одну сторону, чтобы он мог складывать. Для вычитания оператору приходилось использовать дополнение калькулятора Паскаля , которое требовало столько же шагов, сколько и сложение. Джованни Полени последовал примеру Паскаля, построив в 1709 году второй функциональный механический калькулятор - счетные часы из дерева, которые после настройки могли автоматически умножать два числа.

Логическая схема « полного сумматора », которая складывает две двоичные цифры, A и B , вместе с входом переноса C in , создавая бит суммы, S , и выход переноса, C out .

Сумматоры выполняют сложение целых чисел в электронных цифровых компьютерах, обычно используя двоичную арифметику . Самая простая архитектура - это сумматор с переносом пульсаций, который следует стандартному многозначному алгоритму. Одно небольшое улучшение - конструкция пропуска переноса , опять же следуя человеческой интуиции; один не выполняет всех переносов при вычислении 999 + 1 , но обходит группу девяток и переходит к ответу.

На практике вычислительное сложение может быть достигнуто с помощью побитовых логических операций XOR и AND в сочетании с операциями битового сдвига, как показано в псевдокоде ниже. И XOR, и логические элементы AND легко реализовать в цифровой логике, что позволяет реализовать полные схемы сумматора, которые, в свою очередь, могут быть объединены в более сложные логические операции. В современных цифровых компьютерах сложение целых чисел обычно является самой быстрой арифметической инструкцией, но при этом оказывает наибольшее влияние на производительность, поскольку лежит в основе всех операций с плавающей запятой, а также таких основных задач, как генерация адреса во время доступа к памяти и выборка инструкций во время ветвления . Для увеличения скорости современные конструкции вычисляют цифры параллельно ; эти схемы носят такие имена, как выбор переноса, просмотр вперед и псевдоперенос Линга . Фактически, многие реализации являются гибридами этих трех последних разработок. В отличие от добавления на бумаге, сложение на компьютере часто меняет слагаемые. На древних счетах и суммирующей доске оба слагаемых уничтожаются, остается только сумма. Влияние счётов на математическое мышление было достаточно сильным, поэтому ранние латинские тексты часто утверждали, что в процессе добавления «числа к числу» оба числа исчезают. В наше время команда ADD микропроцессора часто заменяет augend суммой, но сохраняет слагаемое. В языке программирования высокого уровня вычисление a + b не изменяет ни a, ни b ; если цель состоит в том, чтобы заменить a суммой, это должно быть явно запрошено, обычно с помощью оператора a = a + b . Некоторые языки, такие как C или C ++, позволяют сокращать это как a + = b .

// Iterative algorithm
int add(int x, int y) {
    int carry = 0;
    while (y != 0) {      
        carry = AND(x, y);   // Logical AND
        x     = XOR(x, y);   // Logical XOR
        y     = carry << 1;  // left bitshift carry by one
    }
    return x; 
}

// Recursive algorithm
int add(int x, int y) {
    return x if (y == 0) else add(XOR(x, y), AND(x, y) << 1);
}

На компьютере, если результат сложения слишком велик для сохранения, происходит арифметическое переполнение , что приводит к неправильному ответу. Непредвиденное арифметическое переполнение - довольно частая причина ошибок программы . Такие ошибки переполнения может быть трудно обнаружить и диагностировать, поскольку они могут проявляться только для очень больших наборов входных данных, которые с меньшей вероятностью будут использоваться в проверочных тестах. Проблема 2000 года представляла собой серию ошибок, когда ошибки переполнения возникали из-за использования двухзначного формата в течение многих лет.

Сложение чисел

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

Натуральные числа

Есть два популярных способа определить сумму двух натуральных чисел a и b . Если определить натуральные числа как мощности конечных множеств (мощность множества - это количество элементов в множестве), то целесообразно определить их сумму следующим образом:

  • Пусть N ( S ) является мощность множества S . Возьмем два непересекающихся множества A и B , где N ( A ) = a и N ( B ) = b . Тогда a + b определяется как .

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

Другое популярное определение - рекурсивное:

  • Пусть п + быть преемник по п , то есть число следующего п в натуральных числах, так что 0 + = 1, 1 + = 2. Определим a + 0 = a . Рекурсивно определить общую сумму как a + ( b + ) = ( a + b ) + . Следовательно, 1 + 1 = 1 + 0 + = (1 + 0) + = 1 + = 2 .

Опять же, в литературе есть незначительные вариации этого определения. Взятые в буквальном смысле, приведенное выше определение является применение теоремы рекурсии на частично упорядоченного множества Н 2 . С другой стороны, некоторые источники предпочитают использовать ограниченную теорему рекурсии, которая применяется только к набору натуральных чисел. Затем каждый считает a временно "фиксированным", применяет рекурсию к b для определения функции " a  +" и вставляет эти унарные операции для всех a вместе, чтобы сформировать полную двоичную операцию.

Эта рекурсивная формулировка сложения была разработана Дедекиндом еще в 1854 году, и он расширит ее в следующие десятилетия. Он доказал ассоциативные и коммутативные свойства, среди прочего, с помощью математической индукции .

Целые числа

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

  • Для целого числа n пусть | п | быть его абсолютным значением. Пусть a и b целые числа. Если либо a, либо b равно нулю, рассматривать его как идентичность. Если a и b положительны, определите a + b = | а | + | б | . Если a и b оба отрицательны, определите a + b = - (| a | + | b |) . Если a и b имеют разные знаки, определите a + b как разницу между | а | и | b |, со знаком члена, абсолютное значение которого больше. Например, −6 + 4 = −2 ; поскольку −6 и 4 имеют разные знаки, их абсолютные значения вычитаются, а поскольку абсолютное значение отрицательного члена больше, ответ отрицательный.

Хотя это определение может быть полезно для конкретных задач, количество рассматриваемых случаев излишне усложняет доказательства. Поэтому для определения целых чисел обычно используется следующий метод. Он основан на замечании о том, что каждое целое число является разностью двух натуральных чисел и что две такие разности, a - b и c - d , равны тогда и только тогда, когда a + d = b + c . Таким образом, можно формально определить целые числа , как на классы эквивалентности в упорядоченных пар натуральных чисел по отношению эквивалентности

( a , b ) ~ ( c , d ) тогда и только тогда, когда a + d = b + c .

Класс эквивалентности ( a , b ) содержит либо ( a - b , 0), если ab , либо (0, b - a ) в противном случае. Если n натуральное число, можно обозначить + n класс эквивалентности ( n , 0) , а через - n класс эквивалентности (0, n ) . Это позволяет отождествить натуральное число n с классом эквивалентности + n .

Добавление упорядоченных пар производится покомпонентно:

Прямое вычисление показывает, что класс эквивалентности результата зависит только от классов эквивалентности слагаемых, и, таким образом, это определяет добавление классов эквивалентности, то есть целых чисел. Другое прямое вычисление показывает, что это добавление совпадает с приведенным выше определением случая.

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

Эта конструкция также была обобщена под названием группы Гротендика на случай любой коммутативной полугруппы. Без свойства сокращения гомоморфизм полугруппы из полугруппы в группу может быть неинъективным. Первоначально группа Гротендика была, точнее говоря, результатом этой конструкции, примененной к классам эквивалентности при изоморфизмах объектов абелевой категории с прямой суммой как полугрупповой операцией.

Рациональные числа (дроби)

Сложение рациональных чисел может быть вычислено с использованием наименьшего общего знаменателя , но концептуально более простое определение включает только целочисленное сложение и умножение:

  • Определять

Например, сумма .

Сложить дроби намного проще, когда знаменатели совпадают; в этом случае можно просто сложить числители, оставив знаменатель прежним:, итак .

Коммутативность и ассоциативность рационального сложения - простое следствие законов целочисленной арифметики. Для более строгого и общего обсуждения см поле дробей .

Действительные числа

Добавление π 2 /6 и е с использованием дедекиндовыми отрубов рациональных чисел.

Распространенной конструкцией множества действительных чисел является дедекиндовское пополнение множества рациональных чисел. Действительное число определяется как дедекиндовский разрез рациональных чисел: непустой набор рациональных чисел, замкнутый вниз и не имеющий наибольшего элемента . Сумма действительных чисел a и b определяется поэлементно:

  • Определять

Это определение было впервые опубликовано в слегка измененной форме Ричардом Дедекиндом в 1872 году. Коммутативность и ассоциативность действительного сложения очевидны; определяя действительное число 0 как набор отрицательных рациональных чисел, легко увидеть, что это аддитивное тождество. Вероятно, самая сложная часть этой конструкции, относящаяся к сложению, - это определение аддитивных обратных величин.

Добавление π 2 /6 и е использованием последовательностей Коши рациональных чисел.

К сожалению, умножение сокращений Дедекинда - это трудоемкий индивидуальный процесс, аналогичный сложению целых чисел со знаком. Другой подход - метрическое пополнение рациональных чисел. Действительное число по существу определяется как предел последовательности рациональных чисел Коши , lim  a n . Дополнение определяется по срокам:

  • Определять

Это определение было впервые опубликовано Георгом Кантором также в 1872 году, хотя его формализм несколько отличался. Необходимо доказать, что эта операция корректно определена, имея дело с ко-последовательностями Коши. Как только эта задача будет выполнена, все свойства реального сложения немедленно следуют из свойств рациональных чисел. Более того, другие арифметические операции, включая умножение, имеют простые аналогичные определения.

Сложные числа

Сложить два комплексных числа можно геометрически, построив параллелограмм.

Комплексные числа складываются путем сложения действительной и мнимой частей слагаемых. То есть:

Используя визуализацию комплексных чисел на комплексной плоскости, сложение имеет следующую геометрическую интерпретацию: сумма двух комплексных чисел A и B , интерпретируемых как точки комплексной плоскости, представляет собой точку X, полученную путем построения параллелограмма, три вершины которого являются O , A и B . Эквивалентно, Х является точка, что треугольники с вершинами О , , В и Х , В , , являются конгруэнтны .

Обобщения

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

Абстрактная алгебра

Векторы

В линейной алгебре , А векторное пространство является алгебраической структурой , которая позволяет добавлять любые два вектора и для масштабирования векторов. Знакомое векторное пространство - это набор всех упорядоченных пар действительных чисел; упорядоченная пара ( a , b ) интерпретируется как вектор от начала координат на евклидовой плоскости до точки ( a , b ) на плоскости. Сумма двух векторов получается сложением их индивидуальных координат:

Эта операция сложения является центральной в классической механике , в которой векторы интерпретируются как силы .

Матрицы

Сложение матриц определяется для двух матриц одинаковых размеров. Сумма двух матриц размера m × n (произносится как m by n) A и B , обозначаемых A + B , снова является матрицей m × n, вычисляемой путем сложения соответствующих элементов:

Например:

Модульная арифметика

В модульной арифметике набор целых чисел по модулю 12 состоит из двенадцати элементов; он наследует операцию сложения целых чисел, которая является центральной в теории музыкальных множеств . Набор целых чисел по модулю 2 состоит всего из двух элементов; унаследованная им операция сложения известна в булевой логике как функция « исключающее ИЛИ ». В геометрии сумма двух угловых мер часто принимается как их сумма в виде действительных чисел по модулю 2π. Это составляет операцию сложения на окружности , которая, в свою очередь, обобщается на операции сложения на многомерных торах .

Общая теория

Общая теория абстрактной алгебры позволяет операцией «сложения» быть любой ассоциативной и коммутативной операцией на множестве. Основные алгебраические структуры с такой операцией сложения включают коммутативные моноиды и абелевы группы .

Теория множеств и теория категорий

Одним из далеко идущих обобщений сложения натуральных чисел является сложение порядковых и кардинальных чисел в теории множеств. Они дают два разных обобщения добавления натуральных чисел к трансфиниту . В отличие от большинства операций сложения, сложение порядковых чисел не коммутативно. Однако сложение кардинальных чисел - это коммутативная операция, тесно связанная с операцией несвязного объединения .

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

Связанные операции

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

Арифметика

Вычитание можно рассматривать как своего рода сложение, то есть добавление обратного аддитивного . Вычитание само по себе является своего рода обратным сложению, поскольку сложение x и вычитание x являются обратными функциями .

Учитывая набор с операцией сложения, нельзя всегда определить соответствующую операцию вычитания на этом наборе; набор натуральных чисел - простой пример. С другой стороны, операция вычитания однозначно определяет операцию сложения, аддитивную обратную операцию и аддитивную идентичность; по этой причине аддитивную группу можно описать как множество, замкнутое при вычитании.

Умножение можно рассматривать как повторное сложение . Если один член x встречается в сумме n раз, то сумма является произведением n и x . Если n не является натуральным числом , произведение все равно может иметь смысл; например, умножение на -1 дает аддитивное обратное число.

Круглая логарифмическая линейка

В действительных и комплексных числах сложение и умножение можно поменять местами экспоненциальной функцией :

Это тождество позволяет умножение быть осуществлено путем консультаций таблицы из логарифмов и вычисления добавления вручную; это также позволяет умножать на логарифмической линейке . Формула по-прежнему является хорошим приближением первого порядка в широком контексте групп Ли , где она связывает умножение бесконечно малых групповых элементов со сложением векторов в связанной алгебре Ли .

Есть даже больше обобщений умножения, чем сложения. В общем, операции умножения всегда распределяются поверх сложения; это требование формализовано в определении кольца . В некоторых контекстах, таких как целые числа, распределенность по сложению и наличие мультипликативной идентичности достаточно, чтобы однозначно определить операцию умножения. Свойство распределения также предоставляет информацию о добавлении; расширяя произведение (1 + 1) ( a + b ) в обоих направлениях, можно сделать вывод, что сложение должно быть коммутативным. По этой причине сложение колец вообще коммутативно.

Деление - это арифметическая операция, удаленно связанная со сложением. Поскольку a / b = a ( b −1 ) , деление дистрибутивно справа над сложением: ( a + b ) / c = a / c + b / c . Однако разделение - это не добавление, а распределение; 1 / (2 + 2) не то же самое, что 1/2 + 1/2 .

Заказ

Логарифмической из х + 1 и не более ( х , 1) от х = 0,001 до 1000

Максимальная операция «max ( a , b )» - это двоичная операция, аналогичная сложению. На самом деле, если два неотрицательных числа a и b имеют разные порядки величины , то их сумма примерно равна их максимуму. Это приближение чрезвычайно полезно в математических приложениях, например, при усечении ряда Тейлора . Тем не менее, это представляет собой постоянную трудность для численного анализа , в основном потому, что "max" не обратимо. Если b намного больше, чем a , то прямое вычисление ( a + b ) - b может накопить неприемлемую ошибку округления , возможно, даже вернуть ноль. См. Также Потеря значимости .

Приближение становится точным в своего рода бесконечном пределе; если a или b - бесконечное кардинальное число , их кардинальная сумма в точности равна большему из двух. Соответственно, для бесконечных кардиналов нет операции вычитания.

Максимизация коммутативна и ассоциативна, как и сложение. Более того, поскольку сложение сохраняет порядок действительных чисел, сложение распределяется по "max" так же, как умножение распределяется по сложению:

По этим причинам в тропической геометрии умножение заменяется сложением, а сложение - максимизацией. В этом контексте сложение называется «тропическим умножением», максимизация - «тропическим сложением», а тропическая «аддитивная идентичность» - отрицательной бесконечностью . Некоторые авторы предпочитают заменять добавление минимизацией; тогда аддитивная единица равна положительной бесконечности.

Связывая эти наблюдения вместе, тропическое сложение приблизительно связано с регулярным сложением через логарифм :

что становится более точным с увеличением основания логарифма. Приближение может быть сделано точным путем извлечения постоянной h , названной по аналогии с постоянной Планка из квантовой механики , и принятия « классического предела », когда h стремится к нулю:

В этом смысле операция максимума - это деквантованная версия сложения.

Другие способы добавления

Приращение, также известное как операция преемника , - это прибавление 1 к числу.

Суммирование описывает сложение произвольного количества чисел, обычно более двух. Он включает в себя идею суммы одного числа, которое есть само по себе, и пустой суммы , которая равна нулю . Бесконечное суммирование - это деликатная процедура, известная как ряд .

Подсчет конечного набора эквивалентен суммированию 1 по набору.

Интегрирование - это своего рода «суммирование» по континууму , точнее и вообще по дифференцируемому многообразию . Интегрирование по нульмерному многообразию сводится к суммированию.

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

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

Смотрите также

Примечания

Сноски

использованная литература

История

Элементарная математика

  • Sparks, F .; Рис К. (1979). Обзор основной математики . Макгроу-Хилл. ISBN 978-0-07-059902-4.

Образование

Когнитивная наука

  • Фоснот, Екатерина Т .; Долк, Маартен (2001). Молодые математики за работой: построение смысла, сложения и вычитания чисел . Heinemann. ISBN 978-0-325-00353-5.
  • Винн, Карен (1998). «Числовая компетентность у младенцев». Развитие математических навыков . Тейлор и Фрэнсис. ISBN 0-86377-816-X.

Математическая экспозиция

Высшая математика

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

Вычисление

  • Flynn, M .; Оберман, С. (2001). Продвинутый компьютерный арифметический дизайн . Вайли. ISBN 978-0-471-41209-0.
  • Horowitz, P .; Хилл, В. (2001). Искусство электроники (2-е изд.). Кембридж UP. ISBN 978-0-521-37095-0.
  • Джексон, Альберт (1960). Аналоговые вычисления . Макгроу-Хилл. LCC  QA76.4 J3 .
  • Truitt, T .; Роджерс, А. (1960). Основы аналоговых компьютеров . Джон Ф. Райдер. LCC  QA76.4 T7 .
  • Маргин, Жан (1994). Histoire des Instruments et Machines à Calculer, Trois Siècles de Mécanique Pensante 1642–1942 (на французском языке). Германн. ISBN 978-2-7056-6166-3.
  • Татон, Рене (1963). Le Calcul Mécanique. Que Sais-Je? № 367 (на французском языке). Университеты Франции. С. 20–28.

дальнейшее чтение