Surfaces of infinite-type are non-Hopfian

Abstract

We show that finite-type surfaces are characterized by a topological analogue of the Hopf property. Namely, an oriented surface Σ is of finite-type if and only if every proper map f:Σ→Σ of degree one is homotopic to a homeomorphism.