{"title":"实闭域中的埃利斯包络半群","authors":"Elías Baro, Daniel Palacín","doi":"10.1007/s13398-024-01562-7","DOIUrl":null,"url":null,"abstract":"<p>We introduce the Boolean algebra of <i>d</i>-semialgebraic (more generally, <i>d</i>-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic (definable) sets. For definably connected o-minimal groups, we prove that this family agrees with the one of externally definable sets in the one-dimensional case. Nonetheless, we prove that in general these two families differ, even in the semialgebraic case over the real algebraic numbers. On the other hand, in the semialgebraic case we characterise real semialgebraic functions representing Boolean combinations of <i>d</i>-semialgebraic sets.</p>","PeriodicalId":21293,"journal":{"name":"Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas","volume":"19 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Ellis enveloping semigroups in real closed fields\",\"authors\":\"Elías Baro, Daniel Palacín\",\"doi\":\"10.1007/s13398-024-01562-7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We introduce the Boolean algebra of <i>d</i>-semialgebraic (more generally, <i>d</i>-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic (definable) sets. For definably connected o-minimal groups, we prove that this family agrees with the one of externally definable sets in the one-dimensional case. Nonetheless, we prove that in general these two families differ, even in the semialgebraic case over the real algebraic numbers. On the other hand, in the semialgebraic case we characterise real semialgebraic functions representing Boolean combinations of <i>d</i>-semialgebraic sets.</p>\",\"PeriodicalId\":21293,\"journal\":{\"name\":\"Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas\",\"volume\":\"19 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-03-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s13398-024-01562-7\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s13398-024-01562-7","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
我们引入了 d-半代数(更广义地说,d-可定义)集合的布尔代数,并证明它的石空间与半代数(可定义)集合的布尔代数石空间的埃利斯包络半群天然同构。对于可定义连接的邻极小群,我们证明这个族与一维情况下的外可定义集合的族一致。尽管如此,我们证明了这两个族在一般情况下是不同的,甚至在实代数数的半代数情况下也是不同的。另一方面,在半代数情况下,我们描述了代表 d 半代数集合布尔组合的实半代数函数的特征。
We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic (definable) sets. For definably connected o-minimal groups, we prove that this family agrees with the one of externally definable sets in the one-dimensional case. Nonetheless, we prove that in general these two families differ, even in the semialgebraic case over the real algebraic numbers. On the other hand, in the semialgebraic case we characterise real semialgebraic functions representing Boolean combinations of d-semialgebraic sets.