{"entities":{"Q6930711":{"pageid":21087622,"ns":120,"title":"Item:Q6930711","lastrevid":84122063,"modified":"2026-05-10T14:32:06Z","type":"item","id":"Q6930711","labels":{"en":{"language":"en","value":"Core equality of real sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8092529"}},"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":"Q6930711$2B87FE63-5EF9-476F-B96D-E1CA2187D4D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67fadaa6c22fd1722e551b906c168a3859636f85","datavalue":{"value":{"text":"Core equality of real sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930711$59768B1B-317C-4C08-BEC4-A43085540439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"994c47a414f2e4212f6c499407d3475f653c4d65","datavalue":{"value":"10.4064/FM240325-8-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$1F868167-A016-42FC-AE64-9C687E29852C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a758b2a9f4d72ce53cfcfe4edaf0beeed5b42c27","datavalue":{"value":{"entity-type":"item","numeric-id":307731,"id":"Q307731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$478963C9-81EE-4885-AF1D-BAD944C42C36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$593C8437-2068-4A36-A267-1621B6DB8942","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae66bdf753b92b0f5163be13afadf445ae97ec1","datavalue":{"value":{"time":"+2025-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930711$822911A2-B487-41A1-BC15-9D84E34E5A06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bea09d8a1c1bb7619a02068f9fc5508eb91b94d2","datavalue":{"value":"The paper studies the \\textit{core equality problem} for bounded real sequences with respect to ideals on the natural numbers. Given an ideal \\(\\mathcal{I}\\) on \\(\\omega\\), the \\(\\mathcal{I}\\)-core of a bounded real sequence is defined as the smallest closed interval determined by its \\(\\mathcal{I}\\)-limit inferior and superior; this generalizes the classical Knopp core (for \\(\\mathcal{I}=\\mathrm{Fin}\\)) and the statistical core (for the density zero ideal).\\N\\NThe main objective is to characterize infinite real matrices \\(A\\) such that \\(\\mathrm{core}_{Ax}(\\mathcal{J})=\\mathrm{core}_x(\\mathcal{I})\\) for all bounded real sequences \\(x\\), where \\(\\mathcal{I}\\) and \\(\\mathcal{J}\\) are ideals on \\(\\omega\\). The first main result provides a complete characterization when an ideal \\(\\mathcal{J}\\) is countably generated and \\(A\\) maps bounded sequences into bounded ones, i.e. \\(A\\in(\\ell_\\infty,\\ell_\\infty)\\). In this case, the core equality holds if and only if \\(A\\) is \\((\\mathcal{I},\\mathcal{J})\\)-regular (that is, it preserves ideal convergence and limits of bounded sequences) and satisfies the condition that \\(\\mathcal{J}-\\limsup_n \\sum_{k \\in E}\\left|a_{n, k}\\right|=1\\) for every \\(\\mathcal{I}\\)-positive set \\(E\\). This removes the nonnegativity assumption present in earlier results and extends classical theorems known for the ideal \\(\\mathrm{Fin}\\). It is also shown that this characterization fails in general, notably when both ideals coincide with the density zero ideal.\\N\\NIt is proved that if \\(\\mathcal{I}\\) is Rudin-Keisler below \\(\\mathcal{J}\\), then there exists a matrix \\(A\\in(\\ell_\\infty,\\ell_\\infty)\\) satisfying the core equality for all bounded sequences. This yields explicit examples with distinct ideals \\(\\mathcal{I}\\neq \\mathcal{J}\\), answering an open question posed in earlier work in the literature.\\N\\NFinally, the author completely characterizes the ideals \\(\\mathcal{I}\\) for which the equality \\(\\mathrm{core}_{Ax}(\\mathrm{Fin})=\\mathrm{core}_x(\\mathcal{I})\\) holds for some matrix \\(A\\). This happens if and only if \\(\\mathcal{I}=\\mathrm{Fin}\\) or \\(\\mathcal{I}\\) is an isomorphic copy of \\(\\mathrm{Fin}\\oplus\\mathcal P(\\omega)\\). The proof combines techniques from matrix summability, ideal convergence, and the structure theory of analytic \\(P\\)-ideals and nowhere tall ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$DE63A2CD-DAE5-4C98-BEC5-935D4E5395D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c74463baf702088569e70fef923b2240faff2bc","datavalue":{"value":{"entity-type":"item","numeric-id":276797,"id":"Q276797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$0F602569-56AB-415E-89DD-8E67DD1FBE80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"927d15df6b882983311f88c8a781730439ec4b27","datavalue":{"value":"40A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$C774B078-A99B-4BE9-81C8-36BCB1262D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79d83d6411f6920357b9f162fe4e8d1d5d9c0384","datavalue":{"value":"40H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$9A8674A0-B1FD-4AA8-9FBD-2D73D3960E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0d516a2507c19fc398ccdae953bcd7e330f5b4f","datavalue":{"value":"40G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$680538A0-A984-41D3-B64F-87E39516AE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$DE110EE9-0FE9-403F-AA4E-88A44EC744EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e1ad14ec25f63f1df513fa726dc02af10a55ecf","datavalue":{"value":"8092529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930711$4379426C-DCA5-4AB8-82A8-7D53B2CD79E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12978aceb821f5fb7a01dd11a814471c65cbaf68","datavalue":{"value":"ideal convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$F3F1F60D-6D8F-4A53-A1C4-2969CBE990F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b43eac200ab6ae2fd99b1fdc38c407cf0a23d40","datavalue":{"value":"summability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$962537AD-AEC3-4DA9-9753-2157FF5B2D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fa640becdc00717b71605d12d15187788847c","datavalue":{"value":"regular matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$69506286-2F9F-4BE5-BBA8-4F87BFBAE335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f16fa218f3dbea3a1c61a0f857425bb1037907f2","datavalue":{"value":"Rudin-Keisler order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$24E4C9D7-82E0-45BC-AF51-4769E367A409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3348c3fbeb5c1edc4eb45ade6a8f2c7ff24d273c","datavalue":{"value":"ideal core","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930711$CD1DCE89-8BE8-405F-9C6E-09D58593FEAC","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":"Q6930711$33E2A578-6A0F-454E-B1F2-058B5DEFD444","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df38829ac76569dd41bb90edfe3e88746d8eb70","datavalue":{"value":{"entity-type":"item","numeric-id":5835354,"id":"Q5835354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$F449CE84-AF40-4DCF-80E7-8F8C4E98DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629aa32538a4898c1041e86755e2414f8235a93e","datavalue":{"value":{"entity-type":"item","numeric-id":6098466,"id":"Q6098466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$D7A19F15-D622-4431-8266-AFFF966901B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47d01b8c6717c6bf9d3b5af695c784199022a343","datavalue":{"value":{"entity-type":"item","numeric-id":1632754,"id":"Q1632754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$9A4B2B53-CBBA-422C-B8E2-50E04244D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d3bc8085e0d672f79a9058cc38e52d00c9273","datavalue":{"value":{"entity-type":"item","numeric-id":615907,"id":"Q615907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$DCFE327E-93DB-498E-A111-887250413BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0228ab05560c6532b2fa28e011654118ab3a1d54","datavalue":{"value":{"entity-type":"item","numeric-id":4520851,"id":"Q4520851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$3DC0F1F9-9EAA-42D1-A51F-5F57E1EFB3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3247abeaeed9d0b823bbcff59411b8358fdaad2","datavalue":{"value":{"entity-type":"item","numeric-id":2496677,"id":"Q2496677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$FE9767DB-DE26-46C1-BF10-136C74EBCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651c35518040bbfd5209b4ea2b69914d84fb8461","datavalue":{"value":{"entity-type":"item","numeric-id":2049348,"id":"Q2049348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$8899F6EC-03E2-4C19-BA98-12E260EADDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87bd717015a14e11c39aa1fb3aecac095799937","datavalue":{"value":{"entity-type":"item","numeric-id":2872772,"id":"Q2872772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$711857EC-14F5-49AB-B406-DE551784763E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7e2f18740d787c6e9573fd02680fdf61385f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4516349,"id":"Q4516349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$E69623E2-AEF7-49C9-88E2-693CC04DF198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf2a31d5f07fe545b629c4537deb2b4ab16f580","datavalue":{"value":{"entity-type":"item","numeric-id":4963336,"id":"Q4963336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$3FFAF2EF-EDBA-4186-BA31-7F0F62A0BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476e414c00be5c0331e979a208e8f716838a55b1","datavalue":{"value":{"entity-type":"item","numeric-id":2287353,"id":"Q2287353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$922299AC-6E21-4A45-BC57-F108B33AE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823bd71dfbd2d3f276e79a72ee77dc334229401e","datavalue":{"value":{"entity-type":"item","numeric-id":1359594,"id":"Q1359594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$7A8B9288-7EFA-439B-8BCA-6556F14C1CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42215cab46cc93fd94a2892a1df5361caf6ffa2c","datavalue":{"value":{"entity-type":"item","numeric-id":4372419,"id":"Q4372419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$E938AA0D-90D6-45B0-82A4-1C50E776D6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384ad1ba1bb4fdbaf2554e0a71360b66553f5c2f","datavalue":{"value":{"entity-type":"item","numeric-id":2657689,"id":"Q2657689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$8C3618A4-5C7D-4885-BAD5-AAA0109E00E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85108b586b7f2dfb526698ac12f707df224123d9","datavalue":{"value":{"entity-type":"item","numeric-id":1729892,"id":"Q1729892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$CD378618-1EDE-44A9-9B7B-303253EEDAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebde3a8a076e7c29ee31fa0cd6d543442bca25e","datavalue":{"value":{"entity-type":"item","numeric-id":2642124,"id":"Q2642124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$04F0E265-3AB6-4A5C-90B0-00675396A800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e87ba860215b0674a21f3f975570f991f420870","datavalue":{"value":{"entity-type":"item","numeric-id":1754568,"id":"Q1754568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$3D352B12-1A5E-40E9-A528-B61EF01E1801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdc4281273c7d1967edf0ea6db54335bd291ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3847076,"id":"Q3847076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$94CED1F6-1B5A-47D4-A415-2FAF556A97F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657139a10341b627066120860601936953ae2334","datavalue":{"value":{"entity-type":"item","numeric-id":7035781,"id":"Q7035781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$11F1E999-E90A-4ADD-8873-5C53FC12954A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a91758dabc9ac60d96c7d354fb3f1ae88e7ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":1990809,"id":"Q1990809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$0B62F7C8-978D-4F0A-B3E1-1E9CC51F5E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f697845c115f76ab058e2eafef65d21fec240c4","datavalue":{"value":{"entity-type":"item","numeric-id":2315040,"id":"Q2315040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$BE928760-DB12-47D6-81D3-9D810046199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20953a20dc958a9c97b05eb8d52c3f07921b76d0","datavalue":{"value":{"entity-type":"item","numeric-id":2102088,"id":"Q2102088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$884C4076-2E7B-4E5B-993C-D655E2A2EBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2535c568dabb163fab1136015e2f639ddaa8c8","datavalue":{"value":{"entity-type":"item","numeric-id":5079420,"id":"Q5079420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$2BC7FE4D-A445-4855-B622-25E36D8BC1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e63661dabc6ded6cfa3c480b4aba3abf22dcf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2418580,"id":"Q2418580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$6CEFEB7D-07F5-4D49-8557-8F40E8587FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f608976dffbcd60d2bcc02267557bf7ec00c057e","datavalue":{"value":{"entity-type":"item","numeric-id":2105020,"id":"Q2105020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$91060F60-D429-49EB-AC07-F800DA68BE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9dac0fafe466b75804399e89600c88027fde7","datavalue":{"value":{"entity-type":"item","numeric-id":503735,"id":"Q503735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$38C93225-621E-4A2D-AA99-55C549A018A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ef993c9c833dd2931f1fe8dcb9282a85a56c1d","datavalue":{"value":{"entity-type":"item","numeric-id":6126785,"id":"Q6126785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$CC69FD8D-D356-4CDC-8739-FBE9777A9354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea166f3d967e772485e4e1d80931a85b83fa9019","datavalue":{"value":{"entity-type":"item","numeric-id":4172409,"id":"Q4172409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930711$B6DE2002-F983-42AB-A465-93C0394586C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Core equality of real sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Core_equality_of_real_sequences"}}}}}