有理関数の定義
定義 1
2つの多項式関数 $P_{1}(z), P_{2}(z) : \mathbb{C} \to \mathbb{C}$ について、$P_{2} (z) \ne 0$ である全ての $z \in \mathbb{C}$ を $\left( P_{1} / P_{2} \right) (z)$ に対応させる次の関数 $Q$ を有理関数または代数的分数という。 $$ Q (z) := {{ P_{1} (z) } \over { P_{2} (z) }} \qquad \text{where } P_{2} (z) \ne 0 $$
Osborne (1999). Complex variables and their applications: p24. ↩︎