Cтраница 1
Определение эквивалентности по самому своему построению симметрично, в силу основной теоремы 1 рефлексивно, а в силу основной теоремы 3 транзитивно. Если некоторый элемент z линейно зависим от одной из двух эквивалентных систем, то согласно основной теореме 3 он зависит и от другой системы. Согласно следствию 3 каждая конечная система эквивалентна некоторой линейно независимой подсистеме. [1]
Определение эквивалентности по самому своему построению симметрично, в силу основной теоремы 1 рефлексивно, а в силу основной теоремы 3 транзитивно. Если некоторый элемент г линейно зависим от одной из двух эквивалентных систем, то согласно основной теореме 3 он зависит и от другой системы. Согласно следствию 3 каждая конечная система эквивалентна некоторой линейно независимой подсистеме. [2]
Определение эквивалентности двух слов Р и Q ( обозначаемой P-Q), которым мы пользовались выше в проблеме тождества для полугрупп, может быть выражено индуктивно. [3]
Это определение эквивалентности двух узлов, очевидно, является строгой заменой следующего интуитивного требования: должно быть, возможно непрерывное деформирование кривой К - в кривую / 2 при непременном условии не допускать самоперенесения кривой. Трудности, которые скрываются в понятии деформации, если не желать обратиться к деформации самого пространства, скоро выяснятся. [4]
Из определения эквивалентности вершин следует: 1) Мъ М; 2) если Mj Mj. Поэтому вершины граф-схемы с обратными связями распределяются по классам эквивалентных вершин. [5]
Это определение эквивалентности баз данных в точности соответствует идее информационной эквивалентности реальных баз данных. С понятием эквивалентности баз данных связана задача перестройки. Имеется в виду переход от одной базы данных к некоторой другой, эквивалентной исходной и рассматриваемой в новой базисной сигнатуре. Решается эта задача на основе называвшейся только что теоремы о каноническом разложении произвольного гомоморфизма. [6]
Для определения эквивалентности нагрузочного режима было проведено сравнение результатов стендовых и полевых испытаний. Характеристики нагрузочного режима на стенде близки к эксплуатационным. [7]
По определению эквивалентности р и q эквивалентны тогда и только тогда, когда р и q оба истинны или оба ложны. [8]
С определением эквивалентности связаны специфические проблемы. Понятие эквивалентности, базирующееся на концепциях сохранения зависимостей и соединения-без-потерь, является весьма сильным. Интуитивно ощущается, что зависимости, определяемые на атрибутах схем различных отношений, отнюдь не лишены смысла. [9]
Из самого определения эквивалентности двух систем непосредственно вытекает, что две системы приложенных векторов, эквивалентные третьей, эквивалентны между собой. [10]
Если ввести определения эквивалентности, базирующееся на, использовании 5-представления в качестве выхода, то тогда можно сказать, что два алгоритма эквивалентны по отношению к выделенным-переменным в том случае, если соответствующие переменные при совпадающих входах вычисляются по одинаковым формулам. [11]
Наряду с определением эквивалентности двух - поверхностей S х Мп: х ( р ( и), и / и S jc AJn: л; ф о), v e / fe применяется определение их антиэквивалентности, которое отличается от определения эквивалентности тем, что фигурирующий в нем диффеоморфизм v - v ( u) имеет не положительный, а отрицательный якобиан. [12]
Не разрешается для определения эквивалентности задавать / г-мерный массив как одномерный. [13]
Не разрешается для определения эквивалентности задавать - - мерный массив как одномерный. [14]
Это предложение оправдывает определение эквивалентности баз данных. [15]