da j18eos » 18/07/2010, 20:41
Siano \( \displaystyle {\left\lbrace{v}_{{1}}\right\rbrace} \) e \( \displaystyle {\left\lbrace{v}_{{2}}\right\rbrace} \) autovettori di un endomorfismo lineare \( \displaystyle \phi \) di un \( \displaystyle {\left\lbrace{K}\right\rbrace} \)-spazio vettoriale \( \displaystyle {\left\lbrace{V}\right\rbrace} \) autovalori distinti \( \displaystyle \lambda_{{1}} \) e \( \displaystyle \lambda_{{2}} \) a autospazi \( \displaystyle {V}{\left(\phi;\lambda_{{1}}\right)} \) e \( \displaystyle {V}{\left(\phi;\lambda_{{1}}\right)} \).
Se \( \displaystyle \exists{0}\ne\ {w}\in{V}{\left(\phi;\lambda_{{1}}\right)}\cap{V}{\left(\phi;\lambda_{{1}}\right)}\Leftrightarrow\phi{\left({w}\right)}=\lambda_{{1}}{w}=\lambda_{{2}}{w}\Rightarrow\lambda_{{1}}=\lambda_{{2}} \) ciò è assurdo, per cui \( \displaystyle {V}{\left(\phi;\lambda_{{1}}\right)}\cap{V}{\left(\phi;\lambda_{{1}}\right)}={\left\lbrace{0}\right\rbrace} \).
Tale dimostrazione è generalizzabile ad n autospazi distinti.
"Dì a quei lazzaroni dei miei studenti che li voglio bene come se fossero figli miei!"
Prof.a ed avv.a Nicla Fiore sul letto di morte rivolta alla sorella... e indirettamente a me.
Semplicemente Armando.
