- •Множества с операциями. Определения и примеры группы (Zp и Sn)
- •Определение кольца и поля, примеры (кольцо Zm и поле Zp – чем отличаются).
- •Отношения на множестве. Отношение порядка (определения и примеры)
- •Графы. (Определения. Примеры) Подграфы. Операции над графами
- •Помеченные и непомеченные графы. Изоморфизм графов. Матрицы, ассоциированные с помеченными графами.
- •Метрика (на связных графах). Расстояние между точками графа. Планарность графа
- •Высказывание. Операции над высказываниями. Булева алгебра высказываний
- •Формулы в алгебре высказываний. Таблицы истинности. Равносильность формул
- •Двойственность в ав.
- •Любая формула в алгебре высказывания равносильна некоторой булевой.
- •Теорема о подстановке формул в формулу в ав.
- •Лемма о разложении формулы в ав по переменной.
- •Скнф, кнф, днф
- •Основные проблемы ав
- •Алгебра предикатов. Определения. Операции над предикатами.
- •Операции, понижающие местность предикатов. Кванторы
-
Само понятие множества строго не определяется(совокупность). Говоря о множествах, предполагается что они все «лежат» в универсальном множестве(Е). Если нет ни одного элемента, то пустое множество.
Принадлежность – не определена, принадлежность одного элемента множеству(xE). Пересечение: По опр: AB xA => xB
По опр: A=B AB & BA
Подмножество: Если АB, то А – подмножество множества В
а) объединение: AB; AB={xE|или xA, или xB, или xA и B одновременно|}
б) пересечение: AB; AB={xE|xA и xB одновременно|}
в) дополнение: A; A={xE|xA|}
дополнительно:
г) разность : A\B; A\B={xB|xA и xB|}; A\B=AB;
д) симметрическая разность: AB=(A\B)(B\A)
Круги Вейля:
Булева алгебра множеств:
Декартово произведение множеств: AxB={(x,y)|xA,yB|}
BxAAxB; |AxB|=|A|*|B|; |AxBxC|=|A|*|B|*|C|
-
Отображение множеств:
f: MN – называется отображением множества M в множество N, если xM – поставлено в соответствие по некоторому правилу элемент множества y=f(x)N
f:MN
а) f – инъективное (взаимно однозначное), если x1x2, M=> f(x1)f(x2).
b) f – сюръективное (отображение «на»), если yN, f-1(y)M.
c) f – биективно, если и инъективно и сюръективно.
Кол-во элем декартова произведения множеств
-
Число всех отображений из X Y.
-
Число инъективных и биективных отображений (X Y).
X={x1,x2,..xm}, Y{y1,y2,..,yn}; In YX={f:xy|xixj => f(xi)f(xj)|}
тк все элементы f(x1),f(x2),..,f(xm)Y различны (f – инъективный отбор) => nm. При построении инъективных отображений xi переходит в элемент
Y: xi(y1,y2,..,yn) – n способов
x1yi; x2yj (yiyj) – (n-1) способов
…
x1yi; x2yj (yiyj), x3(y1,y2,..,yn), …, xm(n-m+1)
|In YX |= n(n-1)…(n-m+1)=n!/(n-m)!
если n=m, инъективное изображение будет биективным
|Bi YX| = n!
-
Множества с операциями. Определения и примеры группы (Zp и Sn)
Алгебраическая структура - это множество на котором определены некоторые операция для элементов.
М – определена бинарная операция «*», если для любых 2-х элементов поставлен в соответствии один элемент: m,n M => m*nM
-
Полугруппа – множество M с бинарной операцией «*» такой, что m,n,p M => (m*n)*p = m*n*p – ассоциативный закон.
-
Группа – множество M с бинарной операцией «*», если M-полугруппа; еМ – единичный(нейтральный) элемент => mM: me=em=m;
-
mM m-1 такой что m*m-1=e
При этом группа - Абелева группа, если m,nM=>m*n=n*m (операция коммутативна)
Пр: Рассмотрим множество целых чисел Z. Если это множество будем рассматривать с операцией сложения, то тогда вместе с этой операцией множество образует абелеву группу.
0) Z1 + Z2 Z Z1, Z2
1) (Z1 + Z2) + Z3 = Z1 + (Z2 + Z3) – ассоциативно для Z1, Z2, Z3 Z
2) e = 0
3) Z Z-1 = (-Z)
4) Z1 + Z2 = Z2 + Z1
Пр: Рассмотрим множество Z с операцией умножения {Z, .}
0) Z1 . Z2 Z Z1, Z2
1) (Z1 . Z2) . Z3 = Z1 . (Z2 . Z3)
2) e = 1 : Z . 1 = 1 . Z Z => полугруппа с 1
Не будет образовывать группу, т.к. не обратного элемента к Z
3) 2 Z, но не 2-1 Z
Пр: Рассмотрим группу подстановок Sn (множество всех биекций XY (X=Y={1,..,n})
|Sn| = n!
-
(τ ρ) υ = τ (ρ υ)
-
e = (1,2,…,n; 1,2,…,n); eτ = τe = τ; τ
-
τ = (1,2,3); τ-1 = (3,2,1); τ τ-1, τ τ-1 = τ-1 τ = e
-
Определение кольца и поля, примеры (кольцо Zm и поле Zp – чем отличаются).
Кольцо – Это множество «K» с двумя операциями (сложения и умножения), которое удовлетворяет следующим условиям:
-
По сложению абелева группа;
-
a,b,c K => a(b+c) = ab+ac, (b+c)а = ba+ca дистрибутивность;
-
Операция умножения ассоциативна
3) а. Если операция умножения в кольце коммутативна, то К – коммутативное
ab=ba a, b K => K – коммутативное кольцо
-
а. Если существует 1К по умножению, т.е. 1*а=а*1=а, то К с еденицей.
Пр: Zn – кольцо вычетов по |n|; Zn = {0,1,…,n-1}
i,j Zn – рассмотрим операцию сложения в К Z и подправим её след. образом:
i+j= {k, k<n; k-n, k>n => n ≡ 0
Аналогично подправляем операцию умножения в К Z:
ij= ln(≡ 0) + k (0 ≤ k < n) => ij=k (ещё пример про делители 0 и т.п.)
Пр: {Z,+,*} – кольцо целых чисел (доказать, что кольцо, коммутативное, с 1 (4+3)).
Поле - Это множество «P» с двумя операциями (сложения и умножения), которое удовлетворяет следующим условиям:
-
P – коммутативное кольцо с единицей
-
x0P x-1 =>x-1x=xx-1=1 ;(те нет делителей нуля)
Пр: {R, Q, но не Z, +,*} – поле действительных чисел (xx0R x-1=>x-1x=xx-1=1)
Теор: Zp – поле, если p – простое число
-
{Z2, +, .} = {0,1} – поле; 10; (1)-1=1
-
{Z5, +, .} = {0,1,2,3,4} – поле; 2.3=1, 4.4=1, (1)-1=1, (2)-1=3, (3)-1=2, (4)-1=4 => 42=1
-
Отношения на множестве. Отношение порядка (определения и примеры)
На множестве Х задано отношение , если:
-
определено некоторое подмножество (выделено) в декартовом произведении U XxX
-
xX находится в отношении , к элементу yX (и обозначается xy), если (x,y)U
Пр: xR, x<y (x,y)U
Типы отношений на множестве:
- отношение, заданное на множестве Х
1) - называют рефлексивным, если xx xX
2) - называют транзитивным, если xy и yz => xz x,y,z X
3) - называют симметричным, если xy => yx x,yX
4) - называют антисимметричным, если xy => y не x x,yX
Отношение порядка – отношение на множестве Х, если оно рефлексивно, транзитивно и антисимметрично
Пр:
1) {R, ≤}, ≤ - отношение порядка, т.к.:
- рефлексивно: x R => x≤x
- транзитивно: x,y,z R => x≤y и y≤z => x≤z
- антисимметрично: x,yR => x≤y и y≤x => y=x
2) {R, <}, < - не отношение порядка, т.к. не выполняется рефлексивность
-
Отношения эквивалентности. Классы эквивалентности + теорема (с док-вом)
Отношение на множестве X называется отношением эквивалентности если - рефлексивно, транзитивно и симметрично.
[ Типы отношений на множестве:
- отношение, заданное на множестве Х
1) - называют рефлексивным, если xx xX
2) - называют транзитивным, если xy и yz => xz x,y,z X
3) - называют симметричным, если xy => yx x,yX
4) - называют антисимметричным, если xy > yx x,yX ]
Пр: (R,=) – отношений эквивалентности
-
x => x=x - рефлексивно
-
x, y, z : x=y и y=z => x=z - транзитивно
-
x, y : x=y => y=x - симметрично
Пусть на множестве Х задано отношение эквивалентности. Тогда по определению классом эквивалентности хХ называется множество {yX | yx} = [x]
Пр: (R, ); xy |x|=|y|
[x] = {x, -x} – класс экв. состоит из 2-х эл-тов (их беск. много)
(можно ещё пример (N, ); mn m-n = 3k (xZ) : [1], [2] и [3])
Т: - отношение эквивалентности на Х
Тогда:
-
[x] xX
-
x, y X, если [x][y] => [x]=[y]
(Если 2 класса пересекаются не по пустому множеству, то они совпадают)
Вывод:
Множество с отношением эквивалентности раскладываются в объединения попарно непересекающихся классов эквивалентности, построенных по элементам этого множества.
Доказательство:
-
xX, [x] , т.к. x[x] (xx) из рефлективности отношений эквивалентности
-
z[x][y]. Пусть x1[x] и y1[y].
Мы хотим доказать что x1 и y1 находятся в отношении
т.к. z[x] => x1z
т.к. z[y] => zy1 => из транзитивности x1y1, x1[x] и y1[y]
Т.к. мы выбираем произвольно то, можно взять y1=y => x1y, x1[x] => [x][y]
Аналогично для y1[y] => y1x =>[y][x]
=> (из 2-х) [x] = [y]
3) (x) [x] => (x) {x}=X или (из тетр.) X= X (Возм только при рав-ве)