stringtranslate.com

Суммирование

В математике суммирование – это сложение последовательности чисел , называемой слагаемыми или слагаемыми ; _ результатом является их сумма или сумма . Помимо чисел, можно суммировать и другие типы значений: функции , векторы , матрицы , полиномы и, вообще, элементы любого типа математических объектов , над которыми определена операция , обозначенная «+».

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

Суммирование явной последовательности обозначается как последовательность сложений. Например, суммирование [1, 2, 4, 2] обозначается 1 + 2 + 4 + 2 и приводит к 9, то есть 1 + 2 + 4 + 2 = 9 . Поскольку сложение ассоциативно и коммутативно , скобки не нужны, и результат один и тот же независимо от порядка слагаемых. Суммирование последовательности только одного элемента приводит к самому этому элементу. Суммирование пустой последовательности (последовательности без элементов) по соглашению дает 0.

Очень часто элементы последовательности определяются посредством регулярного шаблона в зависимости от их места в последовательности. Для простых шаблонов суммирование длинных последовательностей может быть представлено заменой большинства слагаемых эллипсами. Например, суммирование первых 100 натуральных чисел можно записать как 1 + 2 + 3 + 4 + ⋯ + 99 + 100 . В противном случае суммирование обозначается с помощью обозначения Σ, где — увеличенная заглавная греческая буква сигма . Например, сумму первых n натуральных чисел можно обозначить как

Для длинных суммирований и суммирований переменной длины (определяемых с помощью эллипсов или обозначений Σ) распространенной проблемой является поиск выражений в замкнутой форме для результата. Например, [а]

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

Обозначения

Обозначение заглавной сигмы

Символ суммирования

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

где iиндекс суммирования ; a i — индексированная переменная, представляющая каждый член суммы; mнижняя граница суммирования , а nверхняя граница суммирования . « i = m » под символом суммирования означает, что индекс i изначально равен m . Индекс i увеличивается на единицу для каждого последующего термина и останавливается, когда i = n . [б]

Это читается как «сумма a i от i = m до n ».

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

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

Альтернативно, индекс и границы суммирования иногда опускаются из определения суммирования, если контекст достаточно ясен. Это особенно применимо, когда индекс изменяется от 1 до n . [1] Например, можно написать так:

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

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

является суммой по всем элементам набора и

является суммой всех положительных целых чисел , делящих . [д]

Есть также способы обобщить использование многих знаков сигмы. Например,

такой же как

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

Особые случаи

Можно суммировать менее двух чисел:

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

Формальное определение

Суммирование можно определить рекурсивно следующим образом:

, для ;
, для .

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

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

где – подмножество целых чисел от до и где – счетная мера по целым числам.

Исчисление конечных разностей

Учитывая функцию f , которая определена над целыми числами в интервале [ m , n ] , выполняется следующее уравнение:

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

где

является производной от f .

Примером применения приведенного выше уравнения является следующее:

Используя биномиальную теорему , это можно переписать как:

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

где f — функция, определенная для целых неотрицательных чисел. Таким образом, учитывая такую ​​функцию f , проблема состоит в том, чтобы вычислить антиразность f , функции такой, что . То есть эта функция определена с точностью до добавления константы и может быть выбрана как [2]

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

Приближение определенными интегралами

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

и для любой убывающей функции f :

Для более общих приближений см. формулу Эйлера-Маклорена .

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

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

Личности

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

Общие идентичности

( дистрибутивность ) [3]
( коммутативность и ассоциативность ) [3]
(индексный сдвиг)
для биекции σ из конечного множества A на множество B (замена индекса); это обобщает предыдущую формулу.
(разделение суммы с использованием ассоциативности )
(вариант предыдущей формулы)
(сумма от первого члена до последнего равна сумме от последнего до первого)
(частный случай формулы выше)
(опять же коммутативность и ассоциативность)
(еще одно применение коммутативности и ассоциативности)
(разбиение суммы на нечетную и четную части, для четных индексов)
(разделение суммы на нечетную и четную части для нечетных индексов)
( дистрибутивность )
(дистрибутивность допускает факторизацию)
( логарифм произведения – это сумма логарифмов множителей)
( экспонента суммы равна произведению экспоненты слагаемых)

Степени и логарифм арифметических прогрессий

