Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
Nesta seção, fazemos uma rápida discussão sobre normas de vetores e matrizes e sobre o condicionamento de uma matriz.
A norma de um dado vetor é definida por
| (3.217) |
Lembrando que o produto interno de dois vetores é definido por
| (3.218) |
temos que
| (3.219) |
Sejam os vetores
| (3.220) | ||||
| (3.221) |
| (3.222) | ||||
| (3.223) | ||||
| (3.224) | ||||
| (3.225) |
| (3.226) | ||||
| (3.227) | ||||
| (3.228) | ||||
| (3.229) |
(Propriedades da Norma para Vetores.) Dados os vetores e um escalar , temos:
Positividade
| (3.230) | |||
| (3.231) |
Multiplicação por escalar
| (3.232) |
Desigualdade de Cauchy333Augustin-Louis Cauchy, 1789-1857, matemático francês. Fonte: Wikipédia: Augustin-Louis Cauchy.-Schwarz444Karl Hermann Amandus Schwarz, 1843-1921, matemático alemão. Fonte: Wikipédia: Hermann Amandus Schwarz.
| (3.233) |
Desigualdade triangular
| (3.234) |
Sejam dados e .
Positividade.
Observa-se diretamente que . Então, como a raiz quadrada é uma função não-negativa, concluímos que
| (3.235) | ||||
No caso de , temos , , donde
| (3.236) | ||||
Ou seja, se , então . Agora, se , então tem-se para algum . Logo, pela monotonicidade da função raiz quadrada, temos
| (3.237) | |||
| (3.238) | |||
| (3.239) |
Portanto, concluímos que se, e somente se, .
Multiplicação por escalar.
Observamos que
| (3.240) |
Então, segue por cálculo direto que
| (3.241) | ||||
| (3.242) | ||||
| (3.243) | ||||
| (3.244) |
Desigualdade de Cauchy-Schwarz.
Sem perda de generalidade, se , então a desigualdade é imediatamente satisfeita. Suponhamos, agora, que . Para qualquer , temos
| (3.245) | ||||
| (3.246) | ||||
| (3.247) |
O lado direito desta desigualdade é um polinômio quadrático em . Para ser não-negativo para todo , seu discriminante precisa ser não-positivo, i.e.
| (3.248) | |||
| (3.249) | |||
| (3.250) | |||
| (3.251) |
Donde, concluímos que
| (3.252) |
Desigualdade triangular
Consulte o E.3.2.6 para a demonstração da desigualdade triangular.
∎
Vamos verificar a Desigualdade Triangular (3.234) para os vetores
| (3.253) | ||||
| (3.254) |
De fato, temos
| (3.255) | ||||
| (3.256) | ||||
| (3.257) | ||||
| (3.258) |
e
| (3.259) | ||||
| (3.260) | ||||
| (3.261) | ||||
| (3.262) |
Ou seja, temos que
| (3.263) |
como esperado.
A norma induzida de uma dada matriz real é definida por
| (3.264) |
Pode-se mostrar que555Consulte [7, Section 1.3-3] para informações sobre a demonstração.
| (3.265) |
onde .
Tendo em vista o grande custo computacional em se calcular a norma induzida, vamos trabalhar com a norma de Frobenius (ou norma Euclidiana666Euclides de Alexandria, 300 a.C., matemático grego. Fonte: Wikipédia: Euclides.)
| (3.266) |
Esta é uma generalização da norma euclidiana para vetores e é equivalente a norma induzida, i.e.
| (3.267) |
A matriz
| (3.268) |
tem norma
| (3.269) |
(Propriedades da Norma para Matrizes.) Dadas as matrizes reais , um vetor e um escalar , temos
Positividade
| (3.270) | |||
| (3.271) |
Multiplicação por escalar
| (3.272) |
Desigualdade triangular
| (3.273) |
Sub-multiplicatividade
| (3.274) |
Norma da aplicação
| (3.275) |
Consulte o E.3.2.7. ∎
Vamos ver exemplos das propriedades d) e e) da norma de matriz.
Sub-multiplicatividade
| (3.276) | |||
| (3.277) |
Norma da aplicação
| (3.278) | |||
| (3.279) |
Em revisão
O número de condicionamento de uma matriz é uma medida referente a propagação de erros que ocorre da sua aplicação. Mais especificamente, assumamos que seja dada uma matriz invertível , um vetor e uma perturbação . Além disso, sejam
| (3.280) | ||||
| (3.281) |
Ou seja, é a perturbação em propagada da aplicação de em com perturbação .
Agora, podemos estimar a razão entre os erros relativos
| (3.282) | |||
| (3.283) |
da seguinte forma
| (3.284) | ||||
| (3.285) | ||||
| (3.286) | ||||
| (3.287) |
Logo, temos a seguinte estimativa de propagação de erro
| (3.288) |
Isto nos motiva a definir o número de condicionamento da matriz por
| (3.289) |
A matriz identidade tem o menor número de condicionamento que é
| (3.290) |
temos que e quanto maior, mais mal condicionada é a matriz. Ou seja, quando maior , maior é a propagação dos erros ao se computar .
Estudamos os seguintes exemplos:
Matriz bem condicionada.
| (3.291) |
cujo número de condicionamento é .
Matriz mal condicionada.
| (3.292) |
tem número de condicionamento
| (3.293) |
o que indica que é uma matriz mal condicionada.
Compute a norma de cada um dos seguintes vetores:
a) ; b) ; c) ;
Compute a norma de cada uma das seguintes matrizes:
| (3.294) |
| (3.295) |
| (3.296) |
a) ; b) ; c)
Compute o número de condicionamento de cada uma das seguintes matrizes:
| (3.297) |
| (3.298) |
| (3.299) |
| (3.300) |
| (3.301) |
Qual das matriz acima é a mais mal condicionada? Justifique sua resposta.
a) ; b) ; c) ; d) e) , a mais mal condicionada.
Considere o seguinte sistema linear
| (3.302) | ||||
| (3.303) | ||||
| (3.304) |
Compute a norma do vetor dos termos constantes deste sistema.
Compute a norma matriz dos coeficientes deste sistema.
Compute o número de condicionamento da matriz dos coeficientes deste sistema.
a) ; b) ; c)
Considere
| (3.305) |
Compute .
Aloque a matriz diagonal , cujos elementos da diagonal sejam iguais aos da matriz .
Verifique que o número de condicionamento de é melhor que o de .
a) ; b) M = np.diag(np.diag(A)); c)
Mostre que a Desigualdade triangular
| (3.306) |
vale para quaisquer .
Dica: use a Desigualdade de Cauchy-Schwarz (3.233).
Mostre a Proposição 3.2.2.
Dica: use as propriedades da norma de vetores.
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!

Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.