Cтраница 2
Необходимость условия, как уже отмечалось, следует из теоремы 23 независимо от того, простой ли оператор Н или нет. [16]
Необходимость условия была пояснена выше. [17]
Необходимость условий (10.2) получается из представления (10.1) тривиальным образом. [18]
Необходимость условий тривиально проверяется. [19]
Необходимость условия ( 7) следует из того, что при его нарушении, т.е. нарушении условия ( 9), система ( 8) неоднозначно разрешима относительно XQ при известной правой части, и, следовательно, состояние Xk ( k 1) по соотношениям ( 1) определяется неоднозначно при известных значениях входа uj и выхода уд. [20]
Необходимость условия (10.9) видна уже из рассмотренного случая функционалов (10.3), где все меры ( Тп ( т) сосредоточены в точке TO. [21]
Необходимость условия очевидна, так как диагонали будут хордами описанной окружности. Можно показать, что это условие также и достаточно. [22]
Необходимость условия ( 1) очевидна, поскольку характеристическая функция суммы независимых случайных величин равна произведению характеристических функций слагаемых. [23]
Необходимость условий уже доказана. [24]
Необходимость условия очевидна, и нужно доказать лишь достаточность. Для подгрупп размерности 1 теорема тривиальна. [25]
Необходимость условия очевидным образом выполняется во всех системах, а не только в битернарных. Пусть, наоборот, все смежные классы по конгруэнтности 0 на битернарной системе дискретны. Поскольку основная тернарная операция xyz непрерывна и ааа а, то найдется такая окрестность V точки а, что V d U и VVa CZ U. Пусть теперь, у - эквивалентные точки, лежащие в V. [26]
Необходимость условий установлена выше. [27]
Необходимость условий б) и в) хорошо известна. Для того чтобы убедиться в достаточности условия б), предположим, что пространство R некомпактно, и покажем, что тогда условие б) не выполнено. [28]
Необходимость условия также легко устанавливается. [29]
Необходимость условия будет установлена, если мы допустим, что условие не выполнено, и докажем, что тогда система ( 1) несовместна. Пусть условие не выполнено. [30]