Bourbaki

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 ]0,+∞0, +\infty [ the function xrx^r (rr any real number) has a second derivative equal to r(r−1)x−2r(r-1)x^{-2}; thus it is strictly convex if r>1r > 1 or r<0r < 0, and strictly concave if 0<r<10 < r < 1. \*

In order to be able to formulate another criterion for convexity we make the following definition: given the graph GG of a finite real function defined on an interval I⊂RI \subset \mathbf{R} and an interior point aa of II, we shall say that a line DD passing through Ma=(a,f(a))M_a = (a, f(a)) is locally above (resp. locally below) GG if there exists a neighbourhood V⊂IV \subset I of aa such that every point of DD contained in V×RV \times \mathbf{R} is above (resp. below) GG; we shall say that DD is locally on GG at the point MaM_a if there is a neighbourhood V⊂IV \subset I of aa such that the intersection of DD and V×RV \times \mathbf{R} is identical to that of GG and V×RV \times \mathbf{R} (in other words, if DD is simultaneously locally above and locally below GG).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.