The assertion is known as the closed graph theorem for Hilbert spaces.

• 这个断语被称为希耳伯特空间的闭图象定理。