Как найти коэффициент последовательности - Сайт, где вы сможете решить свои вопросы

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

Нужно больше полезной и интересной информации? Этого добра много не бывает! Присоединяйтесь к нам в телеграм.

Последовательности чисел

Мы сталкиваемся с последовательностями чисел каждый день. Вот только встреча с последовательностями на экзамене может быть не самой приятной.

Чтобы было иначе, читаем эту статью, а если что-то непонятно, смело обращаемся к нашим консультантам за помощью.

Одна из самых интересных и известных последовательностей – числа Фибоначчи. Эта последовательность имеет удивительные свойства и часто встречается в природе. Например, семечки у подсолнуха упорядочены в две спирали. Числа, обозначающие количество семечек в каждой из них, являются членами последовательности Фибоначчи.

Что такое числовая последовательность?

Последовательность – это набор элементов множества, который удовлетворяет следующим условиям:

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

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

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

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

Какие бывают последовательности

Различают:

постоянную, или монотонную последовательность: 1, 1, 1, 1, 1…
возрастающую последовательность, в которой каждый следующий элемент больше предыдущего
убывающую последовательность, в которой каждый следующий элемент меньше предыдущего

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

Рассмотрим самые известные примеры последовательностей. Еще со школы всем знакомы арифметическая и геометрическая прогрессии.

Арифметическая прогрессия

Посмотрим на числа:

Что у них общего? Они все нечетные и каждое следующее можно получить из предыдущего, прибавляя к нему одно и то же число. Назовем его d. В данном случае d=2.

Описанная выше последовательность – арифметическая прогрессия. Приведем основные формулы для нее:

Элемент a с номером n называется общим членом последовательности. А число d – разностью афифметической прогрессии.

Сумма первых n членов прогрессии вычисляется по формуле:

Также африфметическая прогрессия обладает характреристическим свойством:

Геометрическая прогрессия

Геометрической прогрессией называется последовательность чисел, каждый член которой, начиная со второго, равен предыдущему члену, умноженному на одно и то же число q – знаменатель прогрессии. Элементы геометрической прогрессии задаются соотношением:

Основные формулы для геометрической прогрессии приведены ниже. Формула n-го члена прогрессии:

Сумма первых n членов прогрессии:

Характеристическое свойство геометрической прогрессии:

Способы задания последовательностей

Последовательность можно задать несколькими способами:

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

Предел последовательности

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

Предел последовательности – это такой объект, к которому стремятся члены последовательности с ростом порядкового номера n.

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

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

Что нужно помнить, вычисляя пределы последовательностей

Кстати! Также полезно помнить, что для всех наших читателей сейчас действует скидка 10% на любой вид работы.

Последовательность может иметь только один предел.
Если последовательность имеет предел, то она ограничена. Обратное верно не всегда!
Если члены некоторой последовательности zn заключены между соответствующими членами двух последовательностей xn, yn, сходящихся к одному пределу, то и эта последовательность сходится к тому же пределу.
Предел постоянной последовательности равен ее постоянному.
Если две последовательности x и y равны между собой, то пределы этих последовательностей также равны между собой, если они существуют.
Если каждый член сходящейся последовательности не превосходит соответствующего члена другой сходящейся последовательности, то и предел первой не превосходит предела второй.
Предел суммы (разности) двух последовательностей равен сумме (разности) их пределов. При условии, что обе последовательности имеют пределы.
Предел произведения двух последовательностей, имеющих пределы, существует и равен произведению пределов последовательностей.
Постоянный множитель можно выносить за знак предела.
Предел частного двух последовательностей, имеющих пределы, равен частному пределов этих последовательностей, если предел знаменателя не равен нулю.

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

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

Источник

Содержание:

Предел последовательности

С понятием последовательности вы ознакомились ещё в основной школе, когда изучали арифметическую и геометрическую прогрессии. Несколько последовательностей рассматривались. А именно:

1) бесконечная последовательность рациональных приближений числа

2) последовательность степеней с основанием 3, показателями которых являются рациональные приближения числа с точностью до десятых, сотых, тысячных и т. д.:

Числовой последовательностью называется функция которая задана на множестве натуральных чисел. При таком задании — соответственно первый, второй,…, … члены числовой последовательности.

Обозначают числовые последовательности

Числовые последовательности задают описательно, перечнем членов, либо с помощью формулы члена или рекуррентной).

Например:

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

Так получают первое интуитивное понятие предела числовой последовательности. В курсе математического анализа — это одно из важнейших понятий. Рассмотрим его подробнее.

Пусть задано числовую последовательность Вычислим её первые пять членов и изобразим их на координатной прямой (рис. 42). Имеем:

Как видим, с увеличением номера члена последовательности сами члены последовательности всё ближе и ближе приближаются к числу 1. Поскольку расстоянием между точками, которые соответствуют числам на координатной прямой, есть модуль разности этих чисел, то можно утверждать, что для данной последовательности

Очевидно, что при росте числа члены заданной последовательности всё меньше и меньше будут отличаться от числа 1. Например:

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

Например, в рассмотренной выше последовательности для таким членом будет поскольку а для таким членом ( проверьте).

В этом случае говорят, что число 1 является пределом заданной числовой последовательности.

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

Обозначают: Читают: предел числовой последовательности при стремящемся к бесконечности, равен

Пример №503

Вычислите предел последовательности

Решение:

Запишем несколько членов заданной последовательности: Как видим, ее члены стремятся к числу 1. Проверим наше предположение. По определению предела надо найти такое число что для всех будет выполняться неравенство: Имеем: Следовательно, такое число существует. Например, при последнее неравенство будет иметь вид То есть, начиная с 100-го члена последовательности расстояние между любым членом последовательности и числом 1 будет меньше 0,01.

Следовательно,

Докажите самостоятельно и запомните, что

Если числовая последовательность имеет предел, то она называется сходящейся. Если числовая последовательность предела не имеет, то она называется расходящейся.

Рассмотрим свойства сходящихся последовательностей:

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

Пример №504

Найдите предел последовательности

Решение:

Эту последовательность можно представить в виде суммы двух сходящихся последовательностей (проверьте). На основании свойств 2 и 3 имеем:

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

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

Пример №505

Вычислите

Решение:

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

Пример №506

Вычислите:

Решение:

Заметим, что здесь не происходит деление на ноль, поскольку знаменатель лишь стремится к нулю, но ему не равен.

Проанализируем полученные ответы. В примере 3 степень числителя меньше степени знаменателя. Это означает, что знаменатель стремится к бесконечности быстрее, чем числитель, а следовательно, предел их отношения будет равняться нулю. В примере 4, в задании а) степени числителя и знаменателя одинаковы и в результате получили отношение коэффициентов при старших степенях. В задании б) степень числителя больше степени знаменателя. Это означает, что числитель стремится к бесконечности быстрее, чем знаменатель, а потому предел их отношения равен бесконечности. Итак, имеем еще такое правило.

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

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

Пример №507

Пользуясь определением предела числовой последовательности, докажите, что

Решение:

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

Пусть тогда Для любого можем найти соответствующее например

Итак, пределом заданной последовательности является число 2.

Пример №508

Вычислите:

Решение:

а) Умножим и разделим выражение, стоящее под знаком предела, на сопряжённое.

б) Разделим числитель и знаменатель дроби на Имеем:

Предел числовой последовательности

Общее понятие функции. Числовые последовательности

Определение 2.1. Пусть X, Y —два произвольных множества. Функцией f с областью определения X и множеством значений из Y называется такое соответствие между X и Y, при котором любому соответствует ровно один . Множество X называется областью определения функции (обозначается ); множество элементов , которые соответствуют некоторым , называется множеством значений функции (обозначается ). Величина называется аргументом функции f.

Отмстим, что , но не обязано совпадать с Y. Возможно, различным х соответствует один и тот же у, но каждому х — ровно один у (см. рис. 2.1).

Пример 2.1. X — множество человек, присутствующих на лекции; Y = N. Функция у = f(x) определяется как год рождения х. Ясно, что , но не совпадает с Y. Многим х может соответствовать один и тот же у, но каждому х — ровно один у.

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

Определение 2.3. Пусть . Функция f называется ограниченной (ограниченной сверху, ограниченной снизу) на множестве X, если её множество значений ограничено (ограничено сверху, ограничено снизу). Точная верхняя и нижняя грани называются точной верхней и нижней гранями f на X (обозначаются ). Числовая последовательность называется ограниченной (ограниченной сверху, ограниченной снизу), если множество её значений ограничено (ограничено сверху, ограничено снизу). Точная верхняя и нижняя грани этого множества называются точной верхней и нижней гранями (обозначаются ).

Пример 2.2. Последовательность ограничена, так как для всех n выполняется неравенство . Отмстим, что : поэтому (в дальнейшем такие последовательности мы будем называть строго возрастающими). Отсюда следует, что последовательность имеет наименьший член по лемме (достигается). Докажем, что (не достигается). В самом деле, для всех п выполняется неравенство . Докажем, что для каждого числа найдётся номер п такой, что . Неравенство перепишем в виде (здесь использовано то, что ). Такой номер п найдётся по принципу Архимеда. Доказано, что

Лемма 2.1. Функция f ограничена на множество найдётся такое положительное число С, что для всех выполняется неравенство

□ Неравенство равносильно Так как это двойное неравенство выполняется для всех , то это и означает, что множество значений f ограничено.

Так как для любого выполняется неравенство , то отсюда следует, что , где С — наибольшее из чисел .

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

Подобные утверждения, формулировка которых содержит логический знак («тогда и только тогда», «необходимо и достаточно»), часто будут встречаться в нашем курсе. Доказательство их, как правило, будет состоять из двух частей: — достаточность, — необходимость. Лемма 2.1, например, может быть сформулирована так: для того чтобы функция f была ограничена на множестве X, необходимо и достаточно, чтобы нашлось положительное число С такое, что для всех выполняется неравенство .

Определение и простейшие свойства предела последовательности

Определение 2.4. -окрестностью точки а называется интервал

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

Определение 2.5 (геометрическое определение предела). Число а называется пределом последовательности , если вне любой окрестности точки а содержится не более конечного числа членов (обозначение:).

Ясно, что вне содержится не более конечного числа —это всё равно, что в содержатся все члены, начиная с некоторого номера. Определение предела можно сформулировать так.

Определение 2.5′. Число а называется пределом последовательности , если для любого положительного числа найдётся номер такой, что при всех выполняется неравенство

На языке кванторов это можно записать так:

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

Напишем на языке кванторов отрицание последнего определения (число а не является пределом последовательности ):

Здесь уже нельзя считать, что ; здесь

