A finite modification agrees with the identity map outside a finite exceptional set. Sorting that set gives a unique finite record of pairs . Real-number pairing by separated digits encodes the record in , and placing length- records in disjoint intervals gives an injection from all finite modifications into the real line. Conversely, changing the value at one fixed point gives a real-parameter family, so the Cantor-Schröder-Bernstein theorem shows this family has continuum cardinality.
Articles by others on the same topic
There are currently no matching articles.