Álgebra linear/Produto interno: mudanças entre as edições
imported>He7d3r m (Álgebra linear/Produto interno movido para Álgebra linear/Índice/Produto interno: +índice no título da página) |
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) |
||
(18 revisões intermediárias por 11 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 | |||
==Definição== | ==Definição== | ||
Seja '''V''' um | Seja '''V''' um {{busca|espaço vetorial}} sobre um {{w|Corpo (matemática)|corpo}} '''K'''. Em '''V''', pode-se definir a {{busca|função}} binária <math>\langle \cdot,\cdot\rangle: V \times V \rightarrow K</math> (denominada '''produto interno'''), que satisfaz os seguintes axiomas: | ||
: <math>\langle u,v\rangle = \overline{\langle v,u\rangle }</math> | : <math>\langle u,v\rangle = \overline{\langle v,u\rangle }</math> | ||
Linha 15: | Linha 12: | ||
em que ''u'', ''v'' e ''w'' são vetores de '''V''', e ''λ'' é um elemento de '''K'''. | 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 | A partir desses axiomas, é possível provar as seguintes consequências: | ||
: <math>\langle u, v+w\rangle = \langle u, v\rangle + \langle u, w\rangle</math> | : <math>\langle u, v+w\rangle = \langle u, v\rangle + \langle u, w\rangle</math> | ||
Linha 24: | Linha 21: | ||
===Exemplos=== | ===Exemplos=== | ||
O | O {{busca|produto escalar}} sobre o espaço vetorial <math>\mathbb{R}^3</math> satisfaz os axiomas do produto interno e é definido por: | ||
:<math>\langle (x_1, y_1, z_1), (x_2, y_2, z_2)\rangle = x_1x_2 + y_1y_2 + z_1z_2</math> | :<math>\langle (x_1, y_1, z_1), (x_2, y_2, z_2)\rangle = x_1x_2 + y_1y_2 + z_1z_2</math> | ||
Se ''f'' e ''g'' são duas funções, é possível definir o produto interno: | Se ''f'' e ''g'' são duas funções contínuas em um intervalo fechado, é possível definir o produto interno: | ||
:<math> \langle f, g \rangle = \int f(x)\overline{g(x)}\,dx</math> | :<math> \langle f, g \rangle = \int f(x)\overline{g(x)}\,dx</math> | ||
Linha 36: | Linha 33: | ||
Diz-se que dois vetores <math>u, v \in V</math> são '''ortogonais''' se <math>\langle u, v\rangle = 0</math>. | Diz-se que dois vetores <math>u, v \in V</math> são '''ortogonais''' se <math>\langle u, v\rangle = 0</math>. | ||
Consequências (prove!): | |||
:Se <math>\langle u, v\rangle = 0, \forall v \in V</math>, então <math>u = 0</math> | :Se <math>\langle u, v\rangle = 0, \forall v \in V</math>, então <math>u = 0</math> | ||
Linha 49: | Linha 46: | ||
:<math>v^\perp = \{ v \}^\perp = \{ u \in V | \langle u, v \rangle = 0 \}. </math> | :<math>v^\perp = \{ v \}^\perp = \{ u \in V | \langle u, v \rangle = 0 \}. </math> | ||
Consequências (prove!): | |||
:<math>v^\perp</math> é um subespaço vetorial de V | :<math>v^\perp</math> é um subespaço vetorial de V | ||
Linha 60: | Linha 57: | ||
Define-se a '''norma''' ou '''comprimento''' de um vetor <math>v \in V</math> como sendo o número <math>\sqrt{\langle v, v \rangle}</math>, que indicamos por <math>|v|</math>. | Define-se a '''norma''' ou '''comprimento''' de um vetor <math>v \in V</math> como sendo o número <math>\sqrt{\langle v, v \rangle}</math>, que indicamos por <math>|v|</math>. | ||
Consequências (prove!): | |||
:<math>|v| = 0 \Longleftrightarrow v = 0</math> | :<math>|v| = 0 \Longleftrightarrow v = 0</math> | ||
Linha 100: | 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. | ||
Linha 130: | Linha 129: | ||
Demonstra-se que <math>u = proj_W v</math> | Demonstra-se que <math>u = proj_W v</math> | ||
{{ | == Ver também == | ||
{{wikipedia|Produto interno}} | |||
{{AutoCat}} | |||
[[en:Inner product space]] | [[en:Inner product space]] |
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:内积空间