O espaço de Hilbert é de Kolmogorov

Hilbert é $T_1$ e sabemos que todo espaço $T_1$ é $T_0$.