{"entities":{"Q5918963":{"pageid":8050132,"ns":120,"title":"Item:Q5918963","lastrevid":101936708,"modified":"2026-06-06T03:10:16Z","type":"item","id":"Q5918963","labels":{"en":{"language":"en","value":"On function spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7251425"}},"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":"Q5918963$C6372D02-CBF0-4499-A722-5238A7C943DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a9ed762ecb78afc268b47339d0fdee24e68a167","datavalue":{"value":{"text":"On function spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918963$91CAC88E-4B62-45F4-9640-AF967E4535F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c0ad4581d247fc324e5fb70f2d249460bcc0304","datavalue":{"value":"1455.54015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$9D0185DC-9EDE-4545-AD33-288B502ECE9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$D55BA4B3-13F9-4F92-8B89-42FD866C0215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af76e17e03fe65cd6b2cfc26f3e9005a3bda9c0","datavalue":{"value":{"entity-type":"item","numeric-id":820487,"id":"Q820487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$42AC43C5-6C67-4746-98EC-8054F42FCBC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f481032088037db5fde3345386df6f2ab23a065","datavalue":{"value":{"time":"+2020-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918963$D75F6858-31E5-4FFF-856F-F14DE663BBBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd6e4afe98827bec5e2847d5119ea6de744f3250","datavalue":{"value":"All topological spaces are assumed to be \\(T_0\\). The partial order \\(\\leq_X\\) on a topological space \\(X\\) is defined by the topology as follows: for \\(x, y \\in X\\), \\(x \\leq_X y\\) if and only if for any open \\(U \\subseteq X(x \\in U \\Rightarrow y \\in U)\\).  For topological spaces \\(X\\) and \\(Y\\), \\(C(X,Y)\\) is the family of all continuous functions from \\(X\\) to \\(Y\\) endowed with the pointwise convergence topology. We consider the partial order \\(\\leq_\\mathcal{P}\\) on \\(C(X,Y)\\) as: for \\(f,g \\in C(X,Y)\\) the relation \\(f \\leq_\\mathcal{P} g\\) holds if and only if \\(f(x) \\leq_Y g(x)\\) for every \\(x \\in X\\).  Let \\(\\mathfrak{P}\\) denote one of the following properties: (i) possess a least element, (ii) be a \\(d\\)-space, (iii) be a topological join-semilattice, or (iv) be a sober space. Let \\(\\mathfrak{D}\\) denote one of the properties: (i) be an essentially complete space, (ii) be a (densely) injective space.  The authors prove in this article that an arbitrary topological space \\(Y\\) possesses \\(\\mathfrak{P}\\) if and only if \\(C(X,Y)\\) has the property \\(\\mathfrak{P}\\) for some (equivalently, for each) space \\(X\\); moreover, a topological space \\(Y\\) possesses \\(\\mathfrak{D}\\) if and only if \\(C(X,Y)\\) has the property \\(\\mathfrak{D}\\) for some (equivalently, for each) \\(\\alpha^*\\)-space \\(X\\).  Finally, they prove that a space \\(Y\\) is a (sober) \\(\\Delta\\)-space if and only if \\(C(X,Y)\\) is a (sober) \\(\\Delta\\)-space for some (equivalently, for each) \\(\\Delta\\)-space \\(X\\).   We recall the definition of some terms that appear above:   A space \\(X\\) is a \\textit{\\(d\\)-space} if for each up-directed set \\(D \\subseteq X\\), \\(\\sup_X D\\) exists and \\(\\sup_X D \\in \\mathrm{cl}_X D\\).   Consider a subset \\(Y\\) of a topological space \\(X\\). An element \\(x \\in X\\) is a \\textit{solimit point} for \\(Y\\) in \\(X\\), if for each open set \\(U\\) in \\(X\\) containing \\(x\\), there exists an element \\(y \\in U \\cap Y\\) such that \\(y \\leq_X x\\). Let \\(\\mathrm{sob}_X Y\\) denote the set of all solimit points for \\(Y\\) in \\(X\\). A subset \\(Y \\subseteq X\\) is sober in \\(X\\) if \\(Y = \\mathrm{sob}_X Y\\). Finally, a space \\(X\\) is \\textit{sober} if \\(X\\) is sober in each \\(T_0\\)-extension \\(Y \\geq X\\).  A space \\(X\\) is an \\(\\alpha^*\\)-space if for each open set \\(U\\) in \\(X\\) and each element \\(x \\in U\\), there are elements \\(x_0,\\dots,x_n \\in U\\) such that \\(x \\in \\mathrm{int}(\\uparrow \\!x_0\\cup \\dots \\cup \\uparrow\\! x_n)\\).  A continuous function \\(\\delta : X \\to X\\) is a \\textit{deflation} if the set \\(\\delta(X)\\) is finite and \\(\\delta(x) \\leq_X x\\) for all \\(x \\in X\\). A space \\(X\\) is a \\(\\Delta\\)-space if there is an up-directed family \\(\\{\\delta_i : X \\to X \\mid i \\in I\\}\\) of deflations of \\(X\\) with the property that for every open set \\(U\\) of \\(X\\) and every \\(x \\in U\\), there is \\(i \\in I\\) such that \\(\\delta_i(x) \\in U\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$00B33B97-723A-4783-AD87-40C73ED14930","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"79c804667a98396a29c93a04f3b656cd44ea756f","datavalue":{"value":{"entity-type":"item","numeric-id":401442,"id":"Q401442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$8C2154AF-E2E6-46E9-A183-39BFE3E21019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$8075F16E-5762-481E-BA7D-B567A91A5830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$5678F86F-40E8-49EF-AC1F-819A5AA7DB95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4b0751532129c37a410c75b37c1f26e20bc70e5","datavalue":{"value":"7251425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$4F706678-C562-4DB3-BA60-D461FDAE0AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56e2a1adb3bf02f3b9509a659ca2f588093a14d","datavalue":{"value":"\\(d\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$5D359366-0E2F-443C-9BB1-57659E978D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a82166570be070cb2c779554c3987ea4507394","datavalue":{"value":"essentially complete space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$82536B84-240D-41D7-94F3-485C745E8DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9448ccb2eff5484bc2ca7fcf076f499f6e9ae052","datavalue":{"value":"function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$A367E6B5-4657-40D5-88B6-779D6B559AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ffad44a87d855f22b645aa3dd32e19bdcb5b217","datavalue":{"value":"injective space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$15308741-1DFB-4C76-BA82-56888E7AE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$874CF3D6-817C-4B11-BCD7-419E4C08625E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b404ff2a6eaa500cdd51433f2781ece3a701a2","datavalue":{"value":"\\(T_0\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918963$93A790D8-6568-4327-8606-52FD52878DB3","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":"Q5918963$944C7115-039C-45C5-AB4E-3594DB8D0CBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1720f3c8b7a38adab5f6821bfaf75baa15a6bbd9","datavalue":{"value":"https://doi.org/10.33048/semi.2020.17.074","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918963$DA4CBF2D-02BB-4F0D-88F7-D5FEDCAC562D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b35cae428f681b122ce5f5bcd50f8b4d56551155","datavalue":{"value":"W3115252577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$3CC1F795-8023-46D6-916D-85A0F2600B8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72b5d5aa1f1df09fada08d107a4212e6a588eea","datavalue":{"value":{"entity-type":"item","numeric-id":2649567,"id":"Q2649567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$A1025510-B246-458D-8133-D8062E6952DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33a71a40dd07d2c785418e1246441f44c113099","datavalue":{"value":{"entity-type":"item","numeric-id":4147263,"id":"Q4147263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$FFB53330-E704-478A-9C79-1ABBE1F29C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6221d271a31098a11e26449b8d0e3c592d39a59c","datavalue":{"value":{"entity-type":"item","numeric-id":1844827,"id":"Q1844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$C7FCC646-64BF-431E-BED0-B8480C057D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2688733f28b725c17e09e67736562b2ca8285969","datavalue":{"value":{"entity-type":"item","numeric-id":1960418,"id":"Q1960418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$C7B4DB0B-ABE1-44E9-9213-A4D4455A832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee8662907e5120047cb932a2a1ec97a7b56cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1165305,"id":"Q1165305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$8846A1B7-81FD-4749-A58C-8809CC783F39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb3feb7a56321718e8caa89febd60f07afc43c2","datavalue":{"value":"10.33048/SEMI.2020.17.074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918963$A9AEB539-4DED-4B39-B48E-E667DF941384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918963$03931B18-3AF4-4B88-B50D-3659152DD866","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efb5244b1d34deff94b64d7edda8dbfcee40186","datavalue":{"value":{"entity-type":"item","numeric-id":2049872,"id":"Q2049872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99ba2ad7125999c92349042d58b146dc6562999","datavalue":{"value":{"amount":"+0.8595103025436401","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":"Q5918963$ABB507D6-9542-41F6-8BA1-5BCF928906FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ea2f7c0090a6e373834a7deeab7cf8d0835039","datavalue":{"value":{"entity-type":"item","numeric-id":5699103,"id":"Q5699103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3383d4823d39f5b0d04d957b5fc9eb0b30fa6f8","datavalue":{"value":{"amount":"+0.83200603723526","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":"Q5918963$4AA4A42D-23E2-4829-AE25-F7C07D1D679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc11762f7f17e13b27c879e82cb8ea8c63233d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2630464,"id":"Q2630464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851246db224fd4c29f678d63927c3677a78977ba","datavalue":{"value":{"amount":"+0.8164952397346497","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":"Q5918963$7118F74B-E8FC-4789-B453-E38CE82B9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2378869bc101bd2bd9add28334c260670d4ba45","datavalue":{"value":{"entity-type":"item","numeric-id":4822704,"id":"Q4822704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05d6e2edf1297afb70de461d3f1afb8a8dff668","datavalue":{"value":{"amount":"+0.7996668219566345","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":"Q5918963$2E18229E-7596-4647-B77A-C556D5C276EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebaacd3c9a0c7d4bf52698d2cc415c8d2499c100","datavalue":{"value":{"entity-type":"item","numeric-id":5503886,"id":"Q5503886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1519063f462c4cd95373d81a3ecec4f09b182c4f","datavalue":{"value":{"amount":"+0.7867214679718018","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":"Q5918963$B88DE5AA-4B98-462B-8EBC-18C283BFCDD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On function spaces (scientific article; zbMATH DE number 7251425)","badges":[]}}}}}