русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Напівгрупи


Дата добавления: 2015-08-31; просмотров: 1621; Нарушение авторских прав


 

Означення 11. Алгебра G=(A,W) називається напівгрупою, якщо W складається з однієї бінарної асоціативної операції. Бінарну операцію напівгрупи часто позначають символом * й називають множенням. Бінарна операція * на множині А називається асоціативною, якщо для будь-яких x,y,z з множини А виконується умова x*(y*z)=(x*y)*z.

Розглянемо приклади напівгруп. Алгебра (N,+) має сигнатуру, що складається з однієї бінарної операції (+); для будь-яких невід’ємних цілих чисел x,y,z виконуєтьс, як відомо, умова x+(y+z)=(x+y)+z, тобто операція + асоціативна. Таким чином, алгебра (N,+) є напівгрупою. Напівгрупами є також алгебри (N,´), (Z,+), (Z,´), (R,+), (R,´).

Алгебра (Z,-) не є напівгрупою, оскільки операція віднімання чисел (-) не асоціативна. Дійсно, x-(y-z)=x-y+z, (x-y)-z=x-y-z; оскільки не для усіх цілих x, y, z x-y+z=x-y-z, то умова асоціативності операції віднімання (тобто умова x-(y-z)=(x-y)-z) не виконується.

Розглянемо поняття напівгрупи слів у скінченному алфавіті.

Означення 12. Алфавітом називається множина символів. Скінченним алфавітом називається скінченна множина символів.

Означення 13. Словом у алфавіті Х називається скінченна послідовність символів алфавіту Х, записана без проміжків та розділових знаків між цими символами. Порожнімсловом будемо називати послідовність, що не містить символів. Порожнє слово позначається e. Позначимо F(X)={p| p – слово у алфавіті X або e}. Кількість входжень символів у слово р називається довжиною слова р; порожнє слово має довжину 0.

Наприклад, словами у алфавіті X={a,b,c} є послідовності аассс, са, b, сbb. Довжина слова аассс дорівнює п’яти (адже у це слово входять п’ять символів: двічі символ “a” та тричі символ “c”), довжина слова са дорівнює 2, слова b – 1, слова cbb – 3. Послідовність асе не є словом у даному алфавіті Х, бо вона містить символ “е”, що не належить алфавіту Х.



Визначимо на множині F(X) бінарну операцію злиття (конкатенації) слів (позначимо її conc). Нехай p,qÎF(X), p=x1…xn, q=y1…ym, n,mÎN (вважаємо, що коли n (m) дорівнює нулю, то p (q) – порожнє слово). Покладемо conc(p,q)=x1…xny1…ym. Зрозуміло, що при р=e conc(p,q)=q, при q=e conc(p,q)=р, а при р=q=e conc(p,q)=e.

Покажемо, що операція conc асоціативна. Нехай p,q,rÎF(X) й p=x1,…,xn, q=y1,…,ym, r=z1,…,zk, n,m,kÎN+. Перевіримо, чи виконується умова асоціативності для операції conc: conc(p,conc(q,r))=conc(conc(p,q),r). Маємо:

conc(p,conc(q,r))=conc(x1,…,xn,conc(y1,…,ym,z1,…,zk))=conc(x1,…,xn,y1,…,ymz1,…,zk)= =x1,…,xny1,…,ymz1,…,zk;

conc(conc(p,q),r)=conc(conc(x1,…,xn,y1,…,ym),z1,…,zk)=conc(x1,…,xny1,…,ym,z1,…,zk)= =x1,…,xny1,…,ymz1,…,zk;

отже, conc(p,conc(q,r))=conc(conc(p,q),r), тобто операція conc асоціативна. Зрозуміло, що коли принаймні одне зі слів p, q, r порожнє, умова conc(p,conc(q,r))=conc(conc(p,q),r) виконується.

Напівгрупою слів у алфавіті Х назвемо алгебру (F(X), conc).

Означення 14. Напівгрупа (А,*) називається комутативною, якщо операція * комутативна, тобто для будь-яких х та у з множини А виконується х*у=у*х.

Наприклад, напівгрупи (N,+), (N,´), (Z,+), (Z,´), (R,+), (R,´) комутативні, адже операції додавання та множення чисел, як відомо, комутативні. Напівгрупа слів у алфавіті Х (тобто алгебра (F(X), conc)) не є комутативною, адже слова conc(p,q) та conc(q,p) не завжди однакові; нехай, наприклад, Х={a,b,c}, p=ab, q=cb, тоді conc(p,q)=abcb, а conc(q,p)=cbab; бачимо, що conc(p,q)¹conc(q,p).

Означення 15. Алгебра (А,*) називається напівгрупою з одиницею, або моноїдом, якщо (А,*) – напівгрупа й існує такий елемент е множини А, що для будь-якого х з А х*е=е*х=х. Елемент е називається одиничним (нейтральним, одиницею). Алгебра (А,*) називається комутативною напівгрупою з одиницею (комутативним моноїдом), якщо вона є напівгрупою з одиницею й операція * комутативна.

Наприклад, алгебра (N,+) є моноїдом, адже вона є напівгрупою, й у множині N існує таке число (позначимо його е), що для будь-якого х з N виконується умова х+е=е+х=х. Дійсно, рівності х+е=е+х=х мають розв’язок відносно е: е=0. Таким чином, напівгрупа (N,+) має одиничний елемент: це число 0. Отже, алгебра (N,+) є напівгрупою з одиницею, або моноїдом. Алгебри (Z,+), (R,+), (R,´), (N,´), (Z,´) також є моноїдами. Одиничним елементом моноїдів (Z,+), (R,+) є число 0. Одиничним елементом моноїдів (R,´), (N,´), (Z,´) є число 1. Оскільки операції додавання та множення чисел комутативні, то алгебри (N,+), (Z,+), (R,+), (R,´), (N,´), (Z,´) є комутативними моноїдами.

