{"entities":{"Q2579929":{"pageid":2590672,"ns":120,"title":"Item:Q2579929","lastrevid":44392569,"modified":"2025-11-22T15:06:44Z","type":"item","id":"Q2579929","labels":{"en":{"language":"en","value":"An analogue to Minkowski's geometry of numbers in a field of series."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502421"}},"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":"Q2579929$3A2BECB8-1256-41D1-AAAE-E98AFBFD113E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d05a4afee4037c2e21d86af4f0ac7663b6294e3","datavalue":{"value":{"text":"An analogue to Minkowski's geometry of numbers in a field of series.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579929$11F6C53F-28D0-4053-81D6-6D7059B138B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae1a45665aa408c5f9bd50584486e9f84b941e37","datavalue":{"value":"67.0140.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579929$8365685F-AA8E-4A00-BDB6-69F2DEB4CDAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893381283c8def3a0f3c48c2f2d2ced810c1ae8f","datavalue":{"value":"10.2307/1968914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579929$C4927ED3-3782-469B-B49E-DBB737E86E6D","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":"Q2579929$1C895E79-F29A-4E0A-B584-73120479E0BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579929$BDC5B7F8-ED5C-416B-928B-B3C0EC593722","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf35234f76168157cb062f51e0d785ed8acb9e78","datavalue":{"value":"https://semanticscholar.org/paper/29ae2dfb8c24ca6a4a5ce4682890c591993c9401","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579929$D2353C87-42CF-456C-ABE3-15410D0AC147","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ea2c7b428d53a8c739f94c956a373203b68d37c","datavalue":{"value":"\\textit{Erster Teil}. \\(\\mathfrak R\\) sei ein kommutativer K\u00f6rper mit nicht-archimedischer Bewertung; d. h. \\(|0| = 0\\), \\(| x | >0\\) f\u00fcr \\(x \\neq 0\\),  \\[  |xy| = |x| \\cdot |y|, \\quad |x \\pm y| \\leqq \\text{ Max }(|a|, |y|).  \\]  (Der triviale Fall ``\\(| x| = 1\\) f\u00fcr alle \\(x \\neq 0\\)'' wird stillschweigend ausgeschlossen.) \\(\\mathfrak K\\) sei die (in bezug auf diese Bewertung) perfekte Erweiterung von \\(\\mathfrak R\\). \\ \\(P_n\\) ist der \\(n\\)-dimensionale Raum aller ``Punkte'' \\(X =(x_1, \\dots, x_n)\\) mit \\(x_j \\in \\mathfrak K\\); setzt man \\(| X | = \\text{ Max } (| x_1|, \\dots, |x_n|)\\), so ist \\(| aX | = | a | \\cdot | X |\\) f\u00fcr \\(a \\in \\mathfrak K\\),  \\[  |X \\pm Y| \\leqq \\text{ Max }(|Z|,|Y|), \\quad |X Y| \\leqq |X| \\cdot |Y|,  \\]  wo \\(ZY = x_1 y_1 + \\cdots + x_n y_n\\). Ist \\(\\mathfrak M \\subset \\mathfrak K\\), so hei\u00dfen die Punkte \\(X^{(1)}, \\dots, X^{(k)}\\) \\ \\(\\mathfrak M\\)-unabh\u00e4ngig, wenn keine Gleichung \\(a_1X^{(1)} + \\cdots + a_kX^{(k)} = 0\\) mit \\(|a_1| + \\cdots + |a_k| >0\\), \\(a_j \\in \\mathfrak M\\) gilt; \\(\\varOmega\\) wird immer eine Matrix von Elementen \\(\\omega_{hk} \\in \\mathfrak K\\) \\((h, k = 1, \\dots, n)\\) mit nichtverschwindender Determinante bedeuten. Eine reelle Funktion \\(F(X)\\) hei\u00dfe eine (allgemeine) Distanzfunktion, wenn folgendes gilt:  \\[  F(X) \\geqq 0; \\quad F(aX) = |a| \\,F(X) \\;\\text{ f\u00fcr } \\;a \\in \\mathfrak K; \\quad F(X \\pm Y) \\leqq \\text{ Max } (F(X), F(Y)).  \\]  Ist \\(\\tau > 0\\), so hei\u00dft die Menge \\(C(\\tau)\\) aller \\(X\\) mit \\(F(X) \\leqq \\tau\\) eine konvexe Menge; wie ersichtlich, werden nur symmetrische Mengen (in bezug auf den Nullpunkt) in diese Definition eingeschlossen. Ist \\(F(X) = 0\\) \\textit{nur} f\u00fcr \\(X = 0 = (0, \\dots, 0)\\), so hei\u00dfe \\(F\\) \\textit{speziell}, und \\(C(\\tau)\\) hei\u00dfe ein konvexer \\textit{K\u00f6rper}. Zu jeder Distanzfunktion \\(F\\) gibt es ein \\(\\varGamma > 0\\), so da\u00df \\(F(X) \\leqq \\varGamma |X|\\) f\u00fcr alle \\(X\\); ist \\(F\\) speziell (und offenbar nur dann), so gibt es ein \\(\\gamma > 0\\) mit \\(F(X) \\geqq \\gamma | X |\\). Die Untersuchung der konvexen Mengen l\u00e4\u00dft sich auf diejenige der konvexen K\u00f6rper zur\u00fcckf\u00fchren, indem sich jede konvexe Menge als ein Zylinder auffassen l\u00e4\u00dft, dessen Basis ein konvexer K\u00f6rper in einem linearen Unterraum von \\(P_n\\) ist.  Es sei nun \\(F\\) eine spezielle Distanzfunktion, \\(A_1\\) die Menge aller Zahlen \\(| x |\\), \\(A_2\\) die Menge aller Werte \\(F(X)\\). \\ \\textit{I. Fall.} \\ \\(A_1\\) ist nicht dicht (auf der positiven Zahlenachse); dann gibt es ein \\(b > 1\\), so da\u00df \\(A_1\\) die Menge aller Zahlen 0 und \\(b^t\\) ist (\\(t\\) wird immer ganze Zahlen bedeuten). In diesem Falle ist der K\u00f6rper \\(C(\\tau)\\) ein Parallelepiped, d. h. es gibt eine lineare Substitution \\(Y = \\varOmega_\\tau X\\), so da\u00df \\(C(\\tau)\\) mit der Menge aller \\(X\\) mit \\(|\\varOmega_\\tau X| = \\underset{1 \\leqq h \\leqq n} {\\text{ Max }} \\left|\\sum\\limits_{k=1}^n \\omega_{hk}^{(\\tau)} x_k \\right| \\leqq \\tau\\) \u00fcbereinstimmt. Besonders einfach gestaltet sich hier der Fall \\(A_2 = A_1\\) den wir als \\textit{Fall} \\(Ia\\) bezeichnen wollen; hier ist n\u00e4mlich \\(\\varOmega = \\varOmega_\\tau\\) f\u00fcr alle \\(\\tau \\in A_1\\) von \\(\\tau\\) unabh\u00e4ngig, und es ist  \\[  F(X) = | \\varOmega X | \\;\\text{ f\u00fcr alle } \\;X. \\tag{1}  \\]   \\textit{II. Fall.} \\ \\(A_1\\) ist dicht; dann gibt es zu jedem \\(\\varepsilon > 0\\) eine Matrix \\(\\varOmega_\\varepsilon\\), so da\u00df f\u00fcr alle \\(X\\) gilt  \\[  (1 - \\varepsilon) | \\varOmega_\\varepsilon X | \\leqq F(X) \\leqq (1 + \\varepsilon) | \\varOmega_\\varepsilon X|.  \\]   Die zu einer (allgemeinen) Distanzfunktion \\(F\\) polare Funktion \\(G\\) wird durch \\(G(Y) = \\sup\\limits_{F(X) \\leqq 1} | XY |\\) definiert; ist \\(F\\) speziell, so ist auch \\(G\\) eine spezielle Distanzfunktion; liegt dabei der Fall Ia oder II vor, so ist umgekehrt \\(F\\) polar zu \\(G\\). (Verf. hebt nicht hervor, da\u00df man sich im Falle I auf den Unterfall Ia beschr\u00e4nken mu\u00df.)  \\textit{Zweiter Teil.} \\ Es wird folgender Spezialfall betrachtet: \\(\\mathfrak k\\) sei ein kommutativer K\u00f6rper, \\(\\mathfrak R\\) der K\u00f6rper aller rationalen Funktionen einer Unbestimmten \\(z\\) mit Koeffizienten aus \\(\\mathfrak k\\); \\(\\mathfrak T \\subset \\mathfrak R\\) sei die Menge aller Polynome in \\(z\\). Ist \\(x \\in \\mathfrak R\\), \\(x \\neq 0\\), und ist \\(f\\) der Grad von \\(x\\) (Grad des Z\u00e4hlers minus Grad des Nenners), so sei \\(| x | = e^f\\). Dann ist \\(\\mathfrak K\\) die Menge aller Reihen \\(x = \\alpha_f z^f + \\alpha_{f-1} z^{f-1} + \\alpha_{f-2} z^{f-2} + \\cdots\\) mit \\(\\alpha_j \\in \\mathfrak k\\); ist \\(\\alpha_f \\neq 0\\), so ist \\(| x | = e^f\\). Liegen die Koordinaten eines Punktes \\(X \\in P_n\\) s\u00e4mtlich in \\(\\mathfrak T\\), so hei\u00dfe \\(X\\) ein Gitterpunkt. -- Es sei \\(F\\) eine spezielle Distanzfunktion, die nur die Werte 0 und \\(e^t\\) annimmt, so da\u00df der Fall Ia vorliegt. Das Volumen \\(V\\) des K\u00f6rpers \\(F(X) \\leqq 1\\) wird folgenderma\u00dfen definiert: Es sei \\(M(t)\\) die H\u00f6chstzahl von \\(\\mathfrak k\\)-unabh\u00e4ngigen Gitterpunkten \\(X\\) mit \\(F(X) \\leqq e^t\\); f\u00fcr \\(F(X) = | X |\\) werde diese Zahl mit \\(M_0(t)\\) bezeichnet. Dann ist \\(M(t + 1) = M(t) + n\\) f\u00fcr gro\u00dfe \\(t\\), so da\u00df \\(M(t) - M_0(t)\\) von einem gewissen \\(t\\) an konstant ist; man setze \\(V = \\lim\\limits_{t\\to\\infty} e^{M(t) - M_0(t)}\\), also speziell \\(V = 1\\) f\u00fcr \\(F(X) = | X |\\). Das Volumen \\(V\\) besitzt die gew\u00f6hnliche Invarianzeigenschaft: ist \\(F^\\prime(X) = F(\\varOmega X)\\), so ist das Volumen von \\(F^\\prime(X) \\leqq 1\\) gleich \\(| D |^{-1} \\cdot V\\), wo \\(D\\) die Determinante von \\(\\varOmega\\) ist. Wegen (1) l\u00e4\u00dft sich also \\(V\\) f\u00fcr jedes \\(F\\) berechnen. Ist \\(V^\\prime\\) das Volumen des polaren K\u00f6rpers \\(G(X) \\leqq 1\\), so ist \\(VV^\\prime = 1\\). -- Man f\u00fchre nun die sukzessiven Minima \\(0 < \\sigma_1 \\leqq \\sigma_2 \\leqq \\cdots \\leqq \\sigma_n\\) von \\(F\\) auf folgende Weise ein: Es sei \\(X^{(1)}\\) ein Gitterpunkt \\(\\neq 0\\), f\u00fcr welchen \\(F(X^{(1)}) = \\sigma_1\\) m\u00f6glichst klein ausf\u00e4llt; sind \\(X^{(1)}, \\dots, X^{(k-1)}\\) bereits gew\u00e4hlt, so sei \\(X^{(k)}\\) ein von \\(X^{(1)}, \\dots, X^{(k-1)}\\) \\ \\(\\mathfrak K\\)-unabh\u00e4ngiger Gitterpunkt, f\u00fcr welchen \\(F(X^{(k)}) = \\sigma_k\\) m\u00f6glichst klein ausf\u00e4llt. Die sukzessiven Minima der polaren Funktion \\(G\\) seien \\(0 < \\tau_1 \\leqq \\tau_2 \\leqq \\cdots \\leqq \\tau_n\\). Es sei \\(D\\) die aus den Koordinaten der Punkte \\(X^{(1)}, \\dots, X^{(n)}\\) gebildete Determinante. Es gelten folgende zahlengeometrische S\u00e4tze (sie sind, wie man sehen wird, meistens sch\u00e4rfer als die entsprechenden S\u00e4tze im \\(n\\)-dimensionalen euklidischen Raume \\(R_n\\): an Stelle von Ungleichungen treten oft Gleichungen auf). I. \\(D\\) liegt in \\(\\mathfrak k\\); es ist \\(\\sigma_1 \\dots \\sigma_n V = 1\\), \\(\\sigma_h \\tau_{n-h+1} = 1\\) \\((h = 1, \\dots, n)\\). Folgerung: Zu jedem Punkt \\(Z \\in P_n\\) gibt es einen Gitterpunkt \\(X\\) mit \\(F(X + Z) \\leqq (e\\tau_1)^{-1}\\); die Schranke wird f\u00fcr \\(Z = z^{-1}X^{(n)}\\) erreicht; Spezialfall: ein Analogon des Kroneckerschen Satzes. Analoge S\u00e4tze im \\(R_n\\): \\textit{Minkowski}, Geometrie der Zahlen (1910; F. d. M. 41, 239 (JFM 41.0239.*)); \\textit{Davenport}, Quart. J. Math. (Oxford Ser.) 10 (1939), 119-121 (F. d. M. 65, 175 (JFM 65.0175.*)); \\textit{Mahler}, \u010casopis Mat. Fysik., Praha, 68 (1939), 93-102 (F. d. M. 65, 175 (JFM 65.0175.*)).  II. Ist \\(\\varOmega\\) eine Matrix in \\(\\mathfrak K\\) mit der Determinante 1, so gibt es eine Matrix \\(U\\) in \\(\\mathfrak T\\) mit der Determinante 1, so da\u00df \\(\\prod\\limits_{h=1}^n \\underset{1 \\leqq k \\leqq n}{\\text{ Max }} |a_{hk} | = 1\\) ist; dabei sind \\(a_{hk}\\) die Elemente der Matrix \\(\\varOmega U\\). Ein analoger Satz in \\(R_n\\) wurde Von Siegel in einem Briefe an Mordell bewiesen. Folgerung: Es seien \\(a_{hk}\\), \\(a_h\\) Elemente aus \\(\\mathfrak K\\); die Determinante der \\(a_{hk}\\) sei 1. Dann gibt es einen Gitterpunkt \\((x_1, \\dots, x_n)\\) mit  \\[  \\prod_{h=1}^n |a_{h_1} x_1 + \\cdots + a_{hn} x_n + a_h| \\leqq e^{-n};  \\]  die Schranke ist scharf. Wegen eines analogen Satzes in \\(R_n\\) vgl. z. B. \\textit{Tschebotar\u00f6w}, Rudolf-Fueter-Festschr., Vjschr. naturf. Ges. Z\u00fcrich 85, Beibl. Nr. 32 (1940), 27-30, und \\textit{Mordell}, ebenda, S. 47-50 (F. d. M. 66, 185 (JFM 66.0185.*)).  III. Der K\u00f6rper \\(\\mathfrak R\\) l\u00e4\u00dft noch andere Bewertungen zu. Es sei \\(\\xi \\in \\mathfrak k\\); man setze \\(| x |_\\xi = e^{-f}\\) wenn \\(x = (z - \\xi)^f y\\), wo die rationale Funktion \\(y\\) weder im Z\u00e4hler noch, im Nenner den Faktor \\(z - \\xi\\) enth\u00e4lt. Die perfekte Erweiterung \\(\\mathfrak K_\\xi\\) ist dann die Menge aller Reihen \\(x = \\alpha_f (z - \\xi)^f + \\alpha_{f+1}(z - \\xi)^{f+1} + \\alpha_{f+2}(z - \\xi)^{f+2} + \\cdots\\) mit \\(\\alpha_j \\in \\mathfrak k\\); ist \\(\\alpha_f \\neq 0\\), so ist \\(|x|_\\xi = e^{-f}\\). Au\u00dfer \\(F\\) sei noch eine, allgemeine Distanzfunktion \\(F_\\xi(X)\\) (f\u00fcr den Korper \\(\\mathfrak K_\\xi\\)) gegeben. Dann gibt es zu jedem hinreichend gro\u00dfen \\(t\\) ein System von \\(n\\) Gitterpunkten \\(X^{(1)}, \\dots, X^{(n)}\\) mit \\(F(X^{(1)}) \\dots F(X^{(n)}) = |D| \\cdot V^{-1}\\), \\ \\(F_\\xi (X^{(k)}) \\leqq e^{-t}\\) \\((k = 1, \\dots, n)\\), wo \\(D \\neq 0\\) die aus den Koordinaten der Punkte \\(X^{(j)}\\) gebildete Determinante bedeutet. In einem Spezialfall wird ein noch sch\u00e4rferes Ergebnis erhalten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579929$78E41021-5806-4D82-863C-2E1487076511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a4507c094ccc63adfc80d30d0fe5567f09ed028","datavalue":{"value":"11H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579929$13184842-7E79-47DC-A3C2-307EA15105B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c495a51797c33b3de5f4dfa322ced847cdab98","datavalue":{"value":"2502421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579929$3AF96DF1-79EB-4DDA-B6AF-55DED2153D19","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":"Q2579929$416D6B5B-3499-464B-9A7F-F9BE577C0865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e169b3da691302b5c16fda04d906474b4ed2436","datavalue":{"value":"W2319446899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579929$50E88D45-7A9F-4A89-9178-B198AB735D4F","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":"Q2579929$B0FA4B7D-781F-4783-8A29-B47974B9BABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579929"}}}}}