689
правок
Изменения
м
запоздалый багфикс
Пусть <tex> b \in V_{r_1}(a_1) \cap V_{r_2}(a_2)</tex>. Тогда <tex> \exists r > 0:\ V_r(b) \subset \ V_{r_1}(a_1) \cap V_{r_2}(a_2)</tex> <br \>
Простыми словами: Если два открытых шара пересекаются, то для любой точки из их пересечения существует открытый шар, лежащий в их пересечениии содержащий эту точку.
|proof=
Замечание: для <tex>X = \mathbb{R}</tex> это очевидно (переcечение двух интервалов есть интервал).