Доказательство

- первый пример Пуанкаре пространства. Построен А. Пуанкаре (Н. Poincare) в 1904. Получается отождествлением противоположных граней додекаэдра после поворота их друг относительно друга на угол я/5. Д. П. Есть многообразие рода 2, имеющее Зейферта расслоение, и представляет собой единственное известное пространство Пуанкаре с конечной фундаментальной группой. Д. П. Является пространством орбит свободного действия бинарной группы икосаэдра на трехмерной сфере. Лит.:[1] Зейферт Г., Трельфалль В.,..

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

топологического пространства X- любое топологич. Пространство, для к-рого Xслужит ретрактом. А. В. Чериавспий. ..

- 1) Какое-либо из возможных соотношений порядка для дифференциальных операторов, формулируемое в терминах характеристического многочлена Р(x). Напр., если то P(D)сильнее Q(D), когда для любого Существуют и другие определения Д. (см. [1], с. 99, 103). Лит.:[1] Хёрмандер Л., Линейные дифференциальные операторы с частными производными, пер. С англ., М., 1965. А. А. Девин. 2) Д. В теории игр - отношение, выражающее превосходство одного объекта ( стратегии, дележа )над другим. Д. Стратегий. ..