Предикат

выпуклой поверхности S- поверхность Р(S).конуса, образованного полупрямыми, исходящими из нек-рой точки и принадлежащими выпуклому телу, ограниченному S. П. К. Определен однозначно с точностью до параллельного переноса, зависящего от выбора точки О. Понятие П. К. Определяется и для нек-рых классов невыпуклых поверхностей, напр, для т. Н. Сферически однолистных седловых поверхностей. Лит.:[1] Погорелов А. В., Внешняя геометрия выпуклых поверхностей, М., 1969. М. И. Войцеховский. ..

- замкнутая траектория в фазовом пространстве автономной системы обыкновенных дифференциальных уравнений, к-рая является a- или w-предельным множеством (см. Предельное множество траектории) хотя бы для одной другой траектории этой системы. П. Ц. Наз. Орбитально устойчивым, или устойчивым, если для всякого e>0 найдется d>0 такое, что вес траектории, начинающиеся в d-окрестности П. Ц. При t=0, не выходят из его e-окрестности при t>0. П. Ц. Соответствует периодич. Решение системы, отлично..

- особый способ образования понятий, характеризующийся отсутствием "порочного круга" в определениях. Определяемый объект не должен участвовать в своем собственном определении. Если язык, на к-ром даются определения, формализован, то П. Означает, как правило, что определяющая формула не должна содержать связанной переменной, в область изменения к-рой входит определяемый объект. Непредикативные определения, наоборот, отличаются наличием в них такого "порочного круга". Явление непредикативности ..

переменная, значениями к-рой могут быть предикаты. При формальном построении аксиоматич. Систем П. П. Отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2-й ступени, если в аксиоме х - предикатная переменная для n-местных предикатов, то в качестве tможно взять любую формулу с потмеченными переменными. При этом результатом подстановки формулы tс отмеченными переменными z1 ,. ., zn вместо П. П. Хв атомарную формулу x(y1 , . ., ..