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:
“the mother lies down on her marriage bed
and eats up her heart like two eggs.”
—Anne Sexton (1928–1974)
“Demoniac possession is mythical; but the faculty of being possessed, more less completely, by an idea is probably the fundamental condition of what is called genius, whether it show itself in the saint, the artist, or the man of science.”
—Thomas Henry Huxley (1825–95)
“To rescue from oblivion even a fragment of a language which men have used and which is in danger of being lost—that is to say, one of the elements, whether good or bad, which have shaped and complicated civilization—is to extend the scope of social observation and to serve civilization.”
—Victor Hugo (1802–1885)