Cтраница 1
Множество А есть замкнутый конус в А /, А [ ( - А) 0 4 - А - Ah, и конус А превращает Ah в упорядоченное действительное векторное пространство. [1]
Множество всех формул, в построении к-рых участвуют переменные высказывания и нек-рые из символов &, v, - -, -, - и констант 0 и 1, наз. Равенства ( 1) - ( 7) показывают, что для всякой формулы в языке над &, v, - -, -, -, 0 1 найдется равная ей формула в языке над &, V, -, О, 1, напр. [2]
Множество В ( X) есть ( полная) решетка тогда и только тогда, когда пространство X локально бикомпактно. Неизвестны условия, к-рым должно удовлетворять ( совершенное) отображение f: X - - Y, чтобы полурешетки В ( X) и В ( Y) были изоморфны. [3]
Множество всех решений уравнения вида () может быть описано системой булевых функций, зависящих от п произвольных параметров. [4]
Множество Е всех линейных функционалов на Е образует В. [5]
Множество всех векторов x.V, удовлетворяющих указанному условию, вместе с нулем образует подпространство Va, наз. [6]
Множество М вместе с определенной над ним совокупностью квазиопераций образует замкнутую систему N, однако, в отличие от ноля действительных чисел, N не образует поля. Система N зависит от выбора ЭВМ. [7]
Множество л0 ( Х, А, хй) при А х0 не определяется. Для упрощения формулировок множества я0 ( Х, хй) и JI-L ( X, А, ха) обычно также наз. [8]
Множество всех автоморфизмов данного графа образует группу относительно операции композиции автоморфизмов. Автоморфизмы графа G порождают группу подстановок вершин Г ( С), наз. [9]
Множество Р унифор-мизует множество EczX X Y, если РаЕ и если Р имеет ту же, что и Е, проекцию на X и проектируется на X взаимно однозначно. Всякое В-множество униформи-зуется С А - множеством. Процесс эффективного выбора точки [4] в непустом С А - множестве позволил получить более сильный результат: всякое С А - множество униформизуется СА - множеством. Существует Л - множество в евклидовой плоскости, не униформизуемое ни Л - множеством, ни СЛ-множе-ством ( см., напр. В вопросе о том, в каких случаях В-множество может быть униформизовано В-множеством, наиболее общий результат имеет вид: всякое плоское В-множество, пересекающееся с прямыми х const по множествам типа Fa, униформизуется В-множеством. При этом возникли и другие задачи: о природе проекций В-множеств, о расщеплении множеств, о накрытии множеств, о природе множества всех тех точек проекции данного В-множества Е, прообразы к-рых ( в пересечении с Е) обладают нек-рым фиксированным свойством. [10]
Множество, являющееся ( открытым) ядром замкнутого множества, наз. [11]
Множество размерностных компонент конечномерного компакта конечно, счетно или имеет мощность континуума. В наследственно нормальном бикомпакте с 1 - й аксиомой счетности размерностная компонента может содержаться в сумме остальных размерностных компонент. [12]
Множество всех неизоморфных 2-порожденных групп имеет мощность континуума. Всякая счетная л-ступенно разрешимая группа изоморфно вкладывается в 2-порожденную ( ге 2) - ступенно разрешимую группу. [13]
Множество всех форм ( рассматриваемых с точностью до умножения на ненулевую константу) от п - f - l групп переменных по N - - i переменных, имеющих степень d по каждой группе, образует проективное пространство Р - v - d нек - poii размерности v v, , d - К. [14]
Множество А / ц ( /), когда / пробегает все действительные неопределенные квадратичные формы, наз. [15]