Cтраница 1
Теорема сходимости для методов возможных направлений будет использована для доказательства сходимости алгоритма, приведенного в следующем параграфе. [1]
Теоремы сходимости для разностных схем, аппроксимирующих линейные дифференциальные уравнения, позволяют сводить исследование сходимости разностной схемы к исследованию ее устойчивости. [2]
Теорема сходимости В является прямым обобщением теоремы сходимости А. [3]
Из теоремы сходимости типов следует, что существует такая константа с % что хар. [4]
Рассмотрим теорему сходимости итерационного процесса. [5]
Значит, теорема сходимости А приводит к такому же результату, что и теорема сходимости С. Короче говоря, теорема сходимости С оставляет в силе сущность требования замкнутости отображения, в частности, соотношение (11.19), не требуя самой замкнутости отображения. [6]
Таким образом, теорема сходимости доказана. [7]
Таким образом, теорема сходимости А устанавливает точную процедуру проверки сходимости. Наконец, должно быть установлено, что А замкнуто в любой точке, не являющейся подходящей. [8]
Тогда условие 1 теоремы сходимости А имеет место, так как из (10.39) следует, что все zh принадлежат компактному множеству. [9]
Доказать, что теоремы сходимости А и В являются частными случаями теоремы сходимости С. [10]
Доказательство с помощью теоремы сходимости для методов отсечений является новым. [11]
Наиболее важным применением теорем сходимости являются законы больших чисел. Фактически существуют два закона больших чисел, известных как слабый и сильный законы, что соответствует различным типам сходимости. Различие между ними не пред ставляет здесь интереса, и мы просто приводим общий результат. [12]
Значит, условия теоремы сходимости А выполнены, так как условие 1 предполагается. [13]
Завершить часть доказательства теоремы сходимости В, в которой дается ссылка на теорему сходимости А. [14]
Отсюда по следствию теоремы сходимости типов вытекает bn lbn - 1, что и требовалось доказать. [15]