Какие свойства счетных множеств
КАТЕГОРИИ:
Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)
1. Всякое подмножество счетного множества конечно или счетно.
Доказательство. Пусть А – счетное множество и B Í А. Поскольку А счетно, то занумеруем его элементы и построим из них последовательность
a1, a2, a3, . . .
Из этой последовательности выделим все элементы, принадлежащие множеству B, т.е. рассмотрим подпоследовательность
Возможны следующие случаи:
1) Множество B конечно – тогда теорема верна.
2) Множество B бесконечно. Поскольку элементы множества B занумерованы, то в этом случае оно является счетным, что и требовалось доказать.
2. Объединение любого конечного или счетного множества счетных множеств снова является счетным.
Доказательство. Пусть множества А1, A2, . . . , Аn, . . . – счетные. Если их число не более, чем счетно, то множества можно занумеровать и расположить принадлежащие им элементы в таблицу
А1 = {a11, a12, a13, . . .}
А2 = {a21, a22, a23, . . .}
А3 = {a31, a32, a33, . . .}
. . . . . . . . . . . . . . . . .
Пусть B = . Построим последовательность подобно тому, как это было сделано при доказательстве счетности Q.
b1 = a11, b2 = a12, b3 = a21, b4 = a31, b5 = a22, . . . (1)
Если множества Аi попарно пересекаются (Аi ÇАj ¹ Æ), то в последовательность (1) не включаются те элементы, которые уже занумерованы. Таким образом, построено взаимно однозначное соответствие между множествами B и N. Следовательно, множество B счетно.
3. Всякое бесконечное множество содержит счетное подмножество.
Доказательство. Пусть М – произвольное бесконечное множество. Выберем в нем произвольный первый элемент и обозначим его a1 , затем – элемент a2 и т.д. Получаем последовательность a1, a2, . . . , которая не может оборваться на каком-то элементе, т.к. М бесконечно. Следовательно, данная последовательность образует счетное подмножество множества М.
Доказанная теорема позволяет утверждать, что среди бесконечных множеств счетное множество является самым “маленьким”.
Если множество конечно или счетно то говорят, что оно не более, чем счетно.
Дата добавления: 2014-01-11; Просмотров: 3113; Нарушение авторских прав?
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
Рекомендуемые страницы:
Читайте также:
Источник
Понятие равномощности
множеств и его свойства позволяют
выделить классы равномощных множеств.
Интересно знать, как много существует
неравномощных множеств и иметь в
некотором смысле «эталонные множества»,
чтобы, сравнивая с ними другие, было
легче устанавливать равномощность
множеств или её отсутствие.
1. Конечных,
но не равномощных множеств, бесконечно
много. Их классов столько же, сколько
натуральных чисел.
2. Бесконечных,
но не равномощных множеств, также
бесконечно много.
Возникает
вопрос: есть ли среди бесконечных
множеств множество наименьшей мощности?
Да. Это счётные множества.
Определение 1.ПустьN– множество
натуральных чисел. МножествоSназываетсясчётным
множеством,если оно равномощноN, то естьSN.
Мощность
счётного множества имеет специальное
обозначение:
(первая буква алфавита иврит, читается
«алеф-нуль»). Мы будем обозначать мощность
счётного множества буквойа:
m(S)=a.
Примеры счётных множеств
1. 2N;
2. Q;
3.
Z;
4. Множество
квадратов натуральных чисел.
Основные свойства счётных множеств
Теорема 1.Для
того чтобы множествоSбыло счётным необходимо и достаточно,
чтобы его элементы можно было занумеровать
в последовательность, члены которой
попарно различны:
.
Доказательство:
1. Необходимость.
Пусть S– счётное множество, тогда существует
биекцияf: NS.
В этой биекции образ элементаnобозначимаn,
тем самым будут занумерованы все элементы
множестваS, то есть.
Так как все элементы множестваSразличны, то и все члены последовательностипопарно различны.
2.
Достаточность.
Пусть
,аnпопарно различны. Сопоставим элементуаnего
номерn.Полученное
соответствие изSвNявляется биекцией. Следовательно, по
определениюS– счётное
множество.
Теорема
2.Во всяком бесконечном множествеА имеется счётное подмножество.
Доказательство:
Возьмём во
множестве Апроизвольный элемент.
Множество
бесконечное (доказывается от противного).
Из множества
выберем элемент.
Множество
– бесконечное. Из множества
выбираем элементи так далее. Так какА– бесконечное
множество, то этот процесс продолжим
до бесконечности. В результате получим
последовательность.
Так как во множествеАвсе элементы
попарно различны, по теореме 1S– счётное множество.
Следствие.
Счётная мощность является
наименьшей из мощностей бесконечных
множеств.
Доказательство:
Пусть А –
произвольное бесконечное множество.
По теореме 2 оно содержит счётное
подмножествоS, то
естьm(S)=а.
Так какS,
тоm(S)m(А)илиаm(А).
Теорема3.Всякое бесконечное подмножествоВсчётного множестваSсчётно:
ВS;
m(S)=а
m(В)=а.
Доказательство:
Так как ВS,тоm(В)m(S)=а.
Но по следствиюm(В)а.Таким образом,m(В)аиm(В)а.
По теореме Кантора-Бернштейнаm(В)=а.
Теорема 4.Бесконечное множествоВсчётно,
если существует сюрьекцияfкакого-нибудь счётного множестваSнаВ.
Доказательство:
Не умоляя
общности доказательства можно считать,
что S=N.
По условиюf: N– сюрьекция (В– это образNпри отображенииf, то
естьf(N)=В).
Возьмём любой элемент,b– образ какого-либо
натурального числа. При отображенииfего прообразом является некоторое
множество натуральных чиселf-1(b),
состоящее из тех элементов, образ которых
равенb, то естьf-1(в)={nN:
f(n)=b}.
В этом множестве существует наименьшее
натуральное число.
Рассмотрим множество– бесконечное множество (От противного:
пустьАконечно. Тогда для бесконечного
числа элементовсуществует один элементN, то есть
одному элементуnNсоответствует бесконечно много элементов.
Это означает, что соответствиеNне является отображением. Получили
противоречие с условием. Следовательно,
предположение не верно.). Так какАNиА– бесконечное множество, то по
теореме 3 множествоАсчётно.
Рассмотрим соответствие,при котором.
Это соответствие является биекцией.
Следовательно,АВиВсчётно.
Определение
2. Кортежемназывается конечное множество элементов.
Теорема
5.МножествоКвсевозможных
кортежей, составленных из натуральных
чисел, счётно.
Доказательство:
Пусть Р– множество всех простых чисел,
расположенных в порядке возрастания:
Р=(рк),
р1=2, р2=3,
р3=5,… .
Возьмём любой
кортеж из натуральных чисел (n1,n2,…,nk)и поставим в соответствие ему число
N.
Например,
.
На основании теоремы
о единственности разложения чисел на
простые множители различным кортежам
соответствуют различные натуральные
числа, то есть если
,
то.
Рассмотрим
соответствие f:KА,
гдеА– некоторое бесконечное
подмножество множестваN,
то естьА– счётно (по теореме 3).
Указанное соответствие является
биекцией. Так какАсчётно и,
тоKтакже счётно.
Определение 3.Декартовым произведением
А1А2…Аmназывается множество, состоящее из
кортежей,
где.
Теорема
6.Декартово произведение
конечного числа счётных множеств счётно.
Доказательство:
Пусть А1,А2,…,Аm– счётные множества. Докажем, чтоА1А2…Аm=А
– счётное множество. Счётные множестваАk,,представим в виде последовательностей
;
;
…………………………………
;
.
Возьмём
,
поставим ему в соответствие кортеж из
натуральных чисел.
Обозначим.
Указанное соответствие является биекциейf:А1.
Но1– бесконечное подмножество счётного
множестваиз
теоремы 5. По теореме 31счётно. Так какf–
биекция, тоА счётно.
Теорема
7. Объединение конечной или
счётной совокупности счётных множеств
счётно.
Доказательство:
Пусть
А1,А2,…,Аm,…
– счётные множества. Докажем, что– счётное множество.
1. Пусть
– объединение счётного числа счётных
множеств. Счётные множестваАmпредставим в виде последовательностей
;
;
…………………………………
;
……………………………………
,
где
– это элемент множествас номером.
Рассмотрим множествоN2=N´N. Оно счётно по теореме 6. Возьмём любой
элемент(p,q)ÎN2.
Сопоставим ему элемент.
Так как любой элементпринадлежит хотя бы одному из множествАpи имеет
в нём определённый номерq,
то указанное соответствие является
сюрьекциейf:N2®A.
Так как множествоN2счётно, то по теореме 4 множествоАсчётно.
2. Пусть
– объединение конечного числа счётных
множеств. Положим
,
тогда
.
По первой части теоремы множествоАсчётно.
Теорема
8.МножествоQрациональных чисел счётно.
Доказательство:
Представим
множество Qв виде
Q
=Q+Q–,
Q+={m/n,
m,nN,
(m,n)=1},
={m/n,
m,n},
Q+,
,
где Qn– множество дробей видас фиксируемым знаменателем.
Очевидно, чтоQn,
то естьQnсчётное множество. Тогда по теореме 7
также счётно. НоQ+является бесконечным подмножеством
счётного множества
.
Тогда по теореме 3 множествоQ+счётно. В силу того, чтоQ+~Q–,
заключаем, что множествоQ–счётно. По теореме 7 множествоQ+Q–счётно, тогда по теореме 1 множествоQсчётно.
Теорема
9.Объединение счётной совокупности
конечных множеств конечно или счётно.
Доказательство:
Пусть
– конечные множества,.
1. Множество
А может быть конечным (например,
если все множестваАkравны:N).
2. Рассмотрим
случай, когда множество А– бесконечно.
Пусть множествоАkимеетnkэлементов. Присоединим к этому множеству
все натуральные числа, большие чемnk,
получим счётное множествоВk.
Проделаем это для всехk.
Рассмотрим множество.
По теореме 7 множествоВсчётно. НоАи является
его бесконечным подмножеством. По
теореме 3 множествоАсчётно.
Теорема 10.Мощность бесконечного множества не
изменяется, если к нему присоединить
конечное или счётное множествоS.
Доказательство:
Случай
конечного множества Sне интересен, так как является следствием
теоремы 1. Рассмотрим случай счётного
множестваS. Не нарушая
общности доказательства будем считать,
что=.
По теореме 2 множествоВможно
представить в виде,
гдеS1–
счётное множество множестваS.
Тогда
.
Так как
множества
иS1– счётные
множества, то существует биекцияf:S1.Рассмотрим отображение,
определяемое следующим образом:
Это отображение
является биекцией
.
Следовательно,,
то есть.
Определение
4.Если бесконечное множество
не является счётным, то оно называетсянесчётным.
Теорема 11. Мощность
несчётного множестваМне изменяется,
если из него удалить конечное или счётное
подмножествоS.
Доказательство:
Пусть М– несчётное множество, тогдаМS– бесконечное множество (доказательство
от противного). Тогда по теореме 10
.
Определение 5.Числоназываетсяалгебраическим,если оно является корнем некоторого
многочлена с целыми коэффициентами.
Теорема
12. МножествоАвсех
алгебраических чисел счётно.
Доказательство:
Пусть М– множество всех многочленов с целыми
коэффициентами,Мn– множество многочленов с целыми
коэффициентами и с фиксированной
степеньюn. Возьмём
любой многочлен,,
из множестваМn.
Этому многочлену сопоставим кортеж из
его коэффициентов(аn
,…,а0). Множество таких
кортежей обозначимТ. Очевидно, чтоТ=(Z{0})Zn. Построенное
соответствие является биекциейf:МnT.
Так как множествоZсчётно, то по теореме 3 множествоZ{0}также счётно. Следовательно, по теореме
6 множествоТсчётно. Так какf– биекция, тоМn~T,
то естьМnсчётно. Так каки все множестваМnсчётны, то по теореме 7 множествоМсчётно. Итак, множество всех многочленов
с целыми коэффициентами счётно и любой
многочлен имеет конечное число корней.
Следовательно, множествоАпредставляет
собой объединение счётного числа
конечных множеств. Так какА–
бесконечное множество, то по теореме 9
оно счётно.
Соседние файлы в папке ЛекцииТФДП
- #
- #
- #
- #
- #
- #
- #
- #
- #
- #
Источник
ЛЕКЦИЯ № 3
Мощность множества
Рассмотрим множество всех молекул в земной атмосфере. Это множество содержит очень большое число элементов (примерно 1.02 77 010 541 0), но оно конечное, т.е. существует такая константа, которая больше числа элементов этого множества. Помимо конечных существуют бесконечные множества. Одной из задач теории множеств является определение числа элементов множества и исследование вопроса о сравнении друг с другом двух множеств по количеству элементов.
Для конечных множеств самой разной природы эта задача легко решается непосредственным подсчетом. Для бесконечных множеств вопрос о сравнении невозможно решить как для конечных, с помощью подсчета. Поэтому Кантор предложил для сравнения двух бесконечных множеств установить между ними взаимно однозначное (биективное) отображение. Рассмотрим примеры установления такого отображения.
Пример 1. В качестве множества А рассмотрим интервал на числовой прямой, пусть А=(-1, 1), а в качестве множества В – множество действительных чисел R. Это множества одинаковой мощности, т.к отображение f(x) = tg(px/2), хÎА позволяет установить между ними искомое взаимно-однозначное соответствие.
Пример 2. Пусть А = [-1,1], В = (-1,1). Строим отображение f : A ® B по следующему правилу: выделим в А последовательность -1, 1, 1/2, 1/3, 1/4, . . . , 1/n и положим f(-1)=1/2, f(1)=1/3, f(1/2)=1/4, f(1/3)=1/5, т.е. f(1/n) = 1/(n+2), а все точки, не входящие в эту последовательность отобразим сами в себя, т.е. f(x) = =x. Следовательно, открытый и замкнутый интервалы эквивалентны.
Мощность множества является обобщением понятия числа элементов множества. Если взаимно однозначное отображение множеств установлено, значит, по определению, в обоих множествах одинаковое число элементов или мощность одного множества равна мощности другого множества.
Мощность – это то общее, что есть у двух эквивалентных множеств. Мощность множества A обозначается m(A) или |A|. Таким образом, m(A)=m(B), если A~B.
Если множество A эквивалентно какому-либо подмножеству множества B, то мощность A не больше мощности B (т.е. m(A)£m(B)). Если при этом множество B не эквивалентно никакому подмножеству множества A, то m(A)< m(B).
Простейшим среди бесконечных множеств является множество натуральных чисел N.
ОПРЕДЕЛЕНИЕ. Назовем счетным всякое множество, эквивалентное множеству N. Другими словами, счетным называется всякое множество, элементы которого можно перенумеровать или составить из них бесконечную последовательность.
Примеры счетных множеств.
1. Множество целых чисел Z={0, ±1, ±2, . . .}.Построим из его элементов последовательность: a1=0; a2=-1; a3=1; a4=-2; a5=2; . . . Формулу для вычисления ее общего члена можно записать в виде
2. Множество Q всех рациональных чисел.
Докажем счетность этого множества. Как известно, рациональные числа – это дроби вида p/q, где pÎZ, qÎN.
Запишем их в виде таблицы из бесконечного числа строк и столбцов
0/1®1/1 2/1®3/1 . . .
-1/1 -2/1 -3/1 -4/1 . . .
¯
1/2 2/2 3/2 4/2 . . .
-1/2 -2/2 -3/2 -4/2 . . .
. . . . . . . . . . . . .
Из элементов этой таблицы построим последовательность по следующему правилу a1=0/1; a2=1/1; a3=-1/1; a4=1/2; a5=-2/1; a6=2/1 и т.д., двигаясь в направлении, указанном стрелками. Очевидно, в эту последовательность войдут все рациональные числа. Более того, в ней многие числа будут повторяться. Следовательно, мощность множества элементов данной последовательности не меньше мощности множества рациональных чисел. С другой стороны, эта последовательность эквивалентна натуральному ряду, т.е. подмножеству множества Q, а значит она не может иметь мощность, большую чем Q. Значит, множество рациональных чисел счетно.
Бесконечное множество не являющееся счетным называется несчетным.
1. Всякое подмножество счетного множества конечно или счетно.
ДОКАЗАТЕЛЬСТВО. Пусть А – счетное множество и BÍА. Поскольку А счетно, то занумеруем его элементы и построим из них последовательность
a1, a2, a3, . . .
Из этой последовательности выделим все элементы, принадлежащие множеству B, т.е. рассмотрим последовательность
an1, an2, an3, . . .
Возможны следующие случаи:
1) множество B конечно;
2) множество B бесконечно.
Поскольку элементы множества B занумерованы, то во втором случае оно является счетным, что и требовалось доказать.
2. Объединение любого конечного или счетного множества счетных множеств снова является счетным.
ДОКАЗАТЕЛЬСТВО. Пусть множества А1, A2, . . . , Аn, . . . – счетные. Если их число не более, чем счетно, то множества можно занумеровать и расположить принадлежащие им элементы в таблицу
А1={a11, a12, a13, . . .}
А2={a21, a22, a23, . . .}
А3={a31, a32, a33, . . .}
. . . . . . . . . . . . . . . . .
Пусть B=. Построим последовательность подобно тому, как это было сделано в п. 4 при доказательстве счетности Q.
b1=a11, b2=a12, b3=a21, b4=a31, b5=a22, . . . (1)
Если множества Аi попарно пересекаются (Аi ÇАj ¹Æ), то в последовательность (1) не включаются те элементы, которые уже занумерованы. Таким образом, построено взаимно однозначное соответствие между множествами B и N. Следовательно, множество B счетно.
3. Всякое бесконечное множество содержит счетное подмножество.
ДОКАЗАТЕЛЬСТВО. Пусть М – произвольное бесконечное множество. Выберем в нем произвольный первый элемент и обозначим его a1 , затем – элемент a2 и т.д. Получаем последовательность a1, a2, . . . , которая не может оборваться на каком-то элементе, так как М бесконечно. Следовательно, данная последовательность образует счетное подмножество множества М.
Доказанная теорема позволяет утверждать, что среди бесконечных множеств счетное множество является самым “маленьким”.
Если множество конечно или счетно то говорят, что оно не более, чем счетно.
Рассмотренные примеры и свойства могут создать впечатление, что все бесконечные множества счетны. Однако, это далеко не так, и для доказательства этого достаточно построить контрпример, т.е. предъявить бесконечное множество, не являющееся счетным.
ТЕОРЕМА. Множество всех бесконечных бинарных последовательностей, т.е. состоящих из 0 и 1, несчетно.
ДОКАЗАТЕЛЬСТВО. Предположим противное, т.е. что эти последовательности можно занумеровать. Пусть P1, P2, . . . – последовательности, где P1={a11, a12, a13, . . .}, P2={a21, a22, a23, . . .} и т.д., где аij=0 или аij=1.
Построим последовательность P, не содержащуюся в этом списке. Такая последовательность существует, например, P={1-a11, 1-a22, 1-a33, . . .}. Очевидно, что ее элементы равны 0 или 1, причем она не равна никакой другой из списка, потому что отличается от последовательности P1 по крайней мере первым элементом, от P2 – по крайней мере вторым и т.д. Таким образом, построенная последовательность отличается от любой из занумерованных последовательностей хотя бы одним элементом. Следовательно, множество всех бинарных последовательностей занумеровать невозможно, а это означает, что оно несчетно.
Источник