We say that an arbitrary manifold (M,∂M) is topologically rigid relative to its ends if it satisfies the following condition. If (N, ∂N) is any other manifold with a compact subset C ⊂ N for which a proper homotopy equivalence h : (N, ∂N)→ (M,∂M) is a homeomorphism on ∂N ∪ (N\C), then there is a compact subset K ⊂ N and a proper homotopy ht : (N, ∂N) → (M,∂M) from h to a homeomorphism such that...