Сложение

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

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

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

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

Визуализация суммы 2 + 4 = 6 на числовой прямой. Сдвиг на 2 и затем сдвиг на 4 — это то же самое, что и сдвиг на 6.

Ещё один вариант визуализации суммы 2 + 4 = 6 на числовой прямой. Сдвиг на 4 — это то же самое, что и четыре сдвига по 1.

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

• Когда начальная длина расширяется добавляемой длиной, то полученная длина равна сумме начальной длины и длины, которую к ней добавили[12].

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

Визуализация 4 + 2 = 2 + 4 при помощи блоков

Сложение коммутативно — от перемены мест слагаемых сумма не меняется (это свойство также известно как переместительный закон сложения): ${\displaystyle a+b=b+a,\quad \forall a,b\in \ A.}$ Есть и другие законы коммутативности: например, существует коммутативный закон умножения. Тем не менее многие бинарные операции, например, вычитание и деление, не коммутативны.

Визуализация 2+(1+3) = (2+1)+3 при помощи стержней с сегментами

Сложение ассоциативно — при последовательном выполнении сложения трёх или более чисел последовательность выполнения операций не имеет значения (сочетательный закон сложения): ${\displaystyle (a+b)+c=a+(b+c),\quad \forall a,b,c\in \ A.}$

Сложение дистрибутивно, это — свойство согласованности двух бинарных операций, определённых на одном и том же множестве (распределительный закон)[14] : ${\displaystyle x\cdot (a+b)=(x\cdot a)+(x\cdot b),\quad \forall a,b\in \ A.}$

Визуализация 5 + 0 = 5 при помощи сумок с точками

Относительно сложения в множестве ${\displaystyle A}$ существует единственный нейтральный элемент, сложение числа с ${\displaystyle 0}$ (нулевым или нейтральным элементом) даёт число, равное исходному: ${\displaystyle x+0=0+x=x,\quad \forall x\in A,\quad \exists 0\in A.}$

Этот закон был впервые описан в Исправленном трактате Брахмы, который был написан Брахмагуптой в 628 г. Он написал этот закон в виде трёх отдельных законов: для отрицательного, положительного и нулевого числа a, и для описания этих законов он использовал слова, а не алгебраические символы. Позже индийские математики уточнили понятия; около 840 г., Махавира написал, что «ноль становится таким же, как то, что добавляется к нему», что соответствовало записи 0 + a = a. В XII веке Бхаскара II написал: «Если добавить ничего или вычесть ничего, то количество, положительное или отрицательное, остаётся таким же, как и было», что соответствует записи a + 0 = a[15].

Сложение с противоположным элементом даёт ${\displaystyle 0}$: ${\displaystyle a+(-a)=0,\quad \forall a\in A,\quad \exists -a\in A.}$[16]

Кроме того, сложение не выводит результат за пределы данного множества чисел, следовательно, ${\displaystyle \mathbb {N} ,\mathbb {Z} ,\mathbb {Q} ,\mathbb {R} ,\mathbb {C} }$ замкнуты относительно операции сложения. Эти множества с операциями ${\displaystyle +}$ и ${\displaystyle \cdot }$ образуют кольца (коммутативные кольца с единицей)[17]. На языке общей алгебры вышеперечисленные свойства сложения говорят о том, что ${\displaystyle \mathbb {Z} ,\mathbb {Q} ,\mathbb {R} ,\mathbb {C} }$ — абелевы группы относительно операции сложения.

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

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

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

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

Детям часто показывают таблицу сложения пар чисел от 1 до 10 для лучшего запоминания^{[обтекаемое выражение]}. Зная эту таблицу, можно выполнить любое сложение.

Для успешного сложения в десятичной системе нужно помнить или уметь быстро выводить 100 «фактов (примеров) сложения» для одноразрядных чисел. Кто-то может запомнить все эти факты, заучивая их, но стратегии изучения сложения путём использования шаблонов более информативны и для большинства людей более эффективны:[32]

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

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

В стандартном алгоритме сложения многоразрядных чисел^{[обтекаемое выражение]} цифры, из которых состоят записи складываемых чисел, располагаются одна под другой. Выполняют сложение цифр отдельно в каждом столбце, начиная с правого. Если сумма цифр в столбце превышает 10, лишняя цифра «переносится» в следующий столбец (левее). Например, в сумме 27 + 59

  ¹
  27
