title: Funzionale di Minkowski
text: # Funzionale di Minkowski
  
  In matematica, in particolare in analisi funzionale, un funzionale di Minkowski è una funzione che richiama il concetto di distanza tipico degli spazi vettoriali.
  
  ## Definizione
  
  Dato uno spazio vettoriale reale o complesso $X$ ed un suo sottoinsieme $K$, si definisce il corrispondente funzionale di Minkowski:
  
      $p_{K}:X\rightarrow [0,\infty )$
  
  come:
  
      $p_{K}(x)=\inf \left\{r>0:x\in rK\right\}$
  
  Tale funzionale è spesso detto gauge di $K$.
  
  Si assume implicitamente nella definizione che $0\in K$ e che l'insieme $\{r>0:x\in rK\}$ non è vuoto. Affinché $p_{K}$ goda delle proprietà di una seminorma è necessario imporre alcune restrizioni sulla scelta di $K$:
  
  * L'insieme $K$ è un insieme convesso, in modo che $p_{K}$ è subadditiva.
  * Se $K$ è un insieme bilanciato, ovvero $\alpha K\subset K$ per tutti gli $|\alpha |\leq 1$, si ha che $p_{K}(\alpha x)=|\alpha |p_{K}(x)$ per ogni $\alpha$, in modo che $p_{K}$ è omogenea.
  
  Un insieme $K$ con tali proprietà è detto assolutamente convesso.
  
  Ad esempio, si consideri uno spazio normato $X$ con norma $\|\cdot \|$, e sia $K'$ la sfera unitaria in $X$. La funzione $p:X\to \mathbb {R}$ data da:
  
      $p(x)=\inf \left\{r>0:x\in rK'\right\}$
  
  è la norma $p(x)=\|x\|$ su $X$. Si tratta di un esempio di funzionale di Minkowski.
  
  ### Convessità e bilanciatezza di K
  
  Il fatto che $K$ è un insieme convesso implica la subadditività di $p_{K}$. Infatti, si supponga che $p_{K}(x)=p_{K}(y)=r$. Allora per tutti gli $\epsilon >0$ si ha $x,y\in (r+\epsilon )K=K'$. L'assunzione che $K$ sia convesso implica che lo è anche $K'$, e quindi $x/2+y/2\in K'$. Per definizione di funzionale di Minkowski $p_{K}$ si ha:
  
      $p_{K}\left({\frac {1}{2}}x+{\frac {1}{2}}y\right)\leq r+\epsilon ={\frac {1}{2}}p_{K}(x)+{\frac {1}{2}}p_{K}(y)+\epsilon$
  
  Ma il membro di sinistra è $1/2[p_{K}(x+y)]$, cioè la precedente relazione diventa:
  
      $p_{K}(x+y)\leq p_{K}(x)+p_{K}(y)+\epsilon \qquad \forall \epsilon >0$
  
  che è la disuguaglianza cercata. Il caso generale $p_{K}(x)>p_{K}(y)$ segue in modo ovvio.
  
  Si nota che la convessità di $K$, insieme all'assunzione che $\{r>0:x\in rK\}$ non è vuoto, implica che $K$ è un insieme assorbente.
  
  Il fatto che $K$ sia bilanciato implica inoltre che $\lambda x\in rK$ se e solo se $x\in (r/|\lambda |)K$, e quindi:
  
      $p_{K}(\lambda x)=\inf \left\{r>0:\lambda x\in rK\right\}=\inf \left\{r>0:x\in {\frac {r}{|\lambda |}}K\right\}=\inf \left\{|\lambda |{\frac {r}{|\lambda |}}>0:x\in {\frac {r}{|\lambda |}}K\right\}=|\lambda |p_{K}(x)$
  
  ## Esempio
  
  Dato uno spazio vettoriale $X$ sul campo $F$, sia $X'$ il suo duale algebrico e siano $\phi \in X'$ i funzionali lineari definiti su $X$ che lo costituiscono. Si consideri l'insieme $K$ dato da:
  
      $K=\{x\in X:|\phi (x)|\leq a\}\qquad a>0$
  
  e si definisca:
  
      $p(x)=\inf \left\{r>0:x\in rK\right\}$
  
  Allora:
  
      $p(x)={\frac {1}{a}}|\phi (x)|$
  
  La funzione (non-negativa) $p(x)$ è un esempio di funzionale di Minkowski che è:
  
  * subadditivo, ovvero $p(x+y)\leq p(x)+p(y)$.
  * omogeneo, ovvero $p(\alpha x)=|\alpha |p(x)$ per tutti gli $\alpha \in K$.
  
  Quindi $p$ è una seminorma su $X$, che lo munisce di una topologia. Si nota che $p(x)=0$ non implica $x=0$, e di conseguenza la topologia risultante da una famiglia di tali seminorme non è di Hausdorff.
  
  