Cap tulo 1 Fun c oes em espa cos euclidianos

Seja x Rn de modo que x = (x1 , x2 , , xn ); xi R e i = 1, 2, , n. Adi c ao em Rn : Se x, y Rn ent ao x + y = (x1 + y1 , x2 + y2 , , xn + yn ); xi + yi R, i = 1, , n. Produto por escalar: x = (x1 , x2 , , xn ); xi R i = 1, , n.

Em Rn e denida a opera c ao de adi c ao e produto por escalar, como cada uma de suas entradas e real ent ao propriedades como a comutativa, associativa e elemento neutro s ao satisfeitas. Podemos dizer, deste modo, que Rn e um espa co vetorial. Deni c ao 1. Seja x, y Rn temos que:
n

< x, y >=
i=1

xi yi

onde < x, y > e denominado produto interno entre x e y.

1.1

Propriedades do produto interno:

R (x , y ) < x, y >

Seja < , > : Rn x Rn

Vericam-se as propriedades seguintes: 1

I) < x, y > = < y, x >; II) < x + y, z > = < x, z > + < y, z >; III) < x, y > = < x, y > = < x, y >; IV) x = 0 < x, x > > 0; Dizemos que < , > e denominado produto interno usual ou can onico de Rn e que |x| = < x, x > e conhecido como norma euclidiana para todo x Rn . Mais adiante daremos uma deni c ao formal de norma. Teorema 1. (Desigualdade de Cauchy - Schwarz): Para quaisquer x , y Rn , tem-se | < x, y > | |x| |y | . Vale a igualdade se, e somente se, um dos vetores x , y e um m ultiplo escalar do outro. Antes de realizarmos a demonstra c ao mostraremos um caso menos banal de ortogonalidade: Sejam x, y Rn com y = 0 e seja z = x y , queremos denir de modo que < z, y >= 0;

< z, y >= 0 < x y, y >= 0 < x, y > < y, y >= 0 < x, y > < y, y >= 0 < x, y > < x, y > |y |2 = 0 = |y |2 Logo, < x, y > = (1.1) |y |2

Demonstraremos a desigualdade de Cauchy-Schwarz utilizando a desigualdade acima: Caso y = 0 , a demonstra c ao e trivial. Caso y = 0 e sabendo que x = z + y temos: |x|2 =< x, x >=< z + y, z + y >=< z, z > + 2 < z, y > + 2 < y, y >= |z |2 + 2 |y |2 pois < z, y >= 0 Assim, |x|2 = |z |2 + 2 |y |2 2 (1.2)

Como |z |2 + 2 |y |2 2 |y |2 segue-se ent ao: |x|2 2 |y |2 . De (1.1) obtemos: |x|2 < x, y >2 |x|2 |y |2 < x, y >2 | < x, y > | |x| |y | |y |2

Se z = 0 ent ao x = y , ou seja, s ao m ultiplos escalares usando essa informa c ao na equa c ao < x, y > (1.2) e sabendo que = temos: |y |2 |x|2 = 2 |y |2 = Rec proca : Valendo a igualdade, ou seja,| < x, y > | = |x| |y | queremos mostrar que x e y s ao m ultiplos escalares. Pela equa c ao (1.2), temos: < x, y > |x| = |z | + |y | |x| = |z | + |y |2
2 2 2 2 2 2 2

< x, y >2 |y |2 < x, y >2 = |x|2 |y |2 | < x, y > | = |x| |y | (|y |2 )2

|y |2 |x|2 = |z |2 +

< x, y >2 |x|2 |y |2 = 2 |y |

|z |2 |y |2 + < x, y >2 (| < x, y > |)2 = |z |2 |y |2 + < x, y >2 < x, y >2 = |z |2 |y |2 + < x, y >2 |z |2 |y |2 = 0 |z |2 = 0 z = 0 Logo, x = y . Deni c ao 2. Uma fun c ao real qualquer || : Rn R que goza das seguintes propriedades: 1) |x + y | |x| + |y |; 2) | x| = || |x|; 3) x = 0 |x| > 0. e uma norma num espa co vetorial Rn . Mostraremos que a propriedade (1) acima decorre da desigualdade de Cauchy-Schwarz. Ora, |x + y |2 =< x + y, x + y >=< x, x > +2 < x, y > + < y, y >= |x|2 + 2 < x, y > +|y |2 |x|2 + 2 | < x, y > | + |y |2 |x|2 + 2|x||y | + |y |2 = (|x| + |y |)2 |x + y | |x| + |y | 3