Структура некоторых числовых множеств

В 1870-х годах немецкий математик Георг Кантор (1845-1918) создал теорию множеств тАФ исключительно мощное и важное математическое учение, оказавшее огромное влияние на развитие современной математики. Теория множеств не только явилась фундаментом целого ряда новых математических дисциплин, но и оказала глубокое влияние на понимание самого предмета математики. Помимо прочего в канторовской теории множеств впервые были развиты конструктивные подходы к анализу проблемы бесконечности, более двух тысяч лет являвшейся лишь предметом филологических упражнений философов.

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

Однако Кантор попытался определить данное понятие так: ВлПод множеством, - разъяснял Георг Кантор, - я понимаю вообще всякое многое, которое можно мыслить как единое, то есть всякую совокупность определенных элементов, которая может быть связана в одно целое с помощью некоторого закона..В» ¹. Но эта концепция привела к парадоксам, в частности, к парадоксу Рассела, и данная теория стала называться наивной теорией множеств.

Парадокс Рассела тАФ открытая в 1903 году Бертраном Расселом и позднее независимо переоткрытая Эрнестом Цермело теоретико-множественная антиномия, демонстрирующая противоречивость наивной теории множеств Г. Кантора. Антиномия Рассела формулируется следующим образом: Пусть K тАФ множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K самого себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K тАФ противоречие. Если нет тАФ то, по определению K, оно должно быть элементом множеств, включающихся в К тАФ вновь противоречие.

После этого теория множеств была аксиоматизирована. На сегодняшний день множество определяется как модель, удовлетворяющая ряду аксиом (так называемая аксиоматика Цермело тАУ Френкеля).

Множества могут состоять из самых различных элементов. Именно этим объясняется чрезвычайная широта теории множеств и ее приложимость к самым разным областям знания.

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

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

Данная работа состоит из трех глав: ВлМощности бесконечных множествВ», ВлТочечные множестваВ», ВлРешение некоторых задачВ».

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

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

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

Глава 1. Мощности бесконечных множеств

Вз 1. К истории становления теории множеств

С самого зарождения математической науки как самостоятельной отрасли знания и на протяжении более чем двух тысячелетий математики занимались поисками истины и добились на этом пути выдающихся успехов. Шаг за шагом древние греки, а вслед за ними и представители других цивилизаций открывали математические законы, полагая, что план, по которому построена вселенная, имеет математический характер. Необозримое множество теорем о числах и фигурах, казалось, служило неисчерпаемым источником абсолютного знания, которое никогда и никем не может быть поколеблено [4; 19]. Однако по мере развития математики связь с реальным миром становится все менее ощутимой, встает вопрос о логическом обосновании математики.

В конце 19 века на передний план выступает проблема доказательства непротиворечивости математики. Движение за аксиоматизацию математики в этот период заставило математиков понять, сколь глубокая пропасть отделяет математику от реального мира. Каждая аксиоматическая система содержит неопределяемые понятия, свойства которых задаются только аксиомами. Новой теорией, которая привела к противоречиям и открыла многим глаза на противоречия, существовавшие в более старых областях математики, была теория бесконечных множеств. Первые шаги в изучении теории числовых множеств связаны с именем Георг Кантор (1845 тАУ 1918). В 1873 г. Кантор поставил задачу классифицировать бесконечные множества. Введенные Кантором определения позволяли сравнивать два бесконечных множества по мощности. Основная идея Кантора сводилась к установлению взаимнооднозначного соответствия между множествами.

Идея взаимнооднозначного соответствия привела Кантора к неожиданному результату: он показал, что можно установить взаимнооднозначное соответствие между точками прямой и точками плоскости. Следуя принципу взаимнооднозначного соответствия, Кантор установил для бесконечных множеств отношение эквивалентности, или равенства (ВлравномощностиВ» двух множеств). Множество натуральных чисел и множества, которые можно поставить во взаимнооднозначное соответствие с этим множеством, содержат одинаковое число элементов, которое Кантор обозначил символом . Так как множество всех вещественных чисел больше по мощности множества натуральных чисел, Кантор обозначил его мощность новым символом тАУ с. Возник вопрос тАУ существует ли множество промежуточной мощности (утверждение о том, что такого множества не существует, носит название континуум гипотезы). В последствии было доказано, что в системе аксиом Цермело тАУ Френкеля утверждение о существовании промежуточной мощности не может быть ни доказано, ни опровергнуто.

