We can construct reals by defining a real number as a equivalence class of rational Cauchy sequences. The set of all such equivalence classes have a cardinality strictly larger than Q.
Now consider, in the same fashion, Cauchy sequences of real numbers. Consider two such sequences {ak}∞k=1 and {bk}∞k=1. Define an equivalence relation, in the same way, by (a∼b)⟺limk→∞|ak−bk|=0
By similar proofs as in the rational case, this relation is really an equivalence relation. Now, consider the set of all equivalence classes with respect to the relation \sim defined above. Will this give us a "new type of numbers" or will we just get \mathbb R all over again?
If the cardinality of the set of all equivalence classes of real Cauchy sequences is |\mathbb R|, how would one go on and prove it?
Answer
Each Cauchy sequence (a_n) of reals tends to a real limit a^*. Under
your definition (a_n)\sim (b_n) iff a^*=b^*. So, you'll just get the
real numbers again.
No comments:
Post a Comment