Множество непрерывных функций имеет мощность континуума. Структура некоторых числовых множеств. Операции над отношениями

Понятие Мерности в аспекте пространственно-временного континуума Мы с вами уже имеем понятие о таких аспектах, как Мерность Сознания и Мерность Пространства. Пришел черед разобраться в том, как понятие Мерности стыкуется с понятием времени. С точки зрения времени наше

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

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

Назовем два множества А и В эквивалентными, если между ними существует взаимно однозначное соответствие, т. е. каждому элементу отвечает единствённый элемент каждый, элемент сопоставлен некоторому элементу и разным элементам множества А отвечают разные элементы множества В.

Взаимно однозначное соответствие называют иногда биективным соответствием.

В частности, множества, содержащие конечное число элементов, эквивалентны тогда и только тогда, когда они содержат одинаковое число элементов. Эквивалентность множеств А и В обозначается так:

Покажем, например, что множество рациональных чисел и множество натуральных чисел эквивалентны. Заметим сначала, что для любого целого два рациональных числа являются одинаковыми (здесь ). Поэтому всякое рациональное число можно записать в виде и дробь считать несократимой. Число 0 будем считать записанным одним способом:

Назовем число высотой рационального числа Ясно, что рациональных чисел имеющих данную высоту, конечное число. Будем нумеровать натуральными числами рациональные числа по возрастанию высоты, т. е. сперва занумеруем все рациональные числа высоты Такое число только одно: 0. Этому рациональному числу припишем индекс 1, т. е., поставим ему в соответствие натуральное число 1. Затем занумеруем рациональные числа высоты Таких чисел два:

и Первому из них поставим в соответствие натуральное число 2 (т. е. занумеруем его индексом 2), второму - число 3. После этого занумеруем рациональные числа высоты 3 и т. д. Ясно, что при этом мы установим взаимно однозначное соответствие между всеми рациональными числами и всеми натуральными числами, т. е.

Введем понятие счетного множества.

Определение 1. Множество называется счетным, если оно эквивалентно множеству натуральных чисел.

Согласно этому определению и рассуждениям, проведенным выше, мы получаем, что множество рациональных чисел является счетным множеством.

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

Утверждение 1. Всякое непустое подмножество счетного множества является или множеством, состоящим из конечного числа элементов, или множеством счетным.

Доказательство. Пусть А - исходное счетное множество, т. е. - множеству натуральных чисел. Это означает, что элементы множества А можно занумеровать каким-нибудь способом. Расположим элементы множества А в виде последовательности: Пусть В - непустое подмножество множества А. Рассмотрим последовательно элементы множества А. Если то этот элемент мы обозначим через если мы переходим к рассмотрению элемента При рассмотрении элемента могут представиться две возможности: а) элемент если при этом было выполнено, что и то элемент мы обозначим через если же то элемент обозначается через элемент тогда переходим к рассмотрению элемента Ясно, что при этом может случиться, что все элементы множества В будут расположены в виде конечной последовательности: . В этом случае множество В состоит из конечного числа элементов. Если этого не случится, то мы выпишем все элементы множества В в виде бесконечной последовательности элементов откуда следует, что множество В счетное. Утверждение доказано.

Утверждение 2. Сумма любой конечной или счетной совокупности счетных множеств есть множество счетное.

Доказательство. Рассмотрим, например, случай, когда имеется счетная совокупность счетных множеств. Пусть - совокупность множеств, каждое из которых счетно. Расположим элементы множеств в виде последовательностей:

Пусть Произведем нумерацию элементов а множества следующим образом:

У некоторых множеств могут оказаться общие элементы (при ). В этом случае мы их учитываем только один раз.

Таким образом, элементы множества А можно занумеровать т. е. поставить во взаимно однозначное соответствие с множеством натуральных чисел т. е. А счетно. Утверждение доказано.

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

Теорема 2.2. Множество всех точек сегмента несчетно.

Доказательство. Рассмотрим интервал (0, 1). Очевидно, что если мы докажем, что интервал (0,1) несчетен, то и сегмент будет несчетен, так как множество точек сегмента отличается от множества точек интервала (0,1) всего двумя точками: 0 и 1. Итак, докажем, что множество точек интервала (0, 1) несчетно. Допустим противное, т. е. предположим, что все вещественные числа интервала (0, 1) можно занумеровать.

Записывая все числа интервала в виде бесконечных: десятичных дробей, получим, что

Рассмотрим на интервале (0,1) вещественное число где - любая цифра, отличная от - любая цифра, отличная от - любая цифра, отличная от и 9. Достаточно доказать, что число х не совпадает ни с одним из чисел Число не содержит после запятой нулей и девяток, т. е. это число не принадлежит классу

рациональных чисел, представимых двумя способами в виде бесконечных десятичных дробей. В таком случае число х допускает единственное представление в виде бесконечной десятичной дроби и оно отлично от всех чисел ибо совпадение числа х с каким-либо числом означало бы совпадение и Таким образом, интервал (0, 1), а вместе с тем и сегмент несчетен. Теорема доказана.

