現代数学観光ツアー 無限次元線型空間としての関数空間