Самые важные метрики QA. Коэффициент повторно открытых дефектов

Термин "метрика" имеет далеко не единственное значение. Коснемся их в общем, заострив внимание на наиболее актуальном на сегодня - "Яндекс.Метрике".

Что такое метрика

Понятие имеет несколько толкований в словарях:

• сокращенное образование от термина "метрический тензор";
• функция, которая призвана определять расстояния в метрическом пространстве;
• ПО-метрика - выраженное в числах значение каких-либо свойств определенного программного обеспечения;
• в поэзии: учение древних греков о ритмике, строении стихотворной речи;
• в теории музыки: специальный раздел, посвященный изучению величины, измеряющей различные ритмические построения, - метру музыкальному;
• синоним свидетельства о рождении, метрический реестр, дворянская родословная книга;
• числовая величина, которая влияет на выбор маршрута следования информации в компьютерных сетях.

Также "Метрика" - это название российской сети строительных гипермаркетов, книга математика Герона Александрийского.

"Яндекс.Метрика"

Сегодня слово чаще всего фигурирует в названии одного из сервисов "Яндекса". В данном ключе "метрика" - это инструмент веб-аналитики, широко используемый в электронной коммерции. В частности, он предоставляет анализ:

• аудитории сайта;
• поведения посетителей на нем;
• выручки и конверсии ресурса;
• источников трафика;
• скорости работы сайта, а также его доступности;
• эффективности той или иной рекламной кампании.

Отчеты "Яндекс.Метрики"

"Метрика" - это сервис, формирующий отчеты:

1. Общей картины посещаемости сайта.
2. Распределения посетителей по (запросы в поисковых системах, ссылка из соцсетей, реклама).
3. Демографической характеристики посетивших сайт.
4. Взаимодействия визитеров с отдельными элементами сайта - переходами по ссылкам, загрузкой контента, просмотром определенных страниц.
5. Воспроизведения маршрута действий посетителя, анализа заполнения тех или иных форм.
6. Сведений о ПО, устройствах, с которых были произведены просмотры.
7. О результатах проверки доступности ресурса системой, о его нагрузке.
8. Для интернет-маркетов: подробная информация о всех заказах, сделанных на сайте.

Все перечисленные опции бесплатны. В "Метрике" всего одна платная функция - "Целевой звонок". Это сводная статистика звонков потенциальных потребителей, которым стал известен номер определенного пользователя из ряда внешних источников.

Метрика - это понятие, определяющее самые разные явления действительности. В свете современных реалий многие в первую очередь ассоциируют слово с одноименным сервисом "Яндекса".

Метрики - это фуфло, скажите Вы, и будете правы. В чём-то.

Действительно, если речь заходит о метриках, то самая первая первая метрика, которая приходит на ум - посещаемость.

Многие любят медитировать часами глядя на график посещаемости своего сайта.

Как же это круто, наблюдать как скачет линия - туда-сюда, туда-сюда… А еще круче, когда посещаемость сайта растет непрерывно.

Тогда блаженное тепло разливается по всему телу и разум воспаряет к небесам в ожидании манны небесной.

Ах, какая радость, какое блаженство!

И даже если картина печальная…

От графика все равно не оторвать глаз, так он затягивает.

Кажется, что в графике скрыт тайный смысл. Еще немного, и картинка раскроет свои секреты и расскажет невероятно простой и эффективный способ привлечения огромного количества клиентов. И тогда-то деньги точно потекут рекой.

Но на самом деле, посещаемость - типичная “слащавая (тщеславная) метрика”, не несущая в себе полезного смысла.

И таких метрик большинство. В основном все метрики, которые Вы увидите - слащавые. И именно поэтому за метриками сложилась дурная слава бессмысленной траты времени и сил.

Но на самом деле это совсем не так. Правильные метрики дают крайне важную, а порой бесценную информацию для бизнеса и проекта.

Главный бонус и назначение метрик - это то, что они дают возможность управлять Вашим бизнесом или проектом.

Как определить, что метрика плохая?

Давайте рассмотрим очень простой пример - скорость автомобиля.

Скажите, пожалуйста, что обозначает скорость…

100 км/ч?

Так что же она обозначает?

Думаю, Вы, наверное, и сами догадались, что… ничего не обозначает!

Ок. Теперь второй вопрос:

100 км/ч это хорошо или плохо?

Ни то ни другое?

Скорость - совершенно бесполезная и бестолковая метрика. Если, конечно, её использовать саму по себе. В купе с другими метриками она, конечно, может что-то сказать, но сама по себе - точно нет.

Посещаемость сайта - ровно та же самая скорость.

Именно поэтому зависать перед графиком посещаемость сайта нет совершенно никакого смысла. Он не раскроет Вам тайну жизни. Понимаете теперь?

А какие метрики тогда хорошие?

Например, Churn rate. Эта метрика говорит сколько клиентов ушло из компании/сайта навсегда с течением времени.

