Re: [obm-l] L.I

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Fri, Apr 18, 2003 at 01:05:54PM -0300, marcio.lis wrote:
>    em uma quest�o do livro do elon de alg�bra linear ele 
> pede p/ mostrar que:(1,e^x,e2^x,e^3x,e^4x) � L.I e 
> coloca como sugest�o sair derivando e dividindo por e^x 
> e consegui chegar a solucao por ai por�m eu gostaria de 
> saber se eu posso fazer da seguinte forma:substituir e^x 
> por y ai fica um polin�mio em y de um lado e do outro 
> lado 0.eu posso concluir por igualdade de polin�mio que 
> os coeficientes s�o todos nulos?e que portanto o 
> conjunto � L.I

Uma generaliza��o natural desta quest�o � provar que as fun��es
f_a(x) = exp(ax) s�o todas LI. Meu m�todo favorito de resolver
� olhar o comportamento em +infinito. Mais exatamente, suponha
que 

(c1 f_a1 + c2 f_a2 + ... + cn f_an)(x) = 0 para todo x,

a1 < a2 < ... < an, todos os ck, k = 1..n, diferentes de 0.

Ent�o

lim_{x -> infinito}(c1 f_a1 + c2 f_a2 + ... + cn f_an)(x) / f_an(x) = 0

Mas

lim_{x -> infinito}(c1 f_a1 + c2 f_a2 + ... + cn f_an)(x) / f_an(x) = 
c1 lim ( f_a1(x)/f_an(x) ) + ... + cn lim ( f_an(x)/f_an(x) ) =
0 + 0 + ... + 0 + cn

Donde cn = 0, absurdo.

[]s, N.

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista � <nicolau@mat.puc-rio.br>
=========================================================================