Cтраница 3
Первое утверждение вытекает непосредственно из определений. Второе легко вытекает из первого и предположения о равномерной сходимости. [31]
Первое утверждение следует из второго, так как если G имеет центр Z и мы по индукции имеем абелеву башню для G / Z, то мы можем поднять эту абелеву башню до О, показав тем самым, что G разрешима. [32]
Первое утверждение следует из того, что всякое каноническое исчисление является и К-системой. [33]
Первое утверждение описывает проведение занятий в классе. Они повторяются каждую неделю семестра в то же самое время, в тот же день недели и имеют часовую продолжительность. Время начала занятия и его продолжительность представлены в третьем аргументе в качестве двух компонентов структуры с функтором период. Правило устанавливает, что для любого предмета S, который преподает преподаватель с определенной Фамилией в определенную Дату и для которого предусмотрено занятие во время Т и день преподаватель Фамилия имеет назначение на эту начинающееся во время Т продолжительностью один час с цел преподавания S, если Дата приходится на день D. Втор утверждение обрабатывает разовое назначение, регистрируемое конкретного преподавателя, в определенные число, период и определенной целью. [34]
Первое утверждение является частным случаем второго, когда в качестве / взято каноническое отображение. [35]
Первое утверждение сводится к доказательству нетривиальности коцикла. Но этот коцикл, как мы видели, совпадает с коциклом oi из § I, следовательно достаточно применить теорему I.I, дающую полную информацию о нетривиальности коцикла на различных подалгебрах. [36]
Первое утверждение абсолютно справедливо. Оно следует из равенств 2Л и 2.2, которые учитывают меру потенциальной энергии и, следовательно, зависят от высоты, т.е. от положения плоскости сравнения. [37]
Первое утверждение означает лишь, что если выполняется Р и Q, то выполняется и Р; второе устанавливает равносильность утверждений неверно, что не выполняется Р и Р выполняется; а третье может быть проиллюстрировано эквивалентностью двух способов формулировки теоремы Ферма, данных выше. [38]
Первое утверждение следует из формулы (3.7); второе проверяется непосредственно. [39]
Первое утверждение в предыдущем абзаце вызывает сомнение, так как любое поровое пространство по сути проницаемо для флюидов. Все зависит от величины дифференциального давления, свойств флюидов и размеров пор. Другое дело, что миграция через поровое пространство несоизмеримо мала по сравнению с перетоками флюидов по трещинам и каналам. [40]
Первое утверждение вытекает из утверждения 2.3 гл. [41]
Первое утверждение нашей теоремы следует из теоремы 10.5, поскольку dom / является ограниченным множеством тогда и только тогда, когда его опорная функция, равная по теореме 13.3 / 0, является всюду конечной. [42]
Первое утверждение ( явления описываются одной и той же системой дифференциальных уравнений) говорит о том, что оба рассматриваемых явления принадлежат к одному и тому же классу. Второе утверждение ( явления имеют подобные условия однозначности) гласит о том, что оба явления входят в одну и ту же группу. [43]
Первое утверждение следует из того, что вычисления количеств объемной работы при введении чистого участника реакции в А или В ( выведении из Л или В), атакжепри расширении ( сжатии) чистого участника реакции, производились с использованием уравнения состояния идеального газа. [44]
Первое утверждение элементарно и не обсуждается. Аналогично доказательству леммы 11 убеждаемся, что цилиндрическая сг-алгебра пространства С ( Т, S) содержится в его борелевской сг-алгебре. [45]