{"title":"Silva空间的范畴不是积分的","authors":"Marianne Lawson, Sven-Ake Wegner","doi":"10.4310/HHA.2023.v25.n1.a19","DOIUrl":null,"url":null,"abstract":"We establish that the category of Silva spaces, aka LS-spaces, formed by countable inductive limits of Banach spaces with compact linking maps as objects and linear and continuous maps as morphisms, is not an integral category. The result carries over to the category of PLS-spaces, i.e., countable projective limits of LS-spaces -- which contains prominent spaces of analysis such as the space of distributions and the space of real analytic functions. As a consequence, we obtain that both categories neither have enough projective nor enough injective objects. All results hold true when 'compact' is replaced by 'weakly compact' or 'nuclear'. This leads to the categories of PLS-, PLS$_{\\text{w}}$- and PLN-spaces, which are examples of 'inflation exact categories with admissible cokernels' as recently introduced by Henrard, Kvamme, van Roosmalen and the second-named author.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The category of Silva spaces is not integral\",\"authors\":\"Marianne Lawson, Sven-Ake Wegner\",\"doi\":\"10.4310/HHA.2023.v25.n1.a19\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We establish that the category of Silva spaces, aka LS-spaces, formed by countable inductive limits of Banach spaces with compact linking maps as objects and linear and continuous maps as morphisms, is not an integral category. The result carries over to the category of PLS-spaces, i.e., countable projective limits of LS-spaces -- which contains prominent spaces of analysis such as the space of distributions and the space of real analytic functions. As a consequence, we obtain that both categories neither have enough projective nor enough injective objects. All results hold true when 'compact' is replaced by 'weakly compact' or 'nuclear'. This leads to the categories of PLS-, PLS$_{\\\\text{w}}$- and PLN-spaces, which are examples of 'inflation exact categories with admissible cokernels' as recently introduced by Henrard, Kvamme, van Roosmalen and the second-named author.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2021-07-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.4310/HHA.2023.v25.n1.a19\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4310/HHA.2023.v25.n1.a19","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We establish that the category of Silva spaces, aka LS-spaces, formed by countable inductive limits of Banach spaces with compact linking maps as objects and linear and continuous maps as morphisms, is not an integral category. The result carries over to the category of PLS-spaces, i.e., countable projective limits of LS-spaces -- which contains prominent spaces of analysis such as the space of distributions and the space of real analytic functions. As a consequence, we obtain that both categories neither have enough projective nor enough injective objects. All results hold true when 'compact' is replaced by 'weakly compact' or 'nuclear'. This leads to the categories of PLS-, PLS$_{\text{w}}$- and PLN-spaces, which are examples of 'inflation exact categories with admissible cokernels' as recently introduced by Henrard, Kvamme, van Roosmalen and the second-named author.