Zu paarweise verschiedenen Eigenwerten $\lambda_1,\dots,\lambda_k$ einer linearen Abbildung (bzw. Matrix) gehören Eigenvektoren, die linear unabhängig sind. Das ist ein grundlegender Satz der linearen Algebra und erklärt, warum man bei $n$ paarweise verschiedenen Eigenwerten eine Basis aus Eigenvektoren erhalten kann.