希尔伯特空间维数一定是无穷维吗