Пример 2.3.

□ Докажем требуемое равенство по определению предела. Нужно, чтобы Последнее неравенство имеет вид и выполняется при .

По принципу Архимеда найдётся натуральное число , а при всех по нужное неравенство и подавно выполняется. ■

Попробуем явно записать функциональную зависимость . Для этого применим функцию («целая часть х»). Она определяется как наибольшее целое число, не превосходящее х. График этой функции изображён на рис. 2.2. Для всех «ступенек» крайняя левая точка принадлежит графику, крайняя правая — нет.

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

Определение 2.6. Последовательность, имеющая предел, называется сходящейся. Последовательность, не имеющая предела, называется расходящейся.

Лемма 2.2. Сходящаяся последовательность имеет ровно один предел.

□ Пусть : для определённости, a < b.

Зафиксируем такое, что

По определению предела:

Тогда если — наибольший из номеров и , то при имеем включение — противоречие. ■

Для доказательства большинства утверждений в теории пределов последовательностей достаточно представить себе геометрическую картинку (в данном случае рис. 2.3). После этого, как правило, уже несложно привести аккуратное доказательство.

Часто бывает удобно в качестве области определения последовательности рассматривать не всё множество N, а множество целых чисел, не меньших некоторого фиксированного целого числа . Например, последовательность определена (как последовательность) при можно определить при

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

Лемма 2.3. Если последовательность ограничена при (т.е. ), и определена при всех , то она ограничена.

□ Вне отрезка [m, М] имеется не более конечного числа членов (разве что ). Рассмотрим ; . Тогда для всех натуральных п выполняются неравенства , т.е. ограничена. ■

Лемма 2.4. Сходящаяся последовательность ограничена.

□ Пусть . По определению предела (е = 1): По лемме 2.3 ограничена. ■

Обратное неверно. Ограниченная последовательность не обязана сходиться.

Пример 2.4. Рассмотрим последовательность при чётном при нечетном n). Так как при всех выполняются неравенства , то ограничена. Докажем, что расходится.

□ Пусть сходится и . Тогда по определению предела :

Рассмотрим

Но одно из чисел равно 1, другое равно — 1. Поэтому , т.е. одновременно 0 < а < 2 и —2 < а < 0. Противоречие. ■

Мы будем часто использовать обозначение sign [ (читается «сигнум», что по латыни означает «знак»). По определению

График функции у = sign ж изображён на рис. 2.4.

Лемма 2.5. Если , то найдётся номер такой, что при всех выполняется неравенство причем sign x_n = sign а. Иными словами:

если a > 0, то найдётся номер такой, что при всех выполняется неравенство

если a < 0, то найдётся номер такой, что при всех выполняется неравенство

□ Пусть a > 0. Рассмотрим в определении предела Тогда откуда следует, что (см. рис. 2.5). Случай a < 0 рассматривается аналогично (в определении предела берётся см. рис. 2.6). ■

Отсюда моментально следует

Лемма 2.6 (о сохранении знака). Если , то найдётся номер такой, что при всех знаки и a совпадают. Иными словами, если a > 0, то найдётся номер такой, что при всех выполняется неравенство ; если a < 0, то найдётся номер такой, что при всех выполняется неравенство

Определение 2.7. Последовательность an называется бесконечно малой, если

Лемма 2.7. где — бесконечно малая последовательность.

□ Пусть Тогда

■

Отметим, что если при (постоянная последовательность), то ; это следует из того, что — очевидно, бесконечно малая последовательность.

Лемма 2.8. Сумма двух бесконечно малых последовательностей является бесконечно малой.

□ Пусть — бесконечно малые. Поэтому

Тогда при , где , выполняется неравенство

т.е. — бесконечно малая. ■

Лемма 2.9. Произведение бесконечно малой последовательности на ограниченную является бесконечно малой.

□ Если последовательность ограничена, то

Если — бесконечно малая, то

Тогда при выполняется неравенство т.е. — бесконечно малая. ■

Следствие 1. Если — бесконечно малая последовательность, то — бесконечно малая.

□ Следует из того, что постоянная последовательность ограничена. ■

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

□ Следует из того, что одну из этих последовательностей можно рассматривать просто как имеющую предел, следовательно, ограниченную. ■

Пример 2.5. , так как —произведение ограниченной последовательности на бесконечно малую

Теорема 2.1 (об арифметических операциях с пределами). Пусть Тогда

□ — бесконечно малые последовательности.

1) где — бесконечно малая, поэтому

2) где — бесконечно малая, так как все три слагаемые являются бесконечно малыми по следствиям из леммы 2.9, поэтому Отметим, что лемма 2.8 по индукции распространяется на случай суммы любого конечного фиксированного числа бесконечно малых последовательностей.

3)Так как , то по лемме 2.6 найдётся номер такой, что при всех выполняется неравенство , и последовательность определена при всех . Она может быть не определена при некоторых значениях , но, как мы уже отмечали, при исследовании сходимости последовательность может быть определена лишь при , где — фиксированное целое число. В условии теоремы нет необходимости требовать, чтобы ; достаточно потребовать . Имеем

Последовательность — бесконечно малая по лемме 2.8 и следствию 1 из леммы 2.9. Так как то по лемме 2.5 откуда следует, что Последовательность ограничена при . По лемме 2.3 эта последовательность ограничена (она может быть не определенной при конечном числе номеров тех, где =0, но на наличие предела это не влияет). Тогда по лемме 2.9 последовательность — бесконечно малая, и

Следствия. В условиях теоремы 2.1

Теорема 2.2 (предельный переход в неравенстве).

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

□ Пусть a > b. Рассмотрим такое, что (например, ) Тогда:

При выполняется неравенство , что противоречит условию (см. рис. 2.7). ■

Следствие. Если найдётся номер такой, что при всех члены и , то

Замечание. Если и при всех выполнено неравенство то (возможно, ). Например:

Теорема 2.3. Если . и найдется номер такой, что при всех выполнено неравенство , то

Тогда при всех выполняются неравенства т.е Значит

В официальной литературе теорема 2.3 называется теоремой о трёх последовательностях или теоремой о зажатой переменной. Тем не менее на студенческом жаргоне и в различных внутривузовских изданиях она обычно называется «теоремой о двух милиционерах». В самом деле, если два представителя силовых структур ведут задержанного в отделение внутренних дел так, что всё время находится между , то придёт туда же. Аналогичные названия этого утверждения имеются и в других языках («теорема о двух карабинерах» и т.д.), так что переименование милиции в полицию вряд ли что-нибудь здесь изменит.

Лемма 2.10. Если , то

1) При = 0 утверждение очевидно.

2) Пусть 0 < q < 1. Тогда . В элементарной алгебре хорошо известно неравенство Бернулли , справедливое при ; его несложно доказать, например, по индукции. Тогда (учитывая, что у нас а > 0)

Так как , то , и, по теореме 2.3, 0

3) Пусть -1 < q < 0. Тогда рассмотрим 1. Так как по только что доказанному, — также бесконечно малая последовательность, как произведение ограниченной на бесконечно малую ■

Доказанные утверждения позволяют вычислять некоторые простые пределы.

Пример 2.6

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

Пример 2.7

(здесь использована лемма 2.10).

Пример 2.8

Последовательность представляет собой сумму п слагаемых, предел каждого из которых равен 0. Но было бы ошибкой на основании леммы о сумме бесконечно малых заявить, что . Лемма 2.8 была доказана для двух слагаемых и, как было отмечено, справедлива для конечного фиксированного числа слагаемых. В нашем же случае число слагаемых равно (неограниченно растёт). Оценим последовательность сверху и снизу; воспользуемся тем, что самое большое слагаемое в сумме — первое, самое маленькое — последнее. Поэтому

Аналогично примеру 2.6, . Поэтому по теореме 2.3 (не равен нулю!).

Монотонные последовательности. Теорема Вейерштрасса

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

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

Теорема 2.4 (Вейерштрасса). Если последовательность возрастает (вообще говоря, нестрого) и ограничена сверху, то существует предел последовательности , равный её точной верхней грани. Если последовательность убывает (вообще говоря, нестрого) и ограничена снизу, то существует предел последовательности , равный ее точной нижней грани.

Докажем первую часть теоремы; вторая доказывается аналогично. По теореме 1.5 последовательность имеет точную верхнюю грань sup = а. Тогда

Удобно обозначить

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

Итак:

а отсюда следует, что (см. рис. 2.8). Значит,

Теорема Вейерштрасса — чистая теорема существования. Она не даст непосредственной возможности вычислять значение предела.

Пример 2.9. Рассмотрим последовательность

(символ означает ). Ясно, что эта последовательность строго возрастает, так как Далее, при выполняется оценка

поэтому

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

Пример 2.10. Рассмотрим последовательность Докажем, что последовательность строго возрастает и для всех n выполняется неравенство . Отсюда будет следовать, что существует . Этот предел обозначается буквой е. Число е иррациональное, е = 2,718281828459045… Это число играет исключительную роль в математическом анализе.

□ Напомним формулу бинома Ньютона:

—так называемые биномиальные коэффициенты. Напомним также, что n! (n факториал) — это произведение всех натуральных чисел от ; по дополнительному определению, 0! = 1. Легко видеть, что при ; и т.д.

Имеем

Нетрудно заметить, что при

Поэтому так как при последнее слагаемое положительно, то . Значит, последовательность строго возрастает. Далее,

поэтому и при всех n

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

Пример 2.11. Докажем, что если , то

□ Если , то и по теореме 2.3

Пусть теперь а > 1. Тогда . Напишем определение предела при в силу положительности последнее неравенство даст . Значит, последовательность убывает при ; при этом . Так как конечное число членов последовательности не влияет на сходимость, то по теореме Вейерштрасса последовательность сходится; обозначим

Мы уже видели, что последовательность удовлетворяет рекуррентному соотношению

Последовательность — та же последовательность, что и (если выбросить ): поэтому . Переходя к пределу в (2.1), получим

■

Теорема Кантора о вложенных отрезках

Если проанализировать изложенный выше материал, то можно заметить, что только три утверждения: теорема 1.4 Дедекинда, теорема 1.5 о точных верхней и нижней гранях и теорема 2.4 Вейерштрасса о пределе монотонной ограниченной последовательности — характерны именно для действительных чисел и выражают свойство их полноты (непрерывности). Все остальные утверждения имели бы место и во множестве рациональных чисел. Например, если то существует А вот если последовательность рациональных чисел возрастает и ограничена сверху, то она может не иметь рационального предела (и соответственно рациональной точной верхней грани). В качестве примера можно рассмотреть последовательность десятичных приближений снизу какого-нибудь иррационального числа а. Эта последовательность имеет предел а (мы сейчас докажем это полезное утверждение), но не имеет рационального предела; если бы она имела рациональный предел то у неё было бы два разных действительных предела а и что противоречит лемме 2.2.

