ヒルベルト空間
If is a Hilbert space, the Hilbert space has a (unique) predual formula_13,