Перейти к содержанию

Теория функций действительного переменного/Счётные множества

Материал из Викиучебника — открытых книг для открытого мира
Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

Определение 1. Если множество A эквивалентно множеству (множеству натуральных чисел) (если ), то множество A называется счётным множеством. Иначе говоря, для счётного множества A существует биекция . Существование биекции означает, что элементы множества А можно записать в виде последовательности
a1, a2, …, an, …,
в которой нет равных членов, и каждый элемент множества A равен одному из членов последовательности.

Пример. Множество (множество целых чисел) счётно, так как его элементы можно записать в виде следующей последовательности:
0, -1,+1, -2,+2, …, -n,+n, …
Счётны также множества , { 21 , 22 , 23 , … , 2n , … }, { 13 , 23 , … , n3 , … }.

Теорема 1. Множество (декартово произведение множества натуральных чисел и множества натуральных чисел, множество пар натуральных чисел) счётно, то есть .

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

Доказательство проиллюстрируем следующим рисунком. На рисунке в отличие от русской математической символики символ «/» обозначает не дробь, а стоит вместо запятой, обозначая упорядоченную пару — элемент множества .

В результате расстановки, указанной стрелками, все элементы множества приобретут номер. Так как элементы множества можно занумеровать, множество счётно.

Теорема 2. Декартово произведение конечного числа счётных множеств есть множество счётное.

Доказательство проведём методом математической индукции.

1. Пусть множества A1 и A2 счётные, то есть и . Тогда по теореме 2 из главы "Эквивалентные множества" . Так как по теореме 1 , то . Теорема верна для двух сомножителей.

2. Предположим, что теорема верна для n сомножителей. Докажем справедливость теоремы для (n+1) сомножителя. Пусть множества A1, A2, …, An+1 счётны. Сопоставляя элементу множества элемент множества , получим биекцию множества на множество . Следовательно, . Но по предположению индукции . Поэтому, применяя уже доказанный частный случай теоремы для декартова произведения двух сомножителей (), получим . Следовательно, и .

Пример. Множество (множество точек плоскости с целыми координатами) счётно. Множество есть .

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

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

Пусть B — бесконечное множество. Тогда множество B содержит хотя бы один элемент a1. В силу бесконечности B в нём найдется элемент a2, отличный от a1. Так как злементы a2 и a1 не исчерпывают всего множества B, то в B найдется элемент a3, отличный и от a2 и от a1. Если уже выделено n элементов (a1, a2, …, an), то в силу бесконечности B в B найдётся ещё один элемент, который обозначим an+1 и который отличен от всех ранее выбранных элементов. Таким образом, для каждого натурального числа n можно выделить элемент an из B. Причём все выделенные элементы попарно различны. Выделенные элементы образуют последовательность
a1, a2, …, an, …
Множество членов последовательности по определению счётно. Множество членов последовательности есть часть множества B.

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

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

Пусть A — счётное множество, B — бесконечное подмножество множества A. По теореме 3 множество B содержит счётное подмножество C. Так как множества A и C счётны, . Кроме того, . По теореме 4 главы 1 , то есть множество B эквивалентно счётному множеству и потому само счётно.

Теорему 4 можно перефразировать следующим образом. 4'. Всякое подмножество счётного множества конечно или счётно.

Теорема 5. При любом отображении образ счётного множества конечен или счётен.

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

Пусть A — счётное множество, B — произвольно множество и f — некоторое отображение:
f: A→B.

Требуется доказать, что множество конечно или счётно.

