Proposition 3
Tag 085X, permanent. Cite it as [Bourbaki, Tag 085X].
Functions of a Real Variable, chapter I, § 4. CONVEX FUNCTIONS OF A REAL VARIABLE
Let be a family of convex functions on an interval ; if the upper envelope of this family is finite at every point of then is convex on .
Indeed, the set of points lying above the graph of is the intersection of the convex sets formed by the points lying above the graph of each of the functions ; so it is convex.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.