Marriage Condition Does Not Extend
The following example, due to Marshall Hall, Jr., shows that the marriage condition (MC) will not guarantee the existence of an SDR in an infinite family in which infinite sets are allowed.
Let S be the family, A0 = {1, 2, 3, ...}, A1 = {1}, A2 = {2}, ..., Ai = {i}, ...
The marriage condition (MC) holds for this infinite family, but no SDR can be constructed.
The more general problem of selecting a (not necessarily distinct) element from each of a collection of sets (without restriction as to the number of sets or the size of the sets) is permitted in general only if the axiom of choice is accepted.
Read more about this topic: Hall's Marriage Theorem
Famous quotes containing the words marriage, condition and/or extend:
“Some collaboration has to take place in the mind between the woman and the man before the art of creation can be accomplished. Some marriage of opposites has to be consummated. The whole of the mind must lie wide open if we are to get the sense that the writer is communicating his experience with perfect fullness.”
—Virginia Woolf (1882–1941)
“The difference between tragedy and comedy is the difference between experience and intuition. In the experience we strive against every condition of our animal life: against death, against the frustration of ambition, against the instability of human love. In the intuition we trust the arduous eccentricities we’re born to, and see the oddness of a creature who has never got acclimatized to being created.”
—Christopher Fry (b. 1907)
“Here files of pins extend their shining rows,
Puffs, powders, patches, bibles, billet-doux.”
—Alexander Pope (1688–1744)