Cтраница 2
Теорема 26.3. Множество всех движений пространства Е есть подгруппа в группе всех аффинных преобразований этого пространства. [16]
Пусть G - группа движений пространства Д, содержащая все параллельные переносы. Два многогранника в FP1 тогда и только тогда G-равнодополняемы, когда они G-равносоставлены. [17]
Этим устанавливается изоморфизм группы движений пространства Ln с подгруппой индекса 2 группы Ли Oitn всех псевдоортогональных преобразований ( ср. Во всех трех случаях стабилизатор точки изоморфен группе Ли Оп. Более точно, он изоморфен ( посредством дифференциала) группе изотропии, которая совпадает с полной ортогональной группой касательного пространства. [18]
Вообще говоря, не существует движения пространства R, лежащего над данным движением пространства R, и еще реже данное движение пространства & лежит над каким-либо движением пространства R. Однако универсальное накрывающее пространство для R, для которого мы отныне оставляем обозначение R, обозначая другие накрывающие пространства пространства R через R, обладает ббльшей подвижностью, чем остальные накрывающие пространства. [19]
Стационарная подгруппа Тр группы всех движений пространства действует транзитивно и, как мы видели в последнем параграфе, эффективно на сфере, которая конечномерна, компактна, связна и локально связна. Согласно результату Монтгомери - Ципина ( [1], теорема 11 и следствие 6) Гр есть группа Ли и, следовательно, К есть многообразие. [20]
Можно показать, что совокупность движений пространства, совмещающих с собой данную правильную пространственную систему точек, является обязательно дискретной группой, причем все точки системы можно получить из любой фиксированной точки системы, сдвигая ее при помощи преобразований этой группы. [21]
Отличное от сдвига и зеркального отражения движение пространства можно получить путем В. [22]
Однако эти преобразования не исчерпывают все движения пространства R. [23]
Таким образом движением системы S фактически определяется движение целого сплошного пространства точек, связанных с S твердой связью. Мы приходим, таким образом, к представлению, что на неподвижное пространство, связанное с триэдром QZ - tf, ( или на неподвижную неизменяемую среду), в каждый момент налагается неизменяемая среда ( подвижное пространство), связанная с системой S и движущаяся вместе с нею относительно среды QS-YjC. Поэтому часто говорят просто о твердом движении в смысле движения целого сплошного пространства ( или сплошной неизменяемой среды), не упоминая при этом о той частной системе, которой эта среда, собственно, определяется. [24]
Каждый элемент С является произведением элементов группы движений пространства К, растяжения и инверсии. Для растяжений и движений пространства К требуемое утверждение очевидно. [25]
Клейн доказывает изоморфизм группы Лоренца и группы движений пространства Лобачевского. [26]
Такнмп группами являются, например, группа движений обычного пространства и пространственные группы в кристаллографии. [27]
А 5О ( 3) и вектор г задают движение пространства, жестко связанного с репером 5, а вектор х конкретизирует точку М в репере S. Если М движется относительно репера S, то х х () есть вектор-функция времени. [28]
Исходное семейство плотностей ( 1) инвариантно относительно группы евклидовых движений пространства параметров. Предложенная Гауссом ( см. [1, 2]) функция потерь а - а 2 также инвариантна относительно этой группы. В силу указанной однородности семейство У является излюбленным простейшим объектом для демонстрации принципов и методов статистического оценивания. [29]
Группа движений n - мерного пространства Минковского изоморфна некоторой подгруппе движений пространства Еп, содержащей все параллельные переносы и все центральные симметрии. [30]