完備距離空間の閉部分集合は(そこへ距離を制限すれば)それ自身完備距離空間となるから、ヒルベルト空間の閉部分空間は(そこへ内積を制限するとき)それ自身ヒルベルト空間をなす。