Лемма 2.11. Пусть — последовательности десятичных приближений снизу и сверху действительного числа а. Тогда

□Как известно, для любого п выполняется неравенство

Тогда

Значит, , по теореме 2.3 Аналогично доказывается вторая часть утверждения. ■

Приведём ещё одну очень важную теорему, выражающую свойство полноты действительных чисел.

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

□Так как для всех n

то для любых натуральных n и m выполняется неравенство . Рассмотрим множества и . При любом фиксированном m = множество А ограничено сверху числом значит, существует ; при этом по лемме 1.3 для любого m выполняется неравенство . Аналогично множество В ограничено снизу и существует и для любого n выполняется неравенство Из последнего неравенства и леммы 1.3 следует, что . Итак, для любого n выполняются неравенства Ясно, что точки (и весь отрезок , если ) принадлежат всем отрезкам . Первая часть теоремы доказана. Отметим, что здесь нигде не использовалось понятие предела.

Пусть теперь . Тогда

(мы учли, что). Так как , то из леммы 1.5 следует, что . Обозначим их общее значение . Тогда . В силу монотонного возрастания и ограниченности сверху последовательности по теореме Вейерштрасса . Аналогично .

Если существует ещё одна точка такая, что для всех n выполняется неравенство , то по лемме 1.5 Единственность общей точки доказана. ■

Пример 2.12. ; это — последовательность вложенных отрезков, для которой Существует единственная общая точка 0.

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

Пример 2.14. Для последовательности вложенных интервалов теорема теряет силу. Пусть . Эта последовательность вложенных интервалов не имеет общих точек, при этом

Бесконечно большие последовательности

Наряду с окрестностями конечных чисел рассмотрим окрестности символов

Определение 2.9. При

Определение 2.10. Говорят, что , если

Говорят, что , если

В последнем случае последовательность называется бесконечно большой.

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

Очевидно, что если или то — бесконечно большая. Обратное неверно; для бесконечно большой последовательности не обязательно или

Пример 2.15.

□. Неравенство n > Е выполняется для всех , где ; напомним, что там, где квантор существования стоит после квантора общности, имеет место функциональная зависимость .

Пример 2.16. (аналогично).

Пример 2.17. . Так как , то , но знаки чередуются: поэтому неверно ни то, что , ни то, что

Очевидно, что тогда и только тогда, когда бесконечно большая и тогда и только тогда, когда бесконечно большая и

Лемма 2.12. Бесконечно большая последовательность является неограниченной.

□ неограничена:

бесконечно большая:

Ясно, что бесконечно большая последовательность неограничена.

Обратное неверно. Неограниченная последовательность не обязана быть бесконечно большой.

Пример 2.18. Рассмотрим последовательность

Она неограничена, но не является бесконечно большой.

□Последовательность неограничена за счёт четных номеров. — четное: . Это верно, так как чётное (например, ).

За счёт нечётных номеров последовательность не является бесконечно большой:

Это верно. Возьмём, например, Е = 1. Для любого номера найдётся нечётное натуральное число , например, при этом

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

Лемма 2.13. 1) Если последовательность является бесконечно большой, то последовательность — бесконечно малая.

2) Если последовательность бесконечно малая и найдётся номер такой, что для всех выполняется неравенство , то последовательность бесконечно большая.

□1). Тогда при выполнено неравенство ; последовательность определена, и не нужно делать дополнительную оговорку, как во второй части леммы. Для любого числа рассмотрим . Тогда , значит, , т.е. — бесконечно малая.

2) Доказательство аналогично.

Лемму 2.13 символически можно записать так: . Но отсюда вовсе не следует, что . Бесконечные символы — это не числа, с ними нельзя «вольно» обращаться, т.е. автоматически переносить на них формальные правила операций с действительными числами. Выражение называется «неопределённостью», так как в зависимости от конкретных бесконечно малой и бесконечно большой предельное поведение последовательности может быть самым разнообразным. Произведение может быть: а) бесконечно малым; б) бесконечно большим; в) иметь конечный ненулевой предел; г) не иметь предела — ни конечного ни бесконечного.

Пример 2.19. Во всех случаях :

ограничена, но расходится.

Традиционно принято рассматривать 7 типов неопределённостей: , для каждого из которых можно построить примеры типа а-г. Классическим типом неопределенности является предел

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

Лемма 2.14. Если , то (символическая запись: .

□Достаточно провести доказательство для случая, когда ограничена снизу Так как то (строго говоря, это верно при но если , неравенство и подавно верно). Итак,

значит

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

Лемма 2.15. 1) Если

2) если то

□1) Так как то Пусть . Тогда а это значит, что

2)Доказательство аналогично.

Эта лемма является аналогом теоремы 2.3 для случая бесконечно больших последовательностей.

Пример 2.20.

□Так как , то по лемме 2.13, (с учётом того, что ). Остаётся заметить, что и применить лемму 2.15.

Теорема 2.6 (аналог теоремы Вейерштрасса для неограниченных последовательностей). Если последовательность возрастает (вообще говоря, нестрого) и неограничена сверху, то . Если последовательность убывает (вообще говоря, нестрого) и неограничена снизу, то

□Докажем первую часть теоремы, вторая доказывается аналогично. Так как неограничена сверху, то

(естественно, можно считать, что Е > 0, при Е 0 неравенство и подавно верно). В силу возрастания последовательности при всех выполняется неравенство , поэтому

Значит,

В отличие от теоремы Вейерштрасса 2.4 эта теорема имеет место и во множестве рациональных чисел, она не является характерной именно для действительных чисел.

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

Односторонние пределы

Введём символы а + 0 и а — 0 («а справа» и «а слева»), , и определим -окрестности этих символов.

Определение 2.11. При

Определение 2.12. Говорят, что , если

(т.е. ).

Говорят, что , если

(т.е. ).

Ясно, что в обоих этих случаях . А вот если предел последовательности равен а, то не обязательно он равен а + 0 или а — 0.

Пример 2.21. = +0 (вместо 0 + 0 обычно пишут +0); = -0 (вместо 0 — 0 обычно пишут —0). А вот но этот предел не равен ни +0, ни -0, так как последовательность всё время меняет знак.

Очевидно, что тогда и только тогда, когда тогда и только тогда, когда

В дальнейшем под словами «6 стандартных предельных символов (СПС)» будем понимать

Частичные пределы. Теорема Больцано-Вейерштрасса

Определение 2.13. Пусть — числовая последовательность, a — строго возрастающая последовательность натуральных чисел. Тогда последовательность (с индексом к) называется подпоследовательностью последовательности .

Определение 2.14. Число называется частичным пределом (предельной точкой) последовательности , если существует такая строго возрастающая последовательность индексов , что

Пример 2.22. Рассмотрим последовательность . Она расходится, но имеет сходящиеся подпоследовательности . Таким образом, она имеет частичные пределы 1 и —1.

Условие строгого возрастания последовательности в определении 2.13 является достаточным (но не необходимым) условием для того, чтобы В самом деле, и т.д. По индукции нетрудно доказать, что при Но (пример 2.20); по лемме 2.15, При отказе от этого условия может оказаться так, что последовательность ограничена, и ни о каком поведении при не может быть речи (например, при последовательность не имеет никакого отношения к предельному поведению последовательности ).

Лемма 2.16. Если , где а — один из 6 СПС, то для любой последовательности также

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

Следствие. Если , то а — единственный частичный предел

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

Если , то по лемме 2.16 единственным частичным пределом последовательности является . Если , то единственным частичным пределом последовательности является

Теорема 2.7 (критерий частичного предела). Пусть a — один из символов Тогда а является частичным пределом в любой -окрестности а содержится бесконечно много членов .

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

Сначала рассмотрим случай Возьмём — некоторый член . Возьмём теперь Так как в содержится бесконечно много членов , то выберем так что и т.д. Пусть построены где . Так как в бесконечно много , то выберем так, что . Таким образом, построена бесконечная последовательность , причём т.е. По теореме 2.3 , т.е. а — частичный предел .

Для или доказательство аналогично. Например, для нужно брать выбирать таким, что т.е. Тогда по лемме 2.15

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

В примере 2.22 других частичных пределов, кроме 1 и — 1, последовательность не имеет. В самом деле, если , или , то существует окрестность а, в которой вообще нет членов .

Пример 2.23. (см. пример 2.18). Так как , то частичными пределами последовательности являются 0 и . Других частичных пределов последовательность не имеет (для других а существует окрестность, в которой вообще нет членов ).

Пример 2.24. , т.е. Так как то частичными пределами последовательности являются и ; других частичных пределов последовательность не имеет.

Пример 2.25. Пусть — последовательность, в которую каким-то образом занумерованы все рациональные числа (это можно сделать в силу счетности множества Q). Так как в любой окрестности любого действительного числа а содержится бесконечно много рациональных чисел (если , то возьмём если , то ; в любом случае и в любой содержатся все при , т.е. бесконечно много членов ), то а — частичный предел . Аналогично, для возьмём , для возьмём . Итак, частичными пределами являются все действительные числа, а также символы .

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

Теорема 2.8 (Больцано-Вейерштрасса). Любая ограниченная последовательность имеет сходящуюся подпоследовательность (т.е. имеет конечный частичный предел).

□Пусть для всех выполняется неравенство . Разобьём отрезок на 2 равных отрезка : выберем ту половину , где содержится бесконечно много членов (и там, и там конечного числа быть не может, так как тогда их всего было бы конечное число). Если и там, и там бесконечно много , то —любая из половинок. В отрезке выберем половину , где бесконечно много (аналогично), в — половину , где бесконечно много и т.д. На к-м шагу в выберем половину , где бесконечно много . Имеем последовательность вложенных отрезков , причём длина n-го отрезка равна — стремится к нулю по лемме 2.10.

По теореме Кантора о вложенных отрезках существует единственная точка с, принадлежащая всем отрезкам . Пусть . Так как длина , то при отрезок целиком принадлежит (см. рис. 2.10), значит, в бесконечно много членов . По теореме 2.7 с — частичный предел .

Теорема 2.9 (аналог теоремы Больцано-Вейерштрасса для неограниченных последовательностей).

Если последовательность неограничена сверху, то она имеет частичный предел . Если последовательность неограничена снизу, то она имеет частичный предел .

