Как в учебнике
Для действительных $a<b$ отрезок $[a,b]=\{x\in\mathbb R\mid a\le x\le b\}$ включает обе границы, а открытый интервал $(a,b)=\{x\in\mathbb R\mid a<x<b\}$ исключает обе. Квадратная скобка включает свой конец, круглая исключает. Поэтому $[a,b)$ включает только левую границу, $(a,b]$ — только правую.
Между границами находятся все действительные числа, а не только целые. Например, $[2,4)\cap\mathbb Z=\{2,3\}$, но сам полуинтервал содержит и 2.5. Бесконечность не является действительным числом и не включается как конец: пишут $[0,+\infty)$. Скобки $(2,4)$ в другом контексте могут обозначать упорядоченную пару.
При проверке принадлежности полуинтервалу $[a,b)$ одновременно нужны два сравнения: $a\le x$ и $x<b$. Выполнение только одного не даёт результата. Скобки относятся каждая к своему концу и не меняют внутренние точки. Если разрешить совпадение границ, $[a,a]=\{a\}$, тогда как $(a,a)$, $[a,a)$ и $(a,a]$ пусты: строгая граница запрещает единственного возможного кандидата. Поэтому условие $a<b$ в исходном определении существенно для невырожденного случая.
Определения и дальнейшее чтение: Basic Analysis I.
На пальцах
Интервал похож на участок дороги с отдельными правилами допуска на концах. Внутри разрешены все действительные координаты, а не только целые отметки. У $[2,4)$ и $[2,4]$ различается лишь точка 4, но на границе срока даже одна точка способна созвать совещание. При совпавших концах остаётся либо одна разрешённая точка, либо ничего; округление измерений не меняет эти правила.
Пример
В примере проверяется принадлежность точек учебному полуинтервалу $[2,4)$. Левая граница и внутренние значения входят в него, правая граница исключена.
Числовой интервал: включены ли границы
Левая граница
Квадратная скобка допускает 2.
Шаг 1 из 3: Левая граница
Все шаги текстом
Левая граница
Квадратная скобка допускает 2.
- Состояние
- 2включён2.53.994
Внутренние точки
Дробные числа между границами тоже принадлежат интервалу.
- Состояние
- 2включён2.5включён3.99включён4
Правая граница
Круглая скобка исключает 4.
- Состояние
- 2включён2.5включён3.99включён4исключён
Для 3.99 обе проверки успешны: число не меньше 2 и строго меньше 4. Для самой четвёрки второе сравнение ложно, хотя разница с предыдущим примером мала. «Последнего разрешённого числа» перед 4 нет: между любым выбранным внутренним числом и правой границей найдётся другое внутреннее. Демонстрация показывает отдельные проверки, а принадлежность всего промежутка задаёт пара неравенств, без перечисления каждой точки.
Дальше: Задание множества условием.