Усложнение базовой модели. При проведении рассуждений в настоящем параграфе предполагалось, что единственная неподвижная точка не отсекается от множества выбора методом сжимающихся отображений. Интересными являются следствия, вытекающие из факта снятия такого ограничения.
Как только данное обстоятельство произойдёт, мы узнаем о нём, если не сразу, то через конечное число шагов, хотя общее их количество заранее предсказать будет невозможно. Указанием на столь неприятное для нас событие станет явное понимание нами движения в неправильном направлении вкупе с осознанием, что сама проблема имеет решение.
И тогда нам во многом придётся всё начинать с начало. Единственной платой за наши предыдущие труды будет накопленный адекватный опыт.
Учитывая трудность выбора первого направления, он позволит нам творчески реализовать возможности нашего текущего положения, хотя нередко всем окружающим они будут казаться бесперспективными. Именно по такой причине стоит быть внимательным при анализе любой ситуации, поскольку, путь к успеху может лежать через воплощение возможностей, предоставляемых шансом, буквально пришедшим из-за угла.
Аксиома выбора. Поскольку математика создавалась как инструмент процесса познания окружающего мира, то было бы естественно ожидать, что метод сжимающихся отображений находит в ней самое широкое применение. При внимательном взгляде оказывается, что подобное предположение не лишено оснований.
И вот она! Наиболее общей математической формулировкой принципа сжимающихся отображений является «аксиома выбора». Но, несмотря на свою логичную позицию в процессе познания, она вплоть до начала XX–ого в. не была известна, хотя и использовалась неосознанно1.
«Критический дух математиков окреп и закалился в конце XIX-ого в., и, вступив в XX-ое столетие, они подвергли безжалостному пересмотру всё, что легко принимали на веру их предшественники. Им удалось обнаружить совершенно невинное на первый взгляд утверждение, которое ранее кочевало из доказательства в доказательство, не привлекая внимания. Утверждение это заключается в следующем: если имеется любой набор (конечный или бесконечный) множеств, то всегда можно, выбрав из каждого множества по одному элементу, составить из этих элементов новое множество. Так, от каждого штата из пятидесяти штатов США можно выбрать по одному жителю и составить из них группу из 50 человек. То, что это утверждение в действительности составляет специальную аксиому — так называемую аксиому выбора, математики осознали из работы Эрнста Цермело (1871-1953), опубликованной в 1904 г.»
Сформированных таким образом множеств может быть несколько. Важно, что существует хотя бы одно из них.
И такое на первый взгляд невинное утверждение вызвало множество споров среди математиков. Причиной их было то, что, как видно из приведённой цитаты, гарантируя возможность выбора, «аксиома выбора не требует, чтобы выбранные элементы обладали каким-нибудь определённым свойством»2.
И потому «аксиома выбора не вполне самоочевидна, так как в ней говорится о выборе из бесконечно многих множеств, но она научно необходима, поскольку используется для доказательства важных теорем»3. Правда, «положение аксиомы выбора стало за последние годы менее спорным»4, и «большинству математиков она представляется утверждением совершенно правдоподобным»5.
Дело в том, что «аксиома выбора имеет столь многочисленные и важные приложения практически во всех областях математики, что отказ от неё выглядел бы как преднамеренная подножка работающему математику»6 Но, несмотря на это, её изучение доставило беспокойство и головную боль всем великим математикам XX-ого в., не говоря уже о тех, кто был калибром поменьше.
Короче говоря, «аксиома выбора породила больше дискуссий и споров, чем любая другая аксиома, за исключением, может быть, аксиомы Евклида о параллельных»7, или пятого постулата Евклида. И, всё же, несмотря на все её странности, под давлением потребностей в обосновании самых распространённых методик было заключено, что «на сегодняшний день аксиома выбора признаётся, в принципе, безвредной и необходимой в математической практике»8.