FONCTIONS MID-CONVEXES

Une fonction f est mid-convexe si: x+y 1 [f (x) + f (y)]. 2 2 Une fonction convexe est trivialement mid-convexe, et il nest pas dicile de dmontrer e quune fonction mid-convexe et continue est convexe. Il est alors lgitime de se demander e sil existe des fonctions mid-convexes relles qui ne sont pas convexes? e f La rponse ` cette question nest pas vidente. En fait, elle dpend de votre foi en une e a e e conjecture qui ne peut tre dmontre sous les axiomes de la thorie classique (Zermeloe e e e Fraenkel) des ensembles: Conjecture 1 (AXIOME DU CHOIX) (Zermelo) : Si C une collection densembles non vides, il est possible de constituer un ensemble possdant un lment de chaque ene ee semble de la collection. Autrement dit, il existe une fonction de slection f telle que, pour e tout S C, on ait: f (S) S. Une bonne partie des mathmatiques modernes est base sur sa validit. Pour de plus amples e e e renseignements, on consultera avec prot la page http://www.math.vanderbilt.edu/schectex/ccc/choice.html o` lon cite cette jolie phrase du philosophe, paciste et mathmaticien Bertrand Russell u e (1872 1970): To choose one sock from each of innitely many pairs of socks requires the Axiom of Choice, but for shoes the Axiom is not needed. En eet, une fonction de slection peut toujours choisir le soulier gauche (ou le soulier droit), e alors que cette possibilit est exclue dans le cas de chaussettes identiques! e Laxiome du choix est quivalent ` deux noncs cl`bres, le principe du bon ordre et le e a e e ee lemme de Zorn. Lemme 1 (ZORN) : Soit X un ensemble partiellement ordonn (revoir vos ou mes notes e du cours de mathmatiques discr`tes) o` toute chane (sous-ensemble totalement ordonn) e e u e poss`de une borne suprieure. Alors, X poss`de un lment maximal. e e e ee Principe 1 (PRINCIPE DU BON ORDRE) : Tout ensemble peut tre totalement ore donn. e

Considrons maintenant lespace vectoriel des nombres rels associ au corps des rationnels, e e e qui jouent ainsi le rle des scalaires. Si lon admet laxiome du choix (ou un nonc o e e quivalent), alors on peut dmontrer lexistence dune base de Hamel, cest-`-dire un e e a sous-ensemble B = {bk } des rels tel que e 1. les lments de B sont linairement indpendants: pour tout ensemble ni de scalaires ee e e n (rationnels!) {ak }k=1 , on a:
n

ak bk = 0 ak = 0 k;
k=1

2. tout rel peut sexprimer comme une combinaison rationnelle dun nombre ni dlments e ee de la base B. ` A partir dune base de Hamel, il est trivial de construire une fonction mid-linaire en donnant e une valeur arbitraire ` f (bk ) et en posant: a
n n

f (x) = f (
k=1

ak b k ) =
k=1

ak f (bk ).

Puisque les valeurs de f aux point bk sont arbitraires, il est en eet facile de faire en sorte que f ne soit pas convexe. Remarques 1. Un mathmaticien constructiviste ne sera pas impressionn par les arguments ci-dessus. e e 2. Une fonction mid-convexe mais non convexe est un objet mathmatique plutt bizarre. e o En eet (i) toute fonction mesurable et mid-convexe est convexe (ii) si f est midconvexe et quil existe un ouvert (non vide) o` f est borne, alors f est convexe. u e 3. On consultera avec prot lexcellent livre Convex Functions de A. Wayne Roberts et Dale E. Vargas, publi chez Academic Press (1973). e