Когда Кантор в 70-х годах 19 века приступил к созданию теории бесконечных множеств и еще много лет спустя, эта теория находилась на периферии математической науки. Но к началу 20 века канторовская теория множеств нашла широкое применение во многих областях математики. Кантор и Рихард Дедекинд понимали, сколь важна теория множеств для обоснования теории целых чисел, для анализа понятий линии и размерности и даже для обоснований математики. Другие математики, в частности Эмиль Борель и Анри Леон Лебег, к тому времени уже работали над обобщением интеграла, в основу которого была положена канторовская теория множеств. Поэтому, когда сам Кантор обнаружил, что его теория множеств сопряжена с определенными трудностями, это было далеко немаловажным событием. Кантор дал несколько словесных определений множества, но эти определения не отличались строгостью, и теорию множеств в том виде, как ее изложил Кантор, нередко называют наивной. По мнению многих ученых, тщательный подбор аксиоматической основы должен был избавить теорию множеств от многих проблем и противоречий [8; 135].

Приступая к построению математики на основе теории множеств, можно выбрать ту или иную из возможных исходных позиций. Можно запретить использование гипотезы континуума, но это существенно ограничит круг теорем, доказываемых в рамках системы. Можно поступить иначе и включить в систему аксиом гипотезу континуума или ее отрицание. При этом неизвестно, к каким важным следствиям может привести отрицание гипотезы континуума. Сказанное означает, что существует не одна, а много математик. Теория множеств (рассматриваемая отдельно от остальных оснований математики) может развиваться во многих направлениях. Остановить свой выбор на одном из направлений нелегко, так как в любом случае принятие определенной редакции аксиом имеет свои положительные и отрицательные стороны.

Вз 2. Счетные множества

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

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

Определение 2. Пусть Вамножество всех натуральных чисел. Всякое множество А, эквивалентное множеству , называется исчислимым, или счетным, или короче имеет мощность .

Теорема 1. Для того чтобы множество А было счетным, необходимо и достаточно, чтобы его можно было перенумеровать, т.е. представить в форме последовательности

Теорема 2. Из всякого бесконечного множества можно выделить счетное подмножество.

Теорема 3. Всякое бесконечное подмножество счетного множества счетно.

Следствие 1. Если из счетного множества А удалить конечное подмножество М, то оставшееся множество А тАУ М будет счетным.

Теорема 4. Сумма конечного множества и счетного множества есть счетное множество.

Теорема 5. Сумма конечного числа счетных множеств есть счетное множество.

Теорема 6. Сумма счетного множества конечных множеств есть счетное множество.

Теорема 7. Сумма счетного множества счетных множеств есть счетное множество.

Теорема 8. Множество Вавсех рациональных чисел счетно.

Доказательство

Множество дробей вида Вас зафиксированным знаменателем , т.е. множество

Ваочевидно счетно

Но знаменатель может принимать также счетное множество натуральных значений. Значит, в силу теоремы 7, множество

М= - счетно

Удаляя из М все сократимые дроби и применяя теорему 3, убеждаемся в счетности всех положительных рациональных чисел , а значит в счетности всех отрицательных рациональных чисел , т.к. множества

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

Теорема доказана.

Следствие 1. Множество рациональных чисел любого отрезка Васчетно.

Теорема 9. Если к бесконечному множеству М прибавить конечное или счетное множество А новых элементов, то это не изменит его мощности, т.е.

Доказательство

Выделим, пользуясь теоремой 2, из М счетное подмножество Ваи пусть , тогда , . Так как , , применяя теоремы 4 и 5 , получаем .

Теорема доказана.

Теорема 10. Если бесконечное множество Ванесчетно, а А его конечное или счетное подмножество, то .

Доказательство

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

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

