=== O espaço de Hilbert é de Tychonoff ===

Basta notar que se um espaço é $T_4$ e $T_3$, então ele é $T_{3\frac{1}{2}}$.