Norma vectorial

Ir a la navegaciónIr a la búsqueda
Un vector es un elemento de un espacio vectorial del que, en ocasiones,
especialmente en física y geometría, interesa conocer su longitud. Para ello se
hace necesario definir un operador norma que determine la longitud o magnitud del
vector bajo consideración ya que este acto, pese a lo que pudiéramos creer, no es
un problema trivial; especialmente desde la aparición de las geometrías no
euclídeas para las que surge, asociada al concepto de longitud, la noción de
geodésica. Para ampliar estas ideas conviene conocer la geometría riemanniana y la
geometría diferencial.

Por tanto, basándonos en las propiedades básicas que la determinación de la

longitud tiene en el espacio euclídeo habitual, definimos matemáticamente qué
condiciones mínimas debe satisfacer un operador que actúe sobre un vector para
poder ser considerado un operador norma en cualquier geometría. De esta forma,
aparecen varias posibilidades que han sido muy fructíferas en diversos campos entre
los que cabe destacar la astrofísica y la cosmología.

En espacios vectoriales es sinónimo de longitud de un vector.

Índice
1 Definición de norma euclídea
2 Definiciones de norma
3 Ejemplos
4 Proposición
5 Otras normas
6 Véase también
7 Referencias
7.1 Bibliografía
Definición de norma euclídea
En un espacio euclídeo ordinario los vectores son representables como segmentos
orientados entre puntos de dicho espacio. Dado un vector de un espacio vectorial
euclídeo, la norma de un vector se define como la distancia euclídea (en línea
recta) entre dos puntos A y B que delimitan dicho vector. De hecho, en un espacio
euclídeo la norma de un vector coincide precisamente con el módulo del vector
{displaystyle {vec {AB}}}{displaystyle {vec {AB}}}.

En dos dimensiones
{displaystyle {vec {AB}}={sqrt {(b_{1}-a_{1})^{2}+(b_{2}-a_{2})^{2}}}}{displaystyle
{vec {AB}}={sqrt {(b_{1}-a_{1})^{2}+(b_{2}-a_{2})^{2}}}} siendo {displaystyle {vec
{OA}}=(a_{1},a_{2})}{displaystyle {vec {OA}}=(a_{1},a_{2})} y {displaystyle {vec
{OB}}=(b_{1},b_{2})}{displaystyle {vec {OB}}=(b_{1},b_{2})} y O el origen de
coordenadas de dicho espacio.
Extendiendo lo anterior al espacio euclídeo de tres dimensiones, es también
elemental que
{displaystyle {vec {AB}}={sqrt {{(b_{1}-a_{1})^{2}}+{(b_{2}-a_{2})^{2}}+{(b_{3}-
a_{3})^{2}}}}}{displaystyle {vec {AB}}={sqrt {{(b_{1}-a_{1})^{2}}+{(b_{2}-
a_{2})^{2}}+{(b_{3}-a_{3})^{2}}}}} siendo {displaystyle {vec
{OA}}=(a_{1},a_{2},a_{3})}{displaystyle {vec {OA}}=(a_{1},a_{2},a_{3})} y
{displaystyle {vec {OB}}=(b_{1},b_{2},b_{3})}{displaystyle {vec
{OB}}=(b_{1},b_{2},b_{3})}
En el caso general de un espacio euclídeo de n dimensiones se tiene
{displaystyle {vec {AB}}={sqrt {(b_{1}-a_{1})^{2}+(b_{2}-a_{2})^{2}+...+(b_{n}-
a_{n})^{2}}}}{displaystyle {vec {AB}}={sqrt {(b_{1}-a_{1})^{2}+(b_{2}-
a_{2})^{2}+...+(b_{n}-a_{n})^{2}}}} siendo {displaystyle {vec
{OA}}=(a_{1},a_{2},...,a_{n})}{displaystyle {vec {OA}}=(a_{1},a_{2},...,a_{n})} y
{displaystyle {vec {OB}}=(b_{1},b_{2},...,b_{n})}{displaystyle {vec
{OB}}=(b_{1},b_{2},...,b_{n})}.
De lo anterior se sigue que, fijada una base ortonormal {displaystyle {mathcal
{B}}}{mathcal {B}} en la que un vector {displaystyle mathbf {v} }{mathbf {v}}
viene dado por sus componentes en esta base, {displaystyle mathbf {v} _{mathcal
{B}}=(v_{1},v_{2},cdots ,v_{n})}{displaystyle mathbf {v} _{mathcal
{B}}=(v_{1},v_{2},cdots ,v_{n})}, entonces la norma de dicho vector viene dada por

