Cтраница 4
Нетрудно проверить, что конгруэнция со смежными классами 0, и и ( а, 6 является центрирующей конгруэнцией полигона А. Однако соответствующий двуэлементный фактор-полигон оказывается нулевым и, следовательно, нецентрированным. [46]
Тогда на SI существует конгруэнция р, отличная от универсальной и такая, что группа G ( SI / p) тривиальна. [47]
Конгруэнция р определяется как вербальная конгруэнция по многообразию алгебр Халмоша, специализированному в в, т - это синтаксическая конгруэнция, определявшаяся в предыдущем пункте, и т ] определяется при семантическом подходе. [48]
Таким образом вновь появляется конгруэнция осей со циклов Рибокура, причем каждая ось несет на себе оо1 циклических систем, расположенных на одной сфере, имеющей ось своим диаметром. При изгибании поверхности на главном основании лучи конгруэнции переносятся, неразрывно связанные с перпендикулярными к ним касательными плоскостями поверхности. При этом развертывающиеся поверхности при изгибании остаются развертывающимися и все время соответствуют основанию изгибания. Конгруэнция остается циклической, а сферы, несущие циклы, расширяются или сжимаются, сохраняя свои центры на лучах конгруэнции так, что линия пересечения с касательной плоскостью поверхности остается неизменной. [49]
Следует заметить, что конгруэнция лучей относится к эйконалу вида S ( r) R ( r) 0 ( 0) Ф ( /), только если все лучи имеют одинаковые параметры сит. Если это условие не выполнено, то эйконал нельзя представить в виде суммы функций отдельных переменных. [50]
Предложение, р есть конгруэнция алгебры Халмоша Я. [51]