Ва(, то множество А счетно.

Доказательство

Докажем теорему методом математической индукции.

Теорема очевидна, если .

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

Пусть

Обозначим через Вамножество тех элементов А, для которых , где Ваодно из возможных значений -го значка, т.е. положим

В силу сделанного допущения множество Васчетно, а так как

, то счетно и А

Теорема доказана

Следствие 1. Множество точек плоскости, у которых обе координаты рациональны, счетно.

Следствие 2.Множество многочленов Вас целыми коэффициентами счетно.

Теорема 12. Множество алгебраических чисел счетно [6; 20].

Вз 3. Мощность континуума

Теорема 1. Отрезок Ванесчетен.

Доказательство

Допустим противное.

Пусть отрезок Ва- счетное множество. Тогда все его точки можно расположить в виде последовательности

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1)

Пусть это сделано, т.е. всякая точка Ванаходится в последовательности (1).

Разделим Вана три равные части точками Ваи Ва(рис. 1). Ясно, что точка Ване может принадлежать всем трем отрезкам , , Ваи хотя бы один из них не содержит ее. Обозначим через Ватот отрезок, который не содержит Ва(если таких отрезков два, то через Ваназываем любой из них).

Рис. 1

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

Затем делим на три равных отрезка отрезок и обозначаем через тот из них, который не содержит точки Ваи т.д.

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

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

Так как , то точка Вадолжна входит в последовательность (1). Но это невозможно, ибо , . Отсюда получаем, что точка Ване может совпасть ни с одной из точек последовательности (1).

Теорема доказана

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

Теорема 2. Всякий отрезок , всякий интервал Ваи всякий полуинтервал Ваили Ваимеет мощность с.

Доказательство

Пусть ,

Формула

устанавливает взаимнооднозначное соответствие между множествами Ваи , откуда и следует, что А имеет мощность континуума.

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

Теорема доказана.

Теорема 3. Сумма конечного числа попарно не пересекающихся множеств мощности с имеет мощность с.

Доказательство

Пусть

где каждое из множеств Ваимеет мощность с.

Возьмем полуинтервал Ваи точками Варазложим его на Ваполуинтервалов ,

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

Теорема доказана.

Теорема 4. Сумма счетного множества попарно не пересекающихся множеств мощности с имеет мощность с.

Доказательство

Пусть

где каждое из множеств Ваимеет мощность с.

Возьмем на полуинтервале Вамонотонно возрастающую последовательность и точками Вадля которой .

Установив взаимнооднозначное соответствие между множествами Ваи Вадля всех , мы тем самым установим взаимнооднозначное соответствие между Ваи .

Теорема доказана.

Следствие 1. Множество Вавсех действительных чисел имеет мощность с.

Следствие 2. Множество всех иррациональных чисел имеет мощность с.

Следствие 3. Существуют трансцендентные (неалгебраические) числа.

Теорема 5. Множество Вавсех последовательности натуральных чисел

Ваимеет мощность .

Доказательство

Докажем теорему двумя способами:

1) Основанное на теории непрерывных дробей.

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

Возможность соответствия и доказывает теорему.

2) Основанное на теории двоичных дробей.

Рассмотрим некоторые факты этой теории:

1. Двоичной дробью называется сумма ряда,

Указанная сумма обозначается символом

2. Всякое число Вадопускает представление в форме

Это представление единственно в случае, когда х не есть дробь вида ВаЧисла 0 и 1 разлагаются (единственным образом) в дроби ,

Если же , то Вадопускает два разложения. В этих разложениях знаки тАж совпадают, а знак Вав одном из них равен 1, а в другом 0. Все остальные знаки у первого разложения нули (0 в периоде), а у второго единицы (1 в периоде).

Например

3. Всякая двоичная дробь равна некоторому числу .

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

Если же двоичная дробь не содержит цифру 0 или 1 в периоде, то Ваи других двоичных разложений Ване имеет

Вернемся к доказательству теоремы.

Условимся не пользоваться дробями, содержащими единицу в периоде. Тогда каждое число из полуинтервала Вабудет иметь единственное представление в форме

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

Обратно, любой дроби (1) с этим свойством отвечает точка из . Но задать дробь (1) можно, указав те , для которых

Эти Ваобразуют возрастающую последовательность натуральных чисел

