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 economic dependence of woman and her apparently indestructible illusion that marriage will release her from loneliness and work and worry are potent factors in immunizing her from common sense in dealing with men at work.”
—Mary Barnett Gilson (1877–?)
“We know of no scripture which records the pure benignity of the gods on a New England winter night. Their praises have never been sung, only their wrath deprecated. The best scripture, after all, records but a meagre faith. Its saints live reserved and austere. Let a brave, devout man spend the year in the woods of Maine or Labrador, and see if the Hebrew Scriptures speak adequately to his condition and experience.”
—Henry David Thoreau (1817–1862)
“What comes over a man, is it soul or mind
That to no limits and bounds he can stay confined?
You would say his ambition was to extend the reach
Clear to the Arctic of every living kind.
Why is his nature forever so hard to teach
That though there is no fixed line between wrong and right,
There are roughly zones whose laws must be obeyed?”
—Robert Frost (1874–1963)