Cтраница 1
Доказательство первой части теоремы 6.3 получается легкой роверкой того, что аксиомы ( li) - ( 13) выполняются на А. [1]
Доказательство первой части теоремы предоставляется читателю; оно получается так же, как в предыдущих случаях, на основании теоремы единственности рассматриваемой задачи. [2]
Доказательство первой части теоремы просто. [3]
Доказательство первой части теоремы 6 3 получается легкой проверкой того, что аксиомы ( 10 - ( Ь) выполняются на А. [4]
При доказательстве первой части теоремы 4 предыдущего параграфа не было использовано свойство конечности цепной дроби. [5]
На этом доказательство первой части теоремы завершено. [6]
Несколько изменив доказательство первой части теоремы В. [7]
Чтобы завершить доказательство первой части теоремы, достаточно установить, что уравновешенные окрестности образуют фундаментальную систему окрестностей нуля. [8]
Теперь приступим к доказательству первой части теоремы. [9]
Доказательство этого утверждения аналогично доказательству первой части теоремы о двойном централизаторе. [10]
Ci, когда Этим и завершается доказательство первой части теоремы. [11]
Применив к ним утверждение следствия 4.3, завершим доказательство первой части теоремы. Вторая часть устанавливается аналогично. [12]
Он по-прежнему ставит задачу обойтись без трансфинитных чисел при доказательстве первой части теоремы, а относительно второй, наверное ознакомившись с замечанием Лебега ( хотя на него он не ссылался), пишет: что касается второй части этой теоремы, то основное свойство производных множеств в сочетании лишь с определением трансфинитных чисел достаточно для того, чтобы установить ее. [13]
Полученное равенство равносильно эквивариантности отображения ф, и потому завершает доказательство первой части теоремы. [14]
Используя это обстоятельство, с помощью рассуждений, проведенных при доказательстве первой части теоремы, легко убедиться, что F - слабое решение. [15]