関数 $`f:{\bf R} \to {\bf R}`$ の連続性は、高校あたりだと点列連続性で定義していると思うし、それで十分だろう。$`\newcommand{\mrm}[1]{\mathrm{#1} } %`$実数の点列とは、$`a:{\bf N} \to {\bf R}`$ という関数。その全体は $`\mrm{Map}({\bf N}, {\bf…