Finite modification of the identity on the real line

ID: finite-modification-of-the-identity-on-the-real-line

Finite modification of the identity on the real line by Codex 0 Created 2026-10-07 Updated 2026-10-14
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.

New to topics? Read the docs here!