Главная » Просмотр файлов » XIX Белоусов А.И., Ткачев СБ. Дискретная математика

XIX Белоусов А.И., Ткачев СБ. Дискретная математика (1081422), страница 31

Файл №1081422 XIX Белоусов А.И., Ткачев СБ. Дискретная математика (Зарубин В.С., Крищенко А.П. - Комплекс учебников из 21 выпуска) 31 страницаXIX Белоусов А.И., Ткачев СБ. Дискретная математика (1081422) страница 312018-01-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 31)

в)1 в)1 Таким образом, идемпотентное полукольцо Ял замкнутое. Итерация бинарного отношения р есть Р" = ( ) Р" = 1ол О Ц Р", в)1 в)0 где р", и > 1, — и-кратная композиция р с самим собой: р" = ~ ... р. Как видно, в общем случае р' уЕ Ы,1, т.Е. в в рвз этом полукольце итерация элемента, вообще говоря, не равна единице полуколы1а У Вьппе было показано, что всякое замкнутое полукольцо является индуктивным упорядоченным множеством. Следовательно, согласно теореме 1.7, любое непрерывное отпображение у замкнутого полукольца в себя имеет наименьшую неподвижную точку, т.е.

в любом замкнутом полукольце всякое уравне. ние вида х = у (х), где у" — непрерывное отображение носителя этого полукольца в себя, 'имеет наименьшее решение. Особенно важными для приложений являются линейные уравнения в замкнутом полукольце, имеющие вид (3.12) или х = ха+ Ь. (3.13) В силу непрерывности операций сложения полукольца (см. тождество (3.10)) и умножения полукольца (см. определение 3.2) правые части уравнений (3.12) и (3.13) есть непрерывные оп10- браженнл. Поэтому, согласно теореме 1.7 о неподвижной шочке, существуют наименьшие решения этих уравнений.

194 3. ПОЛУКОЛЪЦА И БУЛЕВЫ АЛГЕБРЫ Теорема З.Т. Наименьшими решениями уравнений (3.12) и (3.13) в замкнутых полукольцах являются соответственно (3.14) х=Ьа', (3.15) где а' — итерация элемента а. ~ Используя формулу (1.8) для вычисления наименьшей неподвижной точки и записывая вор в случае замкнутого полукольца как бесконечную сумму, для уравнения (3.14) получаем' х = Е1" (0) ьь)0 где 0 — нуль полукольца, а У(х) = ах+ Ь. Учитывая, что у0(0) =О, ~1(0) — Ь у ~(0) = аЬ+ Ь = (а+ 1) Ь, у"(0) = (а" 1+...+а +а+ 1)Ь, получаем ~~1 у"(0) = ~) (1+а+...+а" 1)Ь. ьь=1 Используя непрерывность умножения, вынесем Ь (вправо) за знак бесконечной суммы и получим 1 ьь ь ь...ь " ')ь= (1;ььь -ь...ь " '))ь.

ьь=1 ььь-1 З.З. Решение систем еииейиеш урааиеиий 195 Сумма 1+ а+... + ап ~ есть частичная сумма последователь- ности (а")п>с. Используя равенство (3.6), можем написать ~~) (1+а+...+оп )= ~) а"=а'. пме ппи Окончательно получаем ~~),)~(0) = а Ь. п=1 Анологично доказывается равенство (3.15). 1ь Формулы (3.14) и (3.15) дают именно наименьшие решения уравнений (3.12) и (3.13), а не все возможные их решения. Приведем в этой связи простой пример. В полукольце В (см. пример 3.2) можно определить только два уравнения: х = х+ 1 и х = х+ О.

Второе уравнение переписывается совсем просто: х = х; его решением является любой элемент полукольца — как О, так и 1. Но по формуле (3.14) получим х= 1'О= О, что, как и доказано вьппе, есть наименьшее решение уравнения. Заметим еще, что в полукольце, в котором итерация любого элемента равна единице полукольца, формулы (3.14) и (3.15) дают один и тот же результат: х = Ь, т.е. в данном случае наименьшее решение совпадает со свободным членом уравнения. 3.3. Решение систем линейных уравнений Полученные вьппе результаты (см. 3.2) можно распрострз нить на системы линейных уравнений вида х1 = анх1+...

+ аьпхп+ Ьм (3.16) хп = оп1х1+... + а„пхп+ Ьп, где все элементы а;, 1<1<п, 1<у <и, и Ь,, 1<1<п, суть элементы некоторого замккуяоео полукольца, и речь идет о решении системы (3.16) в этом полукольце. 196 3. ПОЛУКОЛЬЦА И БУЛЕБЫ АЛГЕБРЫ Для этого введем в рассмотрение множество М,в„„(8) прямоугольных матриц типа ш х п с элементами ю произвольного идемпотентного полукольца 8 = (8,+,,0,1). Множество всех квадратных матриц порядка и с элементами ю полукольца 8 обозначим М„(8). Через МаФг(8) обозначим множество всех матриц любого типа с элементами из 8. Операции сложения и умножения матриц определяют точно так же, как и в числовом случае (1П], — с учетом того, что сложение и умножение элементов матриц понимаются в смысле данного идемпотентного полукольца 8, а именно: 1) суммой матриц А = (а0) и В = (Ь,у) типа гп х и называют матрицу С = (с; ) того же типа с элементами с;~ — — аИ+ЬИ, 1 = 1, т, у = 1, и, и используют обозначение С = А+ В; 2) произведением АВ матриц А = (а0) типа т х и и В = (ЬИ) типа п х р называют матрицу С = (с;~) типа гп х р с элементами Нулевая (0) и единичная (Е) матрицы любого порядка определяются с помощью единицы и нуля полукольца.

