Ein Übertragungsprinzip für lineare Ungleichungen. (Q2590691)

Es seien \[ f_h(x) = \sum_{k=1}^n a_{hk}x_k,\quad g_h(y)=\sum_{k=1}^n b_{hk}y_k\qquad (h=1, 2,\ldots,n; n>1) \tag{1} \] je \(n\) Lienarformen mit reellen Koeffizienten; die Determinante \(d\) der \(b_{hk}\) sei \(\neq 0\). Weiter habe die Bilinearform \[ \varPhi(x, y) = \sum_{h=1}^n f_h(x)g_h(y)= \sum_{i,k=1}^n e_{ik} x_iy_k \tag{2} \] lauter ganze rationale Koeffizienten \(e_{ik}\). Es sei \(t_i > 0\) (\(i = 1, 2,\ldots, n\)). Gibt es \(n\) ganze rationale Zahlen \(x_1,\ldots, x_n\) mit \(|f_1(x)| = t_1\), \(|f_j(x)| \leqq t_j\), \((2\leqq j\leqq n)\), so gibt es auch ganze rationale Zahlen \(y_i\) mit \(\underset{i=1,\ldots,n}{\operatorname{Max}} | y_i | > 0\), \(|g_1(y)|\leqq (n - 1)\lambda t_1^{-1}\), \(|g_j(y)| \leqq \lambda t_j^{-1}\) \((2 \leqq j \leqq n)\), wo \(\lambda > 0\), \(\lambda^{n-1} = |d|t_1t_2\cdots t_n\) (Beweis mit Hilfe des Minkowskischen Linearformensatzes). Aus diesem Satz folgt der Khintchinesche Übertragungssatz (\textit{A. Khintchine}, Rend. Circ. mat., Palermo 50 (1926), 170-195; F. d. M. 52, 183; vgl. auch Verf., Rec. math., Moscou, (2) 1 (1936), 961-962; JFM 62.1158.*). Weiter wird folgender \(p\)-adische Satz bewiesen: In (1) seien jetzt die Koeffizienten ganze \(p\)-adische Zahlen; in (2) seien die \(e_{ik}\) wieder ganze rationale Zahlen: es sei \(C= 1+ \sum\limits_{i,k=1}^n |e_{ik}|\). Es seien \(s_1,s_2,\ldots,s_n\), \(s\) ganze nichtnegative Zahlen, \(s\geqq\operatorname{Max}(s_1,\ldots,s_n)\). Gibt es \(n\) ganze rationale Zahlen \(x_1,\ldots, x_n\) mit \(0 < \operatorname{Max} (|x_1|,\ldots, |x_n|) \leqq X\), \[ |f_1(x)|_p = p^{-s_1},\quad |f_j(x)|_p \leqq p^{-s_j}\quad (2 \leqq j \leqq n), \] so gibt es auch \(n\) ganze rationale Zahlen \(y_1,\ldots, y_n\) mit \[ 0 < \operatorname{Max} (|y_1|,\ldots, |y_n|) \leqq (CXp^\omega)^{\tfrac{1}{n-1}}, \quad |g_i(y)|_p \leqq p^{s_i-s} \] \[ (i =1, 2,\ldots, n), \;\;\text{wo} \;\;w = 1 + (n - 1)s- \sum_{h=2}^n s_h. \] Der Beweis beruht auf einem \(p\)-adischen Analogon des Minkowskischen Linearformensatzes; vgl. Verf. Jber. Deutsche Math.-Verein. 44 (1934), 250-255; JFM 60.0163.* oder die vorstehend besprochene Arbeit des Ref. Als Anwendung dieses Satzes wird das \(p\)-adische Analogon des Khintchineschen Übertragungssatzes hergeleitet.