Cтраница 1
Полученное утверждение доказывает теорему. [1]
Полученные утверждения теперь уже делают вполне очевидным тот факт, что все шаги замены 1) - 5), на которые распадается рассмотренная нами процедура перехода от заданной I-K-N - фор-мулы к связанной с ней конъюнктивно нормированной формуле, таковы, что на каждом шаге некоторое выражение заменяется другим, дедуктивно равным ему на основе схем ( S - ( S8) выражением. [2]
Полученное утверждение составляет основу всей математической обработки наблюдений. Правда, сам по себе принцип среднего известен очень давно и широко используется экспериментаторами без всяких теоретических обоснований. [3]
Нетрудно видеть, что полученное утверждение справедливо и для остальных значений У. [4]
Поскольку и ( р) - многочлен от р степени п, то полученное утверждение представляет собой теорему Вейерштрасса о равномерном приближении непрерывной на отрезке функции многочленами. [5]
После того как выбран кандидат У в предшествующем утверждении, он заменяется на X и полученное утверждение подвергается семантическому анализу и интерпретации. Отметим, что для выполнения подстановки эллиптичной конструкции ( ЭК) в предшествующее предложение ( ПРП) может потребоваться его некоторая трансформация. [6]
Хотя вопрос, вызвавший упомянутые статьи Эрмита и Буняковского, - один и тот же, но способы его решения у них разные, кроме того, Эрмит перенес свои исследования в область теории эллиптических функций и истолковал все полученные утверждения с этой точки зрения, что дало ему возможность новых обобщений и приложений; этого не было у Буняковского, который ограничился рассмотрением конкретного вопроса интегрального исчисления. [7]
Полученное утверждение имеет характерную особенность некоторых теорем теории вероятностей: в них с вероятностью, близкой к единице, делается утверждение, которое может быть сформулировано в невероятностных терминах. На такого ряда фактах основаны применения теории вероятностей к практическим задачам. [8]
Показать, что, тем не менее, построенное первоначально действие эквивалентно некоторому действию-произведению. Почему это не противоречит полученному утверждению о ( произвольно) продолженном на S5xS3 действии. [9]
Больцмана-Бо - лотова [7, 13] получаем следующую форму принципа наименьшей кривизны: в координатном пространстве Герца на множестве траекторий мыслимых движений, в которых касательные ускорения материальных точек равны касательным ускорениям в их действительном движении, траектория действительного движения системы со связями имеет наименьшую относительную кривизну по отношению к траектории действительного же движения системы, полученной освобождением от всех неудерживающих и от любой части удерживающих, связей. Обобщение принципа, данное Сингом, и принцип прямейшего пути Герца являются частными случаями полученных утверждений. [10]
Последнее соотношение означает, что элементы групп 7Ti ( Z) и 7Ti ( y), соответствующие одному и тому же элементу W группы Ki ( W), должны быть отождествлены. В доказательстве использован тот факт, что W связно, так как в противном случае полученное утверждение о группе TTI ( X) неверно. [11]