Андрей Андреевич Болибрух - Проблемы Гильберта (100 лет спустя)
Название: | Проблемы Гильберта (100 лет спустя) | |
Автор: | Андрей Андреевич Болибрух | |
Жанр: | Детская образовательная литература, Математика | |
Изадано в серии: | МАТЕМАТИЧЕСКОЕ ПРОСВЕЩЕНИЕ #2 | |
Издательство: | Издательство Московского центра непрерывного математического образования | |
Год издания: | 1999 | |
ISBN: | неизвестно | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера |
Краткое содержание книги "Проблемы Гильберта (100 лет спустя)"
Знаменитые проблемы, сформулированные Давидом Гильбертом на Парижском международном математическом конгрессе 1900-го года, оказали определяющее влияние на развитие математики XX столетия. Одна из целей этой брошюры - показать, что многие известные и достаточно сложные математические проблемы возникают вполне естественным образом, так что даже старшеклассник может понять причины появления этих проблем и их формулировки.
Текст брошюры представляет собой обработку записи лекции, прочитанной автором 23 октября 1999 года на Малом мехмате для школьников 9-11 классов.
Читаем онлайн "Проблемы Гильберта (100 лет спустя)". [Страница - 5]
Итак, с помощью диагонального процесса мы получили действительное число у, которое не совпадает ни с одним из чисел таблицы, ведь у отличается от каждого xk по крайней мере к-й цифрой десятичного разложения, а разным записям, как мы знаем, соответствуют различные числа.
Предположив, что можно пересчитать все действительные числа, мы пришли к противоречию, указав число, которое не сосчитано. Следовательно, множество R. несчётно.
Множества R. и N не являются эквивалентными, и N ⊂ R, поэтому всех действительных чисел в некотором смысле «больше» чем натуральных. Говорят, что мощность множества R. (мощность континуума) больше чем мощность N.
Континуум-гипотеза
Теперь мы располагаем всеми необходимыми сведениями для того, чтобы сформулировать знаменитую первую проблему Гильберта:
Континуум-гипотеза. С точностью до эквивалентности, существуют только два типа бесконечных числовых множеств: счётное множество и континуум.
Иначе говоря, нужно установить, существует ли множество промежуточной мощности, т. е. такое множество Τ, N ⊂ Τ ⊂ R, которое не эквивалентно ни N, ни R.
- 13 -
Этой проблемой занимались очень многие математики. Сам Георг Кантор неоднократно заявлял, что доказал эту гипотезу, но всякий раз находил у себя ошибку.
О ДОКАЗАТЕЛЬСТВАХ В МАТЕМАТИКЕ
Математика — точная наука, требующая строгости рассуждений. Но что означает строго доказать какое-либо утверждение? Это означает вывести его из аксиом — исходных положений, принимаемых без доказательства.
Конечно, в выборе аксиом, которые закладываются в основу теории, есть некоторый произвол. Но обычно аксиомы возникают естественным путём, из познания действительности. В теории множеств, частью которой являются конструкции, описанные в предыдущих разделах, тоже имеется общепризнанная система аксиом Цермело—Френкеля.
Доказать континуум-гипотезу — значит, вывести её из этих аксиом. Опровергнуть её — значит, показать, что если её добавить к этой системе аксиом, то получится противоречивый набор утверждений.
Решение проблемы
— Г-голубчики, — сказал Фёдор Симеонович озадаченно... — Это же проблема Бен Б-бецалеля. К-калиостро же доказал, что она н-не имеет р-решения.Оказалось, что первая проблема Гильберта имеет совершенно неожиданное решение.— Мы сами знаем, что она не имеет решения, — сказал Хунта, немедленно ощетиниваясь. — Мы хотим знать, как её решать.
— К-как-то ты странно рассуждаешь, К-кристо... К-как же искать решение, к-когда его нет? Б-бессмыслица какая-то...
— Извини, Теодор, но это ты очень странно рассуждаешь. Бессмыслица — искать решение, если оно и так есть. Речь идёт о том, как поступать с задачей, которая решения не имеет. Это глубоко принципиальный вопрос...
А. Стругацкий, Б. Стругацкий.Понедельник начинается в субботу
В 1963 году американский математик Паул Коэн доказал, что континуум-гипотезу нельзя ни доказать, ни опровергнуть.
- 14 -
Это означает, что если взять стандартную систему аксиом Цермело—Френкеля (ZF) и добавить к ней континуум-гипотезу в качестве ещё одной аксиомы, то получится непротиворечивая система утверждений. Но если к ZF добавить отрицание континуум-гипотезы (т. е. противоположное утверждение), то вновь получится непротиворечивая система утверждений.
Таким образом, ни континуум-гипотезу, ни её отрицание нельзя вывести из стандартной системы аксиом.
Этот вывод произвёл очень сильный эффект и даже отразился в литературе (см. эпиграф).
Как же поступать с этой гипотезой? Обычно её просто присоединяют к системе аксиом Цермело—Френкеля. Но каждый раз, когда что-либо доказывают, опираясь на континуум- гипотезу, обязательно указывают, что она была использована при доказательстве.
Седьмая проблема Гильберта
Иррациональные числа
Вернёмся к подмножествам числовой прямой. Рассмотрим снова цепочку
N ⊂ Z ⊂ Q ⊂ R.
Мы уже доказали, что действительных чисел «больше» чем рациональных, потому что Q счётно, R — несчётно. Значит, существуют иррациональные (не являющиеся рациональными) действительные числа. (На самом деле, иррациональных чисел «намного больше» чем рациональных, и если случайным образом бросить точку на числовую --">
Книги схожие с «Проблемы Гильберта (100 лет спустя)» по жанру, серии, автору или названию:
Маргарита Левченко - Массаж, который удаляет 15 лет! Жемчужное ожерелье красоты. Хит интернета! Жанр: Детская образовательная литература Год издания: 2017 Серия: Как стать здоровым. Современный самоучитель |
Джули Адэр Кинг, Джоанна Фабер - Как говорить, чтобы маленькие дети вас слушали. Руководство по выживанию с детьми от 2 до 7 лет Жанр: Детская образовательная литература Год издания: 2017 Серия: Психология. Воспитание по Фабер и Мазлиш |