Узкое Исчисление Предикатов

- задача на построение куба, объем к-рого вдвое больше объема данного куба. Одна из классич. Задач древности на точное построение циркулем и линейкой. Длина ребра хискомого куба численно равна и определяется из кубического уравнения х 3-2 =0. Однако точное построение отрезка посредством циркуля и линейки неосуществимо вследствие неразрешимости кубического уравнения в квадратных радикалах. Первое строгое доказательство неразрешимости задачи У. К. С помощью циркуля и линейки дал в 1837 П. Ванце..

1) У.- тип расположения траекторий автономной системы обыкновенных дифференциальных уравнений 2-го порядка G - область единственности, в окрестности особой точки х 0. Этот тип характеризуется следующим образом. Существует окрестность Uточки х 0 такая, что для всех траекторий системы, начинающихся в отрицательные полутраектории являются уходящими (с течением времени покидают любой компакт а положительные полутраектории - асимптотическими (не выходя из U, примыкают к х 0,причем, будучи дополн..

класс групп, изоморфных фундаментальным группам дополнительных пространств зацеплений kкоразмерности 2 в сферах Sn. Для случая группы G гладких зацеплений кратности выделяются такими свойствами [3]. 1) G порождается как свoй нормальный делитель элементами. 2) двумерная группа гомологии H2(G. Z) группы G с целыми коэффициентами и тривиальным действием G в Zравна 0. 3) факторгруппа Gпо ее коммутанту G' равна свободной абелевой группе ранга Если G - группа зацепления k, то свойство 1) в..

графическое изображение узлов и зацеплений, основу к-рых составляют плоские проекции. Пусть - зацепление и - проекция Порядком точки наз. Число элементов множества Точки порядка два наз. Двойными, точки порядка >1 - кратными. Говорят, что полигональное зацепление kнаходится в регулярном положении, если. (1) все его кратные точки являются двойными и их число конечно и (2) никакая двойная точка не является образом вершины. Всякое зацепление может быть переведено в регулярное положение сколь ..