{"entities":{"Q2800158":{"pageid":2810896,"ns":120,"title":"Item:Q2800158","lastrevid":79631354,"modified":"2026-05-06T14:21:56Z","type":"item","id":"Q2800158","labels":{"en":{"language":"en","value":"Properties of the division topology on the set of positive integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569147"}},"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":"Q2800158$283CD6D4-99A2-480D-B17E-C1CD34094323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0227366c122b4c8ce94806be11c6479cd774424","datavalue":{"value":{"text":"Properties of the division topology on the set of positive integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800158$0F00987C-C2EC-454A-8093-8EDA54225EF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef9e1ad936a978de21a648db0ffa5b88e3b9f5f5","datavalue":{"value":"1338.54120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$7AA07257-D032-4170-80D8-669138F1DD2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c9c1499ae2a68c10707f11871ec4355c9ec1446","datavalue":{"value":"10.1142/S1793042116500500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$82855A38-C634-49E3-ABA5-BFC24E7FE261","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e67c1e7bbf657065b7eba0ad5f58af4dbd0f790a","datavalue":{"value":{"entity-type":"item","numeric-id":281695,"id":"Q281695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$14CC7AC4-E673-4B01-9906-57F318F64C38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$4A9723D2-2758-481C-B18E-5FE5D53269D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800158$D0B57ABF-803E-4CD5-A531-2F9558063F03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd1d0fd44795f1d939549575c09caac8d4530fa6","datavalue":{"value":"54D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$4E35778B-EC79-4606-8E3F-887FA168707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$484DD7CB-B857-4B93-89C7-C95886F836CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$BD29BB99-A995-4FAB-8CC6-73E6FA566899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$C1E5C768-5449-4B39-B296-DDED9FDE3E12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"031e1c30f85a0c999653f794a86313dc452f9d02","datavalue":{"value":"6569147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800158$8D0DB638-490D-4071-8BF4-2356BA524064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89733b07e2cfe15df4cc0bb331e3aa32ef58202a","datavalue":{"value":"division topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$8BBA5CC7-A13B-43EC-8417-A97ACAD5094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa57d4a4cde83209267b1259607dab00d812c7d","datavalue":{"value":"Alexandroff topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$FFB992AF-D312-4818-8439-0BAE9BAAC836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe1a35bf6075287c83bf5cf13f9423d82591c05","datavalue":{"value":"closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$24F52AA9-727B-477B-978A-35319D002483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d634b808394b6ce56aeffe284d3cf7ad53dc409f","datavalue":{"value":"connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$A260AF8A-0905-4C12-A3E8-A4253A0428D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$D21E267C-1F93-45FC-85B2-974F7BD09EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$6BDB65AD-8D3E-4472-92FE-4A392509C72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af6977c8a583a43b93092242653a6c934bd88c8","datavalue":{"value":"Darboux property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$4E7456E8-2BF7-4AE9-BA15-C3CFA1B5CCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19986b8fecb43e8171ffe4a0d4b192174eb7ee8a","datavalue":{"value":"arithmetic progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$89F4D013-0F74-46CF-9437-4F8556068B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367078dd53268f15f939794271a5000fbfa9214","datavalue":{"value":"prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$226126E8-BAC1-4C4F-9890-D1BAC0B230FE","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":"Q2800158$F372B06F-7359-4693-9711-0D9661BD60BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"481d2dbe252573f4c6022a2d858ee906d3f345ea","datavalue":{"value":{"entity-type":"item","numeric-id":4795232,"id":"Q4795232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$B536715C-C1EC-49EC-8A93-03670825CF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f3e57d3b92bb67b0ff72e674ecb8c1eb6e21b7","datavalue":{"value":{"entity-type":"item","numeric-id":3073869,"id":"Q3073869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$B0303C01-1573-4C18-BEC4-67087AF61865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe9281fd398d177e64a6fda2a1de4bb67b7068b","datavalue":{"value":{"entity-type":"item","numeric-id":4849668,"id":"Q4849668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$97EAFF40-EA94-4755-A9ED-A80B897342E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d992b66b025d46474de4289f33c4e0f664da147","datavalue":{"value":{"entity-type":"item","numeric-id":3449064,"id":"Q3449064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$C4F4BBC0-08CB-4C6D-8105-06CF5B7E20EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbbdc0c074f521d9f53f46a58ff89d27741715f","datavalue":{"value":{"entity-type":"item","numeric-id":352735,"id":"Q352735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$41F1714A-852D-4A3B-9934-0053AE257CA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47c3200a825f0b5271a43ce782179fcb053bacb6","datavalue":{"value":"The division topology on the set of positive integers introduced by \\textit{G. B. Rizza} [Riv. Mat. Univ. Parma, V. Ser. 2, 179--185 (1993; Zbl 0834.11006)] is the right topology associated with the division order. A basis of this topology is \\(\\mathcal{B}=\\{a\\mathbb{N} \\mid a\\in \\mathbb{N}\\}\\). This is a \\(T_0\\)-Alexandroff topology (i.e., a Kolmogoroff topology in which any intersection of open sets is open).NEWLINENEWLINEThe author of the paper under review gives some properties of the division topology; with a special focus on the closure of arithmetic progressions, compact sets and connected sets. If \\(a=p_1^{\\alpha_1} p_2^{\\alpha_2}\\ldots p_k^{\\alpha_k}\\) is the prime factorization of \\(a\\), then the author shows that the closure of the arithmetic progression \\(\\{an+b:n\\in \\mathbb{N}\\}\\) is the intersection of the closures \\(\\overline{\\{ p_i^{\\alpha_i}n+b:n\\in \\mathbb{N}\\}}\\). The paper is full of nice results with elementary elegant proofs. The last section of the paper deals with the Darboux property (a function \\(f: X \\to Y\\) is said to have the Darboux property if the image by \\(f\\) of a connected set of \\(X\\) is a connected set of \\(Y\\)). The author shows that for the division topology, continuity and Darboux property are equivalent.NEWLINENEWLINEComments of the reviewer: It is not difficult to recognize connected and compact sets of an Alexandroff space. Let \\((X,\\mathcal{T})\\) be an Alexandroff space with specialization quasi-order \\(\\leq\\) (where \\(\\leq\\) is defined by \\(x\\leq y\\) if and only if \\(x\\in \\overline{\\{y\\}})\\). According to \\textit{E. Bouacida} et al. [Boll. Unione Mat. Ital., VII. Ser., B 10, No. 2, 417--439 (1996; Zbl 0865.54032)]:NEWLINENEWLINE- A subset \\(A\\) of \\(X\\) is compact if and only if \\(Min (A) \\) is finite (where \\(Min (A) \\) stands for the set of minimal elements of \\(A\\).NEWLINENEWLINE- The set \\(A\\) is connected if and only if for all \\(x,y\\in A\\), there exist \\(x_0, x_1, \\ldots , x_n\\in A\\) such \\(x_0=x, x_n=y\\) and and \\(x_i\\leq x_{i+1}\\) or \\(x_{i+1}\\leq x_{i}\\), for all \\(i\\).NEWLINENEWLINEThese comments make most of the results of Section 7 straightforward.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800158$9E610793-9783-4ED2-AE8D-1DE072B90AC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b075f07c559a8304fe6fd3ca13dbfedf00a01341","datavalue":{"value":{"entity-type":"item","numeric-id":232463,"id":"Q232463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800158$3D29F324-CDD5-4771-88FC-DF431C3750DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290350fb36b728872ee1dc233018356a18c0b624","datavalue":{"value":{"entity-type":"item","numeric-id":4972510,"id":"Q4972510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbbbc2080340dd4b56cdf3a510114979fd0012b","datavalue":{"value":{"amount":"+0.8367850184440613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800158$F24226C3-5619-4394-84CB-BCC4E764DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a0580d0cee3ae73465cfa54c7e4997f22c8516","datavalue":{"value":{"entity-type":"item","numeric-id":352735,"id":"Q352735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c3cf4364116a18a95e449c4e2f0b2a0ae8f1f2","datavalue":{"value":{"amount":"+0.7906801700592041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800158$E716616F-4941-4AD2-B8B9-88D0EB5904F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b230183d2f81596478ac55ddebec5788cae057","datavalue":{"value":{"entity-type":"item","numeric-id":4849668,"id":"Q4849668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3840239f0c4fbd62d46d4686b21fb95dcf2af9e2","datavalue":{"value":{"amount":"+0.7890745401382446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800158$F8100486-DA3A-4EDF-9AA9-313A48E0664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde0485f12259669a54019b7b2efd3a9b3875e86","datavalue":{"value":{"entity-type":"item","numeric-id":2140619,"id":"Q2140619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74981f70c10b20c11cf057956d379ec0e6aa9c04","datavalue":{"value":{"amount":"+0.786577582359314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800158$17D3DAF1-E881-466A-BA4D-73AEDD173AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b557d3a1c687262c8d33f46b2d7fdefb844f43","datavalue":{"value":{"entity-type":"item","numeric-id":2248499,"id":"Q2248499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc1fc9673bf80fc039771c3cae2251320020e83","datavalue":{"value":{"amount":"+0.7863358855247498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800158$D85314BA-E5BF-4AF1-9F70-4EE16D723832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties of the division topology on the set of positive integers","badges":[]}}}}}