Norma de matriz

Norma en un espacio vectorial de matrices

En el campo de las matemáticas , las normas se definen para los elementos dentro de un espacio vectorial . En concreto, cuando el espacio vectorial comprende matrices, dichas normas se denominan normas matriciales . Las normas matriciales se diferencian de las normas vectoriales en que también deben interactuar con la multiplicación de matrices.

Preliminares

Dado un campo de números reales o complejos , sea el espacio vectorial K de matrices con filas y columnas y entradas en el campo . Una norma matricial es una norma en . ${\displaystyle K}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle K}$ ${\displaystyle K^{m\times n}}$

Las normas se expresan a menudo con barras verticales dobles (de la siguiente manera: ). Por lo tanto, la norma matricial es una función que debe satisfacer las siguientes propiedades: ^{[1] [2]} ${\displaystyle \|A\|}$ ${\displaystyle \|\cdot \|:K^{m\times n}\to \mathbb {R} }$

Para todos los escalares y matrices , ${\displaystyle \alpha \in K}$ ${\displaystyle A,B\in K^{m\times n}}$

• ${\displaystyle \|A\|\geq 0}$( valor positivo )
• ${\displaystyle \|A\|=0\iff A=0_{m,n}}$( definido )
• ${\displaystyle \left\|\alpha A\right\|=\left|\alpha \right|\left\|A\right\|}$( absolutamente homogéneo )
• ${\displaystyle \|A+B\|\leq \|A\|+\|B\|}$( subaditivo o que satisface la desigualdad triangular )

La única característica que distingue a las matrices de los vectores reordenados es la multiplicación . Las normas matriciales son particularmente útiles si también son submultiplicativas : ^{[1] [2] [3]}

• ${\displaystyle \left\|AB\right\|\leq \left\|A\right\|\left\|B\right\|}$^{[Nota 1]}

Toda norma en K ^{n × n} puede reescalarse para ser submultiplicativa; en algunos libros, la terminología norma matricial se reserva para normas submultiplicativas. ^[4]

Normas matriciales inducidas por normas vectoriales

Supóngase que se dan una norma vectorial en y una norma vectorial en . Cualquier matriz A induce un operador lineal de a con respecto a la base estándar, y se define la norma inducida correspondiente o la norma del operador o la norma subordinada en el espacio de todas las matrices de la siguiente manera: donde denota el supremo . Esta norma mide cuánto puede estirar los vectores la aplicación inducida por . Dependiendo de las normas vectoriales , utilizadas, se puede utilizar una notación distinta de para la norma del operador. ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle K^{n}}$ ${\displaystyle \|\cdot \|_{\beta }}$ ${\displaystyle K^{m}}$ ${\displaystyle m\times n}$ ${\displaystyle K^{n}}$ ${\displaystyle K^{m}}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle m\times n}$ $${\displaystyle {\begin{aligned}\|A\|_{\alpha ,\beta }&=\sup\{\|Ax\|_{\beta }:x\in K^{n}{\text{ with }}\|x\|_{\alpha }=1\}\\&=\sup \left\{{\frac {\|Ax\|_{\beta }}{\|x\|_{\alpha }}}:x\in K^{n}{\text{ with }}x\neq 0\right\}.\end{aligned}}}$$ ${\displaystyle \sup }$ ${\displaystyle A}$ ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle \|\cdot \|_{\beta }}$ ${\displaystyle \|\cdot \|_{\alpha ,\beta }}$

Normas matriciales inducidas por vectorespag-normas

Si se utiliza la p -norma para vectores ( ) para ambos espacios y entonces la norma del operador correspondiente es: ^{[2] Estas normas inducidas son diferentes de las} p -normas "de entrada" y las p -normas de Schatten para matrices tratadas a continuación, que también se denotan habitualmente por ${\displaystyle 1\leq p\leq \infty }$ ${\displaystyle K^{n}}$ ${\displaystyle K^{m},}$ $${\displaystyle \|A\|_{p}=\sup _{x\neq 0}{\frac {\|Ax\|_{p}}{\|x\|_{p}}}.}$$ ${\displaystyle \|A\|_{p}.}$

