ヒルベルト空間
ヒルベルト空間formula_25、formula_26に対し、全単射線形写像formula_27で