希尔伯特空间
If is a Hilbert space, the Hilbert space has a (unique) predual formula_13,