Geométricamente hablando, uno puede imaginar una bola unitaria de norma p en , luego aplicar la función lineal a la bola. Terminaría convirtiéndose en una forma convexa distorsionada , y mide el "radio" más largo de la forma convexa distorsionada. En otras palabras, debemos tomar una bola unitaria de norma p en , luego multiplicarla por al menos , para que sea lo suficientemente grande como para contener . ${\displaystyle V_{p,n}=\{x\in K^{n}:\|x\|_{p}\leq 1\}}$ ${\displaystyle K^{n}}$ ${\displaystyle A}$ ${\displaystyle AV_{p,n}\subset K^{m}}$ ${\displaystyle \|A\|_{p}}$ ${\displaystyle V_{p,m}}$ ${\displaystyle K^{m}}$ ${\displaystyle \|A\|_{p}}$ ${\displaystyle AV_{p,n}}$

pag= 1, ∞

Cuando , tenemos fórmulas simples. que es simplemente la suma absoluta máxima de las columnas de la matriz. que es simplemente la suma absoluta máxima de las filas de la matriz. Por ejemplo, para tenemos que ${\displaystyle p=1,\infty }$ $${\displaystyle \|A\|_{1}=\max _{1\leq j\leq n}\sum _{i=1}^{m}|a_{ij}|,}$$ $${\displaystyle \|A\|_{\infty }=\max _{1\leq i\leq m}\sum _{j=1}^{n}|a_{ij}|,}$$ $${\displaystyle A={\begin{bmatrix}-3&5&7\\2&6&4\\0&2&8\\\end{bmatrix}},}$$ $${\displaystyle \|A\|_{1}=\max(|{-3}|+2+0;5+6+2;7+4+8)=\max(5,13,19)=19,}$$ $${\displaystyle \|A\|_{\infty }=\max(|{-3}|+5+7;2+6+4;0+2+8)=\max(15,12,10)=15.}$$

Norma espectral (pag= 2)

Cuando (la norma euclidiana o -norma para vectores), la norma matricial inducida es la norma espectral . (Los dos valores no coinciden en dimensiones infinitas —ver Radio espectral para más información. El radio espectral no debe confundirse con la norma espectral.) La norma espectral de una matriz es el mayor valor singular de (es decir, la raíz cuadrada del mayor valor propio de la matriz donde denota la transpuesta conjugada de ): ^[5] donde representa el mayor valor singular de la matriz ${\displaystyle p=2}$ ${\displaystyle \ell _{2}}$ ${\displaystyle A}$ ${\displaystyle A}$ ${\displaystyle A^{*}A,}$ ${\displaystyle A^{*}}$ ${\displaystyle A}$ $${\displaystyle \|A\|_{2}={\sqrt {\lambda _{\max }\left(A^{*}A\right)}}=\sigma _{\max }(A).}$$ ${\displaystyle \sigma _{\max }(A)}$ ${\displaystyle A.}$

Hay más propiedades:

• ${\textstyle \|A\|_{2}=\sup\{x^{*}Ay:x\in K^{m},y\in K^{n}{\text{ with }}\|x\|_{2}=\|y\|_{2}=1\}.}$Demostrado por la desigualdad de Cauchy-Schwarz .
• ${\textstyle \|A^{*}A\|_{2}=\|AA^{*}\|_{2}=\|A\|_{2}^{2}}$. Probado por descomposición en valores singulares (SVD) en . ${\displaystyle A}$
• ${\textstyle \|A\|_{2}=\sigma _{\mathrm {max} }(A)\leq \|A\|_{\rm {F}}={\sqrt {\sum _{i}\sigma _{i}(A)^{2}}}}$, donde es la norma de Frobenius. La igualdad se cumple si y solo si la matriz es una matriz de rango uno o una matriz cero. ${\displaystyle \|A\|_{\textrm {F}}}$ ${\displaystyle A}$

