{"title":"Parthasarathy, shift-compactness and infinite combinatorics","authors":"Nicholas H. Bingham, Adam J. Ostaszewski","doi":"10.1007/s13226-024-00638-9","DOIUrl":null,"url":null,"abstract":"<p>Parthasarathy’s heritage has a hidden component arising from a variant of his concept of shift-compactness which yields quick proofs of fundamental theorems reviewed here. We demonstrate the closeness of the variant notion to his original one as arising in the <i>tacit</i> treatment of all possible convergent centrings. We also include a very short proof of the Effros Mapping Theorem – a non-linear version of the Open Mapping Theorem. This is deduced from a shift-compactness theorem. Both these can be given a constructive form by implementing a constructive improvement to a theorem on the separation of points and closed nowhere dense sets.\n</p>","PeriodicalId":501427,"journal":{"name":"Indian Journal of Pure and Applied Mathematics","volume":"31 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Indian Journal of Pure and Applied Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s13226-024-00638-9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Parthasarathy’s heritage has a hidden component arising from a variant of his concept of shift-compactness which yields quick proofs of fundamental theorems reviewed here. We demonstrate the closeness of the variant notion to his original one as arising in the tacit treatment of all possible convergent centrings. We also include a very short proof of the Effros Mapping Theorem – a non-linear version of the Open Mapping Theorem. This is deduced from a shift-compactness theorem. Both these can be given a constructive form by implementing a constructive improvement to a theorem on the separation of points and closed nowhere dense sets.