Cтраница 3
Предположим, что такого а, как в заключении теоремы, не существует. Пусть Т - сокращенный / 1-псточник, порождающий 8, Q - go, 7ii ч дч - Л - множество его состояний. [31]
Чтобы выделить тот класс множеств, в которых справедливо заключение теоремы Больцано - Вейерштрасса, введем следующее определение. [32]
Мы видим, что для всех четырех возможностей выполняется заключение теоремы Харропа. [33]
Алгебраическая система произвольного типа с г образующими, удовлетворяющая заключению теоремы 11, называется свободной алгеброй с г образующими. [34]
Из а), б), в) следует заключение теоремы. [35]
& Fn - G называется теоремой, a G называется заключением теоремы. [36]
Другими словами, число о2 четное, что и является заключением теоремы. [37]
Для каждого из отображений и /, в та f - заключение теоремы верно - дня - и t по доказанному, для в - согласно предположению. [38]
Заметим, что окрестности W, N, для которых справедливо заключение теоремы, будут обладать тем же свойством и тогда, когда мы их сузим; для теоремы (27.1) это, вообще говоря, не так. [39]
Как мы видели, в точках ( 1, 0) заключение теоремы теряет силу. [40]
Таким образом, все условия теоремы 1 выполнены, и справедливость заключения теоремы 2 доказана. [41]
Я - ( - 1 множеств N имеют непустое Пересечение, а заключение теоремы состоит в том, что Мл... Это доказывается точно так же, как и в предыдущей теореме. [42]
В § 10 мы докажем результат Манна [2] о том, что заключение теоремы 1.3 истинно для всех ориентируемых многообразий с конечно порожденными группами гомологии. [43]
Самым последним утверждением, об истинности которого мы должны заботиться, является заключение теоремы. Если правилен каждый шаг, в том числе к последний, то все рассуждение истинно. [44]
Заметим еще, что если условие 3) не выполнено, то заключение теоремы не может быть сделано. [45]