Logistic inverse branches contract in an angular coordinate
ID: logistic-inverse-branches-contract-in-an-angular-coordinate
For the real logistic map with , let be its two inverse branches from to the disjoint subintervals on which . With the homeomorphism , these becomeDirect differentiation givessince . Thus length- itinerary cylinders have angular diameter at most , and ordinary diameter at most because . The nested interval theorem then gives exactly one point for each infinite itinerary. This proves the coding by the one-sided full shift even when the ordinary-coordinate inverse branches are not contractions.
New to topics? Read the docs here!