{"entities":{"Q488844":{"pageid":490611,"ns":120,"title":"Item:Q488844","lastrevid":62250291,"modified":"2026-04-11T04:47:57Z","type":"item","id":"Q488844","labels":{"en":{"language":"en","value":"Topologies on product and coproduct Fr\u00f6licher spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6390763"}},"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":"Q488844$027C5017-CA6D-4C26-A7A2-478F12391CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83870f8140f252b5074ed850e894c14a7afcc658","datavalue":{"value":{"text":"Topologies on product and coproduct Fr\u00f6licher spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q488844$1E8B88DA-2127-4A9A-91DC-77A6CCDC0DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e1160593617966509010b04955ab9549b96ffd","datavalue":{"value":"1309.54001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$B248BE08-81A4-4A01-B999-FAE831C91D87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"512d8cd9d2939e63a3b3e0c932620f0907e6794e","datavalue":{"value":{"entity-type":"item","numeric-id":488842,"id":"Q488842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$EB2183B0-DF95-4BC3-9288-A397EE3D30E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed51a9f485d0ea0678eb37c67c0573ecd1b5b60","datavalue":{"value":{"entity-type":"item","numeric-id":488843,"id":"Q488843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$49DA5C7C-BEEC-4C90-98D7-2C16C96D7870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2c5b3e20c15df7ebefecddf1d4482b87e180298","datavalue":{"value":{"entity-type":"item","numeric-id":253731,"id":"Q253731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$7301035D-AD1C-479C-8C16-503B57A0EA09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2211b1c56e0df95e4176061da2a32e641c42598","datavalue":{"value":{"time":"+2015-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q488844$73C2F2B1-CFB6-46C4-84AC-DE83E37E9D93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aacc6bb795a8bd080db1ef87ce5a0b13e12042ec","datavalue":{"value":"A Fr\u00f6licher space is a triple \\(\\langle M, C, F\\rangle\\), where \\(C\\)~is a set of maps from \\(\\mathbb R\\) to \\(M\\) (called `curves') and \\(F\\)~is a set of maps from~\\(M\\) to \\(\\mathbb R\\). The two sets are related by the dual demands that \\(c\\in C\\) iff for every \\(f\\in F\\) the composition \\(f\\circ c\\) is smooth, and \\(f\\in F\\) iff for every \\(c\\in C\\) the composition \\(f\\circ c\\)~is smooth, where `smooth' means infinitely often differentiable. The set~\\(M\\) carries two natural topologies: the initial topology, \\(\\tau_F\\), with respect to~\\(F\\) and the final topology, \\(\\tau_C\\), with respect to \\(C\\). It is clear that \\(\\tau_F\\subseteq\\tau_C\\).  Given a family, \\(\\bigl\\{\\langle M_i, C_i, F_i\\rangle:i\\in I\\bigr\\}\\) one defines a product structure on~\\(\\prod_iM_i\\) by saying that \\(c\\in C\\) iff for all~\\(i\\in I\\) and all \\(f\\in F_i\\) the composition \\(f_i\\circ p_i\\circ c\\) is smooth and then defining \\(F\\) to be the set of \\(f\\) for which all compositions~\\(f\\circ c\\) with \\(c\\in C\\) are smooth. The authors claim to prove that \\(\\tau_F\\)~is exactly the product topology induced by the topologies~\\(\\tau_{F_i}\\).  Reviewer's remark: However, a counterexample to this assertion may be constructed by taking the `discrete' structure \\(\\langle\\mathbb{R},C_c,{}^{\\mathbb R}{\\mathbb R}\\rangle\\), where \\(C_c\\)~consists of the constant maps and \\({}^{\\mathbb R}{\\mathbb R}\\) is the set of all maps; both of its topologies are discrete. The product structure on an infinite power \\(\\mathbb{R}^I\\) is readily seen to have as its curves the constant maps and the full set of maps from \\(\\mathbb{R}^I\\) to \\(\\mathbb R\\) as its third coordinate. Hence both \\(\\tau_C\\) and \\(\\tau_F\\) are just the discrete topology; however the product topology is not discrete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$1FF9F927-EB16-47A7-B847-773DDB5D9F4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$256F9E6E-EDC7-4D09-B0F1-DD875BD55A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$4D6044FB-1C4B-4EC3-B6D2-FB3E045F65BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd8b9140bc84c18607de923ef2d16467b8a5599d","datavalue":{"value":"54B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$4D946F01-CD6C-49B2-85A2-63F6E8F7E4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$D4D45658-A3F7-44EB-8208-59C137155476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9535a8cc0230ff0f8356756bae8c259db6581fbe","datavalue":{"value":"6390763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$DFDBA5EB-9F44-4205-8AB8-91CD18A236C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2153e67071469be35678390452771812227669bc","datavalue":{"value":"Fr\u00f6licher space","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$23595EA4-D5AD-4F19-8900-901D2A8239E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e8f6007fec85d442fb112bda32a31899c9fa96","datavalue":{"value":"product","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$4E1411A5-6039-4A70-B039-8ADA28C774FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$9E9AEE8C-8410-4DD2-955C-C52551351431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43550146f54aae26fe17173a4c4479d7faac1395","datavalue":{"value":"initial topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$E455FA03-1D79-4331-95A1-95DD7695E9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c4853946200b7392d9147f6f47b2dfd816728a","datavalue":{"value":"final topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q488844$7354B130-9B2A-48EC-A388-FC67CF6D51E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$4B7CB1EF-C486-45DC-B26A-B46AE88BD610","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":"Q488844$CC390343-0C0B-44D6-B98B-8C6BBD453247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9e2b73fbf15e336bbab92001201b86bf30dc574","datavalue":{"value":"https://doi.org/10.2478/dema-2014-0081","type":"string"},"datatype":"url"},"type":"statement","id":"Q488844$EC9F9A69-46BB-403C-A5A0-56BEF9CF67A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83f4aa61e5329389c89d8ba275f2d0a2be71592a","datavalue":{"value":"W2024600592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$4AECEE13-4E0E-4285-9B31-4776503AA1DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79354ad782f86cd3bbd2d8729d7923abd9c760","datavalue":{"value":{"entity-type":"item","numeric-id":3181797,"id":"Q3181797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$236DE595-5791-4DFD-AA6E-8B46027B73A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e92d467fe7032f6c6007017397489e8265bb70d","datavalue":{"value":{"entity-type":"item","numeric-id":5572435,"id":"Q5572435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$FCC9EB46-3A45-4F84-9A16-3A85801A4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a680409223bb28e090bde59662adf17ba2881ac","datavalue":{"value":{"entity-type":"item","numeric-id":801149,"id":"Q801149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$A7F6D6FC-0E29-49D2-B54F-7A320F68C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f56cb093356c45f2b6c7826a6916be17417d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4277794,"id":"Q4277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$DCC8D4F3-93BC-40FA-8052-E34DFB21616B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68191a75c913847fc461b21add661922472528ee","datavalue":{"value":{"entity-type":"item","numeric-id":4515194,"id":"Q4515194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$B2C0FDBC-2D9A-48D2-B12D-FCEBB4B194B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2552ce873b56d39e19cc99bc8a5a10a5aa5b4347","datavalue":{"value":{"entity-type":"item","numeric-id":4371031,"id":"Q4371031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$6AB91287-1DC6-4E5A-A82E-6E63BAE5C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$9ACA435B-B9B3-449F-BF9F-DC154CBD5C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f437b27882f560b436cdb7bc1b0055d708983b53","datavalue":{"value":{"entity-type":"item","numeric-id":3874386,"id":"Q3874386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$A7722BBB-03D5-483A-BF56-8252C118A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591780a4dd7826eb1da6b56b66e5a0a043271242","datavalue":{"value":{"entity-type":"item","numeric-id":3963734,"id":"Q3963734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$E5377A0D-A962-42D0-962D-88272B093D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef95ead92d45c41dbb883b0fc0288e78f205d18","datavalue":{"value":{"entity-type":"item","numeric-id":3736586,"id":"Q3736586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$7F0735B3-645D-43C7-B086-3C45967CF371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7327ab2561069390a63d3b548edbc43eba2af2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3924684,"id":"Q3924684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$CA7952F4-5A6E-4F2F-ADF4-ADA5DC67984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e7d3c8ff15e0d4cfce3ba0b1bbc1857db50d04","datavalue":{"value":{"entity-type":"item","numeric-id":4040131,"id":"Q4040131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$1BD87972-7BD4-4B11-9DAA-8506D954A1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e38b5cc0afa77bfa8d8b8cefcb2c3b364c39775","datavalue":{"value":{"entity-type":"item","numeric-id":4281182,"id":"Q4281182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$C0DE41D6-95FD-43BB-B102-8923F0002F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b798330e6e02409eec6e87da0e3e9e1d1a801bea","datavalue":{"value":{"entity-type":"item","numeric-id":4360299,"id":"Q4360299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$80A77A76-D4CF-44C7-86A7-5C23A4A01B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$FAB26302-EC37-47D3-8012-1472AF25E717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55ddb7e86e6888f4fc0d8d69fa6fe5a05883acd","datavalue":{"value":{"entity-type":"item","numeric-id":3024637,"id":"Q3024637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$4440C5EE-A5EF-4C77-992C-2B0104D04104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383831823bc41f8d1ba75be44124ae5596b219d6","datavalue":{"value":{"entity-type":"item","numeric-id":3816736,"id":"Q3816736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$C7557DD1-DC7B-48AD-8435-CD58223C7030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f0dd9e1554e4ba197ccc45f560b5423b235167d","datavalue":{"value":"10.2478/DEMA-2014-0081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488844$68564ED4-17E8-41E9-8692-7DD905F25FB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdc78e1721601a95b7d31afa6d6bd4102913f92","datavalue":{"value":{"entity-type":"item","numeric-id":4949985,"id":"Q4949985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5eb8b0f6546b5fee80ac4ae4179fb73de4cf650","datavalue":{"value":{"amount":"+0.8180046081542969","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":"Q488844$9574EF86-3008-4F4A-840F-E34E1C539D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ec341886d7809e3e70ff0518874b2a52667fef","datavalue":{"value":{"entity-type":"item","numeric-id":4761583,"id":"Q4761583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5eb8b0f6546b5fee80ac4ae4179fb73de4cf650","datavalue":{"value":{"amount":"+0.8180046081542969","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":"Q488844$4D96A1D3-0FE8-464D-812D-FD6BC768A0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80fbde9bd6053a5d658c7e5dffa000f99283699b","datavalue":{"value":{"entity-type":"item","numeric-id":3181797,"id":"Q3181797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2730e3c53bab800c941913140d6d343c23f75e","datavalue":{"value":{"amount":"+0.8127433061599731","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":"Q488844$74D7459E-54EC-4BB7-BBD8-EFCA44FC0FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0689eb8cb5b615d2e52cf56a66bbe5a0b000a077","datavalue":{"value":{"entity-type":"item","numeric-id":4526527,"id":"Q4526527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47ad83baf032128660bee12f79f72665f10f4dd","datavalue":{"value":{"amount":"+0.7439881563186646","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":"Q488844$5AC427FC-2F80-42A6-8C1E-0CB2DD434B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2a499ce483faab5679518a0c2ca881a907c8d2","datavalue":{"value":{"entity-type":"item","numeric-id":4917741,"id":"Q4917741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47ad83baf032128660bee12f79f72665f10f4dd","datavalue":{"value":{"amount":"+0.7439881563186646","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":"Q488844$15999737-892F-4F3E-9F56-D89A4449FA0B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488844$CB32782B-5D10-4B1C-9FAE-3DEA8C34CC9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topologies on product and coproduct Fr\u00f6licher spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topologies_on_product_and_coproduct_Fr%C3%B6licher_spaces"}}}}}