Infinite composition of functions Does the concept of an infinite composition of functions makes sense? In both cases of an countable infinite composition of functions and an uncountable infinite composition.
I don't know how to define it or if even makes sense.
 A: This can be problematic. Consider the case where $f(x)=x+1$ defined on the natural numbers. Then $f^n(x)=x+n$, but now there is a problem to compose this function infinitely many times on itself, because its range would have to be empty.
So one has to impose further conditions on the chain of functions, and possibly on the domain (e.g. some topology, or something like that). Then you can require, for example, $f_\infty(x)=\lim_{n\to\infty} f_n\circ\ldots\circ f_1(x)$, if it exists.
A: At least for the case of self-composition, aka "function iteration" there is a wide discussion about functions with and without fixpoints; attractive and repelling ones - where "fixpoint" means, that if $t$ is the fixpoint $f(t)=t$ . If you consider $f(x) = b^x $ where $b = \sqrt 2$ then if you begin at, say $x_0=3$ you approach with infinitely many self-compositions/iterations $x_{k+1} = b^ {x_k} $the value $x_\infty  =2$ - which also means, that fixpoint $t=2$ is an attracting one.      
Thers's a lot more to say about this; I recommend you look at wikipedia first and follow then links and literature about "functional composition" and "dynamical systems" et. al. 
A: We can in fact make some sense of the notion of infinite composition, but the infinite composition will not exactly unique, just unique enough to work well (I will explain what this means). Suppose that we have a sequence of maps, $$X_0\to X_1\to X_2\to \cdots.$$ Where we denote the map $f_i:X_i\to X_{i+1}$. One issue with defining an infinite composition is that we do not have a target for this composition, namely an $X_{\infty}$. So we must find a way to specify one. In other words, we need a limit of these spaces (actually it is a colimit). This limit will not be unique, BUT given any two their will be a unique isomorphism between them (some more data must be specified to force uniqueness). So we will define $X_{\infty}$ as the solution to a problem. The problem will be to find a set $Y$, along with a batch of maps, $$\phi_i:X_i\to Y$$ such that $\phi_i\circ f_i=\phi_{i+1}$. SO we may find a whole bunch of these SO we will add another condition on this $Y$ (which you may think of a minimality condition). We want our $Y$ to satisfy the condition that if their is another $Z$ and another batch of maps, $\theta_i:X_i\to Z$  such that $\theta_i\circ f_i=\theta_{i+1}$, then their is a unique map, $Y\to Z$ such that the composites $X_i\to Y\to Z$ is equal to $\theta_i$. This is a part of category theory, which is a vast subject and has very wide applicability. For more on this type of limit see here.     
