正規族
数学、特に複素解析への応用での正規族（せいきぞく、）とは、連続写像の集合にコンパクト開位相を入れたときの相対コンパクト部分集合のことである。平たく言えば、これは写像族が広く散在せず、ある程度寄り集まっていることを意味する。関数空間のコンパクト集合を考えることは一般に興味深い。というのも本来的にこうした空間は普通、無限次元になるからである。
より正式には、ある完備距離空間"X"で定義され、別の完備距離空間"Y"に値をとるような連続写像の族（同義だが集合）"F"が正規族であるとは、"F"の元からなる任意の列が、ある"X"から"Y"への連続写像へコンパクト一様収束するような部分列を持つことを言う。つまり、任意の写像列に対し部分写像列 formula_1 と"X"から"Y"への連続写像 formula_2 が存在して、"X"の任意のコンパクト部分集合"K"に対して
となることを言う。ここで formula_4 は距離空間"Y"の距離関数。