Несчётное множество


Несчётное множество

В теории множеств счётное мно́жество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами. Более формально: множество X является счётным, если существует биекция X\to{\mathbb N}, где {\mathbb N} обозначает множество всех натуральных чисел. Другими словами, счётное множество — это множество, равномощное множеству натуральных чисел.

Счётное множество является «наименьшим» бесконечным множеством, то есть в любом бесконечном множестве найдётся счётное подмножество. Мощность множества всех натуральных чисел обозначается символом \alef_0 (произносится: "алеф-нуль").

Содержание

Свойства

  1. Любое подмножество счётного множества конечно или счётно;
  2. Объединение конечного или счётного числа счётных множеств счётно;
  3. Прямое произведение конечного числа счётных множеств счётно;
  4. Множество всех конечных подмножеств счётного множества счётно;
  5. Множество всех подмножеств счётного множества континуально и, в частности, не является счётным.

Связанные понятия

Несчётное множество — такое бесконечное множество, которое не является счётным. Таким образом, любое множество является либо конечным, либо счётным, либо несчётным.

Примеры

Множество рациональных чисел и множество алгебраических чисел счётны, однако множество вещественных чисел континуально и, следовательно, несчётно.

См. также


Wikimedia Foundation. 2010.

Смотреть что такое "Несчётное множество" в других словарях:

  • несчётное множество — понятие теории множеств; бесконечное множество, мощность которого больше, чем мощность счётного множества. Например, множество всех действительных чисел  несчётное множество. * * * НЕСЧЕТНОЕ МНОЖЕСТВО НЕСЧЕТНОЕ МНОЖЕСТВО, понятие теории множеств; …   Энциклопедический словарь

  • Счётное множество — Не следует путать с перечислимым множеством. В теории множеств, счётное множество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами. Более формально: множество является счётным, если существует биекция ,… …   Википедия

  • счётное множество — понятие теории множеств, бесконечное множество, элементы которого возможно занумеровать натуральными числами. Множество всех рациональных чисел и даже множество всех алгебраических чисел счётны, однако множество всех действительных чисел несчётно …   Энциклопедический словарь

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

  • СЧЁТНОЕ МНОЖЕСТВО — понятие теории множеств, бесконечное множество, элементы к рого возможно занумеровать натуральными числами. Множество всех рациональных чисел и далее множество всех алгебр. чисел счётны, однако множество всех действит. чисел несчётно …   Естествознание. Энциклопедический словарь

  • МНОЖЕСТВО — набор, совокупность, собрание к. л. объектов, называемых его элементами, обладающих общим для всех них характеристич. свойством. Понятие M. принадлежит к числу первоначальных матем. понятий и может быть пояснено только при помощи примеров. Так,… …   Физическая энциклопедия

  • Несчетное множество — В теории множеств счётное множество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами. Более формально: множество X является счётным, если существует биекция , где обозначает множество всех натуральных… …   Википедия

  • Бесконечное множество — множество, не являющееся конечным. Можно дать ещё несколько эквивалентных определений бесконечного множества: Множество, в котором для любого натурального числа найдётся конечное подмножество из элементов. Множество, в котором найдётся счётное… …   Википедия

  • ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… …   Физическая энциклопедия

  • Сепарабельное пространство — (от лат. separabilis  отделимый) топологическое пространство, содержащее конечное или счётное всюду плотное множество. Многие пространства, возникающие в математическом анализе и геометрии, являются сепарабельными. Сепарабельные… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.