Support function of a subset

422 Views Asked by At

Given $L,K$, two compact and convex set, with $L, K \subseteq R^p$.

Their support functions will be, $supp(K,p): R^p \to R$ and $supp(L,p):R^p \to R$, respectively.

In the article "$L_p$ Metrics for Compact, Convex Sets" of Richard Vitale of $1984$ I found the following property: $$ K \subseteq L \iff supp(K,p) \leq supp(L,p) $$

I tried to look for a proof of this statement but I have not been able to find anything.

1

There are 1 best solutions below

0
On BEST ANSWER

Background knowledge: The convex conjugate of a convex function $f$ is denoted by $f^*$: $$ f^*(z) = \sup_x \, \langle z, x \rangle - f(x). $$ We can see that $$ f \leq g \implies f^* \geq g^*. $$ Also recall that if $f$ is a proper closed convex function then $$ f^{**} = f. $$


Now we can answer the question. Let $I_K$ and $I_L$ be the convex indicator functions of $K$ and $L$, respectively, and let $S_K$ and $S_L$ be the support functions of $K$ and $L$ respectively. Notice that $I_K^* = S_K$ and $S_K^* = I_K^{**} = I_K$. With this notation in place we are ready to give our proof: $$ K \subset L \implies I_K \geq I_L \implies I_K^* \leq I_L^* \implies S_K \leq S_L. $$ Conversely, $$ S_K \leq S_L \implies S_K^* \geq S_L^* \implies I_K \geq I_L \implies K \subset L. $$