Bourbaki

Exercise 20, § 4

Functions of a Real Variable, I, p. 53

Now prove that the set F\mathscr{F} of convex functions in an interval I≠RI \neq \mathbf{R} is a lattice for the ordering relation « for every x∈Ix \in I, f(x)⩽g(x)f(x) \leqslant g(x) » (E, III, p. 13). Give an example of two convex functions f,gf, g in II whose greatest lower bound in F\mathscr{F} takes at certain points a value distinct from inf⁡(f(x),g(x))\inf (f(x), g(x)). Give an example of an infinite family (fa)(f_a) of functions of F\mathscr{F} such that inf⁡x∈Ifa(x)\inf_{x \in I} f_a(x) is finite at every point x∈Ix \in I, but such that there exists no function of F\mathscr{F} inferior to all the faf_a.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.