E bir ön Hubert uzayı, (?)nin bir birim dikey dizgesi olmak üzere, her (?)için sağlanan (?)eşitsizliği.