Alexander's trick, also known as the Alexander trick, is a basic result in geometric topology, named after J. W. Alexander.
Two homeomorphisms of the n-dimensional ball which agree on the boundary sphere are isotopic.
More generally, two homeomorphisms of Dn that are isotopic on the boundary are isotopic.
Base case: every homeomorphism which fixes the boundary is isotopic to the identity relative to the boundary.
If satisfies , then an isotopy connecting f to the identity is given by