Relation To The (Generalised) Continuum Hypothesis
Fix an infinite cardinal (e.g. ). Let be the statement: there is no map from sets to sets of size for which either or .
Claim: .
Proof: Part I :
Suppose . Then letting a bijection, we have clearly demonstrates the failure of Freiling's axiom.
Part II :
Suppose that Freiling's axiom fails. Then fix some to verify this fact. Define an order relation on by iff . This relation is total and every point has many predecessors. Define now a strictly increasing chain as follows: at each stage choose . This process can be carried out since for every ordinal, is a union of many sets of size ; thus is of size and so is a strict subset of . We also have that this sequence is cofinal in the order defined, i.e. every member of is some . (For otherwise if is not some, then since the order is total ; implying has many predecessors; a contradiction.) Thus we may well-define a map by . So which is union of many sets each of size . Hence and we are done.
|
(Claim) |
Note that so we can easily rearrange things to obtain that the above mentioned form of Freiling's axiom.
The above can be made more precise: . This shows (together the fact that the continuum hypothesis is independent of choice) a precise way in which the (generalised) continuum hypothesis is an extension of the axiom of choice.
Read more about this topic: Freiling's Axiom Of Symmetry
Famous quotes containing the words relation, continuum and/or hypothesis:
“Parents ought, through their own behavior and the values by which they live, to provide direction for their children. But they need to rid themselves of the idea that there are surefire methods which, when well applied, will produce certain predictable results. Whatever we do with and for our children ought to flow from our understanding of and our feelings for the particular situation and the relation we wish to exist between us and our child.”
—Bruno Bettelheim (20th century)
“The further jazz moves away from the stark blue continuum and the collective realities of Afro-American and American life, the more it moves into academic concert-hall lifelessness, which can be replicated by any middle class showing off its music lessons.”
—Imamu Amiri Baraka (b. 1934)
“The hypothesis I wish to advance is that ... the language of morality is in ... grave disorder.... What we possess, if this is true, are the fragments of a conceptual scheme, parts of which now lack those contexts from which their significance derived. We possess indeed simulacra of morality, we continue to use many of the key expressions. But we have—very largely if not entirely—lost our comprehension, both theoretical and practical, of morality.”
—Alasdair Chalmers MacIntyre (b. 1929)