# Realification of a separable complex Hilbert space

Let $(H,\langle \cdot , \cdot \rangle_H)$ be a separable complex Hilbert space. Furthermore let $H^\mathbb{R}$ denote the realification of $H$ (simply ignore the possibility of scalar multiplication with anything other than real scalars). We can equip $H^\mathbb{R}$ with the inner product $\langle x, y \rangle = Re(\langle x, y \rangle_H)$ and one can show that $( H^\mathbb{R},\langle \cdot, \cdot \rangle)$ is again a Hilbert space.

Question:

Is $( H^\mathbb{R},\langle \cdot, \cdot \rangle)$ separable under the new topology induced by $\langle \cdot, \cdot \rangle$? If so, how do I show it?

Note that since for any $x\in H$ we have $\langle x, x\rangle=\overline{\langle x, x\rangle}$ then $$\langle x, x\rangle\in\mathbb{R}$$
$$d(x, y)=\sqrt{\langle x-y, x-y\rangle}$$