{"entities":{"Q752432":{"pageid":754281,"ns":120,"title":"Item:Q752432","lastrevid":64105815,"modified":"2026-04-11T17:40:38Z","type":"item","id":"Q752432","labels":{"en":{"language":"en","value":"Linear mappings are fairly well-behaved"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177919"}},"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":"Q752432$1D10B37A-D708-40C9-AD0B-19430A7BF763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5db4f8a7dba23634bb216d0aed63e1c5b0f6eb7","datavalue":{"value":{"text":"Linear mappings are fairly well-behaved","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752432$0F78F167-EC45-4D2C-92E1-FE15008BEA3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2262e9e980597e7ef379e146579469fa23515b21","datavalue":{"value":"0715.46053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$2FE64CCC-2C96-45F2-AFBC-41B8D698E147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48a87b0743935b402ce636923b3a9b119726d2f9","datavalue":{"value":"10.1007/BF01188684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$F32B66A8-102D-405D-BD54-1B751C518973","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":"Q752432$5D2D732F-4F97-47E3-BD32-4E8DEFB82871","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":"Q752432$7A105BB9-F3B5-44A5-B210-4CE71B9B5556","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752432$FE1D7C45-C2A3-4E9E-AF99-30CE7534384B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752432$0D720E6A-0CB0-4E3A-8358-00F7E1A53F9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e921a7f65eb1d56b215f5cf0b1a6fb3b19722c4","datavalue":{"value":"Classically, it is absurdly trivial that if an element x of a normed space E is not in the kernel of a linear mapping T, then Tx\\(\\neq 0\\). Constructively, however, a stronger, and affirmative, meaning is given to the conclusion Tx\\(\\neq 0\\), and it thereby becomes difficult to prove. In the constructive development of normed space the condition Tx\\(\\neq 0\\) is taken to mean that \\(\\| Tx\\| >0\\), where the notion of positive real number is used in the strong constructive sense of explicit positive rational approximations. Typically, the hypotheses are also strengthened accordingly. The main result of the paper (expressed in the title) is that if T maps E onto a Banach space, and if \\(\\| x-y\\| >0\\) whenever \\(y\\in \\ker (T)\\), then Tx\\(\\neq 0\\). Other results involve the graph of T, with applications to the boundedness of mappings onto finite-dimensional spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752432$77C6F5E5-3544-4F2C-AC76-038437817377","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8216ebaa29894f2da1fbbb2fdf6457d9d8310f0c","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752432$1A1EEAEF-C882-4D0F-AE16-E77B6990874C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$48392591-835A-4FD0-940C-9393D815A043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ad5b64632919d52f43c7672e32d62c8e6dce72a","datavalue":{"value":"47S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$EC65483B-6E96-49BB-B46D-4C89B94F0131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$F127D371-6770-4FDF-B33E-8E3428B1E20F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a92bcfab24ef97e561cf71d60e724f40469c32e","datavalue":{"value":"4177919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752432$7D6318B2-47C5-4B19-9DBB-9C1AA7B86359","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q752432$DD8893C0-355C-45F6-8FBD-76692DD4324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q752432$84FE321F-A407-4C7F-B1AE-F935AA75B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f506270821be8cb29c6fe55a0b9be595304926cc","datavalue":{"value":"boundedness of mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q752432$9DADD94E-9A38-4F89-8234-1AB49811998E","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":"Q752432$628EB6D6-D5B5-43FC-8FFC-1210A1DE3020","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":"Q752432$B19161F5-C3D8-451C-9658-22631A1A4EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752432$7C175927-352D-4806-8B35-D26029ACF151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a188dd9b222c8b8750bb13945c78a336bb8d63","datavalue":{"value":{"entity-type":"item","numeric-id":3667432,"id":"Q3667432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752432$49974360-474B-4418-B018-A251F7BE4909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ceed6850d70491a28e753a4074263d89621965c","datavalue":{"value":{"entity-type":"item","numeric-id":3810378,"id":"Q3810378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1778c314b989d5dac2ad3800ff5191c03379495c","datavalue":{"value":{"amount":"+0.7410016059875488","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":"Q752432$8021D478-47AE-407B-BC7E-7623BF027A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c3761d972d3a9f28cbddec4bf589e800413de5","datavalue":{"value":{"entity-type":"item","numeric-id":4838046,"id":"Q4838046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5267c571bb685ae0618e1f048b92e11a7c04b5","datavalue":{"value":{"amount":"+0.708009660243988","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":"Q752432$1B8EF8CE-A14F-453A-A4CE-2E3BEF654D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8be1e6f751c6ee465e5428f6fc79aa595d004d","datavalue":{"value":{"entity-type":"item","numeric-id":4520530,"id":"Q4520530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e814916d88d2230bc1844b42483a2e7f5aff8c8","datavalue":{"value":{"amount":"+0.7032257914543152","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":"Q752432$FFFE4172-01D4-4F71-A2AA-84C9009B8140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576bdd40e54091d1d0d6e0002ffd4c7f5a5a6b61","datavalue":{"value":{"entity-type":"item","numeric-id":3788500,"id":"Q3788500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4776ba63c648423afadd13eba8b09549fc4aaafc","datavalue":{"value":{"amount":"+0.700203001499176","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":"Q752432$20EE5299-D487-48A9-B48B-574373B6B85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16207e9368f267de1b5c910852e72e632f2c56d","datavalue":{"value":{"entity-type":"item","numeric-id":5444092,"id":"Q5444092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3685026b18a05845ee9dd132b23fefd91fac04a9","datavalue":{"value":{"amount":"+0.6970434188842773","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":"Q752432$C815C81D-8A0E-442E-B0A6-2DDB7562B295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear mappings are fairly well-behaved","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_mappings_are_fairly_well-behaved"}}}}}