Связанный Вектор

- аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия множества натуральных чисел появляется понятие множества натуральных чисел данного порядка. При этом множество натуральных чисел, определяемое формулами без использования каких-либо множеств, принадлежит первому порядку. Если в определении используетс..

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

- двупараметрическое семейство линий на плоскости или поверхностей в пространстве, линейно зависящее от параметров. Пусть F1, F2, F3- функции двух переменных, из к-рых ни одна не является линейной комбинацией двух других. Семейство линий на плоскости, определяемых уравнением при всевозможных значениях параметров l1 l2, l3 (кроме l1=0, l2=0, l3=0), представляет собой С. (фактически зависит от двух отношений l1:l2 . L3). Аналогично записывается уравнение С. Поверхностей в пространстве...

данного семейства {Sa} - полугруппа S, обладающая разбиением на подполугруппы, классы к-рого суть в точности полугруппы Sa, и для любых Sa,Sb существует Sg такая, что . В этом случае говорят также, что S разложима в связку полугрупп Sa. Другими словами, S есть С. П. Sa, если все Sa- подполугруппы в S и существует конгруэнция r на S такая, что r-классы суть в точности Sa. Полугруппы Sa наз. К о м п о н е н т а м и данной связки. Термин "С. П." согласуется с использованием нередко слова "связка"..