- #1
poochie_d
- 18
- 0
Given a set S (say, the set of real numbers), define recursively as follows:
[itex]A_1 = S, \quad A_n = P(S)[/itex] for n > 1 (here P(S) = power set of S).
Is this valid? I am worried because the range of this function is not specified. (In fact, I don't know what the range should be... It certainly can't be the set of all sets!)
EDIT: The formula should actually read [itex]A_1 = S, \quad A_n = P(A_{n-1})[/itex], not [itex]A_n = P(S)[/itex].
[itex]A_1 = S, \quad A_n = P(S)[/itex] for n > 1 (here P(S) = power set of S).
Is this valid? I am worried because the range of this function is not specified. (In fact, I don't know what the range should be... It certainly can't be the set of all sets!)
EDIT: The formula should actually read [itex]A_1 = S, \quad A_n = P(A_{n-1})[/itex], not [itex]A_n = P(S)[/itex].
Last edited: