Cтраница 2
Из хода доказательства теоремы ясно, что условие У - компакт можно заменить более слабым Y - ограниченное множество, если дополнительно потребовать, чтобы ( p ( xk, yk) - - оо, когда xk е X, yk G Y, xk - х е X, yk - у Е У У. [16]
Из хода доказательства данной теоремы вытекает следующее следствие. [17]
По ходу доказательства мы установили, что G представимо в виде суммы счетного множества открытых шаров. G может быть суммой всего лишь конечного числа открытых шаров. [18]
По ходу доказательства можно заметить, что симметричность тензора напряжений обусловлена отсутствием в среде непрерывно распределенных моментов объемных или поверхностных сил. [19]
По ходу доказательства можно заметить, что симметричность тензора напряжений была обусловлена отсутствием в среде непрерывно распределенных пар, объемных или поверхностных. В этом случае имеет место симметричная механика сплошных сред, симметричная теория упругости или симметричная гидродинамика, в отличие от соответствующих несимметричных механик, учитывающих наличие в сплошной среде непрерывно распределенных пар сил. Легко убедиться, что присутствие непрерывно распределенных источников притока массы не нарушило бы справедливости равенства ( 41) или условий симметрии тензора напряжений ( 42) в сплошной среде. [20]
По ходу доказательства можно заметить, что симметричность тензора напряжений была обусловлена отсутствием в среде непрерывно распределенных пар сил, объемных или поверхностных. В этом случае имеет место симметричная механика сплошных сред, симметричная теория упругости или симметричная гидродинамика, в отличие от соответствующих несимметричных механик, учитывающих наличие в сплошной среде непрерывно распределенных пар сил. Легко убедиться, что присутствие непрерывно распределенных источников притока массы не нарушило бы справедливости равенства ( 41) или условий симметрии тензора напряжений ( 42) в сплошной среде. [21]
Особый случай применения метода отображающей точки. [22] |
По ходу доказательства используются идеи С. И. Зуховицкого ( 3 у х о-в и ц к и и, Авдеева Л. И. Линейное и выпуклое программирование. [23]
По ходу доказательства мы установили, что если оператор А самосопряжен, то его можно представить в виде А Д - Л -, где операторы / ( А А) / 2 и Д - ( Д - - Л) / 2 неотрицательно определены. [24]
По ходу доказательства теоремы выясняется следующий способ построения окружности, инверсной данной окружности ( если последняя не проходит через центр инверсии): 1) проводим прямую через центр инверсии О и центр Ог данной окружности у; 2) отмечаем точки А и В пересечения этой прямой с окружностью YJ 3) строим инверсные точки Af и В 4) строим окружность у на отрезке А В как на диаметре. [25]
По ходу доказательства теоремы Тарского было установлено, что каждый максимальный фильтр является ультрафильтром. [26]
В ходе доказательства устанавливается справедливость двух взаимно обратных предложений: 1) что всякая точка найденной ( в анализе) фигуры обладает характеристическим свойством точек искомого ГМТ и 2) что каждая точка, обладающая указанным характеристическим свойством, принадлежит найденной при анализе фигуре. Полезно иметь в виду, что доказательство предложения 2) может быть заменено доказательством следующего предложения 2): если какая-либо точка не принадлежит найденной фигуре, то она не обладает указанным характеристическим свойством. [27]
В ходе доказательства тезис должен оставаться неизменным, т.е. должно доказываться одно и то же положение. [28]
В ходе доказательства нули были получены в строке. Если бы преобразования были построены так, что нули оказались бы в столбце, то линейная зависимость была бы получена для строк. [29]
В ходе доказательства мы вправе считать s ( x) непрерывной функцией во всем интервале, так как в противном случае можно провести все рассуждения для каждого частичного интервала, в котором s ( x) непрерывна, раздельно. [30]