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:
“Why don’t you go home to your wife? I’ll tell you what. I’ll go home to your wife and outside of the improvements, you’ll never know the difference. Pull over to the side of the road there and let me see your marriage license.”
—S.J. Perelman, U.S. screenwriter, Bert Kalmar, Harry Ruby, and Norman Z. McLeod. Groucho Marx, Horsefeathers, a wisecrack made to Huxley College’s outgoing president (1932)
“Our own peculiar human condition is that we are as fit to be laughed at as able to laugh.”
—Michel de Montaigne (1533–1592)
“Good-by, my book! Like mortal eyes, imagined ones must close some day. Onegin from his knees will rise—but his creator strolls away. And yet the ear cannot right now part with the music and allow the tale to fade; the chords of fate itself continue to vibrate; and no obstruction for the sage exists where I have put The End: the shadows of my world extend beyond the skyline of the page, blue as tomorrow’s morning haze—nor does this terminate the phrase.”
—Vladimir Nabokov (1899–1977)