т.5 No 2 |
33 |
О базовом формализме специальной теории относительности | |
4. О реальности релятивистского сокращения пространства-времени Ранее в работах, анализирующих эффект Доплера [2] и явление аберрации [4], мы уже не раз показывали ошибочность трактовки релятивистами сокращений Лоренца, и в частности необоснованность их ответа на вопрос: реально ли лоренцево сокращение? По их мнению, “Сомнения возникают обычно из-за того, что длина движущихся тел определяется произвольно в той мере, насколько произвольно принятое при этом определение одновременности (например, эйнштейновское, которым мы пользуемся). Однако можно решительно ответить, что это явление реально, поскольку одна и та же процедура измерения длины даст разные результаты согласно классической (ньютоновой) теории и теории относительности” [12, с. 64]. Но ведь вопрос не в самом факте измерения длины. Конечность скорости света была доказана в рамках классической теории, как и неодновременность прихода луча света от концов измерительного стержня тоже исследовалась в рамках классического формализма, в частности, Пуанкаре, Лоренцем и многими другими авторами. Вопрос в том, насколько неодновременность, проявляющаяся при измерениях, приводит к реальному сокращению самого объёкта. Ведь от того, что объект сократится, лучи не станут приходить к наблюдателю одновременно. Всё равно между приходом лучей от концов измеряемого стержня будет существовать различие. С другой стороны, какое отношение имеет конечность скорости распространения света к сокращению самого объекта? Чтобы разобраться в данном вопросе, проанализируем особенности релятивистской концепции с точки зрения внутренней самосогласованности её формализма, который должен удовлетворять полноте группы преобразований. Ведь “всякая возможная теория, основанная на измерении, предполагает введение класса систем отсчёта, в которых ориентируется прибор. Следовательно, всякая теория, поскольку она является теорией, а не бессвязным набором фактов, включает в качестве необходимой предпосылки, предшествующей эксперименту, некоторый принцип, на основании которого результаты измерений пересчитываются из одной системы отсчёта в другую. Иными словами, референция с необходимостью предполагает критерий равенства, понимаемый как принцип относительности, т.е. утверждение независимости результатов измерения относительно определённого класса преобразований координат, образующих группу. То, что произвольный класс таких преобразований действительно образует группу, следует из замечания Г. Вейля о том, что известные аксиомы равенства: транзитивность |
![]() |
(50) |
рефлексивность |
![]() |
(51) |
и симметрия |
![]() |
(52) |
переходят в групповые аксиомы, если отношение равенства вводится произвольным отображением некоторого множества на себя (автоморфизмом) (т.е. способом, который использовали мы в предыдущей части исследования при анализе закона сложения векторов - авт.)” [13, с. 348]. “Но такое понимание систематики предполагает интранзитивность соответствующей группы, т.е. существование инвариантов. Транзитивная группа, не оставляющая инвариантными какие-либо свойства изучаемых объектов, по которым классификация производится, отождествляет тем самым все (! - авт.) элементы множества {f}, приводя к вырождению систематики, а следовательно, и структуры” [там же, с. 349]. Представленное определение касается, конечно, и преобразований Лоренца, тем более, что “геометрия пространства Минковского есть геометрия группы лоренцевых автоморфизмов” [14, с. 94]. “Преобразование |
![]() |
(53) |
в силу равноценности координат x1, x2 , x3 допускает ещё два аналога. Кроме того, очевидно, что обычные вращения и переносы (при x4 = x4' ) не меняют формы |
![]() |
(54) |
как и сдвиг по времени |
![]() |
Следовательно, существует группа линейных вещественных преобразований, являющаяся группой автоморфизмов пространства Минковского, зависящая от 10 произвольных параметров; оно включает 3 лоренцевых вращения, 3 пространственных вращения и 4 сдвига по осям. Хорошо известно…, что число независимых параметров при движениях, 10, является максимальным для любого V4 . При этом мы отвлекаемся от зеркальных отображений вида xa = xa' , которые также оставляют (54) инвариантной и увеличивают число различных преобразований” [14, с. 94]. Однако при всей полноте вышеприведенного обоснования полноты группы преобразований Лоренца, Петров упустил важную деталь, касающуюся не самих преобразований Лоренца (53), а преобразований, вторичных по отношению к этим преобразованиям - в том, что именно во вторичных преобразованиях имеются внутренние рассогласования, мы убедились по предыдущим частям данного исследования. Вместе с тем, сами по себе преобразования Лоренца, в смысле координатных преобразований, не способны объять всё многообразие задач кинематики и динамики систем. Поэтому чтобы убедиться в полноте внутреннего согласования группы автоморфизмов преобразований Лоренца, мы в дополнение должны проанализировать полноту вторичных преобразований. Для начала в качестве образца мы проверим, как удовлетворяют преобразования Лоренца для координат условию транзитивности (50). Для этого зададимся тремя идентичными инерциальными системами отсчёта K1, K2, K3, оси x1, x2, x3 которых для упрощения исследования совмещены и системы K2, K3 движутся по отношению к K1 с различными скоростями. Кроме того предположим, что K2 движется по отношению к K1 со скоростью v12 , а K3 по отношению к K2 со скоростью v23 . Теперь, пользуясь условием независимости результата вычислений от пути, по которому данные вычисления были сделаны, мы последовательно определим преобразования координат от K1 к K3 через K2. Тогда в соответствии с (53) |
![]() |
(55) |
В свою очередь |
![]() |
(56) |
Подставляя (55) в (56), получим |
![]() |
(57) |
Далее, чтобы осуществить прямое преобразование из K1 к K3, минуя K2 , нам необходимо определить скорость v13. Для этого мы воспользуемся теоремой релятивистского сложения скоростей. При этом получим |
![]() |
(58) |
Теперь, подставляя (58) в уравнения стандартного преобразования Лоренца, получим |
![]() |
(59) |
Легко убедиться простыми алгебраическими преобразованиями, что знаменатели выражений (59) идентичны знаменателям выражений (57). Тем самым в общем виде доказано, что преобразования Лоренца для координат удовлетворяют принципу транзитивности. Аналогично можно убедиться в том, что указанные преобразования сохраняют справедливость и для остальных аксиом группы. |
Содержание: / 29 / 30 / 31 / 32 / 33 / 34 / 35 / 36 / 37 / 38 / 39 /