Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Hilbertraum/Abgeschlossener Untervektorraum/Orthogonale Darstellung/Fakt/Faktreferenznummer