Misplaced Pages

In mathematics, two functions are said to be topologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy, and related-but-distinct § Topological equivalence of flows, are important in the study of iterated functions and more generally dynamical systems, since, if the dynamics of one iterative function can be determined, then that for a topologically conjugate function follows trivially.

To illustrate this directly: suppose that ${\displaystyle f}$ and ${\displaystyle g}$ are iterated functions, and there exists a homeomorphism ${\displaystyle h}$ such that

${\displaystyle g=h^{-1}\circ f\circ h,}$

so that ${\displaystyle f}$ and ${\displaystyle g}$ are topologically conjugate. Then one must have

${\displaystyle g^{n}=h^{-1}\circ f^{n}\circ h,}$

and so the iterated systems are topologically conjugate as well. Here, ${\displaystyle \circ }$ denotes function composition.

Definition

${\displaystyle f\colon X\to X,g\colon Y\to Y}$, and ${\displaystyle h\colon Y\to X}$ are continuous functions on topological spaces, ${\displaystyle X}$ and ${\displaystyle Y}$.

${\displaystyle f}$ being topologically semiconjugate to ${\displaystyle g}$ means, by definition, that ${\displaystyle h}$ is a surjection such that ${\displaystyle f\circ h=h\circ g}$.

${\displaystyle f}$ and ${\displaystyle g}$ being topologically conjugate means, by definition, that they are topologically semiconjugate and ${\displaystyle h}$ is furthermore injective, then bijective, and its inverse is continuous too; i.e. ${\displaystyle h}$ is a homeomorphism; further, ${\displaystyle h}$ is termed a topological conjugation between ${\displaystyle f}$ and ${\displaystyle g}$.

Flows

Similarly, ${\displaystyle \phi }$ on ${\displaystyle X}$, and ${\displaystyle \psi }$ on ${\displaystyle Y}$ are flows, with ${\displaystyle X,Y}$, and ${\displaystyle h\colon Y\to X}$ as above.

${\displaystyle \phi }$ being topologically semiconjugate to ${\displaystyle \psi }$ means, by definition, that ${\displaystyle h}$ is a surjection such that ${\displaystyle \phi (h(y),t)=h\circ \psi (y,t)}$, for each ${\displaystyle y\in Y}$, ${\displaystyle t\in \mathbb {R} }$.

${\displaystyle \phi }$ and ${\displaystyle \psi }$ being topologically conjugate means, by definition, that they are topologically semiconjugate and h is a homeomorphism.

Examples

• The logistic map and the tent map are topologically conjugate.
• The logistic map of unit height and the Bernoulli map are topologically conjugate.
• For certain values in the parameter space, the Hénon map when restricted to its Julia set is topologically conjugate or semi-conjugate to the shift map on the space of two-sided sequences in two symbols.

Discussion

Topological conjugation – unlike semiconjugation – defines an equivalence relation in the space of all continuous surjections of a topological space to itself, by declaring ${\displaystyle f}$ and ${\displaystyle g}$ to be related if they are topologically conjugate. This equivalence relation is very useful in the theory of dynamical systems, since each class contains all functions which share the same dynamics from the topological viewpoint. For example, orbits of ${\displaystyle g}$ are mapped to homeomorphic orbits of ${\displaystyle f}$ through the conjugation. Writing ${\displaystyle g=h^{-1}\circ f\circ h}$ makes this fact evident: ${\displaystyle g^{n}=h^{-1}\circ f^{n}\circ h}$. Speaking informally, topological conjugation is a "change of coordinates" in the topological sense.

However, the analogous definition for flows is somewhat restrictive. In fact, we are requiring the maps ${\displaystyle \phi (\cdot ,t)}$ and ${\displaystyle \psi (\cdot ,t)}$ to be topologically conjugate for each ${\displaystyle t}$, which is requiring more than simply that orbits of ${\displaystyle \phi }$ be mapped to orbits of ${\displaystyle \psi }$ homeomorphically. This motivates the definition of topological equivalence, which also partitions the set of all flows in ${\displaystyle X}$ into classes of flows sharing the same dynamics, again from the topological viewpoint.

Topological equivalence

We say that two flows ${\displaystyle \phi }$ and ${\displaystyle \psi }$ are topologically equivalent, if there is a homeomorphism ${\displaystyle h:Y\to X}$, mapping orbits of ${\displaystyle \psi }$ to orbits of ${\displaystyle \phi }$ homeomorphically, and preserving orientation of the orbits. In other words, letting ${\displaystyle {\mathcal {O}}}$ denote an orbit, one has

${\displaystyle h({\mathcal {O}}(y,\psi ))=\{h\circ \psi (y,t):t\in \mathbb {R} \}=\{\phi (h(y),t):t\in \mathbb {R} \}={\mathcal {O}}(h(y),\phi )}$

for each ${\displaystyle y\in Y}$. In addition, one must line up the flow of time: for each ${\displaystyle y\in Y}$, there exists a ${\displaystyle \delta >0}$ such that, if ${\displaystyle 0<\vert s\vert <t<\delta }$, and if s is such that ${\displaystyle \phi (h(y),s)=h\circ \psi (y,t)}$, then ${\displaystyle s>0}$.

Overall, topological equivalence is a weaker equivalence criterion than topological conjugacy, as it does not require that the time term is mapped along with the orbits and their orientation. An example of a topologically equivalent but not topologically conjugate system would be the non-hyperbolic class of two dimensional systems of differential equations that have closed orbits. While the orbits can be transformed to each other to overlap in the spatial sense, the periods of such systems cannot be analogously matched, thus failing to satisfy the topological conjugacy criterion while satisfying the topological equivalence criterion.

Smooth and orbital equivalence

More equivalence criteria can be studied if the flows, ${\displaystyle \phi }$ and ${\displaystyle \psi }$, arise from differential equations.