Churn rate = 1% говорит, что мы теряем всего 1% клиентов. Т.е. почти никого не теряем.

Если же Churn rate = 90%, то это означает, что мы теряем почти всех своих клиентов. Это ужасно!

Видите отличие этой метрики от скорости?

Churn rate - наполненная смыслом метрика, которая отвечает на вопрос, хорошо это или плохо. И Вам не нужно гадать, что она обозначает.

Это метрика, говорящая сама за себя!

И теперь мы готовы предпринять срочные действия, чтобы уменьшить отток клиентов.

Именно поэтому такие метрики называют действенными. Потому что они побуждают к действию.

Критерий “слащавости” метрик

Есть очень простой способ определить, что метрика “слащавая / тщеславная” (англ. vanity).

Большинство абсолютных метрик , таких, например, как посещаемость, количество скачиваний, количество ретвитов, количество email-ов/подписчиков, количество лайков и т.д. являются слащавыми .

Относительные, взвешенные, метрики часто бывают действенными. Но не все!

Что касается качественных метрик, то тут однозначности нет, т.к. качественная оценка сама по себе не может быть точной и однозначной.

Но с другой стороны, оценивать удобство программы можно и нужно именно по уровню восприятия конечных пользователей и никак иначе.

Как подступиться к метрикам в целом?

Первым делом нужно перевернуть мозг.

Без шуток.

Каждый(!) кто сталкивается с метриками, первым делом начинает искать в них причину бытия. Но они ее не покажут, к сожалению.

Метрики - это просто как обычная линейка с помощью которой мы измеряем все, что хотим.

Вы же не ищете причину бытия в обычной деревянной линейке, верно?

Поиск смысла жизни в линейке - это то, что называется “подход снизу-вверх”.

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

Т.е. сначала делать какое-то действие, а потом уже с помощью метрик измерять получившийся от него эффект.

Следует использовать метрики как обычный предмет для измерений и не более.

Вдумайтесь в эти слова.

Измеряйте с помощью метрик эффект от Ваших действий, а не придумывайте действия на основании показаний деревянной линейки.

Такой подход ещё называют “Гипотеза->Измерение”.

Ок, с этим понятно.

Вопрос № 2: “А что именно измерять? Как найти правильные метрики?”

Как составить свой набор метрик?

Полазив по Интернету Вы наверняка найдете десятки, а то и сотни различных метрик на одну и ту же тему.

Например, метрик качества ПО можно найти около сотни. Это и стандарты ГОСТР-ИСО, и метрики, рассчитываемые в SonarQube, и какие-то самописные варианты, и даже “качественные” метрики, основанные на отзывах пользователей.

Так какие же стоит использовать, а какие нет?

Самый лучший подход - руководствоваться “основной ценностью”.

OMTM (One Metric That Matters)

Давайте рассмотрим пример.

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

Качество - это не только количество ошибок. Если смотреть на качество в целом, то это:

Количество инцидентов в проме,
удобство использования и простота восприятия,
быстрота работы,
полнота и своевременность реализации запланированного функционала,
безопасность.

Критериев много и работать сразу со всеми невозможно. Поступают очень просто: выбирают один, самый важный в данный текущий момент критерий, и работают только с ним.

Такой подход называется OMTM (One Metric That Matters) - Одна (Единственная) Важная Метрика.

ОМТМ качества ПО логично выбрать количество серьезных (важных и критических) инцидентов в промышленной среде.

Для интернет-магазинов над OMTM вообще думать не надо - это объем продаж или прибыль (в зависимости от Вашего решения).

Эта Одна Важная Метрика и будет основной ценностью для Вашего набора метрик. И именно от неё будет зависеть их финальный набор.

Ценность Inside

Составлять набор метрик часто начинают “от балды”, порывшись в Интернете и выбрав из найденного лучшие варианты по принципу: “О! Это нам подойдет!”

Как Вы понимаете, это не лучший способ, верно?

Но как решить, какую метрику брать, а какую нет?

Например, часто измеряют различного рода конверсии пользователей.

Но почему измеряют именно пользователей, а не что-нибудь еще? Вы не задумывались над этим вопросом?

Естественно, ответ есть.

Давайте рассмотрим интернет-магазин как самый простой для понимания пример.

Допустим, Вы хотите увеличить объем продаж. Какие метрики Вам для этого понадобятся? Как к этому подойти?

Есть один простой, логичный и работающий способ. Всё встаёт на свои места, когда Вы отвечаете на вопрос:

КТО ПРОИЗВОДИТ ЦЕННОСТЬ?

Мы ведь работаем надо объемом продаж, так? Хотим его увеличить, верно?

На кого и на что нужно повлиять, чтобы увеличить объем продаж?

Конечно,

нужно влиять на причину -
на того, кто “производит” ценность.

Кто производит деньги в интернет-магазине? Откуда появляются деньги?

Очень просто: от клиентов.

Где именно в интернет-магазине можно повлиять на клиентов?

