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

7. Дальнейшие замечания по поводу метода математической индукции.

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

а) при всяком значении справедливость следует из справедливости и

б) известно, что справедливо,

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

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

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

С принципом математической индукции тесно связан «принцип наименьшего целого числа», утверждающий, что во всяком непустом множестве С натуральных чисел имеется наименьшее число. Множество С может быть конечным, как, например, множество 1, 2, 3, 4, 5, или бесконечным, как, например, множество всех четных чисел 2, 4, 6, 8, 10, .... Множество называется пустым, если оно не содержит ни одного элемента; примером пустого множества может служить множество всех кругов, одновременно являющихся прямыми линиями, или множество натуральных чисел удовлетворяющих соотношению По понятным причинам мы оговариваем в формулировке «принципа наименьшего целого числа», что пустые множества исключаются. Всякое непустое множество С целых чисел непременно содержит хоть одно число, например и тогда наименьшее из чисел принадлежащее множеству С, есть наименьшее целое число множества.

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

чисел; например, множество положительных дробных чисел не содержит наименьшего числа.

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

а) при любом справедливость вытекает из справедливости

б) известно, что справедливо.

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

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

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

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

а) Предположим, что верно. Пусть два таких целых положительных числа, что Рассмотрим числа

тогда . В таком случае так как верно. Но отсюда следует, что значит, верно и

б) очевидно, верно, так как если то а и по предположению — целые положительные числа, должны быть каждое в отдельности равны 1.

Итак, по принципу математической индукции, верно при любом

Пусть теперь а и два произвольных целых положительных числа; положим Было показано, что верно при любом значит, в частности, верно Следовательно,

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