Jump to content

Vector space/K/Inner product/Finite-dimensional/Orthonormalization/Fact

From Wikiversity
Gram-Schmidt orthonormalization

Let be a finite-dimensional -vector space, endowed with an inner product, and let be a basis of .

Then there exists an

orthonormal basis of with

for alle

.