Aspects of Constructive Dynamical Systems
Julia B. Hendtlass · 2009
We give a Bishop-style constructive analysis of the statement that a continuous homomorphism from R onto a compact metric abelian group is periodic; constructive versions of this statement and its contrapositive are given. It is shown that the existence of a minimal period in general is not derivable, but the minimal period is derivable under a simple geometric condition when the group is contained in R. A number of results about one-one and injective mappings are proved en route to our main theorems. A few Brouwerian examples show that some of our results are the best possible in a constructive framework.