Спонсор проекта:
Вначале мы вспомним то, что общеизвестно, чтобы любой неискушённый в математике человек смог разобраться.
Понятие числа и множества является одним из основных понятий в математике. Это простые, первичные понятия, которые не определяются через другие.
Скажем так: множество — это совокупность объектов любой природы, называемых элементами множества.
Множество обозначают большими буквами: А, В, …. N. Элементы множества обозначают малыми буквами: а, b, … n.
Запись x ∈ А означает, что элемент х принадлежит множеству А.
Если х не входит во множество А, то пишут x ∉ А.
Запись ∀ х ∈ А: a означает, что для всех (для любого) из множества имеет место некоторое утверждение обозначенное α.
Запись ∃ х0 ∈ А:α означает, что существует (найдётся) такой элемент х из множества А, для которого справедливо утверждение обозначенное α.
Множества бывают дискретные и непрерывные, конечные и бесконечные.
В нашей записи мы будем рассматривать в основном только дискретные (штучные) множества, которые состоят из элементов (штук).
Пример дискретного множества: количество арбузов в Африке, где элементом множества является арбуз. Пример непрерывного множества: количество точек в портняжном метре закройщика.
Строго определить можно так: непрерывные множества это такие множества, где между любыми двумя точками (элементами) всегда найдётся третья.
Где а1 а2 отрезок, ∃а3 ∈ Δ а1 а2 при Δ а1 а2 → 0 в пределе, то есть непрерывное множество, заполняющее полностью весь отрезок а1 а2.
Иногда говорят: отрезок а1 а2 заполнен всюду плотно или, что существует взаимно-однозначное соответствие соответствие между числами R и точками отрезка а1 а2.
Что такое взаимно-однозначное соответствие? В нашем случае, это для любой точки числовой оси
найдётся число а принадлежащее а ∈ R, где R множество вещественных чисел R=(-∞ +∞) и, наоборот, для каждого числа а на числовой оси найдётся точка а.
Отсюда вывод: все непрерывные множества бесконечны.
Дискретные множества — это такие множества, что между двумя любыми элементами существует мера различия, например расстояние которое не может быть меньше какой-то величины Δ.
То есть между любыми элементами дискретного множества есть разрывы.
Дискретные (точечные) множества могут быть как конечные, так и бесконечные. Множество считается заданным, если о любом объекте можно сказать принадлежит он этому множеству или нет.
Это вопрос касающейся количественной стороны множеств. Если множество конечное, то мы можем говорить о количестве его элементов, то есть, ответив на вопрос сколько, назвав конкретное натуральное число.
При этом легко определить в каком множестве элементов больше, а в каком меньше.
Сутью бесконечных множеств вопрос: «Сколько?» не имеет смысла — бесконечность не число!
Ещё более туманным является понятие > или < для бесконечных множеств. Понятие количества для бесконечных множеств заменяется понятием мощности. Мощность - инструмент количественного сравнения бесконечных множеств.
Эквивалентные множества считаются равномощными, то есть имеющие одинаковую мощность.
Вывод. Счётные множества могут быть занумерованы, у каждого элемента есть свой номер.
Множество чётных чисел N2={2n} счётно. Соответствие N2⟷N описывает 2n⟷n.
Множество целых чисел счётно Z 0⟷1, 1⟷2, (-1)⟷3, 2⟷4, (-2)⟷5 …, то есть Z{0, 1, −1, 2, −2, 3….}.
Свойства счётных чисел
Каждая точка плоскости получит свой натуральный номер и каждый натуральный номер получит свою точку, то есть существует взаимно-однозначное соответствие. Множество пар (P,S) из элементов двух счётных множеств P и S счётно.
Вывод. Множество Q = pq рациональных чисел счётно.
Доказали парадокс
Рациональных чисел столько же, сколько и натуральных по мощности.
Необходимо ещё доказать, что простых чисел бесконечно много. Будем доказывать это утверждение от обратного.
Пусть количество простых чисел конечно, где n- количество простых чисел, аn — наибольшее простое число, тогда произведение простых чисел составит а1·а2·а3·а4….аn.
Прибавим к полученному результату единицу и получим число а1·а2·а3·а4….аn+1.
Рассмотрим полученное число. Так как оно не делится ни на одно простое число и больше аn, а1·а2·а3·а4….аn+1>аn, следовательно, утверждение, что аn наибольшее простое ложно, а истина, в том, что простых чисел бесконечно много.
Докажем теперь следующее утверждение, что множество точек интервала (0;1) несчётно.
Все точки интервала (0;1) запишем в виде десятичной дроби х∈0,1⟷х=0, а1, а2, а3, … аn.
Будем доказывать от противного. Предположим, что все числа занумерованы (0,1)={x1, x2, x3, …xn}. Составим таблицу всех чисел (0,1)
x1 = 0,
a11,
a21, a31, ...
an1 x0≠х1, значит число x0 не занумеровано. Построим x0∈(0,1), которое не занумеровано, возьмём
a10 ≠ a11 Значит множество несчётно. Оказывается, что мощность точек на отрезке (0,1) несчётно. Мощность (0,1) называется мощностью континуума. То есть тогда получается, что любой отрезок и даже вся числовая прямая R имеют мощность континуума. Более того, оказывается, что мощность континуума имеют и все точки плоскости и даже трёхмерного пространства. Теорема Кантора гласит: никакое множество Х не равномощно множеству своих подмножеств, или любое множество менее мощно, чем множество всех его подмножеств. Проиллюстрируем на конечных множествах, что такое все подмножества. Пусть множества Х2={1; 2}, n=2, тогда его подмножества будут следующие Х2=Ø; 1; 2; 12=2n =22=4. Пусть множества Х3={1; 2; 3}, n=3, тогда его подмножества будут следующие Х3=Ø; 1, 2, 3, 12, 13, 23, 123=23=8. Пусть множества Х4={1; 2; 3; 4}, n=4, тогда его подмножества будут следующие Х4=Ø; 1, 2, 3, 4, 12, 13, 14, 23, 24, 34, 123, 124, 134, 234, 1234=24=16. Для любого конечного множества n - число элементов Хn={1, 2, 3, 4,….n}, количество подмножеств будет равно 2n штук.
x2 = 0,
a12, a22,
a32, ...
an2
x3 = 0,
a13, a23, a33, ...
an3
...
xn = 0,
a1n, a2n, a3n, ...
ann
...
x0 = 0, a10, a20, a30, ... an0
a20 ≠ a22
a30 ≠ a33
an0 ≠ ann
N — множество натурального ряда. N={1, 2, 3, 4, 5, 6, 7, 8, 9, 10,….}, мощность |N| счётна.
Р — множество простых чисел (числа, которые делятся на 1 и на себя) Р={1, 2, 3, 5, 7, 11, 13, 17, 19,….}, так же считается счётными |Р|.
То есть, N множество натурального ряда было равномощно множеству простых чисел Р.
Докажем, что это не так. Действительно, любое натуральное число, которое не является простым, можно представить в виде разложения на простые числа.
То есть, простые числа являются как бы кирпичиками для разложения составных чисел и натуральный ряд представится в виде N1={1, 2, 3, 2·2, 5, 2·3, 7, 2·2·2, 3·3, 2·5,….}.
Значит N1~N это по сути одно и тоже, что и N1=N. Только в множестве N1 составные числа даны в виде разложения на простые множители.
Следовательно, любое подмножество простых чисел в общем виде запишем так m=an1·ak2·ap3·as4·….anv. ∈ N, где индекс внизу — номер простого числа, а степень — сколько раз простое число повторяется в разложении.
Пример для иллюстрации:
m=24·32·52·7·11 m=2·2·2·2·3·3·5·5·7·11·277200 ∈ N
Следовательно, любое и каждое подмножество простых чисел будет записано m ∈ N.
Обозначим через |Р| множество всех подмножеств простых чисел |Р| ⊂ N принадлежит натуральному ряду.
Ещё говорят |Р| булеан В(Р)⊂ N и наоборот любое натуральное число можно представить как одно из подмножеств простых чисел, то есть N ⊂ |Р|.
Пример: 19470⟷2·3·5·11·59.
Отсюда вывод: между множеством натурального ряда N и множеством всех подмножеств простых чисел, существует взаимно-однозначное соответствие, или говорят — они эквивалентны N~|Р|, то есть между элементами существует биекция.
N натуральный ряд ⟷ множество всех подмножеств простых чисел Р.
Проиллюстрируем: 1=1; 2=2; 3=3; 4=2·2; 5=5; 6=2·3; 7=7; 8=2·2·2; 9=3·3; 10=2·5; 11=11; 12=2·2·3; 13=13; 14=2·7; 15=3·5; 16=2·2·2·2; 17=17; 18=2·3·3; 19=19; 20=2·2·5; 21=3·7;…. и т. д.
Теперь согласно теореме Кантора, любое множество менее мощно, чем множество всех его подмножеств. Значит мощность натурального ряда счётна.
Следовательно, и мощность всех подмножеств простых чисел счётно.
Отсюда, согласно теореме Кантора следует, что множество простых чисел меньше по мощности натурального ряда, меньше счётного множества.
Вывод: существует хотя бы одно бесконечное множество по мощности меньше счётного.
Это множество простых чисел: Р={1; 2; 3; 5; 7; 11; 13; 17; 19;….}.
Следовательно, существует, по крайней мере, три вида бесконечных множеств различной мощности. Самое слабое из них множество простых чисел Р, мощность его обозначаем как |Р|.
Множество всех подмножеств простых чисел порождает более мощное множество — счётное множество, или как ещё говорят булеан В(Р) равномощен N. В(Р)~N.
Аналогично множество всех подмножеств натурального ряда N булеан В(N) порождает множество R=(-∞+∞) множество континуума В(N)~R.
И так повторим, что мы доказали.
То, что множество всех подмножеств простых чисел Р булеан В(Р) совпадает (порождает) натуральный ряд N, то есть В(Р)~N.
Между элементами В(Р) и элементами N существует биекция (взаимно-однозначное соответствие): В(Р)⟷N.
Но так как множество натурального ряда N счётно, то и булеан Р: В(Р) счётен.
Согласно теореме Кантора, если В(Р) множество всех подмножеств счётно, то мощность простых чисел Р меньше мощности N счётно.
Следовательно, множество простых чисел Р, во-первых бесконечно, и во-вторых по мощности меньше счётного |Р|<В(Р) или |Р|<|N|.
Покажем определённую закономерность: Простые числа Р Р={1, 2, 3, 5, 7, 11, 13, 17, 19, 23….}
Множество простых чисел мощность |Р|.
Натуральный ряд N N={1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,….}
N натуральный ряд счётное множество мощность |N|.
Бесконечная прямая — мощность континуума.
Множество вещественных чисел R мощность континуума |R|. Р⊂N⊂R
Имеется зависимость: булеан В(Р)~N счётное множество, булеан В(N)~R континуум множеств.
Можно пофантазировать: булеан булеана В(В(Р))~R континуум или В2 (Р)~R продолжает континуум и ещё В3(Р)~ гиперконтинуум. Интуиция говорит, что других мощностей не бывает, но это пока гипотеза.
Приведём пару примеров в заключение:
Пусть диаметр Д=1, тогда длина окружности будет π=3,1415926…., то есть мы хотим сопоставить счётное множество Д=1 к трансцендентному π.
Д=1, π = 3,1415926….
Почему так относится длина окружности к диаметру одному Богу известно.
На этом всё.
И так существует 3 различных по мощности бесконечных числовых множеств:
Простые числа : P = { 1;2;3;5;7;11;13;17;19;23…}
Мощностью: │Р│
Натуральные: Р ряд N
N { 1;2;3;4;5;6;7;8;9;10;11;12…}
Счетные множества мощности │N│
Бесконечные всюду плотный отрезок R € (0;1) или – R , +R
Мощность континуума │R│
Множество вещественных чисел : P Ϲ N Ϲ R имеется зависимость булеан B │ P │ ~ N
Счётное множество. Булеан B │N │ ~ R континуум
Зададимся вопросом существует ли еще бесконечные числовые множества другой мощности , и сейчас докажем , что других числовых множеств нет.
Схематически это изображается так :
Применим знаменитый принцип экономии , он действует в природе, обществе, науке БРИТВА ОККАМА.
Не надо множить сущее без необходимости или по другому отсечь всё лишнее.
Для нашего примера существует три бесконечных числовых множества:
Р – простые числа
N – натуральный ряд
R – множество континуума
И других решений нет.
В поперечном сечении схема имеет мощности числовых множеств имеет ядро ,что является областью простых чисел.
Кольцо охватывающее ядро , является областью натурального ряда и внешнее кольцо – это мощность континуума в продольном сечении схемы.
R< | Область континуума |
N< | Область натурального ряда 1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16 |
P |
Область простых чисел 1;2;3;5;7;11;13;17;19;23;29… |
Видим ,что по мощности
│P│< │N│< │R│ Булеан В|Р| ~ N
То есть область натурального ряда или что одно и тоже счётное множество N опирается на область простых чисел . И держит над собой область континуума,
Булеан B │N│ ~ R
Вот и вся тайна мощности бесконечных числовых множеств.
© 2016–2023, Анатолий Руденко