+ 59
————
  86

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

Способ сложения десятичных дробей является простой модификацией сложения многоразрядных чисел, описанного выше[33]. При сложении столбиком дроби располагают таким образом, чтобы запятые^[стиль] находились точно друг под другом. При необходимости можно добавлять нули справа и слева к более короткой дроби (см. замыкающий ноль и ведущие нули), чтобы сделать её равной по длине более длинной дроби. Итак, сложение производится таким же образом, как и в описанном выше способе сложения многоразрядных чисел, только запятая располагается в ответе точно там же, где она располагалась у слагаемых.

Например, сумму 45,1 + 4,34 можно вычислить следующим образом:

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

В экспоненциальной записи числа записываются в виде ${\displaystyle a=\pm x\cdot P^{\pm n}}$, где ${\displaystyle x}$ — мантисса, ${\displaystyle P^{n}}$ — характеристика числа, ${\displaystyle P}$ — основание системы счисления. Для сложения двух чисел, которые записаны в экспоненциальной форме, требуется, чтобы у них были одинаковые характеристики: ${\displaystyle a\cdot P^{n}+b\cdot P^{n}=(a+b)\cdot P^{n},}$ согласно свойству дистрибутивности.

Например:

${\displaystyle 2.3\cdot 10^{-5}+5.67\cdot 10^{-6}=2.34\cdot 10^{-5}+0.567\cdot 10^{-5}=(2.34+0.567)\cdot 10^{-5}=2.907\cdot 10^{-5}}$

Особый случай — сложение чисел, различающихся на несколько порядков, с последовательным округлением. Если ${\displaystyle a\gg b}$, то и погрешности этих чисел будут несопоставимы (${\displaystyle \Delta a\gg \Delta b}$), и при выполнении сложения бо′льшая погрешность поглотит меньшую. Так может быть нарушено свойства ассоциативности.

Рассмотрим, например, выражение ${\displaystyle 5,6\cdot 10^{8}+7,2+(-5,6\cdot 10^{8})}$: если выполнить сначала ${\displaystyle 5,6\cdot 10^{8}+7,2}$, после округления результата получим ${\displaystyle \approx 5,6\cdot 10^{8}}$, складывая далее, имеем ${\displaystyle 5,6\cdot 10^{8}+(-5,6\cdot 10^{8})=0}$, а если выполнять сложение в ином порядке, то: ${\displaystyle 5,6\cdot 10^{8}+(-5,6\cdot 10^{8})+7,2=0+7,2=7,2}$. Таким образом, при неаккуратном округлении могут получиться различные значения одного и того же выражения.

Сложение для чисел с другими основаниями идентично сложению в десятичной системе

В качестве примера можно рассмотреть сложение в двоичной системе счисления[34]. Сложение двух одноразрядных двоичных чисел с использованием переноса является довольно простым:

0 + 0 → 0

0 + 1 → 1

1 + 0 → 1

1 + 1 → 0, переносится 1 (так как 1 + 1 = 2 = 0 + (1 × 2¹))

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

5 + 5 → 0, перенос 1 (так как 5 + 5 = 10 = 0 + (1 × 10¹))

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

Эта операция известна как «перенос»[35]. Когда результат сложения превосходит диапазон значений и разряда, нужно «перенести» избыток, делённый на основание системы (то есть на 10 в десятичной системе) влево, добавляя его к значению в следующем разряде. Это связано с тем, что значение в следующем разряде в ${\displaystyle N}$ раз больше (в ${\displaystyle N}$-ой системе счисления), чем значение в текущем разряде. Перенос в двоичной системе счисления работает также, как и в десятичной системе:

  1 1 1 1 1    (перенос)
    0 1 1 0 1
+   1 0 1 1 1
—————————————
  1 0 0 1 0 0 = 36

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

Сложение при помощи инвертирующего сумматора.

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

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

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

Абак, также называемый счётной доской — это вычислительный прибор, который использовался за много веков до принятия современной системы счисления и который всё ещё широко используется купцами, торговцами и клерками в Азии, Африке, и других континентах; предполагается, что абак создан не позднее 2700—2300 до н. э., тогда он использовался шумерами[37].

