ついに有理型関数の定義を理解するところまでやってきました。嬉しいことです。ただその前に有理関数を述べたいと思います。有理関数は複素数係数の多項式の商であるような関数です。$P(z),Q(z)$を複素係数の多項式として$f(z)=\frac{P(z)}{Q(z)}$ならば$f:\{z\in\mathbb{C} | Q(z)\neq 0\}\to \mathbb{C}$は有理関数です。 有理型関数は有理関数の定義の多項式を正則関数に置き換えたものになります。しかし定義はちょっと違った形で与えられます。 有理型関数の定義:関数$f$が開集合$U\subset \mathbb{C}$上有理型であるとは…