3Индукция и последовательности

3.1Метод математической индукции

3.1.1Описание метода

Часто нам нужно доказать, что какое-то утверждение верно при всех натуральных . Иными словами, у нас есть предикат и мы хотим доказать утверждение . Иногда это можно сделать с помощью следующих двух шагов:
  1. Доказать . Это называется база индукции.
  2. Доказать утверждение , то есть доказать, что для всех натуральных выполняется утверждение «если верно, то тоже верно». Это называется индуктивный переход.
Заметим, что доказать утверждение проще, чем доказать утверждение : в первом случае при доказательстве мы можем пользоваться утверждением , как если бы оно было уже доказанным, поскольку по определению операции импликации (см. раздел 2.4 в предыдущей лекции), если так оказалось, что неверно, импликация верна автоматически и ничего доказывать не надо.

Почему индукция работает? Давайте рассмотрим бесконечную последовательность наших утверждений:

Утверждение доказано, поскольку это база индукции. Мы также доказали, что если верно, то тоже верно — это наш индуктивный переход, который доказан для всех натуральных , и значит для тоже. Таким образом, комбинируя доказанность и , приходим к выводу, что тоже верно. Посмотрим ещё раз на последовательность утвержений и подчеркнём доказанные:
Теперь можно в шаг индукции подставить . Имеем: . Но мы только что доказали, что верно. Значит, тоже верно.
И так далее. Двигаясь каждый раз на один шаг вправо, мы последовательно докажем , потом и т.д. Рано или поздно мы доберемся до любого натурального числа , и докажем . Раз так, то доказано для всех натуральных .

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

3.1.2Неравенство Бернулли

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

Утверждение 1. Для всякого натурального и всякого , верно неравенство:

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

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

В данном случае, . Обратите внимание: написать просто было бы некорректно — нужно что-то сказать про , иначе получается предикат, который зависит не только от , но и от .

Итак, теперь нам нужно доказать два шага индукции.

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

Индуктивный переход. Теперь мы хотим доказать, что при всех , если верно для , то оно также верно и для . Пусть — какое-то натуральное число, и пусть . Пусть также . Рассмотрим неравенство, которое мы хотим доказать:

Преобразуем левую часть:
У нас есть произведение двух чисел, и мы хотим доказать оценку снизу на него (то есть доказать, что оно больше какой-то величины). Первый сомножитель равен . Заметим, что мы доказываем импликацию . То есть в текущем доказательстве мы можем воспользоваться тем, что верно. (В этот момент говорят, что мы воспользовались предположением индукции.) При этом утверждает, что при всех верно неравенство
Умножая обе его части на , мы можем заключить, что для всех :
Теперь преобразуем правую часть (3.1):
Последнее неравенство следует из того факта, что при всех вещественных .

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

Индуктивный переход доказан, а с ним и всё утверждение.

Вопрос 1. Укажите в доказательстве место, где мы воспользовались неравенством , за которым на протяжении всего рассуждения так бережно следили. Если сразу это сделать не получается, можно воспользоваться таким приёмом: возьмите какое-нибудь , для которого неравенство неверно, и проследите, шаг за шагом, на каком месте доказательство «ломается», какой из переходов оказывается неверным.

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

3.2.1Примеры и определения

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

Пример 1.
  • Последовательность , состоящая из квадратов натуральных чисел. Обозначим её через , , . Обозначение с фигурными скобками используется, чтобы назвать всю бесконечную последовательность целиком, тогда как — это её член с номером .
  • Последовательность , состоящая из чередующихся чисел и . Пусть эта последовательнсоть . Тогда её можно задать как . (Если из контекста понятно, что — натуральное число, и равенство верно для всех , соответствующие кванторы и уточнения часто не пишут.)
  • Последовательность — последовательность чисел Фибоначчи. Обозначим её через . Тогда имеем:
    Это пример последовательности, заданной рекуррентно — каждый следующий член задаётся предыдущими. Общая формула, позволяющая найти , зная без вычисления всех предыдущих членов, тоже существует (она называется формулой Бине), хотя из способа задания последовательности она совершенно не выглядит очевидной.
  • Можно рассмотреть такую рекуррентную последовательность: , , . Несмотря на то, что она задаётся простым рекуррентным законом, написать общую формулу для её -го элемента скорее всего невозможно. (Можете запрограммировать эту последовательность и попробовать уловить в ней какую-нибудь закономерность. Только не увлекайтесь этим слишком сильно!)
  • Последовательность . Её можно задать как , .