Блез Паскаль изобрёл механический калькулятор в 1642[38][39]; это была первая операционная суммирующая машина. В этом калькуляторе механизм переноса осуществлялся благодаря гравитации. Это был единственный операционный калькулятор в 17 веке[40] и самый первый автоматический цифровой компьютер. Суммирующая машина Паскаля была ограничена своим механизмом переноса, который позволял крутить колёса только в одну сторону и, таким образом, складывать. Чтобы вычитать, пользователь должен был использовать второй набор цифр для представления результата и методы дополнения, которые включали в себя такое же количество шагов, как и сложение. Джованни Полени продолжил дело Паскаля, построив второй функциональный механический калькулятор в 1709 г. Циферблат этого калькулятора был из дерева, и однажды установленный он мог перемножать два числа между собой автоматически.

Логический «сумматор», который складывает три бита (разряды A, B и перенос C_in) и выдаёт бит суммы по модулю 2 (S) и значение переноса (C_out).

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

На практике сложение можно выполнять через сложение по модулю два и операцию «И» в сочетании с другими битовыми операциями, как показано ниже. Обе эти операции просто реализовать в цепях сумматоров, которые, в свою очередь, могут объединяться в более сложные логические операции. В современных цифровых компьютерах сложение целых чисел, как и другие команды целочисленной арифметики, являются одними из самых быстрых операций, в то же время они имеют огромное влияние на общую производительность компьютера, поскольку на целочисленные операции приходится существенная доля всех вычислений. Целочисленное сложение используется, например, в таких задачах как генерация адресов во время доступа к памяти и выборка команд во время определённого порядка их выполнения. Чтобы увеличить скорость, современные компьютеры вычисляют значения в разрядах параллельно; такие схемы называются выборка переноса, предвидение переноса и псевдоперенос в сумматоре Линга. В большинстве случаев реализация сложения на компьютере является гибридом последних трёх конструкций[42][43]. В отличие от сложения на бумаге, сложение на компьютере часто изменяет слагаемые. На древнем абаке и доске для сложения во время выполнения операции сложения оба слагаемых уничтожались, оставалась только сумма. Влияние абака на математическое мышление было настолько велико, что в ранних латинских текстах часто утверждалось, что в процессе сложения «числа с числом» оба числа исчезают[44]. Возвращаясь к современности, отметим, что инструкция ADD микропроцессора заменяет значение первого слагаемого суммой, второе слагаемое остаётся без изменений[45]. В высокоуровневом языке программирования оценивание 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); 
}

На компьютере, в случае если результат сложения слишком большой для хранения, происходит арифметическое переполнение, что приводит к неправильному ответу или исключительной ситуации при выполнении программы. Непредвиденное арифметическое переполнение является довольно распространённой причиной программных ошибок. Такие ошибки переполнения может быть трудно обнаружить и диагностировать, потому что они могут проявляться только при очень больших входных наборах данных, которые не часто используют в тестах[46]. Сложение вещественных чисел на современных компьютерах, как и все вычисления с плавающей точкой, реализованы аппаратно в специальном модуле, называемом математическим сопроцессором (название условное, так как в современных компьютерах физически он интегрируется в центральный процессор). При выполнении операции сложения с плавающей точкой также возможно переполнение, однако оно всегда вызывает исключение, и не останется незамеченным.

Ещё одной важной особенностью компьютерных вычислений с плавающей точкой является ограниченная точность представления вещественного числа, в связи с чем вычисления с плавающей точкой на компьютере выполняются, вообще говоря, приближённо, а к результатам вычислений (в том числе, промежуточным) применяется операция округления. Округление, как правило, применяется даже к тем числам, которые в десятичной системе счисления представлены конечной дробью, то есть точно (поскольку в наиболее распространённых компьютерах применяется двоичная система счисления). В связи с этим при суммировании на компьютере чисел с плавающей точкой сумма, как правило, зависит от последовательности суммирования слагаемых — иногда существенно, если порядки слагаемых значительно отличаются. С учётом данного обстоятельства при написании программ, где используется суммирование большого количества слагаемых, приходится прибегать к специальным мерам, направленным на снижение погрешности. Одним из наиболее эффективных методов снижения погрешности суммирования является алгоритм Кэхэна.

Воспользуемся определением натуральных чисел ${\displaystyle \mathbb {N} }$ как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств ${\displaystyle C,A,B}$ порождённых биекциями, с помощью скобок: ${\displaystyle [C],[A],[B]}$. Тогда арифметическая операция «сложение» определяется следующим образом:

