Дезарга Предложение

сечение,- разбиение множества действительных (или только одних рациональных) чисел Rна два такие непустые множества А и В, в сумме дающие Л, что для каждого и выполняется неравенство a<b. Д. С. Обозначается символом А|В. Множество Аназ. Нижним, а множество B - верхним классом сечения А|В. Д. С. Множества рациональных чисел применяются для построения теории действительных чисел. В терминах Д. С. Действительных чисел формулируется понятие непрерывности числовой прямой. Л. Д. Кудрявцев...

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

геометрия дезаргова пространства, - геодезических геометрия, в к-рой роль геодезических играют обыкновенные прямые. Точнее, дезарговым пространством Rназ. С-пространство, допускающее такое топологич. Отображение в проективное пространство Р n, что каждая геодезическая Rотображается в прямую Р n. Для того чтобы Rбыло дезарговым пространством, необходимо и достаточно, чтобы. 1) геодезическая, проходящая через две различные точки, была единственна. 2) при dim R = 2 выполнялось Дезарга предложен..

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