Восемь этюдов о бесконечности. Математическое приключение - [49]
Вот еще один пример:
В нем также имеются одно-однозначное и сюръективное соответствие, и нам даже не пришлось привлекать футболистов или манекенщиц.
Теперь, прояснив все эти вопросы, вернемся к бесконечным множествам. Исходя из изложенного выше, кажется естественным дать следующее определение равенства количества элементов двух множеств (будь то конечных или бесконечных):
Два множества А и В имеют равную мощность, если между элементами множества А и элементами множества В существует некоторое (любое) соответствие, одновременно одно-однозначное (инъективное) и сюръективное.
Что же это за «мощность»? Возможно, вы помните, что мы уже упоминали ее некоторое время назад. Смысл мощности конечных множеств вполне ясен.
В случае конечных множеств мощность – это просто вычурное обозначение «количества элементов множества». Например, множество A = {17, 42, 1729, 1 234 321} содержит четыре элемента; следовательно, его мощность (которую называют также кардинальным числом) равна 4. Это утверждение можно записать следующим образом: #A = 4[47].
Однако в случае бесконечных множеств понятие «количества элементов множества» не очевидно и не может быть очевидно. Когда речь идет о бесконечных множествах, мы можем только сравнивать их мощности.
Парадокс Галилео Галилея
В начале XVII в. Галилео Галилей описал парадокс, который был назван его именем. В парадоксе Галилея речь идет об одно-однозначном и сюръективном соответствиях между множеством натуральных чисел {1, 2, 3, 4…} и множеством полных квадратов {1, 2, 4, 9, 16…}. Из элементов этих множеств можно составить пары, как показано в приведенной ниже таблице. Должно быть очевидно, что для каждого элемента множества А существует один, и только один, соответствующий ему элемент множества В, и наоборот:
Возникающий здесь парадокс состоит в том, что множество натуральных чисел и его собственное подмножество – то есть подмножество, не равное самому этому множеству[48], в данном случае множество полных квадратов, – имеют одинаковую мощность (то есть между ними существует одно-однозначное и сюръективное соответствие). Как такое может быть, если натуральных чисел больше, чем квадратов, то есть в одном множестве должно быть больше элементов, чем в другом? Как же они могут быть равномощными?!
Георг Кантор
© Morphart Creation / Shutterstock.com
Галилео Галилей
© Morphart Creation / Shutterstock.com
Положение или предположение, противоречащее общепринятому мнению; утверждение или ощущение, кажущееся противоречивым или идущим вразрез со здравым смыслом; нечто выглядящее или представленное абсурдным, но могущее быть истинным.
Как замечательно, что мы столкнулись с парадоксом! Теперь у нас есть надежда чего-нибудь добиться.
Нильс Бор
Как я согласен с Нильсом Бором! Парадоксы прекрасно помогают как следует встряхнуть процесс размышлений.
Галилей считал, что этот парадокс, о котором он писал в «Беседах о двух новых науках» (Discorsi e dimostrazioni matematiche intorno a due nuovi scienze attenenti alla mecanica e i movimenti locali, 1638), доказывает, что в разговоре о бесконечных множествах нельзя использовать прилагательные вроде «равный», «больший» или «меньший»; более того, как мы уже упоминали гораздо раньше в этой книге, существам с конечным разумом вообще лучше держаться подальше от всего того, что касается бесконечности.
Но что из того, что наш разум конечен? Почему это должно приковывать нас к одним лишь размышлениям о конечном? Кантор и Дедекинд попытались взять это кажущееся затруднение и превратить его в основание новой теории.
Множество А можно назвать подмножеством множества В, если все элементы множества А являются элементами В.
Например:
A = {Густав Малер, Густав Холст, Густаво Дудамель}.
B = {Густав Малер, Густав Климт, Густав Холст, Густаво Дудамель, Гюстав Доре, Густаво Бокколи, Гюстав Курбе, ураган «Густав», Густав V Шведский}.
Множество А является подмножеством множества В, потому что все элементы множества А содержатся и в В. Из этого определения также следует, что любое множество является подмножеством самого себя.
Вернемся к рассмотрению парадокса Галилея. Но сначала нам нужно запомнить еще пару определений. Итак:
Если множество А – подмножество множества В, но не равно множеству В[49], говорят, что А – собственное подмножество В. В предыдущем примере множество А является собственным подмножеством множества В.
Множество называют бесконечным, если между ним и по меньшей мере одним из его собственных подмножеств есть как одно-однозначное (инъективное), так и сюръективное соответствие. Напомню кстати, что в случае конечных множеств собственное подмножество А не может иметь одно-однозначного соответствия с А!
Например, множество натуральных чисел бесконечно, потому что, как показал Галилей, оно эквивалентно одному из своих собственных подмножеств – множеству полных квадратов. Если мы хотим применить только что выученную замысловатую терминологию, можно сказать, что множество натуральных чисел и множество полных квадратов имеют равные кардинальные числа. Важно помнить следующее: в случае конечных множеств утверждение «часть всегда меньше целого» справедливо; в случае множеств бесконечных это не так. Мы уже видели более чем достаточно подтверждений этого обстоятельства: парадокс Галилея, предложенный Расселом вариант апории об Ахиллесе и черепахе из школы Зенона (см. выше раздел «Апология Зенона»), все чудеса бесконечной гостиницы Гильберта…
