Непаскалева Геометрия

- геометрия с некоммутативным умножением. Вследствие того, что в аффинной геометрии свойство коммутативности умножения эквивалентно Паскаля теореме, то непаскалевой обычно наз. Геометрию, в к-рой не имеет места предложение. Нусть на каждой из двух пересекающихся прямых даны три точки А, В, С и соответственно А 1 ,В 1 , С 1 , отличные от точки пересечения данных прямых. Если СВ 1 параллельна ВС 1 и СА 1 параллельна АС 1 , то ВА 1 будет параллельна АВ 1 ;эту теорему иногда наз. Теоремой Паппа, она является частным случаем теоремы Паппа - Паскаля из теории конич. Сечений. Возможность построения Н. Г. Вытекает из того, что указанная теорема Паскаля не является следствием аксиом инцидентности, порядка, параллельности при условии исключения метрич.

Аксиом в системе аксиом Гильберта. С другой стороны, существование Н. Г. Связано также с возможностью построения геометрии над некоммутативным телом, то есть Н. Г. Является в то же время и неархимедовой геометрией. Значение Н. Г. Определяется ролью теоремы Паскаля в исследованиях, связанных с установлением независимости системы аксиом, логич. Связи между предложениями. Лит.:[1] Гильберт Д., Основания геометрии, пер. С нем., М,-Л., 1948. [2] Bieberbach L., Einleitung in die hohere Geometrie, Lpz.- В., 1933. [3] Скорняков Л. А., "Успехи матем. Наук", 1951, т. 6, в. 6, с. 112-54. Л. А. Сидоров..