従って、''L''2(''D'')に属する正則関数列の収束はコンパクト収束でもあるから、極限関数もまた正則になる.
コンパクト収束