Cтраница 1
Доказательства предложений 3.7 и 3.8 ( 1) относительно длинны и мы их опускаем. [1]
Доказательства предложений 3, 4, 5 опущены за тривиальностью. [2]
Для доказательства предложения 5 нам будут нужны две - интересные и сами по себе - конструкции над симп-лициальными схемами. [3]
Из доказательства предложения 2.1 вытекает существование единого конструктивного приема, позволяющего по любому автоматному отображению с конечной областью определения ( заданному на конечном множестве слов) строить индуцирующий это отображение конечный автомат Мили или Мура. Нашей же целью является разработка более общего конструктивного приема, позволяющего строить конечные автоматы Мили и Мура, индуцирующие заданное автоматное отображение не только для случая конечной области определения, авсякий раз, когда такие автоматы существуют. [4]
Для доказательства предложения 10.10 достаточно заметить, что любое слово р, переводящее автомат А из начального состояния в состояние а, является предза-прещенным, то есть становится запрещенным после присоединения любой буквы входного алфавита. [5]
Для доказательства предложения 7.18 нам также необходим один результат, впервые установленный Хокингом и Пенроузом ( 1970, с. [6]
Для доказательства предложения 7.18 полезно установить справедливость следующей леммы. [7]
Для доказательства предложения Б) достаточно найти такое линейное преобразование координат х, у в координаты (, TJ, чтобы линейная система ( 2) приобрела простой вид. [8]
Дяя доказательства предложения В1вЗ требуется достаточное условие того что последовательность в пространстве 0 содержит сходящуюся подпоследовательность. [9]
Для доказательства предложения установим сначала один технический факт. [10]
Для доказательства предложения мы должны показать, что w нечетен. Поскольку w - произведение двух инволюций, то обе инволюции t и № инвертируют w согласно предложению 2.41. Пусть w 2a - n с нечетным / г, и положим г ( л 1) / 2, так что г - целое число. [11]
Для доказательства предложения 5.1 запишем некоторым набором формул УИП тот факт, что в G имеется стабильная относительно Г система Ф - допустимых 2-под-групп. [12]
Для доказательства предложения 1 нам нужна одна общая лемма о конусах СХ. [13]
Как следует из доказательства предложения 14, любые два корня / сопряжены относительно некоторого изоморфизма В над А и, следовательно, / не может разлагаться на взаимно простые множители. Поэтому / есть степень неприводимого многочлена. [14]
Как было тмеченс после доказательства предложения 8.5 Л - нср-альный мономорфизм. [15]