{"entities":{"Q683623":{"pageid":685472,"ns":120,"title":"Item:Q683623","lastrevid":63685833,"modified":"2026-04-11T14:50:56Z","type":"item","id":"Q683623","labels":{"en":{"language":"en","value":"The strongly compatible topology on \\(\\nu \\)-generalized metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836251"}},"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":"Q683623$12AA5104-4182-4F47-9738-AF10A4DBDE79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c973cbdc19b05b6e63e18f2e44d8595135c9d279","datavalue":{"value":{"text":"The strongly compatible topology on \\(\\nu \\)-generalized metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683623$4CF761CB-FE0D-440B-B037-D7D44310ACC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bcb36447c960b728be5ab8291f14423d1082639","datavalue":{"value":"1382.54015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$C50AA945-ED72-4172-8F76-E79F06359BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e5b343461d0325ea4f02a6f469d02a4e921c95","datavalue":{"value":{"entity-type":"item","numeric-id":166002,"id":"Q166002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$56540362-7919-467C-9424-2DA701478A36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5478ede943fb911760ea7d60e42b6d499b786ce8","datavalue":{"value":{"entity-type":"item","numeric-id":259732,"id":"Q259732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$3AD73704-437D-4B22-BEB8-965DEA4DF113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ac565be29403a57f9644d0a74ff2edb4b21d2bd","datavalue":{"value":{"time":"+2018-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q683623$2215F86D-6B59-4C6B-86E7-022F337B62A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bfe790cf2783236249bdc1c4b737536b5de9a3f","datavalue":{"value":"Let \\(X\\) be a set and let \\(\\nu \\geq 2\\) be an integer number. A symmetric function \\(d \\colon X \\times X \\to [0, \\infty)\\) is said to be a \\(\\nu\\)-generalized metric if  \\[  0 = d(x, x) < d(x, y) \\leq d(x, a_1) + d(a_1, a_2) + \\ldots + d(a_\\nu, y)  \\]  holds for all distinct \\(x\\), \\(y\\), \\(a_1\\), \\(\\ldots\\), \\(a_{\\nu} \\in X\\). A topology \\(\\tau\\) on \\(X\\) is strongly compatible with \\(d\\) if the following statements are equivalent for every net \\(\\{x_\\alpha\\} \\subset X\\) and every point \\(x \\in X\\): {\\parindent=0.7cm \\begin{itemize}\\item[(1)] \\(\\{x_{\\alpha}\\}\\) converges to \\(x\\) in \\((X, \\tau)\\); \\item[(2)] the equalities  \\[  0 = \\lim_{\\alpha} d(x, x_{\\alpha}) = \\lim_{\\alpha} \\sup\\{d(x_\\alpha, x_\\beta) \\colon \\beta \\geq \\alpha\\}  \\]  hold.   \\end{itemize}} Similarly \\(\\tau\\) is compatible with \\(d\\) if (1) is equivalent to \\(\\lim_{\\alpha} d(x, x_{\\alpha}) = 0\\).  For every \\(x \\in X\\), let \\(\\mathbf{A}_x\\) be the set of all subsets \\(A\\) of \\(X\\) such that \\(x \\notin A\\) and \\(\\operatorname{card} A = \\nu + 2\\). Define a function \\(\\delta \\colon \\mathbf{A}_x \\to [0, \\infty)\\) by  \\[  \\delta(A) := \\max \\{d(x, a_1) + \\sum_{j=1}^{\\nu + 1} d(a_j, a_{j+1})\\},  \\]  where the maximum is taken over all numerations \\(\\{a_1, \\ldots, a_{\\nu + 2}\\}\\) of \\(A \\in \\mathbf{A}_x\\). Let \\(\\eta (x) := \\inf \\{\\delta(A) \\colon A \\in \\mathbf{A}_x\\}\\) and  \\[  \\rho(x, y) := \\begin{cases} 0 & \\text{if } x = y\\\\ d(x,y) + \\eta(x) + \\eta(y) & \\text{if } x \\neq y \\end{cases}  \\]  for all \\(x\\), \\(y \\in X\\). For every \\(X\\) with \\(\\operatorname{card} X \\geq \\nu + 3\\) and every \\(\\nu\\)-generalized metric \\(d \\colon X \\times X \\to [0, \\infty)\\), the author proves that \\((X, \\rho)\\) is a metric space whose topology is strongly compatible with \\(d\\). It is interesting to note that there are \\(\\nu\\)-generalized metrics which do not have any compatible topology, as was proved by the same author earlier.  Moreover, it is shown that \\((X, \\rho)\\) is complete if and only if \\((X, d)\\) is complete when the completeness of \\((X,d)\\) is understood in the sense that for every sequence \\(\\{x_n\\} \\subset X\\) with  \\[  \\lim_{n \\to \\infty} \\sup_{m > n} d(x_n, x_m) = 0,  \\]  there is \\(x \\in X\\) satisfying the equality \\(\\lim_{n \\to \\infty} d(x, x_n) = 0\\). Similar results are also obtained for the compactness of \\((X, \\rho)\\) and \\((X, d)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q683623$8BFC1500-DCE8-43CC-9ED6-C911FA7474B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"19ce2420774afa205e8b0b3644f4379b2a92b5e6","datavalue":{"value":{"entity-type":"item","numeric-id":592217,"id":"Q592217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$6FA2966B-E4BC-4886-A6D7-026FB57A9694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$6042A0BA-54B2-4E18-B613-2F556C7F49AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$AE30CD1C-68B6-4303-9245-F1871834C238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43de616fe2752b1c6454a64d0550fc86550cf0c5","datavalue":{"value":"54E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$D890199C-38CF-468C-AF7C-DC4F661A5CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c980e6b215c3c200c2986cff683ec189757e4cb","datavalue":{"value":"6836251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$35284F22-2646-42B0-A183-87F7CBFC3372","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fae9a27a56a90f29f9c854a982047a4a24abbac","datavalue":{"value":"\\(\\nu\\)-generalized metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q683623$01A9A268-533A-426A-A2CA-E0C1877C84D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08615a2f72e3527fde8a949e5a1f3baba06aa677","datavalue":{"value":"metrizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q683623$49B0AB10-D6E3-4807-BFF6-3DCEDF820D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q683623$B4BFC4EE-E390-4FF0-9E1E-5BCC46469692","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":"Q683623$D0A69211-543E-4DC6-97C7-60D11E3A8079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01fc3a8d121c4801ca6e2c5039f155cc0b4bef8e","datavalue":{"value":"https://doi.org/10.1007/s13398-017-0380-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q683623$94491F28-2440-4441-95F8-C25ECBEEED69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca6511a07abba4b93c38120605f01fa42a8ab693","datavalue":{"value":"W2586442026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$B7A06AD0-1C59-4A36-9B99-6D31369315E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0f2f8ba8f294d128a513c83ece24233e134392","datavalue":{"value":{"entity-type":"item","numeric-id":506257,"id":"Q506257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$41B50E04-2880-43AC-87BF-4904F56DB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6705766d3478063b70f5d6cf568d0528b9f5a6","datavalue":{"value":{"entity-type":"item","numeric-id":492579,"id":"Q492579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$6DC34BC7-1E8C-4013-8599-F159A15E6014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be1b30d44fcd2c33f2dd5d1d344e80a46d8e3ef","datavalue":{"value":{"entity-type":"item","numeric-id":2714161,"id":"Q2714161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$52715B00-80CD-499B-A306-7A13F96252A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611886624b858f58d3250e5fcc013aa8285c5357","datavalue":{"value":{"entity-type":"item","numeric-id":2252657,"id":"Q2252657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$A90767FC-12D0-4A5E-B92B-C22AC0373521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362bdb13c263f58b7d8ed787569618beca3bb876","datavalue":{"value":{"entity-type":"item","numeric-id":2406140,"id":"Q2406140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$7E631129-D337-4679-9F95-9A3E29CFD0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d7aad6f106ed60e4a7671d6d890cf10f1dfcd4","datavalue":{"value":{"entity-type":"item","numeric-id":3184964,"id":"Q3184964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$F5C9657A-18AC-4F36-8467-079E76AC168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f85703c58b430ed905f115934d1fb36cea59b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1724158,"id":"Q1724158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$064CC4C0-1BB5-48C9-B720-2A65E7709AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766e77d82437bd58c2b7f3fe67a5a25c0f987117","datavalue":{"value":{"entity-type":"item","numeric-id":2959523,"id":"Q2959523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$16D22915-D198-4B86-A02D-A5AD5847703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3615f1a49a99e9a5e49bc3ed1617248e9531a54","datavalue":{"value":{"entity-type":"item","numeric-id":5279630,"id":"Q5279630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$14039C0F-A72A-4E71-BE14-8E4B43276282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fd88059d1553fbf7eef0c6a279c314b3360467","datavalue":{"value":{"entity-type":"item","numeric-id":4617651,"id":"Q4617651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$053811FA-56D9-49A7-85E4-D42453DE6C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6cd0f38b8bab08f04d34baeee78621db962d68e","datavalue":{"value":{"entity-type":"item","numeric-id":4639405,"id":"Q4639405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$9FD0A5FA-AB25-4754-923A-7F9C546F6AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577b418eba2b58d0f378e1906cb67a7b1238aba6","datavalue":{"value":{"entity-type":"item","numeric-id":2947759,"id":"Q2947759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$F94A86D7-5E87-4F04-94B7-81A0C3853D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a15e6eb1bcd1bbb7128c6b83b728b08d2815343","datavalue":{"value":{"entity-type":"item","numeric-id":2812284,"id":"Q2812284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$F94D4AD3-309D-43B8-9D1D-E2E5571F8C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee856be8fd31163419d261f5ac76277b941dbf7c","datavalue":{"value":{"entity-type":"item","numeric-id":317697,"id":"Q317697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683623$F1F2D202-C66E-4F70-A99E-600C3D61DD8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"496826481d1e37e16a99b68e8ad45aa9d9291daa","datavalue":{"value":"10.1007/S13398-017-0380-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683623$E7D93129-F9C0-411F-BCB3-070DF308233A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b8fb48ac59bd4fffddeef6113960c97acaba0e","datavalue":{"value":{"entity-type":"item","numeric-id":2314663,"id":"Q2314663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e358358416c9e7ab1fb4d7c159a27c6fdc0b1268","datavalue":{"value":{"amount":"+0.8649348616600037","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":"Q683623$816B8C68-077B-4AAF-AEED-4DBA4261989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe13d0e036415167c9ba8db9221fed8902baedf","datavalue":{"value":{"entity-type":"item","numeric-id":5144117,"id":"Q5144117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d63413ee4296b26e7f8e7189f216558b54989f7","datavalue":{"value":{"amount":"+0.8618330359458923","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":"Q683623$497356BA-8855-49B2-A645-21364D5EE2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659fecfeff152f1517ea6ce680b8c43a5a758332","datavalue":{"value":{"entity-type":"item","numeric-id":4639405,"id":"Q4639405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7679f77c20042ec9e8239bf661b35aa367ebaccb","datavalue":{"value":{"amount":"+0.8525941371917725","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":"Q683623$6166C30C-A41B-416A-834E-9F29EA6DAE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7924f6648cd457d1da5457ae2e39656a12d088a4","datavalue":{"value":{"entity-type":"item","numeric-id":3148640,"id":"Q3148640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1146bec26eea665195661ab488f72e8658208f9f","datavalue":{"value":{"amount":"+0.7948846817016602","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":"Q683623$F51350D5-6249-404A-8C69-258EC0467FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b227e923e84fefe66ba880ac57067d336c99388e","datavalue":{"value":{"entity-type":"item","numeric-id":1800629,"id":"Q1800629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5ac87949945223c7b6768aeb98e44fef9857a6","datavalue":{"value":{"amount":"+0.7901418805122375","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":"Q683623$7F224401-7EFF-486B-BB30-BD2686F92D63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strongly compatible topology on \\(\\nu \\)-generalized metric spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strongly_compatible_topology_on_%5C(%5Cnu_%5C)-generalized_metric_spaces"}}}}}