Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Алгебраїчні операції




Нехай Х – довільна множина. n -арною операцією на множині Х називається відображення f: Хn ® Х, яке кожному вектору (x 1, x 2, …, xn) Î Хn ставить у відповідність однозначно визначений елемент x Î Х. Це записується наступним чином: x = f(x 1, x 2, …, xn). Таких операцій на множині Х можна задати декілька. Множина операцій, заданих на Х, називається його сигнатурою й позначається F = (f 1, f 2, …).

Множину Х разом з її сигнатурою F називаємо алгеброю (алгебраїчною структурою) та позначаємо A(X, F). Множина Х – це так звана множина-носій алгебри.

Найбільш поширеними є бінарні операції, які далі будемо називати просто операціями. Бінарна операція (або закон композиції) на Х – це довільне (але фіксоване) відображення f:Х2 ® Х. Таким чином, будь-якій впорядкованій парі (x1, x2) елементів із Х ставиться у відповідність однозначно визначений елемент f(x 1, x 2 ) цієї ж множини Х. Часто бінарну операцію позначають якимось спеціальним символом: T, *, ◦, + та замість f(x 1, x 2 ) = z записують x T y = z. Коли зрозуміло про що йдеться, символ операції може пропускатися.

Операція Т називається асоціативною, якщо для будь-яких x, y, z Î Х виконується умова (x T y) T z = x T (y T z).

Операція Т називається комутативною, якщо для будь-яких x, y Î Х виконується умова x T y = y T x.

Операція T1 називається дистрибутивною зліва відносно операції T2, якщо для будь-яких x, y, z Î Х виконується умова x T 1(y T 2 z) =(x T 1 y) T2 (x T 1 z). Операція T 1 називається дистрибутивною справа відносно операції T2, якщо для будь-яких x, y, z Î Х виконується умова (y T 2 z) T 1 x =(x T 1 y) T 2(x T 1 z). Операція T1 називається дистрибутивною відносно операції T 2, якщо вона одночасно є дистрибутивною зліва й справа.

Елемент е є нейтральним (одиничним) зліва відносно операції Т, якщо для будь-якого x Î Х виконується e T x = x. Елемент е є нейтральним (одиничним) справа відносно операції Т, якщо для будь-якого x Î Х має місце рівність x T e = x. Елемент е є нейтральним (одиничним) відносно операції Т, якщо він є одночасно нейтральним зліва й справа, тобто для будь-якого x Î Х виконується x T e = e T x = x. Якщо нейтральний елемент існує, то він є єдиним: дійсно, коли e 1¹ e 2, то з e 1 = e 1 T e 2= e 2 отримуємо суперечність.

Елемент x -1 називається оберненим зліва до елемента x Î Х відносно операції Т, коли x 1 T x = e. Елемент x -1 називається оберненим справа до елемента x Î Х відносно операції Т, коли x T x- 1 = e. Елемент x -1 називається оберненим до елемента x Î Х відносно операції Т, коли він є одночасно оберненим зліва й справа, тобто x- 1 T x = x T x -1 = e.

У випадку, коли алгебраїчна структура має скінченне число елементів, можна для кожної заданої на ній бінарної операції будувати так звану таблицю Келі, яка повністю описує дану операцію. Число рядків і стовпців таблиці рівне числу елементів алгебри, а на перетині рядка й стовпця записується результат виконання операції над відповідними цим рядку й стовпцю двома елементами. Побудова таблиці Келі для операції Т алгебри показана далі.

Т a1 a2 an
a1 a1Ta1 a1Ta2 a1Tan
a2 a2Ta1 a2Ta2 a2Tan
an anTa1 anTa2 anTan



Поделиться с друзьями:


Дата добавления: 2014-11-29; Просмотров: 914; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




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