см. 515.165.7 Топология многообразий с инфинитезимальной связностью. Топология римановых многообразий