{"entities":{"Q401088":{"pageid":402855,"ns":120,"title":"Item:Q401088","lastrevid":75907596,"modified":"2026-04-21T13:04:17Z","type":"item","id":"Q401088","labels":{"en":{"language":"en","value":"Reflexive nests of finite subsets of a Banach space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334369"}},"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":"Q401088$E9790C81-A989-4E0D-8D95-4D65F3221EAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"513f409941dbb720d78e29072f21e93cde93e317","datavalue":{"value":{"text":"Reflexive nests of finite subsets of a Banach space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q401088$5E95486D-AE4D-4324-B152-A4240C61DEC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1157507f1baf85c786468808ee5e4d48221af257","datavalue":{"value":"1314.46030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$B5C2E83B-7B71-4EC3-B2BB-A512FE9B7D9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$F3FA2C03-810E-43FF-9EEF-C35F03452358","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1f9e8f790ce6e41a90324264d112d9d01c9ab76","datavalue":{"value":{"time":"+2014-08-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":"Q401088$2DE41A73-48F5-407A-B881-FE4D9CD87165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6abddbaf8be15a0c4d9264f5ec754f36101dee7","datavalue":{"value":"46B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$A03AEF8E-9D8B-45F8-BA56-6450D6C37EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0886919e54cc05c79484db27be023eabe626d52","datavalue":{"value":"46E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$350D7316-3D3C-45C5-BC80-8653F5B9A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$9EBD6931-616E-4626-ABE2-C35CC0D987DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7600c6f4006e98b8f2f3b2dcaedefa5af74d6a0a","datavalue":{"value":"6334369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$635BE770-C4CE-4ED9-A7B0-B5AA1EACB0B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b21d63a3e03b932f983517f0bbff04608cd451","datavalue":{"value":"invariant set","type":"string"},"datatype":"string"},"type":"statement","id":"Q401088$A4A89DAF-213A-41F5-9B60-F2FBFA41C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0908845b54241df8db866f999385ad91cc8c8","datavalue":{"value":"reflexive subset lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q401088$14A0592F-5549-44D1-8087-5F85DC66C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bac3f0563c0dd19aa19bc38513fbf83946b667a","datavalue":{"value":"reflexivity index","type":"string"},"datatype":"string"},"type":"statement","id":"Q401088$EE103CAD-FA2D-408F-AFA8-AED5C6086F21","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":"Q401088$D5546AE6-319D-4681-83A5-67A1FC4F5483","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":"Q401088$ADDF23BF-DCAB-498F-A4F6-6FFEC5F46DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37769fbee2a6dcd356505f89a9598775a78e7154","datavalue":{"value":"https://doi.org/10.1016/j.jmaa.2014.05.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q401088$E8CA3087-9CB1-4027-B5F3-B24253594A50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d709869bbc4fc2e429b63b709bbb1c68a5fa24f5","datavalue":{"value":"W2038078094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$02FCBAAF-6636-4749-98DC-587ABBB583DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df6f2ac8b1c2bd65b2997b230c413bcf06bc9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1228951,"id":"Q1228951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$72E36FDC-4FCA-467A-9A4E-8F7FB194E93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d455ccce8886b2d6411d37c371d0bc98cf7a361","datavalue":{"value":{"entity-type":"item","numeric-id":3994569,"id":"Q3994569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$F55039CB-EA84-47CA-867F-E865B0E19EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb9f9fabce27f7ca55f860dd42b8fb39b4aee3d","datavalue":{"value":{"entity-type":"item","numeric-id":5602414,"id":"Q5602414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$7B555821-7FC1-401C-8577-3FD7265D966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d06897fe2df0939dd62d65be7526a28432c32d","datavalue":{"value":{"entity-type":"item","numeric-id":5638841,"id":"Q5638841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$695DD406-CEC7-4630-BB06-99251590B262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcc26c4c57362625f998a8dec79f5c9c5762012","datavalue":{"value":{"entity-type":"item","numeric-id":4767807,"id":"Q4767807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$AFFE0AF5-6781-4862-86B1-91583D9085AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce1bb6c003c14833baf5bea4ad52ca6d076551d","datavalue":{"value":{"entity-type":"item","numeric-id":2925690,"id":"Q2925690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$50E61012-8BCE-421E-A621-1EADF2AAA089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfd7c0c203a348ee4890030da84a948a13d0f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5601525,"id":"Q5601525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$FF629378-F3BB-4708-B2DD-DB4232319829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7561d83d83c5bf4c937bb7d7954360f4f7a559","datavalue":{"value":{"entity-type":"item","numeric-id":4042160,"id":"Q4042160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$A69AE36E-010C-4EF0-A261-095AC55EB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766fce7d19bb963aa5efa1eb66dbfac5313cae58","datavalue":{"value":{"entity-type":"item","numeric-id":5507939,"id":"Q5507939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$3690DAE9-6BF9-44CD-9A6B-FCFDCA1ACED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145a086d7c7fa19ae4082121288ca9054a0f1006","datavalue":{"value":{"entity-type":"item","numeric-id":3414775,"id":"Q3414775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$8060AC6C-9E8F-4315-A38C-AC4F5D536F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816468c8fe87d87251c8631299245514507b086","datavalue":{"value":{"entity-type":"item","numeric-id":3083849,"id":"Q3083849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$221DB4A1-AD25-49BE-A1E6-8917F9A0482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008ade9a57ec65541ebd3262e294040a2889c5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5488089,"id":"Q5488089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$10CC3547-B1E0-45DF-8975-783D7F38012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf33031fda831004d9a4aa3aefac8b2860caa7d3","datavalue":{"value":{"entity-type":"item","numeric-id":6486911,"id":"Q6486911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$710CD7A9-4B01-4991-97DD-2FD265BBBCDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef6727ea66f766ed079922c257074a428ac121d7","datavalue":{"value":"10.1016/J.JMAA.2014.05.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q401088$A27A72E4-5957-4CCF-89CE-47B9B9B2E8DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ec7faf0c6cfc525feb45109b09eee22716c3033","datavalue":{"value":{"entity-type":"item","numeric-id":1412949,"id":"Q1412949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$AE793200-C88C-464F-90A2-9D2B821DF8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d8e0f99126bae6535752bd76396c3425e656bd","datavalue":{"value":{"entity-type":"item","numeric-id":2586039,"id":"Q2586039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q401088$CE777394-9063-4745-A7DB-3CA24AD4073F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de6540f269066dfac053d8813589277c7670679a","datavalue":{"value":"Given a topological space \\(X\\), let \\({\\mathcal C}(X)\\) be the set of all continuous endomorphisms on \\(X\\) and \\({\\mathcal S}(X)\\) the set of all closed subsets of \\(X\\). To a subset \\({\\mathcal L}\\) of \\({\\mathcal S}(X)\\) we associate the set of functions \\(\\text{alg}{\\mathcal L}=\\{f\\in {\\mathcal C}(X)\\,:\\,f(A)\\subseteq A\\,\\text{ for all }A\\in {\\mathcal L}\\}\\). Similarly, for a subset \\({\\mathcal F}\\subseteq{\\mathcal C}(X)\\), define \\(\\text{lat}{\\mathcal F}=\\{A\\in {\\mathcal S}(X)\\,:\\,f(A)\\subseteq A\\,\\text{ for all }f\\in {\\mathcal F}\\}\\). Borrowing concepts from the theory of linear operators, we say that \\({\\mathcal L}\\subseteq{\\mathcal S}(X)\\) is reflexive if \\(\\text{lat}(\\text{alg}{\\mathcal L})={\\mathcal L}\\), and that \\({\\mathcal F}\\subseteq{\\mathcal C}(X)\\) is reflexive if \\(\\text{alg}(\\text{lat}{\\mathcal F})={\\mathcal F}\\). The main result (Theorem 12) of the present paper is that nests of finite subsets of a separable, real Banach space are reflexive.NEWLINENEWLINEThe build-up to the main result focuses on the separable, real Banach space \\({\\mathbb R}\\), the set of real numbers with the usual Euclidean metric topology. Take \\(\\chi=\\{x_1,\\,x_2,\\,\\ldots\\}\\) to be a countable dense subset of \\({\\mathbb R}\\), and, for each natural number \\(k\\), set \\(A_k=\\{x_j\\,:\\,j\\leq k\\}\\). Thus, \\(A_1\\subset A_2\\subset A_3\\subset \\ldots\\,\\), and the collection \\({\\mathcal A}=\\{\\emptyset,\\,A_1,\\,A_2,\\,\\ldots,\\,{\\mathbb R}\\}\\) is a complete nest of closed subsets of \\({\\mathbb R}\\). Two technical lemmas lead to Corollaries 6 and 7, which show that, for every natural number \\(m\\) and every number \\(\\alpha\\in{\\mathbb R}\\backslash\\chi\\), there are functions \\(f\\) and \\(g\\) in \\(\\text{alg}{\\mathcal A}\\) such that \\(f(x_{m+1})=g(\\alpha)=x_m\\). These results lead to the conclusion that \\({\\mathcal A}\\) is reflexive (Theorem 10). In fact, the authors point out (Corollary 11) that the same is true of the complete nest generated by any increasing sequence of finite subsets of \\({\\mathbb R}\\) whose union is dense in \\({\\mathbb R}\\).NEWLINENEWLINETheorem 12 then shows that the results for nests of subsets of \\({\\mathbb R}\\) extend to complete nests of finite subsets of any separable, real Banach space.NEWLINENEWLINESection 4 of the paper looks at the related concept of the reflexivity index of any reflexive closed set lattice \\({\\mathcal L}\\) of subsets of a topological space \\(X\\), defined as \\(\\kappa({\\mathcal L})=\\min\\{|{\\mathcal F}|\\,:\\, \\text{lat}{\\mathcal F}={\\mathcal L}\\}\\). In the specific case of the nests \\({\\mathcal A}=\\{\\emptyset,\\,A_1,\\,A_2,\\,\\ldots,\\,{\\mathbb R}\\}\\) from Theorem 10, the principal concrete results presented herein are that \\(\\kappa({\\mathcal A})>1\\) (Proposition 15), and that, if \\(|x_{m+1}-x_m|\\to0\\), then \\(\\kappa({\\mathcal A})=\\infty\\) (Theorem 18). An open problem is whether there is an ordering of the rationals \\({\\mathbb Q}\\) for which the corresponding nest has a finite reflexive index.","type":"string"},"datatype":"string"},"type":"statement","id":"Q401088$4144663E-CACE-4E52-959B-E51D1F908F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f87332d47737e0e2afc1004f7f5326f859ab70d6","datavalue":{"value":{"entity-type":"item","numeric-id":3993844,"id":"Q3993844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd38705b64be9e8d5efac35efd7b28e2c267ebd9","datavalue":{"value":{"amount":"+0.789628803730011","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":"Q401088$9D758EB2-C05F-4A24-BF99-A76579B8D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775954d9b2ab4b3bcd47bb54faca998d6ec71da4","datavalue":{"value":{"entity-type":"item","numeric-id":1345837,"id":"Q1345837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd38705b64be9e8d5efac35efd7b28e2c267ebd9","datavalue":{"value":{"amount":"+0.789628803730011","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":"Q401088$61961356-3D8B-4A5D-BA1F-BAB76504BF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767fd2a1f19324a596541482c965cff314c4af2e","datavalue":{"value":{"entity-type":"item","numeric-id":6486911,"id":"Q6486911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b7cbb7cd07808a985a7d12bdeff63fbab2636d","datavalue":{"value":{"amount":"+0.7855610251426697","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":"Q401088$A8BA6381-1D2D-4A9F-AC29-1752CC9C6BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad60bb1d7290843b727cfa2786f5ac70d01467c","datavalue":{"value":{"entity-type":"item","numeric-id":2925690,"id":"Q2925690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f302d11ead55cb286b48901009be00c4a919d0","datavalue":{"value":{"amount":"+0.7756716012954712","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":"Q401088$620584B1-2280-4938-AC51-044E1BE24137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa14fa14cbfd00fc80651aa085ceaaade3c716e","datavalue":{"value":{"entity-type":"item","numeric-id":2015076,"id":"Q2015076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cd0126568783977573b3295dda6b1a918225fb","datavalue":{"value":{"amount":"+0.7745949029922485","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":"Q401088$077D2AB2-7F0A-4926-8CB3-DBCEDE7E86C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflexive nests of finite subsets of a Banach space","badges":[]}}}}}