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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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.