实希尔伯特空间

real Hilbert space