для любого c , не зависящего от i
(Сумма простейшей арифметической прогрессии , состоящей из первых n натуральных чисел.) [2] : 52 
(Сумма первых нечетных натуральных чисел)
(Сумма первых четных натуральных чисел)
(Сумма логарифмов есть логарифм произведения)
(Сумма первых квадратов см. квадрат пирамидального числа .) [2] : 52 
( теорема Никомаха ) [2] : 52 

В более общем плане имеется формула Фаульхабера для

где обозначает число Бернулли , а – биномиальный коэффициент .

Индекс суммирования в показателях

В следующих суммированиях предполагается, что a отличается от 1.

(сумма геометрической прогрессии )
(частный случай для a = 1/2 )
( a , умноженная на производную по a геометрической прогрессии)
(сумма арифметико-геометрической последовательности )

Биномиальные коэффициенты и факториалы

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

Использование биномиальной теоремы

биномиальная теорема
частный случай, когда a = b = 1
, специальный случай, когда p = a = 1 − b , который для выражает сумму биномиального распределения
значение при a = b = 1 производной по a биномиальной теоремы
значение при a = b = 1 первообразной по a биномиальной теоремы

Использование чисел перестановки

В следующих суммированиях – это количество k -перестановок n .

, где и обозначает функцию пола .

Другие

Гармонические числа

( номер n- й гармоники )
( обобщенный номер гармоники )

Темпы роста

Ниже приведены полезные приближения (с использованием тета-нотации ):

для реального c больше -1
(См. номер гармоники )
на самом деле c больше 1
для неотрицательного действительного c
для неотрицательных действительных c , d
для неотрицательного действительного b > 1, c , d

История

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

Примечания

  1. ^ Подробности см. в разделе Треугольное число .
  2. ^ Подробное описание обозначений суммирования и арифметики с суммами см. в Graham, Ronald L.; Кнут, Дональд Э.; Паташник, Орен (1994). «Глава 2: Суммы». Конкретная математика: Фонд информатики (PDF) (2-е изд.). Аддисон-Уэсли Профессионал. ISBN 978-0201558029.[ постоянная мертвая ссылка ]
  3. ^ в контекстах, где нет возможности путаницы с воображаемой единицей
  4. ^ Хотя имя фиктивной переменной не имеет значения (по определению), для обозначения целых чисел обычно используются буквы из середины алфавита ( до ), если есть риск путаницы. Например, даже если не должно быть никаких сомнений в интерпретации, многим математикам может показаться немного запутанным видеть вместо приведенных выше формул, включающих .

Рекомендации

  1. ^ «Обозначение суммирования». www.columbia.edu . Проверено 16 августа 2020 г.
  2. ^ abcd Справочник по дискретной и комбинаторной математике , Кеннет Х. Розен, Джон Г. Майклс, CRC Press, 1999, ISBN 0-8493-0149-1
  3. ^ ab «Исчисление I — обозначение суммирования». учебник.math.lamar.edu . Проверено 16 августа 2020 г.
  4. ^ Бертон, Дэвид М. (2011). История математики: Введение (7-е изд.). МакГроу-Хилл. п. 414. ИСБН 978-0-07-338315-6.
  5. ^ Лейбниц, Готфрид Вильгельм (1899). Герхардт, Карл Иммануэль (ред.). Der Briefwechsel фон Готфрида Вильгельма Лейбница с математикой. Эрстер Бэнд. Берлин: Майер и Мюллер. п. 154.
  6. ^ Аб Каджори (1929), стр. 181-182.
  7. ^ abcd Каджори (1929), с. 61.
  8. ^ Эйлер, Леонард (1755). Institutiones Calculi Differentialis (на латыни). Петрополис. п. 27.
  9. ^ Лагранж, Жозеф-Луи (1867–1892). Творения Лагранжа. Том 3 (на французском языке). Париж. п. 451.{{cite book}}: CS1 maint: location missing publisher (link)
  10. ^ Mémoires de l'Académie Royale des Sciences de l'Institut de France pour l'année 1825, том VIII (на французском языке). Пэрис: Дидо. 1829. стр. 581-622.
  11. ^ Фурье, Жан-Батист Жозеф (1888–1890). Творения Фурье. Том 2 (на французском языке). Париж: Готье-Виллар. п. 149.

Библиография

Внешние ссылки