Главная > Что такое математика?
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 2. Бесконечность системы натуральных чисел. Математическая индукция

1. Принцип математической индукции.

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

Последовательный, шаг за шагом, переход от порождающий бесконечную последовательность натуральных чисел, вместе с тем лежит в основе одного из важнейших и типичных для математики рассуждений, именно принципа математической индукции. «Эмпирическая индукция», применяемая в естественных науках, исходит из частного ряда наблюдений некоторого явления и приходит к констатации общего закона, которому подчиняется явление в его различных формах. Степень уверенности, с которой закон, таким образом, устанавливается, зависит от числа отдельных наблюдений и выводимых из них заключений. Часто подобного рода индуктивные рассуждения бывают вполне убедительными; утверждение, что солнце взойдет завтра с востока, столь несомненно, сколько это вообще возможно; и все же характер констатации в данном случае совсем иной, чем в случае теоремы, доказываемой на основе строгого логического, т. е. математического рассуждения.

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

третьего и так далее — без всякого исключения). Обозначим через А некоторое утверждение, относящееся к произвольному натуральному числу Пусть А будет хотя бы такое утверждение: «Сумма углов в выпуклом многоугольнике с сторонами равна Или еще: обозначим через А утверждение: «проводя прямых на плоскости, нельзя разбить ее больше чем на частей». Чтобы доказать подобного рода теорему для произвольного значения недостаточно доказать ее отдельно для первых 10, или 100, или даже 1000 значений Это как раз соответствовало бы принципу эмпирической индукции. Вместо того нам приходится воспользоваться строго математическим и отнюдь не эмпирическим рассуждением; мы уясним себе его характер на частных примерах доказательства предложений, которые мы обозначили через Остановимся на предложении А. Если то речь идет о треугольнике, и мы знаем из элементарной геометрии, что сумма углов такового равна . В случае четырехугольника, при мы проводим диагональ, разделяющую четырехугольник на два треугольника, и тогда сейчас же становится ясно, что сумма углов четырехугольника равна сумме углов в двух треугольниках, именно равна Обращаясь к случаю пятиугольника мы разбиваем его таким же образом на четырехугольник и треугольник. Так как первый из названных многоугольников, по доказанному, имеет сумму углов а второй то всего в случае пятиугольника мы получаем сумму углов И теперь нам уже становится ясно, что рассуждение может быть продолжено совершенно таким же образом неограниченно. Мы докажем теорему для случая затем для случая Как и раньше, каждое следующее заключение неизбежно вытекает из предыдущего, и теорема А оказывается установленной при произвольном значении

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

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

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

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

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

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

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

некоторое число относящихся сюда простых и все же не совсем тривиальных примеров.

<< Предыдущий параграф Следующий параграф >>
Оглавление