Итак, последовательность — это бесконечный ряд чисел (мы рассматриваем именно числовые последовательности). Формальное определение использует понятие отображения (см. раздел 1.3 лекции 1):

Определение 1. Числовая последовательность — это отобржаение из множества натуральных чисел в множество вещественных чисел .

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

3.2.2Монотонность

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

Определение 2. Последовательность называется (строго) возрастающей, если для всех натуральных , (каждый следующий член строго больше предыдущего). Слово «строго» часто опускают, обычно когда говорят, что последовательность возрастает, подразумевается, что она возрастает строго.

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

Определение 4. Последовательность называется (строго) убывающей, если для всех натуральных , .

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

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

3.2.3Ограниченность

Определение 6. Последовательность называется ограниченной сверху, если найдётся такое число , что для всех , . В кванторах это звучит так:

В этом определении мы использовали строгое неравенство. Что будет, если использовать нестрогое неравенство? Следует ли нам ввести понятие «нестрой ограниченности сверху», по аналогии с нестрогим возрастанием? Давайте рассмотрим такое альтернативное определение:

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

Посмотрим внимательно на определения 6 и 7. Задают ли оно одно и то же понятие, или разные? Иными словами, существует ли последовательность, которая удовлетворяет условию одного из этих определений, и не удовлетворяет другому?

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

Важный момент состоит в следующем. В каждом из определений фигурирует константа , которая выбирается по последовательности. Каждое из определений говорит, что такая константа существует. В обоих определениях для её обозначения используется одна и та же буква. Однако, как мы обсуждали, если какая-то переменная «связывается» квантором, она как бы не существует за пределами соответствующей формулы. Поэтому константы в этих двух определениях не имеют никакого отношения друг к другу. Иными словами, их можно выбирать по-разному. Этот факт позволяет доказать, что эти два определения на самом деле эквивалентны.

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

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

Доказательство. Докажем, что если верно, то тоже верно. Утверждение гарантирует, что существует такое , что для всех натуральных , . Чтобы доказать , нужно предъявить такое , что для всех натуральных , . Возьмём в качестве число , существование которого гарантируется утверждением :
(Вообще говоря, таких подходящих чисел может быть много, возьмём любое из них.)

Из определения , мы знаем, что для любого натурального , . Но тогда для любого натурального , . (Условие влечёт — если верно строгое неравенство, нестрогое гарантированно верно.) Таким образом, .

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

Тогда . (Конечно, вместо единицы можно было взять любое положительное число.)

Из утверждения имеем: для всякого натурального ,

Из этого следует, что (самое большое значение, которое может применять, это , но строго меньше , значит, строго меньше ). Условие утверждения выполняется.

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

Раз влечёт и влечёт , эти утверждения эквивалентны: всегда оба верны или оба неверны.

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

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

Теперь можно дать ещё два определения.

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

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

Упражнение 1. Докажите, что последовательность является ограниченной тогда и только тогда, когда она ограничена сверху и ограничена снизу.

3.3Счётные и несчётные множества

3.3.1Счётность множества рациональных чисел

Существует ли последовательность, в которой записаны все рациональные числа? Иными словами, существует ли сюръективное отображение из в ? Можно ли каждому рациональному числу присвоить по номеру, так, чтобы разные числа получили разные номера?

С одной стороны, рациональных чисел очень много. Из семинаров мы знаем, что между любыми двумя числами есть бесконечно много рациональных. Если взять какое-нибудь рациональное число, невозможно найти «ближайшее большее рациональное» число (как это можно сделать с натуральными и целыми числами).

Тем не менее, оказывается, что рациональных чисел «так же много», как натуральных. Иными словами, можно сопоставить каждому натуральному числу по рациональному, так, что все рациональные числа получат по номеру.

Это можно сделать по-разному. Мне нравится такой подход. Мы знаем, что рациональные числа задаются обыкновенными дробями , где целое число, а натуральное. Рассмотрим обыкновенную декартову плоскость, пусть горизонтальная ось — , а вертикальная — . Тогда каждой дроби будет соответствовать точка на плоскости, лежащая в верхней части плоскости, на «решетке», состоящей из точек с целочисленными координатами, см. рис. 3.1. Конечно, разные точки могут задавать одно и то же число — например, точка соответствует дроби , которая равна дроби , соответствующей точке . Но важно, что абсолютно все рациональные числа представлены на этой картинке.

