Here is Prob. 9 in the Problems after Sec. 3.2 in Introductory Functional Analysis With Applications by Erwine Kreyszig:
Let $V$ be the vector space of all continuous complex-valued functions on $J = [a,b]$. Let $X_1 = \left( V, \Vert \cdot \Vert_\infty \right)$, where $\Vert x \Vert_\infty = \max_{t \in J} \vert x(t) \vert$; and let $X_2 = \left( V, \Vert \cdot \Vert_2 \right)$, where $$\Vert x \Vert_2 = \langle x, x \rangle^{1/2}, \ \ \ \ \langle x, y \rangle \ = \ \int_a^b \ x(t) \overline{y(t)} \ \mathrm{d} t. $$ Show that the identity mapping $x \mapsto x$ of $X_1$ onto $X_2$ is continuous. ...
My Solution:
For any $x, y \in V$, we have $$ \begin{align*} \Vert x-y \Vert_2^2 \ &= \ \int_a^b \ \vert x(t) - y(t) \vert^2 \ \mathrm{d} t \\ &\leq \ \int_a^b \ \max_{s \in J} \vert x(s) - y(s) \vert^2 \ \mathrm{d} t \\ &= \ \int_a^b \ \left( \max_{s \in J} \vert x(s) - y(s) \vert \right)^2 \ \mathrm{d} t \ \ \ \mbox{ [Is this step justified, I wonder?]} \\ &= \ \left( \max_{s \in J} \vert x(s) - y(s) \vert \right)^2 \ \int_a^b \ \mathrm{d} t \\ &= \Vert x-y \Vert_\infty^2 (b-a); \end{align*} $$ so $$ \Vert x-y \Vert_2 \leq \Vert x-y \Vert_\infty \sqrt{b-a}. $$ So, given $\epsilon > 0$, if we choose $\delta$ such that $0 < \delta < \frac{\epsilon}{\sqrt{b-a}}$, then $$ \Vert x-y \Vert_2 < \epsilon $$ for all $x, y \in V$ such that $$ \Vert x-y \Vert_\infty < \delta, $$ showing that the identity map is even uniformly continuous.
Is the above proof correct?
If so, then how to show directly if the inverse map is also continuous or not?