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:
“All married couples should learn the art of battle as they should learn the art of making love. Good battle is objective and honest—never vicious or cruel. Good battle is healthy and constructive, and brings to a marriage the principle of equal partnership.”
—Ann Landers (b. 1918)
“Now, at the end of three years struggle the nation’s condition is not what either party, or any man devised, or expected. God alone can claim it.”
—Abraham Lincoln (1809–1865)
“Dance is bigger than the physical body. ...When you extend your arm, it doesn’t stop at the end of your fingers, because you’re dancing bigger than that; you’re dancing spirit.”
—Judith Jamison (b. 1943)