ScalingStacks

Theorem 3.52 . [02M2]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 3.52.

Let f:C→ℝf\colon C\to\mathbb{R} be a concave function of Legendre type defined on an open set C⊂NℝC\subset N_{\mathbb{R}} and let D=∇f​(C)⊂MℝD=\nabla f(C)\subset M_{\mathbb{R}} be the image of the gradient map. Then

  1. (1)

    D=stab⁡(f)∘D=\operatorname{stab}(f)^{\circ};

  2. (2)

    f∨|Df^{\vee}|_{D} is a concave function of Legendre type;

  3. (3)

    ∇f:C→D\nabla f\colon C\to D is a homeomorphism and (∇f)−1=∇f∨(\nabla f)^{-1}=\nabla f^{\vee};

  4. (4)

    for all x∈Dx\in D we have f∨​(x)=⟨x,(∇f)−1​(x)⟩−f⁡((∇f)−1​(x))f^{\vee}(x)=\langle x,(\nabla f)^{-1}(x)\rangle-f((\nabla f)^{-1}(x)).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.