Счётные и несчётные множества – понятие, свойства и примеры

Множество — это совокупность или набор элементов. Количество этих элементов называется мощностью этой совокупности. Мощность пустого набора компонентов равна нулю. С размером конечных совокупностей тоже всё просто. У них можно пересчитать количество компонентов. А вот возможность посчитать компоненты бесконечности различает счётные и несчётные множества.

Счётные и несчётные множества - понятие, свойства и примеры

Разнообразие бесконечностей

Бесконечные множества содержат неограниченную последовательность элементов, объединенных общим признаком. Самые часто используемые из них в математике:

Счётные и несчётные множества - понятие, свойства и примеры

  • N — натуральные числа. Содержит все целые положительные номера.
  • Z — целые числа. Содержит в себе все положительные и отрицательные значения, а также нуль.
  • Q — рациональные числа. Оно включает в себя все суммы, которые можно представить в виде дроби, где в числителе и знаменателе будут целые числа.
  • I — иррациональные числа. Оно включает в себя все действительные значения, которые нельзя представить в виде дроби с целым числителем и знаменателем (пример: е, пи).
  • R — действительные числа. Включает в себя все точки числовой прямой.
  • Все они бесконечны, вовсе не означает, что они равномощны.

    Сравнение и отображение

    Числа в математике можно сравнивать друг с другом и выяснять, какое из них больше. С множествами можно производить аналогичные действия. Это будет называться их отображение друг в друга. Оно может быть дизъюнктивно, конъюнктивно и биективно. Это аналог числовых понятий «больше», «меньше» и «равно». Для того чтобы разобраться, как происходит это сравнение, нужно понятие подмножества.

    Счётные и несчётные множества - понятие, свойства и примеры

    Подмножеством некоторого набора компонентов называется любая часть компонентов этого набора. То есть, совокупность состоящее из чисел 1 и 3 является подмножеством множества чисел 1, 3 и 5. А они оба, в свою очередь, являются подмножествами совокупности нечётных чисел и т. д.

    Если каждому компоненту множества A можно сопоставить какой-то элемент подмножества совокупности В, то отображение А в В конъюнктивно или А меньше, чем В. Если при этом нельзя найти в наборе А подмножество, которое можно сопоставить с совокупностью В, то отображение В в А дизъюнктивно. Если же каждому компоненту из комплекса А можно сопоставить элемент из совокупности В и каждому компоненту из набора В можно сопоставить элемент из совокупности А, то эти множества отображаются друг в друге биективно. В таком случае говорят, что они эквивалентны.

    Для сравнения совокупностей можно использовать их мощность. Если мощность А меньше мощности В, то и множество А меньше, чем В. Если мощности равны, то сами наборы элементов эквивалентны.

    Сопоставление наборов элементов

    Казалось бы, используя свойства сравнения наборов элементов, можно найти соотношение мощностей бесконечных совокупностей. Ведь очевидно, что множество N является подмножеством совокупности Z, они оба являются подмножеством Q, а множества Q и I вместе составляют R. И отсюда, по определению, следует, что мощности соотносятся так: |N| < |Z| < |Q| < |R| > |I|, и загадкой остается только соотношение совокупностей Q и I. Но всё не так просто.

    Выяснение размера бесконечного комплекса компонентов — такая же задача, как определение размера конечной совокупности — пересчёт компонентов. Возможность посчитать и пронумеровать элементы бесконечной совокупности называется счётностью. Совокупность натуральных чисел — счётная. Элементам в этом случае легко присвоить порядковые номера. И все множества, которые эквивалентны N, тоже будут счётными. Его размер |N| = a.

    Z включает в себя N, а ещё все отрицательные числа и нуль. Но можно ли пересчитать и упорядочить его элементы? Легко: 0, 1, -1, 2, -2, 3 и т. д. То есть Z тоже счётно и эквивалентно N. Но уж Q точно должно быть более мощным, оно включает с себя ещё дробные числа. Но и их можно пронумеровать. Для этого надо представить матрицу: по горизонтали целые числа — значения числителя, а по вертикали — натуральные числа (значения знаменателя). Порядок следующий: 0, 1, -1, ½, -½, 2, -2, 1/3, -1/3, 3, -3, ¼, -¼… То есть Q равномощно N и тоже счётно.

    Счётные и несчётные множества - понятие, свойства и примеры

    Но если взять R, то его элементы пронумеровать не получится. Ведь между любыми двумя точками, а прямой всегда можно поставить ещё одну. То есть, совокупность R «бесконечна вглубь»: каждый промежуток между бесконечным количеством точек содержит в себе бесконечное количество точек. Значит, свойство R — несчётность. Такие «бесконечные вглубь» множества называют континуальными. И их мощность обозначается как |R| = c.

    Ещё одно важное свойство бесконечных множеств заключается в том, что если из бесконечной совокупности удалить (или добавить к ней) подмножество меньшей мощности, то размер исходной совокупности сохранится. Если из N убрать все числа от 1 до 10, то его мощность не уменьшится на 10, а останется прежней. Множество останется бесконечным и счётным: a — 10 = a.

    Счётные и несчётные множества - понятие, свойства и примеры

    Поскольку N отображается в R конъюнктивно (N является подмножеством R, но не имеет подмножества эквивалентного R), то |R|=c > a=|N|. А так как R представляет собой объединение совокупностей Q и I, то размер |I| = |R| – |Q| = c — a = c. Значит, I тоже континуально.

    Бесконечная мощность счётных и несчётных множеств может быть описана тремя формулами. Это два равенства и одно неравенство:

    • |N| = |Z| = |Q| = a
    • |R| = |I| = c
    • c > a.

    Совокупность всех точек интервала или отрезка на прямой тоже будет континуальна, так как на неё можно спроецировать всю совокупность точек действительной прямой R.

    Соотношение мощностей

    Континуальное множество больше счётного. Но какова их разница? Чтобы это вычислить, потребуется понятие булеан.

    Что такое булеан

    Есть некий набор компонентов V. Булеаном V будет называться комплекс всех его подмножеств. Как будут соотноситься размер булеана и самого V? Если V состоит из одного элемента, то его булеан будет состоять из двух элементов: пустого набора компонентов и самого V. Если V состоит из двух элементов, то булеан содержит 4 элемента: пустое множество, V и каждый из двух элементов. Если V содержит 3 элемента, то булеан содержит 8: пустое, само V, каждый из трёх его элементов в отдельности и каждую пару элементов (которых тоже три).

    То есть мощность булеана — это 2 в степени размера самого V. Булеан так и записывается 2^|V|. Размер булеана всегда будет больше, чем мощность самой совокупности.

    Результат сопоставления

    Счётные и несчётные множества - понятие, свойства и примеры

    Размер булеана любой счётной совокупности будет 2^a. Если рассматривать N, то его булеан будет состоять из пустоты, бесконечного числа элементов N, бесконечного числа пар элементов, бессчётного числа сочетаний элементов по 3, 4, 5 и так до бесконечности. Какому известному множеству можно сопоставить этот булеан?

    Так как это N — натуральные числа, то каждый элемент булеана — это последовательность чисел. Если представить каждую такую последовательность в виде знаков после запятой в десятичной дроби, то получатся координаты точек в интервале от 0 до 1, который эквивалентен R. Так как булеан N содержит бесконечное количество комбинации бесконечных десятичных дробей, то он покрывает все точки в этом интервале. Это нестрогое доказательство уравнения c = 2^a.

    Обозначения мощностей а и c происходят от слов account и continum, но именно такая последовательность букв порождает вопрос: а есть ли бесконечное множество мощностью b, которое меньше c, но больше a. Если и есть, то пока они неизвестны. А вот комплекс больший по мощности, чем c, есть. Это булеан континуального множества с мощностью 2^c. А у этого булеана тоже есть булеан с ещё большей мощностью.

    Бесконечные множества бывают счётными и несчётными. Счётными называют те, элементы в которых можно пересчитать, то есть эквивалентные совокупности натуральных чисел. К ним относятся само множество натуральных, а также целых и рациональных чисел. Среди несчётных выделяют континуальные множества, эквивалентные совокупности всех точек на прямой. К ним относятся действительные и иррациональные числа. Континуальность является булеаном счётного набора.

    Предыдущая
    МатематикаЧто такое многоугольник в математике - виды, свойства и примеры фигур с названиями
    Следующая
    МатематикаСочетательный закон сложения - формулировка, правило и примеры
    Помогли? Поставьте оценку, пожалуйста.
    Плохо
    0
    Хорошо
    0
    Супер
    0
    Мы в ВК, подпишись на нас!

    Подпишись на нашу группу в ВКонтакте, чтобы быть в курсе выхода нового материала...

    Вступить