• ${\displaystyle \|A\|_{2}={\sqrt {\rho (A^{*}A)}}\leq {\sqrt {\|A^{*}A\|_{\infty }}}\leq {\sqrt {\|A\|_{1}\|A\|_{\infty }}}}$.

Normas matriciales inducidas por vectoresalfa- yβ-normas

Podemos generalizar la definición anterior. Supongamos que tenemos normas vectoriales y para espacios y respectivamente; la norma del operador correspondiente es En particular, el definido anteriormente es el caso especial de . ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle \|\cdot \|_{\beta }}$ ${\displaystyle K^{n}}$ ${\displaystyle K^{m}}$ $${\displaystyle \|A\|_{\alpha ,\beta }=\sup _{x\neq 0}{\frac {\|Ax\|_{\beta }}{\|x\|_{\alpha }}}.}$$ ${\displaystyle \|A\|_{p}}$ ${\displaystyle \|A\|_{p,p}}$

En los casos especiales de y , las normas matriciales inducidas se pueden calcular mediante donde es la i-ésima fila de la matriz . ${\displaystyle \alpha =2}$ ${\displaystyle \beta =\infty }$ $${\displaystyle \|A\|_{2,\infty }=\max _{1\leq i\leq m}\|A_{i:}\|_{2},}$$ ${\displaystyle A_{i:}}$ ${\displaystyle A}$

En los casos especiales de y , las normas matriciales inducidas se pueden calcular mediante donde es la j-ésima columna de la matriz . ${\displaystyle \alpha =1}$ ${\displaystyle \beta =2}$ $${\displaystyle \|A\|_{1,2}=\max _{1\leq j\leq n}\|A_{:j}\|_{2},}$$ ${\displaystyle A_{:j}}$ ${\displaystyle A}$

Por lo tanto, y son la norma máxima de fila y columna 2 de la matriz, respectivamente. ${\displaystyle \|A\|_{2,\infty }}$ ${\displaystyle \|A\|_{1,2}}$

Propiedades

Cualquier norma de operador es consistente con las normas vectoriales que la inducen, dando $${\displaystyle \|Ax\|_{\beta }\leq \|A\|_{\alpha ,\beta }\|x\|_{\alpha }.}$$

Supóngase que ; ; y son normas de operador inducidas por los respectivos pares de normas vectoriales ; ; y . Entonces, ${\displaystyle \|\cdot \|_{\alpha ,\beta }}$ ${\displaystyle \|\cdot \|_{\beta ,\gamma }}$ ${\displaystyle \|\cdot \|_{\alpha ,\gamma }}$ ${\displaystyle (\|\cdot \|_{\alpha },\|\cdot \|_{\beta })}$ ${\displaystyle (\|\cdot \|_{\beta },\|\cdot \|_{\gamma })}$ ${\displaystyle (\|\cdot \|_{\alpha },\|\cdot \|_{\gamma })}$

${\displaystyle \|AB\|_{\alpha ,\gamma }\leq \|A\|_{\beta ,\gamma }\|B\|_{\alpha ,\beta };}$

Esto se desprende de y $${\displaystyle \|ABx\|_{\gamma }\leq \|A\|_{\beta ,\gamma }\|Bx\|_{\beta }\leq \|A\|_{\beta ,\gamma }\|B\|_{\alpha ,\beta }\|x\|_{\alpha }}$$ $${\displaystyle \sup _{\|x\|_{\alpha }=1}\|ABx\|_{\gamma }=\|AB\|_{\alpha ,\gamma }.}$$

Matrices cuadradas

Supongamos que es una norma de operador en el espacio de matrices cuadradas inducida por normas vectoriales y . Entonces, la norma de operador es una norma matricial submultiplicativa: ${\displaystyle \|\cdot \|_{\alpha ,\alpha }}$ ${\displaystyle K^{n\times n}}$ ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle \|\cdot \|_{\alpha }}$ $${\displaystyle \|AB\|_{\alpha ,\alpha }\leq \|A\|_{\alpha ,\alpha }\|B\|_{\alpha ,\alpha }.}$$

