[17T] Argomenti:separazione,supporto. Prerequisiti: [170]↺↻,[17J]↺↻, [17B]↺↻.
Dato \(A⊂ ℝ^ n\) convesso nonvuoto e \(z∈ ∂ A\), si dimostri che esistono \(v∈ℝ^ n,a∈ℝ\) tali che \(⟨ z,v⟩= a\) e \(∀ x∈ A,⟨ x,v⟩≤ a\). L’iperpiano così definito è detto iperpiano di supporto di \(z\) per \(A\).
[17V]↺↻
