Нера́венство Йе́нсена — неравенство, введённое Иоганом Йенсеном и тесно связанное с определением выпуклой функции.
Пусть линейный функционал является выпуклым на некотором выпуклом подмножестве некоторого вещественного линейного пространства и числа таковы, что и . Тогда каковы бы ни были элементы из множества , выполняется неравенство:
или
Замечания:
Доказательство проводится методом математической индукции.
С этой целью, заменим слева сумму двух последних слагаемых одним слагаемым
это даст возможность воспользоваться неравенством для и установить, что выражение выше не превосходит суммы
Остается лишь применить к значению функции в последнем слагаемом неравенство для . Таким образом по методу математической индукции неравенство Йенсена полностью оправдано.
Точка является соответствующей выпуклой комбинацией точек . Из определения выпуклой функции очевидно, что выпуклая оболочка этого множества точек будет совпадать с самим множеством. Значит, из свойств выпуклой комбинации следует, что образованная точка будет лежать внутри многоугольника, построенного на перечисленных точках в указанном порядке (если соединить последнюю с первой).
Геометрически очевидно, что в этом случае точка будет лежать выше одной из прямых вида . Но у выпуклой функции по определению такая прямая лежит выше графика функции. Значит, и точка лежит выше этого графика, что и означает, что .
Для выпуклой функции и интегрируемой функции выполняется неравенство
Пусть — вероятностное пространство, и — определённая на нём случайная величина. Пусть также — выпуклая (вниз) борелевская функция. Тогда если , то
где означает математическое ожидание.
Пусть в дополнение к предположениям, перечисленным выше, — под-σ-алгебра событий. Тогда
где обозначает условное математическое ожидание относительно σ-алгебры .
Обозначим , где - произвольные положительные числа, тогда неравенство запишется в виде
Заменяя здесь на и на , получаем известное неравенство Гёльдера:
В частности при получаем неравенство Коши (среднее геометрическое не превосходит среднего арифметического)
В частности при получаем, что среднее гармоническое не превосходит среднего арифметического:
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .