任何一个Hilbert空间都有正交基。
出自:泛涵分析