{"entities":{"Q1900717":{"pageid":1911459,"ns":120,"title":"Item:Q1900717","lastrevid":73058328,"modified":"2026-04-14T10:02:14Z","type":"item","id":"Q1900717","labels":{"en":{"language":"en","value":"A Hilbert space characterization among function spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 808260"}},"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":"Q1900717$F6C60779-EC96-4333-A62D-50C8EB098F6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e970becfacbc7d6a4174cc6f8c6642d65ebcdc3b","datavalue":{"value":{"text":"A Hilbert space characterization among function spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900717$185F8F9B-3155-4F77-99E4-2C7A8A9B62D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7298d8d51a21e97189daaef81e5c1586da37c5a9","datavalue":{"value":"0863.46018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$43D42DAA-C948-4DDE-AD38-93A974A4A789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c4a040b420210a118aac527241e6128d6741dbd","datavalue":{"value":"10.1007/BF01904269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$24FBCDCE-CD38-4A83-8DB8-DE2A5967552C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77a75f8c1aea701c9009dda8485d5f224a5ba8dd","datavalue":{"value":{"entity-type":"item","numeric-id":168564,"id":"Q168564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$55137B82-5306-4D1D-B6F3-6BAA86356D5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900717$3B0E889A-34EC-4147-B25C-C36B190F35EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"289cbc9e0c43f2512b9c1650159c78b09dd11d60","datavalue":{"value":"A Banach space \\(E\\) of measurable functions on the interval \\([0,1]\\) is said to be rearrangement invariant provided that, (i) if \\(|x(t)|\\leq |y(t)|\\) and \\(y\\) is in \\(E\\), then \\(x\\) is in \\(E\\) and \\(|x|_E\\leq|y|_E\\), and, (ii) if \\(x\\) and \\(y\\) are equimeasurable functions and \\(y\\) is in \\(E\\), then \\(x\\) is in \\(E\\) and \\(|x|_E=|y|_E\\). Some examples of rearrangement invariant spaces (RI-spaces, for short) are the \\(L_p\\) and Orlicz spaces. Indeed, the inclusion \\(L_\\infty\\subset E\\subset L_1\\) holds for any non-trivial RI-space \\(E\\), and \\(|x|_1\\leq|x|_E\\leq|x|_\\infty\\) provided the norm on \\(E\\) is properly normalized.   The projection \\(P\\) onto the constant functions, defined by \\((Px)(t)=\\int^1_0x(s)ds\\) is a norm one operator from \\(L_1\\) into \\(L_\\infty\\) and, hence, is also a bounded operator on every RI-space \\(E\\). One has \\(|P|_E=1\\) and \\(1\\leq|I-P|_E\\leq 2\\), where \\(I\\) is the identity operator on \\(E\\). The main result (Theorem 1) of the paper under review is that, if \\(E\\) is an RI-space for which \\(|I-P|_E=1\\), then \\(E=L_2[0,1]\\) and \\(|x|_E=|x|_2\\) for every \\(x\\) in \\(E\\).   Notable among the auxiliary results used to prove the main theorem and Theorem 2, which says that, if \\(X\\) is a normed space of dimension at least 3 and if every triangle in \\(X\\) can be strictly separated from any closed bounded convex set disjoint from it by a hyperplane \\(V\\) for which there exists a norm one operator \\(L:X\\to X\\) whose restriction to \\(V\\) is the identity, then \\(X\\) is a Hilbert space, and Lemma 5, which says that, if \\(\\{x_n\\}\\) is a bounded sequence in \\(L_\\infty\\) with \\(|x_n|_\\infty\\leq 1\\) for all \\(n\\) and if \\(E\\) is a separable RI-space, then there is a subsequence \\(n_k\\) and some \\(x_0\\) in \\(L_\\infty\\) with \\(|x_0|_\\infty\\leq 1\\) such that \\(\\{x_{n_k}\\}\\) converges to \\(x_0\\) weakly in \\(E\\). Along the way, the authors evoke a characterization of Hilbert spaces due to Garkavi and Klee, a convexity theorem of Lyapunov, and a reflexivity theorem of Lozanovskii.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$F01F6A03-1D6F-4481-A0C6-D31EE7FB09CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6291f51147fa0f19b0bac87b1a61e5b56b992e3b","datavalue":{"value":"46E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$34F806D5-D1BD-4E4F-9AD7-52A873D7A720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"341c0ca78dce6f2ce2dc201005e7620cf82055d1","datavalue":{"value":"46E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$24A34854-DA42-4C3C-A82E-1046B32231BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59afdbe8c03f1ef46660d6ee99c7c3fe08f1ee04","datavalue":{"value":"46C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$9F105970-C170-4888-B7C2-8E60CD8AC0EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e5df1c3668a9b469928c025f63059aabcd25fa8","datavalue":{"value":"808260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$2FF924EB-4941-4393-8508-79522B7A5DB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763e22f8800983c9b2a38fe4886d258bcc09abb6","datavalue":{"value":"Banach space of measurable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$D63C5B1A-2639-430C-9169-B88E819A3C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2938995bd1ae5dad99198d39a5d93eaae0cf3eb4","datavalue":{"value":"rearrangement invariant spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$CD474D46-1EB9-40B7-B47E-FF418A927625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81383c62bb162ade01d994b3f4d9906a63d3c863","datavalue":{"value":"Orlicz spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$87AB64E6-0826-4731-8371-AE23E7A7FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$E9F6A997-B7F7-49EB-8B47-E00E0B066E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27db29e1545997752d0ba25fa3e41f101d1cfb85","datavalue":{"value":"Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$FEC440B9-C83E-422B-B656-16702EC26F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3076cc2e670f30e64e50d4d0811b99182c29d4a1","datavalue":{"value":"separable RI-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$5C549CBE-B77C-4B0A-A716-56E18C1AEE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1e523094206aaf6c20d7de5c2db811cab7ab5a","datavalue":{"value":"convexity theorem of Lyapunov","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$066AD608-A4C3-4692-8FF0-F942F400204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b6ff88a4c8567bc84b60617832a8c96beecdd1","datavalue":{"value":"reflexivity theorem of Lozanovskii","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900717$DB3844AB-0870-467A-8AD9-46440F683FBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f64cc9bede91812c5ef073ca3079dc182a2b89c6","datavalue":{"value":{"entity-type":"item","numeric-id":498308,"id":"Q498308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$AB4B343F-E11F-4136-8AAF-369CE909EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0b10cb4e84e28f0ec49e4f610fa484ad56c0a3","datavalue":{"value":{"entity-type":"item","numeric-id":987446,"id":"Q987446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$69B1E755-52EE-42D4-BBDF-D36618BB6B9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a0a024f7c084ae9cb42a6ade3cdbbe298a9faa","datavalue":{"value":{"entity-type":"item","numeric-id":425403,"id":"Q425403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$FFA5DB8A-12DF-4979-9AA9-10D007D0857B","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":"Q1900717$01792325-AB25-4B4B-A559-D3860155EEF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1d88ef8a4fe1948e430e03dc44376b77eae996","datavalue":{"value":{"entity-type":"item","numeric-id":1822008,"id":"Q1822008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$EBE2483B-8A38-468C-B0B0-415A254823C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b935be2205c4d036dd9904b35e5a6988cd6e0d10","datavalue":{"value":{"entity-type":"item","numeric-id":3971243,"id":"Q3971243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$3A78329F-41C9-47F0-852A-A99E703260E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59938f00566bca2e3b60301f44d57e21770c335","datavalue":{"value":{"entity-type":"item","numeric-id":2551914,"id":"Q2551914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$BC124ADC-E74D-463E-8151-2441112BE752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ff0338dd0c9efe4bd5b78ab7c33e1cc3e7494","datavalue":{"value":{"entity-type":"item","numeric-id":4104377,"id":"Q4104377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$64A41482-307A-48F9-987E-CD190624F5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee3492c0711dfa1ec86a6f902706478cb1d4d4d","datavalue":{"value":{"entity-type":"item","numeric-id":969269,"id":"Q969269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$153282E4-473E-46A4-A09F-98DC8379A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a41b54a0244e1f4795f0a1933be7740e4db67fd","datavalue":{"value":{"entity-type":"item","numeric-id":5583892,"id":"Q5583892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900717$6A302E7D-63CD-4D0C-BE95-A0D4FACC37AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77548a487d823c30e700a0edad1a51e0c83ad8a1","datavalue":{"value":"https://doi.org/10.1007/bf01904269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900717$413CE191-DF66-4EB4-81F9-737D7C836E62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31750e510e4952d75f77bbf1e148da147dbb6d77","datavalue":{"value":"W139952630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900717$BB6DAFCB-21B0-4AA5-A676-73659816B3C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9de846a7c880500b04860e35df496235d52a1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1595530,"id":"Q1595530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60532dfea377b014f568208136fc7f5ec7e2dfc1","datavalue":{"value":{"amount":"+0.8308007121086121","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":"Q1900717$DDBD8D48-4FDE-413B-BC22-C6A4BE740975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947f1bed9a29c40b1463bdc1710884977e750eb5","datavalue":{"value":{"entity-type":"item","numeric-id":4342748,"id":"Q4342748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650f9bfd85e1331db137dd749dc24fd18ec5fe1f","datavalue":{"value":{"amount":"+0.8307095766067505","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":"Q1900717$AD7FA6AA-15AF-4DE7-BE32-995C3E771BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b998f58893194216857ee4d2a603f52c711644","datavalue":{"value":{"entity-type":"item","numeric-id":4953573,"id":"Q4953573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f183bd0a01d19a73ba547b96c7c657f0eb2d3a","datavalue":{"value":{"amount":"+0.8105082511901855","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":"Q1900717$3325C54E-2894-4E48-BF4D-5026E2E6C932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0166c832544e677c374509eba67a64e8fc1dd0e","datavalue":{"value":{"entity-type":"item","numeric-id":3689690,"id":"Q3689690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1d5b914860f804f77c5ae200c45ea9dac75b9e","datavalue":{"value":{"amount":"+0.8097213506698608","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":"Q1900717$26D89D1C-93EF-49A4-99C5-AE4F7B11E36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63098ba30b6dc9e2d3bdc6e3aeab8f4fce005029","datavalue":{"value":{"entity-type":"item","numeric-id":1397520,"id":"Q1397520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75889965c6e53186920bd879f1fbbd29211e1fe3","datavalue":{"value":{"amount":"+0.7947102189064026","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":"Q1900717$6DA5D725-DB55-4428-B25F-E42EABF0D2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hilbert space characterization among function spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hilbert_space_characterization_among_function_spaces"}}}}}