数学、特に複素解析への応用での正規族(せいきぞく、: normal family)とは、連続写像の集合にコンパクト開位相を入れたときの相対コンパクト部分集合のことである。平たく言えば、これは写像族が広く散在せず、ある程度寄り集まっていることを意味する。関数空間コンパクト集合を考えることは一般に興味深い。というのも本来的にこうした空間は普通、無限次元になるからである。

より正式には、ある完備距離空間Xで定義され、別の完備距離空間Yに値をとるような連続写像の(同義だが集合Fが正規族であるとは、Fの元からなる任意のが、あるXからYへの連続写像へコンパクト一様収束するような部分列を持つことを言う。つまり、任意の写像列に対し部分写像列 XからYへの連続写像 が存在して、Xの任意のコンパクト部分集合Kに対して

となることを言う。ここで 距離空間Y距離関数

複素解析

編集

この定義は複素解析においてしばしば正則関数族に対して用いられる。この場合、集合XY複素平面の部分集合で、 コーシーの積分定理より、正則関数列がコンパクト一様収束するときの極限関数もまた正則関数になる。よってXが複素平面の部分集合でY = Cとした場合、正則関数からなる正規族Fとは、任意の関数列に対して部分関数列とある正則関数が存在して、Xの任意のコンパクト部分集合上一様に収束するようにできるような関数族のことである。 モンテルの定理により、局所有界英語版な正則関数族は正規族になることがわかる。

正規族がよく用いられる別の関数空間に、有理型関数からなる空間がある。正則関数の場合と類似しているが、標準的な計量の代わりにリーマン球面における計量を用いるものとする。つまり d をリーマン球面上の距離とするとき、収束    が 0 に行くことと定める。

名称

編集

ポール・モンテル英語版は1912年にこの術語を造語した[1]

この定義は古典的なもので、度々用いられてはいるものの、現代的な命名法とはそれほど整合的ではないことに注意。現代的な言い回しでは、連続関数(正則関数)の「正規族」という代わりに、当該空間にコンパクト部分集合上の収束に対応した距離を入れたときの「プレコンパクトな(関数)部分集合」というであろう。ただしこのようなより一般的な定義は、距離の定義が必要な分、取り扱いにくくはなっている。

基準(十分条件)

編集

関連項目

編集

脚注

編集

参考文献

編集
  • John B. Conway (1978). Functions of One Complex Variable I. Springer-Verlag. ISBN 0-387-90328-3 
  • J. L. Schiff (1993). Normal Families. Springer-Verlag. ISBN 0-387-97967-0 
  • Marty Frederic : Recherches sur la répartition des valeurs d’une function méromorphe. Ann. Fac. Sci. Univ. Toulouse, 1931, 28, N 3, p. 183–261.

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目normal familyの本文を含む