Example
Tag 0867, permanent. Cite it as [Bourbaki, Tag 0867].
Functions of a Real Variable, chapter I, § 4. CONVEX FUNCTIONS OF A REAL VARIABLE
On the interval ] [ the function ( any real number) has a second derivative equal to ; thus it is strictly convex if or , and strictly concave if . \*
In order to be able to formulate another criterion for convexity we make the following definition: given the graph of a finite real function defined on an interval and an interior point of , we shall say that a line passing through is locally above (resp. locally below) if there exists a neighbourhood of such that every point of contained in is above (resp. below) ; we shall say that is locally on at the point if there is a neighbourhood of such that the intersection of and is identical to that of and (in other words, if is simultaneously locally above and locally below ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.