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:
“Every expansion of government in business means that government in order to protect itself from the political consequences of its errors and wrongs is driven irresistibly without peace to greater and greater control of the nation’s press and platform. Free speech does not live many hours after free industry and free commerce die.”
—Herbert Hoover (1874–1964)
“The consequences of our actions grab us by the scruff of our necks, quite indifferent to our claim that we have “gotten better” in the meantime.”
—Friedrich Nietzsche (1844–1900)
“Cultivate the habit of thinking ahead, and of anticipating the necessary and immediate consequences of all your actions.... Likewise in your pleasures, ask yourself what such and such an amusement leads to, as it is essential to have an objective in everything you do. Any pastime that contributes nothing to bodily strength or to mental alertness is a totally ridiculous, not to say, idiotic, pleasure.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)