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:
“For the marriage bed ordained by fate for men and women is stronger than an oath and guarded by Justice.”
—Aeschylus (525–456 B.C.)
“I would fain say something, not so much concerning the Chinese and Sandwich Islanders as you who read these pages, who are said to live in New England; something about your condition, especially your outward condition or circumstances in this world, in this town, what it is, whether it is necessary that it be as bad as it is, whether it cannot be improved as well as not.”
—Henry David Thoreau (1817–1862)
“A strong nation, like a strong person, can afford to be gentle, firm, thoughtful, and restrained. It can afford to extend a helping hand to others. It’s a weak nation, like a weak person, that must behave with bluster and boasting and rashness and other signs of insecurity.”
—Jimmy Carter (James Earl Carter, Jr.)