I think Strang leaves out a key point in the difference equation example, which is that the n unique eigenvectors form a basis for R^n, which is why u0 can be expressed as a linear combination of the eigenvectors.####[['R^n,', 'Mathematical_Related_Concept', 'NEU'], ['u0', 'Mathematical_Related_Concept', 'NEU']]