- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

Podobne dokumenty
Zbiory, relacje i funkcje

Relacje. Relacje / strona 1 z 18

Teoria automatów i języków formalnych. Określenie relacji

Logika I. Wykład 3. Relacje i funkcje

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

DEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.

Wykłady z Matematyki Dyskretnej

Część wspólna (przekrój) A B składa się z wszystkich elementów, które należą jednocześnie do zbioru A i do zbioru B:

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.

Rozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy. Dla dowolnego zbioru B Y określamy jego przeciwobraz:

domykanie relacji, relacja równoważności, rozkłady zbiorów

RACHUNEK ZBIORÓW 5 RELACJE

Relacje. opracował Maciej Grzesiak. 17 października 2011

Matematyka dyskretna. Andrzej Łachwa, UJ, 2017 Zadania 1

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y)

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Relacje i relacje równoważności. Materiały pomocnicze do wykładu. przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak

FUNKCJE. (odwzorowania) Funkcje 1

Podstawy logiki i teorii zbiorów Ćwiczenia

Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:

Teoretyczne podstawy informatyki

Maszyna Turinga. Algorytm. czy program???? Problem Hilberta: Przykłady algorytmów. Cechy algorytmu: Pojęcie algorytmu

Egzamin z logiki i teorii mnogości, rozwiązania zadań

O funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze.

1. Teoria mnogości, zbiory i operacje na zbiorach, relacje i odwzorowania, moc zbiorów.

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

Analiza matematyczna 1

1 Relacje i odwzorowania

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Logika i teoria mnogości Ćwiczenia

Zapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.

Zbiory, funkcje i ich własności. XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16

1 Działania na zbiorach

Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka

Logika i teoria mnogości Ćwiczenia

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.

Pytania i polecenia podstawowe

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Matematyka dyskretna. 1. Relacje

Lista zadań - Relacje

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Rozdzia l 3. Relacje binarne

Elementy teorii mnogości. Część I. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14

Podstawy logiki i teorii zbiorów Ćwiczenia

Systemy algebraiczne. Materiały pomocnicze do wykładu. przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J.

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

FUNKCJE. 1. Podstawowe definicje

1. Wprowadzenie do rachunku zbiorów

FUNKCJA I JEJ WŁASNOŚCI

Wykład ze Wstępu do Logiki i Teorii Mnogości

Topologia I Wykład 4.

SYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Elementy logiki matematycznej

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

KARTA KURSU. Kod Punktacja ECTS* 7

Logika dla matematyków i informatyków Wykªad 1

Logika matematyczna w informatyce

Rozdział 7 Relacje równoważności

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Teoretyczne podstawy informatyki

O ALGORYTMACH BADANIA WŁASNOŚCI RELACJI

Teoretyczne podstawy informatyki

Rachunek podziałów i elementy teorii grafów będą stosowane w procedurach redukcji argumentów i dekompozycji funkcji boolowskich.

KARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory

Wstęp do Matematyki (1)

Wstęp do matematyki listy zadań

KURS MATEMATYKA DYSKRETNA

Jak należy się spodziewać, mamy. Zauważmy jednak, że nie zachodzi równość

Chcąc wyróżnić jedno z działań, piszemy np. (, ) i mówimy, że działanie wprowadza w STRUKTURĘ ALGEBRAICZNĄ lub, że (, ) jest SYSTEMEM ALGEBRAICZNYM.

G. Plebanek, MIARA I CAŁKA Zadania do rozdziału 1 28

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

Relacje. 1 Iloczyn kartezjański. 2 Własności relacji

RELACJE I ODWZOROWANIA

Funkcje. Część pierwsza. Zbigniew Koza. Wydział Fizyki i Astronomii

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Podstawowe struktury algebraiczne

Działanie grupy na zbiorze

Działanie grupy na zbiorze

Symbol, alfabet, łańcuch

Wprowadzenie i pojęcia wstępne.

Wstęp do Matematyki (3)

φ(x 1,..., x n ) = a i x 2 i +

Sprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568

Teoria ciała stałego Cz. I

A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.

Bisymulacja. Niezawodność systemów współbieżnych i obiektowych. Grzegorz Maj Grzegorz Maj Bisymulacja