□Докажем первую часть теоремы: вторая доказывается аналогично. Зафиксируем Е > 0. Так как неограничена сверху, то В качестве нового Е в определении неограниченности сверху рассмотрим . Тогда Аналогично, и т.д. Мы выбрали бесконечно много различных членов последовательности таких, что . По теореме 2.7 — частичный предел .

Итак, любая последовательность имеет частичный предел: ограниченная — конечный, неограниченная — равный или .

Отмстим, что теорема Больцано-Вейерштрасса характерна именно для действительных чисел и выражает свойство их полноты (непрерывности). Её аналог — теорема 2.9 — выполняется и во множестве рациональных чисел.

Теорема 2.10 (о единственном частичном пределе). Пусть последовательность ограничена и имеет единственный частичный предел а. Тогда последовательность сходится к числу а.

□Пусть для любого номера n выполняется неравенство . Так как для некоторой последовательности предел , и для всех к, то по теореме 2.2 . Докажем, что существует

Если это не так, то найдётся , вне которой имеется бесконечно много членов . Пусть для определённости бесконечно много членов имеется правее , т.е. на (см. рис. 2.11).

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

Определение 2.15. Предельным множеством последовательности называется множество всех сё частичных пределов (включая символы , если они являются частичными пределами).

Определение 2.16. Верхним пределом последовательности (обозначается ) называется точная верхняя грань её предельного множества, нижним пределом — точная нижняя грань её предельного множества. Если предельное множество содержит символ (соответственно ). Если предельное множество состоит из единственного символа , то (соответственно ).

Пример 2.26. Если (или , или ), то (соответственно , или ). Если Если , то Если то

Лемма 2.17. Для любой последовательности выполняются неравенства При этом формально считается, что , и для любого действительного числа а выполняются неравенства .

□Неравенство следует из определения 2.16. Если последовательность неограничена сверху, то , и неравенство очевидно. Если ограничена сверху и , то для любой подпоследовательности при выполняется неравенство . По теореме 2.2 для любого частичного предела a выполняется неравенство , и по лемме 1.3

Неравенство доказывается аналогично. ■

Лемма 2.18. 1) Последовательность ограничена сверху (т.е. конечен или равен );

2) последовательность ограничена снизу (т.е. конечен или равен ).

□Докажем первую часть леммы, вторая доказывается аналогично. Если ограничена сверху, то , и утверждение леммы следует из леммы 2.17. Если неограничена сверху, то по теореме 2.9 она имеет частичный предел ; значит,

Теорема 2.11. Пусть конечны и совпадают. Тогда последовательность сходится к их общему значению.

□Из леммы 2.18 следует, что последовательность ограничена сверху и снизу. Так как предельное множество состоит из единственного числа (по теореме Больцано-Вейерштрасса предельное множество непусто и никакого другого частичного предела, кроме а, быть не может), то ограничена и имеет единственный частичный предел а. По теореме 2.10 существует

Пример 2.27. Рассмотрим последовательность . Так как , то , последовательность имеет частичные пределы 1 и —1. Легко видеть, что при всех п выполняется неравенство . С другой стороны, для любого числа найдётся нечетное число такое, что (последнее неравенство имеет вид

можно взять Значит (не достигается). Так как , то

Далее при всех выполняется неравенство При нечётных n значения , поэтому наибольший член последовательности равен . Значит, Никакое число, большее 1, не может быть частичным пределом , так как в достаточно малой окрестности этого числа либо совсем нет членов последовательности, либо содержится единственный член (само это число). Поэтому

В нашем случае

Теорема 2.12. Верхний и нижний пределы числовой последовательности являются частичными пределами (таким образом, конечный верхний (нижний) предел является наибольшим (соответственно наименьшим) частичным пределом).

□ Пусть сначала где X — предельное множество последовательности. Тогда

Рассмотрим произвольное 0 и выберем Возьмем соответствующее такое, что Если р = а, то а — частичный предел, и всё доказано. Если же , то выберем такое, что (см. рис. 2.12). В содержится бесконечно много членов , так как р — частичный предел. Поэтому на интервале бесконечно много , значит, в — бесконечно много . Так как 0 — произвольно, то по критерию частичного предела а — частичный предел. Если , то по лемме 2.18 последовательность неограничена сверху. По теореме 2.9 последовательность имеет частичный предел .

Наконец, если , то из определения 2.16 видно, что предельное множество содержит единственный символ , т.е. является частичным пределом (и просто пределом)

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

Критерий Коши сходимости последовательности

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

Теорема 2.13 (критерий Коши). Последовательность сходится фундаментальна.

Пусть Тогда

Тогда для любых выполняется неравенство

значит, последовательность фундаментальна.

Пусть — фундаментальная последовательность. Докажем сначала, что она ограничена. При = 1 имеем

Зафиксируем . Тогда при выполнено неравенство

Таким образом, последовательность ограничена при . По лемме 2.3 последовательность ограничена.

По теореме Больцано-Вейерштрасса последовательность имеет конечный частичный предел. В силу теоремы 2.10 о единственном частичном пределе достаточно доказать, что других частичных пределов последовательность не имеет. Пусть это не так, и последовательность имеет два различных частичных предела а и b (для определённости, а < b). Возьмём в определении фундаментальности (так, чтобы не только не пересекались, но ещё имели между собой зазор ширины ):

Но в содержится бесконечно много членов (по теореме 2.7). Значит, Аналогично

Тогда (см. рис. 2.13) .

Полученное противоречие показывает единственность частичного предела. ■

На практике критерий Коши удобно использовать для доказательства расходимости последовательности.

Пример 2.28. Докажем, что последовательность расходится.

□Отрицание определения фундаментальности звучит так:

В самом деле, рассмотрим = 2. Для любого номера возьмём Тогда одно из чисел и равно 1, другое равно — 1, поэтому Последовательность не является фундаментальной, значит, расходится. ■

Рассмотрим другую форму записи определения фундаментальности. Ясно, что можно считать входят в определение симметрично, а при имеем для любого > 0). Тогда

Последовательность сходится

Последовательность расходится

Пример 2.29. (сходимость этой последовательности была установлена в примере 2.9 при помощи теоремы Вейерштрасса; теперь применим критерий Коши).

□Имеем

Это выражение меньше при , т.е. при 1.

Итак, Последовательность сходится.

Отмстим, что номер должен зависеть только от и ни в косм случае не должен зависеть от р.

Пример 2.30. Хотя внешне эта последовательность мало отличается от предыдущей, но она расходится.

□Имеем