Представление рациональных чисел в виде точек на декартовой
плоскости, см. описание в тексте.
Рис. 3.1: Рациональные числа в виде решетки.
Теперь укажем, в каком порядке мы будем помещать числа в нашу последовательность. См. рис. 3.2.
Обход множества рациональных чисел, описание процедуры обхода см. в
тексте
Рис. 3.2: «Змейка», обходящая все рациональные числа
Начнём с середины картинки — точка соответствует числу 0. Поместим её в последовательность. Затем сдвинемся вправо, получим точку (число 1). Добавим её. Затем вверх, в точку (число ). Теперь влево, ( уже был, но можно вписать ещё раз), снова влево, , потом вниз, , потом влево , потом вверх , снова вверх , потом вправо несколько шагов (пока не дойдём до ), потом вниз до , потом вправо на один шаг и т.д. Получится такая «змейка». Понятно, что двигаясь таким образом мы дойдём до любой из рассматриваемых точек, и значит переберем все рациональные числа.

Если вам кажется это рассуждение недостаточно строгим, можно предложить такое. Для всякого рационального числа определим его «псевдомодуль»: если число равно и это несократимая дробь, псевдомодулем будет . Псевдомодуль — натуральное число. Рассмотрим все рациональные числа с псевдомодулем 1 — это единственное число . Поместим его в нашу последовательность. Рассмотрим теперь рациональные числа с псевдомодулем (это ). Поместим его в нашу последовательность. Рациональных чисел с псевдомодулем уже больше: это , , и . Поместим их в нашу последовательность (в любом порядке). Будем продолжать этот процесс. Для каждого фиксированного , количество рациональных чисел с псевдомодулем конечно. Значит, их можно записать в нашу последовательность на очередном шаге. Поскольку у любого рационального числа есть натуральный псевдомодуль, рано или поздно мы дойдём до любого из них и запишем его в нашу последовательность.

Заметим, что если мы каким-то образом построили последовательность, в которой есть все рациональные числа, то из неё легко построить последовательность, в которой каждое рациональное число встречается ровно один раз. Для этого из исходной последовательности можно просто выкинуть все повторы. Получающаяся последовательность задаст не просто сюръекцию, а взаимно однозначное отображение на . Таким образом, и равномощны.

Определение 10. Если множество равномощно , говорят, что оно счётно.

Мы доказали, что множество рациональных чисел счётно.

А бывают ли несчётные множества? Сейчас узнаем.

3.3.2Несчётность континуума

Существует ли последовательность, в которой перечислены все вещественные числа? Давайте даже упростим задачу: пусть не все вещественные числа, а только принадлежащие полуинтервалу . Оказывается, такой последовательности нет.

Теорема 1. (Кантор) Не существует сюръективного отображения в .

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

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

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

Для определенности, можно выбрать конкретный алгоритм выбора цифр числа . Например, давайте скажем, что равно (то есть мы взяли 'ую цифру -го числа последовательности и уменьшили на 1), если только . Если эта цифра оказалась нулём, возьмём в качестве цифру 7. (Нам всё равно, какую цифру брать, лишь бы не и не 9.)

Например, если последовательность выглядит так (подчёркнуты цифры, участвующие в построении ): то число (см. рис. 3.3).

Построение числа $z$, см. описание в тексте
Рис. 3.3: Построение числа путём выбора диагональных цифр и их изменения. Все цифры, кроме 0, уменьшаются на 1, цифра 0 заменяется на 7.

Рассмотрим теперь . Это вещественное число из полуинтервала . Значит, оно находится в нашей последовательности на каком-то месте. На каком? Оно не может находиться на первом месте, потому что по крайней мере в первой цифре гарантированно не совпадает с (мы так выбрали его первую цифру). Оно не может находиться на втором месте, потому что по крайней мере во второй цифре гарантированно не совпадает с . И так далее. Отсюда видно, что оно не может находиться ни на каком месте нашей последовательности.

Формально, пусть это не так, и существует такое , что . Но по построению, , то есть -я цифра числа не совпадает с -й цифрой числа . Противоречие.

Таким образом, мы построили число из , которого нет в нашей последовательности. Значит, неверно, что последовательность содержит все числа из этого множества.

Замечание 3. Мы показали, что множество вещественных чисел на полуинтервале не равномощно , то есть не счётно. Его мощность больше мощности множества натуральных чисел: она называется мощностью континуум. Множество вещественных чисел также имеет мощность континуум, то есть существует взаимно однозначное отображение на .

Упражнение 2. Рассмотрим множество всевозможных пар чисел , где и . Докажите, что это множество также имеет мощность континуум, то есть существует взаимно однозначное отображение этого множества на .

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