Решение:
Для доказательства утверждения о том, что множество A в метрическом пространстве вполне ограничено тогда и только тогда, когда для любого ε > 0 множество A можно представить в виде объединения конечного числа множеств, диаметр которых меньше ε, мы будем использовать два направления:
1. **Необходимость**: Если множество A вполне ограничено, то для любого ε > 0 оно может быть представлено как объединение конечного числа множеств с диаметром меньше ε.
2. **Достаточность**: Если для любого ε > 0 множество A можно представить в виде объединения конечного числа множеств с диаметром меньше ε, то множество A вполне ограничено.
### Шаг 1: Необходимость
Предположим, что множество A вполне ограничено. Это означает, что для любого ε > 0 существует конечное число точек x1, x2, …, xn из A, такие что A можно покрыть открытыми шарами радиуса ε/2, центры которых находятся в этих точках.
Обозначим эти открытые шары как B(xi, ε/2) для i = 1, 2, …, n.
Теперь рассмотрим множества Ai = A ∩ B(xi, ε/2). Поскольку A покрывается этими шарами, мы имеем:
A = ∪ (от i = 1 до n) Ai.
Теперь найдем диаметр каждого Ai. Поскольку Ai находится внутри шара B(xi, ε/2), то для любых точек a, b из Ai выполняется:
d(a, b) ≤ d(a, xi) + d(xi, b) < ε/2 + ε/2 = ε. Таким образом, диаметр каждого Ai меньше ε: diam Ai < ε для всех i = 1, ..., n. Это завершает доказательство необходимости. ### Шаг 2: Достаточность Теперь предположим, что для любого ε > 0 множество A можно представить в виде объединения конечного числа множеств Ai, диаметр которых меньше ε:
A = ∪ (от i = 1 до n) Ai, где diam Ai < ε для всех i = 1, ..., n. Мы должны показать, что множество A вполне ограничено. Для любого ε > 0, по предположению, существует конечное число множеств Ai, таких что их объединение покрывает A и каждый из них имеет диаметр меньше ε.
Теперь выберем ε’ = ε/2. По предположению, мы можем представить A как объединение конечного числа множеств Bi, где diam Bi < ε' = ε/2. Таким образом, для любого ε > 0 мы можем найти конечное число множеств, которые покрывают A и имеют диаметр меньше ε. Это означает, что A вполне ограничено.
### Заключение
Мы доказали оба направления:
1. Если A вполне ограничено, то для любого ε > 0 A можно представить как объединение конечного числа множеств с диаметром меньше ε.
2. Если A можно представить как объединение конечного числа множеств с диаметром меньше ε для любого ε > 0, то A вполне ограничено.
Таким образом, мы завершили доказательство.