5. Relacja prawostronnie jednoznaczna (jednoznaczna, inaczej: jest funkcją), jeżeli

Transkrypt:

1 Zbiór potęgowy - Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. - Dowolny podzbiór R zbioru 2 S nazywa się rodziną zbiorów względem S. - Jeśli S jest n-elementowym zbiorem, to 2 S ma 2 n elementów. - Ogólnie dla dowolnego skończonego zbioru A: card(2 A ) = 2 card(a) gdzie card(a) reprezentuje liczność zbioru A. Twierdzenie Cantora Dla każdego (skończonego albo nieskończonego) zbioru S, jego zbiór 2 S jest większej mocy (ma "więcej elementów"). 1

2 Przykłady 2 {1,2,3} = {, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}} 2 = { } 2 { } = {, { }} 2 {a,b} = {, {a}, {b}, {a,b}} { a, b} 2 2 =? 2

3 { a, b} 2 2 = {, { }, {{a}}, {{b}}, {{a,b}}, {, {a}}, {, {b}}, {, {a,b}}, {{a}, {b}}, {{a}, {a,b}}, {{b}, {a,b}}, {, {a}, {b}}, {, {a}, {a,b}}, {, {b}, {a,b}}, {{a}, {b}, {a,b}} {, {a}, {b}, {a,b}}} 3

4 Relacje Relacja binarna R określona na zbiorach A oraz B jest podzbiorem produktu kartezjańskiego A B, czyli R A B. Jeżeli A = B, to mówimy o relacji binarnej na A. Jeżeli para <a,b> jest elementem relacji binarnej R, to piszemy <a,b> R Czasem zamiast <a,b> R piszemy (w tzw. notacji infiksowej albo wrostkowej) arb. A = {a,b} B = {1,2,3} A x B = {(a,1), (a,2), (a,3), (b,1), (b,2), (b,3)} B x A = {(1,a), (1,b), (2,a), (2,b), (3,a), (3,b)} R A x B: relacja na A i B. R = {(a,1), (a,2), (a,3)} R = A x B pełna relacja R = - pusta relacja 4

5 Jeżeli R jest relacją binarną na A B, to jej dziedziną jest zbiór: dom(r) = {a A istnieje b B taki, że <a,b> R} R = {(a,1), (a,2), (a,3)} A = {a,b} B = {1,2,3} dom(r) = {a} a jej przeciwdziedziną jest zbiór: ran(r) = {b B istnieje a A taki, że <a,b> R} ran(r) = {1, 2, 3} Szczególne rodzaje relacji: - Relacja pusta: R = dom(r) =, ran(r) = - Relacja pełna R = {<a,b> a A, b A} = A A dom(r) = A, ran(r) = A 5

6 Wybrane własności relacji (binarnej) na A: zwrotność jeżeli <a,a> R dla każdego a A A = {a,b} R = {(a,a), (b,a)} niezwrotna R = {(a,a), (b,b), (a,b)} zwrotna R = - nie R = A x A - zwrotna przeciwzwrotność jeżeli <a,a> R dla każdego a A A = {a,b} R = {(a,a), (b,a)} nie przeciwzwrotna R = {(a,a), (b,b), (a,b)} nie przeciwzwrotna R = - przeciwzwrotna R = A x A nie przeciwzwrotna symetria jeżeli <a,b> R, to również <b,a> R A = {a,b} R = {(a,a), (b,a)} niesymetryczna R = {(a,a), (b,b), (a,b)} niesymetryczna R = - symetryczna R = A x A - symetryczna przeciwsymetria jeżeli <a,b> R, to <b,a> R A = {a,b} R = {(a,a), (b,a)} nie przeciwsymetryczna R = {(a,a), (b,b), (a,b)} nie przeciwsymetryczna R = - przeciwsymetryczna 6