Выберем для любого элемента в его полном прообразе f-1 произвольным образом точку ac. В результате образуется множество . Множество является частью счётного множества A, и потому, согласно теореме 4', конечное или счётное. Так как для различных элементов c и c' множества C их полные прообразы f-1(c) и f-1(c') не пересекаются, то , и, следовательно, соответствие является биекцией множества C на множество A1. Поэтому вместе с множеством A1 и множество C конечно или счётно.

Теорема 6. Множество (множество рациональных чисел) счётно.

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

Так как множество счётно, то по теореме 2 и декартово произведение счётно. Поставим в соответствие произвольному элементу (p,q) множества рациональное число . Получившееся отображение сюръективно. Действительно, всякое рациональное число r можно представить в виде отношения двух целых чисел: , причём знаменатель можно считать положительным; тогда пара (p,q) является, очевидно, прообразом точки r относительно отображения f. Таким образом, множество счётно как образ счётного множеста при некотором отображении, учитывая при этом, что конечным оно заведомо не является.

Пример. Пусть A - множество рациональных точек интервала (a,b). Требуется доказать, что множество A счётно. Множество A бесконечно и является частью счётного множества , поэтому по теоремам 6 и 4 является счётным.

Теорема 7. Всякое семейство попарно не пресекающихся непустых интервалов конечно или счётно.

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

Всякий интервал содержит бесконечно много рациональных точек. Выберем из каждого интервала одну рациональную точку rx. Получившееся множество как часть счётного множества конечно или счётно. Исходное множество интервалов (множество ), так как эквивалентно множеству A, тоже конечно или счётно.

Теорема 8. Объединение конечной или счётной совокупности конечных или счётных множеств конечно или счётно.

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

Если , где все слагаемые являются множествами конечными или счётными, то, полагая для любого натурального числа m>k Am = Ak, получим , то есть случай конечного объединения сводится к случаю счётного объединения, каковой мы и будем дальше предполагать выполненным.

Занумеруем элементы множества An в последовательность

an1, an2, …, anm, …, (*)

Причём, если An конечно и содержит kn элементов, то будем считать, что первые kn членов этой последовательности попарно различны и исчерпывают всё множество An, а для m>kn, полагаем anm = ankn.

Зададим теперь отображение формулой f(n,m) = anm. Тогда отображение f сюръективно. Действительно, если — любой элемент множества А, то принадлежит некоторому слагаемому An и потому совпадает с каким-ни6удь членом проследовательиости (*): a = anm. В таком случае пара натуральных чисел (n,m) будет проо6разом элемента относительно отображения . Итак, А есть образ счётного множества при отображении f. Поэтому А конечно или счётно.

Примеры представления в форме последовательности некоторых объединений:

  • = ;
  • = ;
  • = .

Определение 2. Действительное число называется алгебраическим, если является корнем многочлена с целыми коэффициентами.

Пример. Всякое рациональное число является алгебраическим, так как является корнем многочлена .

Теорема 9. Множество алгебраических чисел счётно.

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

Сопоставляя многочлену с целыми коэффициентами элемент (a0, a1, …, an) декартова произведения , получим биекцию между множеством всех многочленов An степени не выше n и декартовым произведением . Отсюда в силу счётности множества следует счётность множества An. Так как множество всех многочленов с целыми коэффициентами представляется в виде , то по теореме 8 множество A счётно. Учитывая, что многочлен степени n имеет не более n корней, получаем, что множество алгебраических чисел представляется в виде счётного объединения конечных множеств и, следовательно, по теореме 8 конечно или счётно. Причём конечность невозможна, так как уже множество рациональных чисел, являющееся подмножеством множества алгебраических чисел, бесконечно.

Теорема 10. Если множество B бесконечно, а множество А конечно или счётно, то .

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

Согласно теореме 3 множество B содержит счётное подмножество С. Множество как часть конечного или счётного множества A само конечно или счётно. Поэтому по теореме 8 множество счётно. Нетрудно проверить (и это предлагается проделать самостоятельно) справедливость следующих равенств:

  1. ;
  2. ;
  3. ;
  4. .

Так как множества C и счётны, то . Так как , и , то по теореме 3 главы 1 .

Следствие. Если a < b , то (a,b)~(a,b]~[a,b]. Пример биекции f между [0,1] и [0,1) даёт следующая формула .

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

Упражнения[править]

  1. Докажите, что множество точек плоскости с рациональными координатами счётно.
  2. Докажите, что множество интервалов с рациональными концами счётно.
  3. Пусть A — множество таких вещественных чисел, расстояние между любыми двумя из которых больше 1. Докажите, что множество A конечно или счётно.
  4. Докажите, что множество точек разрыва монотонной функции, определённой на всей числовой прямой, конечно или счётно.
  5. Докажите, что всякое множество попарно не пересекающихся кругов на плоскости конечно или счётно.
  6. Пусть A — множество таких точек плоскости, расстояние между любыми двумя из которых больше фиксированного положительного числа a. Докажите, что множество A конечно или счётно.
  7. Покажите, что множество конечных подмножеств множества (натурального ряда) счётно.
  8. Докажите, что множество таких треугольников на плоскости, координаты вершин которых рациональны, счётно.
  9. Докажите, что множество таких многоугольников на плоскости, координаты вершин которых рациональны, счётно.
  10. Будет ли счётным множество таких многочленов, коэффициентами которых служат алгебраические числа?
  11. Установите биекцию между [0,1] и (0,1).
  12. Установите биекцию между (0,2) и .
  13. Установите биекцию между внутренностью единичного круга на плоскости и его внешностью.
  14. Установите биекцию между внешностью единичного круга и плоскостью.