{"title":"度量环和格的完备性结果","authors":"G. Bergman","doi":"10.29252/CGASA.11.1.149","DOIUrl":null,"url":null,"abstract":"The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\\{0\\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Together, these facts answer a question posed by J.Gleason. From this example, rings of arbitrary characteristic with the corresponding properties are obtained. \nThe result that $B$ is complete in its metric is generalized to show that if $L$ is a lattice given with a metric satisfying identically either the inequality $d(x\\vee y,\\,x\\vee z)\\leq d(y,z)$ or the inequality $d(x\\wedge y,\\,x\\wedge z)\\leq d(y,z),$ and if in $L$ every increasing Cauchy sequence converges and every decreasing Cauchy sequence converges, then every Cauchy sequence in $L$ converges; i.e., $L$ is complete as a metric space. \nWe show by example that if the above inequalities are replaced by the weaker conditions $d(x,\\,x\\vee y)\\leq d(x,y),$ respectively $d(x,\\,x\\wedge y)\\leq d(x,y),$ the completeness conclusion can fail. We end with two open questions.","PeriodicalId":170235,"journal":{"name":"Categories and General Algebraic Structures with Application","volume":"35 4","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Completeness results for metrized rings and lattices\",\"authors\":\"G. Bergman\",\"doi\":\"10.29252/CGASA.11.1.149\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\\\\{0\\\\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Together, these facts answer a question posed by J.Gleason. From this example, rings of arbitrary characteristic with the corresponding properties are obtained. \\nThe result that $B$ is complete in its metric is generalized to show that if $L$ is a lattice given with a metric satisfying identically either the inequality $d(x\\\\vee y,\\\\,x\\\\vee z)\\\\leq d(y,z)$ or the inequality $d(x\\\\wedge y,\\\\,x\\\\wedge z)\\\\leq d(y,z),$ and if in $L$ every increasing Cauchy sequence converges and every decreasing Cauchy sequence converges, then every Cauchy sequence in $L$ converges; i.e., $L$ is complete as a metric space. \\nWe show by example that if the above inequalities are replaced by the weaker conditions $d(x,\\\\,x\\\\vee y)\\\\leq d(x,y),$ respectively $d(x,\\\\,x\\\\wedge y)\\\\leq d(x,y),$ the completeness conclusion can fail. We end with two open questions.\",\"PeriodicalId\":170235,\"journal\":{\"name\":\"Categories and General Algebraic Structures with Application\",\"volume\":\"35 4\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-08-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Categories and General Algebraic Structures with Application\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.29252/CGASA.11.1.149\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Categories and General Algebraic Structures with Application","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29252/CGASA.11.1.149","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Completeness results for metrized rings and lattices
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\{0\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Together, these facts answer a question posed by J.Gleason. From this example, rings of arbitrary characteristic with the corresponding properties are obtained.
The result that $B$ is complete in its metric is generalized to show that if $L$ is a lattice given with a metric satisfying identically either the inequality $d(x\vee y,\,x\vee z)\leq d(y,z)$ or the inequality $d(x\wedge y,\,x\wedge z)\leq d(y,z),$ and if in $L$ every increasing Cauchy sequence converges and every decreasing Cauchy sequence converges, then every Cauchy sequence in $L$ converges; i.e., $L$ is complete as a metric space.
We show by example that if the above inequalities are replaced by the weaker conditions $d(x,\,x\vee y)\leq d(x,y),$ respectively $d(x,\,x\wedge y)\leq d(x,y),$ the completeness conclusion can fail. We end with two open questions.