{"entities":{"Q2254715":{"pageid":2265458,"ns":120,"title":"Item:Q2254715","lastrevid":71689560,"modified":"2026-04-13T23:54:27Z","type":"item","id":"Q2254715","labels":{"en":{"language":"en","value":"Completions of partial metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398671"}},"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":"Q2254715$FEEF9B57-2AA6-49EF-84B1-ECA655FE5E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e826a33740a41722064ad8566648a59984cf69d4","datavalue":{"value":{"text":"Completions of partial metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254715$380580AD-70AA-40FD-ABDF-95E8B96EC6E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eba2a6ab96547814abd9fd1db40ff7494ed16ed1","datavalue":{"value":"1321.54057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$6E380E24-F14D-40B2-9FB7-80C5571850D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e22778ef56b17f45894d46d4e19a925b3399eb44","datavalue":{"value":{"entity-type":"item","numeric-id":250164,"id":"Q250164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$8FA0FED4-6BFD-4447-9BA1-331246B8046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd12f9a6aa0e85872d324cd842385f64af9b1154","datavalue":{"value":{"entity-type":"item","numeric-id":161813,"id":"Q161813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$52E2AB8E-9139-4559-9458-BC3E0B04FF04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$56FD9668-D7FC-48EF-85EF-E9276843DE1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b4b48a4a9c1b08686770ed90cc92a6cc897cd97","datavalue":{"value":{"time":"+2015-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254715$E47E5F86-B803-440E-90EE-4A0FBEEB06ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f7713891cf95b18b107f2d7df5a30a36a49add0","datavalue":{"value":"A partial metric space which was defined by \\textit{S. G. Matthews} in his article [``Partial metric topology'', in: Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18--20, 1992. New York, NY: The New York Academy of Sciences. 183--197 (1994; Zbl 0911.54025)] is a pair \\((X, p)\\) where \\(X\\) is a nonempty set and \\(p:X\\times X \\to \\mathbb R\\) such that for any \\(x,y,z\\in X\\)  1. \\(0\\leq p(x,x)\\leq p(x,y)\\),  2. if \\(p(x,x)=p(x,y)=p(y,y)\\), then \\(x=y\\),  3. \\(p(x,y)=p(y,x)\\),  4. \\(p(x,z)\\leq p(x,y)+p(y,z)-p(y,y)\\).  For an \\(x\\) in \\((X,p)\\), the ``ball-neighborhood'' \\(B(x,\\varepsilon)\\) is defined as \\(B(x,\\varepsilon)=\\{y\\in X:p(x,y)<p(x,x)+\\varepsilon\\}\\); the collection of all ball-neighborhoods as a base may generate a topology \\(\\tau\\) on \\(X\\). The most important difference between a ``partial metric'' \\(p\\) and a usual metric is that for some \\(x\\)'s in the partial metric space \\((X,p)\\), the self-distances \\(p(x,x)\\) may not be zero which leads to the fact that \\(y\\in B(x,\\varepsilon)\\) and \\(x\\in B(y,\\varepsilon)\\) may not be equivalent in general. In the article [\\textit{M. Bukatin} et al., Am. Math. Mon. 116, No. 8, 708--718 (2009; Zbl 1229.54037)] the concepts of Cauchy sequences, convergence of a sequence and completeness for partial metric spaces have been defined and investigated. A partial metric space \\((X,p)\\) is said to be complete if any Cauchy sequence in \\((X,p)\\) is convergent. In the article under review, the authors introduce the concept of symmetrically dense subsets of partial metric spaces. A subset \\(Y\\) of the partial metric space \\((X,p)\\) is said to be symmetrically dense if for any \\(x\\in X\\) and any \\(\\varepsilon>0\\) there exists a \\(y\\in Y\\) such that \\(y\\in B(x,\\varepsilon)\\) and \\(x\\in B(y,\\varepsilon)\\). Then the authors prove that for any partial metric space \\((X,p)\\), there exists a complete partial metric space \\((Y, p^*)\\) such that \\((X,p)\\) is symmetrically densely embedded in \\((Y,p^*)\\) with respect to isometry; and on the other hand, this complete partial metric space \\((Y,p^*)\\) is unique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254715$0DAC464C-BE96-468D-B0D3-80A7586DD4C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e2209a6e8346f126ab84e36295acea06ac515230","datavalue":{"value":{"entity-type":"item","numeric-id":260600,"id":"Q260600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$3CB07551-BCEB-488A-A733-F971CB6601FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"43de616fe2752b1c6454a64d0550fc86550cf0c5","datavalue":{"value":"54E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$B30332B0-DD06-44D5-9471-D3B03E2F3744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$0AED8756-29D5-46B0-B7A7-D6CA8E722665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$3F65C7C9-C23B-4807-B1FE-A65DEF9A383C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"943f137ad43718b926ed215c0e7e002e4a88678e","datavalue":{"value":"6398671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$8600A4FA-447F-4173-B8F6-FFE4689BB3B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66845217ddf9ec77b6d2210b3c9beaf9dee4fc85","datavalue":{"value":"partial metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254715$0CA2C4DB-CA02-495B-BAF8-80D22C04F83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254715$87FAE41E-F47F-4979-A3CF-FC4F33E49CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2bd65e5e6898a01c27f5625c6c97a05b20336c","datavalue":{"value":"symmetrically dense","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254715$97D74029-07D3-4305-9756-586786FC1D09","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":"Q2254715$805C7020-2A68-4823-AD8F-3FC1167FDBB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b0bdb08df62965fa3ee2c091c988a8efe04a7d","datavalue":{"value":"https://doi.org/10.1016/j.topol.2014.12.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254715$90C37CBF-AD03-4D31-870E-9D99722EF367","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26028bf79a63117c60875396b6cf558e5be516f6","datavalue":{"value":"W2046423866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$0F2A92DE-B1E7-4285-9262-C2A9587A9A12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b247a3df628058237338bc006b56cc1c6ddd223","datavalue":{"value":{"entity-type":"item","numeric-id":441421,"id":"Q441421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$12441EF5-825A-4022-BB73-7C8A5A002405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d8c0e554c9c44a6d77ce443ee68538289ca7a9","datavalue":{"value":{"entity-type":"item","numeric-id":418388,"id":"Q418388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$B9593DE6-9AAC-4C22-BBAB-290969FB9AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973aff2805730b2683e3055d6c3b8b0d59a7ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3107101,"id":"Q3107101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$AA6AF7C7-F5FF-446E-8CE6-B6EA7D0811EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86486c63bed08dcceb63ad0ab89149be56f18c05","datavalue":{"value":{"entity-type":"item","numeric-id":5186364,"id":"Q5186364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$C04EA59B-B421-415C-99F5-A4614ECEA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$90733322-6A26-4CAC-BBD9-0C8081215F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e3613ca6c61a6ad237953da01bd1248e838ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1930998,"id":"Q1930998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$38B6A34C-9960-4959-AF97-759C4FC998AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5028c3c5ecd21f7e39f975c28e3eec47924af3","datavalue":{"value":{"entity-type":"item","numeric-id":654212,"id":"Q654212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$8D6C7FBD-96C0-4DDC-8523-452B973FF83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1563b6566b32d2dcfc5aaee320ff6acf4c9bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1014532,"id":"Q1014532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$AE3BCEFB-1749-4C1E-94C8-46E900383039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0c7236b1afe846860e44f1fd579c7a7073bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":854183,"id":"Q854183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$7A1346EE-C8F2-418D-9339-59CCAFDBB85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243ed6f1bbf9fe5996d19f8f7f1b87de1e93d7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4228829,"id":"Q4228829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$EC30FAB9-F83C-4327-B703-85C8F2FCC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a901e33e34bca47b8235f5faf46b70faba0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2454127,"id":"Q2454127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254715$FE779D29-E529-495E-A77D-1409EA42F7C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605f017cc3614a5ab872a21ae4f166c16d2afa50","datavalue":{"value":"10.1016/J.TOPOL.2014.12.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254715$74A8D3FF-E33C-4F89-90A0-4DB34C30AB83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729316e7c0e3e4b1205fa15c0ee129403b14c9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3299475,"id":"Q3299475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232b7e1dce989967a493d7c2b87ea423f9a0424a","datavalue":{"value":{"amount":"+0.9046608805656432","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":"Q2254715$E9899A78-5FF8-4CA2-8F49-060D6F17DB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf31a81d57c3d83e75277039db092b533afa4b6","datavalue":{"value":{"entity-type":"item","numeric-id":2033487,"id":"Q2033487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a016643fe43a0844a068799c2151f3034ae0099","datavalue":{"value":{"amount":"+0.8643270134925842","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":"Q2254715$9B34B254-0848-4B38-A1D6-2F343AA4BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9389b613dc631c803e802f4f098988f34f4132","datavalue":{"value":{"entity-type":"item","numeric-id":2291584,"id":"Q2291584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c56d4d6cd4a64cd68d7508ac7f9bbaa9b98d22d","datavalue":{"value":{"amount":"+0.857855498790741","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":"Q2254715$965EDD65-175E-42D7-8BD6-BCAEBF6CCA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cca06a318adf6677198b459f523c99ee3e731a9","datavalue":{"value":{"entity-type":"item","numeric-id":1306708,"id":"Q1306708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ac6dc7926497a13f92269790f45b772718a68b","datavalue":{"value":{"amount":"+0.843871533870697","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":"Q2254715$1DF599D3-7473-4188-AD12-51BC7A9FC300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c26ed2ff2aa34c6fe7edb2e3463f5b47d7ae56","datavalue":{"value":{"entity-type":"item","numeric-id":2569761,"id":"Q2569761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ac6dc7926497a13f92269790f45b772718a68b","datavalue":{"value":{"amount":"+0.843871533870697","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":"Q2254715$A757714D-56F8-479B-9C00-7147C9D78E81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completions of partial metric spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completions_of_partial_metric_spaces"}}}}}