前回の続きですが、また補題を用意します。 補題(証明略) において が を満たしているならば、任意の に対して *1 さらに、 が有界可測で、開集合 で連続ならば、 に含まれる任意のコンパクト集合上で は に一様収束する。 (実際には関数列 でなく、あるパラ…