Cтраница 1
Процесс доказательства отображается на экране в виде трансформируемого на каждом шаге множества дизъюнктов или в виде графа связей. По желанию пользователя возможно дублирование вывода результатов работы системы в виде текстового файла. Также можно выбрать шаг, с которым пользователь просматривает результаты. [1]
Процесс доказательства леммы 2.4 ( совершенно аналогичного доказательству леммы 2.1) показывает, что пространство X можно отождествить с некоторым подпространством в Lm ( Q. [2]
Продолжая процесс доказательства, приходим к следующему результату. [3]
В процессе доказательства можно двигаться по пути, который начинается от А или от - В. Поэтому, сделав допущение - чД получим противоречие. Если вывод приведет к успеху ( т.е. противоречие не будет получено), это будет свидетельствовать о несовместимости либо противоречивости исходных посылок. Мы также не получим противоречия, если доказываемое предложение А - ьВ является ложным. [4]
В процессе доказательства часто используются теоремы расширения, которые играют роль, аналогичную вынесению общих сомножителей в арифметике. [5]
В процессе доказательства нам понадобятся некоторые элементарные факты, касающиеся линейных пространств в общем положении и иммерсий с нормальными пересечениями, которые мы выделим как леммы. [6]
В процессе доказательства было получено также следующее утверждение. [7]
В процессе доказательства мы установили, что А / - с / есть константа. [8]
В процессе доказательства мы покажем, что из линейно независимой системы можно вычеркнуть вектор ( если только все векторы линейно независимой системы не принадлежат системе образующих) и заменить его вектором из системы образующих так, чтобы получившаяся система снова была линейно независимой. Для простоты, не ограничивая общности, предположим, что, если в линейно независимой системе имеются векторы, не принадлежащие системе образующих, то они идут первыми. Будем считать, что элементы системы образующих расположены в удобном ( хотя и заранее неизвестном) порядке, при котором элемент, пригодный для замены очередного вычеркнутого вектора, всегда идет следующим. Выполнив это преобразование, мы получим линейно независимую систему, а система образующих при этом не изменится. [9]
В процессе доказательства Геделю потребовалось дополн тельное техническое условие, которое носит название со-н противоречивости. [10]
В процессе доказательства оцениваются члены, которыми в уравнении для вершинной части пренебрегается в нулевом приближении. Эти члены соответствуют диаграммам с пересекающимися мезонными линиями и замкнутыми нуклон-ными петлями. [11]
В процессе доказательства были использованы такие понятия функционального анализа, как компактное множество, вполне непрерывный оператор и теорема о непрерывной функции, заданной на компактном множестве. [12]
В процессе доказательства встретятся кое-какие затруднения; поэтому если вам и не хочется подобным образом проверять правило ( I), то вы, по крайней мере, можете убедиться, что оно вполне естественно и разумно. [13]
В процессе доказательства можно двигаться по пути, который начинается от А или от - В. Если В выводимо из А, то, допустив истинность А, мы доказали бы В. Поэтому, сделав допущение - iB, получим противоречие. Если вывод приведет к успеху ( т.е. противоречие не будет получено), это будет свидетельствовать о несовместимости либо противоречивости исходных посылок. Мы также не получим противоречия, если доказываемое предложение А - В является ложным. [14]