Cтраница 2
Из следствия 2 и проективности классов RN -, RI -, Z-групп следует простая аксиоматизируемость этих классов. [16]
Широко известен механизм появления проективности унитарных представлений, связанный с группой Гейзенберга; именно, он возникает в простейших моделях квантования. С переходом к центральному расширению как раз и связано появление постоянной Планка. Для бесконечномерных групп, в частности, групп токов, такой способ получения проективных представлений использован в [16] стр. [17]
Двойственным к понятию инъективности является проективность. [18]
Так, Мебиусом была доказана проективность двойного отношения четырех точек на прямой. Примером таких преобразований являются взаимно полярные преобразования точек в прямые и обратно относительно данного конического сечения. [19]
Существует и четвертый вариант определения проективности. Пусть отношение руководства является деревом. Фразу можно назвать проективной, если выполняется условие Пз. Из теоремы 4.20 вытекает, что при сделанном допущении это определение проективности равносильно предыдущим. [20]
Теорема об эквивалентности обоих определений проективности доказана. [21]
Для грамматики зависимостей существенно условие проективности ( конфигурационное), формулнрующееся следующим образом. [22]
Аналогичным путем можно было бы доказать проективность свойств группы быть Л / -, RN - или Z-группой, а также быть частично упорядоченной и содержать RN -, RI - или Z-систему выпуклых подгрупп. Однако ниже в § 3 будет доказано более сильное утверждение о простой аксиоматизируемости всех указанных свойств групп. [23]
![]() |
К выводу сложного отношения. [24] |
Сложное отношение представляет собой количественную меру проективности двух различных рядов и поэтому приводит к решению задачи второго ракурса для случая одномерных объектов и изображений. Рассмотрим теперь рис. 11.4, на котором показаны два перспективных ряда X и Y, пересекающих пучок из четырех линий. [25]
Определение проективности по Штаудту эквивалентно определению проективности по Штейнеру. [26]
Проективность в многообразии проФ - групп эквивалентна проективности в многообразии всех проко-нечных групп тогда и только тогда, когда класс & является насыщенным. [27]
В ряде работ обобщаются понятия инъективности и проективности. [28]
![]() |
Свойство проективности. [29] |
При таком соглашении часто используют иное определение проективности. Фраза называется проективной, если дважды упорядоченное множество ( М, гф) удовлетворяет условию По. Так как, согласно теореме 4.18, условие Па влечет условие Пь то проверка непересечения стрелок и непокрытия максимальных элементов гарантирует проективность в обоих смыслах. [30]