Cardinalities of topologies with small base
Abstract
Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a base of cardinality <= mu, lambda <= mu < 2^lambda, lambda strong limit of cofinality aleph_0, then T has cardinality <= mu or >= 2^lambda. This is our main conclusion. First we prove it under some set theoretic assumption, which is clear when lambda = mu ; then we eliminate the assumption by a theorem on pcf from [Sh 460] motivated originally by this. Next we prove that the simplest examples are the basic ones; they occur in every example (for lambda = aleph_0 this fulfill a promise from [Sh 454]). The main result for the case lambda = aleph_0 was proved in [Sh 454].
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- March 1994
- DOI:
- 10.48550/arXiv.math/9403219
- arXiv:
- arXiv:math/9403219
- Bibcode:
- 1994math......3219S
- Keywords:
-
- Mathematics - Logic;
- Mathematics - General Topology
- E-Print:
- Ann. Pure Appl. Logic 68 (1994), 95--113