![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Числовых множествах
Важными свойствами бинарной операции являются свойства ассоциативности, коммутативности, существования нейтрального элемента (левого, правого, двухстороннего), существования обратного элемента (левого, правого, двухстороннего), наличие нулей и идемпотентов. Сформулируем основные свойства бинарных операций в виде условий, называемых также аксиомами: А1. Аксиома ассоциативности:
А2. Аксиома коммутативности:
A3. Аксиома существования левого нейтрального элемента:
A4. Аксиома существования правого нейтрального элемента:
А5. Аксиома существования нейтрального элемента (двухстороннего):
А6. Аксиома левого симметричного элемента:
А7. Аксиома правого симметричного элемента:
А8. Аксиома существования симметричного элемента (двухстороннего):
О п р е д е л е н и е 4: Говорят, что бинарная операция * на множестве А: · коммутативна, если выполняется условие А2, · ассоциативна, если выполняется условие А1`, · обладает нейтральным элементом (левым, правым), если выполняется А5 (A3, А4), · обратима (слева, справа), если выполняется А8 (А6, А7). П р и м е р 4. Исследовать свойства бинарной операции *, заданной на множестве Q по правилу:
Р е ш е н и е: 1. Проверка условия выполнимости. Так как сумма, произведение, разность рациональных чисел являются рациональными числами, то результат операции а – ab + 1 есть рациональное число. Операция * выполнима на Q. 2. Проверка условия однозначности. Операции сложения, умножения, вычитания рациональных чисел ― однозначны. Следовательно, и операция *, которая определяется через них, будет однозначной. 3. Проверка аксиомы ассоциативности. Возьмем любую тройку элементов а, b, с из множества Q и проверим выполнимость равенства: (а * b) * с = а * (b * с). Раскрывая левую часть этого равенства, получаем: (а * b) * с = (а – ab + 1) *c = (a – ab +1) – (a – ab + 1)с+1 = = a – аb – aс + abc – c + 2. Раскрывая правую часть рассматриваемого равенства, получаем: а * (b * с) = а * (b ― bc + 1) = а ― а(b ― bc + 1) + 1 = =1– ab+ abc. Результаты различны, поэтому операция * неассоциативна. 4. Проверка аксиомы коммутативности:
Так как a*b = a–ab+1, b*a= b – ba + 1, то при а 5. Проверка наличия нейтральных элементов: а) Из аксиомы A3 имеем: х * а = а или х – ха + 1 = а, откуда х = –1. Следовательно, существует левый нейтральный элемент е' =1. б) Из аксиомы А4 имеем: а * х = а или а – ах + 1 = а, откуда в) Из пунктов а) и б) следует, что нейтрального (двухстороннего) элемента нет. 6. Проверка наличия симметричных элементов. Для выполнения аксиом А6 и А7 необходимо наличие двухстороннего нейтрального элемента e относительно заданной операции. Так как такой элемент отсутствует, то операция * не обладает симметричными элементами. Упражнения 1. Является ли операцией и какого ранга вычитание на множестве R? В случае положительного ответа перечислить основные свойства операции. 2. Исследовать свойства операции *, заданной на множестве R формулами: а) а * b = (а + b)2; б) а * b = а2 +1; в) а * b = 2а + b –1; г) а * b = ab–a+b; д) а * b = ab; е) а * b = a2b–ab2.
1. Доказать: 1) 2) А \ (В 3) A \ (B \ C) = (A \ B) 4) А \ В = А \ (В 5) А \ (А \ В) = А 6) А 7) А 8) (А 9) ( 10) (А \ В)\С = (А\С)\ (В\С). 2. Построить таблицу истинностных значений данных формул исчисления высказываний: 1) А & 2) A ∨ ( 3) (А 4) А & 5) (A 3. Построить отрицание следующих формул: 1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 4. Какими свойствами обладает данное соответствие на множестве R? 1) f: R 2) f: R 3) f: R 4) f: R 5) f: R 6) f: R 7) f: R 8) f: R 9) f: R 10) f: R 5. Какими свойствами обладает данное отношение на множестве R? 1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 6. Доказать методом математической индукции: 1) 2) 3) 4) 5) 6) 7) 8) 9) 10)
|