7 R = A x A - nie przeciwsymetryczna - Jaka jest relacja, która jest i symetryczna i przeciwsymetryczna? - Czy relacja zwrotna może być przeciwsymetryczna? - Czy relacja przeciwzwrotna może być przeciwsymetryczna? przechodniość jeżeli <a,b> R oraz <b,c> R, to <a,c> R A = {a,b} R = {(a,a), (b,a)} przechodnia R = {(a,a), (b,b), (a,b)} przechodnia R = - przechodnia R = A x A - przechodnia R = {(a,a), (b,a), (a,b)} nie przechodnia spójność dla dowolnych a,b A, a b, jest albo <a,b> R albo <b,a> R A = {a,b} R = {(a,a), (b,a)} spójna R = {(a,a), (b,b), (a,b)} spójna R = - niespójna R = A x A - niespójna R = {(a,a), (b,a), (a,b)} niespójna 7

8 Relacja równoważności: ma własności: zwrotności, symetrii i przechodniości. Relacja równoważności R określona na zbiorze A wyznacza podział zbioru na tzw. klasy abstrakcji. Mianowicie, dla dowolnego elementu a zbioru A zdefiniujmy zbiór: {b A <a,b> R} Oznaczmy taki zbiór przez [a]. Zbiór ten nazywa się klasą abstrakcji generowaną przez element a względem relacji R. A = {a, b, c, d} R = {(a,a), (b,b), (a,b), (b,a), (c,c), (d,d), (c,d), (d,c)} [a] = {a, b} [b] = {a, b} [c] = {c, d} [d] = {c, d} Można pokazać, że zbiór klas abstrakcji posiada następujące własności: 1. a A [a] R = A 2. jeżeli <a,b> R, to [a] R = [b] R, i na odwrót 3. jeżeli [a] R [b] R, to [a] R [b] R = Uwaga: jeżeli mamy na zbiorze A zdefiniowaną relację równoważności, to relacja ta wyznacza podział zbioru na rozłączne podzbiory (klasy abstrakcji). Zbiór, którego elementami są wszystkie klasy abstrakcji nazywamy zbiorem ilorazowym zbioru A względem relacji R i oznaczamy A/ R. 8

9 Relacja równoważności służy do klasyfikacji zbioru obiektów. Przykład: - O: zbiór osób - R: binarna relacja na O, taka, że (a,b) R jeśli a i b są w tym samym wieku. + Zwrotna: tak + Symeryczna: tak + Przechodnia: tak [a] = {b O: a i b mają ten sam wiek} 9

10 Złożenie relacyjne (superpozycja): R1 R2 relacji R1, R2 zdefiniowanych na A jest relacją następującą: R 1 R 2 = {<a,c> istnieje b A takie, że <a,b> R 1 oraz <b,c> R 2 } Dla dowolnej liczby naturalnej n, n-krotnym złożeniem relacji R jest relacja Rn zdefiniowana indukcyjnie w sposób następujący: R0 = {<a,a> a A} Rn+1 = Rn R dla n = 0,1,2,... 10

11 Funkcje Niech A oraz B będą dwoma dowolnymi zbiorami. Funkcją albo odwzorowaniem z A w B nazywamy każdą relację binarną f A B, która posiada własność następującą: Dla każdego elementu a A istnieje dokładnie jeden element b B taki, że afb, albo inaczej: <a,b> f. W przypadku funkcji używamy najczęściej notacji prefiksowej/przedrostkowej pisząc f(a) = b, zamiast afb. Element a nazywamy argumentem funkcji zaś b wartością funkcji dla argumentu a. W celu zaznaczenia, że relacja f jest funkcją piszemy: f : A B Zapis ten będziemy nazywać sygnaturą funkcji. Zbiór A nazywamy dziedziną określoności f, zaś zbiór B - przeciwdziedziną f. Funkcje o wybranych własnościach: f jest różnowartościową (albo iniekcją) jeżeli f(a1) f(a2) dla dowolnych dwóch różnych elementów a1,a2 A. f jest surjekcją (albo funkcją na) jeżeli dla dowolnego b B istnieje taki element a A taki, że f(a)=b. f jest wzajemnie jednoznaczna, jeżeli jest iniekcją i surjekcją. Ogólnie, funkcja może mieć n argumentów (n 0). Sygnatura funkcji n-argumentowej ma postać: f : A1... An B 11