Además, cualquier norma de este tipo satisface la desigualdad

para todos los enteros positivos r , donde ρ ( A ) es el radio espectral de A . Para A simétrica o hermítica , tenemos igualdad en ( 1 ) para la 2-norma, ya que en este caso la 2-norma es precisamente el radio espectral de A . Para una matriz arbitraria, es posible que no tengamos igualdad para ninguna norma; un contraejemplo sería que tiene un radio espectral que se desvanece. En cualquier caso, para cualquier norma matricial, tenemos la fórmula del radio espectral : $${\displaystyle A={\begin{bmatrix}0&1\\0&0\end{bmatrix}},}$$ $${\displaystyle \lim _{r\to \infty }\|A^{r}\|^{1/r}=\rho (A).}$$

Normas consistentes y compatibles

Una norma matricial en se dice que es consistente con una norma vectorial en y una norma vectorial en , si: para todos y para todos . En el caso especial de m = n y , también se dice que es compatible con . ${\displaystyle \|\cdot \|}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle K^{n}}$ ${\displaystyle \|\cdot \|_{\beta }}$ ${\displaystyle K^{m}}$ $${\displaystyle \left\|Ax\right\|_{\beta }\leq \left\|A\right\|\left\|x\right\|_{\alpha }}$$ ${\displaystyle A\in K^{m\times n}}$ ${\displaystyle x\in K^{n}}$ ${\displaystyle \alpha =\beta }$ ${\displaystyle \|\cdot \|}$ ${\displaystyle \|\cdot \|_{\alpha }}$

Todas las normas inducidas son consistentes por definición. Además, cualquier norma matricial submultiplicativa en induce una norma vectorial compatible en al definir . ${\displaystyle K^{n\times n}}$ ${\displaystyle K^{n}}$ ${\displaystyle \left\|v\right\|:=\left\|\left(v,v,\dots ,v\right)\right\|}$

Normas matriciales "por entrada"

Estas normas tratan una matriz como un vector de tamaño , y utilizan una de las normas vectoriales conocidas. Por ejemplo, utilizando la norma p para vectores, p ≥ 1 , obtenemos: ${\displaystyle m\times n}$ ${\displaystyle m\cdot n}$

${\displaystyle \|A\|_{p,p}=\|\mathrm {vec} (A)\|_{p}=\left(\sum _{i=1}^{m}\sum _{j=1}^{n}|a_{ij}|^{p}\right)^{1/p}}$

Esta es una norma diferente de la p -norma inducida (ver arriba) y de la p -norma de Schatten (ver abajo), pero la notación es la misma.

El caso especial p = 2 es la norma de Frobenius, y p = ∞ produce la norma máxima.

2,1 kilosyL p,qnormas

Sean las columnas de la matriz . Según la definición original, la matriz presenta n puntos de datos en un espacio de dimensión m. La norma ^[6] es la suma de las normas euclidianas de las columnas de la matriz: ${\displaystyle (a_{1},\ldots ,a_{n})}$ ${\displaystyle A}$ ${\displaystyle A}$ ${\displaystyle L_{2,1}}$

${\displaystyle \|A\|_{2,1}=\sum _{j=1}^{n}\|a_{j}\|_{2}=\sum _{j=1}^{n}\left(\sum _{i=1}^{m}|a_{ij}|^{2}\right)^{1/2}}$

La norma como función de error es más robusta, ya que el error de cada punto de datos (una columna) no se eleva al cuadrado. Se utiliza en análisis de datos robustos y codificación dispersa . ${\displaystyle L_{2,1}}$

Para p , q ≥ 1 , la norma se puede generalizar a la norma de la siguiente manera: ${\displaystyle L_{2,1}}$ ${\displaystyle L_{p,q}}$

${\displaystyle \|A\|_{p,q}=\left(\sum _{j=1}^{n}\left(\sum _{i=1}^{m}|a_{ij}|^{p}\right)^{\frac {q}{p}}\right)^{\frac {1}{q}}.}$

Norma de Frobenius

