Topological conjugacy

Topological conjugacy

In mathematics, two functions are said to be topologically conjugate to one another if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy is important in the study of iterated functions and more generally dynamical systems, since, if the dynamics of one iterated function can be solved, then those for any topologically conjugate function follow trivially.

To illustrate this directly: suppose that "f" and "g" are iterated functions, and there exists an "h" such that

:g=h^{-1}circ fcirc h,

so that "f" and "g" are topologically conjugate. Then of course one must have

:g^n=h^{-1}circ f^ncirc h,

and so the iterated systems are conjugate as well. Here, circ denotes function composition.

As examples, the logistic map and the tent map are topologically conjugate. Furthermore, the logisitic map of unit height and the Bernoulli map are topologically conjugate.

Definition

Let X and Y be topological spaces, and let fcolon X o X and gcolon Y o Y be continuous functions. We say that f is topologically semiconjugate to g, if there exists a continuous surjection hcolon Y o X such that fcirc h=hcirc g. If h is a homeomorphism, then we say that f and g are topologically conjugate, and we call h a topological conjugation between f and g.

Similarly, a flow varphi on X is topologically semiconjugate to a flow psi on Y if there is a continuous surjection hcolon Y o X such that varphi(h(y),t) = hpsi(y,t) for each yin Y, tin mathbb{R}. If h is a homeomorphism then psi and varphi are topologically conjugate.

Discussion

Topological conjugation defines an equivalence relation in the space of all continuous surjections of a topological space to itself, by declaring f and 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 g are mapped to homeomorphic orbits of f through the conjugation. Writing g = h^{-1}circ fcirc h makes this fact evident: 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 varphi(cdot,t) and psi(cdot,t) to be topologically conjugate for each t, which is requiring more than simply that orbits of varphi be mapped to orbits of psi homeomorphically. This motivates the definition of topological equivalence, which also partitions the set of all flows in X into classes of flows sharing the same dynamics, again from the topological viewpoint.

Topological Equivalence

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

:h(mathcal{O}(y,psi)) = {h(psi(y,t)): tinmathbb{R}} = {varphi(h(y),t):tinmathbb{R}}= mathcal{O}(h(y),varphi)

for each yin Y. In addition, one must line up the flow of time: for each yin Y, there exists a delta>0 such that, if 0, and if s is such that varphi(h(y),s) = h(psi(y,t)), then 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 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.

ee also

*Commutative diagram


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Conjugacy class — In mathematics, especially group theory, the elements of any group may be partitioned into conjugacy classes; members of the same conjugacy class share many properties, and study of conjugacy classes of non abelian groups reveals many important… …   Wikipedia

  • Conjugacy problem — In abstract algebra, the conjugacy problem for a group G with a given presentation is the decision problem of determining, given two words x and y in G, whether or not they represent conjugate elements of G. That is, the problem is to determine… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • List of topology topics — This is a list of topology topics, by Wikipedia page. See also: topology glossary List of general topology topics List of geometric topology topics List of algebraic topology topics List of topological invariants (topological properties)… …   Wikipedia

  • Rotation number — This article is about the rotation number, which is sometimes called the map winding number or simply winding number. There is another meaning for winding number, which appears in complex analysis. In mathematics, the rotation number is an… …   Wikipedia

  • Milnor–Thurston kneading theory — The Milnor–Thurston kneading theory is a mathematical theory which analyzes the iterates of piecewise monotone mappings of an interval into itself. The emphasis is on understanding the properties of the mapping that are invariant under… …   Wikipedia

  • Sylvain Cappell — Infobox Person name = Sylvain Cappell image size = 150px caption = Sylvain Cappell birth name = birth date = 1947 birth place = Belgium death date = death place = death cause = resting place = resting place coordinates = residence = nationality …   Wikipedia

  • Iterated function — In mathematics, iterated functions are the objects of deep study in computer science, fractals and dynamical systems. An iterated function is a function which is composed with itself, repeatedly, a process called iteration.DefinitionThe formal… …   Wikipedia

  • Пример Боуэна — Фазовый портрет примера Боуэна Пример Боуэна, или гетероклиническ …   Википедия

  • Covering space — A covering map satisfies the local triviality condition. Intuitively, such maps locally project a stack of pancakes above an open region, U, onto U. In mathematics, more specifically algebraic topology, a covering map is a continuous surjective… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”