Beweis durch Induktion:
Es sei φ ∈ Endk (V) ein Endomorphismus dessen charaktersitisches Polynom Xφ ∈ Κ [T] vollständig in Linearfaktoren zerfällt. Dann ist äquivalent:
Es existieren Eigenvektoren bezüglich φ, die eine Orthonormalbasis von V bilden
dabei setzen wir n = dimK V
und wie sieht die Induktionsvoraussetzung bei: ¯V¯ (V querstrich) aus, wie beweist man das durch Induktion