On Stone's theorem and the Axiom of Choice |
| |
Authors: | C Good I J Tree W S Watson |
| |
Institution: | School of Mathematics and Statistics, University of Birmingham, Edgbaston B15 2TT, England ; 62 Arle Gardens, Cheltenham, Gloucestershire GL51 8HR, England W. S. Watson ; Department of Mathematics, York University, North York, Ontario, Canada M3J 1P3 |
| |
Abstract: | It is a well established fact that in Zermelo-Fraenkel set theory, Tychonoff's Theorem, the statement that the product of compact topological spaces is compact, is equivalent to the Axiom of Choice. On the other hand, Urysohn's Metrization Theorem, that every regular second countable space is metrizable, is provable from just the ZF axioms alone. A. H. Stone's Theorem, that every metric space is paracompact, is considered here from this perspective. Stone's Theorem is shown not to be a theorem in ZF by a forcing argument. The construction also shows that Stone's Theorem cannot be proved by additionally assuming the Principle of Dependent Choice. |
| |
Keywords: | |
|
| 点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息 |
| 点击此处可从《Proceedings of the American Mathematical Society》下载免费的PDF全文 |
|