12 Algebry Algebrą jednorodzajową - krótko algebrą - nazywamy parę: gdzie <A, F> A jest dowolnym zbiorem, zwanym nośnikiem algebry, F jest rodziną funkcji zwanych operacjami albo działaniami, dowolna funkcja f F ma sygnaturę postaci f : An A (n 0). Jeżeli F = {f1,...,fm}, to algebrę zapisujemy często w postaci układu: <A, f1,...,fm> Przykłady : Algebry liczbowe: <N0, +, *, 0, 1> <Z, +, -, *, 0, 1> <Q, +, -, *, /, 0, 1> Algebra zbiorów <2A,,, \, > Algebrą wielorodzajową nazywamy układ: gdzie <A1,..., An, f1,..., fm> A1,..., An są dowolnymi zbiorami, nazywanymi nośnikami algebry, f1,..., fm są funkcjami o sygnaturach postaci fi : A1 a1... An an Aj a1,..., an są dowolnymi dodatnimi liczbami całkowitymi 12

13 Systemy relacyjne: Ogólnie, systemem relacyjnym jest układ: <A 1,..., A n, R 1,..., R k, f 1,..., f m > gdzie A 1,..., A n są dowolnymi zbiorami, nazywanymi nośnikami systemu, R 1,..., R k są relacjami o sygnaturach postaci R i A 1 a1... An an f 1,..., f m są funkcjami o sygnaturach postaci f i : A 1 a1... A an n A j Przykłady Systemami relacyjnymi - dokładniej algebrami wielorodzajowymi - są typy danych w językach programowania. Na przykład typ całkowity integer w Pascalu jest algebrą dwurodzajową: (Int, Bool, +, -, *, /, =, < ) gdzie: Int = {-N,..., 0,..., N}; Bool = {false, true} + : Int Int Int; - : Int Int Int * : Int Int Int / : Int Int Int = : Int Int Bool < : Int Int Bool 13

14 Ciągi i słowa Niech dany będzie zbiór A. Ciągiem skończonym elementów ze zbioru A o długości n nazywa się funkcję λ : {1,...,n} A. Ciąg λ zapisujemy w postaci: a 1...a n gdzie a 1 = f(1),..., a n = f(n), n 0. Jeżeli n = 0, to ciąg jest pusty i oznaczamy go symbolem ε. Ciąg nieskończony jest funkcją λ: N0 A. Ciąg taki zapisujemy a 0 a 1 a 2... jeżeli a i = λ(i) dla i N0. i jest indeksem elementu ai. Dla danego indeksu i skończony ciąg a 0...a i jest nazywa się prefiksem ciągu λ, a ciąg a i a i+1... postfiksem ciągu λ. Często wyróżniony zbiór symboli nazywa się alfabetem. Słowem nad alfabetem A nazywa się skończony ciąg elementów z A. Konkatenacją słów s 1 oraz s 2 nad alfabetem A, co zapisujemy s 1 s 2, nazywa się słowo, które powstaje przez dopisanie do słowa s 1 słowa s 2. 14

15 Słowo t jest podsłowem słowa s wtedy i tylko wtedy, gdy isnieją takie słowa s 1, s 2, że s = s 1 ts 2. Niech A będzie dowolnym alfabetem. Przez A k oznaczmy zbiór wszystkich słów o długości k (k = 1,2,...) nad alfabetem A, tzn. A k = {a 1 a 2... a k a i A oraz i = 1,..., k} Niech A 0 = {ε}, wówczas zbiór A* = U A k k = 0 jest zbiorem wszystkich skończonych ciągów (słów) nad alfabetem A. Językiem formalnym L nad alfabetem A nazywamy dowolny podzbiór A *, czyli L A *. 15

16 MOCE ZBIORÓW Def.: Zbiory X i Y nazywamy równolicznymi jeśli istnieje funkcja różnowartościowa f: X Y przekształcająca X na Y. Innymi słowy, f jest bijekcją. Fakt ten piszemy: X Y. Przykład: 1. Zbiory X i Y mają po n elementów 2. X = N, Y zbiór wszystkich liczb parzystych, wówczas funkcja f ma postać: f(n) = 2n dla każdego n N. 3. X = N, Y zbiór wszystkich liczb nieparzystych, wówczas funkcja f ma postać: f(n) = 2n+1 dla każdego n N. Własności: 1. X X dla każdego zbioru X 2. Jeśli X Y to Y X 3. (X Y) i (Y Z) to (X Z) jest więc relacją równoważności dla danej rodziny zbiorów. 16