Да где угодно!
Верно. На каждом этапе жизненного цикла клиента.

Для представления жизненного цикла удобно строить т.н. “воронку” движения клиента по процессу.

Пример воронки интернет-магазина:

Почему именно так? Потому что клиенты теряются именно при переходах с одного шага воронки на другой.

Увеличивая количество клиентов на каком-либо уровне воронки, мы автоматически увеличиваем результирующий объем продаж.

Простой пример.

Метрика “Процент брошенных корзин” по сути показывает конверсию при переходе от товарной корзины к оформленному заказу.

Допустим, при первом замере Вы обнаружили, что теряется 90% корзин, т.е. из 10 корзин делается только 1 заказ.

С товарной корзиной явно что-то не так, верно?

В результате доработки корзины, процент брошенных корзин уменьшился на 10%, до 80%. Как это выглядит в цифрах?

Из 10 корзин стали оформлять 2 заказа. 100 руб * 2 = 200 руб.

Но это же увеличение объема продаж на 100%! Бинго!

Увеличив конверсию шага всего на 10% Вы увеличили объем продаж на 100%.

Фантастика!

Но именно так это и работает.

Понимаете теперь в чём прелесть правильно построенных метрик?

С их помощью можно добиться фантастического влияния на Ваши процессы.

С интернет-магазином всё довольно просто, а вот как это всё переложить, например, на качество программного продукта? Да точно также:

1. Выбираем основную ценность над которой работаем. Например, сокращаем количество инцидентов в проме.
2. Понимаем, кто и что производит эту ценность. Например, исходный код.
3. Строим воронку жизненного цикла исходного кода и расставляем метрики на каждом шаге воронки. Всё.

Вот, например, какие метрики качества могли бы получиться (на вскидку)…

Показатель ценности:

• плотность дефектов прома на 1000 строк кода

Метрики исходя из жизненного цикла исходного кода:

• доля неудачных компиляций,
• охват автотестами,
• доля неудачных автотестов,
• доля неудачных развертываний.

Метрики исходя из жизненного цикла дефектов:

• динамика обнаружения дефектов,
• динамика исправления,
• динамика переоткрытий,
• динамика отклонений дефектов,
• среднее время ожидания исправления,
• среднее время исправления.

Как видите, тема метрик реально очень важная, нужная и интересная.

Как правильно подобрать метрики:

Выбирайте OMTM, продумывайте её основную ценность и измеряйте производителей этой ценности.

Метрики стройте на основании воронки жизненного цикла производителя.

Старайтесь не использовать абсолютные метрики.

Тема метрик стала популярна на волне движения Lean Startup, поэтому лучше всего начать чтение с первоисточников - книг “Lean Startup” (перевод на русский - “Бизнес с нуля. Метод Lean Startup” на Ozon) и “Lean Analytics” (перевода нет, но книга на английском продается на Ozon).

Кое-какую информацию можно найти в Интернете даже на русском языке, но всеобъемлющего учебника, к сожалению, пока найти не удалось даже в западном сегменте.

Кстати, сейчас появились даже отдельные специалисты “продуктологи”, задачей которых является построение правильной системы метрик для своего продукта и предложение путей по их улучшению.

На этом всё.

Если статья помогла Вам лучше понять суть вопроса, автор будет признателен за “лайк” и перепост.

Очень часто во многих стартапах складывается такая ситуация: все работают, процесс создания идет успешно, а потом оказывается, что пользователей мало, и те, которые есть, недовольны Вашим продуктом. Эту ситуацию проходит много стартапов, и немаловажное значение для выхода из кризиса имеет настойчивость и упорство основателей, а также умение влиять на команду, поддерживая "боевой настрой". Но до такой ситуации можно и не доводить, если воспользоваться опытом предыдущих команд.

В стартапе на любой стадии необходимы четкие метрики, которые подскажут вам, в каком направлении вы двигаетесь и двигаетесь ли вообще.

В английском языке есть слово "traction ". В переводе оно означает:

• тяга; тяговое усилие;
• поддержка, шансы на успех; ситуация, когда кто-то или что-то имеет своих сторонников.

Заметьте, что второе значение по смыслу связано с первым. Лидеру проекта нужно отслеживать "traction ". Его описывают, как значимую обратную связь от ваших клиентов. Одним из классических определений понятия "traction " в бизнесе является следующее: "quantitative evidence of market demand ", т.е. явное количественное доказательство того, что продукт или услуга, которые предлагает ваш стартап, на самом деле имеет спрос на рынке.

Проще говоря, это фактическое, притом массовое, а не единичное, подтверждение нужности конечному (целевому) потребителю создаваемого вами проекта.

Как измерять "traction "? Существуют разные метрики. Начнём с неправильных. Вот несколько примеров:

Чем плохи эти метрики? Это так называемые, "метрики тщеславия" - термин, введённый Эриком Райсом. Они хорошо влияют на наше самолюбие, но, по сути, ничем не отличаются от "лайков" в социальных сетях. Обратите внимание:

• эти метрики будут расти в любом случае;
• они не позволяют понять, что привело к изменению показателей, а, следовательно, не могут помочь стартаперам в принятии решений.

Правильные метрики должны быть точными. Они могут быть сравнительными (сравниваем показатель X1 с показателем X2) и/или относительными, т.е. выраженными в процентах. Ещё они должны быть понятны широкому кругу людей, по крайней мере - вашей команде. Исходя из методологии CDM ( Customer Development Methodology ) и Lean Startup, метрики должны влиять на поведение основателей стартапа, служить призывом к действию.

AARRR - Startup Metrics for Pirates

Теперь о правильных метриках. Дейв Маклюр, один из основателей акселератора-инкубатора (в портфолио около 450 компаний) стартапов "500 Startups", предложил систему метрик AARRR - Startup Metrics for Pirates.

AARRR - это аббревиатура, сформированная из названий стадий, через которые проходит пользователь в вашей воронке продаж:

• Acquisition (приобретение пользователей, их привлечение на ресурс). Это посетители вашего сайта, которые пришли из разных мест. Кто-то по рекламным каналам, кто-то через поиск, кто-то через ссылку в твиттере.
• Activation (активация). Посетителям понравился их первый визит. Они не закрыли сразу ваш сайт, они что-то на нем прочитали, поняли, в чем суть и совершили необходимое действие - подписались на рассылку, зарегистрировались, заказали обратный звонок и т.д.
• Retention (удержание). Ваши посетители возвращаются на ваш сайт, потому что он им чем-то нравится, и совершают там какие-либо действия.
• Referral (передача). Посетителям нравится ваш сайт настолько, что они рассказывают о нем, привлекая новых пользователей, которые в свою очередь тоже проходят стадию активации (это важно).
• Revenue (доход). Ваши посетители превратились в клиентов, которые платят вам деньги.

В разных источниках 4-ый и 5-ый этапы часто меняются местами. Это логично, т.к. в классической схеме продаж пользователи сначала становятся клиентами, а потом начинают говорить о продукте.

Теперь поговорим о каждом этапе более подробно.

Привлечение (Acquisition)

Первый этап. Люди приходят к вам из разных каналов: социальные сети, SEO (поисковая оптимизация, от англ. search engine optimization), SEM (поисковый маркетинг, от англ. search engine marketing), E-mail, блоги, контекстная реклама, офлайн (события не в онлайне), партнерские программы и прочие. Основной показатель - соотношение переходов на сайт и затраченных денег/просмотров рекламы.

Активация (Activation)

Пользователи попали на ваш сайт. Как понять, что произошла активация?

Пользователь:

• провел на сайте 10-30 и более секунд.
• посмотрел 2-3 и более страниц.
• сделал 3-5 кликов.
• воспользовался одной ключевой функцией.

Что может быть ключевой функцией или действием, которое считается активацией?

Для того, чтобы активация была успешна, требуется создавать множество "landing page" ("посадочных" страниц). В стартапах обычно используют от 4 до 16 "landing page", но можно и больше. После этого необходимо проводить A/B тестирование, т.е. делать разные страницы и отслеживать конверсию. Делать это нужно быстро.

Ключевые метрики данного этапа:

• Количество просмотренных страниц за визит.
• Время на сайте.
• Конверсия.

Мы выпустили новую книгу «Контент-маркетинг в социальных сетях: Как засесть в голову подписчиков и влюбить их в свой бренд».

Не так давно мы с вами выяснили, кому и , а сегодня я предлагаю рассмотреть основной вопрос, касающийся конверсии сайта, – .

Как вариант, настроить цели можно на:

1. просмотр страницы контактов (то есть посещение определенной страницы на сайте);
2. отправку заявки на обучение (в этом случае цель, как правило, настраивается на отправку формы );
3. общение с оператором в онлайн-чате;
4. покупку или заказ услуги.

И, соответственно, чем больше число выполнения таких действий, тем выше конверсия, прибыль и, как следствие, довольнее рекламодатель.

Цели в Яндекс.Метрике помогают оценить эффект

Допустим, мы запускаем курсы флористики. Делаем красивый сайт, вкладываем деньги и запускаем рекламу.

Неизвестно. Известно лишь количество трафика.

Тогда мы ставим счетчики аналитики и настраиваем цель на отправку формы онлайн-заявки. Картина начинает проясняться. Например, мы получили следующие цифры:

• Показы – 5655.
• Клики – 501.
• CTR – 8.86.
• Цена клика – 30 рублей.
• Общий расход на рекламную кампанию – 15030 рублей.

За месяц работы было получено 9 заявок, из чего мы делаем вывод:

1. CPA (с англ. «cost per action» - цена за действие) составил 1670 рублей;
2. CR (коэффициент ) равен 1,8%.

