Множества чисел в математике¶

Множество чисел — одно из базовых понятий математики, обозначающее совокупность объектов числовой природы, объединённых общим свойством или правилом построения. Числовые множества лежат в основе арифметики, алгебры, математического анализа и теории множеств; их изучают с точки зрения состава, мощности, упорядоченности и замкнутости относительно операций.

¶Общая характеристика

В математике множество понимается как совокупность различимых объектов, называемых элементами. Числовое множество — частный случай: его элементы суть числа. Запись \(a \in A\) означает, что число \(a\) принадлежит множеству \(A\); запись \(b \notin A\) — что не принадлежит. Множество может задаваться перечислением элементов, описанием свойства или формулой.

Ключевые характеристики числовых множеств:

• Мощность — количество элементов; различают конечные, счётные и несчётные множества.
• Упорядоченность — наличие отношения «меньше — больше».
• Плотность — между любыми двумя элементами существует третий (например, у рациональных чисел).
• Непрерывность — отсутствие «пробелов» (у вещественных чисел).
• Замкнутость относительно операции — результат операции над элементами множества снова принадлежит ему.

¶Основные числовые множества

¶Натуральные числа

Натуральные числа \(\mathbb{N}\) — числа, возникающие при счёте предметов: 1, 2, 3, … В российской традиции к ним иногда относят и нуль. Множество бесконечно и счётно, замкнуто относительно сложения и умножения, но не относительно вычитания и деления.

¶Целые числа

Целые числа \(\mathbb{Z}\) включают натуральные, нуль и отрицательные числа: …, −2, −1, 0, 1, 2, … Они замкнуты относительно сложения, вычитания и умножения, но не деления. Множество также счётно.

¶Рациональные числа

Рациональные числа \(\mathbb{Q}\) — числа, представимые в виде дроби \(m/n\), где \(m\) — целое, \(n\) — натуральное. К ним относятся целые числа, конечные десятичные дроби и бесконечные периодические дроби. Множество плотно: между любыми двумя рациональными числами найдётся третье. При этом \(\mathbb{Q}\) счётно.

¶Иррациональные числа

Иррациональные числа не представимы в виде отношения целых. Примеры: \(\sqrt{2}\), \(\pi\), \(e\). Их десятичная запись бесконечна и непериодична. Доказательство иррациональности \(\sqrt{2}\) приписывают пифагорейцам.

¶Действительные числа

Действительные (вещественные) числа \(\mathbb{R}\) — объединение рациональных и иррациональных. Множество непрерывно и несчётно; его можно сопоставить точкам числовой прямой. В нём определены операции, порядок и предельный переход, что делает его основой математического анализа.

¶Комплексные числа

Комплексные числа \(\mathbb{C}\) имеют вид \(a + bi\), где \(a, b\) — действительные, а \(i\) — мнимая единица с условием \(i^2 = -1\). Множество замкнуто относительно всех арифметических операций и алгебраически замкнуто: любой многочлен ненулевой степени имеет в \(\mathbb{C}\) корень (основная теорема алгебры).

¶Соотношения между множествами

Числовые множества образуют цепочку вложений:

Справедливы включения: \(\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}\).

¶Операции над числовыми множествами

Над множествами чисел определены теоретико-множественные операции:

• Объединение \(A \cup B\) — элементы, входящие хотя бы в одно из множеств.
• Пересечение \(A \cap B\) — элементы, входящие в оба.
• Разность \(A \setminus B\) — элементы \(A\), не принадлежащие \(B\).
• Дополнение — элементы универсального множества, не входящие в данное.

Например, множество иррациональных чисел есть \(\mathbb{R} \setminus \mathbb{Q}\).

¶Числовые промежутки

Подмножества действительных чисел часто задают промежутками:

• отрезок \([a, b]\) — включает оба конца;
• интервал \((a, b)\) — не включает концы;
• полуинтервалы \([a, b)\) и \((a, b]\);
• лучи \([a, +\infty)\), \((-\infty, b]\);
• вся прямая \((-\infty, +\infty)\).

Промежутки используются при решении уравнений, неравенств и в анализе для описания областей определения функций.

¶Мощность и счётность

Понятие мощности ввёл Георг Кантор. Два множества равномощны, если между их элементами можно установить взаимно однозначное соответствие. Множества \(\mathbb{N}\), \(\mathbb{Z}\) и \(\mathbb{Q}\) счётны, то есть равномощны натуральному ряду. Множество \(\mathbb{R}\) несчётно: его мощность (континуум) строго больше. Это доказательство Кантора — один из фундаментальных результатов теории множеств.

¶Значение и применение

Числовые множества — язык, на котором формулируются почти все разделы математики. Натуральные числа применяются в счёте и комбинаторике, целые — в алгебре и программировании, рациональные — в измерениях и финансах, действительные — в геометрии, физике и анализе, комплексные — в электротехнике, квантовой механике и теории сигналов. Расширение числовых множеств исторически было связано с потребностью решать всё более широкие классы задач: от счёта предметов до решения алгебраических уравнений и описания непрерывных процессов.

¶Источники

• Кантор Г. Труды по теории множеств.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа.
• Виноградов И. М. (ред.) Математическая энциклопедия.
• Учебники алгебры и начал математического анализа для средней школы.