Verbindet vollständige Skalarprodukträume mit orthogonalen Projektionen, Orthonormalbasen und der besten Approximation.
