Schauder fixed point theorem

[1/0%]
LaTeX

Let E={x∈l2(N):∥x∥≤1}E = \left\{ x \in l^2(\mathbb {N}) : \left\| x\right\| \leq 1 \right\} and for xx in EE define f(x)=((1−∥x∥2)1/2,x(1),x(2),… )f(x) = \left( (1 - \left\| x\right\|^2)^{1/2}, x(1), x(2), \dots \right). Show that f(E)⊆Ef(E) \subseteq E, ff is continuous, and ff has no fixed points.

?

References

[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.