Cтраница 1
Аксиомы 1 и 2 означают, что Нг есть ковариантный функтор из нек-рой категории пар пространств в категорию групп. Точная последовательность); важным примером частично полуточной теории гомологии является теория гомологии Александрова - Чеха. [1]
Аксиомы формулируются так же, как и в случае гомологии, с очевидным изменением в направлении гомоморфизмов, происходящим от контравариантности; напр. [2]
Аксиомы и правила вывода исчислений обычно делятся на логические и прикладные. Прикладные постулаты служат для описания истин, относящихся к особенностям данной математич. [3]
Аксиома А4 ( правило дополнения) не имеет аналога для функциональных зависимостей. Аксиома рефлексивности А1, оказывается, не имеет аналога для многозначных зависимостей. Однако тот факт, что X - - - Y имеет место, когда Y s X, вытекает из А1 и следующего правила ( аксиома 7, которая будет сформулирована позднее): если X - Y, то X - - У. Более общее утверждение о том, что из X Y и Y Z следует X Z, оказывается несправедливым. Например, мы видели в примере 5.17, что С - - - HR и, конечно, HR - v - - Я имеют место, но тем не менее зависимость С - - Я не существует. [4]
Аксиомы А1 - А8 являются надежными и полными для функциональных и многозначных зависимостей. [5]
Аксиома утверждает, что выбранные соответствующим образом лотереи интерполируют между предпочтениями. [6]
Аксиомы, относящиеся ко второй операции, называемой умножением. [7]
Аксиомы, принятые для осуществления этих структур, порождают абстрактную многозначную теорию. [8]
Аксиома 2 и определение 2.1 приоритета критерия в ВЗМП помогают определить приоритет какого-либо критерия не интуитивно, а строго: чем больше относительная оценка q - ro критерия над другими, тем выше его приоритет. [9]
Аксиома З) называется неравенством треугольника. [10]
Аксиома 3) называется неравенством треугольника для нормы. [11]
Аксиома 1) сразу следует из аксиомы б) скалярного произведения. [12]
Аксиомы для нормы ж 2, введенной с помощью скалярного произведения, проверяются в курсе линейной алгебры. [13]
Аксиома 1 отличается от соответствующей аксиомы 1 для вещественного евклидова пространства; при переходе к комплексному пространству мы не могли бы сохранить аксиомы 1, 2, 4 вещественного евклидова пространства без изменений. [14]
Аксиомы А1 - А4 проверяются так же, как и в конечной схеме. Порядок нумерации элементарных событий не влияет на определение, так как р ( со) 0 и сумма ряда, входящая в ( 7), не изменяется при изменении порядка суммирования. [15]