Consequences
Martin's axiom has a number of other interesting combinatorial, analytic and topological consequences:
- The union of k or fewer null sets in an atomless σ-finite Borel measure on a Polish space is null. In particular, the union of k or fewer subsets of R of Lebesgue measure 0 also has Lebesgue measure 0.
- A compact Hausdorff space X with |X| < 2k is sequentially compact, i.e., every sequence has a convergent subsequence.
- No non-principal ultrafilter on N has a base of cardinality < k.
- Equivalently for any x in βN\N we have χ(x) ≥ k, where χ is the character of x, and so χ(βN) ≥ k.
- MA implies that a product of ccc topological spaces is ccc (this in turn implies there are no Suslin lines).
- MA + ¬CH implies that there exists a Whitehead group that is not free; Shelah used this to show that the Whitehead problem is independent of ZFC.
Read more about this topic: Martin's Axiom
Famous quotes containing the word consequences:
“We are still barely conscious of how harmful it is to treat children in a degrading manner. Treating them with respect and recognizing the consequences of their being humiliated are by no means intellectual matters; otherwise, their importance would long since have been generally recognized.”
—Alice Miller (20th century)
“There is not much that even the most socially responsible scientists can do as individuals, or even as a group, about the social consequences of their activities.”
—Eric J. Hobsbawm (b. 1917)
“The horror of Gandhi’s murder lies not in the political motives behind it or in its consequences for Indian policy or for the future of non-violence; the horror lies simply in the fact that any man could look into the face of this extraordinary person and deliberately pull a trigger.”
—Mary McCarthy (1912–1989)