${\displaystyle [C]=[A]+[B]=[A\sqcup B];}$

где ${\displaystyle A\sqcup B}$ — дизъюнктное объединение множеств. Данная операция на классах введена корректно, то есть не зависит от выбора элементов классов, и совпадает с индуктивным определением.

Взаимно однозначное отображение конечного множества ${\displaystyle A}$ на отрезок ${\displaystyle N_{a}}$ можно понимать как нумерацию элементов множества ${\displaystyle A:\quad A\sim N_{a}}$ . Этот процесс нумерации называют «счётом»[50]^{[уточните ссылку (уже 266 дней)]}. Таким образом, «счёт» - это установление взаимно-однозначного соответствия между элементами множества и отрезком натурального ряда чисел[51].

Для сложения натуральных чисел в позиционной системе обозначения чисел применяется поразрядный алгоритм сложения. Если даны два натуральных числа ${\displaystyle a}$ и ${\displaystyle b}$ такие, что:

${\displaystyle a=a_{n-1}a_{n-2}\dots a_{0},\quad b=b_{n-1}b_{n-2}\dots b_{0},\quad \forall a_{k},b_{k}\in \{P\}\quad \forall a_{n-1},b_{n-1}\neq 0\quad \exists 0\in \mathbb {N}$ ;}

где: ${\displaystyle a_{0\dots n-1}=a_{k}P^{k},\quad b_{0\dots n-1}=b_{k}P^{k}}$;

${\displaystyle n}$ - количество цифр в числе ${\displaystyle n\in \{1,2,\dots ,n\}}$;

${\displaystyle k}$ - порядковый номером разряда (позиции), ${\displaystyle k\in \{0,1,\dots ,n-1\}}$;

${\displaystyle P}$ - основание системы счисления;

${\displaystyle \{P\}}$ множество числовых знаков (цифр), конкретной системы счисления:

${\displaystyle \{P_{2}\}=\{0,1\}}$,

${\displaystyle \{P_{10}\}=\{0,1,2,3,4,5,6,7,8,9\}}$,

${\displaystyle \{P_{16}\}=\{0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F\}}$;

тогда:

${\displaystyle c=a+b;\quad c_{n-1}c_{n-2}\dots c_{0}=a_{n-1}a_{n-2}\dots a_{0}+b_{n-1}b_{n-2}\dots b_{0};}$

складывая поразрядно, получаем:

• ${\displaystyle c_{0}={\begin{cases}a_{0}+b_{0},\quad c_{1}=0&{\text{if }}a_{0}+b_{0}\leqslant P-1{\text{ }}\\a_{0}+b_{0}-P,\quad c_{1}=1&{\text{if }}a_{0}+b_{0}>P-1{\text{ }}\end{cases}}}$
• ${\displaystyle c_{1}={\begin{cases}a_{1}+b_{1}+c_{1},\quad c_{2}=0&{\text{if }}a_{1}+b_{1}+c_{1}\leqslant P-1{\text{ }}\\a_{1}+b_{1}+c_{1}-P,\quad c_{2}=1&{\text{if }}a_{1}+b_{1}+c_{1}>P-1{\text{ }}\end{cases}}}$
• ${\displaystyle ...\quad \quad ...\quad \quad ...}$
• ${\displaystyle c_{n-1}={\begin{cases}a_{n-1}+b_{n-1}+c_{n-1},\quad c_{n}=0&{\text{if }}a_{n-1}+b_{n-1}+c_{n-1}\leqslant P-1{\text{ }}\\a_{n-1}+b_{n-1}+c_{n-1}-P,\quad c_{n}=1&{\text{if }}a_{n-1}+b_{n-1}+c_{n-1}>P-1{\text{ }}\end{cases}}}$

Таким образом, операция сложения сводится к процедуре последовательного простого сложения одноразрядных чисел ${\displaystyle a_{k}+b_{k}}$, с формированием единицы переноса при необходимости, которое производится либо табличным методом, либо инкрементированием (счётом).

Арифметические действия над числами в любой позиционной системе счисления производятся по тем же правилам, что и в десятичной системе, так как все они основываются на правилах выполнения действий над соответствующими многочленами[52]. При этом нужно пользоваться таблицей сложения, соответствующей данному основанию ${\displaystyle P}$ системы счисления.

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

