Welcome to MathOverflow

Question

1

Let $X$ be a topological space and let $f:X\rightarrow X$ be a continuous self-morphism of topological spaces. Let $Y$ be a closed $f$-stable subset of $X$, that is, suppose $f(Y)\subseteq Y$. Consider the additional condition that $f^{-1}(Y)=Y$. Is there a terminology for this situation in topological dynamics? I am not sure if there exists a terminology for this, but I am tempted to say $f$ isolates $Y$ if: 1) $Y$ is $f$-stable, and 2) $f^{-1}(Y)=Y$.

flag	asked Dec 27 at 17:11 Mahdi Majidi-Zolbanin 1,792●1●2●11

Adding on to Alexandre's answer: although I am not sure about the origins of the term "completely invariant", the only person that I know of who regularly uses this term is Stankewitz. See, for instance, arxiv.org/abs/math/9810090 and also rstankewitz.iweb.bsu.edu/numcomp.pdf where the term is defined in the background sections. If you can't find a cite-able original reference, maybe you can send him an email and ask where he saw first it. – Vidit Nanda Dec 27 at 21:06

Alexandre Eremenko · Accepted Answer · 2012-12-28 17:19:24Z UTC

6

The commonly accepted term is "completely invariant". A set which is mapped to itself is called simply "invariant" and a stronger property to coincide with its preimage is called complete invariance.

Sometimes "complete invariance" refers to a weaker property that a) the set is invariant, and b) the full preimage is contained in the set.

EDIT. On your further questions: For a reference, see for example the survey "Dynamics of analytic transformations", Leningrad Math. J. (1990). (It is avalable on my web site).

edited Dec 28 at 17:19

answered Dec 27 at 20:27

Alexandre Eremenko
10.6k●1●24●39

	Thank you! Can you suggest a good reference in order to cite this terminology? Also, if $f(Y)\subseteq Y$ and $f^{-1}(Y)\subseteq Y$ then $f^{-1}(Y)=Y$, so I am not sure why you used the term "weaker property"? – Mahdi Majidi-Zolbanin Dec 27 at 20:58
	Hi Alex, I think Mahdi is right - for the exponential map, $f^{-1}(\mathbb{C})=\mathbb{C}$ ... indeed, $f(Y)\subset Y$ is equivalent to $Y\subset f^{-1}(Y)$. – Lasse Rempe-Gillen Dec 28 at 16:19
	Of course, sorry:-) – Alexandre Eremenko Dec 28 at 17:19

Terminology question in dynamical systems

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.