🕷️ Crawler Inspector

URL Lookup

Direct Parameter Lookup

Raw Queries and Responses

1. Shard Calculation

Query:

Response:

Calculated Shard: 145 (from laksa197)

2. Crawled Status Check

Query:

curl -X POST \
  'http://laksa145.int.ahrefs:8124/' \
  -H 'Content-Type: text/plain' \
  -H 'X-ClickHouse-Database: crawler3' \
  -H 'Authorization: Basic YXBpOg==' \
  -d 'SELECT getAhrefsURLFromUnparsed(src_unparsed) AS found_url, ifNull(toUnixTimestamp(download_stamp), 0) AS crawl_time, ifNull(toUnixTimestamp(props_url_first_seen), 0) AS first_indexed_time, download_http_code AS http_code, src_unparsed AS src_unparsed, src_root_hash AS src_root_hash, history_drop_reason AS history_drop_reason, meta_title AS meta_title, meta_descriptions AS meta_descriptions, attrs_boilerpipe_text AS attrs_boilerpipe_text, attrs_markdown AS attrs_markdown, attrs_readable_markdown AS attrs_readable_markdown, meta_canonical AS meta_canonical FROM crawler3.page_info_local FINAL PREWHERE (src_root_hash, src_unparsed) IN ((getAhrefsRootHashFromUnparsed(getAhrefsUnparsedNoserviceFromURL(\'http://mathemlib.ru/mathenc/item/f00/s01/e0001595/index.shtml\')), getAhrefsUnparsedNoserviceFromURL(\'http://mathemlib.ru/mathenc/item/f00/s01/e0001595/index.shtml\'))) FORMAT JSONEachRow'

Response:

{"found_url":"http:\/\/mathemlib.ru\/mathenc\/item\/f00\/s01\/e0001595\/index.shtml","crawl_time":1776026740,"first_indexed_time":1376050034,"http_code":200,"src_unparsed":"ru,mathemlib!\/mathenc\/item\/f00\/s01\/e0001595\/index.shtml h80","src_root_hash":"10820099066668670145","history_drop_reason":null,"meta_title":"ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ","meta_descriptions":["Статья энциклопедии 'ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ'"],"attrs_boilerpipe_text":" &nbsp\nНОВОСТИ\n  \nБИБЛИОТЕКА\n  \nЭНЦИКЛОПЕДИЯ\n  \nБИОГРАФИИ\n  \nКАРТА САЙТА\n  \nССЫЛКИ\n  \nО ПРОЕКТЕ\n &nbsp\nДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ\nДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ - раздел дифференциальной геометрии, изучающий различные инфинитезимальные структуры на многообразии и их связи со структурой многообразия и его топологией.\nК середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского, многомерной геометрии Грассмана, а также развития проективной геометрии и геометрии в комплексной области стало ясно, что привычная евклидова геометрия не является единственно возможной, и в математике с пользой можно развивать другие неевклидовы геометрии, независимо от их отношения к геометрии физического пространства.\nВ 1854 Б. Риман (В. Riemann) в лекции «О гипотезах, лежащих в основании геометрии» предложил новую, весьма плодотворную концепцию «многообразия» (см. Риманово пространство). Тем самым он положил напало римановой геометрии, являющейся важнейшей и наиболее разработанной частью Д. г. м. Концепция Римана не только позволила единообразно описать широкий класс геометрий (включая евклидову геометрию и неевклидову геометрию Лобачевского), но и дала математич. аппарат, в рамках к-рого разнообразные задачи математич. физики и анализа, связанные с дифференциальными уравнениями, получили геометрич. трактовку, что позволило применять для их решения различные геометрич. и топологич. соображения, открыв новые возможности для применения геометрии к анализу. Именно в рамках римановой геометрии А. Эйнштейну (A. Einstein) удалось реализовать идеи о физич. пространстве как о континууме, свойства к-рого определяются распределением материи. Римановым пространством наз. дифференцируемое многообразие М, у к-рого в каждом касательном пространстве Т\np\nМ задана евклидова метрика g\np\n(т. е. положительно определенное скалярное произведение), гладко зависящая от точки р ∈ М. Наличие в касательном пространстве Т\np\nМ риманова пространства М скалярного произведения позволяет по формулам евклидовой геометрии определить угол между инфи-нитезимальными кривыми (т. е. векторами из Т\np\nМ), длину инфинитезимальной кривой, а также объем k-мерного параллелепипеда в Т\np\nM, а затем, с помощью интегрирования, длину гладкой кривой на М и объем k-мерного подмногообразия в М. Это, в свою очередь, позволяет рассматривать в рамках римановой геометрии различные вариационные задачи и, в частности, определить в римановом пространстве понятие геодезической (или геодезической линии) как кривой экстремальной длины и минимальной поверхности, как подмногообразия экстремального объема.\nИзучение геодезических риманова пространства представляет собой одну из основных задач современной (глобальной) римановой геометрии. Важность ее для приложений определяется тем, что разнообразные динамич. системы физики интерпретируются как равномерное движение по геодезическим того или иного псевдориманова пространства. К таким системам относятся, напр., движения пробных тел (см. Геодезических гипотеза) в общей теории относительности, распространение света в неоднородной среде в приближении геометрической оптики, различные системы классической механики. Было обнаружено, что нек-рые важные уравнения с частными производными (уравнение движения идеальной жидкости и уравнение Эйнштейна общей теории относительности) интерпретируются как уравнения геодезических для нек-рых бесконечномерных римановых пространств, называемых также гильбертовыми многообразиями (см. [5], [12]). Эти открытия стимулировали развитие геометрии бесконечномерных многообразий - глобальный анализ.\nУравнения геодезических удается полностью проинтегрировать только в редких случаях. В связи с этим важную роль приобретают геометрич. и топологич. методы качественного исследования поведения геодезических. Важнейшим среди них является созданная М. Морсом (М. Morse) вариационная теория геодезических (см. Морса теория).\nОбобщение теории Морса на псевдоримановы пространства привело к доказательству теорем сингулярности, утверждающих, что в рамках общей теории относительности физическое пространство-время, как правило, должно обладать сингулярностью (неполными геодезическими). Физически сингулярности интерпретируются, напр., как «черные дыры» (см. [7]).\nПоведение геодезических риманова пространства в значительной степени определяется его кривизны тензором - тензором Римана - геометрическим объектом, характеризующим отклонение риманова пространства от евклидова. Подобно гауссовой кривизне поверхности, обобщением к-рой он является, тензор кривизны риманова пространства М в точке х определяет свойства пространства М в окрестности точки х. Более того, тензор кривизны несет богатую информацию о глобальных свойствах риманова пространства и о его топологии, напр. о фундаментальной группе, о Бетти числах и о характеристических классах. Изучение связи между локальными свойствами тензора кривизны и глобальными свойствами риманова пространства составляет одну из главных задач современной глобальной римановой геометрии.\nЛюбое подмногообразие N риманова пространства М наследует от М структуру риманова пространства. Изучение подмногообразий риманова пространства, а также выяснение вопроса о реализации данного риманова пространства N в виде подмногообразия данного риманова пространства М составляют основное содержание геометрии подмногообразий (см. также Изометрическое погружение).\nВажным направлением исследования римановых пространств, начатым работами С. Ли (S. Lie) и В. Киллинга (W. Killing), является изучение его группы движений (т. е. преобразований, сохраняющих длины кривых), к-рая всегда есть группа Ли. Многие римановы пространства М обладают достаточно богатой группой движений, причем наличие такой группы оказывается очень полезным при изучении целого ряда геометрии, вопросов. Наличие транзитивной группы движений G позволяет свести изучение геометрии и топологии пространства М к вопросам теории групп Ли (см. Однородное пространство).\nОписание (связной) группы G движений риманова пространства (М, g) сводится к описанию алгебры Ли инфипитезимальных движений (или, иначе, Киллинга векторов), определяемых как поля скоростей однопараметрич. подгрупп группы G. Важную роль играют качественные геометрич. методы изучения киллинговых полей и выяснение связи между киллинговыми полями и геометрич. свойствами пространства, прежде всего свойствами его тензора кривизны. Так, напр., доказывается, что в компактном римановом пространстве с отрицательной кривизной Риччи не существует киллинговых полей; интегральная кривая киллингова поля, проходящая через точку экстремума его длины, является геодезической [16]; поведение киллингова поля X вблизи его неподвижных точек (точек, где Х = 0) определяет важный топологич. инвариант риманова пространства - его Понтрягина числа [19].\nОсобый интерес представляют римановы пространства, обладающие достаточно большой группой движений. Как обнаружил еще в 1868 Г. Гельмгольц (Н. Helmholtz) и строго доказал С. Ли, n-мерное риманово пространство М, обладающее для данного n максимальной (в смысле размерности) группой движений является постоянной кривизны пространством (а именно, евклидовым пространством Е\nn\n, пространством Лобачевского Λ\nn\nили сферич. пространством Римана S\nn\n). Наиболее близкими к пространствам постоянной кривизны по своим свойствам являются симметрические пространства, т. е. римановы пространства, в к-рых геодезич. симметрия относительно произвольной точки является движением. Эти пространства всегда имеют транзитивную группу движений и допускают классификацию с помощью теории полупростых алгебр Ли (см. [8]).\nВажную роль в дифференциальной геометрии играет понятие ковариантной производной\n∇X\nT тензорного поля Т на М по направлению вектора X ∈ Т\np\nМ, к-рое ввел Г. Риччи (G. Ricci), развивший на основе этого понятия «абсолютное дифференциальное исчисление» (см. Тензорный анализ). Аппарат ковариантного дифференцирования оказался удобным для получения инвариантов геометрических объектов. Так, найденная Э. Кристоффелем (Е. Christoffel) и Р. Липшицем (К. Liepschitz) полная система инвариантов римановой метрики состоит из тензора кривизны и его последовательных ковариантных производных.\nПонятие ковариантной производной позволяет канонич. образом определить в римановом пространстве ряд дифференциальных операторов, свойства к-рых тесно связаны с геометрией пространства. Важнейшими из них являются оператор Бельтрами-Лапласа Д, введенный Э.Бельтрами (Е. Beltrami) и совпадающий для евклидова пространства с Лапласа оператором. Широкий класс линейных уравнений с частными производными 2-го порядка получает интерпретацию в рамках псевдо-римановых пространств как уравнений, соответствующих оператору Бельтрами-Лапласа. Это позволяет использовать риманову геометрию для изучения уравнений. Первый пример такого подхода (для уравнений теплопроводности) был дан Б. Риманом [1]. К настоящему времени получены результаты, устанавливающие связь между свойствами оператора Бельтрами - Лапласа риманова пространства, в частности его спектром, и геометрией пространства - его кривизной, числом замкнутых геодезических и т. п. (см. [19]).\nГеометрическую интерпретацию понятия ковариантной производной дал Т. Леви-Чивита (Т. Levi-Civita). Он показал, что в римановом пространстве можно каноническим образом определить параллельный перенос касательных векторов (тензоров) вдоль кривых, а оператор ковариантной производной Риччи является оператором инфинитезимального параллельного переноса (см. Леви-Чивита связность).\nВ 1926 Э. Картан (Е. Cartan) ввел понятие голоно-нии группа, как группы Г\np\nлинейных преобразований касательного пространства Т\np\nМ риманова пространства М, порожденной операторами τ\nγ\nпараллельного обноса вдоль всевозможных петель γ. Оказалось, что группа голономии тесно связана с тензором кривизны пространства и для односвязного аналитич. пространства полностью определяется тензором кривизны в точке и всеми его ковариантными производными, - с другой стороны, она содержит нек-рую информацию о геометрии и топологии пространства. Так, зная группу голономии, можно найти все параллельные поля, а также решить вопрос о возможности разложения риманова пространства в прямое произведение двух других римановых пространств. По группе голономии симметрич. пространства можно восстановить само пространство и описать его группу движений.\nВ 1919 Г. Вейль (Н. Weyl), развивая идею параллельного переноса Т. Леви-Чивита и обобщая риманову концепцию пространства, рассмотрел пространство линейной связности - многообразие, в к-ром задан закон параллельного переноса касательных векторов вдоль кривых. В пространстве линейной связности определяются понятия геодезической, тензора кривизны, группы голономии. Риманово пространство является частным случаем пространства линейной связности, для к-рого группа голономии содержится в ортогональной группе. Если группа голономии содержится в линейной группе гомотетий ℝ*⋅SO(n), то связность наз. конформной. В этом случае на многообразии возникает конформная структура.\nРазвитие идей Г. Вейля привело к созданию современной теории связности, изучающей связность (т. е. закон параллельного перенесения слоев вдоль кривых на базе) в данном расслоении. В рамках теории связ-ностей развивается, в частности, теория характеристич. классов [11], [14]. Важную роль играет понятие связности в современной физике. Различные физич. поля (в частности, электромагнитное и гравитационное) могут быть интерпретированы как поля кривизны связности в том или ином расслоении в рамках теории Янга-Миллса. Наличие связности в любом физич. расслоении, т. е. расслоении, сечениями к-рого являются физич. поля, вытекает из физич. возможности сравнения характеристик поля в разных точках пространства - времени.\nДругим обобщением риманова пространства является финслерово пространство, определяемое как многообразие с финслеровой метрикой. Примером такой метрики является лагранжиан механич. системы. Финслеровы многообразия естественным образом появляются также и в оптике.\nНовый групповой подход к обоснованию геометрии, известный под названием «эрлангенской программы», был предложен Ф. Клейном (F. Klein) в 1872. В качестве основного объекта изучения геометрии Ф. Клейн предложил рассматривать G-пространство - множество М вместе с заданной группой G его преобразований.\nОсновной задачей геометрии по Клейну является изучение инвариантов группы преобразований (см. Эрлангенская программа). Несмотря на то, что подход Ф. Клейна оказался слишком узким - многие важные римановы пространства обладают тривиальной группой движений, - этот подход сыграл важную роль в развитии Д. г. м. Он привлек внимание к важному классу - однородным пространствам (т. е. G-пространствам с транзитивной группой G), изучение геометрии к-рых сводится в рамках эрлангенской программы к вопросам теории групп Ли, и способствовал дальнейшему обобщению концепции Римана. Это обобщение состояло в рассмотрении геометрии других (неримано-вых) инфинитезимальных структур на многообразии, задаваемых полем тех или иных геометрич. величин. Многие из этих структур впервые появились как инварианты группы движений того или иного однородного пространства.\nПримерами неримановых инфинитезимальных геометрич. структур являются абсолютный параллелизм (поле реперов), конформная связность, проективная связность, линейная связность, распределение (или, более общо, флаговая структура), почти комплексная структура, почти симплектическая структура, поле аффиноров и т. п. Геометрия этих структур развивается по аналогии с римановой геометрией. Ее основными вопросами являются следующие: 1) Построение по данной геометрической структуре других (производных от нее) структур и, в частности, инвариантов. Иными словами, построение функторов из категории геометрич. структур данного типа в другие категории. 2) Изучение группы автоморфизмов геометрич. структуры, изучение геометрич. структур с достаточно большой группой автоморфизмов, описание структур данного типа с максимальной группой автоморфизмов, классификация структур данного типа на однородных пространствах. 3) Проблема эквивалентности, т. е. нахождение необходимых и достаточных условий для того, чтобы две геометрич. структуры были эквивалентны. 4) Изучение связи между топологией и структурой гладкого многообразия, с одной стороны, и свойствами заданной на нем геометрич. структуры - с другой. 5) Изучение отображений многообразий с геометрич. структурами, в частности изучение расслоений и подмногообразий.\nНаиболее важным классом геометрических структур являются транзитивные структуры или G-структуры (см. [10]). Все перечисленные выше примеры структур (кроме поля аффиноров) являются G-структурами. Общая теория G-структур основана на двух фундаментальных идеях Э. Картана: понятии продолжения и понятии структурной функции. В частности, для римановой метрики эти понятия приводят к параллельному перенесению Левц-Чивиты и тензору кривизны. Теория G-структур конеиного типа развивается во многом аналогично римановой геометрии. В геометрии G-структур бесконечного типа наиболее изученные вопросы относятся к случаю локально плоских (интегрируемых) структур. Важнейшими из них являются комплексная структура (см. Аналитическое многообразие) и симплектическая структура, лежащая в основе гамильтоновой механики.\nЭ. Картан, развивая геометрич. методы решения систем уравнений с частными производными (систем Пфаффа), создал теорию внешних дифференциальных форм, оказавшую исключительно большое влияние на развитие дифференциальной геометрии. Оператор внешнего дифференцирования d оказался полезным для выражения условия интегрируемости систем уравнений с частными производными. Так, напр., необходимым и достаточным условием полной интегрируемсти систем уравнений Пфаффа ω\n1\n= ... = ω\nk\n= 0 является замкнутость идеала J, порожденного линейными дифференциальными формами ω\n1\n, ..., ω\nk\nотносительно d(dJ ⊂ J) (Фробениуса теорема). Теория дифференциальных форм была успешно применена Э. Картаном для решения разнообразных задач дифференциальной геометрии и теории групп Ли подвижного репера методом. Теория интегрирования устанавливает связь между исчислением дифференциальных форм и гомологиями многообразия (см. Рама когомологии, Дифференциальная форма).\nВ римановом пространстве оператор внешнего дифференцирования d выражается через оператор ковариантного дифференцирования ∇. Более того, теория Ходжа устанавливает глубокую связь между оператором d и оператором Бельтрами-Лапласа Λ, действующим в пространстве дифференциальных форм, к-рый можно выразить через оператор ∇. Теорема Ходжа утверждает, что пространство когомологий компактного многообразия изоморфно пространству гармонических (т. е. аннулируемых оператором Λ) дифференциальных форм (см. Гармоническая форма). Это и ряд других утверждений теории Ходжа дает информацию о строении кольца когомологий H*М риманова пространства, обладающего нетривиальными параллельными дифференциальными формами (см. Параллельное поле) и, тем самым, имеющего нестандартную группу голономии Г ≠ SO(n), О(n). Примерами таких пространств являются кэлеровы многообразия и симметрические пространства.\nВажным направлением исследований современной дифференциальной геометрии является изучение естественных расслоений над произвольным многообразием М (касательных и кокасательных расслоений порядка k, тензорных расслоений, расслоений реперов порядка k, расслоений струй и др.) и выявление имеющихся там естественных (т. е. инвариантных относительно диффеоморфизмов многообразия М) геометрических структур. Примерами таких структур являются канонические симплектическая структура в кокасательном расслоении Т*М и контактная структура в расслоении J\n1\n(M, ℝ) 1-струй функций на М, играющие важную роль в теории дифференциальных уравнений с частными производными 1-го порядка и в гамильтоновой механике, а также оператор внешнего дифференцирования в расслоении Λ*(М) внешних дифференциальных форм на М.\nУспешно развивается алгебраич. подход к дифференциальной геометрии. В качестве исходного понятия рассматривается не многообразие M, а коммутативное кольцо F(кольцо функций на многообразии), а само многообразие М определяется в терминах кольца F как пространство максимальных идеалов (см. Схема). Векторные поля на М определяются как дифференцирования кольца (см. Дифференциальный оператор модуля). Такой подход позволяет обобщить различные результаты дифференциальной геометрии и упростить их доказательство, применить идеи дифференциальной геометрии к другим математич. теориям (напр., теории колец и модулей) и, наоборот, использовать различные алгебраич. результаты в дифференциальной геометрии (см. [17]).\nЛит.: [1] Риман Б., Избранные произведения, пер. с нем., М.-Л., 1948; [2] Картан Э., Геометрия римановых пространств, пер. с франц., М.-Л., 1936; [3] Каган В. Ф., Очерки по геометрии, М., 1963, с. 437-519; [4] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; [5] Арнольд В. И., Математические методы классической механики, М., 1974; [6] Эйзенхард Л. П., Риманова геометрия, пер. с англ., М., 1948; [7] Xокинг С, Эллис Дж., Крупномасштабная структура пространства - времени, пер. с англ., М., 1977; [8] Xелгасон С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [9] Бишоп Р.-Л., Криттенден Р.-Дж., Геометрия многообразий, пер. с англ., М., 1967; [10] Стернберг С., Лекции по дифференциальной геометрии, пер. с англ., М., 1970; [11] Шварц Дж., Дифференциальная геометрия и топология, пер. с англ., М., 1970; [12] Ленг С., Введение в теорию дифференцируемых многообразий, пер. с англ., М., 1967; [13] Зуланке П., Винтген П., Дифференциальная геометрия и расслоения, пер. с нем., М., 1975; [14] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; [15] Lichnérowicz A., Géometric des groupes de transformations, P., 1958; [16] Коbayashi S., Nomizu K., Foundations of differential geometry, v. 1-2, N. Y., 1963-69; [17] Виноградов A. M., Красильщики. С., Лычагин В. В., Применения нелинейных дифференциальных уравнений, М., 1977; [18] Чжень С. С, «Успехи матем. наук», 1973, т. 33, в. 3, с. 15 - 111; [19] Молчанов C. А., там же, 1975, т. 30, в. 1, с. 3-59.\nД. В. Алексеевский.\nИсточники:\nМатематическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.\nПОИСК:","attrs_markdown":"|   |   |   |\n|---|---|---|\n| [![](http:\/\/mathemlib.ru\/pic\/logo170.gif)](http:\/\/mathemlib.ru\/ \"Математика\") | \\&nbsp[НОВОСТИ](http:\/\/mathemlib.ru\/news\/ \"Новостные статьи по математике\") [БИБЛИОТЕКА](http:\/\/mathemlib.ru\/books\/ \"Книги по математике\") [ЭНЦИКЛОПЕДИЯ](http:\/\/mathemlib.ru\/mathenc\/ \"Математическая энциклопедия\") [БИОГРАФИИ](http:\/\/mathemlib.ru\/matematiki\/ \"Биографии математиков\") [КАРТА САЙТА](http:\/\/mathemlib.ru\/sitemap\/ \"Карта сайта по математике\") [ССЫЛКИ](http:\/\/mathemlib.ru\/catalog\/ \"Ссылки на сайты по математике\") [О ПРОЕКТЕ](http:\/\/mathemlib.ru\/about\/ \"О проекте БИБЛИОТЕКА ПО МАТЕМАТИКЕ\") \\&nbsp ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ - раздел дифференциальной геометрии, изучающий различные инфинитезимальные структуры на многообразии и их связи со структурой многообразия и его топологией. К середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского, многомерной геометрии Грассмана, а также развития проективной геометрии и геометрии в комплексной области стало ясно, что привычная евклидова геометрия не является единственно возможной, и в математике с пользой можно развивать другие неевклидовы геометрии, независимо от их отношения к геометрии физического пространства. В 1854 Б. Риман (В. Riemann) в лекции «О гипотезах, лежащих в основании геометрии» предложил новую, весьма плодотворную концепцию «многообразия» (см. Риманово пространство). Тем самым он положил напало римановой геометрии, являющейся важнейшей и наиболее разработанной частью Д. г. м. Концепция Римана не только позволила единообразно описать широкий класс геометрий (включая евклидову геометрию и неевклидову геометрию Лобачевского), но и дала математич. аппарат, в рамках к-рого разнообразные задачи математич. физики и анализа, связанные с дифференциальными уравнениями, получили геометрич. трактовку, что позволило применять для их решения различные геометрич. и топологич. соображения, открыв новые возможности для применения геометрии к анализу. Именно в рамках римановой геометрии А. Эйнштейну (A. Einstein) удалось реализовать идеи о физич. пространстве как о континууме, свойства к-рого определяются распределением материи. Римановым пространством наз. дифференцируемое многообразие М, у к-рого в каждом касательном пространстве ТpМ задана евклидова метрика gp (т. е. положительно определенное скалярное произведение), гладко зависящая от точки р ∈ М. Наличие в касательном пространстве ТpМ риманова пространства М скалярного произведения позволяет по формулам евклидовой геометрии определить угол между инфи-нитезимальными кривыми (т. е. векторами из ТpМ), длину инфинитезимальной кривой, а также объем k-мерного параллелепипеда в ТpM, а затем, с помощью интегрирования, длину гладкой кривой на М и объем k-мерного подмногообразия в М. Это, в свою очередь, позволяет рассматривать в рамках римановой геометрии различные вариационные задачи и, в частности, определить в римановом пространстве понятие геодезической (или геодезической линии) как кривой экстремальной длины и минимальной поверхности, как подмногообразия экстремального объема. Изучение геодезических риманова пространства представляет собой одну из основных задач современной (глобальной) римановой геометрии. Важность ее для приложений определяется тем, что разнообразные динамич. системы физики интерпретируются как равномерное движение по геодезическим того или иного псевдориманова пространства. К таким системам относятся, напр., движения пробных тел (см. Геодезических гипотеза) в общей теории относительности, распространение света в неоднородной среде в приближении геометрической оптики, различные системы классической механики. Было обнаружено, что нек-рые важные уравнения с частными производными (уравнение движения идеальной жидкости и уравнение Эйнштейна общей теории относительности) интерпретируются как уравнения геодезических для нек-рых бесконечномерных римановых пространств, называемых также гильбертовыми многообразиями (см. \\[5\\], \\[12\\]). Эти открытия стимулировали развитие геометрии бесконечномерных многообразий - глобальный анализ. Уравнения геодезических удается полностью проинтегрировать только в редких случаях. В связи с этим важную роль приобретают геометрич. и топологич. методы качественного исследования поведения геодезических. Важнейшим среди них является созданная М. Морсом (М. Morse) вариационная теория геодезических (см. Морса теория). Обобщение теории Морса на псевдоримановы пространства привело к доказательству теорем сингулярности, утверждающих, что в рамках общей теории относительности физическое пространство-время, как правило, должно обладать сингулярностью (неполными геодезическими). Физически сингулярности интерпретируются, напр., как «черные дыры» (см. \\[7\\]). Поведение геодезических риманова пространства в значительной степени определяется его кривизны тензором - тензором Римана - геометрическим объектом, характеризующим отклонение риманова пространства от евклидова. Подобно гауссовой кривизне поверхности, обобщением к-рой он является, тензор кривизны риманова пространства М в точке х определяет свойства пространства М в окрестности точки х. Более того, тензор кривизны несет богатую информацию о глобальных свойствах риманова пространства и о его топологии, напр. о фундаментальной группе, о Бетти числах и о характеристических классах. Изучение связи между локальными свойствами тензора кривизны и глобальными свойствами риманова пространства составляет одну из главных задач современной глобальной римановой геометрии. Любое подмногообразие N риманова пространства М наследует от М структуру риманова пространства. Изучение подмногообразий риманова пространства, а также выяснение вопроса о реализации данного риманова пространства N в виде подмногообразия данного риманова пространства М составляют основное содержание геометрии подмногообразий (см. также Изометрическое погружение). Важным направлением исследования римановых пространств, начатым работами С. Ли (S. Lie) и В. Киллинга (W. Killing), является изучение его группы движений (т. е. преобразований, сохраняющих длины кривых), к-рая всегда есть группа Ли. Многие римановы пространства М обладают достаточно богатой группой движений, причем наличие такой группы оказывается очень полезным при изучении целого ряда геометрии, вопросов. Наличие транзитивной группы движений G позволяет свести изучение геометрии и топологии пространства М к вопросам теории групп Ли (см. Однородное пространство). Описание (связной) группы G движений риманова пространства (М, g) сводится к описанию алгебры Ли инфипитезимальных движений (или, иначе, Киллинга векторов), определяемых как поля скоростей однопараметрич. подгрупп группы G. Важную роль играют качественные геометрич. методы изучения киллинговых полей и выяснение связи между киллинговыми полями и геометрич. свойствами пространства, прежде всего свойствами его тензора кривизны. Так, напр., доказывается, что в компактном римановом пространстве с отрицательной кривизной Риччи не существует киллинговых полей; интегральная кривая киллингова поля, проходящая через точку экстремума его длины, является геодезической \\[16\\]; поведение киллингова поля X вблизи его неподвижных точек (точек, где Х = 0) определяет важный топологич. инвариант риманова пространства - его Понтрягина числа \\[19\\]. Особый интерес представляют римановы пространства, обладающие достаточно большой группой движений. Как обнаружил еще в 1868 Г. Гельмгольц (Н. Helmholtz) и строго доказал С. Ли, n-мерное риманово пространство М, обладающее для данного n максимальной (в смысле размерности) группой движений является постоянной кривизны пространством (а именно, евклидовым пространством Еn, пространством Лобачевского Λn или сферич. пространством Римана Sn). Наиболее близкими к пространствам постоянной кривизны по своим свойствам являются симметрические пространства, т. е. римановы пространства, в к-рых геодезич. симметрия относительно произвольной точки является движением. Эти пространства всегда имеют транзитивную группу движений и допускают классификацию с помощью теории полупростых алгебр Ли (см. \\[8\\]). Важную роль в дифференциальной геометрии играет понятие ковариантной производной ∇XT тензорного поля Т на М по направлению вектора X ∈ ТpМ, к-рое ввел Г. Риччи (G. Ricci), развивший на основе этого понятия «абсолютное дифференциальное исчисление» (см. Тензорный анализ). Аппарат ковариантного дифференцирования оказался удобным для получения инвариантов геометрических объектов. Так, найденная Э. Кристоффелем (Е. Christoffel) и Р. Липшицем (К. Liepschitz) полная система инвариантов римановой метрики состоит из тензора кривизны и его последовательных ковариантных производных. Понятие ковариантной производной позволяет канонич. образом определить в римановом пространстве ряд дифференциальных операторов, свойства к-рых тесно связаны с геометрией пространства. Важнейшими из них являются оператор Бельтрами-Лапласа Д, введенный Э.Бельтрами (Е. Beltrami) и совпадающий для евклидова пространства с Лапласа оператором. Широкий класс линейных уравнений с частными производными 2-го порядка получает интерпретацию в рамках псевдо-римановых пространств как уравнений, соответствующих оператору Бельтрами-Лапласа. Это позволяет использовать риманову геометрию для изучения уравнений. Первый пример такого подхода (для уравнений теплопроводности) был дан Б. Риманом \\[1\\]. К настоящему времени получены результаты, устанавливающие связь между свойствами оператора Бельтрами - Лапласа риманова пространства, в частности его спектром, и геометрией пространства - его кривизной, числом замкнутых геодезических и т. п. (см. \\[19\\]). Геометрическую интерпретацию понятия ковариантной производной дал Т. Леви-Чивита (Т. Levi-Civita). Он показал, что в римановом пространстве можно каноническим образом определить параллельный перенос касательных векторов (тензоров) вдоль кривых, а оператор ковариантной производной Риччи является оператором инфинитезимального параллельного переноса (см. Леви-Чивита связность). В 1926 Э. Картан (Е. Cartan) ввел понятие голоно-нии группа, как группы Гp линейных преобразований касательного пространства ТpМ риманова пространства М, порожденной операторами τγ параллельного обноса вдоль всевозможных петель γ. Оказалось, что группа голономии тесно связана с тензором кривизны пространства и для односвязного аналитич. пространства полностью определяется тензором кривизны в точке и всеми его ковариантными производными, - с другой стороны, она содержит нек-рую информацию о геометрии и топологии пространства. Так, зная группу голономии, можно найти все параллельные поля, а также решить вопрос о возможности разложения риманова пространства в прямое произведение двух других римановых пространств. По группе голономии симметрич. пространства можно восстановить само пространство и описать его группу движений. В 1919 Г. Вейль (Н. Weyl), развивая идею параллельного переноса Т. Леви-Чивита и обобщая риманову концепцию пространства, рассмотрел пространство линейной связности - многообразие, в к-ром задан закон параллельного переноса касательных векторов вдоль кривых. В пространстве линейной связности определяются понятия геодезической, тензора кривизны, группы голономии. Риманово пространство является частным случаем пространства линейной связности, для к-рого группа голономии содержится в ортогональной группе. Если группа голономии содержится в линейной группе гомотетий ℝ\\*⋅SO(n), то связность наз. конформной. В этом случае на многообразии возникает конформная структура. Развитие идей Г. Вейля привело к созданию современной теории связности, изучающей связность (т. е. закон параллельного перенесения слоев вдоль кривых на базе) в данном расслоении. В рамках теории связ-ностей развивается, в частности, теория характеристич. классов \\[11\\], \\[14\\]. Важную роль играет понятие связности в современной физике. Различные физич. поля (в частности, электромагнитное и гравитационное) могут быть интерпретированы как поля кривизны связности в том или ином расслоении в рамках теории Янга-Миллса. Наличие связности в любом физич. расслоении, т. е. расслоении, сечениями к-рого являются физич. поля, вытекает из физич. возможности сравнения характеристик поля в разных точках пространства - времени. Другим обобщением риманова пространства является финслерово пространство, определяемое как многообразие с финслеровой метрикой. Примером такой метрики является лагранжиан механич. системы. Финслеровы многообразия естественным образом появляются также и в оптике. Новый групповой подход к обоснованию геометрии, известный под названием «эрлангенской программы», был предложен Ф. Клейном (F. Klein) в 1872. В качестве основного объекта изучения геометрии Ф. Клейн предложил рассматривать G-пространство - множество М вместе с заданной группой G его преобразований. Основной задачей геометрии по Клейну является изучение инвариантов группы преобразований (см. Эрлангенская программа). Несмотря на то, что подход Ф. Клейна оказался слишком узким - многие важные римановы пространства обладают тривиальной группой движений, - этот подход сыграл важную роль в развитии Д. г. м. Он привлек внимание к важному классу - однородным пространствам (т. е. G-пространствам с транзитивной группой G), изучение геометрии к-рых сводится в рамках эрлангенской программы к вопросам теории групп Ли, и способствовал дальнейшему обобщению концепции Римана. Это обобщение состояло в рассмотрении геометрии других (неримано-вых) инфинитезимальных структур на многообразии, задаваемых полем тех или иных геометрич. величин. Многие из этих структур впервые появились как инварианты группы движений того или иного однородного пространства. Примерами неримановых инфинитезимальных геометрич. структур являются абсолютный параллелизм (поле реперов), конформная связность, проективная связность, линейная связность, распределение (или, более общо, флаговая структура), почти комплексная структура, почти симплектическая структура, поле аффиноров и т. п. Геометрия этих структур развивается по аналогии с римановой геометрией. Ее основными вопросами являются следующие: 1) Построение по данной геометрической структуре других (производных от нее) структур и, в частности, инвариантов. Иными словами, построение функторов из категории геометрич. структур данного типа в другие категории. 2) Изучение группы автоморфизмов геометрич. структуры, изучение геометрич. структур с достаточно большой группой автоморфизмов, описание структур данного типа с максимальной группой автоморфизмов, классификация структур данного типа на однородных пространствах. 3) Проблема эквивалентности, т. е. нахождение необходимых и достаточных условий для того, чтобы две геометрич. структуры были эквивалентны. 4) Изучение связи между топологией и структурой гладкого многообразия, с одной стороны, и свойствами заданной на нем геометрич. структуры - с другой. 5) Изучение отображений многообразий с геометрич. структурами, в частности изучение расслоений и подмногообразий. Наиболее важным классом геометрических структур являются транзитивные структуры или G-структуры (см. \\[10\\]). Все перечисленные выше примеры структур (кроме поля аффиноров) являются G-структурами. Общая теория G-структур основана на двух фундаментальных идеях Э. Картана: понятии продолжения и понятии структурной функции. В частности, для римановой метрики эти понятия приводят к параллельному перенесению Левц-Чивиты и тензору кривизны. Теория G-структур конеиного типа развивается во многом аналогично римановой геометрии. В геометрии G-структур бесконечного типа наиболее изученные вопросы относятся к случаю локально плоских (интегрируемых) структур. Важнейшими из них являются комплексная структура (см. Аналитическое многообразие) и симплектическая структура, лежащая в основе гамильтоновой механики. Э. Картан, развивая геометрич. методы решения систем уравнений с частными производными (систем Пфаффа), создал теорию внешних дифференциальных форм, оказавшую исключительно большое влияние на развитие дифференциальной геометрии. Оператор внешнего дифференцирования d оказался полезным для выражения условия интегрируемости систем уравнений с частными производными. Так, напр., необходимым и достаточным условием полной интегрируемсти систем уравнений Пфаффа ω1 = ... = ωk = 0 является замкнутость идеала J, порожденного линейными дифференциальными формами ω1, ..., ωk относительно d(dJ ⊂ J) (Фробениуса теорема). Теория дифференциальных форм была успешно применена Э. Картаном для решения разнообразных задач дифференциальной геометрии и теории групп Ли подвижного репера методом. Теория интегрирования устанавливает связь между исчислением дифференциальных форм и гомологиями многообразия (см. Рама когомологии, Дифференциальная форма). В римановом пространстве оператор внешнего дифференцирования d выражается через оператор ковариантного дифференцирования ∇. Более того, теория Ходжа устанавливает глубокую связь между оператором d и оператором Бельтрами-Лапласа Λ, действующим в пространстве дифференциальных форм, к-рый можно выразить через оператор ∇. Теорема Ходжа утверждает, что пространство когомологий компактного многообразия изоморфно пространству гармонических (т. е. аннулируемых оператором Λ) дифференциальных форм (см. Гармоническая форма). Это и ряд других утверждений теории Ходжа дает информацию о строении кольца когомологий H\\*М риманова пространства, обладающего нетривиальными параллельными дифференциальными формами (см. Параллельное поле) и, тем самым, имеющего нестандартную группу голономии Г ≠ SO(n), О(n). Примерами таких пространств являются кэлеровы многообразия и симметрические пространства. Важным направлением исследований современной дифференциальной геометрии является изучение естественных расслоений над произвольным многообразием М (касательных и кокасательных расслоений порядка k, тензорных расслоений, расслоений реперов порядка k, расслоений струй и др.) и выявление имеющихся там естественных (т. е. инвариантных относительно диффеоморфизмов многообразия М) геометрических структур. Примерами таких структур являются канонические симплектическая структура в кокасательном расслоении Т\\*М и контактная структура в расслоении J1(M, ℝ) 1-струй функций на М, играющие важную роль в теории дифференциальных уравнений с частными производными 1-го порядка и в гамильтоновой механике, а также оператор внешнего дифференцирования в расслоении Λ\\*(М) внешних дифференциальных форм на М. Успешно развивается алгебраич. подход к дифференциальной геометрии. В качестве исходного понятия рассматривается не многообразие M, а коммутативное кольцо F(кольцо функций на многообразии), а само многообразие М определяется в терминах кольца F как пространство максимальных идеалов (см. Схема). Векторные поля на М определяются как дифференцирования кольца (см. Дифференциальный оператор модуля). Такой подход позволяет обобщить различные результаты дифференциальной геометрии и упростить их доказательство, применить идеи дифференциальной геометрии к другим математич. теориям (напр., теории колец и модулей) и, наоборот, использовать различные алгебраич. результаты в дифференциальной геометрии (см. \\[17\\]). Лит.: \\[1\\] Риман Б., Избранные произведения, пер. с нем., М.-Л., 1948; \\[2\\] Картан Э., Геометрия римановых пространств, пер. с франц., М.-Л., 1936; \\[3\\] Каган В. Ф., Очерки по геометрии, М., 1963, с. 437-519; \\[4\\] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; \\[5\\] Арнольд В. И., Математические методы классической механики, М., 1974; \\[6\\] Эйзенхард Л. П., Риманова геометрия, пер. с англ., М., 1948; \\[7\\] Xокинг С, Эллис Дж., Крупномасштабная структура пространства - времени, пер. с англ., М., 1977; \\[8\\] Xелгасон С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; \\[9\\] Бишоп Р.-Л., Криттенден Р.-Дж., Геометрия многообразий, пер. с англ., М., 1967; \\[10\\] Стернберг С., Лекции по дифференциальной геометрии, пер. с англ., М., 1970; \\[11\\] Шварц Дж., Дифференциальная геометрия и топология, пер. с англ., М., 1970; \\[12\\] Ленг С., Введение в теорию дифференцируемых многообразий, пер. с англ., М., 1967; \\[13\\] Зуланке П., Винтген П., Дифференциальная геометрия и расслоения, пер. с нем., М., 1975; \\[14\\] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; \\[15\\] Lichnérowicz A., Géometric des groupes de transformations, P., 1958; \\[16\\] Коbayashi S., Nomizu K., Foundations of differential geometry, v. 1-2, N. Y., 1963-69; \\[17\\] Виноградов A. M., Красильщики. С., Лычагин В. В., Применения нелинейных дифференциальных уравнений, М., 1977; \\[18\\] Чжень С. С, «Успехи матем. наук», 1973, т. 33, в. 3, с. 15 - 111; \\[19\\] Молчанов C. А., там же, 1975, т. 30, в. 1, с. 3-59. Д. В. Алексеевский.  Источники: Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил. ![top.mail.ru](http:\/\/d6.c2.bd.a1.top.mail.ru\/counter?js=na;id=1910510) |   |\n|   |   |   |\n| ПОИСК: |   |   |\n| ![](http:\/\/mathemlib.ru\/pic\/glass.gif) |   |   |\n| **© MATHEMLIB.RU, 2001-2021**  При копировании материалов проекта обязательно ставить ссылку на страницу источник:  http:\/\/mathemlib.ru\/ '**Математическая библиотека**' [![Рейтинг@Mail.ru](http:\/\/d6.c2.bd.a1.top.mail.ru\/counter?id=1910510;t=68;l=1)](http:\/\/top.mail.ru\/jump?from=1910510) [![Rambler s Top100](http:\/\/counter.rambler.ru\/top100.cnt?2286552)](http:\/\/top100.rambler.ru\/navi\/2286552\/) [![](http:\/\/counter.yadro.ru\/logo?45.2)](http:\/\/www.liveinternet.ru\/click) |   |   |\n\nЗаказать учебную работу\n\nЗакажи выполнение студенческой работы, избавься от головной боли и сдай на отлично\n\n?\n\nВременно скрыть\n\nБольше не показывать\n\nКонсультант Анна\n\nНа связи\n\nя\n\nПомощник Анна","attrs_readable_markdown":null,"meta_canonical":null}