${\displaystyle {\begin{array}{ccccccccc}&_{1}&_{1}&_{1}\\&0&1&0&1&1&0\\+&1&1&1&1&0&1\\\hline 1&0&1&0&0&1&1\end{array}};\quad \quad {\begin{array}{ccccccc}&_{1}&_{1}&_{1}\\&3&4&5&6&7\\+&8&7&5&4&1\\\hline 1&2&2&1&0&8\end{array}};\quad \quad {\begin{array}{ccccccc}&_{1}&&_{1}&_{1}&_{1}\\&C&5&6&D&E&4\\+&0&F&2&A&1&F\\\hline &D&4&9&8&0&3\end{array}}.}$

Другое известное определение рекурсивно:

• Пусть n⁺ — следующее за n натуральное число, например 0⁺=1, 1⁺=2. Пусть a + 0 = a. Тогда общая сумма определяется рекурсивно: a + (b⁺) = (a + b)⁺. Отсюда 1 + 1 = 1 + 0⁺ = (1 + 0)⁺ = 1⁺ = 2[53].

В литературе существуют различные варианты этого определения. В рекурсионной теореме^{[неизвестный термин]} на частично упорядоченном множестве N² используется в точности определение, данное выше.[54]. С другой стороны, в некоторых источниках предпочитают использовать ограниченную Рекурсионную теорему, которая применяется только к множеству натуральных чисел. Одни предлагают временно «зафиксировать» a, применяя рекурсию на b, чтобы определить функцию "a + ", и вставлять эти унарные операции для всех a, чтобы сформировать полную бинарную операцию[55].

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

Иллюстрация правил сложения положительных и отрицательных чисел.

Сложить (−2) и 1, используя только положительные числа: (2 − 4) + (3 − 2) = 5 − 6.

Множество целых чисел — расширение множества натуральных чисел ${\displaystyle \mathbb {N} }$, получаемое добавлением отрицательных чисел [57] вида ${\displaystyle -n}$. Множество целых чисел обозначается ${\displaystyle \mathbb {Z} .}$ Арифметические операции над целыми числами определяются как непрерывное продолжение соответствующих операций над натуральными числами. Отличие от натуральных чисел состоит в том, что отрицательные числа на числовой прямой направлены в противоположную сторону, это несколько меняет процедуру сложения. Необходимо учитывать взаимное направление чисел, здесь возможны несколько случаев:

Положительное и отрицательное числа на числовой прямой.

• Если оба слагаемых положительные, тогда: ${\displaystyle c=a+b;}$
• Если одно из слагаемых отрицательно, тогда нужно от слагаемого с большим значением модуля вычесть слагаемое с меньшим значением модуля, после чего перед полученным числом поставить знак того слагаемого, модуль которого больше: ${\displaystyle c=-a+b=b+(-a)=b-a;}$
• Если оба слагаемых отрицательны, тогда: ${\displaystyle c=(-a)+(-b)=-(|a|+|b|)}$ [58].

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

• Пусть имеются два целых числа a − b и c − d, где a, b, c и d — натуральные числа, тогда (a − b) + (c − d) = (a + c) − (b + d)[59].

Множество рациональных чисел обозначается ${\displaystyle \mathbb {Q} }$ (от англ. quotient «частное») и может быть записано в таком виде: ${\displaystyle \mathbb {Q} =\left\{{\frac {m}{n}}\mid m\in \mathbb {Z} ,n\in \mathbb {N} \right\}.}$

Для сложения рациональных чисел в виде обыкновенных (или простых) дробей вида: ${\displaystyle \pm {\frac {m}{n}}}$, их следует преобразовать (привести) к общему (одинаковому) знаменателю. Например, взять произведение знаменателей, числители при этом умножаются на соответствующие знаменатели. Затем сложить полученные числители, а произведение знаменателей станет общим.

Если даны два рациональных числа ${\displaystyle a}$ и ${\displaystyle b}$ такие, что: ${\displaystyle a={\frac {m_{a}}{n_{a}}},b={\frac {m_{b}}{n_{b}}}\quad \forall m_{a},n_{a},m_{b},n_{b}\in \mathbb {N} \quad \forall {n_{a}},{n_{b}}\neq 0}$ (дроби несократимые), тогда:

