Kurs:Lineare Algebra (Osnabrück 2017-2018)/Unitärer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Faktreferenznummer