The Eventual Image, Eventually
Posted by Tom Leinster
More than ten years ago, I wrote a series of posts (1, 2, 3) about what happens when you iterate a process for an infinite amount of time. I know just how that feels: it’s taken me until now to finish writing it up. But finally, it’s done:
Tom Leinster, The eventual image. arXiv:2210.00302, 2022.
What is the eventual image? I’ll tell you in nine ways.
But first let me explain the general idea.
The theory of dynamical systems is mostly about what happens eventually — towards time . Some dynamical notions lay their hands on what happens “at” time . The most basic example of this is the concept of limit. Here I’m thinking of examples like a space , an endomorphism of , and a point . Then the sequence may have a limit point.
Incidentally, I’m focusing here on discrete-time dynamical systems, where we apply once with every tick of the clock. Of course, continuous-time systems are super-important too, but I’m not going to talk about them here.
What becomes of the concept of the image (range) of a function at time ? With the same notation, we’re looking at the sequence
of subspaces at , or in other notation,
In the mathematical literature, the term “eventual image” is generally taken to mean . Or in honest truth, what you see more often is “eventual range”, because the people who study this kind of thing are mostly people who say “range” where category theorists say “image”.
My paper is about some very humble dynamical systems, nothing like as complex as the ones that researchers in dynamical systems study. The distinguishing feature is that they’re endomorphisms on finite objects, whatever “finite” means — and I’ll come back to that. But because the systems I’m studying are so special, many things are true of them that aren’t true in general. The equivalence of the nine definitions of eventual image is a case in point.
Here we go.
Let be an endomorphism in some category. To keep my descriptions simple, I’ll assume it’s the category of finite sets. After the nine descriptions of the eventual image that I’m about to give you, I’ll come back to the question of which categories this all makes sense in.
Now, here are nine equivalent definitions of the eventual image of an endomorphism of a finite set .
The eventual image of is the limit of the diagram
That is, is the set of double sequences satisfying for all integers .
The eventual image of is the colimit of the same diagram. That is, is the set of equivalence classes of “tails” with for all , where such a tail is equivalent to another tail if for all sufficiently large .
The eventual image of is the terminal finite set equipped with an automorphism and a map in the category of endomorphisms. That is: it’s the underlying set of the universal map from a finite-set-with-automorphism to the finite-set-with-endomorphism .
The eventual image of is the initial set equipped with an automorphism and a map in the category of endomorphisms. That is: it’s the underlying set of the universal map to a finite-set-with-automorphism from the finite-set-with-endomorphism .
The eventual image of is the limit of the diagram
Concretely, that means . That’s the definition of eventual image/range that you’ll usually find in the literature.
The eventual image of is the colimit of the diagram
Concretely, , where if and only if for some .
The eventual image of is the largest subset of satisfying . (In fact, it satisfies .)
The eventual image of is , where is the finest equivalence relation on such that .
The eventual image of is the set of periodic points of .
It’s not very hard to prove directly that these nine definitions are equivalent. In my paper, the proof is embedded in a larger theoretical framework.
In the nine definitions, I confined myself to the category of finite sets. What about other categories?
In the paper, I say that a general category has eventual image duality if, for all endomorphisms in it, the limit in definition 1 and the colimit in definition 2 exist and the canonical map between them is an isomorphism. Then the two dual universal properties in definitions 3 and 4 follow.
For example, the category of finite sets has eventual image duality, but the category of all sets doesn’t (Example 2.2).
The main theorem says that any category admitting a factorization system “of finite type” has eventual image duality. The definition of finite type imposes several axioms, but the most important is a kind of two-way Dedekind finiteness: any endomorphism that belongs to either the left class or the right class of the factorization system is invertible. For example:
On the category of finite-dimensional vector spaces, the injections and surjections form a factorization system of finite type, as any injective or surjective linear endomorphism is invertible. Indeed, the category of finite-dimensional vector spaces has eventual image duality.
Less obviously, on the category of compact metric spaces and distance-decreasing maps, the isometries and surjections also form a factorization system of finite type. Hence this category too has eventual image duality.
The main theorem also tells us that eventual images can be constructed as in definitions 5 and 6, in a category with a factorization system of finite type.
Definitions 7 and 8 are special cases of the second-biggest result in the paper, Theorem 5.4. This characterizes the eventual image as a terminal coalgebra and, dually, an initial algebra. Again, the setting for this is a category with a factorization system of finite type. We need the factorization system to give us a proxy for the notion of subset in the case of finite sets.
Definition 9 is more ticklish. In the three examples I’ve mentioned, the following things are true:
for finite sets, ;
for finite-dimensional vector spaces, ;
for compact metric spaces, .
But I don’t know a good general statement. Nor do I know if there’s a dual statement. (You’ll have noticed that 9 is an odd number.) I hope someone else will figure it out.
Re: The Eventual Image, Eventually
I assume what you really want for Definition 9 is to define periodic maps into and out of , then show that these are the maps factoring through .