{"entities":{"Q1971756":{"pageid":1982498,"ns":120,"title":"Item:Q1971756","lastrevid":82134812,"modified":"2026-05-06T20:11:08Z","type":"item","id":"Q1971756","labels":{"en":{"language":"en","value":"A Frobenius theorem for locally convex global analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423217"}},"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":"Q1971756$47516167-75EC-4901-9054-5BA45CD4A2E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4381f13fc05ed444422efc673744ecb66ce54235","datavalue":{"value":{"text":"A Frobenius theorem for locally convex global analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1971756$C50AD7A2-2680-4F57-AC48-43A3A1243344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff1041b62bc29797fbc4fef40211d390e13c44a","datavalue":{"value":"0954.46041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$AA5B0642-4A19-4AA0-8AA4-7BA53B820C00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971756$3F2E7BD9-18C7-4F78-9488-ECE2C9E3CDA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971756$D6CFB178-B793-407F-8E19-8D88D2109BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f495a2af5f8b93b8f2551a494368effda123783","datavalue":{"value":{"time":"+2000-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1971756$0B23985C-060C-44D8-9C19-6485F8741E39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fe39eab12d01da50f9c737e19e9dc268ac41315","datavalue":{"value":"Let \\(E\\) and \\(F\\) locally convex spaces with \\(F\\) a Banach space.   For \\(k\\in\\mathbb{N}\\cup \\{\\infty\\}\\), consider a \\(C^{k+2}\\)-manifold modelled on locally convex spaces. A subbundle \\(T\\) of the tangent bundle \\(\\pi: TM\\to M\\) is said to be co-Banach if for each point \\(x\\in M\\), there exists a local \\(C^{k+1}\\)-trivialization  \\[ \\theta: \\pi^{-1}[U]\\to U\\times E\\times F \\]  over an open neighbourhood \\(U\\) of \\(x\\), with  \\[ \\theta[T]= U\\times E\\times \\{0_F\\}. \\]  After having given this definition, the author proves a Frobenius theorem for \\(C^{k+2}\\)-manifolds modelled on locally convex spaces asserting that if a co-Banach subbundle \\(T\\) is closed under bracket operation of local \\(C^{k+1}\\)-sections of \\(TM\\), then \\(T\\) is integrable. He based this proof on a simplified version of an implicit function theorem of his recent paper appeared in Stud. Math. 134, No. 3, 235-250 (1999; Zbl 0934.58008)], where the above notion of \\(C^k\\) is defined.   That version has its own interest and its proof is given in the article under review.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$83E12294-55A9-46D6-8804-7593D46E7106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"60f100a720c87d93f2562b5f13bd44a77afd1cd1","datavalue":{"value":"46T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$54DBD741-BDFB-4477-A0A0-63D6CB3B638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87ac7bcbdae742a2bd2627c4b721e0ed79cf7506","datavalue":{"value":"58C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$6F53A159-1247-48BB-A4CF-84757ED4CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d52bb8d0b2b4160bdc0539a8b665099e3f65e585","datavalue":{"value":"58C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$3107ED7C-643D-48C3-8E95-33F2679873C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50a3bb325f1e5c30650d81f018857649c833628d","datavalue":{"value":"58A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$F9E94C41-72C1-4B22-BC6D-27DE69B21155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e642e623de027cd1da4ffa1a9bf20567e7e71a69","datavalue":{"value":"58B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$FEDE283B-FE50-423C-9EAA-9A3F1261C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09c4c63ab6ed6a6f1d3c2c5388cc8dc32cffcac","datavalue":{"value":"46G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$F3B99C7C-4FB5-48C1-8C8C-5BFD8C6110E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f6242cdf66f23ce0776eef6b51198468a55ada","datavalue":{"value":"1423217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$41637626-B28E-40CD-BDCA-3E3650BDB587","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4a006a6892988c523daeff1555aaa897117047","datavalue":{"value":"integrability of tangent subbundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$D59DB40A-D0F6-4C74-A13C-08CE66CDBF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063e8e09693a5f6a3d416abab3ecedc22bc57046","datavalue":{"value":"implicit function theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$27A51AD2-9D39-4B6D-8C7C-EF4B1A38B08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85b403b13b1d57e9878be8f062db73a8028ad46","datavalue":{"value":"\\(C^{k+2}\\)-manifold modelled on locally convex spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$A90D4BCB-9E9C-4F23-9E50-3E09E77C9A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804c68060eb2b018f933d12b825875789c4fadbe","datavalue":{"value":"tangent bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$47006565-C163-4E7D-98D8-2FA2B6807128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b887a830597e63a471ed2a2c00fb7cb8962d0ed","datavalue":{"value":"Frobenius theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$553E89EE-2DD7-4605-B477-5DD74F36A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1029add5399522f3092c8ae5bd3c74995b40f8b2","datavalue":{"value":"co-Banach subbundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971756$75108164-5672-423A-B1AA-52C84A01AD7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8bc78670bec661e3f3b2e39b089e3df510549608","datavalue":{"value":{"entity-type":"item","numeric-id":1173830,"id":"Q1173830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971756$4D860675-1DBB-48FD-AC15-E2DC11B33AE7","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":"Q1971756$44856839-CD41-4C11-85CF-CEE37D600D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1388ccf30f18096fd8d4fe7182d982c453b6cd15","datavalue":{"value":"https://doi.org/10.1007/s006050050010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1971756$A4A00BD4-0369-4DAD-8255-04B0BB453897","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"355518a1a39a1001e48f25917fc5092e4a1f84d6","datavalue":{"value":"W1976980550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$C8D1F65A-D02E-42C5-ABB5-23F543090742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8404ec8f6facd036d6eec97cca6aa8976b7979e0","datavalue":{"value":"10.1007/S006050050010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971756$E6A98644-72E9-489C-91E6-DDF96F2C90F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349ee55dd958203a5af48118baa153850ea25f81","datavalue":{"value":{"entity-type":"item","numeric-id":5957814,"id":"Q5957814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897e7eb057bd99f9f98e632e96b7cafda182a216","datavalue":{"value":{"amount":"+0.8292522430419922","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":"Q1971756$8830F7EA-C44F-415A-B0C6-0AA47E953EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fdb7b10a5908fbc0c523c36c55fbe37174a77b","datavalue":{"value":{"entity-type":"item","numeric-id":3339807,"id":"Q3339807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9ab5895fd3864980d483dec1e76eeab75ecd60","datavalue":{"value":{"amount":"+0.7608919739723206","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":"Q1971756$23EB903C-5EED-4E4F-8ED4-095534BD7B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e60b723bac51da05f958d61031e872d400d372c","datavalue":{"value":{"entity-type":"item","numeric-id":3218832,"id":"Q3218832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464552a5864b18a95837a868b9c17de9c631d17f","datavalue":{"value":{"amount":"+0.7540818452835083","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":"Q1971756$CA81CA00-91C9-4CB4-97B5-E52BD3A28D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54466a92ccc5bdc9cd3142dfd4a6fa1bcfd22d84","datavalue":{"value":{"entity-type":"item","numeric-id":5440613,"id":"Q5440613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d00bb0b77275ae2a60737f8d250f3ec60c9055e","datavalue":{"value":{"amount":"+0.7445610165596008","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":"Q1971756$01134330-FAB1-4A94-BDF2-D0C78DCFB6C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Frobenius theorem for locally convex global analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Frobenius_theorem_for_locally_convex_global_analysis"}}}}}