Cuando p = q = 2 para la norma, se denomina norma de Frobenius o norma de Hilbert–Schmidt , aunque este último término se utiliza con más frecuencia en el contexto de operadores en el espacio de Hilbert (posiblemente de dimensión infinita) . Esta norma se puede definir de varias maneras: ${\displaystyle L_{p,q}}$

${\displaystyle \|A\|_{\text{F}}={\sqrt {\sum _{i}^{m}\sum _{j}^{n}|a_{ij}|^{2}}}={\sqrt {\operatorname {trace} \left(A^{*}A\right)}}={\sqrt {\sum _{i=1}^{\min\{m,n\}}\sigma _{i}^{2}(A)}},}$

donde la traza es la suma de las entradas diagonales, y son los valores singulares de . La segunda igualdad se demuestra mediante el cálculo explícito de . La tercera igualdad se demuestra mediante la descomposición en valores singulares de , y el hecho de que la traza es invariante bajo desplazamientos circulares. ${\displaystyle \sigma _{i}(A)}$ ${\displaystyle A}$ ${\displaystyle \mathrm {trace} (A^{*}A)}$ ${\displaystyle A}$

La norma de Frobenius es una extensión de la norma euclidiana y proviene del producto interno de Frobenius en el espacio de todas las matrices. ${\displaystyle K^{n\times n}}$

La norma de Frobenius es submultiplicativa y resulta muy útil para el álgebra lineal numérica . La submultiplicatividad de la norma de Frobenius se puede demostrar mediante la desigualdad de Cauchy-Schwarz .

La norma de Frobenius suele ser más fácil de calcular que las normas inducidas y tiene la propiedad útil de ser invariante ante rotaciones (y operaciones unitarias en general). Es decir, para cualquier matriz unitaria . Esta propiedad se desprende de la naturaleza cíclica de la traza ( ): ${\displaystyle \|A\|_{\text{F}}=\|AU\|_{\text{F}}=\|UA\|_{\text{F}}}$ ${\displaystyle U}$ ${\displaystyle \operatorname {trace} (XYZ)=\operatorname {trace} (YZX)=\operatorname {trace} (ZXY)}$

${\displaystyle \|AU\|_{\text{F}}^{2}=\operatorname {trace} \left((AU)^{*}AU\right)=\operatorname {trace} \left(U^{*}A^{*}AU\right)=\operatorname {trace} \left(UU^{*}A^{*}A\right)=\operatorname {trace} \left(A^{*}A\right)=\|A\|_{\text{F}}^{2},}$

y análogamente:

${\displaystyle \|UA\|_{\text{F}}^{2}=\operatorname {trace} \left((UA)^{*}UA\right)=\operatorname {trace} \left(A^{*}U^{*}UA\right)=\operatorname {trace} \left(A^{*}A\right)=\|A\|_{\text{F}}^{2},}$

donde hemos utilizado la naturaleza unitaria de (es decir, ). ${\displaystyle U}$ ${\displaystyle U^{*}U=UU^{*}=\mathbf {I} }$

También satisface

${\displaystyle \|A^{*}A\|_{\text{F}}=\|AA^{*}\|_{\text{F}}\leq \|A\|_{\text{F}}^{2}}$

y

${\displaystyle \|A+B\|_{\text{F}}^{2}=\|A\|_{\text{F}}^{2}+\|B\|_{\text{F}}^{2}+2\operatorname {Re} \left(\langle A,B\rangle _{\text{F}}\right),}$

donde es el producto interno de Frobenius , y Re es la parte real de un número complejo (irrelevante para matrices reales) ${\displaystyle \langle A,B\rangle _{\text{F}}}$

Norma máxima

La norma máxima es la norma elemento por elemento en el límite cuando p = q tiende a infinito:

${\displaystyle \|A\|_{\max }=\max _{i,j}|a_{ij}|.}$

Esta norma no es submultiplicativa, pero modificando el lado derecho sí lo es. ${\displaystyle {\sqrt {mn}}\max _{i,j}\vert a_{ij}\vert }$

