Zur Approximation algebraischer Zahlen durch arithmetisch charakterisierte algebraische Zahlen (Q2536843): Difference between revisions

Es wird die folgende Verallgemeinerung eines Satzes von \textit{D. Ridout} [Mathematika 4, 125--131 (1957; Zbl 0079.27401)] auf algebraische Zahlkörper angegeben: Satz: \(\alpha\) sei eine algebraische Zahl vom Grade \(n\), \(K\) ein algebraischer Zahlkörper \(N\)-ten Grades. \((\xi_j)\) sei eine Folge algebraischer Zahlen aus \(K\) mit den Minimalpolynomen \[ M(\xi_j) = a_{0j}x^r + a_{1j}x^{r-1} + \cdots + a_{rj},\quad 1\le r\le N, \] und den Höhen \(\displaystyle q_j = \max_{0\le \nu\le r} (\vert a_{\nu j}\vert)\). Es gelte \[ a_{0j} = k_{0j}^r, \quad k_{0j}^{r-\nu}\mid a_{\nu j}, \ 1\le \nu\le r, \quad k_{0j} = k_j^* \prod_{i=1}^s k_i^{\sigma_i(j)}, a_{rj} = h_j^* \prod_{l=1}^t h_l^{\tau_i(j)}, \] \(k_1,\ldots,k_s, h_1,\ldots, h_t\) prim, \(\vert k_j^*\vert\), \(\vert h_j^*\vert\), \(\sigma_1, \ldots, \sigma_s\), \(\tau_1, \ldots, \tau_t\) nicht negativ, ganz rational. Setzt man \[ \tau = \varliminf_{j\to\infty}(\log \vert a_{0j}\vert/\log q_j), \quad \sigma = \varliminf_{j\to\infty}(\log \vert a_{rj}\vert/\log q_j), \] \[ \nu = \varlimsup_{j\to\infty}(\log \vert k_j^* \vert/\log \vert k_{0j}\vert), \quad \mu = \varlimsup_{j\to\infty}(\log \vert h_j^*\vert/\log \vert a_{rj}\vert), \] und ist \(\kappa>1 +\nu\tau - \sigma(1-\mu)\), dann hat die Ungleichung \[ \vert \alpha - \xi \vert < \frac1{q^\kappa} \] nur endlich viele Lösungen \(\xi\) der Höhe \(q\) aus der Folge \((\xi_j)\). Als Anwendung ergibt sich die Transzendenz gewisser Zahlen, die durch konvergente Reihen definiert sind.