Paperfolding sequences, paperfolding curves and local isomorphism (Q424587)

Given an integer \(n\), an \(n\)-folding curve is obtained by folding \(n\) times a strip of paper, either up or down, and unfolding it with right angles. The author presents a generalization of the usual notion of infinite folding curve in order to define complete folding curves as those curves without endpoint which are the union of increasing sequences of \(n\)-folding curves for an integer \(n\).NEWLINENEWLINEThe author then proves that any complete folding curve can be extended (in a standard way) into a covering of \(\mathbb{R}^2\) by disjoint such curves satisfying the local isomorphism property used to investigate aperiodic tiling systems. Moreover, it is proved that this covering contains at most six curves.