Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
How do you define $\bigcirc_{i=1}^\infty f_i$? – joriki Sep 10 '12 at 16:12
$\left( \cdots \circ f_n \circ f_{n-1} \circ \cdots \circ f_1 \right)$ – torrho Sep 10 '12 at 16:17
Yes, I thought as much, but what does that mean? If $f_i:\mathbb R\to\mathbb R,x\to-x$, then what is $\bigcirc_{i=1}^\infty f_i$? – joriki Sep 10 '12 at 16:19
oh wow. Thats almost analogous to the "chicken or the egg" delimma... So then, perhaps it is not possible to define deterministic infinite composition, correct? – torrho Sep 10 '12 at 16:21
There is a useful notion of 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. – t.b. Sep 10 '12 at 17:47
up vote 2 down vote accepted

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.

share|cite|improve this answer
Wow! You've resurrected this from the grave and gave a solid answer. Thanks. – torrho Jan 16 '14 at 23:04
+1 in appreciation for resurrecting a question which I was wondering about myself, and came across post via searching. – user105475 Jun 6 '14 at 0:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.