Знак суммирования в математике¶

Знак суммирования (символ ∑, греческая буква «сигма») — математический символ, используемый для компактной записи суммы нескольких слагаемых, следующих по определённому закону. Введён Леонардом Эйлером в 1755 году и является одним из базовых элементов математической нотации, применяемых в алгебре, математическом анализе, статистике и других разделах математики.

¶Определение и обозначение

Стандартная запись суммы с использованием знака ∑ имеет вид:

\[ \sum_{i=m}^{n} a_i = a_m + a_{m+1} + \dots + a_n \]

Здесь:

• ∑ — знак суммирования;
• i — индекс суммирования (переменная);
• m — нижний предел (начальное значение индекса);
• n — верхний предел (конечное значение индекса);
• a_i — общий член последовательности, зависящий от индекса.

Индекс суммирования является «немой» переменной: её название не влияет на результат, и запись \(\sum_{i=1}^{k} a_i\) эквивалентна \(\sum_{j=1}^{k} a_j\).

¶История

Символ ∑ впервые применил швейцарский математик Леонард Эйлер в работе «Institutiones calculi differentialis» (1755). Эйлер использовал заглавную греческую букву «сигма» как сокращение от латинского слова «summa» (сумма). До этого суммы записывались словесно или с использованием других обозначений, например, буквы S. Введение компактной нотации значительно упростило запись длинных рядов и способствовало развитию математического анализа.

¶Правила использования

¶Пределы суммирования

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

¶Свойства

Для знака суммирования выполняются следующие основные свойства:

• Линейность: \(\sum (a_i + b_i) = \sum a_i + \sum b_i\) и \(\sum c \cdot a_i = c \cdot \sum a_i\), где \(c\) — константа.
• Разбиение диапазона: \(\sum_{i=m}^{n} a_i = \sum_{i=m}^{k} a_i + \sum_{i=k+1}^{n} a_i\) при \(m \le k < n\).
• Перестановка слагаемых: при конечном числе слагаемых порядок суммирования не влияет на результат.

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

Для суммирования по нескольким индексам используется повторное применение знака ∑, например, \(\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}\). В таких случаях порядок суммирования может быть изменён, если суммы конечны или выполняются условия абсолютной сходимости.

¶Разновидности и связанные обозначения

¶Бесконечные ряды

При \(n = \infty\) запись \(\sum_{i=1}^{\infty} a_i\) обозначает бесконечный ряд. Сходимость такого ряда определяется через предел частичных сумм.

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

В комбинаторике и теории множеств используется запись \(\sum_{x \in S} f(x)\), означающая суммирование значений функции \(f\) по всем элементам множества \(S\).

¶Двойная сигма

Символ \(\sum\sum\) (или \(\sum_{i,j}\)) обозначает двойное суммирование по двум индексам.

¶Произведение

Аналогом знака суммирования для умножения является знак произведения \(\prod\) (заглавная греческая «пи»), введённый также Эйлером.

¶Применение

Знак суммирования широко используется в:

• Арифметике и алгебре — для записи сумм арифметических и геометрических прогрессий, многочленов.
• Математическом анализе — в определении интегралов (как предел сумм), рядов, разложений функций.
• Статистике — для обозначения сумм наблюдений, например, выборочного среднего \(\bar{x} = \frac{1}{n}\sum_{i=1}^{n} x_i\).
• Линейной алгебре — для записи скалярных произведений, следов матриц, свёрток.
• Физике и инженерных науках — для компактной записи суммирования по компонентам векторов, тензоров, дискретных сигналов.

¶Примеры

• Сумма первых \(n\) натуральных чисел: \(\sum_{i=1}^{n} i = \frac{n(n+1)}{2}\).
• Геометрическая прогрессия: \(\sum_{i=0}^{n} q^i = \frac{q^{n+1}-1}{q-1}\) при \(q \ne 1\).
• Экспоненциальный ряд: \(\sum_{i=0}^{\infty} \frac{x^i}{i!} = e^x\).

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

• В типографике символ ∑ имеет увеличенный размер по сравнению с обычными буквами, чтобы охватывать пределы суммирования сверху и снизу.
• В языке программирования Python аналогом знака суммирования является встроенная функция sum(), принимающая итерируемый объект.
• В нотации Лейбница для интеграла используется стилизованная буква S (∫), что отражает историческую связь интеграла с суммированием бесконечно малых величин.

¶Источники

• Эйлер Л. «Institutiones calculi differentialis» (1755).
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 1–3.
• Кудрявцев Л. Д. «Курс математического анализа», т. 1.
• Грауэрт Г., Либ И., Фишер В. «Дифференциальное и интегральное исчисление».