Every compact metric space that supports a positively expansive homeomorphism is finite

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/115367We give a simple proof of the title.Published at http://dx.doi.org/10.1214/074921706000000310 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)Dynamical Systems37B05 (Primary) 37B25 (Secondary)Every compact metric space that supports a positively expansive homeomorphism is finitetext