{"entities":{"Q2586277":{"pageid":2597020,"ns":120,"title":"Item:Q2586277","lastrevid":44410035,"modified":"2025-11-22T18:17:53Z","type":"item","id":"Q2586277","labels":{"en":{"language":"en","value":"On a geometrical representation of \\(p\\)-adic numbers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505916"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586277$DD8D5F4D-AF04-47E7-BFAD-B25A4DB638CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd241fcbc7519cbe1037188deaa6994d9ec8ff7c","datavalue":{"value":{"text":"On a geometrical representation of \\(p\\)-adic numbers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586277$0B0D016E-4E2E-4D30-BAC1-A863B63410CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577d4e36da72445d763e5f767bd4c2ce2fae2840","datavalue":{"value":"66.0186.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586277$23844881-9019-4019-AE0B-BABC2B67AAD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea1e2130da701ed8c9237e1c8b3d924e26a571cf","datavalue":{"value":"10.2307/1968818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586277$702195A7-F071-4A1F-A4D1-BEACCF917450","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586277$716E6113-8FB7-4ED6-A830-E3A8357D57C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2586277$A0230E43-386B-4149-A51C-EAAE55E07C5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48e6b8b46c2b265838fcd79ea92e41019ea594ba","datavalue":{"value":"Im folgenden ist \\(P\\) eine fest gegebene Primzahl, \\(F\\) der Fundamentalbereich der Modulgruppe:  \\[  |z|> 1, \\quad -\\tfrac 12\\leqq \\Re z < \\tfrac 12 \\quad \\text{oder} \\quad |z|=1, \\quad -\\tfrac 12 \\leqq \\Re z \\leqq 0;  \\]  \\(\\lambda\\) sei eine beliebig (aber fest) gegebene Zahl aus \\(F\\). Ist nun \\(\\zeta\\) eine ganze \\(P\\)-adische Zahl, so definiere man f\u00fcnf Folgen  \\[  \\{A_n\\}, \\;\\{Z_n\\}, \\;\\{z_n\\}, \\;\\{T_n\\}, \\;\\{\\varOmega_{n+1}\\} \\quad (n = 0, 1, 2,\\ldots)  \\]  wie folgt: \\(A_n\\) ganz rational, \\(Z_n\\) und \\(z_n=x_n+iy_n\\) komplex,  \\[  |\\zeta-A_n|_P\\leqq P^{-n}, \\quad 0\\leqq A_n \\leqq P^n-1, \\quad \\text{also} \\quad \\zeta= \\lim A_n, \\tag{1}  \\]  \\(Z_n=(A_n +\\lambda)P^{-n}\\); \\(z_n\\) sei der zu \\(Z_n\\) \u00e4quivalente Punkt in \\(F\\) (also \\(y_n \\geqq \\frac 12\\sqrt 3\\)), so da\u00df es eine Modulsubstitution  \\[  V_n=\\begin{pmatrix} r_n & r_n' \\\\ q_n & q_n'\\end{pmatrix} \\quad \\text{mit} \\quad Z_n = V_nz_n = \\frac{r_nz_n+r_n'}{q_nz_n+q_n'}  \\]  gibt; man setze \\(p_n=P^nr_n-A_nq_n\\), \\(p_n'=P^nr_n'-A_nq_n'\\), so da\u00df (vgl. (1))  \\[  |p_n+q_n\\zeta|_P\\leqq P^{-n}, \\quad |p_n'+q_n'\\zeta|_P\\leqq P^{-n}. \\tag{2}  \\]  Dann ist \\(T_n= \\begin{pmatrix} p_n & p_n' \\\\ q_n & q_n'\\end{pmatrix}\\) eine ganzzahlige Matrix mit der Determinante \\(P^n\\) und \\(\\varOmega_{n+1}=T_n^{-1}T_{n+1}\\) eine ganzzahlige Matrix mit der Determinante \\(P\\); es ist \\(\\lambda=T_nz_n\\), \\(z_n=\\varOmega_{n+1}z_{n+1}\\).  Im ersten Teil der Arbeit werden haupts\u00e4chlich die Folgen \\(\\{z_n\\}\\), \\(\\{\\varOmega_{n+1}\\}\\) untersucht; im zweiten Teil werden die Ergebnisse des ersten Teiles auf folgendes diophantische Problem angewandt: Es sei  \\[  \\varPhi(X,Y)=\\frac 2{|\\lambda-\\bar \\lambda|}(X-\\lambda Y)(X-\\bar \\lambda Y),  \\]  also  \\[  \\varPhi_n(X,Y)=\\varPhi(p_nX+p_n'Y, \\;q_nX+q_n'Y) = \\frac{P^n}{y_n}(X-z_nY)(X-\\bar z_nY); \\tag{3}  \\]  da \\(\\lambda\\) und \\(z_n\\) in \\(F\\) liegen, sind \\(\\varPhi\\) und \\(\\varPhi_n\\) reduzierte positiv definite quadratische Formen (z. B. \\(\\varPhi(X,Y)=Z^2+Y^2\\) f\u00fcr \\(\\lambda=i\\)). Es handelt sich darum, ganze rationale \\(p\\), \\(q\\) mit \\(|p+q\\zeta|_P\\leqq P^{-n}\\) und mit m\u00f6glichst kleinem Wert von \\(\\varPhi(p,q)>0\\) bei vorgegebenem \\(n\\) zu finden. Aus (2), (3) und aus \\(y_n \\geqq \\frac 12 \\sqrt 3\\) folgt  \\[  |p_n+q_n\\zeta|_P \\leqq P^{-n}, \\quad 0<\\varPhi(p_n,q_n)= \\frac{P^n}{y_n} \\leqq \\frac 2{\\sqrt 3}P^n. \\tag{4}  \\]  Weiter wird gezeigt (\\(p\\), \\(q\\) bedeuten stets ganze rationale Zahlen): aus \\(|p+q\\zeta|_P\\leqq P^{-n}\\), \\(\\varPhi(p,q)>0\\) folgt \\(\\varPhi(p,q)\\geqq \\varPhi(p_n,q_n)\\), so da\u00df die \\(p_n\\), \\(q_n\\) die ``besten'' Ann\u00e4herungen liefern. Daraus und aus (4) folgt die Wichtigkeit der \\(y_n\\) f\u00fcr das genannte Problem. Aus den Resultaten des ersten Teiles ergeben sich folgende Erg\u00e4nzungen zu (4) (die wir wegen Raumersparnis teilweise nur in ihren Hauptz\u00fcgen wiedergeben):  I. (Analogon eines Satzes von Hurwitz und Borel \u00fcber Kettenbr\u00fcche.) Ist \\(P = 2\\) (bzw. 3 bzw. 5) und \\(\\zeta\\) irrational, so gibt es unter je drei (bzw. drei bzw. zwei) konsekutiven nat\u00fcrlichen Zahlen \\(n\\) mindestens eine, f\u00fcr welche gilt  \\[  |p_n+q_n\\zeta|_P \\leqq P^{-n}, \\quad 0<\\varPhi(p_n,q_n) \\leqq \\gamma P^n,  \\]  wo \\(\\gamma=\\dfrac 2{\\sqrt 7}\\) bzw. \\(\\gamma=\\dfrac 1{\\sqrt 2}\\) bzw. \\(\\gamma=1\\). Ist aber \\(\\beta < \\gamma\\), so gibt es ein irrationales \\(\\zeta\\), f\u00fcr welches die Ungleichungen  \\[  |p+ q\\zeta|_P \\leqq P^{-n}, \\quad 0< \\varPhi(p,q)<\\beta P^n  \\]  f\u00fcr alle gro\u00dfen \\(n\\) unl\u00f6sbar sind; dasselbe gilt, wenn \\(P\\equiv 1\\) (mod 6) und \\(\\beta< \\dfrac 2{\\sqrt 3}\\) ist (vgl. dazu (4)).  II. (Analogon eines Satzes von Khintchine.) Ist \\(\\zeta\\) irrational, so gibt es unendlichviele \\(n\\), f\u00fcr welche die Ungleichungen  \\[  |p+ q\\zeta|_P \\leqq P^{-n}, \\quad 0<\\varPhi(p,q)< P^{-\\frac 12} P^n  \\]  unl\u00f6sbar sind, und \\(P^{-\\frac 12}\\) ist die scharfe Konstante.  III. (Analogon eines Satzes von Tschebyscheff.) Ist \\(\\vartheta\\) eine beliebige, \\(\\zeta\\) eine irrationale ganze \\(P\\)-adische Zahl, so gibt es unendliche nat\u00fcrliche \\(n\\) und zugeh\u00f6rige ganze rationale Zahlen \\(u_n\\), \\(v_n\\), so da\u00df  \\[  |u_n+v_n\\zeta+\\vartheta|_P\\leqq P^{-n}, \\quad \\varPhi(u_n,v_n) \\leqq \\frac{P+1}{4\\sqrt P}P^n  \\]  (dabei ist aber \\(\\dfrac{P+1}{4\\sqrt P}\\) nach der Meinung des Verf. kaum die wahre Konstante).  Eine Erg\u00e4nzung zur vorliegenden Arbeit siehe bei \\textit{H. Davenport} (vgl. die nachstehend besprochene Arbeit); einen anderen kettenbruch\u00e4hnlichen Algorithmus f\u00fcr \\(P\\)-adische Zahlen hat Verf. bereits fr\u00fcher (Nieuw Arch. Wiskunde (2) 18 (1934), 22-34; Mathematica B, Zutphen, 7 (1938), 2-6; JFM 60.0163.*; 64\\(_{\\text{I}}\\), 144) eingef\u00fchrt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586277$6B11659A-64AA-470A-B4C2-B841B8B43C65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86973c4149d35248acbd5467e02193979de3b45","datavalue":{"value":"2505916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586277$C007E37B-54A2-4D10-BEE4-DDF5803F40CD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586277$EBB9188C-74DC-411F-8425-7A62D4DC73C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a7819bcb9e7c4c1836bcd436a51e2af27323a6","datavalue":{"value":"https://doi.org/10.2307/1968818","type":"string"},"datatype":"url"},"type":"statement","id":"Q2586277$A4EDE899-4212-43DC-81B8-AF207C9F45D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f25deed9ec8118e5108228fda562a7609d24cb9","datavalue":{"value":"W2331624694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586277$68E379F6-20B9-4E35-BE5E-D06FCFC47B10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cff1f9735642fd8e8811887827122ed6cee9a6a","datavalue":{"value":{"entity-type":"item","numeric-id":6481736,"id":"Q6481736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586277$E92EEE13-F79A-4F50-9346-C15D65718928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586277"}}}}}