3. Robots.txt Check

Query:

Response:

4. Spam/Ban Check

Query:

Response:

5. Seen Status Check

ℹ️ Skipped - page is already crawled

📄

INDEXABLE

✅

CRAWLED

4 days ago

🤖

ROBOTS ALLOWED

Page Info Filters

Filter	Status	Condition	Details
HTTP status	PASS	`download_http_code = 200`	HTTP 200
Age cutoff	PASS	`download_stamp > now() - 6 MONTH`	0.1 months ago
History drop	PASS	`isNull(history_drop_reason)`	No drop reason
Spam/ban	PASS	`fh_dont_index != 1 AND ml_spam_score = 0`	ml_spam_score=0
Canonical	PASS	`meta_canonical IS NULL OR = '' OR = src_unparsed`	Not set

Page Details

Property	Value
URL	http://mathemlib.ru/mathenc/item/f00/s01/e0001595/index.shtml
Last Crawled	2026-04-12 20:45:40 (4 days ago)
First Indexed	2013-08-09 12:07:14 (12 years ago)
HTTP Status Code	200
Meta Title	ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ
Meta Description	Статья энциклопедии 'ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ'
Meta Canonical	null
Boilerpipe Text	&nbsp НОВОСТИ БИБЛИОТЕКА ЭНЦИКЛОПЕДИЯ БИОГРАФИИ КАРТА САЙТА ССЫЛКИ О ПРОЕКТЕ &nbsp ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ - раздел дифференциальной геометрии, изучающий различные инфинитезимальные структуры на многообразии и их связи со структурой многообразия и его топологией. К середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского, многомерной геометрии Грассмана, а также развития проективной геометрии и геометрии в комплексной области стало ясно, что привычная евклидова геометрия не является единственно возможной, и в математике с пользой можно развивать другие неевклидовы геометрии, независимо от их отношения к геометрии физического пространства. В 1854 Б. Риман (В. Riemann) в лекции «О гипотезах, лежащих в основании геометрии» предложил новую, весьма плодотворную концепцию «многообразия» (см. Риманово пространство). Тем самым он положил напало римановой геометрии, являющейся важнейшей и наиболее разработанной частью Д. г. м. Концепция Римана не только позволила единообразно описать широкий класс геометрий (включая евклидову геометрию и неевклидову геометрию Лобачевского), но и дала математич. аппарат, в рамках к-рого разнообразные задачи математич. физики и анализа, связанные с дифференциальными уравнениями, получили геометрич. трактовку, что позволило применять для их решения различные геометрич. и топологич. соображения, открыв новые возможности для применения геометрии к анализу. Именно в рамках римановой геометрии А. Эйнштейну (A. Einstein) удалось реализовать идеи о физич. пространстве как о континууме, свойства к-рого определяются распределением материи. Римановым пространством наз. дифференцируемое многообразие М, у к-рого в каждом касательном пространстве Т p М задана евклидова метрика g p (т. е. положительно определенное скалярное произведение), гладко зависящая от точки р ∈ М. Наличие в касательном пространстве Т p М риманова пространства М скалярного произведения позволяет по формулам евклидовой геометрии определить угол между инфи-нитезимальными кривыми (т. е. векторами из Т p М), длину инфинитезимальной кривой, а также объем k-мерного параллелепипеда в Т p M, а затем, с помощью интегрирования, длину гладкой кривой на М и объем k-мерного подмногообразия в М. Это, в свою очередь, позволяет рассматривать в рамках римановой геометрии различные вариационные задачи и, в частности, определить в римановом пространстве понятие геодезической (или геодезической линии) как кривой экстремальной длины и минимальной поверхности, как подмногообразия экстремального объема. Изучение геодезических риманова пространства представляет собой одну из основных задач современной (глобальной) римановой геометрии. Важность ее для приложений определяется тем, что разнообразные динамич. системы физики интерпретируются как равномерное движение по геодезическим того или иного псевдориманова пространства. К таким системам относятся, напр., движения пробных тел (см. Геодезических гипотеза) в общей теории относительности, распространение света в неоднородной среде в приближении геометрической оптики, различные системы классической механики. Было обнаружено, что нек-рые важные уравнения с частными производными (уравнение движения идеальной жидкости и уравнение Эйнштейна общей теории относительности) интерпретируются как уравнения геодезических для нек-рых бесконечномерных римановых пространств, называемых также гильбертовыми многообразиями (см. [5], [12]). Эти открытия стимулировали развитие геометрии бесконечномерных многообразий - глобальный анализ. Уравнения геодезических удается полностью проинтегрировать только в редких случаях. В связи с этим важную роль приобретают геометрич. и топологич. методы качественного исследования поведения геодезических. Важнейшим среди них является созданная М. Морсом (М. Morse) вариационная теория геодезических (см. Морса теория). Обобщение теории Морса на псевдоримановы пространства привело к доказательству теорем сингулярности, утверждающих, что в рамках общей теории относительности физическое пространство-время, как правило, должно обладать сингулярностью (неполными геодезическими). Физически сингулярности интерпретируются, напр., как «черные дыры» (см. [7]). Поведение геодезических риманова пространства в значительной степени определяется его кривизны тензором - тензором Римана - геометрическим объектом, характеризующим отклонение риманова пространства от евклидова. Подобно гауссовой кривизне поверхности, обобщением к-рой он является, тензор кривизны риманова пространства М в точке х определяет свойства пространства М в окрестности точки х. Более того, тензор кривизны несет богатую информацию о глобальных свойствах риманова пространства и о его топологии, напр. о фундаментальной группе, о Бетти числах и о характеристических классах. Изучение связи между локальными свойствами тензора кривизны и глобальными свойствами риманова пространства составляет одну из главных задач современной глобальной римановой геометрии. Любое подмногообразие N риманова пространства М наследует от М структуру риманова пространства. Изучение подмногообразий риманова пространства, а также выяснение вопроса о реализации данного риманова пространства N в виде подмногообразия данного риманова пространства М составляют основное содержание геометрии подмногообразий (см. также Изометрическое погружение). Важным направлением исследования римановых пространств, начатым работами С. Ли (S. Lie) и В. Киллинга (W. Killing), является изучение его группы движений (т. е. преобразований, сохраняющих длины кривых), к-рая всегда есть группа Ли. Многие римановы пространства М обладают достаточно богатой группой движений, причем наличие такой группы оказывается очень полезным при изучении целого ряда геометрии, вопросов. Наличие транзитивной группы движений G позволяет свести изучение геометрии и топологии пространства М к вопросам теории групп Ли (см. Однородное пространство). Описание (связной) группы G движений риманова пространства (М, g) сводится к описанию алгебры Ли инфипитезимальных движений (или, иначе, Киллинга векторов), определяемых как поля скоростей однопараметрич. подгрупп группы G. Важную роль играют качественные геометрич. методы изучения киллинговых полей и выяснение связи между киллинговыми полями и геометрич. свойствами пространства, прежде всего свойствами его тензора кривизны. Так, напр., доказывается, что в компактном римановом пространстве с отрицательной кривизной Риччи не существует киллинговых полей; интегральная кривая киллингова поля, проходящая через точку экстремума его длины, является геодезической [16]; поведение киллингова поля X вблизи его неподвижных точек (точек, где Х = 0) определяет важный топологич. инвариант риманова пространства - его Понтрягина числа [19]. Особый интерес представляют римановы пространства, обладающие достаточно большой группой движений. Как обнаружил еще в 1868 Г. Гельмгольц (Н. Helmholtz) и строго доказал С. Ли, n-мерное риманово пространство М, обладающее для данного n максимальной (в смысле размерности) группой движений является постоянной кривизны пространством (а именно, евклидовым пространством Е n , пространством Лобачевского Λ n или сферич. пространством Римана S n ). Наиболее близкими к пространствам постоянной кривизны по своим свойствам являются симметрические пространства, т. е. римановы пространства, в к-рых геодезич. симметрия относительно произвольной точки является движением. Эти пространства всегда имеют транзитивную группу движений и допускают классификацию с помощью теории полупростых алгебр Ли (см. [8]). Важную роль в дифференциальной геометрии играет понятие ковариантной производной ∇X T тензорного поля Т на М по направлению вектора X ∈ Т p М, к-рое ввел Г. Риччи (G. Ricci), развивший на основе этого понятия «абсолютное дифференциальное исчисление» (см. Тензорный анализ). Аппарат ковариантного дифференцирования оказался удобным для получения инвариантов геометрических объектов. Так, найденная Э. Кристоффелем (Е. Christoffel) и Р. Липшицем (К. Liepschitz) полная система инвариантов римановой метрики состоит из тензора кривизны и его последовательных ковариантных производных. Понятие ковариантной производной позволяет канонич. образом определить в римановом пространстве ряд дифференциальных операторов, свойства к-рых тесно связаны с геометрией пространства. Важнейшими из них являются оператор Бельтрами-Лапласа Д, введенный Э.Бельтрами (Е. Beltrami) и совпадающий для евклидова пространства с Лапласа оператором. Широкий класс линейных уравнений с частными производными 2-го порядка получает интерпретацию в рамках псевдо-римановых пространств как уравнений, соответствующих оператору Бельтрами-Лапласа. Это позволяет использовать риманову геометрию для изучения уравнений. Первый пример такого подхода (для уравнений теплопроводности) был дан Б. Риманом [1]. К настоящему времени получены результаты, устанавливающие связь между свойствами оператора Бельтрами - Лапласа риманова пространства, в частности его спектром, и геометрией пространства - его кривизной, числом замкнутых геодезических и т. п. (см. [19]). Геометрическую интерпретацию понятия ковариантной производной дал Т. Леви-Чивита (Т. Levi-Civita). Он показал, что в римановом пространстве можно каноническим образом определить параллельный перенос касательных векторов (тензоров) вдоль кривых, а оператор ковариантной производной Риччи является оператором инфинитезимального параллельного переноса (см. Леви-Чивита связность). В 1926 Э. Картан (Е. Cartan) ввел понятие голоно-нии группа, как группы Г p линейных преобразований касательного пространства Т p М риманова пространства М, порожденной операторами τ γ параллельного обноса вдоль всевозможных петель γ. Оказалось, что группа голономии тесно связана с тензором кривизны пространства и для односвязного аналитич. пространства полностью определяется тензором кривизны в точке и всеми его ковариантными производными, - с другой стороны, она содержит нек-рую информацию о геометрии и топологии пространства. Так, зная группу голономии, можно найти все параллельные поля, а также решить вопрос о возможности разложения риманова пространства в прямое произведение двух других римановых пространств. По группе голономии симметрич. пространства можно восстановить само пространство и описать его группу движений. В 1919 Г. Вейль (Н. Weyl), развивая идею параллельного переноса Т. Леви-Чивита и обобщая риманову концепцию пространства, рассмотрел пространство линейной связности - многообразие, в к-ром задан закон параллельного переноса касательных векторов вдоль кривых. В пространстве линейной связности определяются понятия геодезической, тензора кривизны, группы голономии. Риманово пространство является частным случаем пространства линейной связности, для к-рого группа голономии содержится в ортогональной группе. Если группа голономии содержится в линейной группе гомотетий ℝ⋅SO(n), то связность наз. конформной. В этом случае на многообразии возникает конформная структура. Развитие идей Г. Вейля привело к созданию современной теории связности, изучающей связность (т. е. закон параллельного перенесения слоев вдоль кривых на базе) в данном расслоении. В рамках теории связ-ностей развивается, в частности, теория характеристич. классов [11], [14]. Важную роль играет понятие связности в современной физике. Различные физич. поля (в частности, электромагнитное и гравитационное) могут быть интерпретированы как поля кривизны связности в том или ином расслоении в рамках теории Янга-Миллса. Наличие связности в любом физич. расслоении, т. е. расслоении, сечениями к-рого являются физич. поля, вытекает из физич. возможности сравнения характеристик поля в разных точках пространства - времени. Другим обобщением риманова пространства является финслерово пространство, определяемое как многообразие с финслеровой метрикой. Примером такой метрики является лагранжиан механич. системы. Финслеровы многообразия естественным образом появляются также и в оптике. Новый групповой подход к обоснованию геометрии, известный под названием «эрлангенской программы», был предложен Ф. Клейном (F. Klein) в 1872. В качестве основного объекта изучения геометрии Ф. Клейн предложил рассматривать G-пространство - множество М вместе с заданной группой G его преобразований. Основной задачей геометрии по Клейну является изучение инвариантов группы преобразований (см. Эрлангенская программа). Несмотря на то, что подход Ф. Клейна оказался слишком узким - многие важные римановы пространства обладают тривиальной группой движений, - этот подход сыграл важную роль в развитии Д. г. м. Он привлек внимание к важному классу - однородным пространствам (т. е. G-пространствам с транзитивной группой G), изучение геометрии к-рых сводится в рамках эрлангенской программы к вопросам теории групп Ли, и способствовал дальнейшему обобщению концепции Римана. Это обобщение состояло в рассмотрении геометрии других (неримано-вых) инфинитезимальных структур на многообразии, задаваемых полем тех или иных геометрич. величин. Многие из этих структур впервые появились как инварианты группы движений того или иного однородного пространства. Примерами неримановых инфинитезимальных геометрич. структур являются абсолютный параллелизм (поле реперов), конформная связность, проективная связность, линейная связность, распределение (или, более общо, флаговая структура), почти комплексная структура, почти симплектическая структура, поле аффиноров и т. п. Геометрия этих структур развивается по аналогии с римановой геометрией. Ее основными вопросами являются следующие: 1) Построение по данной геометрической структуре других (производных от нее) структур и, в частности, инвариантов. Иными словами, построение функторов из категории геометрич. структур данного типа в другие категории. 2) Изучение группы автоморфизмов геометрич. структуры, изучение геометрич. структур с достаточно большой группой автоморфизмов, описание структур данного типа с максимальной группой автоморфизмов, классификация структур данного типа на однородных пространствах. 3) Проблема эквивалентности, т. е. нахождение необходимых и достаточных условий для того, чтобы две геометрич. структуры были эквивалентны. 4) Изучение связи между топологией и структурой гладкого многообразия, с одной стороны, и свойствами заданной на нем геометрич. структуры - с другой. 5) Изучение отображений многообразий с геометрич. структурами, в частности изучение расслоений и подмногообразий. Наиболее важным классом геометрических структур являются транзитивные структуры или G-структуры (см. [10]). Все перечисленные выше примеры структур (кроме поля аффиноров) являются G-структурами. Общая теория G-структур основана на двух фундаментальных идеях Э. Картана: понятии продолжения и понятии структурной функции. В частности, для римановой метрики эти понятия приводят к параллельному перенесению Левц-Чивиты и тензору кривизны. Теория G-структур конеиного типа развивается во многом аналогично римановой геометрии. В геометрии G-структур бесконечного типа наиболее изученные вопросы относятся к случаю локально плоских (интегрируемых) структур. Важнейшими из них являются комплексная структура (см. Аналитическое многообразие) и симплектическая структура, лежащая в основе гамильтоновой механики. Э. Картан, развивая геометрич. методы решения систем уравнений с частными производными (систем Пфаффа), создал теорию внешних дифференциальных форм, оказавшую исключительно большое влияние на развитие дифференциальной геометрии. Оператор внешнего дифференцирования d оказался полезным для выражения условия интегрируемости систем уравнений с частными производными. Так, напр., необходимым и достаточным условием полной интегрируемсти систем уравнений Пфаффа ω 1 = ... = ω k = 0 является замкнутость идеала J, порожденного линейными дифференциальными формами ω 1 , ..., ω k относительно d(dJ ⊂ J) (Фробениуса теорема). Теория дифференциальных форм была успешно применена Э. Картаном для решения разнообразных задач дифференциальной геометрии и теории групп Ли подвижного репера методом. Теория интегрирования устанавливает связь между исчислением дифференциальных форм и гомологиями многообразия (см. Рама когомологии, Дифференциальная форма). В римановом пространстве оператор внешнего дифференцирования d выражается через оператор ковариантного дифференцирования ∇. Более того, теория Ходжа устанавливает глубокую связь между оператором d и оператором Бельтрами-Лапласа Λ, действующим в пространстве дифференциальных форм, к-рый можно выразить через оператор ∇. Теорема Ходжа утверждает, что пространство когомологий компактного многообразия изоморфно пространству гармонических (т. е. аннулируемых оператором Λ) дифференциальных форм (см. Гармоническая форма). Это и ряд других утверждений теории Ходжа дает информацию о строении кольца когомологий HМ риманова пространства, обладающего нетривиальными параллельными дифференциальными формами (см. Параллельное поле) и, тем самым, имеющего нестандартную группу голономии Г ≠ SO(n), О(n). Примерами таких пространств являются кэлеровы многообразия и симметрические пространства. Важным направлением исследований современной дифференциальной геометрии является изучение естественных расслоений над произвольным многообразием М (касательных и кокасательных расслоений порядка k, тензорных расслоений, расслоений реперов порядка k, расслоений струй и др.) и выявление имеющихся там естественных (т. е. инвариантных относительно диффеоморфизмов многообразия М) геометрических структур. Примерами таких структур являются канонические симплектическая структура в кокасательном расслоении ТМ и контактная структура в расслоении J 1 (M, ℝ) 1-струй функций на М, играющие важную роль в теории дифференциальных уравнений с частными производными 1-го порядка и в гамильтоновой механике, а также оператор внешнего дифференцирования в расслоении Λ(М) внешних дифференциальных форм на М. Успешно развивается алгебраич. подход к дифференциальной геометрии. В качестве исходного понятия рассматривается не многообразие M, а коммутативное кольцо F(кольцо функций на многообразии), а само многообразие М определяется в терминах кольца F как пространство максимальных идеалов (см. Схема). Векторные поля на М определяются как дифференцирования кольца (см. Дифференциальный оператор модуля). Такой подход позволяет обобщить различные результаты дифференциальной геометрии и упростить их доказательство, применить идеи дифференциальной геометрии к другим математич. теориям (напр., теории колец и модулей) и, наоборот, использовать различные алгебраич. результаты в дифференциальной геометрии (см. [17]). Лит.: [1] Риман Б., Избранные произведения, пер. с нем., М.-Л., 1948; [2] Картан Э., Геометрия римановых пространств, пер. с франц., М.-Л., 1936; [3] Каган В. Ф., Очерки по геометрии, М., 1963, с. 437-519; [4] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; [5] Арнольд В. И., Математические методы классической механики, М., 1974; [6] Эйзенхард Л. П., Риманова геометрия, пер. с англ., М., 1948; [7] Xокинг С, Эллис Дж., Крупномасштабная структура пространства - времени, пер. с англ., М., 1977; [8] Xелгасон С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [9] Бишоп Р.-Л., Криттенден Р.-Дж., Геометрия многообразий, пер. с англ., М., 1967; [10] Стернберг С., Лекции по дифференциальной геометрии, пер. с англ., М., 1970; [11] Шварц Дж., Дифференциальная геометрия и топология, пер. с англ., М., 1970; [12] Ленг С., Введение в теорию дифференцируемых многообразий, пер. с англ., М., 1967; [13] Зуланке П., Винтген П., Дифференциальная геометрия и расслоения, пер. с нем., М., 1975; [14] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; [15] Lichnérowicz A., Géometric des groupes de transformations, P., 1958; [16] Коbayashi S., Nomizu K., Foundations of differential geometry, v. 1-2, N. Y., 1963-69; [17] Виноградов A. M., Красильщики. С., Лычагин В. В., Применения нелинейных дифференциальных уравнений, М., 1977; [18] Чжень С. С, «Успехи матем. наук», 1973, т. 33, в. 3, с. 15 - 111; [19] Молчанов C. А., там же, 1975, т. 30, в. 1, с. 3-59. Д. В. Алексеевский. Источники: Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил. ПОИСК:
Markdown	\| \| \| \| \|---\|---\|---\| \| [![](http://mathemlib.ru/pic/logo170.gif)](http://mathemlib.ru/ "Математика") \| \&nbsp[НОВОСТИ](http://mathemlib.ru/news/ "Новостные статьи по математике") [БИБЛИОТЕКА](http://mathemlib.ru/books/ "Книги по математике") [ЭНЦИКЛОПЕДИЯ](http://mathemlib.ru/mathenc/ "Математическая энциклопедия") [БИОГРАФИИ](http://mathemlib.ru/matematiki/ "Биографии математиков") [КАРТА САЙТА](http://mathemlib.ru/sitemap/ "Карта сайта по математике") [ССЫЛКИ](http://mathemlib.ru/catalog/ "Ссылки на сайты по математике") [О ПРОЕКТЕ](http://mathemlib.ru/about/ "О проекте БИБЛИОТЕКА ПО МАТЕМАТИКЕ") \&nbsp ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ - раздел дифференциальной геометрии, изучающий различные инфинитезимальные структуры на многообразии и их связи со структурой многообразия и его топологией. К середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского, многомерной геометрии Грассмана, а также развития проективной геометрии и геометрии в комплексной области стало ясно, что привычная евклидова геометрия не является единственно возможной, и в математике с пользой можно развивать другие неевклидовы геометрии, независимо от их отношения к геометрии физического пространства. В 1854 Б. Риман (В. Riemann) в лекции «О гипотезах, лежащих в основании геометрии» предложил новую, весьма плодотворную концепцию «многообразия» (см. Риманово пространство). Тем самым он положил напало римановой геометрии, являющейся важнейшей и наиболее разработанной частью Д. г. м. Концепция Римана не только позволила единообразно описать широкий класс геометрий (включая евклидову геометрию и неевклидову геометрию Лобачевского), но и дала математич. аппарат, в рамках к-рого разнообразные задачи математич. физики и анализа, связанные с дифференциальными уравнениями, получили геометрич. трактовку, что позволило применять для их решения различные геометрич. и топологич. соображения, открыв новые возможности для применения геометрии к анализу. Именно в рамках римановой геометрии А. Эйнштейну (A. Einstein) удалось реализовать идеи о физич. пространстве как о континууме, свойства к-рого определяются распределением материи. Римановым пространством наз. дифференцируемое многообразие М, у к-рого в каждом касательном пространстве ТpМ задана евклидова метрика gp (т. е. положительно определенное скалярное произведение), гладко зависящая от точки р ∈ М. Наличие в касательном пространстве ТpМ риманова пространства М скалярного произведения позволяет по формулам евклидовой геометрии определить угол между инфи-нитезимальными кривыми (т. е. векторами из ТpМ), длину инфинитезимальной кривой, а также объем k-мерного параллелепипеда в ТpM, а затем, с помощью интегрирования, длину гладкой кривой на М и объем k-мерного подмногообразия в М. Это, в свою очередь, позволяет рассматривать в рамках римановой геометрии различные вариационные задачи и, в частности, определить в римановом пространстве понятие геодезической (или геодезической линии) как кривой экстремальной длины и минимальной поверхности, как подмногообразия экстремального объема. Изучение геодезических риманова пространства представляет собой одну из основных задач современной (глобальной) римановой геометрии. Важность ее для приложений определяется тем, что разнообразные динамич. системы физики интерпретируются как равномерное движение по геодезическим того или иного псевдориманова пространства. К таким системам относятся, напр., движения пробных тел (см. Геодезических гипотеза) в общей теории относительности, распространение света в неоднородной среде в приближении геометрической оптики, различные системы классической механики. Было обнаружено, что нек-рые важные уравнения с частными производными (уравнение движения идеальной жидкости и уравнение Эйнштейна общей теории относительности) интерпретируются как уравнения геодезических для нек-рых бесконечномерных римановых пространств, называемых также гильбертовыми многообразиями (см. \[5\], \[12\]). Эти открытия стимулировали развитие геометрии бесконечномерных многообразий - глобальный анализ. Уравнения геодезических удается полностью проинтегрировать только в редких случаях. В связи с этим важную роль приобретают геометрич. и топологич. методы качественного исследования поведения геодезических. Важнейшим среди них является созданная М. Морсом (М. Morse) вариационная теория геодезических (см. Морса теория). Обобщение теории Морса на псевдоримановы пространства привело к доказательству теорем сингулярности, утверждающих, что в рамках общей теории относительности физическое пространство-время, как правило, должно обладать сингулярностью (неполными геодезическими). Физически сингулярности интерпретируются, напр., как «черные дыры» (см. \[7\]). Поведение геодезических риманова пространства в значительной степени определяется его кривизны тензором - тензором Римана - геометрическим объектом, характеризующим отклонение риманова пространства от евклидова. Подобно гауссовой кривизне поверхности, обобщением к-рой он является, тензор кривизны риманова пространства М в точке х определяет свойства пространства М в окрестности точки х. Более того, тензор кривизны несет богатую информацию о глобальных свойствах риманова пространства и о его топологии, напр. о фундаментальной группе, о Бетти числах и о характеристических классах. Изучение связи между локальными свойствами тензора кривизны и глобальными свойствами риманова пространства составляет одну из главных задач современной глобальной римановой геометрии. Любое подмногообразие N риманова пространства М наследует от М структуру риманова пространства. Изучение подмногообразий риманова пространства, а также выяснение вопроса о реализации данного риманова пространства N в виде подмногообразия данного риманова пространства М составляют основное содержание геометрии подмногообразий (см. также Изометрическое погружение). Важным направлением исследования римановых пространств, начатым работами С. Ли (S. Lie) и В. Киллинга (W. Killing), является изучение его группы движений (т. е. преобразований, сохраняющих длины кривых), к-рая всегда есть группа Ли. Многие римановы пространства М обладают достаточно богатой группой движений, причем наличие такой группы оказывается очень полезным при изучении целого ряда геометрии, вопросов. Наличие транзитивной группы движений G позволяет свести изучение геометрии и топологии пространства М к вопросам теории групп Ли (см. Однородное пространство). Описание (связной) группы G движений риманова пространства (М, g) сводится к описанию алгебры Ли инфипитезимальных движений (или, иначе, Киллинга векторов), определяемых как поля скоростей однопараметрич. подгрупп группы G. Важную роль играют качественные геометрич. методы изучения киллинговых полей и выяснение связи между киллинговыми полями и геометрич. свойствами пространства, прежде всего свойствами его тензора кривизны. Так, напр., доказывается, что в компактном римановом пространстве с отрицательной кривизной Риччи не существует киллинговых полей; интегральная кривая киллингова поля, проходящая через точку экстремума его длины, является геодезической \[16\]; поведение киллингова поля X вблизи его неподвижных точек (точек, где Х = 0) определяет важный топологич. инвариант риманова пространства - его Понтрягина числа \[19\]. Особый интерес представляют римановы пространства, обладающие достаточно большой группой движений. Как обнаружил еще в 1868 Г. Гельмгольц (Н. Helmholtz) и строго доказал С. Ли, n-мерное риманово пространство М, обладающее для данного n максимальной (в смысле размерности) группой движений является постоянной кривизны пространством (а именно, евклидовым пространством Еn, пространством Лобачевского Λn или сферич. пространством Римана Sn). Наиболее близкими к пространствам постоянной кривизны по своим свойствам являются симметрические пространства, т. е. римановы пространства, в к-рых геодезич. симметрия относительно произвольной точки является движением. Эти пространства всегда имеют транзитивную группу движений и допускают классификацию с помощью теории полупростых алгебр Ли (см. \[8\]). Важную роль в дифференциальной геометрии играет понятие ковариантной производной ∇XT тензорного поля Т на М по направлению вектора X ∈ ТpМ, к-рое ввел Г. Риччи (G. Ricci), развивший на основе этого понятия «абсолютное дифференциальное исчисление» (см. Тензорный анализ). Аппарат ковариантного дифференцирования оказался удобным для получения инвариантов геометрических объектов. Так, найденная Э. Кристоффелем (Е. Christoffel) и Р. Липшицем (К. Liepschitz) полная система инвариантов римановой метрики состоит из тензора кривизны и его последовательных ковариантных производных. Понятие ковариантной производной позволяет канонич. образом определить в римановом пространстве ряд дифференциальных операторов, свойства к-рых тесно связаны с геометрией пространства. Важнейшими из них являются оператор Бельтрами-Лапласа Д, введенный Э.Бельтрами (Е. Beltrami) и совпадающий для евклидова пространства с Лапласа оператором. Широкий класс линейных уравнений с частными производными 2-го порядка получает интерпретацию в рамках псевдо-римановых пространств как уравнений, соответствующих оператору Бельтрами-Лапласа. Это позволяет использовать риманову геометрию для изучения уравнений. Первый пример такого подхода (для уравнений теплопроводности) был дан Б. Риманом \[1\]. К настоящему времени получены результаты, устанавливающие связь между свойствами оператора Бельтрами - Лапласа риманова пространства, в частности его спектром, и геометрией пространства - его кривизной, числом замкнутых геодезических и т. п. (см. \[19\]). Геометрическую интерпретацию понятия ковариантной производной дал Т. Леви-Чивита (Т. Levi-Civita). Он показал, что в римановом пространстве можно каноническим образом определить параллельный перенос касательных векторов (тензоров) вдоль кривых, а оператор ковариантной производной Риччи является оператором инфинитезимального параллельного переноса (см. Леви-Чивита связность). В 1926 Э. Картан (Е. Cartan) ввел понятие голоно-нии группа, как группы Гp линейных преобразований касательного пространства ТpМ риманова пространства М, порожденной операторами τγ параллельного обноса вдоль всевозможных петель γ. Оказалось, что группа голономии тесно связана с тензором кривизны пространства и для односвязного аналитич. пространства полностью определяется тензором кривизны в точке и всеми его ковариантными производными, - с другой стороны, она содержит нек-рую информацию о геометрии и топологии пространства. Так, зная группу голономии, можно найти все параллельные поля, а также решить вопрос о возможности разложения риманова пространства в прямое произведение двух других римановых пространств. По группе голономии симметрич. пространства можно восстановить само пространство и описать его группу движений. В 1919 Г. Вейль (Н. Weyl), развивая идею параллельного переноса Т. Леви-Чивита и обобщая риманову концепцию пространства, рассмотрел пространство линейной связности - многообразие, в к-ром задан закон параллельного переноса касательных векторов вдоль кривых. В пространстве линейной связности определяются понятия геодезической, тензора кривизны, группы голономии. Риманово пространство является частным случаем пространства линейной связности, для к-рого группа голономии содержится в ортогональной группе. Если группа голономии содержится в линейной группе гомотетий ℝ\⋅SO(n), то связность наз. конформной. В этом случае на многообразии возникает конформная структура. Развитие идей Г. Вейля привело к созданию современной теории связности, изучающей связность (т. е. закон параллельного перенесения слоев вдоль кривых на базе) в данном расслоении. В рамках теории связ-ностей развивается, в частности, теория характеристич. классов \[11\], \[14\]. Важную роль играет понятие связности в современной физике. Различные физич. поля (в частности, электромагнитное и гравитационное) могут быть интерпретированы как поля кривизны связности в том или ином расслоении в рамках теории Янга-Миллса. Наличие связности в любом физич. расслоении, т. е. расслоении, сечениями к-рого являются физич. поля, вытекает из физич. возможности сравнения характеристик поля в разных точках пространства - времени. Другим обобщением риманова пространства является финслерово пространство, определяемое как многообразие с финслеровой метрикой. Примером такой метрики является лагранжиан механич. системы. Финслеровы многообразия естественным образом появляются также и в оптике. Новый групповой подход к обоснованию геометрии, известный под названием «эрлангенской программы», был предложен Ф. Клейном (F. Klein) в 1872. В качестве основного объекта изучения геометрии Ф. Клейн предложил рассматривать G-пространство - множество М вместе с заданной группой G его преобразований. Основной задачей геометрии по Клейну является изучение инвариантов группы преобразований (см. Эрлангенская программа). Несмотря на то, что подход Ф. Клейна оказался слишком узким - многие важные римановы пространства обладают тривиальной группой движений, - этот подход сыграл важную роль в развитии Д. г. м. Он привлек внимание к важному классу - однородным пространствам (т. е. G-пространствам с транзитивной группой G), изучение геометрии к-рых сводится в рамках эрлангенской программы к вопросам теории групп Ли, и способствовал дальнейшему обобщению концепции Римана. Это обобщение состояло в рассмотрении геометрии других (неримано-вых) инфинитезимальных структур на многообразии, задаваемых полем тех или иных геометрич. величин. Многие из этих структур впервые появились как инварианты группы движений того или иного однородного пространства. Примерами неримановых инфинитезимальных геометрич. структур являются абсолютный параллелизм (поле реперов), конформная связность, проективная связность, линейная связность, распределение (или, более общо, флаговая структура), почти комплексная структура, почти симплектическая структура, поле аффиноров и т. п. Геометрия этих структур развивается по аналогии с римановой геометрией. Ее основными вопросами являются следующие: 1) Построение по данной геометрической структуре других (производных от нее) структур и, в частности, инвариантов. Иными словами, построение функторов из категории геометрич. структур данного типа в другие категории. 2) Изучение группы автоморфизмов геометрич. структуры, изучение геометрич. структур с достаточно большой группой автоморфизмов, описание структур данного типа с максимальной группой автоморфизмов, классификация структур данного типа на однородных пространствах. 3) Проблема эквивалентности, т. е. нахождение необходимых и достаточных условий для того, чтобы две геометрич. структуры были эквивалентны. 4) Изучение связи между топологией и структурой гладкого многообразия, с одной стороны, и свойствами заданной на нем геометрич. структуры - с другой. 5) Изучение отображений многообразий с геометрич. структурами, в частности изучение расслоений и подмногообразий. Наиболее важным классом геометрических структур являются транзитивные структуры или G-структуры (см. \[10\]). Все перечисленные выше примеры структур (кроме поля аффиноров) являются G-структурами. Общая теория G-структур основана на двух фундаментальных идеях Э. Картана: понятии продолжения и понятии структурной функции. В частности, для римановой метрики эти понятия приводят к параллельному перенесению Левц-Чивиты и тензору кривизны. Теория G-структур конеиного типа развивается во многом аналогично римановой геометрии. В геометрии G-структур бесконечного типа наиболее изученные вопросы относятся к случаю локально плоских (интегрируемых) структур. Важнейшими из них являются комплексная структура (см. Аналитическое многообразие) и симплектическая структура, лежащая в основе гамильтоновой механики. Э. Картан, развивая геометрич. методы решения систем уравнений с частными производными (систем Пфаффа), создал теорию внешних дифференциальных форм, оказавшую исключительно большое влияние на развитие дифференциальной геометрии. Оператор внешнего дифференцирования d оказался полезным для выражения условия интегрируемости систем уравнений с частными производными. Так, напр., необходимым и достаточным условием полной интегрируемсти систем уравнений Пфаффа ω1 = ... = ωk = 0 является замкнутость идеала J, порожденного линейными дифференциальными формами ω1, ..., ωk относительно d(dJ ⊂ J) (Фробениуса теорема). Теория дифференциальных форм была успешно применена Э. Картаном для решения разнообразных задач дифференциальной геометрии и теории групп Ли подвижного репера методом. Теория интегрирования устанавливает связь между исчислением дифференциальных форм и гомологиями многообразия (см. Рама когомологии, Дифференциальная форма). В римановом пространстве оператор внешнего дифференцирования d выражается через оператор ковариантного дифференцирования ∇. Более того, теория Ходжа устанавливает глубокую связь между оператором d и оператором Бельтрами-Лапласа Λ, действующим в пространстве дифференциальных форм, к-рый можно выразить через оператор ∇. Теорема Ходжа утверждает, что пространство когомологий компактного многообразия изоморфно пространству гармонических (т. е. аннулируемых оператором Λ) дифференциальных форм (см. Гармоническая форма). Это и ряд других утверждений теории Ходжа дает информацию о строении кольца когомологий H\М риманова пространства, обладающего нетривиальными параллельными дифференциальными формами (см. Параллельное поле) и, тем самым, имеющего нестандартную группу голономии Г ≠ SO(n), О(n). Примерами таких пространств являются кэлеровы многообразия и симметрические пространства. Важным направлением исследований современной дифференциальной геометрии является изучение естественных расслоений над произвольным многообразием М (касательных и кокасательных расслоений порядка k, тензорных расслоений, расслоений реперов порядка k, расслоений струй и др.) и выявление имеющихся там естественных (т. е. инвариантных относительно диффеоморфизмов многообразия М) геометрических структур. Примерами таких структур являются канонические симплектическая структура в кокасательном расслоении Т\М и контактная структура в расслоении J1(M, ℝ) 1-струй функций на М, играющие важную роль в теории дифференциальных уравнений с частными производными 1-го порядка и в гамильтоновой механике, а также оператор внешнего дифференцирования в расслоении Λ\(М) внешних дифференциальных форм на М. Успешно развивается алгебраич. подход к дифференциальной геометрии. В качестве исходного понятия рассматривается не многообразие M, а коммутативное кольцо F(кольцо функций на многообразии), а само многообразие М определяется в терминах кольца F как пространство максимальных идеалов (см. Схема). Векторные поля на М определяются как дифференцирования кольца (см. Дифференциальный оператор модуля). Такой подход позволяет обобщить различные результаты дифференциальной геометрии и упростить их доказательство, применить идеи дифференциальной геометрии к другим математич. теориям (напр., теории колец и модулей) и, наоборот, использовать различные алгебраич. результаты в дифференциальной геометрии (см. \[17\]). Лит.: \[1\] Риман Б., Избранные произведения, пер. с нем., М.-Л., 1948; \[2\] Картан Э., Геометрия римановых пространств, пер. с франц., М.-Л., 1936; \[3\] Каган В. Ф., Очерки по геометрии, М., 1963, с. 437-519; \[4\] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; \[5\] Арнольд В. И., Математические методы классической механики, М., 1974; \[6\] Эйзенхард Л. П., Риманова геометрия, пер. с англ., М., 1948; \[7\] Xокинг С, Эллис Дж., Крупномасштабная структура пространства - времени, пер. с англ., М., 1977; \[8\] Xелгасон С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; \[9\] Бишоп Р.-Л., Криттенден Р.-Дж., Геометрия многообразий, пер. с англ., М., 1967; \[10\] Стернберг С., Лекции по дифференциальной геометрии, пер. с англ., М., 1970; \[11\] Шварц Дж., Дифференциальная геометрия и топология, пер. с англ., М., 1970; \[12\] Ленг С., Введение в теорию дифференцируемых многообразий, пер. с англ., М., 1967; \[13\] Зуланке П., Винтген П., Дифференциальная геометрия и расслоения, пер. с нем., М., 1975; \[14\] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; \[15\] Lichnérowicz A., Géometric des groupes de transformations, P., 1958; \[16\] Коbayashi S., Nomizu K., Foundations of differential geometry, v. 1-2, N. Y., 1963-69; \[17\] Виноградов A. M., Красильщики. С., Лычагин В. В., Применения нелинейных дифференциальных уравнений, М., 1977; \[18\] Чжень С. С, «Успехи матем. наук», 1973, т. 33, в. 3, с. 15 - 111; \[19\] Молчанов C. А., там же, 1975, т. 30, в. 1, с. 3-59. Д. В. Алексеевский. Источники: Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил. ![top.mail.ru](http://d6.c2.bd.a1.top.mail.ru/counter?js=na;id=1910510) \| \| \| \| \| \| \| ПОИСК: \| \| \| \| ![](http://mathemlib.ru/pic/glass.gif) \| \| \| \| © MATHEMLIB.RU, 2001-2021 При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' [![Рейтинг@Mail.ru](http://d6.c2.bd.a1.top.mail.ru/counter?id=1910510;t=68;l=1)](http://top.mail.ru/jump?from=1910510) [![Rambler s Top100](http://counter.rambler.ru/top100.cnt?2286552)](http://top100.rambler.ru/navi/2286552/) [![](http://counter.yadro.ru/logo?45.2)](http://www.liveinternet.ru/click) \| \| \| Заказать учебную работу Закажи выполнение студенческой работы, избавься от головной боли и сдай на отлично ? Временно скрыть Больше не показывать Консультант Анна На связи я Помощник Анна
Readable Markdown	null
Shard	145 (laksa)
Root Hash	10820099066668670145
Unparsed URL	ru,mathemlib!/mathenc/item/f00/s01/e0001595/index.shtml h80