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:
“With my desire to write he seemed in full sympathy, and in urging our early marriage he argued that my first necessity was leisure in which to develop and to master my craft. It appeared to me that with such a man as teacher and guide I could not fail, and it was in a queer mixture of young love and vaulting ambition that I became a wife.”
—Rheta Childe Dorr (1866–1948)
“Man’s biological weakness is the condition of human culture.”
—Erich Fromm (1900–1980)
“It is not enough to merely defend democracy. To defend it may be to lose it; to extend it is to strengthen it. Democracy is not property; it is an idea.”
—Hubert H. Humphrey (1911–1978)