
10
тики доказывается, в частности, что множество всех рациональ-
ных чисел счетно, а множество всех действительных чисел, за-
ключенных между 0 и 1, – несчетно.
12.. числовЫе МНожесТвА. числовАя ПряМАя
Действительные числа хорошо известны из школьного курса
математики. Множество всех действительных чисел обычно обо-
значают R. Известны также следующие подмножества множества R:
N – множество всех натуральных чисел, Z – целых, Q – рацио-
нальных, I – иррациональных. Очевидно, N ⊂ Z ⊂ Q ⊂ R, I ⊂ R,
Q ∩ I = ∅, R = Q ∪ I. (Напомним, что число называется рациональ-
ным, если его можно представить в виде
где m и n – целые чис-
ла, n ≠ 0. Всякое действительное число, не являющееся рацио-
нальным, называется иррациональным.) Отметим, что множества
N, Z, Q счетны, а множества I и R несчетны.
Числовой прямой (или числовой осью) называется прямая, на
которой выбраны начало отсчета, положительное направление и
масштаб, т.е. единица длины (рис. 12.1).
рис. 12.1. Числовая прямая
Между множеством R всех действительных чисел и множест-
вом всех точек числовой прямой существует взаимно однозначное
соответствие: каждому действительному числу соответствует одна
определенная точка числовой прямой, и наоборот, каждой точке
прямой – одно определенное действительное число. Установив
это взаимно однозначное соответствие, мы отождествляем точки
числовой прямой и соответствующие действительные числа. По-
нятия «число x» и «точка x» становятся неразличимыми. Поэтому
часто вместо «точка x» говорят «число x» и наоборот.
Отметим наиболее употребительные числовые множества.
Пусть a и b – два числа, причем a < b, тогда:
отрезок [a, b] – это множество всех чисел x, удовлетворя-
ющих неравенству a ≤ x ≤ b;
интервал (a, b) – множество всех чисел, удовлетворяющих
строгому неравенству a < x < b;
полуинтервалы (a, b] и [a, b) – числовые множества, характери-
зующиеся неравенствами соответственно a < x ≤ b и a ≤ x < b.
•
•
•