Содержание
- 2. Алгебраические методы описания моделей находят самое широкое применение при формализации различных предметных областей. Грубо говоря, при
- 3. Владение алгебраической терминологией, таким образом, входит в арсенал средств, необходимых для абстрактного моделирования, предшествующего практическому программированию
- 4. Операции и алгебры Всюду определенная (тотальная) функция f: Мn → М называется n-арной (n-местной) операцией на
- 5. множество М вместе с набором операций ∑ = {f1,. . . ,fm}, fi :Mni→ M, где
- 6. 5
- 7. Многоосновная алгебра имеет несколько носителей, а каждая операция сигнатуры действует из прямого произведения некоторых носителей в
- 8. Замыкания и подалгебры Подмножество X ⊂ M называется замкнутым относительно операции f, если ∀ x1, …,
- 9. 8
- 10. Непустое пересечение подалгебр образует подалгебру. ТЕОРЕМА 9
- 11. Замыканием множества X включенного в М относительно сигнатуры ∑ (обозначается [X]∑ ) называется множество всех элементов
- 12. В алгебре целых чисел замыканием числа 2 являются четные числа. I. X ⊂ Y=[X] ⊂ [Y];
- 13. Пусть заданы сигнатура ∑ = (ϕ1, …, ϕm) типа N = (n1, …, nm) и множество
- 14. Ассоциативность: (a○b)○c = a○(b○c); Коммутативность: a○b = b○a; Дистрибутивность слева: a◊(b○c) = (a◊b)○(a◊c); Дистрибутивность справа: (a○b)
- 15. Понятие изоморфизма, введенное в этом разделе, является одним из ключевых. Алгебры с различными типами имеют различное
- 16. Гомоморфизмы, обладающие дополнительными свойствами, имеют специальные названия: Гомоморфизм, который является инъекцией, называется мономорфизмом. Гомоморфизм, который является
- 17. Изоморфизм Пусть А = 〈A; ϕ1, …, ϕm〉 и В = 〈В; ψ1, …, ψm〉 -
- 18. ТЕОРЕМА Отношение изоморфизма на множестве однотипных алгебр является эквивалентностью. 17
- 19. x2 f ln Понятие изоморфизма является одним из центральных понятий, обеспечивающих применимость алгебраических методов в различных
- 20. Алгебры с одной операцией Естественно начать изучение алгебраических структур с наиболее простых. Самой простой структурой является
- 21. Полугруппы Полугруппа — это алгебра с одной ассоциативной бинарной операцией: a○(b○c) = (a○b)○c. Множество слов А+
- 22. Если в полугруппе существует система образующих, состоящая из одного элемента, то такая полугруппа называется циклической. (N;
- 23. Моноиды Моноид — это полугруппа с единицей: ∃ e ∀ a a○e = e○a = a.
- 24. Пусть ∃ e1 , e2 ∀ a a ○ e1 = e1 ○ a = a
- 25. Группы Группа — это моноид, в котором Элемент a -1 называется обратным. ∀ a ∃ a-1
- 26. Множество невырожденных квадратных матриц порядка n образует группу относительно операции умножения матриц. Единицей группы является единичная
- 27. Пусть a ○ a-1 = a-1○ a = e & a ○ b = b ○
- 28. (a ○ b)○(b-1○ a-1) = a ○(b ○ b-1) ○ a-1 = a ○ e ○
- 29. a ○ x = b ⇒ a-1 ○ (a ○ x) = a-1 ○ b ⇒
- 30. 〈Z; +〉 - множество целых чисел образует абелеву группу относительно сложения. Нулем группы является число 0.
- 31. Алгебры с двумя операциями В этом разделе рассматриваются алгебры с двумя бинарными операциями: которые условно называются
- 32. Кольца Кольцо – это множество М с двумя бинарными операциями ⊕ и ⊗, в котором: (a
- 33. 0 ⊗ a = (0 ⊕ 0) ⊗ a = (0 ⊗ a) ⊕ (0 ⊗
- 34. Если в кольце ∃x ≠ 0 ∃y ≠ 0 x ⊗ y = 0, то x
- 35. ⇒: От противного. Пусть x ⊗ y = 0. Тогда x ≠ 0 & x ⊗
- 36. Коммутативное кольцо с единицей, не имеющее делителей нуля, называется областью целостности. Пример 35
- 37. Поле – это множество М с двумя бинарными операциями ⊕ и ⊗, такими что: (a ⊕b)
- 38. 〈R; +, ⋅〉 - поле вещественных чисел. 〈Q; +, ⋅〉 - поле рациональных чисел. Пусть E2
- 39. (a ⊗ (-1)) ⊕ a = (a ⊗ (-1)) ⊕ (a ⊗ 1) = a ⊗
- 40. а ⊗ x ⊕ b = 0 ⇒ а ⊗ x ⊕ b ⊕ (-b) =
- 41. Решетки иногда называют «структурами», но слово «структура» перегружено, и мы не будем использовать его в этом
- 42. ⇒: Пусть a ∩ b = b. Тогда a ∪ b = a ∪ (a ∩
- 43. В ограниченной решетке элемент а’ называется дополнением элемента а, если a ∩ а’ = 0 и
- 44. Частичный порядок в решётке ТЕОРЕМА Доказательство 43
- 45. 44
- 46. ТЕОРЕМА Если в частично упорядоченном множестве для любых двух элементов существуют нижняя и верхняя грани, то
- 47. Булевы алгебры Дистрибутивная ограниченная решетка, в которой для каждого элемента существует дополнение, называется булевой алгеброй. Пример
- 48. a ∪ a = a, a ∩ a = a по определению решетки; 2. a ∪
- 50. Скачать презентацию