深圳哈根达斯:无穷维空间中的泛函问题