${\displaystyle c=a+b={\frac {m_{a}}{n_{a}}}+{\frac {m_{b}}{n_{b}}}={\frac {m_{a}\cdot n_{b}}{n_{a}\cdot n_{b}}}+{\frac {n_{a}\cdot m_{b}}{n_{a}\cdot n_{b}}}={\frac {m_{a}\cdot n_{b}+m_{b}\cdot n_{a}}{n_{a}\cdot n_{b}}}.}$ [60]

Либо можно найти наименьшее общее кратное (НОК) знаменателей. Порядок действий:

• Находим наименьшее общее кратное знаменателей: ${\displaystyle M=[n_{a},n_{b}]}$.
• Умножаем числитель и знаменатель первой дроби на ${\displaystyle {\frac {M}{n_{a}}}}$.
• Умножаем числитель и знаменатель второй дроби на ${\displaystyle {\frac {M}{n_{b}}}}$.

После этого знаменатели обеих дробей совпадают (равны ${\displaystyle M}$). В ряде простых случаев это упрощает вычисления, но в случае больших чисел расчёты значительно усложняются. Можно взять в качестве ${\displaystyle M}$ любое другое общее кратное.

Пример сложения:

${\displaystyle {\frac {2}{3}}+{\frac {1}{5}}={\frac {2\cdot 5}{3\cdot 5}}+{\frac {3\cdot 1}{3\cdot 5}}={\frac {2\cdot 5+3\cdot 1}{3\cdot 5}}={\frac {10+3}{15}}={\frac {13}{15}}.}$

Если знаменатели обеих дробей совпадают, то:

${\displaystyle {\frac {1}{4}}+{\frac {2}{4}}={\frac {1+2}{4}}={\frac {3}{4}}.}$

Если знаменатели кратны какому-либо числу, то преобразуем только одну дробь:

${\displaystyle {\frac {3}{8}}+{\frac {1}{4}}={\frac {3}{8}}+{\frac {1\cdot 2}{4\cdot 2}}={\frac {3+1\cdot 2}{8}}={\frac {5}{8}}.}$

Арифметическая операция «сложение» над рациональными числами относится к замкнутым операциям. Коммутативность и ассоциативность сложения рациональных чисел — следствие законов целочисленной арифметики[61]. Более строгое и общее определение см. в статье поле дробей.

Аналогичным образом складываются физические величины: их выражают через общие единицы измерения[62]. Например, чтобы сложить 50 миллилитров и 1,5 литра, необходимо перевести миллилитры в литры и привести дроби к общему знаменателю: ${\displaystyle {\frac {50}{1000}}+{\frac {1500}{1000}}={\frac {1550}{1000}}=1{,}55}$ литра.

Арифметические операции над вещественными числами, представимыми в виде бесконечных десятичных дробей, определяются как непрерывное продолжение[63] соответствующих операций над рациональными числами.

Если даны два вещественных числа, представимые бесконечными десятичными дробями:

${\displaystyle \alpha =\pm a_{0},a_{1}a_{2}\ldots a_{n}\ldots =\{a_{n}\}}$,

${\displaystyle \beta =\pm b_{0},b_{1}b_{2}\ldots b_{n}\ldots =\{b_{n}\}}$

определённые соответственно фундаментальными последовательностями рациональных чисел (удовлетворяющие условию Коши), обозначенные как: ${\displaystyle \alpha =[a_{n}]}$ и ${\displaystyle \beta =[b_{n}]}$, то их суммой называют число ${\displaystyle \gamma =[c_{n}]}$, определённое суммой последовательностей ${\displaystyle \{a_{n}\}}$ и ${\displaystyle \{b_{n}\}}$:

${\displaystyle \gamma =\alpha +\beta {\overset {\text{def}}{=}}[a_{n}]+[b_{n}]=[a_{n}+b_{n}]}$;

вещественное число ${\displaystyle \gamma =\alpha +\beta }$, удовлетворяет следующему условию:

${\displaystyle \forall a',a'',b',b''\in \mathbb {Q}$ ;(a'\leqslant \alpha \leqslant a'')\land (b'\leqslant \beta \leqslant b'')\Rightarrow (a'+b'\leqslant \alpha +\beta \leqslant a''+b'')\Rightarrow (a'+b'\leqslant \gamma \leqslant a''+b'')} .

Таким образом, сумма двух вещественных чисел ${\displaystyle \alpha }$ и ${\displaystyle \beta }$ — такое вещественное число ${\displaystyle \gamma }$, которое содержится между всеми суммами вида ${\displaystyle a'+b'}$ с одной стороны и всеми суммами вида ${\displaystyle a''+b''}$ с другой стороны[64].

На практике для того, чтобы сложить два числа ${\displaystyle \alpha }$ и ${\displaystyle \beta }$, необходимо заменить их с требуемой точностью приближёнными рациональными числами ${\displaystyle a}$ и ${\displaystyle b}$. За приближённое значение суммы чисел ${\displaystyle \alpha +\beta }$ берут сумму указанных рациональных чисел ${\displaystyle a+b}$. При этом не важно, с какой стороны (по недостатку или по избытку) взятые рациональные числа приближают ${\displaystyle \alpha }$ и ${\displaystyle \beta }$. Сложение производится по алгоритму поразрядного сложения.

При сложении приближённых чисел их абсолютные погрешности складываются ${\displaystyle \Delta (a+b)=\Delta a+\Delta b}$, абсолютная погрешность числа принимается равной половине последнего знака этого числа. Относительная погрешность суммы заключена между наибольшим и наименьшим значениями относительных погрешностей слагаемых; на практике принимается наибольшее значение ${\displaystyle \delta (a+b)=max(\delta a,\delta b)}$. Полученный результат округляют до первой верной значащей цифры, значащая цифра приближённого числа верна, если абсолютная погрешность числа не превосходит половины единицы разряда, соответствующего этой цифре.

Пример сложения ${\displaystyle \gamma =\pi +e}$, с точностью до 3-го знака после запятой:

• Округляем данные числа до 4-го знака после запятой (для повышения точности вычислений);
• Получаем: ${\displaystyle \pi \approx 3.1416,\quad e\approx 2.7183}$ ;
• Поразрядно складываем: ${\displaystyle \gamma =\pi +e\approx 3.1416+2.7183\approx 5.8599}$ ;
• Округляем до 3-го знака после запятой: ${\displaystyle \gamma \approx 5.860}$ .

На множестве вещественных чисел график функции сложения имеет вид плоскости, проходящей через начало координат и наклонённой к осям на 45° угловых градусов. Так как ${\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} }$, то и для этих множеств значения функции сложения будет принадлежать этой плоскости.[65]

График функции f(c)=a+b

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

Комплексные числа складываются друг с другом путём сложения действительных и мнимых частей[66]. Это значит, что:

${\displaystyle c+fi=(a+di)+(b+ei)=(a+b)+(d+e)i.\ }$

Где: ${\displaystyle c,a,b,d,e,f\in \mathbb {R} }$, ${\displaystyle i}$ — мнимая единица .Используя представление комплексных чисел как точек на комплексной плоскости, можно дать сложению комплексных чисел следующую геометрическую интерпретацию: суммой комплексных чисел ${\displaystyle a+di}$ и ${\displaystyle b+ei}$, представленных точками на комплексной плоскости, является точка C, полученная путём построения параллелограмма, три вершины которого находятся в точках O, A и B. Или, можно сказать, что C — это такая точка, что треугольники OAB и CBA конгруэнтны.

Аналогично для гиперкомплексных чисел (комплексных чисел n-ой размерности): ${\displaystyle A=a_{1}1+a_{2}i_{2}+\dots +a_{n}i_{n},~~~B=b_{1}1+b_{2}i_{2}+\dots +b_{n}i_{n};}$ ${\displaystyle C=A+B=(a_{1}1+a_{2}i_{2}+\dots +a_{n}i_{n})+(b_{1}1+b_{2}i_{2}+\dots +b_{n}i_{n})=}$ ${\displaystyle =(a_{1}+b_{1})1+(a_{2}+b_{2})i_{2}+\dots +(a_{n}+b_{n})i_{n}=c_{1}1+c_{2}i_{2}+\dots +c_{n}i_{n}.}$ [67]

