ハルナックの原理

数学の複素解析の分野におけるハルナックの原理（ハルナックのげんり、）あるいはハルナックの定理とは、調和函数列の収束と密接に関連した原理の一つであり、ハルナックの不等式より従う。
函数 formula_1, formula_2, ... が複素平面 C のある開連結部分集合 formula_3 において調和的であり、formula_3 内のすべての点において
が成立するなら、極限
はその領域 formula_3 のすべての点において無限大であるか、すべての点において有限であるかのいずれかである。それらいずれの場合も、収束は formula_3 の各コンパクト部分集合について一様である。後者の場合、函数
は集合 formula_10 において調和的となる。