60. Podmienka ekvivalentná s konvexnosťou

Zhrnutie prednášky

Prednáška formuluje a dokazuje lemu, ktorá dáva podmienku ekvivalentnú s rýdzou konvexnosťou funkcie na intervale: funkcia je rýdzo konvexná práve vtedy, keď pre každé tri body x < s < y z intervalu platí, že smernica sečnice cez body x a s je menšia ako smernica sečnice cez body s a y. Geometricky to znamená, že smernice sečníc rastú, keď sa posúvame doprava po grafe. V smere zľava doprava sa zvolia čísla p = (y − s)/(y − x) a q = (s − x)/(y − x), ktoré sú kladné, ich súčet je 1 a platí px + qy = s. Dosadením do definície rýdzej konvexnosti a úpravami sa získa požadovaná nerovnosť smerníc. Opačná implikácia využíva to isté riešenie sústavy p + q = 1, px + qy = s a ekvivalentnosť všetkých úprav. Na záver je zadaná úloha sformulovať a dokázať analogickú lemu pre rýdzo konkávne funkcie.

• - Rýdzo konvexná funkcia má smernice sečníc rastúce smerom doprava.
• - Lema: f je rýdzo konvexná na I práve vtedy, keď pre všetky x < s < y platí (f(s) − f(x))/(s − x) < (f(y) − f(s))/(y − s).
• - Pre dôkaz sa volí p = (y − s)/(y − x), q = (s − x)/(y − x); sú kladné, p + q = 1 a px + qy = s.
• - Implikácia zľava doprava: dosadenie do definície rýdzej konvexnosti a algebraická úprava (prenásobenie y − x a delenie s − x, y − s) dá nerovnosť smerníc.
• - Implikácia sprava doľava: sústava p + q = 1, px + qy = s má jediné riešenie (regulárna matica), a úpravy sú ekvivalentné, takže sa dajú vykonať spätne.
• - Lema bude východiskom pre ešte jednoduchšiu podmienku konvexnosti v ďalšom videu.
• - Úloha 2: sformulovať a dokázať analogickú lemu pre rýdzo konkávne funkcie.

Zhrnutie pripravené s pomocou AI z prepisu videa.