Доказательство следствия 7.20. Из условия отсутствия в группе G параболических элементов и из свойств геометрически конечных групп ( теорема 5.42) видим, что М ( G) является компактным многообразием. Оно, как и компонента W0 - Q0 / G его края дМ ( G) являются пространствами / C ( G, 1) - типа. ...
Доказательство следующих трех предложений является по существу повторением доказательств предложений 2.1, 2.2 и следствия 2.1 соответственно. Рассмотрение случаев, когда формула начинается с кванторов, не отличается по существу от рассмотрения в указанных предложениях случая, когда формула начинается с отрицания. ...
Доказательство соотношения ( 6) получается легко; в самом деле, очевидно, что тождество справедливо, если ps есть постоянный вектор, а отсюда вследствие инвариантности этого тождества вытекает его справедливость вообще. ...
Доказательство справедливости такого объясне ния усматривается в том, что при снижении скорости скольжения до 1 м / ч кривая на рис. 4 становится более пологой, отсекая на оси ординат отрезок, равный единице. ...
Первое строгое доказательство этой теоремы было дано П. Л. Чебышевым ( 1846), метод к-рого полностью отличен от метода Пуассона и основан на нек-рых экстремальных соображениях; С. Пуассон выводил ( 2) из приближенной формулы для указанной вероятности, основанной на использовании закона Гаусса и в то время еще строго не обоснованной. Пуассона впервые встречается и термин закон больших чисел, к-рым он назвал свое обобщение теоремы Бернулли. ...
Доказательство строения вновь выделяемых из природных объектов или получаемых синтетическим или биосинтетическим путем новых сиало-вых кислот сводится в основном к решению следующих вопросов: является ли данное вещество сиаловой кислотой; в чем его отличие от известных сиаловых кислот ( функциональные группы и заместители, их расположение) и, наконец, совпадает ли его конфигурация с конфигурацией нейраминовой кислоты. ...
Окончательное доказательство строения рассмотренных выше ароматических диацетиленовых соединений было получено в результате синтеза фрутесцина и фрутесцинона. ...
Доказательство существования решения задачи Дирихле, данное И. Г. Петровским в рассматриваемой статье, является одновременно и конструктивным, it применимым для произвольной ограниченной области. ...
Строгое доказательство сходимости использованного выше процесса последовательных приближений требует специального рассмотрения, не попадающего в рамки данной книги. ...