{displaystyle mathbf {v} ={sqrt {v_{1}^{2}+v_{2}^{2}+cdots +v_{n}^{2}}}={sqrt {sum

_{i=1}^{n}v_{i}^{2}}}}{displaystyle mathbf {v} ={sqrt {v_{1}^{2}+v_{2}^{2}+cdots
+v_{n}^{2}}}={sqrt {sum _{i=1}^{n}v_{i}^{2}}}}

Definiciones de norma
La definición general de norma se basa en generalizar a espacios vectoriales
abstractos la noción de módulo de un vector de un espacio euclídeo. Recuérdese que
en un espacio no euclídeo el concepto de camino más corto entre dos puntos ya no es
identificable necesariamente con el de la línea recta; por ello, se utilizan las
propiedades operacionales de la norma euclídea definida más arriba para extraer las
condiciones que debe cumplir la longitud de un vector, o norma vectorial, en un
espacio vectorial cualquiera. Estas condiciones básicas son

Siempre es no negativa e independiente del sentido (orientación) de la medición.

La longitud debe ser directamente proporcional al tamaño (es decir, doble -o
triple- de tamaño significa doble -o triple- de longitud).
La longitud entre dos puntos será siempre menor o igual que la suma de longitudes
desde esos mismos dos puntos a un tercero diferente de ellos (desigualdad
triangular la suma de dos lados de un triángulo nunca es menor que el tercer lado,
también generalizada en la desigualdad de Cauchy-Schwarz). Se presentan dos maneras
de forma, una casi directa y apunta a lo dicho longitud de vector. La otra usa la
noción de operador y mayor simbolismo de la matemática formal (tipo Bourbaki).
Esto genera la siguiente

Definición aplicable cuando {displaystyle V=R^{n}}{displaystyle V=R^{n}}

Se denomina norma de un vector {displaystyle xin R^{n}}{displaystyle xin R^{n}} si
satisface las siguientes condiciones

{displaystyle x=0;x=0Leftrightarrow }{displaystyle x=0;x=0Leftrightarrow }

{displaystyle x=0}{displaystyle x=0}.
{displaystyle {x}+{y}leq {x}+ {y}}{displaystyle {x}+{y}leq {x}+ {y}} (propiedad
triangular).
{displaystyle alpha x=alpha cdot x}{displaystyle alpha x=alpha cdot x} para
todo {displaystyle alpha in (-infty ,infty )}{displaystyle alpha in (-infty
,infty )}. 1
Definición general
Sea {displaystyle mathbf {V} }{displaystyle mathbf {V} } un espacio vectorial sobre
un cuerpo {displaystyle mathbb {K} }{mathbb {K}} y {displaystyle {vec {x}}}
{displaystyle {vec {x}}} un vector del espacio. Se dice que {displaystyle cdot
Vrightarrow mathbb {R} }{displaystyle cdot Vrightarrow mathbb {R} } es un operador
que define la norma de {displaystyle {vec {x}}}{displaystyle {vec {x}}}, que
denotaremos como {displaystyle {vec {x}}}{displaystyle {vec {x}}}, si cumple