На множестве М„(8) всех квадратных матриц фиксированного порядка п можно определить алгебру М„(8) =(М„(8),+,,О,В). Теорема 3.8. Алгебра М„(8) есть идемпотентное полукольцо. Если полукольцо 8 замкнуто, то полукольцо М„(8) тоже замкнуто. ~ Операции суммы и произведения матриц определены таким образом, что все свойства операций сложения и умножения в полукольце сохраняются и для соответствующих операций над матрицами. Поэтому для суммы и произведения матриц из М„(8) выполнены аксиомы полукольца, и, кроме того, опера ция сложения матриц идемпотентна. Следователю*'но, М„(8)— идемпотентное полукольцо.

З.З. Решение систем вввевшев урвввеввв 197 Выясним смысл овтношенвл порядка в этом идемпотевтном полукольце. В силу определения есвтестлвенвого порядка идеипожентвмого полукольце неравенство А < В для матриц А и В означает, что А+ В = В, или для всех е, З справедливо ся + Ь;З вЂ” - Ь;~. Следоватеяьно, А ~ (В тогда и только тогда, когда для всех т, З справедливо ам < Ь; . Пусть 8 — замкнутое полукольцо. Докажем замкнутость идемпотентного полукольца М„(8) и существование точной верхней грани у любой последовательности матриц в М„(8). Пусть (Аш)шеи — произвольная последовательность квадратных матриц Аш = (а1~Ч) порядка и. Рассмотрим матрицу В= ( )', а~~).

КаждыйзлементЬ;. = ~', а~З этойматрицыесть шеи шеи точная верхняя грань последовательности элементов а~~. Эти точные верхние грани существуют, поскольку ашу — элементы замкнутого полукольца 8. Так как сложение матриц и отношение порядка в полукольце матриц определяются поэлементно, то матрица В и будет точной верхней гранью последовательности матриц Аш. Докажем теперь непрерывность умножения в М„(8), т.е.

что для любой последовательности (А„,~„,ен матриц и произвольной матрицы В имеет место В СА,„=~~ (ВАш). Матрица С = (с; ) = ~',А,„есть точная верхняя грань последо- вательности (А )„,ен. Тогда имеем в В ~ Аш = ВС = ~Я Ьись )~ Ьм1 Элемент сву есть точная верхняя грань последовательности (амшен элементов матриц Аш, т.е. тек 198 3. ПОЛУКОЛЬЦА И БУЛЕБЫ АЛГЕБРЫ Используя непрерывность умножения в исходном полукольце 8, получаем и и и ~~1 ,'61йсй1 = (~) '6;й ~~1 ай1) = (~~1 "5 Ьййай~). й=1 й=1 ивЕН й=1ивЕН Следовательно, и В,,'в, Ат = ЯЬвй,~~, ай ). ивЕН й=1 ивЕН Используя непрерывность сюжения, получаем и и (ЯЬвй ~ ай1) = вВ (~~ Ь;йайу) = ,''В (ВАив).

й=1 ивЕН ивЕН й=1 ивЕН Аналогично доказывается, что ( Ави)В = 2 (АивВ). ~ь Полукольцо М„(8) будем называть пвьяриольцом мавпрац над полукольцом 8. Доказанная теорема позволяет нам применять к замкнутым полукольцам матриц над некоторым замкнутым полукольцом 8 теорему 3.7 и решать произвольные уравнения вида (3.17) Х= АХ+В (3.18) Х = ХА+В относительно неизвестной матрицы Х. Наименывие решения этих уравнений есть (3.19) Х=А*В (3.20) Х=ВА' соответственно, где А" — аиверапая матрицы А в М„(8).

Итерация А' матрицы А играет в теории линейных уравнений в З.З. Решение систем лииейиын уравнений 199 замкнутых полукольцах такую же роль, как обратная матрица в классической линейной алгебре. Основную роль при решении задач теории ориентированных графов и теории формальных языков играют праволппебпые уравпепил вида (3.17), поэтому мы будем, как правило, рассматривать только их. Лееолинебное уровпеипе (3.18) может быть проанализировано аналогично. Мы доказали существование решений матричных уравнений в матричном полукольце над замкнутым полукольцом. Теперь нам необходимо разработать технику поиска их решений и применить ее к решению систем вида (3.16).

Полагая, что (; — З-й столбец матрицы Х, а $ — З-й столбец матрицы В, уравнение (3.17) можно переписать как систему уравнений относительно неизвестных столбцов матрицы Х: б=Аб+РЗ, 0<у <и. (3.21) Каждая система вида (3.21) есть матричная форма записи указанной вьппе системы (3.16). Поэтому наименьшее решение этой системы, как следует из (3.19), есть (3.22) Для поиска решения системы вида (3.21) можно воспользоваться метподом последоваепельного исключения пеизвесепных, аналогичным классическому методу Гаусса. Поскольку система уравнений вида (3.16) имеет решение, мы можем подставить его в систему и работать с уравнениями как с тождествами. Рассмотрим процедуру решения системы уравнений (3.16).

Запишем первое уравнение системы так: х1 = аых1+ (аихэ +... + ашх„+ Ь1 ). Иэ первого уравнения системы выразим х1 через остальные неизвестные, воспользовавшись формулой (3.14): х1 = а1,(ашхэ+... + аых„+ Ь|). (3.23) 2ОО 3. ПОЛУКОЛЬЦА И БУЛЕВЫ АЛГЕБРЫ В формуле (3.23) выражение в скобках не содержит неювест- ного хд. Подставляя (3.23) вместо хд в остальные уравнения, получаем систему из дд — 1 уравнений, которая уже не содер- жит хд. хг = агдад,(адгхг+... +адвх„+61)+ + а22х2+ ° ° ° + агпх««+ 62« хз — аз1адд(адгхг +...

+ адвха + Ьд) + + азгхг + .. + азпхп + Ьз (3.24) х„= а„додд(адгхг +... + ад„х„+ Ьд) + + а««гхг +... + а««««хп + Ь««. Приводя подобные члены в каждом уравнении системы, полу- чаем: хг = (ашаддадг+ агг)хг+... ... + (агдаддаы+ аз„)х„+ агдад,Ь1+ 62, хз = (аздаддадг+азг)хг+... ... + (аздаддаы + аз««)х„+ аз1аддЬ1 + Ьз, (3.25) х„= (а„дад,адг+ а««г)хг+...

... +(авдаддадв+а„,„)х„+а„да1161+6„. Первое уравнение этой системы перепишем так: Х2 = («121«111«112 + «122)Х2 + 72 где 72 = агдад1 (адзхз +... + ад««х««+ Ь1) + а2зхз +... + аг««х„+ Ь2. (3.2б) Х2 ««272» гДе «дг = агдаддаш+агг не соДеРжит неювестных. ИспользУЯ полученное выражение, исключаем хг из остальных уравнений. Заметим, что 72 не содержит хд и хг. Воспользовавшись соот- ношением (3.14), будем иметь З.З. Ретеиве систем ливеввых ураввевий 201 Действуя подобным образом, на е-м шаге (1 < 1 < и) получаем (3.27) где выражение а,*. не содержит неизвестных, а выражение 7; может содержать только неизвестные, начинал с (1+ 1)-го, т.е.

Характеристики

Тип файла
DJVU-файл
Размер
5,42 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Зарубин В.С., Крищенко А.П
Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6374
Авторов
на СтудИзбе
309
Средний доход
с одного платного файла
Обучение Подробнее