Дезаргова Геометрия

- общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. П. Исчислений высказываний Д. Т. Утверждает. Если Г, (из допущений Г, Авыводимо В), то (*) (Г может быть пусто). При наличии кванторов аналогичное утверждение неверно. но не Одна из формулировок Д. Т. Для традиционных исчислений предикатов (классического, интуиционистского и т. П.). Если Г, А|..

теорема Дезарга. Если соответствующие стороны двух треугольников ABC и А'В'С пересекаются в точках Р, Q, R, лежащих на одной прямой, то прямые, соединяющие соответствующие вершины, пересекаются в одной точке. Обратно. Если прямые, соединяющие соответствующие вершины треугольников ABC и А 'В' С, сходятся в одной точке, то соответствующие стороны этих треугольников пересекаются в точках, лежащих на одной прямой. Обратное утверждение для треугольников, лежащих в одной плоскости, двойственно пря..

- замкнутый путь в многообразии, обладающий тем свойством, что при его обходе локальная ориентация меняет знак (см. Ориентация многообразия). Д. П. Имеется только в ней ориентируемом многообразии М, причем однозначно определен гомоморфизм фундаментальной группы p1 М на Z2 с ядром, состоящим из классов петель, не являющихся Д. П. А. В. Чернавский. ..

- функционал, выражаемый определенным интегралом от функции, стационарные значения к-рого определяют действительное движение механич. Системы под действием заданных активных сил в классе кинематически возможных движений, удовлетворяющих определенным условиям, между нек-рыми двумя конечными положениями Р 0 и Р 1 в пространстве. Различают Д. По Гамильтону, Лагранжу и Якоби. Фигурирующие в соответствующих принципах стационарного действия. Д. По Гамильтону. определено в классе кинематически во..