{"entities":{"Q2856665":{"pageid":2867385,"ns":120,"title":"Item:Q2856665","lastrevid":51855557,"modified":"2026-01-20T09:43:24Z","type":"item","id":"Q2856665","labels":{"en":{"language":"en","value":"When \\(C_p(X)\\) is domain representable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6221014"}},"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":"Q2856665$0F8716A0-12D0-4D1F-8972-8364C8E8E9E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2807c6591e04f3079af8a07161622df6a29f5232","datavalue":{"value":"1292.54012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$D3D57DD3-EA26-49F2-ADA1-FF1150A2DA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a37784067e263413610393e6ba0fce1bf5980b","datavalue":{"value":{"entity-type":"item","numeric-id":193633,"id":"Q193633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856665$957330A2-4F4F-4042-8C22-5DDD05AB497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"715f8ec3dfe8eea337a9f8103a4e6497c2033743","datavalue":{"value":{"entity-type":"item","numeric-id":260592,"id":"Q260592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856665$61AC966A-6AFD-4B00-A89E-A6DBD6784D3A","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":"Q2856665$E0AF5C2F-387E-452C-8AF8-452167838604","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45da5aadb8800ba43f09f9cebbbe7dc2b44f0a61","datavalue":{"value":{"time":"+2013-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856665$39FBA62D-1F92-4678-9801-D616121FDBB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$599BBCBF-176D-4BC0-AA59-6FB7E516D3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$5EF04438-163B-4DEB-B33F-73E7DD9FB54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$DA7A07DE-3563-4071-9E6A-863A05759460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$11D09D19-BA1A-4CA8-9838-AA732CB33F09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"415995650334e16f48b636be298caebc487c4c5a","datavalue":{"value":"6221014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$0527112A-1B89-4EEF-81A4-297C50918B3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0820eead425c3357203c6f294ab145be5a5c18","datavalue":{"value":"domain representable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856665$DE3F2ADE-CDBE-4A64-9626-E04793E9CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30c68bbb02bd26298b704d227cb0dedfc3a511a","datavalue":{"value":"subcompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856665$92F35D45-9853-475F-BE86-DFDCD9580640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a435f42aefe2c867566ada2404fff93a001b868f","datavalue":{"value":"\\(C_p(X)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856665$69A6898E-AF3A-46F8-A8CC-ABB1EBFA1650","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":"Q2856665$496AB289-693A-48B2-96C8-C1B41F74A80E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4774aa17ac2d8707658b5b0c8f24933e5f0a457","datavalue":{"value":"https://doi.org/10.4064/fm223-1-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856665$89556199-2B27-489D-94AD-607719CD1F3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"366812a8a9213aa5f27d2bb8c711296eea3253a1","datavalue":{"value":"W2038807524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$5E92B9FE-B43C-438E-A302-666AE7DF1C40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a747ed5fd182f9bd3416494fa3e20099c3dedd8b","datavalue":{"value":"10.4064/FM223-1-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856665$7736654F-68E8-4C64-948F-193F2D3A8858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24a565c376607bceb5fdec43ea3951f003581708","datavalue":{"value":{"text":"When \\(C_p(X)\\) is domain representable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856665$58CD5ABC-1AB8-41D3-80D4-AED44281C37B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c940fa98f67d132e788f2095522f3adf4b889b93","datavalue":{"value":"Given a partially ordered set \\((P,\\sqsubseteq)\\) and \\(S\\subseteq P\\) say that \\(u\\in P\\) is an \\textit{upper bound of \\(S\\)} if \\(s \\sqsubseteq u\\) for any \\(s\\in S\\). If, additionally, \\(u \\sqsubseteq v\\) for any upper bound \\(v\\) of the set \\(S\\), then \\(u\\) is called the \\textit{supremum of \\(S\\)}; this is denoted by \\(u=\\sup(S)\\). A non-empty set \\(D\\subseteq P\\) is \\textit{directed} if for any \\(a,b\\in D\\), we can find \\(c\\in D\\) such that \\(a \\sqsubseteq c\\) and \\(b \\sqsubseteq c\\). If each nonempty directed subset of \\(P\\) has a supremum in \\(P\\), then \\(P\\) is called \\textit{a directed complete partial order (dcpo)}. It is easy to see that if \\(P\\) is a dcpo, then for any \\(x\\in X\\), there is a maximal element \\(u\\in P\\) such that \\(x \\sqsubseteq u\\). The set of all maximal elements of \\(P\\) is denoted by \\(\\max(P)\\). If \\(p,q\\in P\\) then the notion \\(p \\ll q\\) is used to say that for any directed set \\(D\\) with \\(q \\sqsubseteq \\sup(D)\\), there exists \\(d\\in D\\) with \\(p \\sqsubseteq d\\). A partially ordered set \\(P\\) is called \\textit{continuous} if the set \\(\\Downarrow ( p)=\\{q\\in p: q \\ll p\\}\\) is directed and \\(p=\\sup(\\Downarrow (p))\\) for any \\(p\\in P\\). A \\textit{domain} is a continuous dcpo. If \\(P\\) is a domain, then \\(\\Uparrow(p)=\\{q\\in P: p\\ll q\\}\\) for each \\(p\\in P\\). The family \\(\\{\\Uparrow(p): p\\in P\\}\\) generates a topology on \\(P\\) which is called \\textit{the Scott topology}. A topological space \\(X\\) is \\textit{domain representable} if there exists a domain \\(P\\) such that \\(X\\) is homeomorphic to \\(\\max(P)\\) taken with the relative Scott topology.NEWLINENEWLINEGiven a set \\(X\\) and a metrizable group \\(M\\), the authors prove that for any domain representable dense subgroup \\(G\\) of the product \\(M^X\\), we have the equality \\(G=M^X\\). In particular, for any Tychonoff space \\(X\\), if \\(C_p(X)\\) is domain representable, then \\(X\\) is discrete. Another corollary is the fact that if \\(X\\) is zero-dimensional and Hausdorff then subcompactness of the space \\(C_p(X, \\{0,1\\})\\) implies that \\(X\\) is discrete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856665$8841098B-1920-426C-8F7C-59DF0069A8C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e74f33b578f05d8657fa2e1baea9751dfb9efdb9","datavalue":{"value":{"entity-type":"item","numeric-id":300494,"id":"Q300494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856665$C5504C7D-80B0-4980-A618-883995BF0AD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54da3af59bd937122b9a3b5081c8bbeb504034e6","datavalue":{"value":{"entity-type":"item","numeric-id":729834,"id":"Q729834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fe6c6450947640a4795c7915035528788ee458","datavalue":{"value":{"amount":"+0.8092640042304993","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":"Q2856665$0B567307-A069-4E24-BC0E-DFD917ED6815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f421ada9600683026c216527bdfe93c825401a26","datavalue":{"value":{"entity-type":"item","numeric-id":3507865,"id":"Q3507865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5582963c4a56ffa2b1d48fd545dadbfd6d580f2","datavalue":{"value":{"amount":"+0.7825064063072205","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":"Q2856665$7A3AECB2-0EFF-4583-9894-ED513DDEC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3d655315b9716557a0ae18aaccd245620e92e2","datavalue":{"value":{"entity-type":"item","numeric-id":500905,"id":"Q500905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b098f1e9e8075e14ce01c06e3833fa507a6404","datavalue":{"value":{"amount":"+0.7783309817314148","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":"Q2856665$D15E079A-6C19-4390-B18B-D75C4F5AAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb28811f9acc206c8310bfed3b2fb79145ee9cb0","datavalue":{"value":{"entity-type":"item","numeric-id":1030201,"id":"Q1030201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96459bf25d71cf162922997231cfb58be0c6fcd2","datavalue":{"value":{"amount":"+0.7745689153671265","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":"Q2856665$B44F2905-29A9-408C-8EFA-6A89A20CBFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2daf3d333cafe82796201f6baa3c67211b68c9","datavalue":{"value":{"entity-type":"item","numeric-id":4921489,"id":"Q4921489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e155e8b24e077b37ea4d3a04a715c4f0d6c7582","datavalue":{"value":{"amount":"+0.745481014251709","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":"Q2856665$B6F379FA-FC12-4295-B9B2-8932BD6F9847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856665"}}}}}