и каждой такой последовательности отвечает дробь (1). Значит, множество Вапоследовательностей (2) имеет мощность . Но между множествами Ваи Валегко установить взаимнооднозначное соответствие. Для этого достаточно соотнести последовательности (2) последовательность

Ваиз , для которой , , ,тАж

Теорема доказана.

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

, то множество А имеет мощность .

Доказательство

Достаточно рассмотреть случай для трех значков, так как рассуждение имеет общий характер.

Пусть

Назовем через Ва(соответственно, Ваи ) множество значений значка Ва(соответственно, Ваи ), при этом каждый из значков изменяется независимо от прочих и каждое из множеств , Ваимеет мощность .

Установим взаимнооднозначное соответствие между каждым из множеств , Ваи множеством Вавсех последовательностей натуральных чисел. Это позволит установить такое же соотношение между Ваи .

Пусть , где , , .

В соответствиях между , Ваи Ваэлементам , , отвечают какие-то элементы из .

Пусть

элементу Ваотвечает последовательность ,

элементу Ваотвечает последовательность .

Соотнесем элементу Вапоследовательность , очевидно входящую в .

Этим мы действительно получили взаимнооднозначное соответствие между А и Р, значит множество А имеет мощность .

Теорема доказана.

Следствие 1. Множество всех точек плоскости имеет мощность .

Следствие 2. Множество всех точек трехмерного пространства имеет мощность .

Следствие 3. Сумма с попарно не пересекающихся множеств мощности с имеет мощность с [6; 27].

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

Доказательство

Пусть множество значений значка Ваесть .

Свяжем его взаимнооднозначным соответствием с множеством Р всех последовательностей натуральных чисел.

Пусть это соответствие обозначено .

Сделав это, выберем произвольный элемент .

Тогда , где .

Пусть в соответствии Вазначению Вазначка Ваотвечает последовательность

Тогда элементу Ваотвечает бесконечная целочисленная матрица

Легко видеть, что полученное соответствие между А и множеством Ваматриц (*) взаимнооднозначно. Стало быть, остается обнаружить, что множество Ваимеет мощность с. Но это очевидно, так как, соотнеся матрице (*) последовательность

мы сразу получим взаимнооднозначное соответствие между Ваи .

Значит множество А имеет мощность .

Теорема доказана.

Теорема 8. Множество Вавсех последовательностей вида , где , независимо друг от друга, принимают значения 0 и 1, имеет мощность с.

Доказательство

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

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

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

Следствие 1. Если элементы множества А определяются с помощью счетного множества значков, каждый из которых, независимо от прочих, принимает два значения, то множество А имеет мощность с [6; 28].

Вз 4. Сравнение мощностей

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

Еще Г. Кантор пытался дать определение данному понятию:

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

В связи с этим Г. Кантор обозначал мощность множества А символом Ва(две черты тАУ ВлдвойноеВ» отвлечение).

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

Определение 1. Пусть все множества разбиты по классам, так что два множества попадают в один класс тогда и только тогда, когда они эквивалентны. Соотнесем каждому такому классу множеств какой-либо символ и будем его называть мощностью любого множества данного класса. При этом, если мощность некоторого множества А есть , то пишут

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

Далее, буква с есть символ, соотнесенный классу, содержащему множество Ваи поэтому про все множества, эквивалентные , мы говорим, что они имеют мощность с.

Пусть классу, содержащему множество , соотнесен символ Вл3В». Тогда можно сказать, что любое множество, эквивалентное множеству А, имеет мощность 3. Мы видим, что понятие количества элементов конечного множества есть частный вид более общего понятия мощности.

Наконец, 0 есть мощность пустого множества, а 1 тАУ мощность любого ВлодноэлементногоВ» множества.

Имея, таким образом, определение понятия мощности, естественно поставить вопрос о сравнении мощностей.

Определение 2. Пусть Ваи множества, имеющие соответственно мощности

и Ва(, )

Если: 1) множества Ваи Ване эквивалентны, но 2) в множестве В есть подмножество , эквивалентная множеству А, то говорят, что множество В имеет большую, а множество А - меньшую мощность, и пишут , .