Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vektorraum/Skalarprodukt/Endliches Orthonormalsystem/Beste Approximation/Fakt/Faktreferenznummer