К содержимому

Числовой интервал: включены ли границы

Как в учебнике

Для действительных $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: Левая граница

Все шаги текстом
  1. Левая граница

    Квадратная скобка допускает 2.

    Состояние
    2включён2.53.994
  2. Внутренние точки

    Дробные числа между границами тоже принадлежат интервалу.

    Состояние
    2включён2.5включён3.99включён4
  3. Правая граница

    Круглая скобка исключает 4.

    Состояние
    2включён2.5включён3.99включён4исключён

Для 3.99 обе проверки успешны: число не меньше 2 и строго меньше 4. Для самой четвёрки второе сравнение ложно, хотя разница с предыдущим примером мала. «Последнего разрешённого числа» перед 4 нет: между любым выбранным внутренним числом и правой границей найдётся другое внутреннее. Демонстрация показывает отдельные проверки, а принадлежность всего промежутка задаёт пара неравенств, без перечисления каждой точки.

Дальше: Задание множества условием.

Авторский текст этой бесплатной статьи опубликован по лицензии CC BY-NC-ND 4.0.

Предыдущая / следующая

Предыдущая
Декартово произведение: все упорядоченные пары
Следующая
Функция: один выход для каждого входа
  • Натуральные числа: счёт отдельных объектов

    Какие значения подходят для счёта и почему включение нуля нужно оговаривать.

    Читать статью
    Математика
  • Целые числа: счёт по обе стороны нуля

    Положительные и отрицательные целые, ноль и граница целочисленного деления.

    Читать статью
    Математика
  • Рациональные числа: отношение целых

    Число как отношение целых: равные дроби и обязательный ненулевой знаменатель.

    Читать статью
    Математика