Размещено на http://www.allbest.ru/

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

Определение 1: Множество A называется счётным, если оно эквивалентно множеству всех натуральных чисел. Иначе говоря, для счетного множества A существует биекция , а зто означает, что элементы множества А можно записать в виде последовательности a₁, a₂,... a_n... в котороЙ нет равных членов, и каждый элемент из A равен одному из членов последовательности.

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

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

.

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

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

Рис.

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

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

Доказательство проведём методом математической индукции.1) Пусть множества A₁ и A₂ счётные, то есть и . Тогда по теореме 2 из главы "Эквивалентные множества" . Так как по предыдущей теореме , то .2) Допустим, что теорема верна для случая n сомножителей, и докажем её справедливость для (n+1) сомножителя. Пусть множества A₁, A₂,... A_n+1 счётны. Сопоставляя элементу ((a₁,a₂,...a_n),a_{n + 1}) из элемент (a₁,a₂,...a_n,a_{n + 1}) из , получим 6иекцию множества на множество . Следовательно, . Но по предположению индукции . Поэтому, применяя уже доказанный частный случай теоремы для декартова произведения двух сомножителей, получим .Следовательно, и .Пример: Множество всех точек на плоскости с целыми координатами счетно. Действительно, это множество есть

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

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

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

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

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

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

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

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

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

Пусть множество A счётно, а множество B произвольно и f:A>B- некоторое отображение. Требуется доказать, что множество C = f(A) конечно или счётно. Выберем для любого элемента в его полном прообразе f^-1 произвольным образом точку a_c. В результате образуется множество , являющееся частью счётного множества A, и потому, согласно <теореме 4'>, конечное или счётное. Так как для различных элементов c и c' из C их полные прообразы f^-1(c) и f^-1(c') не пересекаются, то , и, следовательно, соответствие является биекцией множества C на множество A₁. Поэтому вместе с множеством A₁ и множество C конечно или счётно.

Теорема 6: Множество счётно.

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

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

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

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

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

Как известно, всякий интервал содержит бесконечно много рациональныч точек. Выберем из каждого интервала Д_x одну рациональную точку r_x. Получившееся множество как часть счётного множества конечно или счётно. Так как исходное множество интервалов , очевидно, эквивалентно множеству A, то оно тоже конечно или счётно.

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

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

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

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

a_n1, a_n2,... a_nm..., (*)

причём, если A_n конечно и содержит k_n элементов, то будем считать, что первые k_n членов этой последовательности попарно различны и исчерпывают всё множество A_n, а для m>k_n, полагаем a_nm=a_nkn.

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

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

·

·

·

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

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

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

Сопоставляя многочлену a₀ + a₁x + ... + a_nxⁿ с целыми коэффициентами элемент (a₀,a₁,...a_n) из декартова произведения , получим 6иекцию между множеством всех многочленов A_n степени не выше n и декартовым произведением . Отсюда в силу счетности множества следует счётность множества A_n. Так как множество всех многочленов с целыми коэффициентами представляется, очевидно,в виде , то по теореме 8 множество A счётно. Наконец, учитывая, что многочлен степени n имеет не более n корней, получаем, что множество всех алгебраических чисел представляется в виде счетного объъединения конечных множеств и, следовательно, по теореме 8 конечно или счетно, причем конечность невозможна. так как уже множество рациональных чисел, являющееся подмножеством множества алгебраических чисел, бесконечно.

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

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

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

1.

2.

Очевидно, и . Так как B\C~B\C, и в силу счётности множеств C и они тоже эквивалентны, то по теореме 3 главы 1

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

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

Размещено на Allbest.ru