Cтраница 4
Рассмотрим прямое произведение 0 ( М) х IR, гле R. Па О ( М) х R определено действие ортогональной группы 0 ( и. [46]
На прямые произведения над фиксированными множествами указанные выше преобразования непосредственно не переносятся. Хорна [2], указывающая достаточный признак для того, чтобы аксиома, выполняющаяся на каждом сомножителе, была истинной и на прямом произведении, остается справедливой для обоих видов прямых произведений, Ясно, что при этом следует требовать, чтобы в аксиоме не встречался знак равенства, связывающий элементы фиксированного основного множества с элементами остальных основных множеств. В частности, теорема Хорна остается верной для аксиом расширенного исчисления 2 - й ступени, содержащих лишь квантор существования по предикатным переменным и пренекс-ной форме. [47]
Выполнив прямое произведение, получаем большое отношение ПОСТАВЛЯЕМАЯ-ПАРТИЯ-ТОВАРА, из которого необходимо извлечь только нужные данные. [48]
Рассмотрим прямое произведение b x Ьг. [49]
Их прямое произведение в группе Dzd есть Az. Четырехатомная молекула с симметрией точечной группы Dzd не имеет колебаний типа Az. Это можно интерпретировать только в том смысле, что координата реакции сохраняется полносимметричной. [50]
Определим прямое произведение базисов uk) ( g) Vi) G векторов, т.е. будем использовать знак ( 8) как разделитель. [51]