Acho que Strang deixa de fora um ponto-chave no exemplo da equação diferencial, que é que os n autovetores únicos formam uma base para R^n, e é por isso que u0 pode ser expresso como uma combinação linear dos autovetores.####[['R^n', 'Mathematical_Related_Concept', 'NEU'], ['u0', 'Mathematical_Related_Concept', 'NEU']]