Схема - доказательство
Cтраница 1
Схема доказательства состоит в следующем. [1]
Схема доказательства аналогична схеме доказательства в стационарном случае. [2]
Схема доказательства этой теоремы ( на современном языке) весьма проста. Пусть / S ( Y) задана формулой / ( ( г, VQ)) F ( г), г е Rd. Можно показать, что f является G-инвариантной рациональной функцией, определенной всюду на G-У. [3]
Схема доказательства будет изложена в § 5.11 после введения понятия свертки распределений. [4]
Схема доказательства изображена на рисунке. Каждая стрелка означает рациональную зависимость одного множества от другого. Ссылки над и под стрелкой указывают, в какой работе доказана соответствующая зависимость и в каком пункте она будет обсуждаться. Очевидными и ненарисованными стрелками являются зависимости каждого маленького прямоугольника от всех маленьких прямоугольников, входящих в состав того же большого прямоугольника и находящихся выше - это просто зависимость подмножества от всего множества. Например, очевидно, что множество рядов Гильберта квадратичных алгебр рационально зависит от множества всех рядов Гильберта к. [5]
Схема доказательства ПМП, использованная нами для теорем 12.1, 12.3, применима после соответствующих модификаций к гораздо более общим задачам. [6]
Схема доказательства непротиворечивости состоит в следующем. [7]
Схема доказательства непротиворечивости геометрии Лобачевского излагается в § 3 настоящего Приложения. [8]
Схема доказательства сформулированного утверждения ( теорема Петер) выглядит так. [9]
Схема доказательства непротиворечивости геометрии Лобачевского излагается в § 3 настоящего Приложения. [10]
Из схемы доказательства леммы 2 можно извлечь алгоритм, близкий к оптимальному по числу элементарных преобразований матриц. Однако он будет требовать большой вспомогательной работы по предварительному распознаванию эквивалентности ( обобщенной пропорциональности) элементов и наборов элементов кольца, и в связи с этим окажется по числу операций над элементами кольца не проще алгоритма Коновальцева. [11]
 |
Исследование ортогональной аппроксимации. [12] |
Набросаем схему доказательства выдвинутого выше утверждения, хотя оно и так довольно очевидно. Доказательство основано на двух свойствах ортогонального проектирования: во-первых, ортогональное проектирование является линейным преобразованием и, во-вторых, ортогональная проекция любого отрезка, параллельного плоскости изображения, имеет ту же длину, что и сам отрезок. Чтобы использовать свойство линейности, представим себе, что отрезок PQ является суммой двух составляющих, одна из которых совпадает по направлению с XZ. Вследствие линейности ортогональная проекция суммы ( скажем, на первую плоскость изображения) равна сумме ортогональных проекций. Следовательно, отрезок PiQi представляет собой сумму двух векторов, один из которых есть проекция составляющей отрезка PQ в направлении XZ. Но, согласно второму свойству, составляющая PQ в направлении XZ не изменяется по длине при ортогональном проектировании; поэтому длины составляющих в направлении XZ для отрезка-изображения и отрезка-объекта одинаковы. Поскольку все сказанное справедливо и для второй плоскости изображения, может быть построено полное доказательство. [13]
Изложим схему доказательства этой теоремы. Конструкция такого семейства основана на построении схемы Гильберта поверхностей типа КЗ, вложенных в проективное пространство, и факторизации по проективной группе. [14]
Используйте схему доказательства неравенства Чебышева. [15]
Страницы: 1 2 3 4