Álgebra linear/Produto interno: mudanças entre as edições
imported>Marcos Antônio Nunes de Moura m (Foram revertidas as edições de 177.36.96.180 (disc) para a última revisão de Marcos Antônio Nunes de Moura) |
|||
(9 revisões intermediárias por 7 usuários não estão sendo mostradas) | |||
Linha 1: | Linha 1: | ||
Em [[Álgebra linear]], chamamos de '''produto interno''' uma função de dois vetores que satisfaz determinados axiomas. O {{busca|produto escalar}}, comumente usado na {{busca|geometria euclidiana}}, é um caso especial de produto interno. | Em [[Álgebra linear]], chamamos de '''produto interno''' uma função de dois vetores que satisfaz determinados axiomas. O {{busca|produto escalar}}, comumente usado na {{busca|geometria euclidiana}}, é um caso especial de produto interno. | ||
Linha 66: | Linha 64: | ||
:Se <math>\langle u, v \rangle = 0</math>, então <math>|u + v|^2 = |u|^2 + |v|^2</math> (Teorema de Pitágoras) | :Se <math>\langle u, v \rangle = 0</math>, então <math>|u + v|^2 = |u|^2 + |v|^2</math> (Teorema de Pitágoras) | ||
==Projeção ortogonal== | |||
===Projeção de um vetor v na direção de um vetor u, em que u ≠ 0=== | ===Projeção de um vetor v na direção de um vetor u, em que u ≠ 0=== | ||
Linha 99: | Linha 97: | ||
A base é ortogonal se os vetores são ortogonais dois a dois. | A base é ortogonal se os vetores são ortogonais dois a dois. | ||
v1.v2=0 | |||
Propriedade: ''n'' vetores não-nulos e ortogonais dois a dois, em um espaço de dimensão ''n'', são linearmente independentes. | Propriedade: ''n'' vetores não-nulos e ortogonais dois a dois, em um espaço de dimensão ''n'', são linearmente independentes. |
Edição atual tal como às 20h57min de 18 de setembro de 2014
Em Álgebra linear, chamamos de produto interno uma função de dois vetores que satisfaz determinados axiomas. O Predefinição:Busca, comumente usado na Predefinição:Busca, é um caso especial de produto interno.
Definição
Seja V um Predefinição:Busca sobre um Predefinição:W K. Em V, pode-se definir a Predefinição:Busca binária (denominada produto interno), que satisfaz os seguintes axiomas:
- Se , então >
em que u, v e w são vetores de V, e λ é um elemento de K.
A partir desses axiomas, é possível provar as seguintes consequências:
- Se , então
- Se , então
Exemplos
O Predefinição:Busca sobre o espaço vetorial satisfaz os axiomas do produto interno e é definido por:
Se f e g são duas funções contínuas em um intervalo fechado, é possível definir o produto interno:
Vetores ortogonais
Diz-se que dois vetores são ortogonais se .
Consequências (prove!):
- Se , então
- Se , então
Complemento ortogonal
Seja
Define-se o complemento ortogonal de v, , como:
Consequências (prove!):
- é um subespaço vetorial de V
- Seja um subespaço vetorial de V, e uma base de .
- , W é subespaço de V.
Norma
Seja V um espaço vetorial sobre o corpo K, com produto interno. Define-se a norma ou comprimento de um vetor como sendo o número , que indicamos por .
Consequências (prove!):
- Se , então
- Se , então (Teorema de Pitágoras)
Projeção ortogonal
Projeção de um vetor v na direção de um vetor u, em que u ≠ 0
Define-se essa projeção como sendo o vetor
Projeção de um vetor v sobre um subespaço vetorial W de V
Seja , em que é uma base ortogonal de W.
Desigualdade de Cauchy-Schwarz
Dados , então
Desigualdade triangular
Base ortogonal e ortonormal
Uma base de V é dita ortonormal se , em que
- , se i = j
- , se i ≠ j
A base é ortogonal se os vetores são ortogonais dois a dois.
v1.v2=0
Propriedade: n vetores não-nulos e ortogonais dois a dois, em um espaço de dimensão n, são linearmente independentes.
Processo de ortogonalização de Gram-Schmidt
Dada uma base de V, podemos encontrar, a partir desta base, uma base ortogonal de V.
Distância entre dois vetores
Define-se a distância entre dois vetores quaisquer, u e v, como sendo
Uma função distância tem as seguintes propriedades:
Tais propriedades podem ser facilmente verificadas pela definição de norma.
Melhor aproximação de um vetor v de V por um vetor de W, subespaço vetorial de V
Se , então u é o vetor de W que dá a aproximação mais adequada de v por um vetor de W.
Demonstra-se que
Ver também
en:Inner product space de:Innenproduktraum fr:Espace préhilbertien he:מרחב מכפלה פנימית nl:Inwendig product ja:計量ベクトル空間 pl:Iloczyn skalarny zh:内积空间