実解析 は 数学 の 一部門 で 、 実数 の 性質 と その 上 の 関数 を 研究 し ます 。