{"entities":{"Q2856637":{"pageid":2867357,"ns":120,"title":"Item:Q2856637","lastrevid":51855443,"modified":"2026-01-20T09:43:16Z","type":"item","id":"Q2856637","labels":{"en":{"language":"en","value":"Uniformly convex Banach spaces are reflexive -- constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220971"}},"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":"Q2856637$EE4A50E1-51FA-479E-A7B6-EDDF952C03D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30263e073c786f0d95417b4d7d28087a5b0e5ad7","datavalue":{"value":"1303.46066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$18FF089F-6A6F-4B55-89F5-82AB34A44841","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":"Q2856637$55A92154-17A2-4D4D-B646-824E967E8B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$0A9031F9-0E76-480C-A60E-DD37785BC083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55e85475f89d2f848fd05b0183735a601063dc2","datavalue":{"value":{"entity-type":"item","numeric-id":692183,"id":"Q692183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$AB0D3052-386B-4630-897A-1EC1EF4F2E83","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":"Q2856637$884D4565-FE3F-47D2-B7A4-D04B165F4E02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$A768F02C-BE2B-4C20-90A5-BF59ECEE7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ab7336d747094759fabddfd54e46a7616c6dd7d","datavalue":{"value":"46B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$CEFAF008-B1F2-47CA-8375-C8C0DEE36F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$88EBD84B-30B1-4DBE-9AC7-3034EB1606C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c80c0ce3b2b7189a1e8b4786b72384a826695bb","datavalue":{"value":"6220971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$78E55B34-C184-49F6-AD5C-099DFB2FBACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$3A057CE7-B4CD-442B-9BFD-B194F5EA8211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84f29a031da0c63c70fe38d157ccd2c813b9f574","datavalue":{"value":"quasinormed space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$99BB4A5F-A72B-4F25-BEE0-4632D3F3868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd260f07aad3ffb6e003e45c0d8a7d502080f82","datavalue":{"value":"pliant space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$C30E0684-F480-4A74-8594-2F9FB4B33D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0dd55b0632fd744f287d7ab8d95b24bc6ceed3","datavalue":{"value":"uniformly convex space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$E65443EE-757D-4D57-80A4-3567A4643A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632503063cbb8829a61ef501d6f67fe838cd4276","datavalue":{"value":"reflexive space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$F0D85972-92E4-45BE-BB9F-DA561A5C600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43aa3157fa586a16002c93c615684fc482dc96a5","datavalue":{"value":"Milman-Pettis theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$8684CC41-387A-4F01-A15B-4A7CBC8BF4F1","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":"Q2856637$CE5526A4-936A-40B5-9DC1-F6E5EE494D4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"668e9d5175881c45bf31ef986e8182e5c870e142","datavalue":{"value":"https://doi.org/10.1002/malq.201200093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856637$7837FFC3-A99C-408C-941D-A1DAB3F36A82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b7397c56a8fed3db0ebb163be29a8f9cd73629","datavalue":{"value":"W1488344036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$66F158E2-FF1E-45EF-BED1-AC918D7E1014","rank":"normal"}],"P223":[{"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":"Q2856637$FA6734F3-824B-478B-A070-DA65692EBB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e4b2b9e921e6693e0f1263281667a9dd249458","datavalue":{"value":{"entity-type":"item","numeric-id":3471070,"id":"Q3471070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$C2B64C96-2995-4F58-80CC-A8B604452298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbf1b5abfca848a3287ac1cc6360a51cb0c2327","datavalue":{"value":{"entity-type":"item","numeric-id":3779263,"id":"Q3779263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$58FB95DD-6607-4901-AAF2-338DA8B95CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc510d0c53d69193199cc8d917f3115d3b9351f0","datavalue":{"value":{"entity-type":"item","numeric-id":3931891,"id":"Q3931891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$0BA13A1D-410E-4EB8-A05B-7AB47EBBFD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba02ba3fb5aa115348b768a248319ac48a212125","datavalue":{"value":{"entity-type":"item","numeric-id":5775165,"id":"Q5775165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$EFF87A07-0F7B-4CE9-9EAE-4E00D74D1947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1153fbe1e6dcc901e02c7f796f7a518b55320899","datavalue":{"value":{"entity-type":"item","numeric-id":5771313,"id":"Q5771313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$C65733D5-BF13-47C1-97B8-2CF3A8BD7B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b3cd39e1795363f309d4915a351d932c7f49b","datavalue":{"value":{"entity-type":"item","numeric-id":2646415,"id":"Q2646415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$921ED849-8677-407A-B50B-9489AB294A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61940d8dc4f3cd45e0f62bbda2fb343bb9b81fef","datavalue":{"value":{"entity-type":"item","numeric-id":3255644,"id":"Q3255644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$8524C6D7-CACB-4670-A3E7-9E03A28DCA5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cd21f73c60d7ed1252ad0ec8137f0e7afb7c059","datavalue":{"value":"10.1002/MALQ.201200093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856637$214F8482-1BDE-4EDD-BAC3-285253005CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a81a496b47c17df1455573fd442c70b1d72cdcf2","datavalue":{"value":{"text":"Uniformly convex Banach spaces are reflexive -- constructively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856637$262B25FB-6676-4DDB-B535-BA219C25EDE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$200E1E33-B77D-4DEC-A042-C3B74FEF93F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5921919458f3fb35c36a51580f979c681836788","datavalue":{"value":"Let \\(X\\)~be a real Banach space, or more generally a so-called complete quasinormed space with family of seminorms \\((\\|~\\|_i)_{i\\in I}\\): for each~\\(x\\in X\\), the set \\(\\{\\|x\\|_i:i\\in I\\}\\) is bounded. In constructive mathematics, the existence of the supremum of this set is an hypothesis; if it holds, then the element \\(x\\) is called normable. The dual \\(X^*\\) of \\(X\\) is the space of linear functionals \\(u\\) on \\(X\\) with seminorms \\(\\|u\\|_x=\\|u(x)\\|\\) indexed by the unit ball \\(B_X=\\{x\\in X:\\forall i\\in I(\\|x\\|_i\\leq1)\\}\\). The bidual \\(X^{**}\\) is defined in the same way with seminorms indexed by \\(f\\in B_{X^*}\\); every \\(x\\in X\\) defines a linear functional \\(\\hat x\\in X^{**}\\) by \\(\\hat x(f)=f(x)\\), and \\(X\\) is called reflexive if each normable element \\(F\\) of \\(X^{**}\\) has the form~\\(F=\\hat x\\).NEWLINENEWLINEThe authors isolate the following hypothesis: \\(X\\) is pliant if for each \\(x\\in X\\), each \\(i\\in I\\) and each \\(\\varepsilon>0\\), there exists \\(f\\in B_{X^*}\\) such that \\(\\hat x(f)>\\|x\\|_i-\\varepsilon\\). This is true in classical mathematics; in constructive mathematics, it is not known whether it is true in general, but it is the case if \\(X\\) is separable (or ``quasi-separable'') or has G\u00e2teaux differentiable norm. Let us recall that \\(X\\) is uniformly convex if for each \\(\\varepsilon>0\\), there exists \\(\\delta\\in(0,1)\\) such that if \\(x,y\\in B_X\\) and there exists \\(i\\in I\\) such that \\(\\|x-y\\|_i>\\varepsilon\\), then \\(\\|{1\\over 2}(x+y)\\|_i<1-\\delta\\) for all \\(i\\).NEWLINENEWLINEThe main theorem of this article is the Milman-Pettis theorem: if \\(X\\) is uniformly convex and pliant, then \\(X\\) is reflexive. The proof is a constructive modification of \\textit{J. R. Ringrose}'s [J. Lond. Math. Soc. 34, 92 (1959; Zbl 0083.10302)] classical proof by contradiction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856637$5AC97C68-D8F1-4812-8356-D18C46E43852","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c8a73f319b086767565008144e4b2876c3026b9","datavalue":{"value":{"entity-type":"item","numeric-id":645115,"id":"Q645115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856637$C2FCBCE1-0D87-45A5-BF67-0C333C65F0E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6bbb5d068eeeaca1e23bda09b3cfee6ef2ea63","datavalue":{"value":{"entity-type":"item","numeric-id":3471070,"id":"Q3471070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696933b057779094b3aee988dae5a6649db3d8ff","datavalue":{"value":{"amount":"+0.9100326299667358","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":"Q2856637$FFE38136-2CA4-44F9-8506-50D5B5C7E246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b917de5479fce2597029bd339ce134b5e1ecb40","datavalue":{"value":{"entity-type":"item","numeric-id":3341384,"id":"Q3341384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db97c213f9d7a985c518160db7b76359d08f104c","datavalue":{"value":{"amount":"+0.7762126326560974","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":"Q2856637$4D6B3A5D-37AC-48CD-843D-8134487E391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e330cb6208080b8157b5b0f1683a7907822d694","datavalue":{"value":{"entity-type":"item","numeric-id":4435052,"id":"Q4435052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78d48a0cfd5c8693e6b009523a55dc2b5936c3e","datavalue":{"value":{"amount":"+0.7670254707336426","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":"Q2856637$4A16A54D-3862-4A20-A2AE-9B47E2FCB810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4bdab1afb17829c27cb5663e8e24d6dd9dc7cd","datavalue":{"value":{"entity-type":"item","numeric-id":2498480,"id":"Q2498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97ebbc10ab3e7d3b183dee406cfffd628d48934","datavalue":{"value":{"amount":"+0.7586160898208618","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":"Q2856637$269750AD-384D-45FB-8F19-6A9381BF58E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a7160f459ba2c1a740eec2c6f55ba586d659c6","datavalue":{"value":{"entity-type":"item","numeric-id":642552,"id":"Q642552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8b66b4a26ed7cdd0f1485adc44e7d461c0e63c","datavalue":{"value":{"amount":"+0.7474688291549683","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":"Q2856637$6B6EB10F-AA36-4D5A-A500-E21B60E332E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856637"}}}}}