Fonction quasi-convexe

En mathématiques, une fonction quasi-convexe est une fonction à valeurs réelles, définie sur un ensemble convexe d'un espace vectoriel réel, telle que l' de tout ensemble de la forme est convexe ou encore telle que, sur tout segment, la plus grande valeur de la fonction est atteinte à l'une des extrémités. L'opposée d'une fonction quasi-convexe est dite quasi-concave. Toute fonction convexe est quasi-convexe mais la réciproque est fausse : par exemple, toute fonction monotone sur un intervalle réel est quasi-linéaire, c'est-à-dire à la fois quasi-convexe et quasi-concave. Une fonction définie sur une partie convexe C d'un espace vectoriel réel E est dite : quasi-convexe si pour tout réel , l'ensemble de sous-niveau est convexe ou, ce qui est équivalent, si ; strictement quasi-convexe si l'on a même : ; quasi-concave si son opposée est quasi-convexe, c'est-à-dire si ; strictement quasi-concave si son opposée est strictement quasi-convexe, c'est-à-dire si. quasi-linéaire (ou quasi-monotone) si elle est à la fois quasi-convexe et quasi-concave. Toute forme linéaire est quasi-linéaire. Une fonction définie sur un intervalle est quasi-convexe si et seulement si elle est monotone ou « décroissante puis croissante », c'est-à-dire s'il existe dans deux intervalles complémentaires (l'un des deux pouvant être vide) tels que soit décroissante sur et croissante sur . De même, est quasi-concave si et seulement si elle est monotone ou « croissante puis décroissante ». Elle est donc quasi-linéaire si et seulement si elle est monotone. Si une fonction possédant un maximum global en un point m du convexe est quasi-concave alors elle est , c'est-à-dire croissante le long de tout segment orienté aboutissant en m. La réciproque est vraie si (d'après la caractérisation précédente de la quasi-concavité dans ce cas), mais on construit facilement sur une fonction unimodale et non quasi-concave. En optimisation, les problèmes avec des fonctions objectif quasi-convexes peuvent se résoudre avec les mêmes méthodes que les fonctions objectif convexes.