1679
правок
Изменения
Нет описания правки
{{В разработке}}
Пусть <tex>X</tex> {{---}} [[Нормированные_пространства#определение и примеры|нормированное пространство]], к примеру, <tex>L_p</tex>. Пусть <tex>Y</tex> {{---}} линейное множество в <tex>X</tex>, например, <tex>H_n</tex>(тригонометрических полиномов степени не больше <tex>n</tex>).
{{Определение
|definition = Для любого <tex> x \in X</tex> величина <tex>E_y(x) = \inf\limits_{y \in Y}{\|x-y\|}</tex> называется '''наилучшим приближением точки <tex>x</tex> элементами линейного множества <tex>Y</tex>'''.
}}
Отметим некоторый технический момент: <tex>\forall x \in X</tex>, <tex>\forall y \in Y</tex> выполняется: <tex>E_y(x)=E_y((x+y)-y)\le E_y(x+y)+E(-y)</tex>, <tex>E_y(-y) = 0</tex>, так как <tex>-y \in Y</tex>, следовательно, <tex>E_y(x) \le E_y(x+y) \le E_y(x) + E_y(y) = E_y(x)</tex>.
Значит, <tex>\forall y \in Y E_y(x)=E_y(x+y)</tex>.
