Сумма — понятие в математике¶

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

¶История

Сложение как операция возникло задолго до появления формальной математики — счёт предметов и объединение групп объектов практиковались в древнем Египте, Месопотамии, Индии и Китае. Древнеегипетские и вавилонские папирусы содержат задачи на сложение и вычитание, применявшиеся при сборе налогов и ведении хозяйства.

Современное знаковое обозначение «+» появилось в Европе в XV веке: его предположительно ввёл немецкий математик Йоханнес Видман в трактате 1489 года. Сложение как алгебраическая операция получило аксиоматическое описание лишь в XIX веке, когда были сформулированы аксиомы поля и кольца.

¶Свойства сложения

Для чисел сумма обладает рядом фундаментальных свойств:

• Ассоциативность: \((a + b) + c = a + (b + c)\).
• Коммутативность: \(a + b = b + a\).
• Наличие нуля: существует элемент 0, такой что \(a + 0 = a\).
• Наличие противоположного элемента: для каждого \(a\) существует \(-a\), такое что \(a + (-a) = 0\).

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

¶Обозначения

¶Сумма последовательности

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

\[ S = \sum_{i=1}^{n} a_i = a_1 + a_2 + \dots + a_n. \]

Знак \(\Sigma\) (сигма) ввёл швейцарский математик Леонард Эйлер в XVIII веке. Суммирование может начинаться с любого индекса: \(\sum_{i=0}^{n-1} a_i\) обозначает ту же сумму, что и \(\sum_{i=1}^{n} a_i\).

¶Частные случаи

• Арифметическая прогрессия: сумма \(n\) членов равна \(\frac{n(a_1 + a_n)}{2}\).
• Геометрическая прогрессия: сумма \(n\) членов равна \(\frac{a_1(q^n - 1)}{q - 1}\) при \(q \neq 1\).
• Квадраты натуральных чисел: \(1^2 + 2^2 + \dots + n^2 = \frac{n(n+1)(2n+1)}{6}\).

¶Бесконечные суммы

Ряд — это бесконечная сумма вида \(\sum_{n=1}^{\infty} a_n\). Сходимость ряда определяется пределом последовательности частичных сумм \(S_n = a_1 + \dots + a_n\): ряд сходится, если \(\lim_{n \to \infty} S_n\) существует и конечно.

Примеры:

• Геометрический ряд: \(\sum_{n=0}^{\infty} q^n = \frac{1}{1-q}\) при \(|q| < 1\).
• Ряды с положительными членами: сходимость по критерию Коши — интегральному и дробному.
• Условно сходящиеся ряды: ряд \(\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\) сходится по критерию Лейбница, но не абсолютно.

Понятие суммы распространяется на интегралы: определённый интеграл определяется как предел интегральных сумм Римана.

¶Обобщения

¶Сумма в теории множеств

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

¶Тензорная сумма

В линейной алгебре тензорная сумма (тензорное произведение) \(V \otimes W\) обобщает обычное умножение векторов.

¶Сумма Морса

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

¶Сумма цифр

Операция, при которой цифры числа складываются до получения однозначного результата; используется в правилах делимости (на 3 и на 9).

¶Применение

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

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

¶Интересные факты

• Задача о сумме первых \(n\) натуральных чисел решалась ещё Карлом Фридрихом Гауссом в детстве: \(\sum_{k=1}^{n} k = \frac{n(n+1)}{2}\).
• Сумма всех натуральных чисел \(1 + 2 + 3 + \dots\) формально равна \(-\frac{1}{12}\) в смысле аналитической регуляризации (формула Римана-зета-функции), что используется в теории струн.
• В русском языке слово «сумма» происходит от латинского summa — «итог, всего».

Источники:

• Кудрявцев Л. Д. Курс математического анализа.
• Фихтенгольц Г. М. Курс математического анализа.
• Арнольд В. И. Математические методы классической механики.
• Энциклопедический словарь Брокгауза и Ефрона.