The Ball to Ball Theorem

The ball to ball theorem is presented, which states that a map from the 4-ball to itself, restricting to a homeomorphism on the 3-sphere, whose inverse sets are null and have nowhere dense image, is approximable by homeomorphisms relative to the boundary. The approximating homeomorphisms are produced abstractly, as in the previous chapter, with no need to investigate the decomposition elements further. In the proof of the disc embedding theorem, a decomposition of the 4-ball will be constructed, called the gaps+ decomposition. The ball to ball theorem will be used to prove that this decomposition shrinks; this is called the β-shrink.