Tenga en cuenta que en alguna literatura (como Communication Complexity ), una definición alternativa de norma máxima, también llamada -norma, se refiere a la norma de factorización: ${\displaystyle \gamma _{2}}$

${\displaystyle \gamma _{2}(A)=\min _{U,V:A=UV^{T}}\|U\|_{2,\infty }\|V\|_{2,\infty }=\min _{U,V:A=UV^{T}}\max _{i,j}\|U_{i,:}\|_{2}\|V_{j,:}\|_{2}}$

Normas de Schatten

Las p -normas de Schatten surgen al aplicar la p -norma al vector de valores singulares de una matriz. ^[2] Si los valores singulares de la matriz se denotan por σ _i , entonces la p -norma de Schatten se define por ${\displaystyle m\times n}$ ${\displaystyle A}$

${\displaystyle \|A\|_{p}=\left(\sum _{i=1}^{\min\{m,n\}}\sigma _{i}^{p}(A)\right)^{1/p}.}$

Estas normas nuevamente comparten la notación con las normas p inducidas y de entrada , pero son diferentes.

Todas las normas de Schatten son submultiplicativas. También son unitariamente invariantes, lo que significa que para todas las matrices y todas las matrices unitarias y . ${\displaystyle \|A\|=\|UAV\|}$ ${\displaystyle A}$ ${\displaystyle U}$ ${\displaystyle V}$

Los casos más conocidos son p = 1, 2, ∞. El caso p = 2 produce la norma de Frobenius, introducida anteriormente. El caso p = ∞ produce la norma espectral, que es la norma del operador inducida por la norma 2-vectorial (véase más arriba). Por último, p = 1 produce la norma nuclear (también conocida como norma de traza o norma 'n'- Ky Fan ^[7] ), definida como:

${\displaystyle \|A\|_{*}=\operatorname {trace} \left({\sqrt {A^{*}A}}\right)=\sum _{i=1}^{\min\{m,n\}}\sigma _{i}(A),}$

donde denota una matriz semidefinida positiva tal que . Más precisamente, dado que es una matriz semidefinida positiva , su raíz cuadrada está bien definida. La norma nuclear es una envolvente convexa de la función de rango , por lo que se utiliza a menudo en la optimización matemática para buscar matrices de bajo rango. ${\displaystyle {\sqrt {A^{*}A}}}$ ${\displaystyle B}$ ${\displaystyle BB=A^{*}A}$ ${\displaystyle A^{*}A}$ ${\displaystyle \|A\|_{*}}$ ${\displaystyle {\text{rank}}(A)}$

La combinación de la desigualdad de trazas de von Neumann con la desigualdad de Hölder para el espacio euclidiano produce una versión de la desigualdad de Hölder para las normas de Schatten para : ${\displaystyle 1/p+1/q=1}$

${\displaystyle \left|\operatorname {trace} (A^{*}B)\right|\leq \|A\|_{p}\|B\|_{q},}$

En particular, esto implica la desigualdad de la norma Schatten

${\displaystyle \|A\|_{F}^{2}\leq \|A\|_{p}\|A\|_{q}.}$

Normas monótonas

Una norma matricial se denomina monótona si es monótona con respecto al orden de Loewner . Por lo tanto, una norma matricial es creciente si ${\displaystyle \|\cdot \|}$

${\displaystyle A\preccurlyeq B\Rightarrow \|A\|\leq \|B\|.}$

La norma de Frobenius y la norma espectral son ejemplos de normas monótonas. ^[8]

Recortar normas

Otra fuente de inspiración para las normas matriciales surge de considerar una matriz como la matriz de adyacencia de un grafo dirigido ponderado . [ ^9] La llamada "norma de corte" mide qué tan cerca está el grafo asociado de ser bipartito : donde A ∈ K ^{m × n} . ^{[9] [10] [11]} Las definiciones equivalentes (hasta un factor constante) imponen las condiciones 2| S | > n & 2| T | > ​​m ; S = T ; o S ∩ T = ∅ . ^[10] $${\displaystyle \|A\|_{\Box }=\max _{S\subseteq [n],T\subseteq [m]}{\left|\sum _{s\in S,t\in T}{A_{t,s}}\right|}}$$