Напівгрупа слів у алфавіті Х є моноїдом; одиничним елементом є порожнє слово, адже для будь-якого слова р з множини F(X) маємо: conc(p,e)=p=conc(e,p).

Твердження 2. Нехай G=(A,*) – напівгрупа з одиницею, е – одиничний елемент. Тоді е єдиний.

Доведення (від супротивного). Припустимо, що у множині А існує принаймні ще один елемент (позначимо його е¢), що відмінний від е, й такий, що для будь-якого х із А виконується умова: х*е¢=е¢*х=х. Оскільки еÎА, то й для е дана умова також виконується, тобто е*е¢=е¢*е=е. Оскільки е – одиничний елемент напівгрупи G, то для будь-якого х з А маємо: х*е=е*х=х. Дана умова виконується й для х=е¢, адже е¢ÎА, а тому е¢*е=е*е¢=е¢. Таким чином, е=е¢, що суперечить припущенню про те, що елемент е¢ відмінний від е. Отже, одиничний елемент напівгрупи з одиницею єдиний.

 

Контрольні питання

 

1. Що таке асоціативна операція?

2. Що таке комутативна операція?

3. Що таке напівгрупа?

4. Що таке комутативна напівгрупа?

5. Що таке напівгрупа з одиницею?

6. Що таке моноїд?

7. Що таке напівгрупа слів у алфавіті Х?

8. Що таке одиничний елемент напівгрупи?

9. Що таке комутативна напівгрупа з одиницею?

 

Групи

 

Означення 16. Алгебра (А,*) називається групою, якщо вона є напівгрупою з одиницею (е) й для кожного елемента х множини А існує такий елемент х-1 множини А, що х*х-1=х-1*х=е. Елемент х-1 називається оберненим до х. Група (А,*) називається комутативною, якщо операція * комутативна.

Розглянемо, наприклад, алгебру (Z,+). Вона є напівгрупою з одиницею (одиничним елементом є число 0). Перевіримо, чи існує для кожного цілого числа x обернений елемент, тобто таке ціле число х-1, що x+x-1=x-1+x=0. Знаходимo розв’язок рівнянь: х-1=-х. Оскільки хÎZ, -хÎZ. Отже, для кожного цілого числа х існує обернене до нього, а саме: число -х. Таким чином, (Z,+) є групою. Оскільки операція + комутативна, алгебра (Z,+) є комутативною групою.

Розглянемо приклад некомутативної групи. Нехай А – множина усіх взаємно однозначних відображень множини N3 у множину N3. Побудуємо ці відображення: f1={<1,1>,<2,2>,<3,3>}, f2={<1,1>,<2,3>,<3,2>}, f3={<1,2>,<2,1>,<3,3>}, f4={<1,2>,<2,3>,<3,1>}, f5={<1,3>,<2,1>,<3,2>}, f6={<1,3>,<2,2>,<3,1>}.

Множина А замкнута відносно операції композиції. Для перевірки обчислимо вирази виду fi*fj для усіх i та j (1£i£6, 1£j£6). Результати обчислень заносимо у таблицю.

 

* f1 f2 f3 f4 f5 f6
f1 f1 f2 f3 f4 f5 f6
f2 f2 f1 f4 f3 f6 f5
f3 f3 f5 f1 f6 f2 f4
f4 f4 f6 f2 f5 f1 f3
f5 f5 f3 f6 f1 f4 f2
f6 f6 f4 f5 f2 f3 f1

 

Бачимо, що fi*fjÎА, 1£i£6, 1£j£6, отже, множина А замкнута відносно операції *. Таким чином, (А,*) – алгебра. Оскільки операція композиції відображень асоціативна, алгебра (А,*) є напівгрупою. Відображення f1 є одиницею цієї напівгрупи, адже f1 – тотожнє відображення, а тоді f1*fi=fi*f1=fi, 1£i£6. Таким чином, алгебра (А,*) є напівгрупою з одиницею. За таблицею знайдемо для кожного відображення обернений елемент. Маємо: f1-1=f1, f2-1=f2, f3-1=f3, f4-1=f5, f5-1=f4, f6-1=f6. Отже, алгебра (А,*) є групою. Ця група не комутативна, адже не для усіх відображень fi та fj виконується fi*fj=fj*fi. Дійсно: f2*f5¹f5*f2, адже f2*f5=f6, f5*f2=f3, а f6¹f3.

Твердження 3. Нехай (A,*) – група, хÎА. Тоді елемент, обернений до х, єдиний.

Доведення. Припустимо, що існує принаймні два різні елементи (y1 та y2), обернені до х. Оскільки y1 обернений до х, маємо: х*y1=y1*х=е, а оскільки y2 обернений до х, то х*y2=y2*х=е. Маємо: y1=y1*е=y1*(х*y2)=(y1*х)*y2=е*y2=y2. Отже, y1=y2, що суперечить припущенню про те, що y1 та y2 різні. Таким чином, для кожного елемента х з множини А елемент, обернений до х, єдиний.

Теорема 1. Алгебра G є групою тоді й тільки тоді, коли сигнатура алгебри G містить одну бінарну операцію (*), одну 0-арну операцію (е), одну унарну операцію (-1) й для будь-яких x, y, z з носія алгебри G виконуються умови:

x*(y*z)=(x*y)*z, x*e=e*x=x, x*x-1=x-1*x=e.

Доведення випливає з тверджень 2 та 3.

 

Контрольні питання

 

1. Що таке група?

2. Що таке комутативна група?

 



<== предыдущая лекция | следующая лекция ==>
Фактор-алгебри | Эффективность очистки


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.082 сек.