同程度連続

同程度連続（どうていど れんぞく、）は、解析学の用語の一つであり、関数の列の性質を表す。おおまかには、以下の条件を満たす関数列 ("f""n") が同程度連続であると言われる。
さらに一般には、関数の（列に限らない）任意の集合に対し同程度連続性（）を定義できる。
同程度連続性と連続性の違いとしては、次の点が重要である。
例として、"f""n"("x") = Arctan "nx" で与えられる連続関数の列 ("f""n") は、不連続な関数である符号関数の π/2 倍に収束する。しかし、関数列が同程度連続ならばこのようなことは起こらず、極限関数も連続となる。
定義.
("f"n) を、実数全体の集合 R の部分集合 "X" 上で定義された実数値関数 "f""n" : "X" → R の列とする（より一般の関数に関する定義は後述）。
この列 ("f""n") が同程度連続であることの定義は、任意の ε > 0 と "x" ∈ "X" に対し、適切な δ > 0 を選べば、任意の自然数 "n" と |"x" - "x′"| < δ なる任意の "x' " ∈ "X" に対し、|"f""n"("x") - "f""n"("x′")| < ε が成立することである。
さらに、関数列 ("f""n") が一様に同程度連続であることの定義は、任意の ε > 0 に対し、適切な δ > 0 を選べば、任意の自然数 "n" と |"x" - "x′"| < δ なる任意の "x", "x′" ∈ "X" に対し、|"f""n"("x") - "f""n"("x′")| < ε が成立することである。
参考までに、列 ("f""n") の全ての関数が連続であることの定義を記すと、任意の自然数 "n", ε > 0 と "x" ∈ "X" に対し、適切な δ > 0 を選べば、|"x" - "x′"| < δ なる任意の "x′" ∈ "X" に対し、|"f""n"("x") - "f""n"("x′")| < ε が成立することである。
この3つの定義の相違を以下にまとめる。連続性においては、δ は ε, "n", "x" の全てに依存して選んでよい。しかし、同程度連続性においては、δ は "n" に依存してはならず、一様な同程度連続性においては、δ は "n" と "x" のどちらにも依存せずに選べなくてはならない。
性質.
冒頭で述べたように、同程度連続な関数列が各点収束するとき、その極限関数は連続である。以下しばらく、関数は全て R の部分集合 "X" から R への関数とする。
定理1の仮定は幾分弱めることができる。関数列が稠密な部分集合上で各点収束すれば十分である。
"f""n" の定義域 "X" が閉区間 [0, 1] の場合はもう少し強い結果が従う。まず、同程度連続性と一様な同程度連続性は一致する。
そして、同程度連続で各点収束するならば一様収束であることが従う。
次の定理は、ボルツァーノ＝ワイエルシュトラスの定理の関数列における類似である。
より一般には、コンパクト空間 "K" 上の複素数値関数の列 ("f""n") が同程度連続でかつ各点毎に有界ならば、("f""n") は "K" において一様有界で、さらに一様収束する部分列を持つ。
この結果はハイネ・ボレルの被覆定理の類似である。ハイネ・ボレルの被覆定理とは、R"n" の部分集合がコンパクトであることと、それが有界閉集合であることは同値であることを主張する定理であった。
一般化.
同程度連続性の定義は、任意の距離空間の間の写像へ一般化できる。("f""n") を "X" から "Y" への写像の列とする。この列が同程度連続であるとは、任意の ε > 0 と任意の "x" ∈ "X" に対し、適切な δ > 0 を選べば、任意の "n" と "d""X"("x", "x′") < δ なる任意の "x′" に対し、"d""Y"("f""n"("x"), "f""n"("x′")) < ε となることをいう。ここに、"d""X" と "d""Y" は、それぞれ距離空間 "X" と "Y" の距離関数である。一様な同程度連続性も同様に定義できる。この定義に対しても定理1は成り立つが、定理2は "Y" が完備である場合のみに成り立つ。