При сложении чисел, принадлежащих разным множествам, необходимо (если возможно) представить множество с меньшей мощностью как подмножество множества с большей мощностью, либо найти «наименьшее общее множество». Например, если нужно сложить натуральное число ${\displaystyle 3}$ с рациональным ${\displaystyle 4,56}$, то, воспользовавшись тем, что натуральные числа — подмножество рациональных, представляем число ${\displaystyle 3}$ как рациональное ${\displaystyle 3,00}$ и складываем два рациональных числа ${\displaystyle 3,00+4,56=7,56}$. Аналогично, пользуясь тем, что: ${\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} }$, можно складывать числа из различных множеств между собой. Возвращаясь к примеру с яблоками, воспользуемся тем, что множество яблок и множество груш — подмножества множества фруктов: ${\displaystyle \{{\mbox{apple}}\}\subset \{{\text{apples}}\}\subset \{{\text{fruit}}\}~~~{\text{end}}~~~\{{\text{pear}}\}\subset \{{\text{pears}}\}\subset \{{\text{fruit}}\}}$, и таким образом можно сложить 3 яблока и 2 груши, представив их как подмножества множества фруктов: ${\displaystyle 3}$ фрукта_яблока ${\displaystyle +2}$ фрукта_груши ${\displaystyle =5}$ фруктов.

Векторное пространство — это алгебраическая структура, в которой любые два вектора можно складывать и любой вектор можно умножать на число. Простой пример векторного пространства — множество всех упорядоченных пар действительных чисел; упорядоченная пара ${\displaystyle (a,b)}$ — это вектор с началом в точке ${\displaystyle (0,0)}$ евклидовой плоскости и концом в точке ${\displaystyle (a,b)}$ (и все сонаправленные ему). Сумма двух векторов получается путём сложения их соответствующих координат: ${\displaystyle (a,b)+(c,d)=(a+c,b+d)}$. Эта операция сложения — центральная в классической механике, в которой векторы рассматриваются как аналоги сил.

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

${\displaystyle {\begin{aligned}\mathbf {A} +\mathbf {B} &={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{bmatrix}}+{\begin{bmatrix}b_{11}&b_{12}&\cdots &b_{1n}\\b_{21}&b_{22}&\cdots &b_{2n}\\\vdots &\vdots &\ddots &\vdots \\b_{m1}&b_{m2}&\cdots &b_{mn}\\\end{bmatrix}}\\&={\begin{bmatrix}a_{11}+b_{11}&a_{12}+b_{12}&\cdots &a_{1n}+b_{1n}\\a_{21}+b_{21}&a_{22}+b_{22}&\cdots &a_{2n}+b_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\\\end{bmatrix}}\\\end{aligned}}}$

Например:

${\displaystyle {\begin{bmatrix}1&3\\1&0\\1&2\end{bmatrix}}+{\begin{bmatrix}0&0\\7&5\\2&1\end{bmatrix}}={\begin{bmatrix}1+0&3+0\\1+7&0+5\\1+2&2+1\end{bmatrix}}={\begin{bmatrix}1&3\\8&5\\3&3\end{bmatrix}}}$

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

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

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

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

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

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

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

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

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

e^{a + b} = e^a e^b[71].

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

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

Деление — это арифметическая операция, отдалённо связанная со сложением. Поскольку a/b = a(b⁻¹), деление является дистрибутивным справа относительно сложения: (a + b) / c = a / c + b / c[75]. Тем не менее, деление не является дистрибутивным слева относительно сложения; 1/ (2 + 2) не равняется 1/2 + 1/2.

График в логарифмическом масштабе по обеим осям функций x + 1 и max (x, 1) для x от 0.001 до 1000[76]

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

Это приближение становится точным при переходе к бесконечному пределу^{[уточнить]}; если какое-либо из чисел a и b является кардинальным числом, то их кардинальная сумма в точности равна большему из двух[77]. Соответственно, операция вычитания не определена для множеств бесконечной мощности[78].

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

a + max (b, c) = max (a + b, a + c).

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

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

log (a + b) ≈ max (log a, log b),

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

${\displaystyle \max(a,b)=\lim _{h\to 0}h\log(e^{a/h}+e^{b/h}).}$

В этом смысле операция нахождения максимума является деквантизацией сложения[83].

Инкременирование, или применение функции следования — это прибавление 1 к числу.

Суммирование — это сложение сколь угодно большого количества чисел, обычно больше, чем двух. Частными случаями этого понятия являются суммирование одного числа (результат такого суммирования равен самому числу), а также пустая сумма, равная нулю[84]. Бесконечное суммирование — нетривиальная процедура, известная как нахождение суммы ряда[85].

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

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

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

Свёртка используется для сложения двух независимых случайных величин, заданных функциями распределения. В стандартном определении свёртки используются интегрирование, вычитание и умножение. В целом, свёртку уместно рассматривать как «сложение на области определения», а векторное сложение — как «сложение на области значений».