Qu'est-ce qu'une métrique? Pourquoi sert? Est-ce un champ physique?

Métrique De nos jours, il est fermement lié à la théorie de la gravité, Merci au travail Hilbert et Einstein avec Brut. Cependant, en mathématiques, elle a été présentée bien avant cela. Si je ne me trompe pas, Parmi les premiers qui, d'une manière ou d'une autre, l'ont utilisé dans explicitement, étaient Riman et Gauss. Nous allons d'abord essayer de comprendre son rôle dans la géométrie et seulement alors nous verrons, comment la métrique est devenue la principale structure de, Théorie générale de la relativité.

À ce jour, il existe une définition assez détaillée et claire des espaces métriques d'un type assez courant:

Espace métrique (“équipé d'une métrique”) En mathématiques, un tel espace s'appelle, dans lequel pour deux de ses points ordonnés (C'est-à-dire que l'un d'eux est appelé le premier, Et l'autre – deuxième) Le nombre réel de ces, qu'il est nul, alors et seulement alors, quand les points coïncident, et l'inégalité “Triangle” – pour trois points quelconques (X,et,Avec) c'est le numéro pour n'importe quelle paire (X,et) равно или меньше суммы этих чисел для двух остальных пар, (X,Avec) et (et,Avec). Из определения следует также, что число это неотрицательно и не изменяется (метрика симметрична) при изменении порядка точек в паре.

Как водится, как только определили что-то, так это определение расширяют и название распространяют и на другие, похожие пространства. Так и здесь. par exemple, псевдоевклидовы пространства Strictement formellement, ne sera pas métrique selon la définition ci-dessus, car. En eux “Métrique” Numéro, intervalle, peut être nul et pour deux points différents, а также его квадрат может быть отрицательным действительным числом. Однако их практически с самого начала включают в семейство метрических пространств, Juste suppression de l'exigence correspondante dans la définition, élargir la définition.

outre, la métrique peut également être déterminée non pour tous les points de l'espace, mais seulement pour l'infiniment proche (localement). De tels espaces sont appelés riemanniens et dans la vie de tous les jours sont également appelés métriques.. de plus, ce sont les espaces riemanniens qui ont rendu la métrique si célèbre et attirant l'attention des mathématiciens, et physiciens, et familier même à beaucoup de gens, peu lié à ces sciences.

В конечном итоге, мы здесь будем обсуждать метрику применительно именно к Римановым пространствам, c'est à dire. в локальном смысле. И даже локально знако неопределённую.

Définition mathématique formelle et ses extensions – c'est le résultat de la compréhension et de la clarification du concept de métrique. Voyons, de ce que ce concept a grandi, avec quelles propriétés du monde réel, il était à l'origine connecté.

Toute la géométrie est née de ces concepts, qui ont été initialement formalisés Euclidom. Aussi la métrique. En géométrie euclidienne (Pour plus de simplicité et de clarté, nous parlerons de la géométrie à deux dimensions, Alors à propos de la géométrie de l'avion) Il y a un concept de distance entre deux points. Très souvent, même maintenant, la métrique est appelée la distance.. Parce que pour le plan euclidien, la distance est une métrique, et la métrique – distance. Et c'est ainsi qu'elle était comprise au tout début. Bien que, Comment j'essaierai de montrer, Cela s'applique au concept moderne de métrique uniquement dans un très limité, avec de nombreuses réservations et conditions, Signification.

Расстояние на евклидовой плоскости (sur une feuille de papier) кажется чрезвычайно простой и очевидной вещью. Vraiment, с помощью линейки можно провести прямую линию между любыми двумя точками и измерить её длину. Полученное число будет расстоянием. Взяв третью точку, можно нарисовать треугольник и убедиться, что расстояние это (для любых двух точек на плоскости) satisfait exactement la définition ci-dessus. En fait, La définition a été tirée à une à une des propriétés de la distance euclidienne dans le plan. Et un mot “métrique” изначально связано с измерением (с помощью метра), “метризацией” плоскости.

А для чего потребовалось измерять расстояния, проводить эту самую метризацию плоскости? Bien, для чего меряют расстояния в реальной жизни всякий, peut être, имеет своё представление. Et en géométrie ils y pensent vraiment, lorsque les coordonnées ont été saisies pour, décrire chaque point du plan séparément et uniquement des autres. Un système de coordonnées sur un plan sera évidemment plus compliqué que la simple distance entre deux points.. Voici le début du compte à rebours, et axes de coordonnées, et la distance (comment faire sans eux?) de l'origine aux projections du point sur l'axe. Pourquoi avons-nous besoin d'un système de coordonnées semble être clair – c'est une grille solide de lignes perpendiculaires les unes aux autres (si les coordonnées sont cartésiennes), полностью заполняющая плоскость и таким образом решающая проблему адреса любой точки на ней.

Il s'avère, métrique – расстояние и координаты – расстояния. Есть ли разница? Ввели координаты. Pourquoi alors la métrique? Il y a une différence, et très important. Le choix des systèmes de coordonnées implique un certain degré de liberté.. Dans les systèmes cartésiens, nous utilisons des lignes droites comme axes. Но ведь можем использовать и кривые? Nous pouvons. И всякие извилистые тоже. Мы можем измерять расстояние вдоль таких линий? Certainement. Измерение расстояния, длины вдоль линии не связано с тем, какая это линия. У кривой дорожки тоже есть длина и на ней можно расставить верстовые столбики. А вот метрика в евклидовом пространстве не является произвольным расстоянием. Это длина прямой, соединяющей две точки. Прямой. А что это такое? Какая линия прямая, а какая кривая? В школьном курсе прямые – это аксиома. Мы их видим и улавливаем идею. Но в общей геометрии прямые (en soi c'est le nom, étiqueter, Pas plus!) peut être défini comme des lignes spéciales parmi toutes les, reliant deux points. À savoir, comme le plus court, le plus court. (Et dans certains cas, pour certains espaces mathématiques, vice versa, le plus long, ayant la plus grande longueur.) Il semblerait, nous avons pris la différence entre la métrique et une distance arbitraire entre deux points. Ce n'était pas là. Мы пошли по неверной дорожке. Oui, всё верно, прямые – кратчайшие в евклидовом пространстве. Но метрика – это не просто длина кратчайшей. ne pas. Это её вторичное свойство. В евклидовом пространстве метрика не только расстояние между двумя точками. Métrique – cette, d'abord, образ теоремы Пифагора. Теоремы, которая позволяет вычислить расстояние между двумя точками при знании их координат, двух других расстояний. Причем вычисляется оно весьма специфически, как корень квадратный из суммы квадратов координатных расстояний. Евклидова метрика является не линейной формой координатных расстояний, а квадратичной! Seules les propriétés spécifiques du plan euclidien font le lien de la métrique avec les plus courts chemins, points de connexion, si simple. Les distances sont toujours des fonctions linéaires de déplacement en cours de route. Métrique, la fonction quadratique de ces déplacements. И здесь лежит фундаментальное отличие метрики от интуитивно понимаемого расстояния, как линейной функции смещения из точки. de plus, для нас вообще расстояние напрямую ассоциируется именно с самим смещением.

Pourquoi, с какой стати квадратичная функция смещений так важна? Et est-ce vraiment le droit d'être appelé la distance au sens complet du mot? Ou ce sont des propriétés assez spécifiques de l'espace éclidique (bien, или некоторого семейства близких к Евклидову пространств) ?

Сделаем небольшой шаг в сторону и поговорим подробнее о свойствах единиц измерения. Posons une question, каковы должны быть линейки, чтобы можно было нанести координатную сетку на листе бумаги? Твёрдые, жесткие и неизменные, скажете вы. И почему “линейки”? Одной вполне достаточно! Верно, если её можно поворачивать как угодно в плоскости бумаги и переносить вдоль неё. Заметили “если”? Oui, у нас есть возможность пользоваться такой линейкой применительно к плоскости. Линейка сама по себе, плоскость сама по себе, но плоскость позволяет “приложить” к себе нашу линейку. А применительно к сферической поверхности? Как не прикладывай – всё торчит вне поверхности. Так и хочется её загнуть, отказаться от твёрдости и жёсткости. Оставим пока это направление мысли. Что ещё мы хотим от линейки? Твёрдость и жёсткость на самом деле подразумевают нечто иное, гораздо более важное для нас при измерениях – гарантию неизменности выбранной линейки. Мы хотим измерять одним и тем же масштабом. Зачем это нужно? Как зачем?! Pour pouvoir comparer les résultats de mesure partout dans le plan. Peu importe comment nous tournons le souverain, Peu importe comment ça a été déplacé – Une partie de ses biens, longueur, должно быть гарантированно неизменным. Longueur – это расстояние между двумя точками (по прямой) на линейке. Очень похоже на метрику. Но метрика вводится (или существует) в плоскости, для точек плоскости, Et voici le souverain? Et puis, quoi La métrique est juste amenée à l'achèvement logique de la longueur inchangée de la règle abstraite, déchiré de la ligne extérieure et attribué à chaque point de l'avion.

Bien que nos alignements soient toujours des objets externes pour les distances mesurées par eux sur l'avion, но мыслим-то мы их также и как внутренние, принадлежащие плоскости масштабы. Ainsi, речь идёт об общем свойстве, как внешней линейки, так и внутренней. И свойство это одно из двух главных -величина, puis, ce qui fait de l'échelle une unité de mesure (La deuxième propriété de l'échelle – C'est la direction). Pour l'espace euclidien, cette propriété semble indépendante de la direction de la ligne et de sa position (espace). Il existe deux façons d'exprimer une telle indépendance. Первый способ, пассивный взгляд на вещи, говорит об инвариантности величины, ее одинаковости при произвольном выборе допустимых координат. Второй способ, активный взгляд, говорит об инвариантности при смещении и повороте, в результате явного перехода от точки к точке. Эти способы не эквивалентны друг другу. Первый просто является формализацией утверждения, que la taille, à cet endroit (indiquer) un seul et même temps quel que soit le point de vue. Le second prétend également, que les valeurs à différents points sont les mêmes. Dégager, что это гораздо более сильное утверждение.

Остановимся пока на инвариантности величины масштаба при произвольном выборе координат. Оп-па! Comme ça? Чтобы приписать координаты точкам уже нужно иметь масштабы. C'est à dire. эту самую линейку. Другие координаты – Qu'est-ce que c'est ça? Другие линейки? На самом деле именно так! Mais! Puis, что мы в евклидовой плоскости можем поворачивать нашу линейку в точке как нам хочется, создаёт видимость, что координаты можно изменять, не изменяя линейку. Это иллюзия, но такая приятная иллюзия! Как мы привыкли к ней! Все время говорим – повёрнутая система координат. Et cette illusion est basée sur une certaine propriété postulée de l'échelle dans le plan euclidien – ses invarias “longueurs” Avec un virage arbitraire au point, c'est à dire. при произвольном изменении второго свойства масштаба, направления. И это свойство имеет место в любой точке евклидовой плоскости. Масштаб всюду имеет “длину”, не зависящую от локального выбора направлений осей координат. Это постулат для евклидова пространства. И как же эту длину мы определяем? В системе координат, sur lequel l'échelle sélectionnée est une unité de mesure le long de l'un des axes, Nous déterminons très simplement – C'est la même unité. Et dans le système de coordonnées (rectangulaire), в которой выбранный масштаб не совпадает ни с одной из осей? С помощью теоремы Пифагора. Теоремы-то теоремы, да здесь немного обмана есть. En fait, теорема эта должна бы заменить некоторые аксиомы, formulé par euclide. Elle équivaut à eux. Et avec une autre généralisation de la géométrie (pour les surfaces arbitraires, par exemple) en fonction de la manière de calculer la longueur de l'échelle. À vrai dire, переводят этот способ в разряд аксиом.

Повторим теперь кое-что, что лежит в основе геометрии, что позволяет приписывать точкам плоскости координаты.

Речь идёт о единице измерения, масштабе. Масштаб существует в любой точке. Имеет величину – “длину” и направление. Длина является инвариантом (ne change pas) при изменении направления в точке. В прямоугольных координатах в евклидовом пространстве квадрат длины масштаба, направленного из точки произвольно, равен сумме квадратов его проекций на оси. Такая геометрическая величина еще называется вектором. Значит масштаб это вектор. UN “longueur” вектора еще называется нормой. Bien. Но где же тут метрика? UN métrique при таком подходе и есть способ приписать любому вектору в каждой точке норму, способ вычисления этой нормы при произвольном положении этого вектора относительно векторов, составляющих базу, репер (тех, которые определяют направления осей координат из данной точки и имеют единичную норму по определению, c'est à dire. unités de mesure). Очень важно то, что такой способ определён для каждой точки пространства (плоскости в данном случае). Ainsi, он является свойством этого пространства и его внутренних векторов, а не внешних к пространству объектов.

Позвольте, но ведь уже в самом начале мы дали определение метрических пространств. Зачем новое определение? И согласуется ли оно со старым? А вот зачем. Здесь мы указали как именно задается, определяется это самое действительное число. À savoir, расстояние между точками равно “длине”, норме вектора, соединяющего эти точки (в евклидовом пространстве). Puis, что вектор имеет некоторую норму, независимую от точки зрения на него (выбор репера) является определением вектора. Важнейшим условием, которое и делает при этом пространство метрическим, является требование, чтобы векторы с заданной нормой существовали в каждой точке пространства во всех направлениях. И это определение вполне согласуется с приведённым в самом начале. Можно ли иначе определить метрику на некотором пространстве? В принципе, можно. И даже многими способами. Только это будут уже вовсе иные классы пространств, не включающие в себя евклидово пространство даже как частный случай.

Чем же евклидово пространство для нас особенное? Bien, как это чем? На первый взгляд, именно такими свойствами и обладает то самое пространство, в котором мы живём. Oui, при более внимательном рассмотрении, не совсем такими. Но есть ведь разница между “не совсем такими” et “совсем не такими”?! Хотя набор слов вроде тот же. Так что наше пространство-время если и не евклидово, то при определённых условиях может быть очень близким к нему. Ainsi, выбирать мы должны из той семьи пространств, в которой евклидово пространство имеется. Так мы и делаем. Но всё-таки, что такого особенного в евклидовом пространстве, что находит своё выражение в определённых свойствах его метрики? Свойств довольно много, о большинстве их уже упоминалось выше. Попробую сформулировать эту особость достаточно компактно. Евклидово пространство таково, что в нём имеется возможность выбрать масштабы (то есть ввести координаты) Donc, что оно оказывается полностью заполнено прямоугольной сеткой координат. Возможно это когда метрика в каждой точке пространства одна и та же. По существу, это означает, что нужные для этого масштабы существуют в каждой точке пространства и все они тождественны одному единственному. Для всего пространства достаточно одной линейки, которая может быть перенесена в любую точку (в активном смысле) без изменения и её величины, и её направления.

Выше я поставил вопрос, почему метрика является квадратичной функцией смещения. Он пока остаётся без ответа. Мы к этому обязательно ещё придём. А сейчас отметьте для себя на будущее – метрика в нужном нам семействе пространств есть величина инвариантная относительно преобразований координат. Мы говорили пока о декартовых координатах, но я здесь сразу подчеркну – это верно для любых преобразований координат, которые допустимы в данной точке данного пространства. Величина, инвариантная (не изменяющаяся) при преобразованиях координат имеет в геометрии ещё одно специальное название – scalaire . Смотрите, сколько названий для одного и того же – постоянная, инвариант, scalaire… Может и ещё какое-то есть, в голову сразу не приходит. Это говорит о важности самого понятия. Alors ici, метрика это скаляр в определённом смысле. Certainement, в геометрии есть и другие скаляры.

Почему в “определённом смысле”? Parce que, quoi, в понятие метрики входят две точки а не одна! А вектор связан (определён) только с одной точкой. Выходит я ввёл вас в заблуждение? ne pas, просто сказал ещё не всё, что нужно сказать. А нужно сказать, что метрика это норма не произвольного вектора, а только вектора бесконечно малого смещения из данной точки в произвольном направлении. Когда эта норма не зависит от направления смещения из точки, тогда её скалярное значение может рассматриваться как свойство только одной этой точки. При этом, она всё равно остаётся также и правилом вычисления нормы для любого другого вектора. Comme ça.

Что-то не сходится… Нормы-то у разных векторов разные! А метрика скаляр, величина одинаковая. Противоречие!

Нет противоречия. Я ведь сказал ясно – правило вычисления. Для всех векторов. А сама конкретная величина, которую тоже называют метрикой, вычисляется согласно этому правилу только для одного вектора, смещения. Язык наш привычен к вольностям, умолчаниям, сокращениям… Вот и привыкли мы называть метрикой и скаляр и правило его вычисления. В самом деле, это ведь почти одно и то же. Почти, mais pas vraiment. Важно всё-таки видеть разницу между правилом и результатом, с его помощью полученным. А что важнее – правило или результат? Как ни странно, dans ce cas, правило… Поэтому гораздо чаще в геометрии и физике, когда говорят о метрике, имеют ввиду именно правило. Только очень уж упёртые математики предпочитают говорить строго о результате. И этому есть причины, но о них в другом месте.

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

И что же мы можем сказать о метрике как о правиле? Здесь нам придётся использовать формулы. Пусть координаты вдоль оси с номером i у нас обозначаются как x^je. А смещение из данной точки в соседнюю dx^je. Обращаю ваше внимание – координаты не вектор! А смещение как раз вектор! В таких обозначениях метрическое “расстояние” между данной точкой и соседней, согласно теореме Пифагора будет вычисляться с помощью формулы

ds² = g_je dx^je dx^k

Слева здесь стоит квадрат метрического “расстояния” между точками, “координатное” (то есть по каждой отдельной координатной линии) расстояние между которыми задано вектором смещения dx^je. Справа сумма по совпадающим индексам всех попарных произведений компонент вектора смещений с соответствующими коэффициентами. А их таблица, матрица коэффициентов g_je, которая и задаёт правило вычисления метрической нормы, называется метрическим тензором. И именно этот тензор в большинстве случаев и называют метрикой. Термин “tenseur” здесь чрезвычайно важен. И означает он, что в другой системе координат формула, записанная выше будет той же самой, только таблица будет содержать другие (en général) коэффициенты, которые вычисляются строго заданным способом через эти и коэффициенты преобразования координат. Евклидово пространство характерно тем, что в декартовых координатах вид этого тензора чрезвычайно прост и один и тот же в любых декартовых координатах. Матрица g_je содержит только единицы на диагонали (при i=k), а остальные числа нули. Если в евклидовом пространстве используются не декартовы координаты, то в них матрица уже будет выглядеть не так просто.

Donc, мы записали правило, определяющее метрическое “расстояние” между двумя точками в евклидовом пространстве. Это правило записано для двух сколь угодно близких точек. В евклидовом пространстве, c'est à dire. в таком, в котором метрический тензор может быть диагональным с единицами на диагонали в некоторой системе координат в каждой точке, нет принципиальной разницы между конечными и бесконечно малыми векторами смещения. Но нас больше интересует случай Римановых пространств (таких как поверхность шара, par exemple), где эта разница существенна. Donc, мы допускаем, что метрический тензор в общем случае не диагональный и меняется при переходе от точки к точке в пространстве. Но результат его применения, ds², остаётся при этом в каждой точке независимым от выбора направления смещения и от самой точки. Это очень жёсткое условие (менее жёсткое, чем условие евклидовости) и именно при его выполнении пространство и называют Римановым.

Вы наверное обратили внимание, что очень часто я беру в кавычки слова “longueur” и расстояние”. Делаю я это вот почему. В случае плоскости и трехмерного евклидова пространства, Métrique “расстояние” et “longueur” кажутся в точности совпадающими с обычными расстояниями, измеряемыми линейками. de plus, эти понятия и были введены для формализации работы с результатами измерений. Почему же тогда “кажутся совпадающими”? Забавно, но это именно тот случай, когда математики вместе с грязной (не нужной им) водой выплеснули из ванны и ребёнка. ne pas, они кое-что и оставили, но то, что осталось перестало быть ребёнком (distance). Это легко увидеть даже на примере евклидовой плоскости.

Напомню – Métrique “расстояние” не зависит от выбора декартовых (и не только) координат, dire, sur une feuille de papier. Пусть в одних координатах, это расстояние между двумя точками на оси координат равно 10. Можно ли указать другие координаты, в которых расстояние между этими же самыми точками будет равно 1? Никаких проблем. Просто отложите в качестве единицы по тем же самым осям новую единицу, равную 10 предыдущим. Разве евклидово пространство от этого изменилось? В чём дело? А дело в том, что когда мы что-то измеряем, нам мало знать число. Нам нужно ещё знать, какие единицы были использованы для получения этого числа. Математика в привычной сегодня всем форме этим не интересуется. Она имеет дело только с числами. Выбор единиц измерения сделан до применения математики и меняться больше не должен! Но наши расстояния, длины без указания масштабов нам ничего не говорят! А математике всё равно. Когда речь идёт о метрическом “distance”, её формальное применение безразлично к выбору масштаба. Хоть метры, хоть сажени. Только числа важны. Вот поэтому-то я и поставил кавычки. Знаете какой побочный эффект имеет такой подход в математике Римановых пространств? А вот какой. Рассматривать изменение масштаба от точки к точке не имеет смысла. Только изменение его направления. И это при том, что изменение масштабов с помощью координатных преобразований в такой геометрии вполне обыденная вещь. Можно ли включить в геометрию последовательное рассмотрение свойств масштабов во всей их полноте? Pouvez. Seulement для этого придётся убрать множество соглашений и приучиться называть вещи своими, правильными именами. Одним из первых шагов будет осознание того факта, что никакая метрика по существу своему расстоянием не является и быть им не может. Она, безусловно, имеет некоторый физический смысл, притом весьма важный. Но другой.

В физике внимание к роли метрики было привлечено с появлением теорий относительности – сначала специальной, потом общей, в которой метрика стала центральной структурой теории. Специальная Теории Относительности сформировалась на базе того факта, что трёхмерное расстояние не является скаляром с точки зрения совокупности инерциальных, движущихся друг относительно друга равномерно и прямолинейно физических систем отсчёта. Скаляром, инвариантом оказалась другая величина, которую назвали интервалом. Интервалом между событиями. И для вычисления его значения нужно учесть и промежуток времени между этими событиями. de plus, il s'est avéré, что и правило вычисления метрики (а интервал сразу стал рассматриваться в качестве метрики в объединенном пространстве-времени, пространстве событий) отлично от привычного евклидова в трёхмерном пространстве. Похоже, но немного другое. Соответствующее метрическое пространство четырёх измерений, введённое Германом Минковским, стали называть pseudo-euclidienne. Именно работа Минковского привлекла внимание физиков, включая Эйнштейна, к важности понятия метрики как физической величины, а не только математической.

Общая Теория Относительности включила в рассмотрение ещё и ускоренные друг относительно друга физические системы отсчёта. ET, Ainsi, смогла дать описание гравитационных явлений на новом по отношению к теории Ньютона уровне. И смогла она этого достигнуть с помощью придания смысла физического поля именно метрике – и величине и правилу, метрическому тензору. При этом она использует как образ пространства-времени математическую конструкцию Риманова пространства. Мы не будем вдаваться слишком далеко в подробности этой теории. Помимо всего прочего, эта теория утверждает, что мир (espace-temps), в котором есть массивные тела, то есть тела притягивающиеся друг к другу , имеет метрику отличную от столь приятной нам евклидовой метрики. Все помещённые ниже утверждения эквивалентны:

• 
  
  Физическое утверждение. Точечные тела, имеющие массу, притягиваются друг к другу.
  
  
• 
  
  В пространстве-времени, в котором есть массивные тела, нельзя ввести жёсткую прямоугольную сетку всюду. Нет таких измерительных приборов, которые позволяют это сделать. Всегда сколь угодно мелкие “клеточки” получающейся сетки будут кривыми четырёхугольниками.
  
  
• 
  
  Можно выбрать масштаб с одной и той же величиной (нормой) для всего пространства-времени. Любой такой масштаб можно переместить из его точки в любую другую точку и сравнить с уже существующим там. НО! Даже если смещение бесконечно мало, направления сравниваемых масштабов в общем случае не будут совпадать. Тем сильнее, чем ближе масштаб находится к телу, обладающему массой и чем больше эта самая масса. Только там где нет никаких масс (L'espace-temps est homogène et isotrope, вот вам вопрос – а что же сами масштабы?) направления будут совпадать.
  
  
• 
  
  В области пространства-времени, содержащей массивные тела не существует такой системы координат, в которой метрический тензор в каждой точке представлен матрицей, нулевой всюду, кроме диагонали, на которой находятся единицы.
  
  
• 
  
  Отличие метрики от евклидовой является проявлением наличия гравитационного поля (поля тяготения). de plus, поле метрического тензора и есть гравитационное поле.
  
  
• 
  
  Пространство-время, содержащее массивные тела имеет в каждой точке не нулевую courbure.
  
  

Можно было бы привести еще немало подобных утверждений, но сейчас мне хочется обратить ваше внимание на последнее. Courbure. Это что-то, что мы еще не обсуждали. Какое отношение она имеет к метрике? Dans l'ensemble – никакого! Courbure является понятием более общим чем метрика. В каком смысле?

Семейство Римановых пространств, включающее и Евклидовы пространства, само входит в более общее семейство пространств аффинной связности. Эти пространства, en général, не подразумевают существование такой величины, как метрика, для каждой своей пары точек. Зато необходимым их свойством является существование двух других структур, связанных друг с другом – аффинной связности и кривизны. И только при определённых условиях на кривизну (или связность), в таких пространствах существует метрика. Тогда эти пространства и называют Римановыми. В любом Римановом пространстве есть связность и кривизна. Но не наоборот.

Но нельзя также сказать, что метрика вторична по отношению к связности или кривизне. ne pas. Существование метрики – это констатация определённых свойств связности, а значит и кривизны. В стандартной интерпретации ОТО метрика рассматривается как более важная, образующая форму теории, структура. А аффинная связность и кривизна оказываются при этом вторичными, производными от метрики. Эта интерпретация заложена Эйнштейном, в те времена, когда математика ещё не выработала достаточно продвинутого и последовательного понимания иерархии по степени важности структур, которые определяют свойства семейства пространств, ведущих к евклидовым. Уже после создания аппарата ОТО, в первую очередь трудами Вейля et Схоутена (не их одних, bien sûr), была разработана математика пространств аффинной связности. En fait, работа эта была стимулирована появлением ОТО. Как видите, каноническая интерпретация важности структур в ОТО не совпадает с нынешним взглядом математики на их соотношение. Эта каноническая интерпретация представляет собой не что иное, как отождествление тех или иных математических структур с физическими полями. Придание им физического смысла.

В ОТО имеется два плана описания пространства-времени. Первый из них – само пространство-время как пространство событий. Développements, непрерывно заполняющие любую область пространства-времени характеризуются с помощью четырех координат. Ainsi, системы координат подразумеваются введёнными. Само название теории акцентирует внимание именно на этом – законы природы, имеющие место в таком пространстве-времени должны быть сформулированы одинаково относительно любой допустимой системы координат. Это требование называют принципом общей относительности. Note, что этот план теории ещё ничего не говорит о наличии или отсутствии метрики в пространстве-времени, но уже обеспечивает основу для существования в нём аффинной связности (вместе с кривизной и другими производными математическими структурами). Naturellement, уже на этом уровне появляется необходимость придания физического смысла математическим объектам теории. Вот он. Точка пространства времени изображает событие, с одной стороны характеризуемое положением и моментом времени, с другой – четырьмя координатами. Что-то странное? Разве это не одно и то же? А вот нет. В ОТО это не одно и то же. Координаты самого общего вида, допустимые в теории не могут быть интерпретированы как положения и моменты времени. Такая возможность постулируется только для очень ограниченной группы координат – локально инерциальных, которые существуют только в окрестности каждой точки, но не во всей области, накрытой общей системой координат. Это ещё один постулат теории. Вот такой вот гибрид. Je noterai, что именно здесь рождаются многие проблемы ОТО, но разрешением их заниматься сейчас не буду.

Вторым планом теории можно считать ту часть её постулатов, которая вводит в рассмотрение на пространстве-времени физическое явление – гравитацию, взаимное притяжение массивных тел. Утверждается, что это физическое явление может быть при определённых условиях уничтожено простым выбором подходящей системы отсчёта, à savoir, локально инерциальной. Для всех тел, имеющих одинаковое ускорение (свободного падения) вследствие наличия в небольшой области гравитационного поля удалённого массивного тела, это поле не наблюдаемо в некоторой системе отсчёта. Формально, постулаты на этом кончаются, но фактически основное уравнение теории, которое и вводит в рассмотрение метрику, тоже относится к постулатам, и как математическое утверждение, и как физическое. Хотя я не собираюсь вдаваться в детали уравнения (En fait, системы уравнений), но всё-таки полезно иметь его перед глазами:

R_je= -с (J_je – 1/2 T g_je)

Здесь слева стоит так называемый тензор Ricci, определённая свёртка (комбинация составляющих компонент) полного тензора кривизны. С полным правом её также можно называть кривизной. Справа стоит конструкция из тензора энергии-импульса (сугубо физическая величина в ОТО, сингулярная для массивных тел и внешняя для пространства-времени, которое для энергии-импульса в этой теории является просто носителем) и метрики, которая подразумевается существующей. Причём метрика эта, как скалярная величина, производимая метрическим тензором, одинакова для всех точек области. Ещё есть размерная постоянная с, пропорциональная гравитационной постоянной. Из этого уравнения видно, quoi, dans l'ensemble, кривизна сопоставляется с энергией-импульсом и метрикой. Физический смысл метрике приписывается в ОТО уже после получения решения этих уравнений. Поскольку в этом решении коэффициенты метрики оказываются связаны линейно с потенциалом гравитационного поля (вычисляются через него) то метрическому тензору и приписывается смысл потенциалов этого поля. При таком подходе аналогичный смысл должна иметь и кривизна. А аффинная связность интерпретируется как напряжённость поля. Интерпретация эта неверна, ошибочность её связана с отмеченным выше парадоксом в интерпретации координат. Naturellement, для теории это не проходит бесследно и проявляется в ряде хорошо известных проблем (нелокализуемость энергии гравитационного поля, трактовка сингулярностей), которые при придании геометрическим величинам правильного физического смысла просто не возникают. Более подробно всё это обсуждено в книге “JAVASCRIPT EST DÉSACTIVÉ“.

Однако и в ОТО метрика поневоле, помимо смысла навязанного ей искусственно, имеет ещё один физический смысл. Вспомним, что характеризует метрика в случае евклидова пространства? Одну очень важную для измерений в пространстве-времени вещь – возможность ввести в этом пространстве жёсткую, равномерно заполняющую всю область прямоугольную координатную сетку. Эту сетку и называют в физике инерциальной системой отсчёта. Такой системе отсчёта (système de coordonnées) соответствует один и только один стандартный вид метрического тензора. В системах отсчёта, произвольно двигающихся относительно инерциальной, вид метрического тензора отличен от стандартного. С физической точки зрения роль “сетки отсчёта” достаточна прозрачна. Если вы имеете твердое тело отсчёта, каждая точка которого снабжена одинаковыми часами, existant dans le temps, то оно как раз и реализует такую сетку. Для пустого пространства мы просто домысливаем такое тело отсчёта, снабжая его (пространство) точно такой же метрикой. В таком понимании, tenseur métrique, отличный от стандартного евклидового, говорит, что система отсчёта (координат) построена с помощью не твёрдого тела, et, Peut être, часы тоже идут по-разному в её точках. Что я хочу сказать этим? Et alors, quoi метрический тензор является математическим образом некоторых важнейших для нас свойств системы отсчёта. Тех свойств, которые абсолютным образом характеризуют структуру самой системы отсчёта, позволяют определить, насколько она “bien”, насколько отличается от идеала – инерциальной системы. Вот ОТО и использует метрический тензор именно как такой образ. Comment образ распределённого в области репера измерительных приборов, возможно меняющего свою ориентацию от точки к точке, но имеющего всюду одну и ту же норму, общую для всех векторов репера. Métrique, рассматриваемая как скаляр и есть эта норма, величина масштаба. Метрика как тензор позволяет рассматривать произвольное относительное движение друг относительно друга всех масштабов, составляющих тело отсчёта. И ОТО описывает такую ситуацию, когда в пространстве-времени возможно иметь такое тело отсчёта, реальное или воображаемое.

Такой взгляд на метрику безусловно правилен. de plus, он также и продуктивен, поскольку сразу заостряет внимание на оставшихся в ОТО соглашениях. В самом деле, мы дозволили к использованию системы отсчёта, в которых масштабы в разных точках могут быть ориентированы по-разному (в четырёхмерном мире ориентация включает в себя также и движение). И всё ещё требуем, чтобы некоторая абсолютная характеристика масштаба, его норма (intervalle) оставалась одной и той же. Ainsi, всё-таки утверждение ОТО, что она приняла в рассмотрение все возможные системы отсчёта чрезмерно. Не такая она общая, относительность в этой теории.

© Gavryusev V.G.
Les matériaux publiés sur le site peuvent être utilisés sous réserve des règles de citation.