I've seem similar questions asked about this topic but I've got some additional conditions to prove that I haven't seen and am a bit confused about.
For a linear/antilinear functional $l$ defined on a normed vector space $V$, I'm trying to prove that the following conditions are equivalent:
(i) $l$ is continuous on $V$
(ii) $l$ is sequentially continuous on $V$
(iii) $l$ is continuous at $0$ (zero vector)
(iv) $l$ is sequentially continuous at $0$
(v) $l$ is $bounded$, i.e. there exists $C > 0$ s.t. $$|l(v)| \leq C||v||_V$$ where $||v||_V$ is the norm in V.
I would imagine that the argument for the first two would be the same as for a function; continuity implies sequential continuity because as a sequence $x_k$ converges to a point $x_0$, $F(x_k)$ converges to $F(x_0)$. And by contradiction the converse can be proven.
Then, because V is a metric space, if it's sequentially continuous, it's sequentially compact and therefore compact - leading to boundedness.
But I'm wondering, how is continuity at $0$ different than (i), and how does it imply the other conditions?