![]() Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Мощность множества. Теорема о мощности множества действительных чисел.
Мощностью конечного множества М называется количество его элементов. Обозначается. Если, то множества А и В называются равномощными. Если между двумя конечными множествами А и В существует взаимно-однозначное соответствие, то эти множества равномощны. Этот очевидный факт позволяет, во-первых, установить равенство мощности этих множеств, не вычисляя их. Во-вторых, часто можно вычислить мощность множества, установив его однозначное соответствие с множеством, мощность которого известна, либо легко вычисляется. Теорема 1.1. Если мощность конечного множества А равна, то число всех подмножеств А равно, то есть. Множество всех подмножеств множества М называется булеаном. Мощность такого множества называется степенью множества М и обозначается. Для конечных множеств выполняется:. Определение. Множества А и В называются равномощными, если между их элементами можно установить взаимно-однозначное соответствие. Заметим, что для конечных множеств это утверждение легко доказать. Для бесконечных множеств оно определят само понятие равномощности. Определение. Множество А называется счётным, если оно равномощно множеству натуральных чисел:. Очень упрощённо можно сказать, что данное бесконечное множество является счётным, если для его элементов можно установить нумерацию с помощью натуральных чисел. Без доказательства примем ряд важных фактов: 1. Любое бесконечное подмножество множества натуральных чисел является счётным. 2. Множество является счётным. 3. Множество рациональных чисел является счётным (является следствием из предыдущего утверждения). 4. Объединение конечного числа счётных множеств является счётным. 5. Объединение счётного числа конечных множеств является счётным. 6. Объединение счётного числа счётных множеств является счётным. Все эти утверждения, как можно видеть, позволяют достаточно успешно устанавливать факт, что данное множество является счётным. Однако сейчас будет показано, что не всякое бесконечное множества является счётным; существует множества большей мощности. Забиваем Сайты В ТОП КУВАЛДОЙ - Уникальные возможности от SeoHammer
Каждая ссылка анализируется по трем пакетам оценки: SEO, Трафик и SMM.
SeoHammer делает продвижение сайта прозрачным и простым занятием.
Ссылки, вечные ссылки, статьи, упоминания, пресс-релизы - используйте по максимуму потенциал SeoHammer для продвижения вашего сайта.
Что умеет делать SeoHammer
— Продвижение в один клик, интеллектуальный подбор запросов, покупка самых лучших ссылок с высокой степенью качества у лучших бирж ссылок. — Регулярная проверка качества ссылок по более чем 100 показателям и ежедневный пересчет показателей качества проекта. — Все известные форматы ссылок: арендные ссылки, вечные ссылки, публикации (упоминания, мнения, отзывы, статьи, пресс-релизы). — SeoHammer покажет, где рост или падение, а также запросы, на которые нужно обратить внимание. SeoHammer еще предоставляет технологию Буст, она ускоряет продвижение в десятки раз, а первые результаты появляются уже в течение первых 7 дней. Зарегистрироваться и Начать продвижение Теорема 1.2 (теорема Кантора). Множество всех действительных чисел из отрезка не является счётным. Доказательство: Допустим, что множество является счётным и существует его нумерация. Поскольку любое действительное число можно представить в виде бесконечной десятичной дроби (периодической или непериодической), то проделаем это с числами данного множества. Расположим их в порядке этой нумерации: Теперь рассмотрим любую бесконечную десятичную дробь вида, организованную таким образом, что и так далее. Очевидно, что данная дробь не входит в рассматриваемую последовательность, поскольку от первого числа она отличается первой цифрой после запятой, от второго – второй цифрой и так далее. Следовательно, мы получили число из данного интервала, которое не пронумеровано и, таким образом, множество не является счётным. Его мощность называется континуум, а множества такой мощности называются континуальными. Приведённый метод доказательства называется диагональным методом Кантора. Следствие 1. Множество действительных чисел континуально. Следствие 2. Множество всех подмножеств счётного множества континуально. Как показывается в теории множеств (с помощью метода, аналогичного приведённому выше), для множества любой мощности множество всех его подмножеств (булеан) имеет более высокую мощность. Поэтому не существует множества максимальной мощности. Например, множество-универсум, описанное Кантором должно содержать все мыслимые множества, однако оно само содержится в множестве своих подмножеств в качестве элемента (парадокс Кантора). Получается, что множество не является множеством максимальной мощности.
|