: : Тут, ИМХО, несколько о другом. Начнем с того, что данные симметрии неявно предполагают совершенно определенный класс систем отсчета. Предположим, мы находимся во вращающейся СО (катаемся на карусели). Есть у нас однородность пространства? Нет - у нас есть выделенная точка - центр, и чем дальше от центра, тем сильнее центробежные силы. Есть у нас изотропия? Тоже нет - в каждой точке у нас есть выделенное направление на центр. А если мы пересядем с карусели на качели, то лишимся и однородности времени. Четвертая симметрия (принцип относительности) в этих двух случаях тоже нарушается.
: :
: : Поэтому фраза "опыт показывает, что физические законы симметричны..." в общем случае неверна, а верна лишь в системах отсчета, принадлежащим к определенному классу. Вопрос в том, эквивалентен ли этот класс классу ИСО?
:
: Если строго подходить, то наверное надо так ставить вопрос. Пусть у нас есть некоторое четырехмерное многообразие, на нем заданы координаты (x,y,z,t) и пусть на этом многообразии задано псевдоевклидово расстояние, которое в наших координатах имеет вид
: (x1-x2)2+(y1-y2)2+(z1-z2)2-(t1-t2)2
: Мы объявляем такие координаты ИСО.
: Надо найти группу преобразований координат, такую, чтобы это расстояние не меняло свой вид (группа движений афинного пространства Минковского). Такой группой является группа Пуанкаре. Или Вы что-то другое имели ввиду?
Если уж формализировать вопрос, то по-другому. Есть две системы отсчета - СО(x,y,z,t) и СО'(x',y',z',t'). Какие на них метрики - не суть важно, важно, что они сохраняют однородность и изотропию ПВ. Требуется доказать, что СО и CО' могут двигаться друг относительно друга только равномерно и прямолинейно. |