If the forward orbit of under an isometry is totally bounded, choose a finite net whose centers are and let . For every sufficiently large , some center is within of , so cancellation gives . Thus is a syndetic set. Telescoping also gives .
Articles by others on the same topic
There are currently no matching articles.