無限次元はもう函数解析の範疇だろ