Cтраница 1
Определение множества происходит путем помещения слов SET OF перед базовым типом. Такое описание типа данных может появиться либо в объявлении переменной, либо в объявлении типа. Синтаксическая диаграмма для типа данных SET показана на рис. А. [1]
Определение множества меры нуль корректно и не зависит от выбора атласа карт. [2]
Определение множеств Вп для значений п, таких, что п г, в этом случае неважно. [3]
Определения множеств достижимости за t шагов по формулам (2.107) и (2.108), очевидно, эквивалентны. [4]
Определение почти периодического множества мы опускаем. [5]
Определение множества независимых собственных векторов существенно затруднено в случае кратных или очень близких собственных значений. Процедура tristurm предназначена для вычисления собственных значений симметрической трехдиагональной матрицы, расположенных в заданном интервале, и соответствующих им собственных векторов. Ортогональность вычисляемых векторов контролируется специально вводимым параметром. Организация той части программы, в которой вычисляются сами собственные значения, хотя построена и по тем же принципам, как и в процедуре bisect, однако имеет ряд особенностей, упрощающих дальнейшее определение взаимно ортогональных собственных векторов. Процедура tristurm наиболее эффективна в тех случаях, когда необходимо отыскать сравнительно небольшое число собственных значений и соответствующих собственных векторов. Отдельные собственные векторы, вычисленные с помощью процедуры tristurm, так же точны, как и при использовании процедур jacobi, tql2 или imtql2, но ортогональность их несколько хуже. [6]
Определение множества эффективных вариантов решения предусматривает использование аппарата определения абсолютной и относительной оценки эффективности решения. При этом проводится сравнительная оценка вариантов по показателям времени и затрат ресурсов, а также вероятности снятия проблемы. По результатам этой оценки отбираются альтернативы, наиболее эффективные по времени реализации, необходимым для реализации ресурсам и вероятности разрешения ( снятия) проблемы, которые и составляют множество эффективных решений. [7]
Определение множества нулевой меры Лебега будет дано ниже. [8]
Из определения множества Т ( п s) следует, что дерево s является максимальным общим подграфом всех деревьев из этого множества. [9]
Из определения множества следует, что в нем не должно быть неразличимых элементов. Поэтому в множестве не может быть одинаковых элементов. [10]
Из определения множества сг0 ( Л) вытекает, что ( Я / - Л ( s)) 1 существует для почти всех s из г, если Я не лежит в т0 ( Л), так что выражения, входящие в соотношения ( i) и ( ii), имеют смысл. В силу замечаний, сделанных перед формулировкой теоремы, два последних утверждения теоремы очевидны, и нужно лишь показать, что сг ( Л) сг0 ( Л) в случае спектральных операторов Л скалярного типа. Если Л - такой оператор, то в силу определения 3 и следствия 10.9 оператор AQ является спектральным оператором скалярного типа, и по теореме VII. [11]
Из определения множества Ж ясно, что оно содержит дополнения всех своих элементов. [12]
Введя определение множества функций, представимых аналитически, и желая показать, что оно совпадает с множеством Е функций, входящих в классификацию Бэра, Лебег пишет: Функции, представленные аналитически, строятся при помощи сложений, умножений и переходов к пределу, отправляясь от функций г. Бэра. [13]
Из определения множества Мп следует, что в этой сумме обязательно есть ненулевое слагаемое. [14]
Возможно определение множества оыбора, альт. [15]