Equivalent conditions for a linear map between two normed spaces to be continuous everywhere

Statement

Given two normed spaces [ilmath](X,\Vert\cdot\Vert_X)[/ilmath] and [ilmath](Y,\Vert\cdot\Vert_Y)[/ilmath] and a linear map [ilmath]L:X\rightarrow Y[/ilmath] between them, then the following are equivalent (meaning if you have 1 you have all the others):

1. If we have a sequence [ilmath](x_n)_{n=1}^\infty\subseteq X[/ilmath] with [ilmath]x_n\rightarrow 0[/ilmath] then [ilmath](\Vert L(x_n)\Vert_Y)_{n=1}^\infty[/ilmath] is a bounded sequence
2. [ilmath]L[/ilmath] is continuous at a point (any point)
3. [ilmath]L[/ilmath] is a bounded linear map, that is [ilmath]\exists A>0\ \forall x\in X[\Vert L(x)\Vert_Y\le A\Vert x\Vert_X][/ilmath]
4. [ilmath]L[/ilmath] is continuous everywhere

Proof

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

See page 154 in