1
$\begingroup$

Just out of curiosity that came from a topology homework assignment where I had to show the composition of 3 injective functions was injective.

Suppose $f_i : A_i \mapsto A_{i+1}$ were injective where $i \in \mathbb{N}$. I know that the composition of n such functions, i.e. $\bigcirc_{i=1}^n f_i$, is injective. But what about $\bigcirc_{i=1}^\infty f_i$? Is this an injective function?

Also, is composition bounded to countability? That is, I think that the definition of composition limits us to an ordering which means that we can't have a composition of uncountably many functions. Is this true?

  • 1
    There *is* a useful notion of [transfinite composition](http://ncatlab.org/nlab/show/transfinite+composition) for an arbitrary number of functions. However, the construction is somewhat abstract (and sorry, I couldn't find a more palatable link). If you have functions between sets or topological spaces it turns out that the transfinite composition of injective functions still is injective.2012-09-10

1 Answers 1

4

Though I'm very late in noticing this, I thought it still deserved an answer.

It's entirely possible to define a "deterministic" infinite composition.

Any sequence of functions has a sequence of left compositions (which was how you were composing them) and a sequence of right compositions. Any topology on the function space determines which sequences of functions converge and which don't. If the topology is Hausdorff, sequences have at most one limit, so you get a workable definition of infinite composition.

(This is the same for any binary operation on a topological space, whether that's addition, composition, or whatever.)

Obviously the function joriki mentioned, $x \mapsto -x$, won't have a convergent infinite self-composition sequence under most topologies you'd care to think about.

The infinite composition of injective functions need not be injective. For instance, the function $f:x \mapsto x/2$ has the self-composition sequence $f_k: x \mapsto x/2^k$ which converges pointwise to the constant zero function.

  • 0
    +1 in appreciation for resurrecting a question which I was wondering about myself, and came across post via searching.2014-06-06