НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ДВОЙСТВЕННОСТИ ПРИНЦИП

ДВОЙСТВЕННОСТИ ПРИНЦИП - 1) Д. п. в математической логике - теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико-предметных языков. Пусть А - формула языка логики высказываний или логики предикатов, не содержащая знака импликации ⊃; формула А* наз. двойственной формуле А, если она может быть получена из А заменой в А каждого вхождения символов &, ∨, ∀, ∃ двойственными им операциями, т. е. соответственно символами ∨, &, ∃, ∀. Д. п. гласит, что если A ⊃ B истинно, то истинно В* ⊃ А*. В частности, если формулы А и В эквивалентны, то эквивалентны и двойственные им формулы А* и В*. Д. п. справедлив для классич. систем, при этом эквивалентность и истинность формул в его формулировке могут пониматься как в терминах интерпретаций, так и в смысле выводимости в соответствующем классич. исчислении. При конструктивном понимании формул Д. п. перестает действовать. Так, напр., в языке логики высказываний импликация ¬А & ¬B ⊃ ¬(А ∨ В) конструктивно верна и даже выводима в Гейтинга формальной системе, однако обратная импликация двойственных формул ¬(A & B) ⊃ ¬А ∨ ¬В конструктивно неверна (напр., нереализуема по Клини-Роузу).

С Д. п. тесно связана следующая теорема: если F* (A1, ..., An) - формула, двойственная пропози-

циональной или предикатной формуле F(A1, ..., An), построенной без употребления импликации из элементарных высказываний A1, ..., An, то формула ¬F(A1, ..., An) эквивалентна формуле F*(¬A1, ..., ¬An) в классич. исчислении высказываний или предикатов, соответственно.

Лит.: [1] Новиков П. С., Элементы математической логики, М., 1959; [2] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957.

Ф. А. Кабаков.

2) Д. п. в геометрии - принцип, формулируемый в нек-рых разделах геометрии и заключающийся в том, что, заменяя в любом верном предложении все входящие в него понятия на двойственные им, получают верное (двойственное первому) предложение.

Справедливость Д. п. в проективной геометрии вытекает из того, что каждой аксиоме проективной геометрии соответствует двойственное предложение, являющееся либо аксиомой, либо теоремой.

В проективной геометрии на плоскости двойственными являются понятия:

точка

точка, инцидентная прямой

алгебраическая линия порядка n

касательная прямая к линии

прямая

прямая, инцидентная точке

алгебраический пучок прямых класса n

характеристическая точка пучка

Если считать отношением инцидентности между точкой и линией второго порядка принадлежность точки линии второго порядка, а отношением инцидентности прямой с линией второго порядка - касание прямой к линии второго порядка, то понятием, двойственным линии второго порядка, является линия второго порядка. Примером пары двойственных утверждений могут служить Брианшона теорема и Паскаля теорема. В проективной геометрии в пространстве двойственны понятия точки и плоскости; понятие прямой само себе двойственно.

Д. п. имеет место и в эллиптич. геометрии, где, кроме понятий проективной геометрии, двойственными являются понятия отрезка и угла. Так. напр., в эллиптич. геометрии справедливы следующие два двойственных утверждения:

два треугольника равны, еcли три стороны одного соответственно равны трем сторонам другого

два треугольника равны, если три угла одного соответственно равны трем углам другого

Лит.: [1] Ефимов Н. В., Высшая геометрия, 5 изд., М., 1971.

А. С. Пархоменко.

3) Д. п. в проективной геометрии состоит в том, что любой теореме относительно подпространств Sa, Sb, ... проективного пространства Пn их пересечений и сумм соответствует теорема относительно подпространств Sn-a-1, Sn-b-1, ... их сумм и пересечений. Д. п. определяется двойственным характером аксиом проективной геометрии и вытекающих из них теорем. Для проективного пространства Пn(Х) над телом K Д. п. справедлив тогда и только тогда, когда К допускает инверсный автоморфизм. В общем случае имеет место двойственность между проективными пространствами Пn(X) и Пn(K*), тела K и K* к-рых инверсно изоморфны: таковы, напр., левое и правое проективные пространства Рln(К) и Рrn(К) над K (см. Проективная алгебра, Корреляция), причем соответствие между ними, т. е. соответствие между Sk и Sn-k-1 определяется выбором пары координатных систем в Пn(К) и Пn(K*). Д. п. можно обосновать также с помощью дуальных отображений линейных пространств θn+1(K) над телом, к-рые используются для интерпретации

проективных пространств.

М. И. Войцеховский.

4) Д. п. в частично упорядоченных множествах: если верна какая-либо теорема о частично упорядоченных множествах, сформулированная в общелогич. терминах и терминах порядка, то верна и двойственная ей теорема. Для получения теоремы, двойственной к данной, все высказывания и понятия, относящиеся к порядку, заменяются на двойственные (т. е. все знаки порядка ≤ заменяются на ≥, и обратно), а общелогич. термины остаются без изменений. Из справедливости нек-рого утверждения для конкретного частично упорядоченного множества (или для конкретного класса частично упорядоченных множеств) еще не вытекает справедливость двойственного утверждения для этого множества. Так, частично упорядоченное множество может иметь наименьший элемент, но не иметь наибольшего, оно может удовлетворять условию минимальности, но не удовлетворять условию максимальности. Справедливость Д. п. вытекает из того, что отношение, обратное к частичному порядку, само является частичным порядком. Иногда под Д. п. понимают именно это утверждение.

Т. С. Фофанова.


Источники:

  1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru