Изменения
minor fixes
:<tex>\omega^* \in \Omega^*: \omega(f, h) \le \omega^*(h) \ \forall h \ge 0</tex>.
Опеределим <tex>\omega^*(f, h) = \inf\limits_{\omega^* \in \Omega^*(f)} \omega^*(h)</tex>, где <tex>\Omega^*(f)</tex> - класс выпуклых мажорант функции <tex>f</tex> (то есть, все те модули непрерывности, удовлетворяющие написанному выше неравенству).
Очевидно, что мы получаем выпуклый вверх модуль непрерывности. Его принято называть выпуклым модулем непрерывности функции <tex>f</tex>.
По доказанной выше теореме получаем следующее следствие:
:<tex>\omega(f, \lambda h) \le \omega^* (f, \lambda h) \le (1 + \lambda) \ \omega(f, h) \ \forall\lambda, h \ge 0</tex>, а также:
:<tex>\omega(f, h) \le \omega^* (f, h) \le 2 \omega(f, h)</tex>
[[Категория:Математический анализ 1 курс]]