(в сумме р слагаемых, самое маленькое равно Возьмём Тогда

Итак, Последовательность расходится.

В качестве предостережения приведём неверное «доказательство» того, что эта последовательность сходится.

Имеем при всех

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

Пример 2.31. Если р — фиксированное натуральное число, В частности, Верно ли, что из выполнения для любого равенства следует сходимость ?

Ответ: нет (рассмотреть последовательность из примера 2.30).

Доказательство критерия Коши (необходимость) сохраняется во множестве рациональных чисел, доказательство (достаточность) характерно именно для действительных чисел. Сходимость фундаментальной последовательности выражает полноту (непрерывность) множества действительных чисел. Любая фундаментальная последовательность рациональных чисел сходится к действительному числу, но не обязана сходиться к рациональному числу. Таким образом, фундаментальные последовательности рациональных чисел в теории действительных чисел играют ту же роль, что и сечения. Если фундаментальная последовательность рациональных чисел не имеет рационального предела, то она является такой же «дыркой» во множестве рациональных чисел, как и сечение III типа. Наличие таких дырок говорит о неполноте множества рациональных чисел. А вот во множестве действительных чисел таких «дырок» уже нет — любая фундаментальная последовательность сходится.

Заказать решение задач по высшей математике

Пределы числовых последовательностей

Определение 2.1. Пусть Х и Y – множества произвольной природы
и каждому элементу x X поставлен в соответствие некоторый элемент
y Y. Такое соответствие называется функцией. Обозначим его f,
или f:X →Y , или . При этом множество Х называется
областью определения (f )D функции f , D(f )=X, а множество называется областью значений
рис. 2.1.

П р и м е р 2.1
– множество всех неотрицательных чисел из R.

Определение 2.2. Числовой последовательностью называется произвольная функция f : N →R. При этом числа из области значений E(f) обозначаются: Число называется n-м членом последовательности. Для задания последовательности достаточно задать .
П р и м е р 2.2
Подставив n=1, 2, 3, … получим

Определение 2.3. Число a называется пределом числовой последовательности
существует число , такое что выполняется неравенство Более коротко будем записывать это определение в видеПоследовательности, имеющие предел, называются сходящимися, а не имеющие предела – расходящимися.
П р и м е р 2.3
Доказать, что
Доказательство
Пусть Рассмотрим цепочку эквивалентных неравенств

Пусть N – натуральное число, большее , например тогда N удовлетворяет соотношению (2.1), что и требовалось доказать.
У п р а ж н е н и е 2.1.

Доказать, что
Геометрически равенство означает, что все члены последовательности , начиная с номера, попадают в –
окрестность точки а (рис. 2.2).

Например, для последовательности из примера 2.3, если

Определение 2.4. Последовательность называется ограниченной,
если , такое что
Теорема 2.1. (необходимый признак сходимости последовательности).
Если последовательность сходится, то она ограничена.
Доказательство
Из соотношений (2.1) следует, что все члены сходящейся последова-
тельности после номера N лежат в интервале, далее доказательство очевидно.
Определение 2.5. Последовательность называется бесконечно большой, если
Говорят, что бесконечно большая последовательность имеет предел , и пишут
Если все члены бесконечно большой последовательности, начиная с некоторого номера, становятся положительными, то есть то пишут
Если все члены бесконечно большой последовательности, начиная с некоторого номера, становятся отрицательными, то есть

то пишут

П р и м е р 2.4

Бесконечно большие последовательности не являются сходящимися и отличаются по своим свойствам от свойств сходящихся последовательностей.
Определение 2.6. Числовая последовательность называется возрастающей
(убывающей), если

Возрастающие (убывающие) последовательности называются строго монотонными.
Числовая последовательность называется неубывающей (невозрастающей), если

Неубывающие (невозрастающие) последовательности называются
монотонными.

Теорема 2.3. Пусть последовательности сходятся и  – постоянное число. Тогда
Доказательство
Докажем, например, формулу  Так как последовательность
сходится, то она ограничена, то есть число , такое что . Пусть

Так как последовательность сходится, то , такой что при
Так как последовательность сходится, то  такой что при
(считаем, что 0≠ b; если 0= b, то второго слагаемого в формуле (2.3) нет).
Пусть . Тогда из (2.3) при n >N следует  что и требовалось доказать.
Определение 2.8. Пусть тогда последовательность называется бесконечно малой. Пусть – бесконечно малые последовательности. Тогда называется неопределенностью вида. Вычисление таких пределов называется раскрытием неопределенности. Аналогично определяются неопределенности вида

П р и м е р 2.7

П р и м е р 2.8

П р и м е р 2.9

П р и м е р 2.10

Теорема 2.4. а. Пусть последовательность – бесконечно малая Тогда последовательность – бесконечно большая

б. Пусть последовательность – бесконечно большая тогда последовательность – бесконечно малая.
П р и м е р 2.11

Определение 2.9. Последовательность имеет предел при , если

Легко видеть, что число а в определении 2.9 единственно, поэтому
определения 2.3 и 2.9 эквивалентны.
Из определения 2.9 следует, что последовательность – расходящаяся
(не имеет предела), если (2.4)

——

Числовая последовательность и ее предел

Понятие числовой последовательности

Определение 2.1. Если каждому натуральному числу поставлено в соответствие число то говорят, что задана числовая последовательность или просто последовательность

Числа – элементы или члены последовательности, – общий или й член последовательности. Последовательность обозначают как или или задают с помощью го члена.

Частным случаем последовательности являются арифметическая и геометрическая прогрессии.

Пример 2.1.

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

При этом говорят, что число ограничивает последовательность снизу, a – сверху.

Определение 2.2′. Последовательность называется ограниченной, если такое, что для

Заметим, что не всякая последовательность ограничена.

Пример 2.2. Последовательность ограничена снизу 0, сверху последовательность ограничена снизу 1.

Определение 2.3. Последовательность называется неограниченной, если для

Пример 2.3. Последовательность не ограничена.

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

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

Определение 2.5. Суммой, разностью, произведением, отношением последовательностей и называют последовательности члены которых образованы по следующим правилам:

Произведением последовательности на число называется последовательность

Бесконечно большие и бесконечно малые последовательности

Определение 2.6. Последовательность называется бесконечно большой последовательностью (ББП), если для (сколь бы большим его ни взяли) такой номер, что для

Заметим, что если последовательность бесконечно большая, то она является неограниченной, но не наоборот, т. е. неограниченная последовательность не обязательно будет ББП.

Определение 2.7. Последовательность называется бесконечно малой последовательностью (БМП), если для такой номер, что для

Пример 2.4. – ББП, – БМП.

Теорема 2.1. Если последовательность – ББП, и все ее члены отличны от нуля то последовательность будет БМП; и обратно, если – БМП, то последовательность – ББП.

Доказательство.

Пусть – ББП. Рассмотрим и положим Согласно определению ББП, для этого будет такой номер, что для Тогда

т. е. для что А это и означает, что

– БМП.

Аналогично доказывается вторая часть теоремы.

Свойства БМП

1. Алгебраическая сумма любого конечного числа БМП есть БМП.

2. Произведение любого конечного числа БМП есть БМП.

3. Произведение ограниченной последовательности на БМП есть БМП.

Следствие 2.1*. Произведение БМП иа число есть БМП.

Сходящиеся последовательности

Определение 2.8. Число называется пределом числовой последовательности если для такой, что

(2.1)

Последовательность, имеющая предел, называется сходящейся, в противном случае – расходящейся.

Из (2.1) рассмотрим условие

Последние неравенства означают, что при элемент последовательности должен находиться в интервале Напомним, что данный интервал называется окрестностыо точки

Определение 2.8′. Число называется пределом числовой последовательности если для начиная с которого все члены последовательности принадлежат окрестности точки Геометрический смысл предела последовательности: если вне любой окрестности точки а имеется лишь конечное число членов этой последовательности.

Пример 2.5. Доказать, что

Решение. Согласно условию, требуется доказать, что число «1» является пределом последовательности для нужно указать номер начиная с которого для всех членов последовательности будет выполнено т. е.

Из неравенства получаем Таким образом, для полагая получаем, что для будет выполнено Заметим, что величина представляет собой целую часть выражения тогда

Поэтому для выполнения условия при полагаем

Теорема 2.2. Числовая последовательность имеет своим пределом число «а» тогда только тогда, когда

где – члены БМП

Доказательство.

Необходимость. Пусть Обозначим Получим т. е. – БМП.

Достаточность. Пусть где – БМП. Тогда т. e.

Свойства сходящихся последовательностей

1. Сходящаяся последовательность имеет единственный предел.

2. Всякая подпоследовательность сходящейся последовательности сходится к тому же пределу.

3. Сходящаяся последовательность ограничена.

4. Если последовательность имеет предел то, начиная с некоторого номера выполняется неравенство т. е. члены последовательности сохраняют знак числа

5. Пусть и, начиная с некоторого номера

выполняется неравенство тогда

6. Пусть для последовательностей и выполнены неравенства Тогда

7. Если последовательности и сходятся и

7.1.

7.2.

7.3.

7.4.

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

На основании свойства 2 можно получить условие расходимости последовательности.

Следствие 2.2*. Если из последовательности можно выделить две подпоследовательности и сходящиеся к и то не имеет предела.

Пример 2.6. Доказать, что последовательность не имеет предела.

Решение. Выделим из исходной последовательности две подпоследовательности :

Так как то исходная последовательность не имеет предела.

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

Определение 2.9. Последовательность называется:

– возрастающей, если

– неубывающей, если

– убывающей, если

– невозрастающей, если

Все указанные последовательности называются также монотонными, а возрастающая и убывающая последовательности – строго монотонными.

Теорема 2.3. Для того чтобы монотонная последовательность сходилась, необходимо и достаточно, чтобы она была ограниченной.

Доказательство.

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

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

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

Таким образом, т. е. А это и означает, что число – предел последовательности

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

Замечание 2.2. На основании данной теоремы можно доказать существование предела последовательности а именно

где (число Эйлера) – иррациональное число,

Теорема 2.4* (Больцапо-Вейерштрасса). Из всякой ограниченной последовательности чисел можно выделить сходящуюся подпоследовательность.

Определение 2.10. Совокупность отрезков образует систему вложенных отрезков, если выполнены следующие условия:

(2.2)

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

(2.3)

Теорема 2.5 (Кантора). Всякая последовательность вложенных стягивающихся отрезков имеет единственную общую точку, принадлежащую всем отрезкам.

Доказательство.

Из (2.2) следует, что монотонные последовательности концов отрезков и сходятся, причем из равенства (2.3):

Тогда

Из теоремы 2.3 следует, что общей точкой, принадлежащей отрезкам является

Пример 2.7. Найти предел
Решение.

Ответ.

Пример 2.8. Найти предел

Решение.

Ответ. 0.

Пример 2.9. Найти предел

Решение.

Ответ: 4

Пример 2.10. Найти предел

Решение.

Ответ:

—-

Предел последовательности и функция

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

Если числовая последовательность имеет предел, то она называется сходящейся. Если числовая последовательность предела не имеет, то она называется расходящейся.

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

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

и имеют место равенства:

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

— первый замечательный предел.

Функция называется непрерывной в точке если существует предел функции в этой точке и он равен значению функции в точке

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

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

Теорема (Больцано—Коши). Если функция непрерывна на и на концах этого отрезка принимает значения разных знаков, то на интервале обязательно существует точка такая что

Производной функции f(x) в точке называют предел отношения приращения функции в точке к приращению аргумента, если приращение аргумента стремится к нулю, а предел существует,

Предел и непрерывность числовой функции одной переменной
Функции, их свойства и графики
Параллельность в пространстве
Перпендикулярность в пространстве
Квадратные корни
Квадратные уравнения
Неравенства
Числовые последовательности

Источник

Последовательность – коэффициент

Cтраница 1

Последовательность коэффициентов имеет одну перемену знака, следовательно уравнение имеет один действительный положительный корень. Уравнение (2.37) имеет еще один отрицательный корень и пару комплексно-сопряженных корней. Это следует из того, что если в (2.37) Tw заменить на – Тш, в ряду коэффициентов полученного многочлена также будет одна перемена знака.
[1]

Поскольку последовательности коэффициентов в степенных разложениях (2.120) линейно независимы, коэффициенты перед каждой степенью и перед их смешанными произведениями должны равняться нулю.
[2]

Приведенная выше последовательность коэффициентов перед числами верхнего ряда, встречающимися в треугольнике ( 6, 20, 34, 34, 20, 6), совпадает с уменьшенными на единицу числами, образующими седьмую строку треугольника Паскаля.
[3]

Qncn) есть последовательность коэффициентов Фурье некоторой меры.
[4]

Предполагая, что последовательность коэффициентов сп ( t) остается ограниченной при каждом t, В. Более того, в этом случае ни у одной из двух наших систем нет других решений, и поэтому эти системы по существу эквивалентны.
[5]

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

Последовательность уп представляет собой последовательность коэффициентов Фурье некоторой меры F на окружности в том и только том случае, когда она положительно определена.
[7]

Соотношениями (6.34) и (6.35) последовательность коэффициентов un ( i) определяется однозначно.
[8]

Убедитесь в том, что последовательность коэффициентов Yx ( m) получается такой же при использовании алгоритма типа Кули – Тьюки.
[9]

Система линейных уравнений (3.22) содержит две последовательности коэффициентов А и Вп.
[10]

Решение системы уравнений ( 4) дает последовательность коэффициентов Vi для каждой функции. Эти коэффициенты могли бы быть непосредственно использованы при классификации. Однако их трудно интерпретировать, соответствующие им значения дискриминантной функции не имеют определенного смысла. Причина заключается в том, что данное решение не имеет ограничения по метрике дискриминантного пространства. Хотя это пространство вводится для обеспечения максимального разделения классов, последние могут располагаться в любой его области.
[11]

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

Алгоритмы БПФ, в которых на уменьшающиеся последовательности разлагается последовательность коэффициентов S ( k) дискретного преобразования Фурье, называют алгоритмами БПФ с прореживанием по частоте.
[14]

Число положительных действительных корней меньше или равно числу перемен знаков в последовательности коэффициентов я0, i, ап. Заменяя х на – х в уравнении (5.5), таким же способом можно оценить число отрицательных корней.
[15]

Страницы:

Источник

Биномиальный коэффициент — коэффициент перед членом разложения бинома Ньютона $(1+x)^{n}$ по степеням . Коэффициент при $x^{k}$ обозначается или и читается «биномиальный коэффициент из по » (или «число сочетаний из по »):

${displaystyle (1+x)^{n}={binom {n}{0}}+{binom {n}{1}}x+{binom {n}{2}}x^{2}+ldots +{binom {n}{n}}x^{n}=sum _{k=0}^{n}{binom {n}{k}}x^{k}}$

для натуральных степеней .

Биномиальные коэффициенты могут быть также определены для произвольных действительных показателей . В случае произвольного действительного числа биномиальные коэффициенты определяются как коэффициенты разложения выражения $(1+x)^{n}$ в бесконечный степенной ряд:

${displaystyle (1+x)^{n}=sum _{k=0}^{infty }{binom {n}{k}}x^{k}}$

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

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

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

Явные формулы[править | править код]

Вычисляя коэффициенты в разложении $(1+x)^{n}$ в степенной ряд, можно получить явные формулы для биномиальных коэффициентов .

Для всех действительных чисел и целых чисел :

${displaystyle {binom {n}{k}}={begin{cases}{frac {n(n-1)(n-2)cdot ldots cdot (n-k+1)}{k!}},&kgeqslant 0\0,&k<0end{cases}}}$

где обозначает факториал числа .

Для неотрицательных целых и также справедливы формулы:

${displaystyle {binom {n}{k}}={begin{cases}{frac {n!}{k!(n-k)!}},&0leqslant kleqslant n\0,&k>nend{cases}}}$

Для целых отрицательных показателей коэффициенты разложения бинома ${displaystyle (1+x)^{-n}}$ равны:

${displaystyle {binom {-n}{k}}={begin{cases}(-1)^{k}cdot {frac {(n+k-1)!}{k!(n-1)!}},&kgeqslant 0\0,&k<0end{cases}}}$

Треугольник Паскаля[править | править код]

Визуализация биномиального коэффициента до 4 степени

Тождество:

{n choose k}={n-1 choose k-1}+{n-1 choose k}

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

${begin{matrix}n=0:&&&&&1&&&&\n=1:&&&&1&&1&&&\n=2:&&&1&&2&&1&&\n=3:&&1&&3&&3&&1&\n=4:&1&&4&&6&&4&&1\vdots &&vdots &&vdots &&vdots &&vdots &end{matrix}}$

Треугольная таблица, предложенная Паскалем в «Трактате об арифметическом треугольнике» (1654), отличается от той, что выписана здесь, поворотом на 45°. Таблицы для изображения биномиальных коэффициентов были известны и ранее (Тарталье, Омару Хайяму).

Если в каждой строке треугольника Паскаля все числа разделить на $2^{n}$ (это сумма всех чисел в строке), то все строки при стремлении к бесконечности примут вид функции нормального распределения.

Свойства[править | править код]

Производящие функции[править | править код]

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

${displaystyle sum _{k=0}^{infty }{binom {n}{k}}x^{k}=(1+x)^{n}}$

Для фиксированного значения производящая функция последовательности коэффициентов равна:

${displaystyle sum _{n}{binom {n}{k}}y^{n}={frac {y^{k}}{(1-y)^{k+1}}}}$

Двумерной производящей функцией биномиальных коэффициентов для целых n,k является:

${displaystyle sum _{n,k}{binom {n}{k}}x^{k}y^{n}={frac {1}{1-y-xy}}}$

, или ${displaystyle sum _{n=0}^{infty }sum _{k=0}^{n}{binom {n}{k}}x^{k}y^{n}={frac {1}{1-y-xy}}}$

Делимость[править | править код]

Из теоремы Люка следует, что:

Основные тождества[править | править код]

.
${displaystyle {binom {n}{k}}=(-1)^{k}{binom {-n+k-1}{k}}}$ .
(правило симметрии).
${displaystyle {n choose k}={frac {n}{k}}{n-1 choose k-1}}$ (вынесение за скобки).
(замена индексов).
.

Бином Ньютона и следствия[править | править код]

а более общем виде

${displaystyle sum _{k=-a}^{a}(-1)^{k}{a+b choose a+k}{b+c choose b+k}{c+a choose c+k}={frac {(a+b+c)!}{a!,b!,c!}}}$

Свёртка Вандермонда и следствия[править | править код]

Свёртка Вандермонда:

${displaystyle sum _{k}{r choose m+k}{s choose n-k}={r+s choose m+n}}$

где а . Это тождество получается вычислением коэффициента при ${displaystyle x^{m+n}}$ в разложении ${displaystyle (1+x)^{r}(1+x)^{s}}$ с учётом тождества ${displaystyle (1+x)^{r+s}=(1+x)^{r}(1+x)^{s}}$ . Сумма берётся по всем целым , для которых . Для произвольных действительных , число ненулевых слагаемых в сумме будет конечно.

Следствие свёртки Вандермонда:

${n choose 0}{a choose a}-{n choose 1}{a+1 choose a}+ldots +(-1)^{n}{n choose n}{a+n choose a}=(-1)^{n}{a choose n}$

Более общее тождество:

$sum _{{i=0}}^{{p}}(-1)^{i}{p choose i}prod _{{m=1}}^{{n}}{i+s_{m} choose s_{m}}=0$

, если $sum _{{m=1}}^{n}{s_{m}}<p$

Ещё одним следствием свёртки является следующее тождество:
${displaystyle {n choose 0}^{2}+{n choose 1}^{2}+ldots +{n choose n}^{2}={2n choose n}}$ .

Другие тождества[править | править код]

${displaystyle {binom {n}{t}}+{binom {n}{t+s}}+{binom {n}{t+2s}}+ldots ={frac {1}{s}}sum _{j=0}^{s-1}left(2cos {frac {pi j}{s}}right)^{n}cos {frac {pi (n-2t)j}{s}}}$

Также имеют место равенства:

${displaystyle {begin{alignedat}{2}{binom {n}{3}}&={frac {n(n-1)(n-2)}{color {Green}2}}-sum _{i=2}^{n-1}{(n-i)(n-i+1)}=\&=n(n-1)(n-2)-sum _{i=2}^{n-1}{(n-i)({color {Green}2}n-i+1)}=\&=3{binom {n}{3}}-2{binom {n}{3}};\end{alignedat}}}$

${displaystyle {begin{alignedat}{2}{binom {n}{4}}&={frac {n(n-1)(n-2)(n-3)}{color {Green}2}}-sum _{i=3}^{n-1}{(n-i)left(n(n-1)-sum _{i_{0}=1}^{i-2}i_{0}right)}=\&=n(n-1)(n-2)(n-3)-sum _{i=3}^{n-1}{(n-i)left({color {Green}2}n(n-1)-sum _{i_{0}=1}^{i-2}i_{0}right)}=\&=24{binom {n}{4}}-23{binom {n}{4}};\end{alignedat}}}$

${displaystyle {begin{alignedat}{2}{binom {n}{5}}&={frac {n(n-1)(n-2)(n-3)(n-4)}{color {Green}2}}-\&-sum _{i=4}^{n-1}{(n-i)left(n(n-1)(n-2)-sum _{i_{0}=1}^{i-3}sum _{i_{1}=1}^{i_{0}}i_{1}right)}=\&=n(n-1)(n-2)(n-3)(n-4)-\&-sum _{i=4}^{n-1}{(n-i)left({color {Green}2}n(n-1)(n-2)-sum _{i_{0}=1}^{i-3}sum _{i_{1}=1}^{i_{0}}i_{1}right)}=\&=120{binom {n}{5}}-119{binom {n}{5}}.end{alignedat}}}$

Откуда следует:

${displaystyle {binom {n}{3}}={frac {sum limits _{i=2}^{n-1}{(n-i)(2n-i+1)}}{2}}={frac {sum limits _{i=2}^{n-1}{(n-i)left(2A_{n}^{1}-{binom {i-1}{1}}right)}}{2}};}$

${displaystyle {binom {n}{4}}={frac {sum limits _{i=3}^{n-1}{(n-i)left(2n(n-1)-sum limits _{i_{0}=1}^{i-2}i_{0}right)}}{23}}={frac {sum limits _{i=3}^{n-1}{(n-i)left(2A_{n}^{2}-{binom {i-1}{2}}right)}}{23}};}$

${displaystyle {begin{alignedat}{2}&{binom {n}{5}}={frac {sum limits _{i=4}^{n-1}{(n-i)left(2n(n-1)(n-2)-sum limits _{i_{0}=1}^{i-3}sum limits _{i_{1}=1}^{i_{0}}i_{1}right)}}{119}}=\&={frac {sum limits _{i=4}^{n-1}{(n-i)left(2A_{n}^{3}-{binom {i-1}{3}}right)}}{119}};\end{alignedat}}}$

${displaystyle {binom {n}{k}}={frac {sum limits _{i=k-1}^{n-1}{(n-i)left(2A_{n}^{k-2}-{binom {i-1}{k-2}}right)}}{k!-1}}}$

где $A_{n}^{k}$ — количество размещений из по .

Матричные соотношения[править | править код]

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

В матрице числа на диагонали повторяют числа строк треугольника Паскаля (). Её можно разложить в произведение двух строго диагональных матриц: нижнетреугольной и получаемой из неё транспонированием:

${displaystyle {begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}=UU^{T}}$

где . Обратная матрица к имеет вид:

${displaystyle U^{-1}={begin{bmatrix}(-1)^{i+j}{binom {i}{j}}end{bmatrix}}}$

Таким образом, можно разложить обратную матрицу к в произведение двух строго диагональных матриц: первая матрица — верхнетреугольная, а вторая получается из первой путём транспонирования, что позволяет дать явное выражение для обратных элементов:

${begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}_{{m,n}}^{{-1}}=sum _{{k=0}}^{{p}}(-1)^{{m+n}}{binom {k}{m}}{binom {k}{n}}$

, где

Элементы обратной матрицы меняются при изменении её размера и, в отличие от матрицы , недостаточно приписать новую строку и столбец. Столбец матрицы есть многочлен степени по аргументу , следовательно, первые p столбцов образуют полный базис в пространстве векторов длины +1, чьи координаты могут быть интерполированы многочленом равной или меньшей степени p-1 . Нижняя строка матрицы ${begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}_{{m,n}}^{{-1}}$ ортогональна любому такому вектору.

${begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}_{{p,n}}^{{-1}}=sum _{{k=0}}^{{p}}(-1)^{{p+n}}{binom {k}{p}}{binom {k}{n}}=(-1)^{{p+n}}{binom {p}{n}}$

$sum _{{n=0}}^{{p}}(-1)^{{p+n}}{binom {p}{n}}{P}_{{a}}(n)=0$

при

, где ${P}_{{a}}(n)$

многочлен степени

Если произвольный вектор длины p+1 можно интерполировать многочленом степени i<p , то скалярное произведение со строками (нумерация с 0) матрицы ${begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}_{{m,n}}^{{-1}}$ равно нулю.
Используя тождество выше и равенство единицы скалярного произведения нижней строки матрицы ${begin{bmatrix}{binom {i+j}{i}}end{bmatrix}}_{{m,n}}^{{-1}}$ на последний столбец матрицы , получаем:

${displaystyle sum _{n=0}^{p}(-1)^{p+n}{binom {p}{n}}{n}^{p}=p!}$

Для показателя большего можно задать рекуррентную формулу:

${displaystyle sum _{n=0}^{p}(-1)^{p+n}{binom {p}{n}}{n}^{p+a}=p!{P}_{2a}(p)={f}_{a}(p)}$

где многочлен

${displaystyle {P}_{2a+2}(p)=sum _{x=1}^{p}x{P}_{2a}(x);quad ageqslant 0;quad {P}_{0}(p)=1}$

Для доказательства сперва устанавливается тождество:

${displaystyle {f}_{a}(p+1)=sum _{x=0}^{a}{(p+1)}^{x+1}{f}_{a-x}(p)}$

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

${displaystyle {P}_{2a}(p)={frac {p}{{2}^{a}}}{binom {p+a}{a}}{Q}_{a-1}(p);quad a>0}$

Старший коэффициент ${Q}_{{a-1}}(p)$ равен 1, потребуется a-1 значений, чтобы найти другие коэффициенты:

${Q}_{{a-1}}(p)=p(p+1){T}_{{a-3}}(p)$

для

{displaystyle aequiv 1{pmod {2}};ageqslant 3}

Асимптотика и оценки[править | править код]

Непосредственно из формулы Стирлинга следует, что для верно $C_{n}^{{alpha n}}sim {sqrt {{frac {1}{2pi alpha (1-alpha )n}}}}left({{frac {1}{alpha }}}right)^{{alpha n}}left({{frac {1}{1-alpha }}}right)^{{(1-alpha )n}}=left({{frac {1}{alpha ^{alpha }{(1-alpha )}^{{(1-alpha )}}}}+o(1)}right)^{{n}}$ .

Целозначные полиномы[править | править код]

Биномиальные коэффициенты ${displaystyle {tbinom {x}{0}}=1,{tbinom {x}{1}}=x,{tbinom {x}{2}}={tfrac {x^{2}}{2}}-{tfrac {x}{2}}}$ , … являются целозначными полиномами от , то есть принимают целые значения при целых значениях , — это нетрудно понять, например, по треугольнику Паскаля. Более того, они образуют базис целозначных полиномов, в котором все целозначные полиномы выражаются как линейные комбинации с целыми коэффициентами.^[1]

В то же время стандартный базис ${displaystyle 1,x,x^{2}}$ , … не позволяет выразить все целочисленные полиномы, если использовать только целые коэффициенты, так как уже ${displaystyle {tbinom {x}{2}}={tfrac {x^{2}}{2}}-{tfrac {x}{2}}}$ имеет дробные коэффициенты при степенях .

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

${displaystyle R(x_{1},dots ,x_{m})=Pleft({binom {x_{1}}{1}},dots ,{binom {x_{1}}{k}},dots ,{binom {x_{m}}{1}},dots ,{binom {x_{m}}{k}}right)}$

где — полином с целыми коэффициентами.^[2]

Алгоритмы вычисления[править | править код]

Биномиальные коэффициенты можно вычислить с помощью рекуррентной формулы , если на каждом шаге хранить значения при . Этот алгоритм особенно эффективен, если нужно получить все значения при фиксированном . Алгоритм требует O(n) памяти ( $O(n^{2})$ при вычислении всей таблицы биномиальных коэффициентов) и $O(n^{2})$ времени (в предположении, что каждое число занимает единицу памяти и операции с числами выполняются за единицу времени), где — «» большое.

При фиксированном значении биномиальные коэффициенты могут быть вычислены по рекуррентной формуле ${displaystyle {tbinom {n}{k}}={tfrac {n}{n-k}}cdot {tbinom {n-1}{k}}}$ с начальным значением . Для вычисления значения этот метод требует O(1) памяти и O(n) времени.

Если требуется вычислить коэффициенты при фиксированном значении , можно воспользоваться формулой ${displaystyle {tbinom {n}{k}}={tfrac {n-k+1}{k}}cdot {tbinom {n}{k-1}}}$ при начальном условии . При каждом шаге итерации числитель уменьшается на (начальное значение равно ), а знаменатель соответственно увеличивается на (начальное значение — ). Для вычисления значения этот метод требует O(1) памяти и O(k) времени.

Примечания[править | править код]

↑ Прасолов В. В. Глава 12. Целозначные многочлены // Многочлены. — М.: МЦНМО, 1999, 2001, 2003. Архивная копия от 21 января 2022 на Wayback Machine
↑ Ю. Матиясевич. Десятая проблема Гильберта. — Наука, 1993.

Литература[править | править код]

Биномиальные коэффициенты // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
Фукс Д., Фукс М. Арифметика биномиальных коэффициентов // Квант. — 1970. — № 6. — С. 17—25.
Кузьмин О. В. Треугольник и пирамида Паскаля: свойства и обобщения // Соросовский Образовательный Журнал. — 2000. — Т. 6, № 5. — С. 101—109.
Ландо С. К. Теневое исчисление // VIII летняя школа «Современная математика». — Дубна, 2008.
Винберг Э. Б. Удивительные арифметические свойства биномиальных коэффициентов // Математическое просвещение. — 2008. — Вып. 12. — С. 33–42.
Дональд Кнут, Роналд Грэхем, Орен Паташник. Конкретная математика. Математические основы информатики = Concrete Mathematics. A Foundation for Computer Science. — 2-е. — М.: Мир; Бином. Лаборатория знаний; «Вильямс», 1998—2009. — 703, 784 с. — ISBN 95-94774-560-7, 78-5-8459-1588-7.

Источник

11. 1. Рекуррентные соотношения

Последовательность u0, u1, u2,… называют рекуррентной, если указана зависимость общего члена последовательности от предыдущих и заданы значения необходимого числа начальных членов. Саму зависимость иногда называют рекуррентностью.

Примерами рекуррентных последовательностей могут служить арифметические и геометрические прогрессии.

Члены геометрической прогрессии u0, u1, u2,… со знаменателем q связаны рекуррентным соотношением

un+1 = qun.

Члены	произвольной	арифметической	прогрессии
u0, u1, u2,… связаны рекуррентным соотношением
	un+2 = 2un+1 – un.
Последовательность	факториалов	1, 1, 2, 6, …, n!,…

определяется рекуррентным соотношением un+1 = (n + 1)un

(при u0 = 1).

Как рекуррентость может трактоваться формула

Ck+ = Ck −1 +Ck ,

n 1 n n

связывающая биномиальные коэффициенты.

В качестве еще одного примера рассмотрим задачу о разбиении плоскости прямыми.

Пусть Dn – число областей, на которые разбивают плоскость n прямых общего положения (таких, что никакие три из них не пересекаются в общей точке и никакие две прямые не параллельны). Ясно, что D0 = 1, D2 = 2. Предположим, что на плоскости уже проведено n прямых, и посмотрим, сколько новых областей добавляется при проведении «новой» n + 1-й прямой (рис. 1).

n +1

Рис. 1 Каждую область, по которой проходит эта прямая, она

рассекает на две, поскольку все области выпуклы. Таким образом, общее число областей увеличится на число областей, через которые проходит n + 1-я прямая. Двигаясь по n + 1-й прямой в одном направлении, мы пересечем границы областей n раз по числу «старых» прямых. Значит, n + 1-я прямая пройдет через n + 1 область (в последовательности область – граница – … – область – граница – область число областей на единицу больше, чем число границ).

В результате получаем рекуррентное соотношение

Dn+1 = Dn + (n + 1).

Чтобы найти замкнутое выражение для членов последовательности Dn, просуммируем следующие равенства:

D1 = D0 + 1;

D2 = D1 + 2;

………………

Dn = Dn–1 + n .

После сокращений получаем

Dn = D0 + 1 + 2 +…+n .

Следовательно,

Dn = 1 + n(n +1) . 2

11. 2. Линейные рекуррентные соотношения

Рекуррентная последовательность u0, u1, u2,… называется линейной, если ее члены связаны соотношением вида

un+r = a1un+r–1 + a2un+r–2 +…+ arun , (1)

где ai, i = 1, 2,…, r, – постоянные, не зависящие от n. Соотношение (1) называется линейным рекуррентным уравнением порядка r.

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

un+1 = qun.

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

un+2 = 2un+1 – un.

Члены последовательности факториалов связаны нелинейным соотношением:

un+1 = (n + 1)un.

Еще один важный пример – рекуррентность, заданная линейным уравнением второго порядка

un+2 = un+1 + un.

Этому уравнению удовлетворяет последовательность чисел Фибоначчи F0, F1, F2, F3, которая получается, если положить F0 =0 и F1 =1:

0, 1, 1, 2, 3, 5, 8, 13, 21, …

Числа Фибоначчи имеют много важных приложений, в том числе в финансовом анализе. Изучению чисел Фибоначчи

посвящена следующая глава.
Последовательность	сумм.	Пусть	u0, u1, u2,… –
рекуррентная	последовательность,	удовлетворяющая
соотношению (1). Покажем, что последовательность сумм
s0 = u0,	s1 = u0 + u1,	…, sn = u0 + u1 +…+ un, …

также удовлетворяет некоторому линейному рекуррентному соотношению. Заметим сначала, что

un+1 = sn+1 – sn , n = 0, 1, … .

С учетом этого рекуррентное соотношение, связывающее члены последовательности u0, u1, u2,…, перепишется следующим образом:

sn+r+1 – sn+r =

= a1(sn+r – sn+r–1) + a2(sn+r–1 – sn+r–2) + …+ ar(sn+1 – sn).

Отсюда

sn+r+1 =
= (1 + a1)sn+r +(a2 – a1)sn+r–1+…+( ar –ar–1)sn+1 – arsn	(2)

Таким образом, последовательные суммы связаны рекуррентным соотношением порядка r + 1.

Примеры. 1. Для сумм членов геометрической прогрессии имеем:

sn+2 – sn+1 = q(sn+1 – sn),

откуда

sn+2 = (1 + q)sn+1 – qsn.

2. Для сумм членов арифметической прогрессии имеем: sn+3 – sn+2 = 2(sn+2 – sn+1) – (sn+1 – sn),

и, значит,

sn+3 = 3sn+2 – 3sn+1 + sn.

Последовательность степеней натуральных чисел. Начнем с последовательности квадратов:

u0 = 0, u1 = 1, u2 = 4,…, un = n2, … .

