نظرية كاتشوروفسكي

في الرياضيات ، نظرية كاتشوروفسكي هي نظرية تربط تحدب دالة على فضاء باناخ برتابة مشتقة فريشيه الخاصة بها .

بيان النظرية

ليكن K مجموعة جزئية محدبة من فضاء باناخ ولتكن f  : K R {+ } دالة حقيقية موسعة قابلة للتفاضل وفقًا لـ Fréchet، ومشتقتها d f ( x ) : V R عند كل نقطة x في K. (في الواقع، d f ( x ) عنصر من الفضاء الثنائي المتصل V ). عندئذٍ، تكون العبارات التالية متكافئة:         

  • f دالة محدبة؛
  • لكل x و y في K ،
دو(x)(y-x)و(y)-و(x)؛{\displaystyle \mathrm {d} f(x)(yx)\leq f(y)-f(x);}
  • d f هو مؤثر رتيب (متزايد)، أي أنه لجميع قيم x و y في K ،
(دو(x)-دو(y))(x-y)0.{\displaystyle {\big (}\mathrm {d} f(x)-\mathrm {d} f(y){\big )}(xy)\geq 0.}

مراجع