Cтраница 1
Единственность следует из того, что разность двух подобных решений была бы ограниченным решением однородного уравнения, начинающимся в S32, что возможно лишь для нулевого решения. [1]
Единственность устанавливается так же, как в предшествующих теоремах. [2]
Единственность, а вместе с ней и теорема полностью доказаны. [3]
Единственность такого полинома следует из того, что разность двух таких полиномов есть полином степени м, имеющий по крайней мере п - - 1 нулей, и, таким образом, есть тождественный нуль. [4]
Единственность следует из того, что разность двух таких полиномов имела бы, по крайней мере, п l двойных корня и должна была бы быть тождественным нулем. [5]
Единственность же точки х следует из того, что сильно выпуклая функция является в то же время строго выпуклой. [6]
Единственность опять-таки следует автоматически. Далее необходимо проверить, что предыдущая сумма конечна. Мы предоставляем читателю проверить, что df ( x) / dxj 01 если образующий Xj не встречается в свободном многочлене f ( x) ( см. упр. [7]
Единственность вытекает из принципа максимума. [8]
Единственность такого представления очевидна. [9]
Единственность следует ха того, что при иррациональном у однородное уравнение и ( х у) - - и ( х) 0 имеет единственное интегрируемое решение со средним значением, равным нуле, а именно решение, тождественно равное нулю. [10]
Единственность такого разложения слова да е С означает, что С - код. [11]
Единственность следует из невырожденности формы. [12]
Единственность компоненты легко доказывается. [13]
Единственность такого представления легко выводится из линейной независимости. Таким образом, модуль F обладает базой и, по предложению 2, свободен. [14]
Единственность двух элементов, постулированных в пункте 4), устанавливается в теореме 4.1. Эти два однозначно определенных элемента называются, соответственно, нулевым элементом и единичным элементом булевой алгебры. Мы могли бы постулировать единственность этих элементов, но тогда мы были бы обязаны включать доказательство их единственности как часть проверки того, что система, предлагаемая как булева алгебра, действительно является таковой. Элемент а, относящийся к а, как указано в аксиоме 5), есть дополнение для а. Ниже будет доказано, что каждый элемент имеет единственное дополнение. Аксиомы 1) - 5) не являются независимыми, поскольку два ассоциативных закона можно вывести из остальных аксиом как теоремы. Указания, как это сделать, даны в одном из упражнений, помещенных в следующем параграфе. Остальные аксиомы, которых в действительности только восемь, расположенные в виде четырех пар, независимы друг от друга. [15]