Пусть прибыль с одного ученика составляет (именно прибыль, то есть цена курса минус себестоимость) 3000 рублей. Тогда, пользуясь формулой:

мы получим

ROI = (9*3000 – 15030) / 15030 * 100% = 79,64%

Правда, увлекательная математика?

Безусловно.

Почему настройка целей так важна?

Давайте вернемся к нашим барашкам. То есть целям.

Если рассматривать цели в Яндекс.Метрике , то можно разделить их на следующие типы:

• количество просмотренных страниц сайта;
• посещение определенной страницы сайта, важной для рекламодателя;
• выполнение пользователем определенного действия на сайте(цель «событие» в Яндекс.Метрике ).

Кроме того, существует такое понятие, как составная цель в Яндекс.Метрике (состоящая из нескольких шагов). Например, для интернет-магазина она может выглядеть так:

1. пользователь нажал кнопку «Купить» под одним из товаров;
2. пользователь пришел в корзину;
3. пользователь заполнил свои контактные данные и поля оплаты;
4. пользователь нажал кнопку «Оформить заказ».

Или на конкретном примере у нас есть составная цель:

Если мы рассмотрим каждый этап, то увидим следующую картину:

Настройка целей крайне важна когда мы хотим понять, на каком этапе, почему, а главное - сколько посетителей отказываются от покупки.

Может быть их изначально не устраивают цены - тут не то что до оформления заказа, а и о посещении корзины речи практически не идет. А может быть, заходя в корзину и видя количество полей, которой нужно заполнить, пользователь решает, что лучше он купит где-нибудь еще. Все индивидуально.

Опять же эти знания полезны для пресловутого ремаркетинга, того самого механизма, который позволяет возвращать на сайт пользователей, которые на нем уже были.

Однако, даже настроив все цели, нельзя сказать, что мы отслеживаем все.

Наверняка, каждый сталкивался с ситуацией, когда он ввел запрос, нажал на объявление, попал на сайт, получил нужную информацию, заинтересовался и позвонил по номеру, указанному в шапке сайта, где милая девушка помогла оформить заказ.

Да.

Узнаем мы об этом?

Только если пользователь сам на радостях нам об этом расскажет. Но, согласитесь, это уже почти фантастика.

То есть заявок нет, эффект есть, но ни агентство, ни рекламодатель об этом не знают. И начинаются пляски с бубном.

В таком случае идеальным вариантом будет подключить call-tracking – механизм отслеживания звонков. Сейчас существует огромное количество сервисов на любой вкус, цвет и кошелек. Было бы желание.

Что такое метрика? Для чего служит? Является ли физическим полем?

Метрика в наше время прочно связана с теорией гравитации, благодаря трудам Гильберта и Эйнштейна совместно с Гроссманом . Однако в математике она была введена задолго до этого. Если не ошибаюсь, среди первых кто так или иначе её использовал в явном виде, были Риман и Гаусс . Сначала мы попробуем понять её роль в геометрии и уже потом посмотрим, каким образом метрика стала главной структурой ОТО, Общей Теории Относительности.

На сегодняшний день имеется достаточно развернутое и ясное определение метрических пространств довольно общего вида:

Метрическим пространством (“снабжёным метрикой”) в математике называют такое пространство, в котором для любых двух его упорядоченных точек (то есть одна из них названа первой, а другая – второй) определено действительное число такое, что оно равно нулю, тогда и только тогда, когда точки совпадают, и выполняется неравенство “треугольника” – для всяких трёх точек (x,y,z) это число для любой пары (x,y) равно или меньше суммы этих чисел для двух остальных пар, (x,z) и (y,z). Из определения следует также, что число это неотрицательно и не изменяется (метрика симметрична) при изменении порядка точек в паре .

Как водится, как только определили что-то, так это определение расширяют и название распространяют и на другие, похожие пространства. Так и здесь. Например, строго формально не будут метрическими согласно данному выше определению, т.к. в них “метрическое” число, интервал, может быть нулём и для двух разных точек, а также его квадрат может быть отрицательным действительным числом . Однако их практически с самого начала включают в семейство метрических пространств, просто снимая соответствующее требование в определении, расширяя определение.

Кроме того, метрику можно определять также не для всех точек пространства, а только для бесконечно близких (локально). Такие пространства называют Римановыми и в обиходе тоже называют метрическими. Более того, именно Римановы пространства и сделали метрику такой известной и привлекающей внимание как математиков, так и физиков, и знакомой даже многим людям, мало связанным с этими науками .

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

Формальное математическое определение и его расширения – это итог осмысления и уточнения понятия о метрике. Посмотрим, из чего это понятие выросло, с какими свойствами реального мира оно первоначально было связано.

Вся геометрия возникла из тех понятий, которые были первоначально формализованы Евклидом . Так же и метрика. В евклидовой геометрии (для простоты и наглядности мы будем говорить о двумерной геометрии, а значит о геометрии плоскости) имеется понятие о расстоянии между двумя точками. Очень часто и теперь метрику называют именно расстоянием. Потому что для евклидовой плоскости расстояние является метрикой, а метрика – расстоянием. И именно так она была осмыслена в самом начале. Хотя, как я постараюсь показать, к современному понятию метрики это относится только в очень ограниченном, со многими оговорками и условиями, смысле.