La norma de corte es equivalente a la norma del operador inducido ‖·‖ _∞→1 , que a su vez es equivalente a otra norma, llamada norma de Grothendieck . ^[11]

Para definir la norma de Grothendieck, primero observe que un operador lineal K ¹ → K ¹ es simplemente un escalar, y por lo tanto se extiende a un operador lineal en cualquier K ^k → K ^k . Además, dada cualquier elección de base para K ⁿ y K ^m , cualquier operador lineal K ⁿ → K ^m se extiende a un operador lineal ( K ^k ) ⁿ → ( K ^k ) ^m , al dejar cada elemento de la matriz en elementos de K ^k a través de la multiplicación escalar. La norma de Grothendieck es la norma de ese operador extendido; en símbolos: ^[11] $${\displaystyle \|A\|_{G,k}=\sup _{{\text{each }}u_{j},v_{j}\in K^{k};\|u_{j}\|=\|v_{j}\|=1}{\sum _{j\in [n],\ell \in [m]}{(u_{j}\cdot v_{j})A_{\ell ,j}}}}$$

La norma de Grothendieck depende de la elección de la base (generalmente tomada como la base estándar ) y de k .

Equivalencia de normas

Para cualesquiera dos normas matriciales y , tenemos que: ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle \|\cdot \|_{\beta }}$

${\displaystyle r\|A\|_{\alpha }\leq \|A\|_{\beta }\leq s\|A\|_{\alpha }}$

para algunos números positivos r y s , para todas las matrices . En otras palabras, todas las normas en son equivalentes ; inducen la misma topología en . Esto es cierto porque el espacio vectorial tiene la dimensión finita . ${\displaystyle A\in K^{m\times n}}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle K^{m\times n}}$ ${\displaystyle m\times n}$

Además, para cada norma matricial en existe un único número real positivo tal que es una norma matricial submultiplicativa para cada ; a saber, ${\displaystyle \|\cdot \|}$ ${\displaystyle \mathbb {R} ^{n\times n}}$ ${\displaystyle k}$ ${\displaystyle \ell \|\cdot \|}$ ${\displaystyle \ell \geq k}$

${\displaystyle k=\sup\{\Vert AB\Vert \,:\,\Vert A\Vert \leq 1,\Vert B\Vert \leq 1\}.}$

Se dice que una norma matricial submultiplicativa es mínima si no existe otra norma matricial submultiplicativa que satisfaga . ${\displaystyle \|\cdot \|_{\alpha }}$ ${\displaystyle \|\cdot \|_{\beta }}$ ${\displaystyle \|\cdot \|_{\beta }<\|\cdot \|_{\alpha }}$

Ejemplos de equivalencia de normas

Volvamos a referirnos a la norma inducida por el vector p -norma (como arriba en la sección Norma inducida). ${\displaystyle \|A\|_{p}}$

Para una matriz de rango , se cumplen las siguientes desigualdades: ^{[12] [13]} ${\displaystyle A\in \mathbb {R} ^{m\times n}}$ ${\displaystyle r}$

• ${\displaystyle \|A\|_{2}\leq \|A\|_{F}\leq {\sqrt {r}}\|A\|_{2}}$
• ${\displaystyle \|A\|_{F}\leq \|A\|_{*}\leq {\sqrt {r}}\|A\|_{F}}$
• ${\displaystyle \|A\|_{\max }\leq \|A\|_{2}\leq {\sqrt {mn}}\|A\|_{\max }}$
• ${\displaystyle {\frac {1}{\sqrt {n}}}\|A\|_{\infty }\leq \|A\|_{2}\leq {\sqrt {m}}\|A\|_{\infty }}$
• ${\displaystyle {\frac {1}{\sqrt {m}}}\|A\|_{1}\leq \|A\|_{2}\leq {\sqrt {n}}\|A\|_{1}.}$

