Cтраница 2
Докажем следующую важную теорему, называемую в дальнейшем основной. [16]
В следующей важной теореме сформулированы условия, при которых вместо операции sup может быть использована операция max. В частности, непрерывная функция достигает своего максимума на компактном множестве. [17]
На следующей важной теореме базируются исследования сходимости метода возможных направлений. [18]
Имеют место следующие важные теоремы. [19]
Имеет место следующая важная теорема. [20]
Борель сформулировал здесь следующую важную теорему: если X и У любым способом связанные между собой случайные величины, то математическое ожидание суммы равно сумме математических ожиданий слагаемых М ( X - - Y) MX - - MY. Здесь М означает символ математического ожидания стоящей за ним случайной величины. [21]
Более сложно доказывается следующая важная теорема о произведении компактных пространств. [22]
Однако справедлива также следующая важная теорема. [23]
Теперь мы установим следующую важную теорему. [24]
Полученное равенство доказывает следующую важную теорему. [25]
Приведенные рассуждения доказывают следующую важную теорему. [26]
Полученное равенство доказывает следующую важную теорему. [27]
Из теоремы 3 выводится следующая важная теорема. [28]
Аксиомы позволяют доказать несколько следующих важных теорем алгебры логики. [29]
Полученные результаты позволяют доказать следующую важную теорему. [30]