Расстояние на евклидовой плоскости (на листе бумаги) кажется чрезвычайно простой и очевидной вещью. Действительно, с помощью линейки можно провести прямую линию между любыми двумя точками и измерить её длину. Полученное число будет расстоянием. Взяв третью точку, можно нарисовать треугольник и убедиться, что расстояние это (для любых двух точек на плоскости) в точности удовлетворяет приведённому выше определению. Собственно, определение и было срисовано один к одному со свойств евклидова расстояния на плоскости. И слово “метрика” изначально связано с измерением (с помощью метра), “метризацией” плоскости.

А для чего потребовалось измерять расстояния, проводить эту самую метризацию плоскости? Ну, для чего меряют расстояния в реальной жизни всякий, наверное, имеет своё представление. А в геометрии по-настоящему об этом задумались, когда ввели координаты для того, чтобы описывать каждую точку плоскости отдельно и уникально от других. Система координат на плоскости явно будет посложнее чем просто расстояние между двумя точками. Тут и начало отсчёта, и оси координат, и расстояния (как без них обойтись?) от начала отсчета до проекций точки на оси. Для чего нужна система координат вроде бы ясно – это сплошная сетка перпендикулярных друг другу линий (если координаты декартовы), полностью заполняющая плоскость и таким образом решающая проблему адреса любой точки на ней.

Получается, метрика – расстояние и координаты – расстояния. Есть ли разница? Ввели координаты. Зачем тогда метрика? Разница есть, и очень существенная. Выбор систем координат подразумевает определённую свободу. В декартовых системах мы используем как оси прямые линии. Но ведь можем использовать и кривые? Можем. И всякие извилистые тоже. Мы можем измерять расстояние вдоль таких линий? Конечно. Измерение расстояния, длины вдоль линии не связано с тем, какая это линия . У кривой дорожки тоже есть длина и на ней можно расставить верстовые столбики. А вот метрика в евклидовом пространстве не является произвольным расстоянием. Это длина прямой, соединяющей две точки. Прямой. А что это такое? Какая линия прямая, а какая кривая? В школьном курсе прямые – это аксиома. Мы их видим и улавливаем идею. Но в общей геометрии прямые (само по себе это ведь название, ярлык, не более!) можно определить как некоторые особенные линии среди всех возможных, соединяющих две точки. А именно, как кратчайшие, имеющие наименьшую длину. (А в некоторых случаях, для некоторых математических пространств, наоборот, длиннейшие, имеющие наибольшую длину.) Казалось бы, мы уловили отличие метрики от произвольного расстояния между двумя точками. Не тут-то было. Мы пошли по неверной дорожке. Да, всё верно, прямые – кратчайшие в евклидовом пространстве. Но метрика – это не просто длина кратчайшей. Нет. Это её вторичное свойство. В евклидовом пространстве метрика не только расстояние между двумя точками. Метрика – это, в первую очередь, образ теоремы Пифагора. Теоремы, которая позволяет вычислить расстояние между двумя точками при знании их координат, двух других расстояний. Причем вычисляется оно весьма специфически, как корень квадратный из суммы квадратов координатных расстояний. Евклидова метрика является не линейной формой координатных расстояний, а квадратичной! Только специфические свойства евклидовой плоскости делают связь метрики с кратчайшими путями, соединяющими точки, такой простой. Расстояния всегда являются линейными функциями смещения по пути . Метрика же квадратичная функция этих смещений. И здесь лежит фундаментальное отличие метрики от интуитивно понимаемого расстояния, как линейной функции смещения из точки. Более того, для нас вообще расстояние напрямую ассоциируется именно с самим смещением.

Почему же, с какой стати квадратичная функция смещений так важна? И в самом ли деле она имеет право называться расстоянием в полном смысле этого слова? Или это достаточно специфическое свойства только Евклидова пространства (ну, или некоторого семейства близких к Евклидову пространств) ?

