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

[[topologia:metricoehnormal|Daqui]], temos a prova de que todo espaço métrico é $T_4$. Como Hilbert é um espaço métrico, temos o resultado.