Generalizations of certain representations of real numbers (Q2057310)

Let \(\mathbb{N}_B\) be a fixed subset of positive integers, \(\rho_0 = 0\), \(\rho_n = 1\) if \(n \in\mathbb{N}_B\) and \(\rho_n = 2\) if \(n \not \in\mathbb{N}_B\). A flexible dimensions matrix \(\tilde{Q}'_{\mathbb{N}_B} = ((-1)^{\rho_{i-1} + \rho_i}q_{k-1, i})_{i, k\geq 1}\) is defined such that its \(n\)-th column is finite or infinite and each column sums to \((-1)^{\rho_{n-1} + \rho_n}\). Define \[ a_{i_n, n}= \begin{cases} \sum_{i=0}^{i_n-1}q_{i, n} & \mathrm{if}\ i_n\not = 0, \\ 0 & \mathrm{if }\ i_n = 0. \end{cases} \] and \[a' = (-1)^{\rho_1}\check{a}_{i_1, 1} + \sum_{n=2}^\infty \left((-1)^{\rho_n}\check{a}_{i_n, n}\prod_{j=1}^{n-1}\check{q}_{i_j, j}\right),\] \[a'' = (-1)^{\rho_1}\hat{a}_{i_1, 1} + \sum_{n=2}^\infty \left((-1)^{\rho_n}\hat{a}_{i_n, n}\prod_{j=1}^{n-1}\hat{q}_{i_j, j}\right).\] where \[\check{a}_{i_n, n} = \begin{cases} a_{m_n, n} & \mathrm{if}\ n \in \mathbb{N}_B, \\ a_{0, n} & \mathrm{if}\ n \not\in \mathbb{N}_B,\end{cases}\quad \check{q}_{i_n, n} = \begin{cases} q_{m_n, n} & \mathrm{if}\ n \in \mathbb{N}_B, \\ q_{0, n} & \mathrm{if}\ n \not\in \mathbb{N}_B,\end{cases}\] and \[\hat{a}_{i_n, n} = \begin{cases} a_{m_n, n} & \mathrm{if}\ n \not\in \mathbb{N}_B, \\ a_{0, n} & \mathrm{if}\ n \in \mathbb{N}_B,\end{cases}\quad \hat{q}_{i_n, n} = \begin{cases} q_{m_n, n} & \mathrm{if}\ n \not\in \mathbb{N}_B, \\ q_{0, n} & \mathrm{if}\ n \in \mathbb{N}_B.\end{cases}\] The author proves the following result. Theorem. For an arbitrary number \(x \in [a'_0, a''_0]\) there exists a sequence \((i_n)\), \(i_n \in N^0_{m_n} \equiv \{0, 1, 2, \dots, m_n\}\), such that \[x = (-1)^{\rho_1}a_{i_1, 1} + \sum_{n=2}^\infty \left((-1)^{\rho_n}a_{i_n, n}\prod_{j=1}^{n-1} q_{i_j, j}\right)\] whenever for all \(n \in \mathbb{N}\), the following conditions hold: \[q_{i_n, n}\left(1-\sum_{n<t\in\mathbb{N}_B}\left(a_{m_t, t}\prod_{r=n+1}^{t-1}\check{q}_{i_r, r}\right)\right) \leq q_{i_n +1, n}\left(\sum_{n<t\not\in\mathbb{N}_B}\left(a_{m_t, t}\prod_{r=n+1}^{t-1}\hat{q}_{i_r, r}\right)\right)\] for \(n\in \mathbb{N}_B\), and \[q_{i_n, n}\left(1-\sum_{n<t\not\in\mathbb{N}_B}\left(a_{m_t, t}\prod_{r=n+1}^{t-1}\hat{q}_{i_r, r}\right)\right) \leq q_{i_n +1, n}\left(\sum_{n<t\in\mathbb{N}_B}\left(a_{m_t, t}\prod_{r=n+1}^{t-1}\check{q}_{i_r, r}\right)\right)\] for \(n\not\in \mathbb{N}_B\).