Whilst learning about infinities, I attempted to construct a proof by contradiction that the continuum of real numbers (ℵ1) could not be represented by the set of positive integers (ℵ0). It is as follows (simplified):
Let x be a real number where 0≤x<1. Interpret x as a base-2 string of the form 0.d1d2d3d4…. Let there be an ℵ0-dimensional cube. Each value of x can be represented as the coordinate (d1,d2,d3,d4…) which is a vertex of the cube, therefore there exists a mapping of each real number onto an ℵ0-dimensional cube. An n-dimensional cube has 2n vertices, therefore an ℵ0-dimensional cube has 2ℵ0 vertices, therefore ℵ1=2ℵ0.
If the coordinates of point x are treated as a big-endian bit-string representing a number (i.e. d1 is the 20 digit, d2 is the 21 digit etc.) then x can be mapped to an integer. This integer can have an infinite number of digits. There are ℵ0 integers.
If there is a mapping between the reals and the integers then ℵ0=2ℵ0=ℵ1. This is obviously false, and is what I was trying to disprove. What part(s) of my proof is / are wrong?
No comments:
Post a Comment