Véase también

• Doble norma
• Norma logarítmica

Notas

1. La condición sólo se aplica cuando el producto está definido, como en el caso de matrices cuadradas ( m = n ).

Referencias

1. Weisstein, Eric W. "Matrix Norm". mathworld.wolfram.com . Consultado el 24 de agosto de 2020 .
2. "Normas matriciales". fourier.eng.hmc.edu . Consultado el 24 de agosto de 2020 .
3. Malek-Shahmirzadi, Massoud (1983). "Una caracterización de ciertas clases de normas matriciales". Álgebra lineal y multilineal . 13 (2): 97–99. doi :10.1080/03081088308817508. ISSN  0308-1087.
4. Horn, Roger A. (2012). Análisis de matrices . Johnson, Charles R. (2.ª ed.). Cambridge: Cambridge University Press. pp. 340–341. ISBN 978-1-139-77600-4.OCLC 817236655  .
5. Carl D. Meyer, Análisis matricial y álgebra lineal aplicada, §5.2, p.281, Sociedad de Matemáticas Industriales y Aplicadas, junio de 2000.
6. Ding, Chris; Zhou, Ding; He, Xiaofeng; Zha, Hongyuan (junio de 2006). "R1-PCA: análisis de componentes principales de norma L1 invariante rotacional para factorización de subespacios robusta". Actas de la 23.ª Conferencia internacional sobre aprendizaje automático . ICML '06. Pittsburgh, Pensilvania, EE. UU.: ACM. págs. 281–288. doi :10.1145/1143844.1143880. ISBN . 1-59593-383-2.
7. Fan, Ky. (1951). "Propiedades máximas y desigualdades para los valores propios de operadores completamente continuos". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 37 (11): 760–766. Bibcode :1951PNAS...37..760F. doi : 10.1073/pnas.37.11.760 . PMC 1063464 . PMID  16578416. 
8. Ciarlet, Philippe G. (1989). Introducción al álgebra lineal numérica y optimización . Cambridge, Inglaterra: Cambridge University Press. p. 57. ISBN 0521327881.
9. Frieze, Alan; Kannan, Ravi (1999-02-01). "Aproximación rápida a matrices y aplicaciones". Combinatorica . 19 (2): 175–220. doi :10.1007/s004930050052. ISSN  1439-6912. S2CID  15231198.
10. Lovász László (2012). "La distancia de corte". Grandes redes y límites de grafos . Publicaciones del coloquio de la AMS. Vol. 60. Providence, RI: American Mathematical Society. págs. 127–131. ISBN 978-0-8218-9085-1. Tenga en cuenta que Lovász cambia la escala de ‖ A ‖ _□ para que esté en [0, 1] .
11. Alon, Noga ; Naor, Assaf (13 de junio de 2004). "Aproximación de la norma de corte mediante la desigualdad de Grothendieck". Actas del trigésimo sexto simposio anual de la ACM sobre teoría de la computación . STOC '04. Chicago, IL, EE. UU.: Association for Computing Machinery. págs. 72–80. doi :10.1145/1007352.1007371. ISBN 978-1-58113-852-8.S2CID1667427  .​
12. Golub, Gene ; Charles F. Van Loan (1996). Cálculos matriciales – Tercera edición. Baltimore: The Johns Hopkins University Press, 56–57. ISBN 0-8018-5413-X . 
13. Roger Horn y Charles Johnson. Análisis de matrices, Capítulo 5, Cambridge University Press, 1985. ISBN 0-521-38632-2 . 

Bibliografía

• James W. Demmel , Álgebra lineal numérica aplicada, sección 1.7, publicado por SIAM, 1997.
• Carl D. Meyer, Análisis matricial y álgebra lineal aplicada, publicado por SIAM, 2000. [1]
• John Watrous , Teoría de la información cuántica, 2.3 Normas de los operadores, notas de clase, Universidad de Waterloo, 2011.
• Kendall Atkinson, Introducción al análisis numérico, publicado por John Wiley & Sons, Inc. en 1989