Определение 2. Множество, эквивалентное множеству точек сегмента , называется множеством мощности континуум а.

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

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

Для обозначения равномощности множеств А и В используют следующую символику:

Если множество А эквивалентно некоторому подмножеству множества В и при этом множество А не содержит подмножества, эквивалентного множеству В, то будем говорить, что мощность множества А меньше мощности множества В.

Для обозначения того, что мощность множества А меньше мощности В, используют следующую символику:

Например, из данного выше определения множества мощности континуума, из теоремы 2.2 и из утверждения 1 о счетных множествах следует, что мощность счетного множества меньше мощности множества сегмента , т. е. мощности континуума.

Итак, нами введено сравнение мощностей двух множеств. Логически возможны еще два случая:

а) Множество А содержит подмножество, эквивалентное множеству В, а множество В содержит подмножество, эквивалентное А

б) Множества A и В не эквивалентны, и ни одно из них не содержит подмножества, эквивалентного другому множеству. Нетрудно доказать, что в случае а) множества А и В будут эквивалентны. Случай же б) на самом деле невозможен.

Заметим еще, что трудной проблемой оказался вопрос о существовании множества промежуточной мощности между мощностью счетных множеств и мощностью континуума. Оказалось, что утверждение как о существовании, так и об отсутствии множества промежуточной мощности не противоречит аксиомам теории множеств и не может быть выведено из них. Тем самым это утверждение является одной из аксиом аксиоматической теории множеств.

В заключение докажем, что сегмент и интервал (0, 1) - эквивалентные или, что то же, равномощные множества. Для этого установим взаимно однозначное соответствие между их элементами. Выберем на сегменте и интервале (0, 1) последовательность точек

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

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

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

Множество точек квадрата совпадает с множеством всех пар десятичных дробей вида

которые мы, как и раньше, предполагаем написанными в бесконечном виде. Следовательно, мы исключаем те пограничные точки, для которых одна из координат у обращается в нуль; иными словами, исключаем обе стороны квадрата, примыкающие к началу координат О, между тем как обе другие стороны сохраняем. Но нетрудно убедиться в том, что это не изменяет мощности множества точек. И вот основная идея доказательства Кантора заключается в том, чтобы слить обе эти десятичные дроби в одну новую десятичную дробь z, по которой в свою очередь можно было бы однозначно определить х, у и которая принимала бы ровно по одному разу все значения когда точка один раз пробегает по всему квадрату. Если рассматривать z как абсциссу, то получим тем самым требуемое взаимно однозначное соответствие квадрата и единичного отрезка при этом в соответствии с соглашениями относительно квадрата у этого отрезка принимаем во внимание только одну конечную точку

Такое слияние двух координат у в одну мы попытаемся сначала получить тем, что положим

действительно, из этой дроби можно, отделяя четные и нечетные десятичные знаки, восстановить однозначным образом .

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

которые получаются только из конечной дроби или у, в нашем примере из

Обойти это затруднение легче всего при помощи следующего видоизменения метода Кантора, предложенного Кёнигом из Будапешта. А именно, Кёниг понимает под а, b, с не отдельные цифры, а известные комплексы цифр, я бы сказал, «молекулы» десятичной дроби, соединяя в одно целое всякую значащую цифру, отличную от нуля, со всеми непосредственно ей предшествующими нулями; благодаря этому выделяется роль нулей. Тогда всякая десятичная бесконечная дробь должна иметь бесконечно много молекул, так как в ней появляются все снова и снова отличные от нуля цифры, и наоборот. Например, в дроби

за такие «молекулы» следует принять

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

Конечно, совершенно аналогичным образом можно показать, что континуумы трех, четырех, измерений имеют такую же мощность, как и одномерный континуум. Но замечательно то, что и континуум бесконечно многих измерений, - точнее говоря, счетного множества измерений - имеет такую же мощность; о таком пространстве бесконечно большого числа измерений теперь особенно много говорят в Гёттингене. Его определяют как совокупность всех тех числовых систем, какие только может принимать счетно бесконечное множество переменных

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

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

Возможно, будет полезно почитать:

• Дом смирнова тверской бульвар ;
• Усадьба васильчиковых Шкаф в приемной ;
• Я живу в высотке на «Красных Воротах Где находятся красные ворота ;
• Архитектурные обмеры: Дом Лобановых-Ростовских ;
• Пристройка веранды к дому под общую крышу: как сделать это правильно ;
• Подключение диммера: инструкция и советы Подключение диммера смарт дим 105 к люстре ;
• Изготовление ворот своими руками: пошаговая инструкция Как сделать металлические ворота ;
• Беседки из камня – строим комфортную зону отдыха на дачном участке Беседка из дерева и камня ;