Provo a dire qualcosa, il problema secondo me è che i punti [latex:1et8rcoz]P,Q[/latex:1et8rcoz] che minimizzano in norma [latex:1et8rcoz]p[/latex:1et8rcoz] non è detto che minimizzino anche in norma [latex:1et8rcoz]2[/latex:1et8rcoz]. Di conseguenza quando usi la regola del parallelogramma non si può dire che [latex:1et8rcoz]||P-x_0||_2 = D_2[/latex:1et8rcoz] dove [latex:1et8rcoz]D_2=\min\{||Z-x_0||_2 : Z \in K\}[/latex:1et8rcoz] perché sappiamo solo che [latex:1et8rcoz]||P-x_0||_p = D_p[/latex:1et8rcoz] e anzi [latex:1et8rcoz]D_p[/latex:1et8rcoz] e [latex:1et8rcoz]D_2[/latex:1et8rcoz] possono essere diversi. In effetti se prendiamo [latex:1et8rcoz]K=[-1,1] \times \{0\}[/latex:1et8rcoz] e [latex:1et8rcoz]&#40;x_0,y_0&#41;=&#40;0,1&#41;[/latex:1et8rcoz] tutti i punti di [latex:1et8rcoz]K[/latex:1et8rcoz] sono punti di minimo rispetto alla distanza [latex:1et8rcoz]\infty[/latex:1et8rcoz].

Un modo per dimostrare l’unicità del minimo quando [latex:1et8rcoz]p \in &#40;1,\infty&#41;[/latex:1et8rcoz] è quello di usare che in questo caso la norma è strettamente convessa e quindi il punto medio se [latex:1et8rcoz]P,Q[/latex:1et8rcoz] sono diversi è un competitor migliore. Questo fatto si dovrebbe riflettere sulla proprietà geometrica del bordo delle palle di non avere tratti “rettilinei” cioè di non avere punti di bordo che non sono estremali.

Colgo l’occasione per fare una domanda a cui non sono riuscito a rispondere. È sempre vero che se ho uno spazio con due norme che lo rendono di Banach e che sono equivalenti allora le sfere unitarie corrispondenti sono omeomorfe? E in caso affermativo si può trovare un omeomorfismo di tutto lo spazio che porta una sfera nell’altra? In dimensione finita mi sembra che la prima parte si possa dimostrare dicendo che due convessi compatti con parte interna non vuota sono omeomorfi..