EricDarve / numerical_linear_algebra

Julia code for the book Numerical Linear Algebra
114 stars 41 forks source link

pg 182 define mu_k in proof box #159

Closed salliewalecka closed 5 years ago

salliewalecka commented 5 years ago

Not sure if this is too nit picky, but for the proof statement, maybe it should mention and $\mu_k$ is an eigenvalue of T_{k-1} just so it is more self contained.

182
EricDarve commented 5 years ago

No you are right. This needs to be stated. I rewrote this problem slightly to make it more general.