В теории причинной структуры на лоренцевских многообразиях , теорема Героха в или теорема расщепления Героха в (первом доказала Роберт Герох ) дает топологическую характеристику глобально гиперболическое пространство - время.
Теорема
Позволять быть глобально гиперболическим пространством-временем. потомявляется сильно причинным и существует глобальная «функция времени» на многообразии, то есть непрерывное, сюръективное отображение такой, что:
- Для всех , является поверхностью Коши , а
- строго возрастает на любой причинной кривой .
Более того, все поверхности Коши гомеоморфны и является гомеоморфно к где любая поверхность Коши .