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:
“And what if my descendants lose the flower
Through natural declension of the soul,
Through too much business with the passing hour,
Through too much play, or marriage with a fool?”
—William Butler Yeats (1865–1939)
“In strict science, all persons underlie the same condition of an infinite remoteness. Shall we fear to cool our love by mining for the metaphysical foundation of this elysian temple? Shall I not be as real as the things I see? If I am, I shall not fear to know them for what they are.”
—Ralph Waldo Emerson (1803–1882)
“At any rate, the line is
Long and electric. Lean beyond and nod.
Be sprightly. Wave. Extend your hand and teeth.”
—Gwendolyn Brooks (b. 1917)