Члены этой последовательности удовлетворяют следующим соотношениям:

un+1 = un + 2n + 1; un+2 = un+1 + 2n + 3; un+3 = un+2 + 2n + 5.

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

un+2 – un+1 = un+1 – un + 2;

un+3 – un+2 = un+2 – un+1 + 2.

Теперь, вычитая первое из полученных уравнений из второго, получаем рекуррентное соотношение

un+3 = 3un+2 – 3un+1 + un .

Подобно тому как это сделано для последовательности квадратов, несложно поверить, что последовательность кубов

u0 = 0, u1 = 1, u2 = 8,…, un = n3, …

удовлетворяет соотношению

un+4 = 4un+3 – 6un+2 + 4un+1 – un.

В общем случае последовательность

u0 = 0, u1 = 1, u2 = 2r,…, un = nr, …

удовлетворяет соотношению порядка r + 1:

r +1

un+r+1 = ∑(−1)k −1Crk+1un+r +1−k . (3)

k =1

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

Например, последовательность квадратов натуральных чисел удовлетворяет соотношению

un+3 = 3un+2 – 3un+1 + un .

Следовательно, последовательность сумм квадратов удовлетворяет соотношению

sn+4 = 4sn+3 – 6sn+2 + 4sn+1 – sn.

11.3. Производящие функции линейных рекуррентных последовательностей

Наша ближайшая цель – определить, какой вид имеет производящая функция произвольной линейной рекуррентной последовательности.

Рассмотрим в качестве примера производящую функцию

последовательности чисел Фибоначчи:
	F(z) = F0 + F1z + F2z2 + … .	(4)
Умножим F(z) на z и на z2:
zF(z)	= F0z + F1z2 + F2z3 + … ;
z2F(z)	=		F0z2 + F1z3 + F2z2 + … .
Так как F2 = F1 + F0; F3 = F2 + F1;… , то
zF(z) + z2F(z) = F0z + F2z2 + F3z3 + … .
Учитывая, что F0 = 0 и F1 =1, получаем:
	z + zF(z) + z2F(z) = F(z).
Отсюда получается компактная формула:
	F(z) =		z
			.	(5)
	1 − z − z2
Используя (5),	можно найти явные выражения для чисел

Фибоначчи. Начнем с того, что представим дробь из (5) в виде

		z		=	A	+	B	.	(6)
	1 − z − z2	1−бz	1 −вz

Тогда
		A		= A∑(бz)n ;	B	= B ∑(вz)n ,
1 −бz	1 −вz
	n≥0		n≥0

и, значит,

1 − zz− z2 = An∑≥0(бz)n + Bn∑≥0(вz)n = n∑≥0( Aбn + Bвn )zn .

Таким образом,

Fn = Aαn + Bβn.

Чтобы найти неизвестные коэффициенты A, B, α и β, приведем дроби из (6) к общему знаменателю и приравняем коэффициенты при одинаковых степенях z. Получаются следующие уравнения:

α + β = 1;	αβ = –1;	A + B = 0;		Aβ +Bα = –1.
Решая полученную систему, находим:
б =1+ 5 ; в =	1− 5 ; A =	1	; B = −	1 .
2			2		5			5
Окончательно получаем:
Fn =	1			n	−	n	(7)
1+	5	− 1	5	.
	5		2		2

Пусть теперь
			u0, u1, u2,… –		(8)
произвольная	рекуррентная		последовательность,
удовлетворяющая соотношению
un+r = a1un+r–1 + a2un+r–2 +…+ arun ,	(9)
и
f(z) = u0 + u1z + u2z2 +… –

ее производящая функция. Рассмотрим произведение f(z) на многочлен

h(z) = 1 – a1z – a2z2 –…– arzr .

Коэффициент при zn+r равен

un+r – a1un+r–1 – a2un+r–2 –…– arun ,

и, значит, обращается в ноль в силу (9). Таким образом, в произведении h(z)f(z) все коэффициенты при степенях z, больших или равных r, обращаются в ноль, т. е. g(z) = h(z)f(z) –

это многочлен степени не выше чем r – 1. Производящая функция последовательности (8) оказывается равной дробно-

рациональной функции f (z) = gh((zz)) .

Примеры. 1. Для геометрической прогрессии со

знаменателем q имеем
f(z) = u0 + u0qz + u0qz2 +…;	h(z) = 1 – qz; h(z)f(z) = u0 ,

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

f(z) =1 −u0qz .

2.Пусть теперь u0, u1, u2,… – арифметическая прогрессия.

Так как un+2 = 2un+1 – un , то

h(z) = 1 – 2z + z2

h(z)f(z) = u0 + (u1 – 2u0)z2.

Следовательно,

				70
	f (z) =	u0 +(u1 −2u0 )z	.	(10)

			(1− z)2
Рассмотрим,	в		частности,		последовательность
положительных	целых		чисел	1, 2, 3, … .	Запишем ее
производящую функцию:
	f(z) = 1 + 2z + 3z2 + … .	(11)
По формуле (10) получаем:
		f (z) =			1	.	(12)
		(1	− z)2

К тому же результату можно придти по-другому. Ряд (11) получается как производная ряда

z + z2 + z3+ … ,

сумма которого (как сумма геометрической прогрессии) равна

1 − z

Дифференцируя (13), получаем (12).

Наряду с многочленом h(z) рассмотрим многочлен k(z) = zr – a1zr–1 – a2zr–2 –…– ar,

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

Многочлены h(z) и k(z) связаны простым соотношением: h(z) = zrk(1/z).

Пусть α1, α2, …, αs – корни характеристического многочлена (возможно, комплексные) с кратностями p1, p2, …, ps. Тогда

k(z) = (z −б1) p1 (z −б2 ) p2 K(z −бs ) ps ,

и, соответственно,
h(z) = (1 −б z) p1 (1 −б	2	z) p2 K(1 −б	s	z) ps .
	1
Рациональная функция	f (z) =	g(z)		может быть представлена в
h(z)

виде суммы простых дробей вида
		в			,	(14)
		(1 −бz) p

где α = αi – один из корней характеристического многочлена, p

лежит в	промежутке от	1 до pi, а β – некоторое число.
Разлагая (14) по формуле бинома, получаем:
		в			− p
			=	∑в	(−1)n бn zn .
		(1 −бz) p
			n≥0	n
Относительно n выражение
	− p			(−1)n = Cn	= C p −1
	(−1)n = (−1)n Cn
			p +n−1	p +n−1	p +n−1
	n

является многочленом степени не выше p – 1 и, тем более, не выше pi – 1. Следовательно, сумма всех дробей вида (14),

относящихся к одному и тому же корню α = αi, может быть

представлена в виде ∑Pi (n)бin zn , причем степень многочлена

n≥0

Pi(n) не превышает pi – 1. Суммируя по всем i = 1, 2, …, s, получаем:

f (z) = n∑≥0 i∑=s1 Pi (n)αin zn .

Сравнивая полученное выражение с

f(z) = u0 + u1z + u2z2 +… ,

приходим к заключению, что

i=1

Пример. Рассмотрим последовательность 6, 0, 12, … , удовлетворяющую рекуррентному соотношению

un+3 = 3un+1 + 2un.

Многочлен

k(z) = z3 –3z – 2

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

k(z) = (z + 1)2(z – 2).

Следовательно, члены рассматриваемой последовательности имеют вид

un = P(n) (–1)n + Q 2n ,

где P(n) – многочлен степени не выше первой, а Q – степени не выше нулевой (т. е. ноль или некоторое число).

Будем искать un	в виде
un = (An + B) (–1)n + Q 2n .
Поскольку u0 = 6,	u1 = 0, u2 = 12,	получаем следующие
уравнения относительно A, B и Q:
B + Q = 6; –(A + B) + 2Q = 0;	2A + B + 4Q = 12.
Решая систему, находим:

A = 0; B = 4; Q = 2.

Следовательно,

un = (–1)n 4 + 2n+1.

Пример. Используя (15), найдем формулу для суммы квадратов первых n натуральных чисел.

Суммы квадратов связаны рекуррентным соотношением

sn+4 = 4sn+3 – 6sn+2 + 4sn+1 – sn.

Характеристический многочлен последовательности сумм квадратов

k(z) = z4 – 4z3 + 6z2 – 4z +1 = (z – 1)4

имеет единственный корень 1 кратности четыре. Следовательно, sn представимо в виде

sn = An3 + Bn2 + Cn +D.

Так как

s0 = 0, s1 = 1, s2 = 5, s3 = 14,

то

D = 0;	A + B + C = 1;
8A + 4B + 2C = 5;	27A + 9B + 3C = 14.

Вычисляем определитель системы уравнений, содержащих неизвестные A, B, C, и определители, соответствующие

переменным:
	1	1	1	1	1	1
	8	4	2	5	4	2	= −4 ;
∆ =		= −12 ; ∆A =
	27	9	3		9	3
		14

Источник

Последовательности чисел

Какие бывают последовательности

Арифметическая прогрессия

Геометрическая прогрессия

Способы задания последовательностей

Предел последовательности

Что нужно помнить, вычисляя пределы последовательностей

Предел последовательности

Пример №503

Пример №504

Пример №505

Пример №506

Пример №507

Пример №508

Предел числовой последовательности

Общее понятие функции. Числовые последовательности

Определение и простейшие свойства предела последовательности

Монотонные последовательности. Теорема Вейерштрасса

Теорема Кантора о вложенных отрезках

Бесконечно большие последовательности

Односторонние пределы

Частичные пределы. Теорема Больцано-Вейерштрасса

Критерий Коши сходимости последовательности

Пределы числовых последовательностей

Числовая последовательность и ее предел

Бесконечно большие и бесконечно малые последовательности

Сходящиеся последовательности

Предел последовательности и функция

Последовательность – коэффициент

Явные формулы[править | править код]

Треугольник Паскаля[править | править код]

Свойства[править | править код]

Производящие функции[править | править код]

Делимость[править | править код]

Основные тождества[править | править код]

Бином Ньютона и следствия[править | править код]

Свёртка Вандермонда и следствия[править | править код]

Другие тождества[править | править код]

Матричные соотношения[править | править код]

Асимптотика и оценки[править | править код]

Целозначные полиномы[править | править код]

Алгоритмы вычисления[править | править код]

Примечания[править | править код]

Литература[править | править код]

11. 1. Рекуррентные соотношения

11. 2. Линейные рекуррентные соотношения

Вам также может понравиться

Как составить акт осмотра квартиры после затопления

Как найти брата на украине

Как исправить ошибку в начислении заработной платы в прошлом году

Добавить комментарий Отменить ответ