Dodatek
Zbiór wypukły
Jeżeli dla dowolnych dwóch punktów xi, X2 ze zbioru $)x punkt x zadany wzorem x = Axi + (1 — A)X2
również należy do zbioru wówczas zbiór ten nazywamy wypukłym.
Funkcja wypukła
Jeżeli dla dowolnych dwóch punktów xi, X2 ze zbioru Q)x oraz funkcji F : 3)x —* określonej na tym zbiorze zachodzi nierówność
F(Axi + (1 - A)x2) < AF(Xl) + (1 - A)F(x2),
wówczas funkcję F nazywamy wypukłą.
Forma kwadratowa
Formą kwadratową nazywamy funkcję Q(x) : A%s o postaci Q(x) = xT Ax gdzie x £ oraz A £ jes^ macierzą symetryczną.
Macierz kwadratowa A jest dodatnio (ujemnie) określona, gdy dla dowolnego nie-zerowego wektora x zachodzi xTAx > 0 (xTAx < 0).
Macierz kwadratowa A jest dodatnio (ujemnie) półokreślona, gdy dla dowolnego niezerowego wektora x zachodzi xrAx > 0 (xTAx < 0).
Macierz kwadratowa A jest dodatnio określona wtedy i tylko wtedy, gdy wszystkie jej wiodące minory główne są większe od zera.
Macierz kwadratowa A jest dodatnio półokreślona wtedy i tylko wtedy, gdy wszystkie jej minory główne są nieujemne.
Macierz kwadratowa A jest ujemnie określona(półokreślona) wtedy i tylko wtedy, gdy macierz —A jest dodatnio określona (półokreślona).