Cтраница 2
Доказательство обратного утверждения труда не представляет. [16]
Идея доказательства обратного утверждения состоит в следующем. [17]
При доказательстве обратного утверждения сохраним соглашения, предшествующие лемме. Так как степень [ L: F ] взаимно проста с р, то из предложения 13.4 вытекает, что DL - алгебра с делением степени р над L. [18]
Приведенное сейчас доказательство обратного утверждения в действительности проходит лишь в односортном случае и при непустом / ь Имея в виду многосортный вариант, приведем другие рассуждения. При этом ограничимся случаем, когда множество 7 и все его подмножества / каждого данного сорта i Г бесконечны, а исходное множество 1 конечно. [19]
Вальдхаузена [18], содержащая доказательство обратного утверждения: если многообразие М гомеоморфно сфере, то зацепление L является тривиальным узлом. Так как узел тривиален тогда и только тогда, когда его дополнительное пространство имеет сжимаемый край, то тривиальность узла распознается с помощью того же метода Хакена. [20]
Теперь легко провести и доказательство обратного утверждения нашего критерия. [21]
Основная работа связана с доказательством обратного утверждения. [22]
Центр тяжести лежит в доказательстве обратного утверждения. [23]
Ten самым показано, что ( ft juUKetA Доказательство обратного утверждения проводится аналогично. [24]
Основное содержание теории Галуа для классов Поста состоит в доказательстве обратных утверждений: всякий замкнутый класс F булевых функций, содержащий все селекторные функции, представляет собой замыкание Галуа подходящего множества булевых функций; всякий замкнутый класс R булевых предикатов, содержащий все диагонали, представляет собой замыкание Галуа подходящего множества булевых предикатов. [25]
Используя разложение Р ( х, 5), мы получаем доказательство обратного утверждения. [26]
Таким образом, u f ( y t) дает решение задачи локальной разрешимости для Д в точке ( у0, tQ, м) - Доказательство обратного утверждения в теореме 2.84 основано на прекрасном результате Финзи. [27]
Теперь 38 является дробным идеалом J. Доказательство обратного утверждения мы опускаем. [28]
Поскольку данное множество не содержит никаких пикселов, за исключением составляющих его контур, ни один из пикселов контура не имеет соседей внутри области, и, следовательно, условие ( б) определения 7.9 справедливо. Доказательство обратного утверждения тривиально, поскольку любой кратный пиксел всегда входит в контур. [29]
Мы докажем теорему Дилуорса, предполагая, что теорема Кенига верна. Доказательство обратного утверждения оставим в качестве упражнения читателю. [30]