Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-05T02:09:30.510Z Has data issue: false hasContentIssue false

The Lindelöf Tychonoff Theorem and choice principles

Published online by Cambridge University Press:  24 October 2008

G. Schlitt
Affiliation:
Department of Mathematics, Simon Fraser University, Burnaby, B.C. V5A 1S6, Canada

Abstract

It is an important result in frame theory that the coproduct of a family of regular Lindelöf frames is Lindelöf [3]. We show that this ‘Lindelöf Tychonoff Theorem’ or ‘LTT’ is independent of ZF and indeed lies close in logical strength to the Axiom of Countable Choice, quite unlike the case with the usual (frame) Tychonoff Theorem. Along the way we construct the regular Lindelöf coreflection and obtain a simple proof of the LTT as a corollary.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

‘1’Banaschewski, B.. Universal 0-dimensional Compactifications. In Categorical Topology and its Relation to Algebra, Analysis and Combinatorics (World Scientific, 1989), pp. 257269.Google Scholar
‘2’Banaschewski, B. and Mulvey, C.. Stone–Cěch compactification of locales I. Houston J. Math. 6 (1980), 301311.Google Scholar
‘3’Dowker, C. H. and Strauss, D.. Sums in the category of frames. Houston J. Math. 3 (1976), 1732.Google Scholar
‘4’Johnstone, P. T.. The point of pointless topology. Bull. Amer. Math. Soc. 8 (1983), 4153.CrossRefGoogle Scholar
‘5’Johnstone, P. T.. Stone Spaces. Cambridge Studies in Advanced Math. no. 3. (Cambridge University Press, 1982).Google Scholar
‘6’Johnstone, P. T.. Tychonoff's theorem without the axiom of choice. Fund. Math. 113 (1981), 3135.Google Scholar
‘7’Jech, T.. The Axiom of Choice (North-Holland, 1973).Google Scholar
‘8’Kelley, J. L.. The Tychonoff product theorem implies the axiom of choice. Fund. Math. 37 (1950), 7576.CrossRefGoogle Scholar
‘9’MacLane, S.. Categories for the Working Mathematician. Graduate Texts in Math. no. 5 (Springer-Verlag, 1971).Google Scholar
‘10’Madden, J. and Vermeer, J.. Lindelöf Locales and realcompactness. Math. Proc. Cambridge Philos. Soc. 99 (1986), 473480.CrossRefGoogle Scholar
‘11’Schlitt, G.. N-compact frames (to appear).Google Scholar
‘12’Steen, L. A. and Seebach, J. A.. Counterexamples in Topology (Springer-Verlag, 1978).CrossRefGoogle Scholar
‘13’Vermeulen, J. J. C.. Constructive techniques in functional analysis. Ph.D. thesis, University of Sussex (1987).Google Scholar