Science Fair Project Encyclopedia
Axiom of dependent choice
In mathematics, the axiom of dependent choice is a weak form of the axiom of choice which is still sufficient to develop most of real analysis.
The axiom can be stated as follows: For any nonempty set X and any entire binary relation R on X, there is a sequence (xn) in X such that xnRxn+1 for each n in N. (Here an entire binary relation on X is one such that for each a in X there is a b in X such that aRb.) Note that even without such an axiom we could form the first n terms of such a sequence, for any natural number n; the axiom of dependent choice merely says that we can form a whole sequence this way, which is intuitively obvious.
See also: axiom of countable choice
Last updated: 10-11-2005 07:29:21
03-10-2013 05:06:04
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details