1632
правки
Изменения
м
rollbackEdits.php mass rollback
{{Определение
|id=def1
|definition=
Отображение <tex> \rho : X \times X \rightarrow \mathbb{R^+} </tex> {{---}} называется '''метрикой''' на <tex>X</tex>, если выполняются аксиомы
Пусть <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ечение двух интервалов есть интервал).
<tex> x_n \rightarrow x', x_n \rightarrow x'' </tex> в МП<tex>(X, \rho) \Rightarrow x' = x'' </tex>
|proof=
<tex> \rho(x', x'') \leq \rho(x', xx_n) + \rho(x'', xx_n) \Rightarrow \rho(x', x'') = 0 \Rightarrow x' = x'' </tex>
На самом деле, этот факт {{---}} свойство МП, состоящее в выполении в нем аксиомы отделимости Хаусдорфа:
