A convergence theorem for random continued fractions (Q2346292)

Let \(\mu\) be a probability measure on the set \(\mathbb{C}^2_0:=\{\binom{a}{b}\in \mathbb{C}^2; a\neq 0\},\) and let \(\{\binom{a_n}{b_n}\}\) be a sequence of independent \(\mu\)-random variables from \(\mathbb{C}^2_0\). The structure \[ {\mathbf{K}}(a_n/b_n) :=\cfrac{{a_1}}{ {b_1+}\cfrac{{a_2}}{ {b_2+}\cfrac{{a_3}}{ {b_3+}{\ddots}}}},\qquad a_n, b_n \in \mathbb{C}, \] is called a \(\mu\)-random continued fraction. The following theorem is the main result of this article. Theorem. Let \(\mu\) be a probability measure (regular Borel measure) on \(\mathbb{C}^2_0\) which satisfies some condition \(\widehat{\mathfrak{C}}\). Then the \(\mu\)-random continued fraction \({\mathbf{K}}(a_n /b_n )\) converges generally with probability 1.