{"entities":{"Q40953":{"pageid":41009,"ns":120,"title":"Item:Q40953","lastrevid":105427493,"modified":"2026-10-09T10:07:43Z","type":"item","id":"Q40953","labels":{"en":{"language":"en","value":"Rank Nullity"}},"descriptions":{"en":{"language":"en","value":"AFP entry Rank_Nullity_Theorem"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b8a36a36908fbfb2fac21ab00c96a7df092ed088","datavalue":{"value":"29239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$FC0E96CC-77E2-40A0-9DB7-973C8CFDA1C2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$31AA75D3-372E-441D-9838-7F51029AACA3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0bdedc3ae2cd2ffda09912091f5db09490783816","datavalue":{"value":"https://www.isa-afp.org/entries/Rank_Nullity_Theorem.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40953$2F7FBFEC-C878-4FC1-9274-DA0364535D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$3CE6A429-1467-4CF5-B985-E142EC6A8B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$6DC500D5-2067-49EC-9B97-38937901FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$6B5E416B-05C3-4A99-A30C-6B37E661745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$B1D3F161-A0C1-41DE-B6FD-2C621CAED169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$90D2A250-1190-48FC-AD33-3058CAAC391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$58D84AC2-334A-443B-A206-17B638C3052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$6813F38F-C795-420E-BBFC-69FC412AB7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$42522FB9-0F78-4EE8-A006-9A18C48CEC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$42C65646-14CC-48A5-B0CA-340A859B675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfa9b7408d026ee7c8797115aff68fa8617418c","datavalue":{"value":"92.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40953$7F7BFB89-1F2B-4BA2-924D-B8322AAB4671","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40f795ade24d8de138c5cb590edabeeb2cff87e5","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$962A479A-03BE-4112-A9C0-8563870FCB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$EE6178D0-E517-49B3-8AF4-0B0596BF86DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$4C72BB4E-9AE2-4F96-8EFA-6189FD250AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$91EA6A32-5DE4-4F83-B5D6-1F050546C2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$CABD471F-5362-4C3D-B9F0-19C36BB12FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$89452933-C996-47F3-8B61-CB844469F1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$84D05636-08B1-45C7-A8B9-A401AEB6BCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1f3f217ad7d25648b72a532a22e5bf696c7db2e","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$42522ED5-6450-4CE8-8FBB-07D5A7F49BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e35607af390e3a347fc5cbd4b8045365c3202773","datavalue":{"value":{"entity-type":"item","numeric-id":40961,"id":"Q40961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$AB61387C-8AD3-4709-B12F-F1221B4C6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$79D22627-DA6F-4CFB-B0D2-897E2D4AA069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$5B17C5F9-CFC6-4D6D-A258-CFCD049CDB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7af76fef8d60c5ff6f83c3b8ce7926e6a38c015f","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$95E633DB-E40A-4B01-BCF1-50340B6EA957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$DB8E4B9F-BC2F-4EFC-800D-A8438A77FCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$EB5A4131-7AB1-4367-898B-F9F6CCD474E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$31C39A3F-3C6E-4EA4-80E1-09BD314370ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8e38176371dfdb2815a862ee0c8c60e172e1b7dc","datavalue":{"value":{"entity-type":"item","numeric-id":22855,"id":"Q22855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$914E4F34-D925-469F-A1E9-1390DCF7AF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$D4B3ADD7-EEDC-4A8E-8146-04ECD9F61E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$BC9B45C7-FB26-4DAB-A496-77507EF48D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"92aaf226b24ee925b05c998570468004f5210bb6","datavalue":{"value":{"entity-type":"item","numeric-id":40318,"id":"Q40318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$73FC222E-CB42-4790-B3C3-322148FF4A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$8801E7CA-3261-4EE3-B1A5-48238C89029A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39a884d618e93f1e0aecedf6a5dbf4b60ebfe487","datavalue":{"value":"https://isa-afp.org/entries/Rank_Nullity_Theorem.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40953$462DB583-1901-4B7C-8F7B-2192B9B4486A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q40953$D4D2E2D2-1FCF-4C08-8185-18991C95D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q40953$D2E9C8D4-642E-4B75-BA80-2BEAAA1ECBAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdf0bdead87a8232e092371381acdc8265447f3f","datavalue":{"value":"In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session of Isabelle. Firstly, a generalization of several theorems of such library are presented. Secondly, some definitions and proofs involving Linear Algebra and the four fundamental subspaces of a matrix are shown. Finally, we present a proof of the result known in Linear Algebra as the \u201cRank-Nullity Theorem\u201d, which states that, given any linear map f from a finite dimensional vector space V to a vector space W, then the dimension of V is equal to the dimension of the kernel of f (which is a subspace of V) and the dimension of the range of f (which is a subspace of W). The proof presented here is based on the one given by Sheldon Axler in his book Linear Algebra Done Right . As a corollary of the previous theorem, and taking advantage of the relationship between linear maps and matrices, we prove that, for every matrix A (which has associated a linear map between finite dimensional vector spaces), the sum of its null space and its column space (which is equal to the range of the linear map) is equal to the number of columns of A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40953$093683B5-6AC8-470D-861C-ED1A2B16474B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eada7cfb9aa54652b8d3d79593803045e4b0c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4356368,"id":"Q4356368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$6A34EDF7-AC45-4345-A7CF-6540F11FC737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4710f3283431db66fdd89b0df586170dd76df311","datavalue":{"value":{"entity-type":"item","numeric-id":3560940,"id":"Q3560940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$3214C976-8C48-469A-99F8-84C0E1E60A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a182d0b9d771c58d711172642e13babdf59a69c7","datavalue":{"value":{"time":"+2013-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40953$861A590A-AE85-4F11-A502-71918AAD078A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f966117b0f63d70c1655eaa0c8ac1e0600368f43","datavalue":{"value":{"text":"Rank-Nullity Theorem in Linear Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40953$F2DF5652-2EFB-48A9-A50F-06EFC0051CE4","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$BDF0D37F-E7C8-4BF6-80B6-FEB633F9BEFD","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40953$6B056948-109C-47D1-8BFB-11C737D2C0F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rank Nullity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rank_Nullity"}}}}}