Для доказательства геометрической эквивалентности отрезка [0;1) и интервала (0;1) можно использовать метод, связанный с построением взаимно однозначного соответствия между этими множествами.
В первом случае у нас есть отрезок [0;1), который включает 0, но исключает 1. Во втором случае интервал (0;1) исключает оба конца: и 0, и 1.
Построение соответствия: Определим функцию f, которая будет преобразовывать элементы из [0;1) в (0;1). Например, можно определить ее следующим образом: \[ f(x) = \begin{cases} x & \text{если } x \in (0;1) \\ \frac{1}{2} & \text{если } x = 0 \end{cases} \] Эта функция сопоставляет 0 с 1/2 и все другие значения из [0;1) остаются без изменений.
Проверка свойств:
- Эта функция явно однозначна — каждому элементу отрезка [0;1) соответствует только один элемент интервала (0;1) и наоборот.
- Также можно заметить, что f([0;1)) в основном будет занимать точки из (0;1), за исключением конкретной точки 0, которая попадает в 1/2, что также находится в интервале (0;1).
Сравнение размера множеств: Оба множества бесконечны, и можно показать, что, хотя они могут выглядеть по-разному, они могут быть сопоставлены через одну одну функцию биекции, как мы и сделали.
Таким образом, мы можем заключить, что множество [0;1) и (0;1) геометрически эквивалентны, так как между ними существует взаимно однозначное соответствие.
