>>157
有理数を完備化して実数を構成する議論など、関数空間で散々使うからね
L^2空間の完備性でも、結局、実数の完備性を使うから、実数論は大事だよ。