Esto más tarde fue formalizado por Banach en su tesis doctoral de 1920 y por Hilbert.