Множества чисел. Свойства действительных чисел
Обозначения множеств чисел
Приняты стандартные обозначения: $\mathbb{N}$ — натуральные числа, $\mathbb{Z}$ — целые, $\mathbb{Q}$ — рациональные, $\mathbb{R}$ — действительные, $\mathbb{R}_+$ — положительные действительные. Каждое следующее множество полностью содержит предыдущее:
$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$$На интерактиве (вкладка «Множества чисел») кликай по числам $5$, $-3$, $0{,}75$, $\sqrt2$ и $\pi$ — вложенные рамки покажут, каким множествам принадлежит каждое из них.
Числовые промежутки
Для описания множества чисел «между $a$ и $b$» используют такие обозначения (концы промежутка — числа $a$ и $b$):
На интерактиве (вкладка «Промежутки») перетащи точки $a$ и $b$ и переключай тип промежутка — закрашенные и пустые кружки на концах покажут, включена граница или нет. У $a$ вместо числа может стоять $-\infty$, у $b$ — $+\infty$; тогда промежуток продолжается неограниченно, а $(-\infty;+\infty)=\mathbb{R}$.
Общее название отрезков, интервалов и полуинтервалов — числовые промежутки.
Объединение и пересечение множеств
Если $A$ и $B$ — множества, их объединение $A \cup B$ состоит из элементов, входящих хотя бы в одно из них, а пересечение $A \cap B$ — только из общих элементов. Например, для $A=[0;2]$ и $B=[1;3]$: $A \cup B = [0;3]$, $A \cap B = [1;2]$. А для $A=[-1;1]$ и $B=(1;2)$ общих точек нет: $A \cap B = \varnothing$ (пустое множество).
Свойства действительных чисел
Все привычные правила работы с числами — не случайность, а список свойств, из которых выводится всё остальное. Кратко, по группам:
- Порядок: для любых $a$ и $b$ верно ровно одно из $a=b$, $a\lt b$, $a>b$; из $a\lt b$ и $b\lt c$ следует $a\lt c$ (транзитивность); между любыми $a\lt b$ найдётся $c$ такое что $a\lt c\lt b$.
- Сложение: $a+b=b+a$, $(a+b)+c=a+(b+c)$, $a+0=a$, $a+(-a)=0$; из $a\lt b$ следует $a+c\lt b+c$ для любого $c$.
- Умножение: $a\cdot b=b\cdot a$, $(a\cdot b)\cdot c=a\cdot(b\cdot c)$, $a\cdot 1=a$, $(a+b)\cdot c = ac+bc$; из $a\lt b$ и $c>0$ следует $ac\lt bc$.
Архимедово свойство и непрерывность
Архимедово свойство: для любых $b>a>0$ найдётся натуральное $n$, такое что $an>b$ — отложив меньший отрезок достаточное число раз, всегда можно превзойти больший.
Непрерывность: у действительных чисел нет «дырок». Если взять бесконечную цепочку вложенных друг в друга отрезков, которые всё сильнее сужаются к нулю, всегда найдётся ровно одна точка, принадлежащая им всем сразу. У рациональных чисел это свойство не выполняется.
Запомни
- $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ — каждое множество содержит предыдущее;
- $[a;b]$ — отрезок (оба конца включены), $(a;b)$ — интервал (оба исключены), $[a;b)$ и $(a;b]$ — полуинтервалы;
- $A \cup B$ — элементы хотя бы одного множества, $A \cap B$ — только общие элементы;
- у $\pm\infty$ всегда круглая скобка — бесконечность не бывает «включённым» концом.