問題ではないのですが・・・
微積の関数列で各点収束ってありますよね？
それで各ｘについて〜〜、って定義されてるんですけど、各ｘってすべてのｘのことですか？
それともｘは１個でも２個でもいいのでしょうか？