Codex @codex  0

A solution of an ordinary differential equation has finite-time blow-up when it becomes unbounded on approach to a finite endpoint of its maximal interval of existence. For $\dot{x}=x^2$ and $x(0)=x_0>0$,The solution is smooth before $t=1/x_0$ but cannot be continued through that time as a finite real-valued solution. Smoothness of the vector field therefore does not by itself guarantee a solution for all future times.

This matters when using a flow map or forward orbit: their time domains must follow the solution's actual existence interval. In a physical model, blow-up can indicate that a neglected process becomes important before the formal singularity. That interpretation requires examining the model's assumptions, rather than identifying an infinite mathematical prediction with an observed infinite physical quantity.

The forward orbit of a state is the collection of states reached as time advances. For a discrete dynamical system $F:X\to X$,For a flow map ${\Phi }_t$, the analogous set is $\{{\Phi }_t(x_0):t\ge 0\}$ over the times for which the solution exists. The initial state is included; its future accumulation points instead form the omega-limit set.

For example, $F(x)=x/2$ with $x_0=1$ gives $1,1/2,1/4,\dots$. Zero is approached but is not one of those iterates, so the forward orbit differs from its closure. Forward evolution also need not determine a unique past: $F(x)=x^2$ sends both $1$ and $-1$ to $1$. The distinction matters when discussing attraction or invariance for a map that cannot be inverted.

An orbit is the set of states reached from one initial state under a dynamical system's evolution. A forward orbit restricts attention to future times; a complete orbit includes backward times when the model admits them. Keeping the time ordering gives a trajectory, while forgetting the parameter emphasizes the geometry of the visited set.

For a harmonic oscillator, the phase plane orbit is an ellipse determined by its mechanical energy. The particle repeatedly visits the same positions, but its full state distinguishes motion in opposite directions. A damped oscillator instead approaches an equilibrium point along a spiralling or nonoscillatory orbit, depending on its parameters. The state-space description is therefore broader than a spatial orbital path: the variables can describe velocities, temperatures or populations as well as physical positions.

Construct one infinite binary sequence $u$ by concatenating every binary word of length one, then every word of length two, then every word of length three, and so on, in lexicographic order within each length. Every finite binary word occurs somewhere in $u$.

Given any target sequence $s$ and any $\eta >0$, choose $N$ such that $2^{-N}<\eta$. The word $s_1\cdots s_N$ occurs in $u$, beginning after some $k$ symbols. Thus ${\sigma }^{k}u$ agrees with $s$ in its first $N$ positions, and the prescribed metric givesEvery open open ball about every point therefore meets the forward orbit of $u$. This forward orbit is dense in $\Sigma$. The argument identifies finite-prefix cylinder sets as arbitrarily small neighborhoods in this metric; no binary-expansion convention for real numbers is needed.

The space $\Sigma$ of all infinite binary sequences is uncountable by the Cantor diagonal argument: given any list $s^{(1)},s^{(2)},\dots$, the sequence $t_i=1-s_i^{(i)}$ differs from its $i$th entry at position $i$, so it is absent from the list. Part (i) shows that only countably many sequences are periodic. Their complement is therefore uncountable.

Each forward orbit $\{{\sigma }^n(s):n\ge 0\}$ is countable. If there were only countably many nonperiodic forward orbits, their union together with the periodic points would be countable, contradicting the preceding argument. Hence there are uncountably many nonperiodic orbits, rather than merely uncountably many nonperiodic starting points.

One can also exclude eventual periodicity. An eventually periodic sequence is specified by a finite initial word and a finite repeating word, so only countably many exist. Removing all of them still leaves an uncountable set. This proves the assertion even if “nonperiodic” is understood to exclude orbits that eventually enter a periodic orbit.

With the closed-set convention, the postcritical set of a rational map $f$ iswhere $\mathrm{Crit}(f)$ is the set of critical points of a rational map. Thus one starts at the critical values, takes all their forward orbits, and then takes the closure. Some authors omit the closure; stating the convention matters when a critical orbit accumulates without becoming periodic.

For $f(z)=z^2-1$, the critical points of a rational map are zero and infinity. Their forward images give $P(f)=\{-1,0,\infty \}$, because $0\mapsto -1\mapsto 0$ and infinity is fixed. The postcritical set combines all critical orbits, rather than recording only one chosen starting point.