The Axiom of Dependent Choice and No Infinite Descending Sequence of Sets Implies Regularity
Let the non-empty set S be a counter-example to the axiom of regularity; that is, every element of S has a non-empty intersection with S. We define a binary relation R on S by, which is entire by assumption. Thus, by the axiom of dependent choice, there is some sequence (an) in S satisfying anRan+1 for all n in N. As this is an infinite descending chain, we arrive at a contradiction and so, no such S exists.
Read more about this topic: Axiom Of Regularity
Famous quotes containing the words sequence, implies, sets, axiom, descending, infinite, choice, dependent and/or regularity:
“We have defined a story as a narrative of events arranged in their time-sequence. A plot is also a narrative of events, the emphasis falling on causality. The king died and then the queen died is a story. The king died, and then the queen died of grief is a plot. The time sequence is preserved, but the sense of causality overshadows it.”
—E.M. (Edward Morgan)
“The student may read Homer or Æschylus in the Greek without danger of dissipation or luxuriousness, for it implies that he in some measure emulate their heroes, and consecrate morning hours to their pages.”
—Henry David Thoreau (18171862)
“In my dealing with my child, my Latin and Greek, my accomplishments and my money stead me nothing; but as much soul as I have avails. If I am wilful, he sets his will against mine, one for one, and leaves me, if I please, the degradation of beating him by my superiority of strength. But if I renounce my will, and act for the soul, setting that up as umpire between us two, out of his young eyes looks the same soul; he reveres and loves with me.”
—Ralph Waldo Emerson (18031882)
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (18091845)
“The sun of her [Great Britain] glory is fast descending to the horizon. Her philosophy has crossed the Channel, her freedom the Atlantic, and herself seems passing to that awful dissolution, whose issue is not given human foresight to scan.”
—Thomas Jefferson (17431826)
“In talking with scholars, I observe that they lost on ruder companions those years of boyhood which alone could give imaginative literature a religious and infinite quality in their esteem.”
—Ralph Waldo Emerson (18031882)
“It was a real treat when hed read me Daisy Miller out loud. But wed reached the point in our relationship when, in a straight choice between him and Henry James, Id have taken Henry James any day even if Henry James were dead and not much of a one for the girls when living, either.”
—Angela Carter (19401992)
“Almost everywhere we find . . . the use of various coercive measures, to rid ourselves as quickly as possible of the child within usi.e., the weak, helpless, dependent creaturein order to become an independent competent adult deserving of respect. When we reencounter this creature in our children, we persecute it with the same measures once used in ourselves.”
—Alice Miller (20th century)
“The question of whether its Gods green earth is not at center stage, except in the sense that if so, one is reminded with some regularity that He may be dying.”
—Edward Hoagland (b. 1932)