Two dynamical systems defined by the differential equations, ${\displaystyle {\dot {x}}=f(x)}$ and ${\displaystyle {\dot {y}}=g(y)}$, are said to be smoothly equivalent if there is a diffeomorphism, ${\displaystyle h:X\to Y}$, such that

${\displaystyle f(x)=M^{-1}(x)g(h(x))\quad {\text{where}}\quad M(x)={\frac {\mathrm {d} h(x)}{\mathrm {d} x}}.}$

In that case, the dynamical systems can be transformed into each other by the coordinate transformation, ${\displaystyle y=h(x)}$.

Two dynamical systems on the same state space, defined by ${\displaystyle {\dot {x}}=f(x)}$ and ${\displaystyle {\dot {x}}=g(x)}$, are said to be orbitally equivalent if there is a positive function, ${\displaystyle \mu :X\to \mathbb {R} }$, such that ${\displaystyle g(x)=\mu (x)f(x)}$. Orbitally equivalent system differ only in the time parametrization.

Systems that are smoothly equivalent or orbitally equivalent are also topologically equivalent. However, the reverse is not true. For example, consider linear systems in two dimensions of the form ${\displaystyle {\dot {x}}=Ax}$. If the matrix, ${\displaystyle A}$, has two positive real eigenvalues, the system has an unstable node; if the matrix has two complex eigenvalues with positive real part, the system has an unstable focus (or spiral). Nodes and foci are topologically equivalent but not orbitally equivalent or smoothly equivalent, because their eigenvalues are different (notice that the Jacobians of two locally smoothly equivalent systems must be similar, so their eigenvalues, as well as algebraic and geometric multiplicities, must be equal).

Generalizations of dynamic topological conjugacy

There are two reported extensions of the concept of dynamic topological conjugacy:

1. Analogous systems defined as isomorphic dynamical systems
2. Adjoint dynamical systems defined via adjoint functors and natural equivalences in categorical dynamics.

See also

• Commutative diagram

References

1. Arnold V. I. Geometric Methods in the Theory of Ordinary Differential Equations (Springer, 2020)
2. Arnold V. I. Geometric Methods in the Theory of Ordinary Differential Equations (Springer, 2020)
3. Alligood, K. T., Sauer, T., and Yorke, J.A. (1997). Chaos: An Introduction to Dynamical Systems. Springer. pp. 114–124. ISBN 0-387-94677-2.{{cite book}}: CS1 maint: multiple names: authors list (link)
4. Devaney, R.; Nitecki, Z. (1979). "Shift automorphisms in the Hénon mapping". Comm. Math. Phys. 67 (2): 137–146. Bibcode:1979CMaPh..67..137D. doi:10.1007/bf01221362. S2CID 121479458. Retrieved 2 September 2016.
5. Kuznetsov, Yuri A. (1998). Elements of Bifurcation Theory (Second ed.). Springer. ISBN 0-387-98382-1.
6. "Complexity and Categorical Dynamics". Archived from the original on August 19, 2009.
7. "Analogous systems, Topological Conjugacy and Adjoint Systems". Archived from the original on 2015-02-25.

This article incorporates material from topological conjugation on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

v t e Chaos theory
Concepts	Core Attractor Bifurcation Fractal Limit set Lyapunov exponent Orbit Periodic point Phase space Anosov diffeomorphism Arnold tongue axiom A dynamical system Bifurcation diagram Box-counting dimension Correlation dimension Conservative system Ergodicity False nearest neighbors Hausdorff dimension Invariant measure Lyapunov stability Measure-preserving dynamical system Mixing Poincaré section Recurrence plot SRB measure Stable manifold Topological conjugacy Theorems Ergodic theorem Liouville's theorem Krylov–Bogolyubov theorem Poincaré–Bendixson theorem Poincaré recurrence theorem Stable manifold theorem Takens's theorem
Theoretical branches	Bifurcation theory Control of chaos Dynamical system Ergodic theory Quantum chaos Stability theory Synchronization of chaos
Chaotic maps (list)	Discrete Arnold's cat map Baker's map Complex quadratic map Coupled map lattice Duffing map Dyadic transformation Dynamical billiards outer Exponential map Gauss map Gingerbreadman map Hénon map Horseshoe map Ikeda map Interval exchange map Irrational rotation Kaplan–Yorke map Langton's ant Logistic map Standard map Tent map Tinkerbell map Zaslavskii map Continuous Double scroll attractor Duffing equation Lorenz system Lotka–Volterra equations Mackey–Glass equations Rabinovich–Fabrikant equations Rössler attractor Three-body problem Van der Pol oscillator
Physical systems	Chua's circuit Convection Double pendulum Elastic pendulum FPUT problem Hénon–Heiles system Kicked rotator Multiscroll attractor Population dynamics Swinging Atwood's machine Tilt-A-Whirl Weather
Chaos theorists	Michael Berry Rufus Bowen Mary Cartwright Chen Guanrong Leon O. Chua Mitchell Feigenbaum Peter Grassberger Celso Grebogi Martin Gutzwiller Brosl Hasslacher Michel Hénon Svetlana Jitomirskaya Bryna Kra Edward Norton Lorenz Aleksandr Lyapunov Benoît Mandelbrot Hee Oh Edward Ott Henri Poincaré Itamar Procaccia Mary Rees Otto Rössler David Ruelle Caroline Series Yakov Sinai Oleksandr Mykolayovych Sharkovsky Nina Snaith Floris Takens Audrey Terras Mary Tsingou Marcelo Viana Amie Wilkinson James A. Yorke Lai-Sang Young
Related articles	Butterfly effect Complexity Edge of chaos Predictability Santa Fe Institute

• Topological dynamics
• Homeomorphisms