338 Espacos R” 5.3 Produto Escalar em IR" 5.3.1 Produto Interno ‘Vimos que podemos estender a soma e a multiplicagao de vetores por escalar para 0 RM, Podemos estender também os conceitos de produto escalar e ortogonalidade, Delinipse 5:7. (a) Definimos © produto esealar ou interno de dois vetores X — (xj, Y = (¥i--+.4m) €R" por XY =m txaya te tan = DW ()) Definimos a norma de um vetor X = (x1,..-/Xn) € R" por IX] = VER = fy = Tin Curso de Geometia Analtoa e Algebra Linear lho 20765.3 _ Produto Escalar em R" 339 Escrevendo os vetores como matrizes colunas, 0 produto interno de dois vetores x y x= e Y= Xn Ye pode ser escrito em termos do produto de matrizes como x= xy, Exemplo 5.27. Sejam V = (1,-2,4,3,5) eW = (5, produto escalar entre V e W é dado por VW = (1)(5) + (-2)68) + 4)(-1) + ()(-2) + AA) = 6 ) vetores do RS. © Asnormas de V e W sio dadas por leven 2 Vi vi|= yPo CaP PPB VS, WI] = 52 +3 + (a + (22 +P = V0. ‘Sao validas as seguintes propriedades para o produto escalar e a norma de vetores deR" Tune 2010 Raginaldo J Santos40 Espacos R” Proposieao 5.16. Se X,Y eZ sto vetores de RY ea € um escalar,entdo () X.Y = +X (comutatividade); () X<(Y4-Z) = X-¥4X-Z (distributividade em relagto a soma); (0) (@X)-Y¥=a(X-¥) = X- (AY); () XX = ||X|P2 > Oe [|X|] = Ose, esomente se, X = ©) jax!) = La IX (9 [XY] < |[XII|[1") lesigualdade de Caucky-Selrwar2); (9) ||X+Y|| < [|X|] + [| (esiguatdade triangular) Domonstiagae, Scjam X,¥,Z € BR" ea € R. Usando o fato de que se 0s vetores si0 escritos como matrizes colinas, entio 0 produto escalar pode ser escrito como 0 pro duto de matrizes, XY = X!Y, e as propriedades da Algebra matricial (/-or0"9 1.1 nna pagine 9), temos que (XY myn tetany = at toot yin = YX, (b) X-(V4Z) = XYZ) = KY ENZ=X-YEX-Z (6) a(X-¥) = a(XtY) = (ax! = (aX)'Y = (@X)-Y. A outra igualdade & inteiramente ansloga. (0) X-X €uma soma de quadrados, por isso é sempre maior ou igual A zero e é zero se, e somente se, todas as parcelas sfo iguais a zero. (©) flax]? = (wx)? (2x)? = 02633 4 4 92) = 02||X|/2, Tomando a raiz, quadrada, segue-se o resultado. Tin Curso de Geometia Analtoa e Algebra Linear lho 2076