Бесплатно скачать, заказать диплом, курсовую, диссертацию Итеративные алгебры, Близкие к транзитивным

У нас уже 21989 рефератов, курсовых и дипломных работ

Сделать закладку на сайт

Заказать диплом, курсовую, диссертацию

Быстрый переход к готовым работам

Мнение посетителей:

Книга жалоб
и предложений

Название	Итеративные алгебры, Близкие к транзитивным

Количество страниц	166

ВУЗ	МГИУ

Год сдачи	2010

Бесплатно Скачать	23562.doc

Содержание	Содержание Введение i 0.1 О суперпозициях функций ... i 0.2 Обзор основных результатов ... viii 1 Клетки и клеточные алгебры 1 1.1 Итеративные алгебры... 1 1.2 Транзитивные полугруппы... 7 1.3 Структурные свойства... 12 1.4 Свойства базисов... 20 1.5 Максимальные подалгебры... 26 1.6 Число подалгебр... 35 2 Решетка подклонов клона Бурле 42 2.1 Строение нижней части решетки... 42 2.2 Решетка подклонов клона Zq... 53 2.3 Клоны типов ТС, 2/С, 2^/С, 7С при К ^ ZQ ... 80 2.4 Другие подклоны клона Zq UZ2, порождаемые с помощью унарных функций из ^ •... 92 2.5 Подклоны клона Zq U Z2, порождаемые с помощью многоместных функций из^г... 104 3 Гомоморфизмы 112 3.1 Конгруэнции на клетках... 112 3.2 Конгруэнции на некоторых подалгебрах клеток ... 120 3.3 Гомоморфизмы итеративных алгебр и свойства оснований этих алгебр... 127 3.4 Конгруэнции на клеточных подалгебрах... 136 3.5 Гомоморфизмы вполне ограниченных расширений итеративных алгебр... 144 3.6 Автоморфизмы... 155 3.7 Инварианты... 157 4 Гипертождества 165 4.1 О разделении клонов гипертождествами... 165 4.2 Гиперподстановки... 173 4.3 Некоторые приложения... 181 4.4 Выделение гипертождествами квазиклеток... 185 5 Согласованные произведения 201 5.1 Транзитивные полугруппы в произведениях итеративных алгебр... 201 5.2 Теорема Слупецкого... 215 Литература 230 Введение 0.1 О суперпозициях функций Суперпозиция, то есть замена одной из переменных функции также функцией, является одним из простых и естественных способов получения новых функций из уже имеющихся. Возникающая в результате суперпозиций функция называется сложной. Одни свойства исходных функций наследуются сложной функцией, другие же не сохраняются. Например, при суперпозиции возрастающих функций получается также возрастающая функция. Закономерный интерес вызывает вопрос, можно ли всякую функцию, обладающую каким-то заданным свойством, получить при помощи суперпозиций из функций, обладающих тем же свойством, но зависящих от меньшего числа переменных. В качестве свойства обычно выбирается непрерывность, дифференцируемость и т. п. Упомянем лишь некоторые результаты в указанном направлении, полученные отечественными математиками А. Г. Витушкиным, А. Н. Колмогоровым и В. И. Арнольдом. Если натуральные числа т, n, mi, n\ удовлетворяют неравенству то, как доказал А. Г. Витушкин [9], существует зависящая от т пере- Введение ii менных п раз дифференцируемая функция, которую нельзя получить суперпозициями из п\ раз дифференцируемых функций, зависящих от mi переменных. А. Н. Колмогоров [32] и В. И. Арнольд [1] доказали, что каждая вещественная непрерывная функция представима в виде суперпозиции непрерывных функций, зависящих от двух переменных. Любую непрерывную функцию от нескольких переменных можно получить при помощи суперпозиций из функции х + у и непрерывных функций, зависящих от одного аргумента (Колмогоров, [33]). В приведенных выше примерах решаемые задачи можно сформулировать следующим образом. Каким-то способом заданы два множества функций М\ и Мг- Можно ли каждую функцию из множества М\ получить суперпозициями функций, принадлежащих множеству Мг ? К этой задаче близка следующая. Задан класс функций К. Описать все функции, которые можно получить суперпозициями функций, принадлежащих К. Функции, получаемые при помощи суперпозиции из функций класса К, образуют множество [К], называемое замыканием класса К. Класс К называется порождающим для своего замыкания. Если К = [К], то класс [К] называется замкнутым. Описание множества [Мг] ведет к решению первой из указанных выше задач: функции из множества М\ можно получить суперпозициями функций, принадлежащих множеству М-2 тогда и только тогда, когда множество М\ является подмножеством замыкания множества Мч- Однако решение первой задачи может и не зависеть от решения второй. Введение Задача описания замыкания множества функций М имеет смысл только при существенных ограничениях на входящие в М функции. Одним из таких ограничений является фиксирование числа элементов в множестве, на котором определены функции из М. Э. Постом [60, 61] описаны все замкнутые классы функций, определенных на множестве из двух элементов. По включению эти классы образуют решетку, изображенную на рисунке 1, называемую решеткой Поста. На множестве из трех элементов имеется континуум замкнутых классов ([97]), образующие решетку очень сложного строения, поэтому при- Введение iv ходится дополнительно ограничивать множество изучаемых классов. Замкнутые классы функций и свойства порождающих их систем изучались во многих работах по математической логике, поскольку операции, определенные на конечном множестве, используются при интерпретации связок в различных исчислениях. Формулам при таких интерпретациях отвечают сложные функции, принадлежащие замкнутым классам, порождаемым этими операциями. Особое внимание привлекала проблема полноты: найти условия, необходимые и достаточные для того, чтобы система функций, определенных на конечном множестве, порождала замкнутый класс, содержащий все функции, определенные на этом множестве. Как уже говорилось, проблема полноты в классе всех функций, определенных на множестве из двух элементов, была решена Э. Постом. Задача оказалась намного сложнее в случае, когда функции определены на множестве, содержащем более двух элементов. Одну из первых работ в этом направлении опубликовал в 1939 г. Я. Слупецкий [83]. Он доказал, что каждая полная система функций должна содержать существенно многоместную функцию, принимающую все возможные значения. Такую функцию принято называть функцией Слупецкого. В 1954 г. С. В. Яблонский [92, 93] решил проблему полноты для случая, когда функции определены на множестве из трех элементов. Затем в течение 10 лет появилось много работ, в которых указывались достаточные условия полноты системы функций. Окончательно проблема полноты была решена И. Розенбергом [66] в 1965 году. Стоит отметить, что упомянутую ранее теорему А. Н. Колмогорова [33] о том, что функция х + у вместе со всеми непрерывными одно- Впадение v местными функциями порождает все непрерывные функции, можно рассматривать в качестве аналога теоремы Слупецкого. Определенные топо-логическис аналоги теоремы Колмогорова были позже найдены А. А. Маль цевым [39\|. В теории универсальных алгебр важную роль играют классы функций, замкнутых относительно суперпозиций и содержащие все проекции, то есть функции вида е\''(х\,..., х„) = х,. Эти классы называются кло-п,а.ми. Две алгебры Ai = (М; F\) и А2 = (A/; F2) e одинаковыми носителями называются рационально эквивалентными, если множества, их основных операций порождают один и тот же клон. Ввиду этого описание с точностью до рациональной эквивалентности различных универсальных алгебр, определенных на каком-то множестве, сводится к описанию всех клонов на этом множестве. Клоны можно рассматривать как алгебры, например, как содержащие функцию е\{х\,Х2) предитеративные алгебры, введенные А. И. Мальцевым \|41\|. Предитсрагпивными алгебрами называются подалгебры иреди-теративиой алгебры Поста О а = {Оа\ С? Т-> Д> ) типа (1,1.1.2), в которой Од - множество всех операций, определенных на множестве А. Определения операций ?, г, А, * приведены в разделе 1.1. В совокупности они заменяют суперпозицию, которая не явлжггея алгебраической операцией. Поскольку элементами носителей нредитеративных алгебр являются функции, гомоморфизмы таких алгебр бывают двух видов: сохраняющие арность функций и не сохраняющие арности. Отвечающие им Введение vi конгруэнции соответственно называются подарностными и енеарност-ными. Сохраняющий арность гомоморфизм клона, отображающий каждую проекцию е" одного клона в такую же проекцию е" другого клона называется клоповым. Обозначим через Т(А) клон, порождаемый основными операциями алгебры А, а через Var А многообразие, порождаемое алгеброй А. Взаимосвязь между клоновыми изоморфизмами клонов Т(А) и Г(В) и строением многообразий Var А и Var В найдена А. И. Мальцевым [41]. Фактически им была доказана более сильная теорема, так как утверждение остается верным, если в формулировке и в доказательстве вместо изоморфизмов говорить о клоновых гомоморфизмах. Эта теорема осталась незамеченной и затем была заново открыта в работах ряда авторов (см., например, [71], иное доказательство приведено в [23]). Утверждение, о котором идет речь, можно сформулировать следующим образом. Возьмем два непустых множества А и А'. Пусть А = (A; {//4}iej) ~~ некоторая алгебра, а С — какой-то клон функций, определенных на множестве А'. Клоповый гомоморфизм кр : Т(А) —* С, отобраэюаю-щий Т( А) на С, существует тогда и только тогда, когда существует такое отображение <р' : Г(А) —¦ С, что алгебра А' = (Af; (y?'(//i)ie/) принадлежит многообразию Var А (и С = Т(А')). Отсюда легко заключить, что решетка подарностных конгруэнции клона изоморфна решетке всех подмногообразий многообразия, порождаемого алгеброй, основные операции которой порождают этот клон. Тождество t « t' называется гипертождеством алгебры А, если t = t' тождественно выполняется в А при любой замене символов one- Введение раций, входящих в термы t и t', термальными функциями алгебры А соответствующей арности. Тождества в клонах называются клоповыми тождествами. Клоновые тождества алгебры Т(А) соответствуют гипертождествам алгебры А [84]. Следующие примеры [24] показывают, что тождества и гипертождества могут применяться в теории логических сетей. Изобразим логический элемент с двумя входами и одним выходом, реализующий конъюнкцию, следующим образом: Тогда сложная составная переключающая схема может быть заменена этим элементом в любом месте сети, так как xk,{xk,{xhy)) = xk,y тождественно выполняется в двухэлементной булевой алгебре (0,1; &, N) (а потому и в любой булевой алгебре). Если Введение является произвольным переключающим элементом с двумя входами и одним выходом, реализующим какую-то бинарную булеву функцию д(х,у), то составную переключающую схему Гипертождества позволяют кратко формулировать признаки полноты системы функций. Например, система булевых функций 5 полна тогда и только тогда, когда равенство F(F(x, у), F(x,у))) « F(F(x,x), F(y, у)) не является гипертождеством алгебры (0,1; S). 0.2 Обзор основных результатов Для любого множества функций F С. Ок через F^n\ n € N,, обозначим множество всех функций из F, зависящих ровно от п переменных, Введение ix через F^"} — множество всех функций из F, принимающих не более п значений, через F'"' — множество всех функций из F, принимающих ровно п значений. Отметим, что множество Л^ относительно операции * является полугруппой. Порождаемую множеством Л^ подалгебру алгебры Va, образованную всеми существенно одноместными функциями из Л, обозначим через .4^v. Полугруппа одноместных функций называется s раз транзитивной, если для любых попарно различных чисел Oi,..., ая и любых чисел Ь\,..., Ья в ней найдется такая функция /, что /(а,) = 6/, г = 1,5. Итеративная алгебра называется клеточной (А. И. Мальцев \|43\|), если она состоит из всех существенно одноместных функций и всех существенно многоместных функций, принимающих не более s значений. Клеточная алгебра имеет вид V^ U VJf и далее часто будет обозначаться через Us. Подалгебра 7^ , образованная всеми функциями, принимающих не более s значений,называется ее основной клеткой. А. И. Мальцевым [41] доказана структурная теорема, обобщающая известные теоремы Слупецкого [83] и С. В. Яблонского [931. Опуская особые случаи, ее можно сформулировать следующим образом. Итеративная алгебра, порождаемая функциями из s раз транзитивной полугруппы вместе с существенно .миого.местиой функцией f, принимающей т значений, содержит клетку V]. и все функции, значения которых пртшдлелсат множеству значений функции /, сели 2 < т < s+ 1. В диссертации изучаются итеративные алгебры с s раз транзитивными основаниями, и обобщения таких алгебр. Однако в ряде случаев, Введение х например в четвертой главе, исследование выходит за указанные границы, поскольку некоторые утверждения носят общий характер. Глава 1. Первые два параграфа носят вводный характер. В нем приводятся определения, соглашения и точные формулировки утверждений из работ других авторов, необходимые в дальнейшем. Многие из них уже приведены выше. Далее нам потребуется следующие определения. Функции, представимые в виде /o(/i(^i)0. • .ф/Дх,,)), где п > 1, значения одноместных функций /i,--.,/rt принадлежат множеству {0,1}, сложение ведется по модулю 2, а одноместная функция /о может принимать любые значения, называются квазилинейными. Итеративная алгебра, состоящая из квазилинейных функций, будет обозначаться через С. Ввиду ее свойств она также считается клеточной. Ее основной клеткой является алгебра С^. Параграф 1.3 содержит ряд структурных теорем и следствия из них. Утверждение 1.3.1 дополняет приведенную выше теорему А. И. Мальцева следующим образом. Если А. содержит два раза транзитивную полугруппу Q и не квази-линейную функцию, принимающую два значения, то А. ^ Т*). . Если алгебра Л при к > 3 содержит полугруппу Vk , а также существенно многоместную квазилинейную функцию, то Л Э С^. Известная теорема Саломаа [79] утверждает, что при к > 4 множество функций Vk вместе с любой существенно многоместной функцией, принимающей к значений, порождает Vk- Систему порождающих какой итеративной алгебры мы получим, присоединив к функциям из Vk существенно многоместную функцию, принимающую менее к значений?

Список литературы

Цена, в рублях: (при оплате в другой валюте, пересчет по курсу центрального банка на день оплаты)	1425

Скачать бесплатно	23562.doc

Найти готовую работу

ЗАКАЗАТЬ

Обратная связь:

Связаться

Вход для партнеров

Регистрация

Восстановить доступ

Материал для курсовых и дипломных работ

03.11.24 Лексикографический анализ единиц поля

03.11.24 Из истории слова гость и его производных

03.11.24 Семантическое поле гость в русском языке

Архив материала для курсовых и дипломных работ

Ссылки:

Счетчики:

© 2006-2024. Все права защищены.
Выполнение уникальных качественных работ - от эссе и реферата до диссертации. Заказ готовых, сдававшихся ранее работ.