Hilbert space
构成了一个希尔伯特空间，其中短横线表示一个複數的复共轭。