Векторные поля Киллинга и однородная и изотропная вселенная

Приведены основные теоремы о векторных полях Киллинга. В частности, рассмотрены пространства постоянной кривизны. Дано подробное доказательство теоремы, описывающей наиболее общий вид метрики однородного и изотропного пространства-времени. Хотя теорему можно считать общеизвестной, её полное доказательство трудно найти в литературе. В качестве примера рассмотрена метрика, пространственные сечения которой имеют постоянную кривизну, но, тем не менее, вся метрика не является однородной и изотропной. Дано также новое эквивалентное определение однородной и изотропной вселенной в геометрических терминах вложенных многообразий.