Сделаем небольшой шаг в сторону и поговорим подробнее о свойствах единиц измерения. Зададимся вопросом, каковы должны быть линейки, чтобы можно было нанести координатную сетку на листе бумаги? Твёрдые, жесткие и неизменные, скажете вы. И почему “линейки”? Одной вполне достаточно! Верно, если её можно поворачивать как угодно в плоскости бумаги и переносить вдоль неё. Заметили “если”? Да, у нас есть возможность пользоваться такой линейкой применительно к плоскости. Линейка сама по себе, плоскость сама по себе, но плоскость позволяет “приложить” к себе нашу линейку. А применительно к сферической поверхности? Как не прикладывай – всё торчит вне поверхности. Так и хочется её загнуть, отказаться от твёрдости и жёсткости. Оставим пока это направление мысли. Что ещё мы хотим от линейки? Твёрдость и жёсткость на самом деле подразумевают нечто иное, гораздо более важное для нас при измерениях – гарантию неизменности выбранной линейки. Мы хотим измерять одним и тем же масштабом. Зачем это нужно? Как зачем?! Чтобы иметь возможность сравнивать результаты измерения всюду в плоскости. Как бы мы не поворачивали линейку, как бы её не смещали – некоторое её свойство, длина, должно быть гарантированно неизменным. Длина – это расстояние между двумя точками (по прямой) на линейке. Очень похоже на метрику. Но метрика вводится (или существует) в плоскости, для точек плоскости, причём тут линейка? А при том, что метрика и является как раз доведённым до логического завершения образом неизменной длины абстрактной линейки, оторванным от самой внешней линейки и приписанным каждой точке плоскости .

Хотя наши линейки всегда являются внешними предметами для измеряемых ими расстояний на плоскости, но мыслим-то мы их также и как внутренние, принадлежащие плоскости масштабы. Следовательно, речь идёт об общем свойстве, как внешней линейки, так и внутренней. И свойство это одно из двух главных -величина, то, что и делает масштаб единицей измерения (второе свойство масштаба – это направление). Для евклидова пространства это свойство представляется независимым от направления линейки и её положения (от точки пространства). Есть два способа выражать такую независимость. Первый способ, пассивный взгляд на вещи, говорит об инвариантности величины, ее одинаковости при произвольном выборе допустимых координат. Второй способ, активный взгляд, говорит об инвариантности при смещении и повороте, в результате явного перехода от точки к точке. Эти способы не эквивалентны друг другу. Первый просто является формализацией утверждения, что величина, существующая в данном месте (точке) одна и та же независимо от точки зрения. Второй же утверждает также, что значения величины в разных точках одинаковы. Ясно, что это гораздо более сильное утверждение.

Остановимся пока на инвариантности величины масштаба при произвольном выборе координат. Оп-па! Как это? Чтобы приписать координаты точкам уже нужно иметь масштабы. Т.е. эту самую линейку. Другие координаты – это что? Другие линейки? На самом деле именно так! Но! То, что мы в евклидовой плоскости можем поворачивать нашу линейку в точке как нам хочется, создаёт видимость, что координаты можно изменять, не изменяя линейку. Это иллюзия , но такая приятная иллюзия! Как мы привыкли к ней! Все время говорим – повёрнутая система координат. И базируется эта иллюзия на некотором постулированном свойстве масштаба в евклидовой плоскости – инвариантности его “длины” при произвольном повороте в точке, т.е. при произвольном изменении второго свойства масштаба, направления. И это свойство имеет место в любой точке евклидовой плоскости. Масштаб всюду имеет “длину”, не зависящую от локального выбора направлений осей координат. Это постулат для евклидова пространства. И как же эту длину мы определяем? В системе координат, в которой выбранный масштаб является единицей измерения по одной из осей, определяем очень просто – это и есть та самая единица. А в системе координат (прямоугольной), в которой выбранный масштаб не совпадает ни с одной из осей? С помощью теоремы Пифагора. Теоремы-то теоремы, да здесь немного обмана есть. На самом деле, теорема эта должна бы заменить некоторые аксиомы, сформулированные Евклидом. Она им эквивалентна. И при дальнейшем обобщении геометрии (для произвольных поверхностей, например) опираются именно на способ вычисления длины масштаба. По сути дела, переводят этот способ в разряд аксиом.

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

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

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

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

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

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

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

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

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

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

ds 2 = g ik dx i dx k

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

Итак, мы записали правило, определяющее метрическое “расстояние” между двумя точками в евклидовом пространстве. Это правило записано для двух сколь угодно близких точек. В евклидовом пространстве, т.е. в таком, в котором метрический тензор может быть диагональным с единицами на диагонали в некоторой системе координат в каждой точке, нет принципиальной разницы между конечными и бесконечно малыми векторами смещения. Но нас больше интересует случай Римановых пространств (таких как поверхность шара, например), где эта разница существенна. Так что, мы допускаем, что метрический тензор в общем случае не диагональный и меняется при переходе от точки к точке в пространстве. Но результат его применения, ds 2 , остаётся при этом в каждой точке независимым от выбора направления смещения и от самой точки. Это очень жёсткое условие (менее жёсткое, чем условие евклидовости) и именно при его выполнении пространство и называют Римановым.

Вы наверное обратили внимание, что очень часто я беру в кавычки слова “длина” и расстояние”. Делаю я это вот почему. В случае плоскости и трехмерного евклидова пространства, метрическое “расстояние” и “длина” кажутся в точности совпадающими с обычными расстояниями, измеряемыми линейками. Более того, эти понятия и были введены для формализации работы с результатами измерений. Почему же тогда “кажутся совпадающими”? Забавно, но это именно тот случай, когда математики вместе с грязной (не нужной им) водой выплеснули из ванны и ребёнка. Нет, они кое-что и оставили, но то, что осталось перестало быть ребёнком (расстоянием). Это легко увидеть даже на примере евклидовой плоскости.

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

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

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

