4.6: Otras normas
- Page ID
- 82456
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)En ocasiones nos resulta útil usar una definición diferente de distancia, correspondiente a una norma alternativa para vectores. Por ejemplo, considere la norma l definida como
\[||x||_1=(|x_1|+|x_2|+⋯+|x_n|) \nonumber \]
donde\(|x_i|\) es la magnitud del componente\(x_i\). También está la sup-norma, el “supremum” o máximo de los componentes\(x_1,...,x_n\):
\[||x||_{\mathrm{sup}}=\mathrm{max}(|x_1|,|x_2|,...,|x_n|) \nonumber \]
Los siguientes ejemplos ilustran cómo se ven la norma euclidiana, la norma l y la norma sup-norma para vectores típicos
Considera el vector\(x=\begin{bmatrix} −3\\1\\2 \end{bmatrix}\). Entonces
- \(||x||=[(−3)^2+(1)^2+(2)^2]^{1/2}=(14)^{1/2}\)
- \(||x||_1=(|−3|+|1|+|2|)=6\)
- \(||x||_{\mathrm{sup}}=\mathrm{max}(|−3|,|1|,|2|)=3\)
La figura\(\PageIndex{1}\) muestra el locus de vectores de dos componentes\(x=\begin{bmatrix}x_1\\x_2\end{bmatrix}\) con la propiedad que\(||x||=1\),\(||x||_1=1\), o\(||x||_{\mathrm{sup}}=1\).

El siguiente ejemplo muestra cómo la norma l es una parte importante de la vida de la ciudad.
La ciudad de Metroville fue trazada por matemáticos como se muestra en la Figura\(\PageIndex{2}\). Una persona en la intersección de la avenida 0 y la calle −2 (punto A) se encuentra claramente a dos cuadras del centro de la ciudad (punto C). Esto es consistente tanto con la norma euclidiana
\[||A||=\sqrt{0^2+(−2)^2}=\sqrt{4}=2 \nonumber \]
y la norma l
\[||A||_1=(|0|+|−2|)=2 \nonumber \]
Pero, ¿a qué distancia del centro de la ciudad se encuentra el punto B en la intersección de la Avenue-2 y la Calle 1? Según la norma euclidiana, la distancia es
\[||B||=\sqrt{(−2)^2+(1)^2}=\sqrt{5} \nonumber \]

Si bien es cierto que el punto B está a\(\sqrt{5}\) cuadras de C, también está claro que el viaje sería de tres cuadras por cualquiera de las tres rutas más cortas en las carreteras. La norma apropiada es la norma l:
\[∣1^B||_1=(|−2|+|1|)=3 \nonumber \]
De manera aún más general, podemos definir una norma para cada valor de p desde 1 hasta el infinito. La llamada norma p es
\[|Ix||_p=(|x_1∣∣^p+|x_2∣∣^p+⋯+|x_n|^p)^{1/p} \nonumber \]
Ejercicio\(\PageIndex{1}\)
Demostrar que la norma euclidiana es la misma que la norma p con p=2 y que la norma 1 es la norma p con p=1. (También se puede demostrar que la sup-norma es como una norma p con p=∞.)
DEMO 4.1 (MATLAB)
Desde el nivel de comando de MATLAB, escriba las siguientes líneas:
>> x = [1;3;-2;4] >> y = [0;1;2;-0.5] >> x - y
Verifique si la respuesta concuerda con la definición de resta vectorial. Ahora escriba
>> a = -1.5 >> a * x
Consulta la respuesta para ver si concuerda con la definición de multiplicación escalar. Ahora escriba
>> x' * y
Así es como MATLAB hace el producto interno. Consulta el resultado. Tipo
>> norm(y) >> sqrt(y' * y)
>> norm(y,1) >> norm(y' * y)
Ahora escribe tu propia expresión MATLAB para encontrar el coseno del ángulo entre los vectores x e y. Pon el resultado en la variable t. Luego encuentra el ángulo θ escribiendo
>> theta = acos(t)
El ángulo θ está en radianes. Puedes convertirlo a grados si lo deseas multiplicándolo por\(180/π\):
>> theta = theta * (180/pi)