Why metrizable group requires continuity of inverse? A metrizable group is a metric space $(G,d)$ with a binary operation $\cdot$ such $(G,(\cdot))$ is a group and maps $(\cdot):G\times G\to G$ and $f:G\to G$ given by $(\cdot)(x,y)=xy$ and $f(x)=x^{-1}$ are continuous respect $d$.
Why requires definition that $f$ be continuous? Is it possible to have continuity of $(\cdot)$ without continuity of $f$?

Take $G=\mathbb R$ with addition and put on it the topology which has the set $\{(-\infty,a):a\in\mathbb R\}$ as a basis. Then addition is continuous but inversion is not.
You want it metrizable, though...
