Cтраница 1
Функция ранга R () получается итерированием операции образования множеств-степеней. [1]
Для функции ранга 0 или 1 это очевидно. [2]
Если функций ранга более 1 нет, то очевидно, что описанный оператор работает так, как нужно. Все возможные значения помещаются в массив Л, а / используется для перечисления его элементов при проверке предикатов на этих значениях. [3]
G Т1 - Для функции ранга 0 это очевидно. [4]
Если в определение терма входят функции ранга О, 1, 2, то для них используются обозначения, введенные выше. [5]
Вес набора является, очевидно, функцией ранга, поэтому S. [6]
Дальнейшее повышение эффективности процедуры обнаружения ошибок посредством вычисления функции ранга числа в расширенной системе оснований в плане обеспечения возможности выявления оставшихся ошибок будет рассмотрено в следующем параграфе. [7]
Заметим прежде всего, что наше преобразование не изменяет ни одного из исходных операторов и, поскольку ни одна из исходных переменных не изменяется новыми операторами, значения функций ранга т и меньше вычисляются и запоминаются точно так же, как и раньше. [8]
Из (6.63) следует, что для того, чтобы увеличить процент обнаруженных ошибок, необходимо либо увеличивать pn i, либо выбирать такую совокупность рабочих оснований Pi p25 iPni которая обладает минимальным диапазоном изменения функции ранга числа. Это утверждение легко проверяется на геометрической модели. [9]
Сначала докажем, что любая функция, содержащаяся в множестве УЯ2п т ( Тпь) удовлетворяет приведенным в формулировке теоремы условиям. Для функций ранга 0 утверждение очевидно. [10]
Класс векторных пространств является замкнутым по отношению к тензорному умножению. Более того, тензорные произведения снабжены некоторой дополнительной структурой, а именно, оказывается возможным задать функцию ранга на тензорном произведении векторных пространств над полем. Следовательно, оказывается возможным переформулировать различные вопросы, касающиеся линейных отображений, сохраняющих ранг матриц, на тензорном языке. Таким образом, методы тензорного исчисления могут быть применены для решения LP-проблем. [11]