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

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

  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 существует биекция , а зто означает, что элементы множества А можно записать в виде последовательности a1, a2,... an... в котороЙ нет равных членов, и каждый элемент из A равен одному из членов последовательности.

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

Теорема 1: Множество всех пар натуральных чисел счетно, то есть .

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

Доказательство проиллюстрируем следующим рисунком (в отличие от русской матем.символики здесь "/" обозначает не дробь, а стоит вместо запятой, обозначая упорядоченную пару-элемент N*N):

Diagonal argument.svg

.

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

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

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

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

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

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

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

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

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

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

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

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

Пусть множество A счётно, а множество B произвольно и 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,b) счётно. Дейтвительно, это множество бесконечно и является частью счётного множества , поэтому по теоремам 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: Действительное число называется алгебраическим, если оно является корнем многочлена с целыми коэффициентами. Пример: Всякое рациональное число является алгебраическим, так как оно есть корень многочлена qx-p.

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

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

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

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

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

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

Очевидно, и . Так как B\C~B\C, и в силу счётности множеств 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>0. Доказать, что A конечно или счётно.
  7. Показать, что множество всех конечных подмножеств натурального ряда счётно.
  8. Доказать, что множество всех треугольников на плоскости, у которых координаты всех вершин рациональны, счётно.
  9. Доказать, что множество всех многоугольников на плоскости, у которых координаты всех вершин рациональны, счётно.
  10. Будет ли счетным множество всех многочленов, коэффициентами которых служат алгебраические числа?
  11. Установите биекцию между [0,1] и (0,1).
  12. Установить биекцию между (0,2) и .
  13. Установить биекцию между внутренностью единичного круга на плоскости и его внешностью.
  14. Установить биекцию между внешностью единичного круга и всей плоскостью.