Norma (matemática): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Desfeita a edição 55344310 de 201.78.217.122; Ver também p. 56 de Golub & Van Loan (1996); format. <math> e pontuação
Linha 4:
==Definição==
Dado um [[espaço vetorial]] <math>X</math> sobre o corpo <math>\mathbb{K}</math> dos [[números reais]] ou [[números complexos|complexos]], uma função <math>\| \cdot \|: X \to \mathbb{R}^{+}</math> é chamada de norma se, para quaisquer <math>\vec x, \vec y \in X </math> e todo <math>\alpha \in \mathbb{K}:</math> <ref>SANTOS (2010), p.3, ex. 54.</ref>
*<math>\|\vec x\| = 0 \RightarrowLeftrightarrow \vec x = \vec 0.</math> Se esta condição não for atendida, a função será no máximo uma [[seminorma]].
*<math>\|\alpha \vec x\|=|\alpha| \|\vec x\|</math>
*<math>\|\vec x + \vec y\| \leleqslant \|\vec x\|+\|\vec y\|</math> ([[desigualdade triangular]])
 
Se o [[espaço vetorial]] <math>X</math> tem uma '''norma''', ele passa a ser chamado de [[espaço normado]], e denotado por <math>\left(X, \| \cdot \|\right).</math>
Linha 19:
 
==Normas equivalentes==
Duas normas <math>\|. \cdot \|_1</math> e <math>\|.\cdot\|_2</math> sobre o mesmo espaço vetorial <math>X</math> são ditas ''equivalentes'' se existirem constantes reais positivas <math>C_1</math> e <math>C_2\, (C_1 \leqleqslant C_2)</math> tais que:
<math display="block">C_1\|\vec x\|_1 \leqleqslant \|\vec x\|_2 \leqleqslant C_2\|\vec x\|_1 ~~\forall \vec, x\in X</math>
 
Quando duas normas são equivalentes, elas induzem a mesma topologia.
 
==Normas em espaços de dimensão finita==
Seja <math>\vec x=\left(x_1,x_2,\ldots,x_n\right)=\sum_{i=1}^nx_i \vec e_i</math> a representação de um vetor em <math>\mathbb{R}^n</math> ou <math>\mathbb{C}^n.</math>
 
As normas canônicas definidas nestes espaços são as chamadas '''normas <math>\ell^p</math>''':
*<math>\|\vec x\|_p=\leftBig(\sum_{i=1}^n|x_i|^p\rightBig)^{1/p\frac1p} ~~, 1\leqleqslant p<\infty</math>
*<math>\|\vec x\|_\infty=\max_{i=1}^n(|x_i|)</math>
O caso particular em que <math>p = 2</math> corresponde à norma [[espaço euclidiano|euclidiana]]:
<math display="block">\|\vec x\|_2=\leftBig(\sum_{i=1}^n|x_i|^2\rightBig)^{1/2\frac12}</math>
 
Outras normas podem ainda ser definidas, no entanto, pode-se demonstrar que todas elas serão equivalentes.
Linha 38:
{{artigo principal|Norma matricial}}
Se o espaço vetorial considerado é aquele formado pelas matrizes reais ou complexas de ordem <math>n\times m,</math> denotado por <math>M^{n\times m},</math> uma norma sobre esse espaço é chamada de norma matricial. Um exemplo de norma matricial é a norma ''1'', denotada <math>\|.\|_1</math> definida como o máximo da soma módulo das entradas de cada linha, ou seja se <math>A = \left[ a_{ij} \right]_{r \times s}</math> então a norma 1 da matriz <math>A</math> é o número não negativo dado por<ref>{{citar livro |sobrenome=Golub |nome=Gene |coautores=Van Loan, Charles F. |título=Matrix Computations |editora=The Johns Hopkins University Press |local=Baltimore |isbn=080185413X |página=56 |edição=3 |autorlink=Gene Golub}}</ref>
<math display="block">\|A\|_1 = \max_{1 \le i \leleqslant r} \sum_{j=1}^s |a_{ij}|.</math>
 
A norma 1 da matriz <math>A = \begin{vmatrix} 1 & 3 \\ 2 & -1 \end{vmatrix},</math> por exemplo, é<ref>Boldrini ''et. al'', p. 342.</ref>