{"entities":{"Q6995718":{"pageid":21477300,"ns":120,"title":"Item:Q6995718","lastrevid":83832896,"modified":"2026-05-07T12:18:46Z","type":"item","id":"Q6995718","labels":{"en":{"language":"en","value":"On a characterization of complete metrizability of the Hausdorff metric topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8028699"}},"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":"Q6995718$EEE37F05-DBA5-4AEE-B0B4-4CE440AE55F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb9bbfed0ae9a431016e3e8daa102317ae705255","datavalue":{"value":{"text":"On a characterization of complete metrizability of the Hausdorff metric topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6995718$94DB8438-54A7-4862-86B5-22E62CB127D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"618143ac2cd563f569fb5a338c38153c8809ce66","datavalue":{"value":"1567.54006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$5FBB2806-9EC8-4D55-9269-EF19E365649A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1393f2d4c85de2d2ab7bab694a98a31c3008737d","datavalue":{"value":"10.4064/FM230623-3-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$E711F5E6-DB4A-4920-BA4A-6357EEC36695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c6484a11fade8520c8da3cf3aa89912ecea3514","datavalue":{"value":{"entity-type":"item","numeric-id":1371938,"id":"Q1371938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$AE29B264-4D23-4133-8540-617404F67583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31788a17cb2abc90bdf2a4ca232cb3e31eb4b84f","datavalue":{"value":{"entity-type":"item","numeric-id":168382,"id":"Q168382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$0F4CE1DA-718C-436B-AD45-801B92E3E663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$97A04E8A-69E9-44FD-AA49-85CF1C5DA112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f46bd12021463d76326e8ed459cc632d010e61ec","datavalue":{"value":{"time":"+2025-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6995718$AD4AF6A7-442F-4331-9E04-9633FC319C0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"997928c6ea31120b1a93cb55a97c2c3c82cd36b7","datavalue":{"value":"Given a metric space \\((X, d)\\), denote by \\(CL(X)\\) the family of nonempty closed subsets of \\(X\\). Moreover, if \\(A\\in CL(X)\\) and \\(\\varepsilon>0\\), then \\N\\[\\NB_{d}(A, \\varepsilon)=\\left\\{ \\,{x\\in X}: d(x, A)<\\varepsilon \\, \\right\\} \\N\\]\\Nwill stand for the open \\(\\varepsilon\\)-hull of \\(A\\), and \\(B_{d}(A, \\varepsilon)\\) will be used instead of \\(B_{d}(\\left\\{ \\,{x} \\, \\right\\} , \\varepsilon)\\). The Hausdorff distance is defined via\\N\\[\\NH_{d}(A_{0}, A_{1})=inf \\left\\{ \\,{\\varepsilon>0 }: A_{0} \\subseteq B_{d}(A_{1}, \\varepsilon) \\text{ and } A_{1} \\subseteq B_{d}(A_{0}, \\varepsilon)\\, \\right\\} ,\\N\\]\\Nwhenever \\(A_{0}, A_{1}\\in CL(X)\\).\\N\\NIn this paper the following results are proved:\\N\\N\\textbf{Theorem 2.1.} If \\((X, d)\\) is completely metrizable and \\((\\widetilde{X}\\backslash X, \\widetilde{d})\\) is separable, then \\((CL(X), \\tau_{H_{d}})\\) is completely metrizable.\\N\\N\\textbf{Theorem 2.2.} (CH) If \\((CL(X), \\tau_{H_{d}})\\) is hereditarily Baire, then \\(\\widetilde{X}\\backslash X\\) is separable.\\N\\N\\textbf{Theorem 2.3.} (CH) The following are equivalent:\\N\\N(1) \\((CL(X), \\tau_{H_{d}})\\) is complete metrizable.\\N\\N(2) \\((X, d)\\) is complete metrizable and \\((\\widetilde{X}\\backslash X, \\widetilde{d})\\) is separable.\\N\\N\\textbf{Proposition 3.1.} Let \\((X, d)\\) be a metric space, and \\(E\\subseteq \\mathbb{R}\\) be of cardinality at most the density of \\(\\widetilde{X}\\backslash X\\).\\N\\N(1) If \\((CL(X), \\tau_{H_{d}})\\) is completely metrizable, then \\(C_{+}(E, S)\\) is completely metrizable.\\N\\N(2) If \\((CL(X), \\tau_{H_{d}})\\) is hereditarily Baire, then \\(C_{+}(E, S)\\) is hereditarily Baire.\\N\\N\\textbf{Proposition 3.2.} The space \\(C_{+}(\\mathbb{R}\\setminus \\mathbb{Q}, S)\\) contains a closed copy of the rationals, so \\(C_{+}(\\mathbb{R}\\setminus \\mathbb{Q}, S)\\) is not completely metrizable.\\N\\N\\textbf{Proposition 3.3.} Let \\(E\\subseteq \\mathbb{R}\\) be a nonmeager nowhere locally compact space. Then \\(C_{+}(E, S)\\) is not completely metrizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$4BACAF4D-8F1C-4BA2-9CB9-40BDE24FE6A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2853c251e9359bf82087c42c70b8ab4d83b18f54","datavalue":{"value":{"entity-type":"item","numeric-id":590597,"id":"Q590597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$929B4236-5920-4657-A483-AD7ACE6C07AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c2adfaab0f9778d4b3dbe319e57b1c592c0f884","datavalue":{"value":"54B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$0DA855CF-04D6-4B7B-8741-A310E122A3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$31B59368-7A99-41C7-B542-CE1C728D8F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$43A6BA80-2336-47FD-BCF3-6481C3079A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f86845d08906effefbb6279a0c0c505ab59b8102","datavalue":{"value":"8028699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995718$8334D011-E155-4ED3-A697-7209A3E0C5B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de724f57f2ca30562fecbd99ea7381b6673771f1","datavalue":{"value":"Hausdorff distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$B2A15A25-4ED5-4E97-979A-B35E3E0AB4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae94142ba2bdaacfc65b905dc93d085528b326c","datavalue":{"value":"hyperspace","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$C4465486-44B3-410C-96A0-423B13F36652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec059d39814da9ef7edb816c4c137e770ca9667a","datavalue":{"value":"completely metrizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$F4E56D3F-99A1-43FE-AB2A-6830AB853616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233091a915720c10c288cfa029c214769a615792","datavalue":{"value":"hereditarily Baire","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$10DDED01-39C2-4B0A-86E7-33466014A310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5086a100de3b0a385c391554416d97d447c9a0","datavalue":{"value":"strong Choquet game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995718$A75EE7ED-3D51-49CE-8529-D7B0D25A0229","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":"Q6995718$B0C2ED82-16D8-449E-8E37-1245AACA8AF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27246ba4c11b018d6833e1eac1e13e5aa08d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":5649098,"id":"Q5649098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$DD5E96D1-35FF-4EE7-83F9-64FAE3974162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d6c3760936e156c0c0b04225f1f9e9e54ff275","datavalue":{"value":{"entity-type":"item","numeric-id":4176119,"id":"Q4176119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$59214886-E5E6-4184-862F-7D187ADE52C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a3051e17599315be978b1d9960f4cc56924bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4277838,"id":"Q4277838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$58C4EF21-AE9F-4E38-9120-955A6943EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbd83864afdc59a17d29ed0f8a30605f655ee2d","datavalue":{"value":{"entity-type":"item","numeric-id":3553287,"id":"Q3553287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$78342C71-1302-4CC4-9858-EC72A4786989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75264b4c54c99243ee4831cfb11ed819440b7abe","datavalue":{"value":{"entity-type":"item","numeric-id":2470426,"id":"Q2470426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$0CFCE822-A2A4-4132-B012-4D1BBCF8787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f025d609a65f7ce86480b797f20471abae2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3053893,"id":"Q3053893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$8BB8CAD4-A9F3-47DB-8FF7-A4D8F91B3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f21fd3354acba0f8ba7077e1e3ed8b4335c7e1c","datavalue":{"value":{"entity-type":"item","numeric-id":1233597,"id":"Q1233597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$76FD1113-610F-4808-9990-8C150F11404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1356398da769d0133114ea20bbdc3f25e7f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5571891,"id":"Q5571891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$06A049C5-110F-4C9F-9537-66DB3CBBCDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9827e89fcc1a50e0909c9d5050aba55e007e63","datavalue":{"value":{"entity-type":"item","numeric-id":4845995,"id":"Q4845995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$04A93427-577E-4B49-B5A5-627635367E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36db07233df9a99a18ecf5afed576c3a4541d13","datavalue":{"value":{"entity-type":"item","numeric-id":1862032,"id":"Q1862032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$1592667B-D837-4295-A823-C28FB4FC30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53753a462661b11eed2a4dc5db88dc53597e258d","datavalue":{"value":{"entity-type":"item","numeric-id":3803816,"id":"Q3803816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$1BB53056-7E38-41B8-B6C3-0E8EA315AE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954bd053a5bb115ed2265e7dcdc683d5242ddde9","datavalue":{"value":{"entity-type":"item","numeric-id":3568396,"id":"Q3568396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$3E3FA251-37B1-4C7C-81CA-87DC3F55BF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12f96f79513b967e7d8067cb53e836cf63e23c6","datavalue":{"value":{"entity-type":"item","numeric-id":5515102,"id":"Q5515102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$D9FB6FD2-C887-467D-9DD4-07A0F728D93F","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":"Q6995718$371FF04A-A875-42A9-A069-08EFFC4FDED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$9D1FB136-DE18-4A8F-8580-7671E70BAEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db9072178b07ddd7a47fa01eb6f37c46affc8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3220809,"id":"Q3220809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$41DF3CFD-CDE2-4DCA-8699-3B08B744E188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c86da7b8e0d0ff8d8eaf3611478aa39686efc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2478648,"id":"Q2478648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$626C8482-2FE6-495A-8292-50DF118FDA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af00bac5b65fbae14655b6b44873810acae4cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1873728,"id":"Q1873728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$6BC57F96-8253-4DF1-BB0E-22E9D82AC9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787820489578e0a800f6e62e0b74d71c9dda8ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3774551,"id":"Q3774551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$707A7931-2D6C-4971-A400-1099DA4A7F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457ca5b1955ecddb060990f0dafd928c1fb0e8ce","datavalue":{"value":{"entity-type":"item","numeric-id":1273438,"id":"Q1273438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$20DD0E8C-54EB-4E0F-8BEB-D7885B658A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c159572bd173e651e33978930f7614d03131f1","datavalue":{"value":{"entity-type":"item","numeric-id":3112371,"id":"Q3112371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$4A433501-B406-4235-860D-A335E3BC6B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8a3e0fe82928a086195d958b50fec80230923f","datavalue":{"value":{"entity-type":"item","numeric-id":2964055,"id":"Q2964055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995718$1E938CFB-474D-470B-9D17-B943890E3855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a characterization of complete metrizability of the Hausdorff metric topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_characterization_of_complete_metrizability_of_the_Hausdorff_metric_topology"}}}}}