Para todo {displaystyle {vec {x}}}{displaystyle {vec {x}}} de {displaystyle mathbf

{V} }{displaystyle mathbf {V} } su norma ha de ser no negativa, y será cero si y
sólo si {displaystyle {vec {x}}}{displaystyle {vec {x}}} es el vector cero
{displaystyle 0{vec {x}}}{displaystyle 0{vec {x}}} si {displaystyle {vec {x}}neq
{vec {0}}}{displaystyle {vec {x}}neq {vec {0}}} y {displaystyle {vec
{x}}=0Longleftrightarrow {vec {x}}={vec {0}}}{displaystyle {vec
{x}}=0Longleftrightarrow {vec {x}}={vec {0}}}.
Para todo {displaystyle {vec {x}}}{displaystyle {vec {x}}} de {displaystyle mathbf
{V} }{displaystyle mathbf {V} } y para todo {displaystyle k}k de {displaystyle
mathbb {K} }{mathbb {K}} se satisface que {displaystyle k{vec {x}}=k}{displaystyle
k{vec {x}}=k} · {displaystyle {vec {x}}}{displaystyle {vec {x}}}.
Para todos {displaystyle {vec {x}}}{displaystyle {vec {x}}} e {displaystyle {vec
{y}}}{displaystyle {vec {y}}} de {displaystyle mathbf {V} }{displaystyle mathbf {V}
} se cumple que {displaystyle {vec {x}}+{vec {y}}leq {vec {x}}+{vec {y}}}
{displaystyle {vec {x}}+{vec {y}}leq {vec {x}}+{vec {y}}} (desigualdad triangular).
Cualquier operador que cumpla estas tres condiciones, y en cualquier geometría,
será un operador norma.

Ejemplos
A continuación se muestran algunos ejemplos de posibles operadores norma, que
satisfacen la definición matemática general

Para un vector {displaystyle {vec {x}}=(x_{1},x_{2},...,x_{n})}{displaystyle {vec

{x}}=(x_{1},x_{2},...,x_{n})} se define la norma-p como
{displaystyle {vec {x}}_{p}={sqrt[{p}]{x_{1}^{p}+x_{2}^{p}+...+x_{n}^{p}}}}
{displaystyle {vec {x}}_{p}={sqrt[{p}]{x_{1}^{p}+x_{2}^{p}+...+x_{n}^{p}}}}

Así, para el caso {displaystyle p=1}{displaystyle p=1} se obtiene {displaystyle

{vec {x}}_{1}=x_{1}+x_{2}+...+x_{n}}{displaystyle {vec {x}}_{1}=x_{1}+x_{2}+...
+x_{n}}, y para el caso {displaystyle p=2}{displaystyle p=2} se obtiene la norma
euclídea explicada más arriba.

Otro operador norma sería, la norma infinito

{displaystyle {vec {x}}_{infty }=max(x_{1},x_{2},...,x_{n})=max _{iin {1,dots
,n}}x_{i}}{displaystyle {vec {x}}_{infty }=max(x_{1},x_{2},...,x_{n})=max _{iin
{1,dots ,n}}x_{i}}

Donde {displaystyle {vec {x}}=(x_{1},x_{2},...,x_{n})}{displaystyle {vec

{x}}=(x_{1},x_{2},...,x_{n})}. Para un espacio de dimensión infinita numerable se
podría escribir

{displaystyle {vec {x}}_{infty }=sup _{iin mathbb {N} }x_{i}}{displaystyle {vec

{x}}_{infty }=sup _{iin mathbb {N} }x_{i}}

La elección del subíndice {displaystyle infty }infty para esta norma se debe al
hecho de que

{displaystyle lim _{pto infty },,{vec {x}}_{p}={vec {x}}_{infty }}{displaystyle lim

_{pto infty },,{vec {x}}_{p}={vec {x}}_{infty }}

En un espacio vectorial dotado de producto escalar o Espacio prehilbertiano existe

una norma asociada al producto escalar definida como (La coma indica producto
interno)
{displaystyle x={sqrt {langle x,x^{}rangle }}}{displaystyle x={sqrt {langle
x,x^{}rangle }}} donde x es el complejo conjugado de x

Si dicho espacio es un espacio de Hilbert entonces el espacio con la norma asociada

