関数解析学 は 数学 の 一部門 で 、 無限次元 の 空間 における 関数 の 性質 を 研究 し ます 。