1. Finite Continued Fractions
A finite continued fraction $\gamma$ is a finite sequence of pairs of complex numbers, that is, \[ \gamma=((a_0, b_0), (a_1, b_1), \ldots, (a_{n-1}, b_{n-1})) \] where $n\in\N$ and $a_k,b_k\in\C$ for any $k\in\{0,1,\ldots,n-1\}$. Each $a_k$ is called a partial denominator, and $b_k$ a partial numerator. We say $\gamma$ has length $n$, or write \[ \len(\gamma)=n. \] Note that the definition includes an empty sequence $()$, which has length $0$. We use $\cC$ to denote the set of all the finite continued fractions.
Define a projective transformation $\pi_{a,b}:\CP^1\to\CP^1$ by $\pi_{a,b}=\pi_{M(a,b)}$ where \[ \quad M(a,b)=\M{a}{b}{1}{0}\in\Mat(2,\C). \] $\pi_{a,b}$ is degenerate if and only if $b=0$. In the view of $\phy$ defined in Part 1, $\pi_{a,b}$ is represented in $\whC$ as \[ z\mapsto a+\frac{b}{z}. \]
The value of $\gamma$, denoted as $\lang\gamma\rang$, is defined by \[ \lang\gamma\rang=(\phy\circ\pi_{a_0,b_0}\circ\pi_{a_1,b_1}\circ\cdots\circ\pi_{a_{n-1},b_{n-1}})\left(\B{1}{0}\right). \] For simplicity, we write \[ \lang(a_0, b_0), (a_1, b_1), \ldots, (a_{n-1}, b_{n-1})\rang \] instead of $\lang((a_0, b_0), (a_1, b_1), \ldots, (a_{n-1}, b_{n-1}))\rang$. In particular, $\lang\rang=\infty$.
Remark. Traditionally, a continued fraction is a fraction of the form \[ a_0+\cfrac{b_0}{a_1+\cfrac{b_1}{\cdots+\cfrac{\cdots}{a_{n-2}+\cfrac{b_{n-2}}{a_{n-1}}}}}. \] This naive definition has several problems as follows.
- Is $\infty$ permitted as intermediate or final values?
- Are $a_k$’s and $b_k$’s can be $\infty$? If so, how to deal with $\infty/\infty$?
- Are $b_k$’s can be 0? If so, how to deal with $0/0$?
We have just given a rigorous definition of the value as $\lang(a_0, b_0), (a_1, b_1), \ldots, (a_{n-1}, b_{n-1})\rang$, clearly answering the above problems.
- $\infty$ is permitted as intermediate and final values.
- $a_k$’s and $b_k$’s cannot be $\infty$.
- $b_k$’s can be $0$. In the view of degenerate projective transformations, when $b_k=0$, $b_k/\cdots$ is always $0$, even if the denominator is also $0$.
2. Limits of Sequences in $\whC$
Let $\sigma$ be an infinite sequence $(s_n)_{n\in\N}$ of elements in $\whC$. We say $\sigma$ converges to a finite value $\alpha\in\C$ if and only if \[ \forall\epsi\!\in\!\R_+\;\exists n_0\!\in\!\N\;\forall n\!\in\!\N: n>n_0\rightarrow(s_n\ne\infty\wedge|s_n-\alpha|<\epsi), \] where $\R_+=\{x\;|\;x\in\R\wedge x>0\}$. We represent this by writing \[ \lim_{n\to\infty}s_n=\alpha. \] Also, we say $\sigma$ converges to $\infty$ if and only if \[ \forall r\!\in\!\R_+\;\exists n_0\!\in\!\N\;\forall n\!\in\!\N: n>n_0\rightarrow|s_n|>r, \] where we consider $|\infty|$ is greater than any real number. We represent this by writing \[ \lim_{n\to\infty}s_n=\infty. \] Finally, we say $\sigma$ converges in $\whC$ if and only if $\sigma$ converges to a finite value or to $\infty$.
3. Infinite Continued Fractions
An infinite continued fraction $\gamma$ is an infinite sequence of pairs of complex numbers, that is, \[ \gamma=((a_0, b_0), (a_1, b_1), (a_2, b_2), \ldots) \] where $a_k,b_k\in\C$ for any $k\in\N$. Each $a_k$ is called a partial denominator, and $b_k$ a partial numerator. We say $\gamma$ has length $\infty$, or write \[ \len(\gamma)=\infty. \] We use $\cC_\infty$ to denote the set of all the infinite continued fractions.
For any $n\in\N$, the $n$-th convergent $c_n$ of $\gamma$ is defined by \[ c_n=\lang(a_0,b_0),(a_1,b_1),\ldots,(a_{n-1},b_{n-1})\rang. \]
Let $\kappa=(c_n)_{n\in\N}$, which is a sequence in $\whC$. When $\kappa$ converges in $\whC$, the value of $\gamma$, denoted as $\lang\gamma\rang$, is defined by \[ \lang\gamma\rang=\lim_{n\to\infty}c_n. \]