{"entities":{"Q1840580":{"pageid":1851322,"ns":120,"title":"Item:Q1840580","lastrevid":73890615,"modified":"2026-04-14T17:38:29Z","type":"item","id":"Q1840580","labels":{"en":{"language":"en","value":"Constructing extensions of ultraweakly continuous linear functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563146"}},"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":"Q1840580$3100DBF9-CA31-411E-9609-085E5BE99469","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"431d29ae07b7603add3b81faaaeea7977b898541","datavalue":{"value":{"text":"Constructing extensions of ultraweakly continuous linear functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840580$5FDE8BF9-472F-483D-A99F-EB326B3E28BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736b59007f64d64bacea5924a05e0dac853f3dd8","datavalue":{"value":"0974.46058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$5E841CA4-8E05-4212-971D-F392715C6C99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$61E45DCD-D3A2-45DD-AB6B-884C520E7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43318c663b448c665914996b9a5f1d1ddd9f0dfc","datavalue":{"value":{"entity-type":"item","numeric-id":818924,"id":"Q818924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$B23075EC-15B8-42CD-BACF-583C67BF935C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$F351749B-3369-43E5-84AE-054DBAE76DAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71f13b38b8f9c13b2ff24f4395ba39ea037558ee","datavalue":{"value":{"time":"+2001-11-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":"Q1840580$E0A1FED3-62A7-4DB6-9B2C-AD8A94E8573E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"549c90a916958efd11903167137e82bd4b1308f8","datavalue":{"value":"Let \\(\\mathcal R\\subset B(H)\\) be a linear space of bounded operators on a Hilbert space \\(H\\), and let \\(f: \\mathcal R\\to {\\mathbb C}\\) be an ultraweakly continuous linear functional. It is a classical result in operator theory whose proof involves the Hahn-Banach theorem and thus Zorn's lemma that such a functional has the form \\(f(T)= \\sum_{n=1}^\\infty \\langle Tx_{n}, y_{n} \\rangle\\) for suitable sequences \\((x_{n}), (y_{n}) \\in \\ell_{2}(H)\\). In this paper the authors prove the above result in the framework of constructive mathematics as expounded in \\textit{E. Bishop} and \\textit{D. Bridges}, ``Constructive analysis'', Springer (1985; Zbl 0656.03042). In order to achieve this they have to make some classically redundant assumptions, e.g., that \\(H\\) has an orthonormal basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$AA7B9960-2BF3-4FA6-8EB8-DDB17AC8BAAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"098587d627d11b69ddd36652699d57f211999689","datavalue":{"value":{"entity-type":"item","numeric-id":203344,"id":"Q203344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$39930712-6B0E-48B2-8692-80205B9BF278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$F9B142AB-46BC-4A99-A01B-5804843C4D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ad5b64632919d52f43c7672e32d62c8e6dce72a","datavalue":{"value":"47S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$F9AC57BA-9627-41A5-9CFC-4EB64799D197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc6695cab35c86b2472cb2c97178f2016b65b927","datavalue":{"value":"1563146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$9A93FD2A-EA6B-4C4D-ACAB-91B7F3927244","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$9B0161D4-BA43-41FF-A573-93181BA49338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5539d437f01beb6bc34f10a63070b56f419d70fb","datavalue":{"value":"constructive functional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$AF34C424-1580-4BE6-90BC-35ACE1C5102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404fc1e9a3dfb94d5cccc3566d694f4969d1d9bc","datavalue":{"value":"ultraweakly continuous linear functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$0DC3FD5F-8D52-445D-A362-554922B2EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$B3934CD7-B23B-47C7-BAEB-1C3718F4C9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e228b4b94a16511282d9eee6f16a8ac554f01b4","datavalue":{"value":"orthonormal basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840580$44FA7706-295B-453F-AB83-4C2DA0866C4E","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":"Q1840580$9E9EC4EE-02B5-4B19-9CC2-468CAA724BF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fb6656a29439d5c5855d0c01893022c157a6855","datavalue":{"value":"https://doi.org/10.1006/jfan.2000.3657","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840580$218C4CF6-275A-479E-8A70-31309D1BF1AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c917d155499a67119f083ba980465305ce7db0e4","datavalue":{"value":"W1990154111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$5A16E69C-495B-425A-9FFE-0BD2AB7D45AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$3D6FDFA0-F211-4B9F-998E-6D779E381C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$24E31F52-B3BD-4E61-9061-BF2359C82749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$DA991F8B-F06A-427D-90B7-396E807A2180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f9d564379bf64e792293dacd0fa1298970166b","datavalue":{"value":{"entity-type":"item","numeric-id":3205226,"id":"Q3205226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$A24CCA35-E87C-4582-A532-8EA6273EA22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00fbc1e561c6327fb187f9c2abb111a98a00842","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$3B5FB9F6-40E2-49B0-B506-73298974C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab611615254b760d5e77497aa615ca795cc8594","datavalue":{"value":{"entity-type":"item","numeric-id":4243911,"id":"Q4243911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$0692600D-DB73-425E-86BC-D315CFFC0CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6a237fde5066a12a2d03ee883343c37afd1270","datavalue":{"value":{"entity-type":"item","numeric-id":4210592,"id":"Q4210592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$003507AE-EFBF-405A-8CDC-747FB20E4AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$3DC0E479-E176-4D83-848E-7E75E7488ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ef8cde63e3315d8ce10c59942d9d4e5492fd4a","datavalue":{"value":{"entity-type":"item","numeric-id":5935883,"id":"Q5935883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$7F329FFB-6660-4541-B9F0-44C1BD1262C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c30f979fca4561e972baf6af22c6882e7876f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4934328,"id":"Q4934328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$6E349C0E-997F-4211-8719-1AADE12FBDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74ba5b3b484539f1033ecceb9e5390890d8436d","datavalue":{"value":{"entity-type":"item","numeric-id":3261641,"id":"Q3261641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$8266BD04-3E38-4AEB-8CC4-D71BB599A784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$A799A971-DAE7-4BF0-A334-5922262BAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f32c26c696eafc6ada9a0830eb54f2e4beaa8eb","datavalue":{"value":{"entity-type":"item","numeric-id":4887825,"id":"Q4887825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$64349441-B519-4BC1-BC90-07BCDE8EF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a7d5af3bc67c4f4035f5355097fece0d6fb0b","datavalue":{"value":{"entity-type":"item","numeric-id":3202987,"id":"Q3202987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$5F906824-1FE1-4065-9F81-99766103EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$8DD6F022-079C-4343-8FC4-591A01EAB93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$F241AB5B-1C2C-422D-9EAC-262C0A6715AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334f96373cdfc5a3ccd1e9bcf8708764b302fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":4373560,"id":"Q4373560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840580$01CFB437-D47F-409E-8C11-CA4F311032F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c17a456e04aa7768dae7b98964ef9859f4f9addf","datavalue":{"value":"10.1006/JFAN.2000.3657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840580$606BA586-E95F-4204-A5B8-C8E0AB3EC078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08aa913dfa7e469d79f883d71bb855e675a0da7","datavalue":{"value":{"entity-type":"item","numeric-id":651258,"id":"Q651258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63cdb08ae4b39d7c598732fa613c7ba95401776","datavalue":{"value":{"amount":"+0.8569447994232178","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":"Q1840580$8180CC64-2254-4703-9551-74BFE615371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567f8176fcaffb2f82338f7a93bfd7f4ba15b53","datavalue":{"value":{"entity-type":"item","numeric-id":1942038,"id":"Q1942038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455887458b5145c7b3951bb962cea16bafd53710","datavalue":{"value":{"amount":"+0.7801927924156189","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":"Q1840580$1A66DB3B-2207-4AE2-9133-BCB7D6274A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5444c8cc479b67e2ac8b92492f1aea608659f3","datavalue":{"value":{"entity-type":"item","numeric-id":4953226,"id":"Q4953226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3defe07eb781a270e6c72daa2f88738f6ec9ceda","datavalue":{"value":{"amount":"+0.7607108950614929","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":"Q1840580$B67771CD-313C-400B-8DF6-7B1D5D621BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e9923ad1d498ce3ec92adb43fb95d3893cdb61","datavalue":{"value":{"entity-type":"item","numeric-id":4243911,"id":"Q4243911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fe72dee6a5e1678161512e33bf5d5e403cb65d","datavalue":{"value":{"amount":"+0.7375801801681519","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":"Q1840580$F752BBD3-5A29-40E6-988B-C7A56E4287F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0342bce65ee8d0ac560fcf190821f0f35be5285","datavalue":{"value":{"entity-type":"item","numeric-id":4315326,"id":"Q4315326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b729f04313f03d9f2ea6ce914b283b53f0954b8","datavalue":{"value":{"amount":"+0.7254818081855774","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":"Q1840580$D380506E-6CB7-4F61-B405-793A3FB71662","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing extensions of ultraweakly continuous linear functionals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_extensions_of_ultraweakly_continuous_linear_functionals"}}}}}