al producto escalar es un espacio de Banach.

Proposición
En {displaystyle R^{n}}{displaystyle R^{n}} todas las normas son equivalentes
(desde el punto de vista de la convergencia), esto es, que para dos normas
cualesquiera {displaystyle ._{1}}{displaystyle ._{1}} y {displaystyle ._{2}}
{displaystyle ._{2}} existen dos constantes {displaystyle gamma }gamma y
{displaystyle lambda }lambda tales que

{displaystyle x_{1}leq gamma x_{2}}{displaystyle x_{1}leq gamma x_{2}} y

{displaystyle x_{2}leq lambda x_{1}}{displaystyle x_{2}leq lambda x_{1}} para todo
{displaystyle xin R^{n}.}{displaystyle xin R^{n}.} 2

Otras normas
Norma de Lebesgue
{displaystyle v_{p}={sqrt[{p}]{int _{0}^{T}v(t)^{p},{text{d}}t}}}{displaystyle
v_{p}={sqrt[{p}]{int _{0}^{T}v(t)^{p},{text{d}}t}}} en el espacio {displaystyle
L_{p}[0,T],1leq pinfty }{displaystyle L_{p}[0,T],1leq pinfty }, formado por todas
las funciones escalares medibles {displaystyle v(t)}{displaystyle v(t)} definidas
sobre {displaystyle 0leq tleq T}{displaystyle 0leq tleq T} 3

Norma de Sobolev
{displaystyle u_{m,p}={sqrt[{p}]{int _{Omega }sum _{alpha leq m}D^{alpha }u^{p},
{text{d}}x}}}{displaystyle u_{m,p}={sqrt[{p}]{int _{Omega }sum _{alpha leq
m}D^{alpha }u^{p},{text{d}}x}}} en {displaystyle C^{m}(Omega )}{displaystyle C^{m}
(Omega )} el conjunto de todas las funciones reales con m derivadas continuas
definidas en {displaystyle Omega }Omega , donde este conjunto es acotado y abierto
en {displaystyle R^{n}}{displaystyle R^{n}} 4

Véase también
Tensor métrico
Espacios vectoriales normados
Espacios métricos
Referencias
V. Boss Lecciones de matemática tomo 1 Análisis Editorial URSS Moscú (2007)
Boss Op. cit.
J. N. Reddy, M.L. Rasmussen Análisis matemático avanzado con aplicaciones a
ingeniería y ciencias Limusa Grupo Noriega Editores Ciudad de México (1992)
Reddy et al Op. cit
Bibliografía
Bourbaki, Nicolas (1987). «capítulos 1–5». Topological vector spaces. Springer.
ISBN 3-540-13627-4.
Prugovečki, Eduard (1981). Quantum mechanics in Hilbert space (2nd edición).
Academic Press. p. 20. ISBN 0-12-566060-X. (requiere registro).
Trèves, François (1995). Topological Vector Spaces, Distributions and Kernels.
Academic Press, Inc. pp. 136-149, 195-201, 240-252, 335-390, 420-433. ISBN 0-486-
45352-9.
Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture
Notes in Mathematics 936. Springer-Verlag. pp. 3-5. ISBN 978-3-540-11565-6. Zbl
0482.46002.
Control de autoridades
Proyectos WikimediaWd Datos Q956437Commonscat Multimedia Vector norms
IdentificadoresMicrosoft Academic 59372978Diccionarios y enciclopediasBritannica
url
Categorías Geometría métricaAnálisis matemáticoVectores
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historial
Buscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimirexportar
Crear un libro
Descargar como PDF
Versión para imprimir
En otros proyectos
Wikimedia Commons

En otros idiomas
‫العربية‬
Deutsch
English
Français
Bahasa Indonesia
Português
Русский
‫اردو‬
中文
31 más
Editar enlaces
Esta página se editó por última vez el 13 oct 2020 a las 1437.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaración de cookiesWikimedia FoundationPowered
by MediaWiki