Физическое утверждение. Точечные тела, имеющие массу, притягиваются друг к другу.

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

Можно выбрать масштаб с одной и той же величиной (нормой) для всего пространства-времени. Любой такой масштаб можно переместить из его точки в любую другую точку и сравнить с уже существующим там. НО! Даже если смещение бесконечно мало, направления сравниваемых масштабов в общем случае не будут совпадать. Тем сильнее, чем ближе масштаб находится к телу, обладающему массой и чем больше эта самая масса. Только там где нет никаких масс (правда, вот вам вопрос – а что же сами масштабы?) направления будут совпадать.

В области пространства-времени, содержащей массивные тела не существует такой системы координат, в которой метрический тензор в каждой точке представлен матрицей, нулевой всюду, кроме диагонали, на которой находятся единицы.

Отличие метрики от евклидовой является проявлением наличия гравитационного поля (поля тяготения). Более того, поле метрического тензора и есть гравитационное поле.

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

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

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

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

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

R ik = -с (T ik – 1/2 T g ik)

Здесь слева стоит так называемый тензор Риччи , определённая свёртка (комбинация составляющих компонент) полного тензора кривизны. С полным правом её также можно называть кривизной. Справа стоит конструкция из тензора энергии-импульса (сугубо физическая величина в ОТО, сингулярная для массивных тел и внешняя для пространства-времени, которое для энергии-импульса в этой теории является просто носителем) и метрики, которая подразумевается существующей. Причём метрика эта, как скалярная величина, производимая метрическим тензором, одинакова для всех точек области. Ещё есть размерная постоянная с, пропорциональная гравитационной постоянной. Из этого уравнения видно, что, по большому счёту, кривизна сопоставляется с энергией-импульсом и метрикой. Физический смысл метрике приписывается в ОТО уже после получения решения этих уравнений. Поскольку в этом решении коэффициенты метрики оказываются связаны линейно с потенциалом гравитационного поля (вычисляются через него) то метрическому тензору и приписывается смысл потенциалов этого поля. При таком подходе аналогичный смысл должна иметь и кривизна. А аффинная связность интерпретируется как напряжённость поля. Интерпретация эта неверна, ошибочность её связана с отмеченным выше парадоксом в интерпретации координат. Естественно, для теории это не проходит бесследно и проявляется в ряде хорошо известных проблем (нелокализуемость энергии гравитационного поля, трактовка сингулярностей), которые при придании геометрическим величинам правильного физического смысла просто не возникают. Более подробно всё это обсуждено в книге ““.

Однако и в ОТО метрика поневоле, помимо смысла навязанного ей искусственно, имеет ещё один физический смысл. Вспомним, что характеризует метрика в случае евклидова пространства? Одну очень важную для измерений в пространстве-времени вещь – возможность ввести в этом пространстве жёсткую, равномерно заполняющую всю область прямоугольную координатную сетку. Эту сетку и называют в физике инерциальной системой отсчёта. Такой системе отсчёта (системе координат) соответствует один и только один стандартный вид метрического тензора. В системах отсчёта, произвольно двигающихся относительно инерциальной, вид метрического тензора отличен от стандартного. С физической точки зрения роль “сетки отсчёта” достаточна прозрачна. Если вы имеете твердое тело отсчёта, каждая точка которого снабжена одинаковыми часами, существующее во времени, то оно как раз и реализует такую сетку. Для пустого пространства мы просто домысливаем такое тело отсчёта, снабжая его (пространство) точно такой же метрикой. В таком понимании, метрический тензор, отличный от стандартного евклидового, говорит, что система отсчёта (координат) построена с помощью не твёрдого тела, и, может быть, часы тоже идут по-разному в её точках. Что я хочу сказать этим? А то, что метрический тензор является математическим образом некоторых важнейших для нас свойств системы отсчёта . Тех свойств, которые абсолютным образом характеризуют структуру самой системы отсчёта, позволяют определить, насколько она “хорошая”, насколько отличается от идеала – инерциальной системы. Вот ОТО и использует метрический тензор именно как такой образ. Как образ распределённого в области репера измерительных приборов, возможно меняющего свою ориентацию от точки к точке, но имеющего всюду одну и ту же норму, общую для всех векторов репера . Метрика, рассматриваемая как скаляр и есть эта норма, величина масштаба. Метрика как тензор позволяет рассматривать произвольное относительное движение друг относительно друга всех масштабов, составляющих тело отсчёта. И ОТО описывает такую ситуацию, когда в пространстве-времени возможно иметь такое тело отсчёта, реальное или воображаемое.

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

© Гаврюсев В.Г.
Опубликованные на сайте материалы можно использовать при соблюдении правил цитирования .