Definition:Attractor

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a dynamical system in a space $X$.

Let $T$ be an iterative mapping in $S$:

$x_{n + 1} = \map T {x_n}$

An attractor is an invariant set $A$ in $X$ towards which nearby points $x$ converge, that is:

$T \sqbrk A = A$
$x_n = \map {T^n} x$ approaches $A$ as $n$ increases for points close to $A$.


Examples

Origin under Complex Square Function

Consider the complex function $f: \C \to \C$ defined as:

$\forall z \in \C: \map f z = z^2$

Then the origin $\tuple {0, 0}$ of the Argand plane is an attractor.


Also see

  • Results about attractors can be found here.


Sources