La norma dell'operatore è uguale a $\ell^1$ e $\ell^2$ norme

Question

Permettere $\lVert A \rVert_{p,q}=\sup\lbrace\lVert Ax \rVert_q ~\vert~ x \in V, \lVert x \rVert_p = 1 \rbrace$ essere la norma dell'operatore.

Lo voglio dimostrare $$\lVert A \rVert_{\infty, \infty} = \max_{1 \leq i \leq n} \sum_{j=1}^n{a_{ij}} $$ $$\lVert A \rVert_{1, 1} = \max_{1 \leq j \leq n} \sum_{i=1}^n{a_{ij}} $$

Il mio primo pensiero è usare la definizione equivalente di norma dell'operatore, $\lVert Ax \rVert \leq c \lVert x \rVert$e semplifica il membro sinistro con disuguaglianza, ma potrebbe non funzionare a causa di $c$.

Answer 1

(1) $$|(Ax)_i|=|\sum_jA_{ij}x_i^j|\le\sum_j|A_{ij}|\|x\|_\infty$$ quindi ne consegue $\|Ax\|_\infty\le\sum_j|A_{ij}|\|x\|_\infty$ e così $\|A\|_{\infty,\infty}\le\max_i\sum_j|A_{ij}|$.

(2) \begin{align*}\|Ax\|_1=\sum_i|\sum_jA_{ij}x^j|&\le\sum_i\sum_j|A_{ij}||x^j|\\ &=\sum_j\left(|x^j|\sum_i |A_{ij}|\right)\\ &\le\left(\max_j\sum_i|A_{ij}|\right)\sum_j|x^j|\\ &=c\|x\|_1 \end{align*} così $\|A\|_{1,1}\le\max_j\sum_i|A_{ij}|$.