This is an old revision of the document!
Iterated function
Set
| $ f:X\to X $ |
| $ n\in \mathbb N, n\neq 0 $ |
| $ f^n $ |
Iteratively defined as follows:
| $ f^1:=f $ |
| $ f^{n}:=f\circ f^{n-1} $ |
Discussion
We call a function idempotent if $f^2=f$. We say it's an involution if $f^2=\text{id}$.
| $f$ … idempotent $\equiv f^2=f$ |
| $f$ … involution $\equiv f^2=\text{id}$ |
Parents
Subset of
Requirements
