Finalement, elle n'est pas surjective, puisque S(U)_0 = U_1, donc U_0 n'a pas d'antécédent par S.
S est une application de l'espace des suites dans lui-même. Parler de l'antécédent de U_0 n'a pas de sens.
S est bien une application surjective. Soit u = (u_0,u_1,u_2,... ) un élément de E. Alors, par exemple, la suite v = (1,u_0,u_1,u_2,...) vérifie bien S(v) = u. Donc v est un antécédent de u par S (remarque que tu peux remplacer le 1 par n'importe quel réel).
En revanche S n'est pas injective, puisque par exemple les suites (0,0,0,...) et (1,0,0,0,...) ont la même image.