0 Alfabet grecki 2. 1 Rachunek zdań Podstawowe definicje Wybrane tautologie rachunku zdań (kpn) Zadania...

Transkrypt

1 DB Wstęp do matematyki (ns) semestr zimowy 2018 SPIS TREŚCI Teoria w niniejszym skrypcie została opracowana na podstawie książki: R. Murawski, K. Świrydowicz, Wstęp do teorii mnogości, Wyd. Naukowe UAM, Poznań Spis treści 0 Alfabet grecki 2 1 Rachunek zdań Podstawowe definicje Wybrane tautologie rachunku zdań (kpn) Zadania Rachunek predykatów Podstawowe definicje Wybrane tautologie rachunku predykatów Zadania Algebra zbiorów Teoria Podstawowe definicje i fakty Działania na zbiorach Zadania Relacje Teoria Podstawowe definicje Relacje binarne i ich własności Relacje równoważności Zadania Funkcje Teoria Podstawowe definicje Operacje na funkcjach Obrazy i przeciwobrazy Zadania Relacje porządkujące Częściowy porządek Elementy wyróżnione Dobry porządek Zadania

2 DB Wstęp do matematyki (ns) semestr zimowy Alfabet grecki A, α alfa H, η eta N, ν ni T, τ tau B, β beta Θ, θ, ϑ theta Ξ, ξ ksi Υ, υ ypsilon Γ, γ gamma I, ι jota O, o omikron Φ, φ, ϕ phi [fi], δ delta K, κ kappa Π, π pi X, χ chi E, ε epsilon Λ, λ lambda P, ρ, ϱ rho Ψ, ψ psi Z, ζ dzeta M, µ mi Σ, σ sigma Ω, ω omega 1 Rachunek zdań 1.1 Podstawowe definicje 1. Zdanie w sensie logicznym to wyrażenie oznajmujące, które jest na tyle jednoznaczne, by móc określić czy jest ono prawdziwe lub fałszywe. 2. Wartości logiczne: prawda (oznaczamy symbolem 1) i fałsz (oznaczamy symbolem 0). 3. Język logiki: składnikami języka logiki są zdaniowe symbole elementarne (oznaczane przez p, q, r, p 1, p 2,... itd., tzw. zmienne zdaniowe), spójniki dwuargumentowe: koniunkcji, alternatywy, implikacji, równoważności oraz spójnik jednoargumentowy: negacji zwane spójnikami logicznymi i nawiasy (, ), [, ]. 4. Formuła języka rachunku zdań: Definicja 1.1. (i) Każda zmienna zdaniowa jest formułą języka rachunku zdań. (ii) Jeśli ϕ, ψ są formułami języka rachunku zdań, to napisy (ϕ), (ϕ) (ψ), (ϕ) (ψ), (ϕ) (ψ), (ϕ) (ψ) są formułami języka rachunku zdań. (iii) nie ma innych formuł języka rachunku zdań poza zmiennymi zdaniowymi i takimi formułami, które powstają dzięki zastosowaniu reguły (ii). 5. Schemat zdania wyrażony w języku rachunku zdań to formuła powstająca ze zdania przez konsekwentne zastąpienie zdań prostych zmiennymi zdaniowymi, a spójników międzyzdaniowych odpowiednimi spójnikami logicznymi. 6. Tautologia rachunku zdań lub prawo logiczne rachunku zdań to formuła języka rachunku zdań, która przy dowolnej interpretacji zmiennych zdaniowych zmienia się w zdanie prawdziwe. 7. Spójniki logiczne: Tabelki, które określają sens poszczególnych spójników logicznych: p q p q p q p q p q p p p q p/q Symbolika beznawiasowa/prefiksowa/łukasiewicza N C K A E

3 DB Wstęp do matematyki (ns) semestr zimowy Warunek konieczny i dostateczny Definicja 1.2. Niech prawdziwe będzie zdanie warunkowe jeśli p, to q. Wówczas to, o czym mówi zdanie p jest warunkiem wystarczającym dla tego, o czym mówi zdanie q, a to o czym, mówi q, jest warunkiem koniecznym dla tego, o czym mówi p. Mówi się wtedy skrótowo, że p jest warunkiem dostatecznym dla q, a q warunkiem koniecznym dla p. 10. Schemat wnioskowania wyrażony w języku rachunku zdań to para uporządkowana < X, φ >, gdzie X jest zbiorem formuł rachunku zdań, a φ jest formułą. Jeśli X = {φ 1, φ 2,..., φ n } to schemat wnioskowania można zapisać jako: < {φ 1, φ 2,..., φ n }, φ > lub φ 1, φ 2,..., φ n φ, a częściej jeszcze używa się zapisu φ 1 φ 2. φ n φ Formuły φ 1, φ 2,..., φ n nazywamy schematami przesłanek, a formułę φ schematem wniosku. Definicja 1.3. Schemat < {φ 1, φ 2,..., φ n }, φ > jest niezawodny wtedy i tylko wtedy, gdy [(φ 1 ) (φ 2 )... (φ n ) (φ)] jest tautologią. Niezawodne schematy wnioskowania nazywa się również regułami logicznymi. 1.2 Wybrane tautologie rachunku zdań 1. p p prawo tożsamości 2. p p prawo wyłączonego środka 3. (p p) prawo sprzeczności 4. p p prawo podwójnej negacji 5. (p q) ( q p) prawo transpozycji 6. (p q) ( p q) pierwsze prawo De Morgana 7. (p q) ( p q) drugie prawo De Morgana 8. (p q) ( p q) definicja implikacji za pomocą alternatywy i negacji 9. (p q) (p q) definicja implikacji za pomocą koniunkcji i negacji 10. (p q) (p q) prawo negowania implikacji 11. (p q) ((p q) (q p)) prawo przekształcenia równoważności na implikacje 12. (p q) (q p) prawo przemienności koninkcji 13. (p q) (q p) prawo przemienności alternatywy 14. (p (q r)) ((p q) r) prawo łączności koniunkcji 15. (p (q r)) ((p q) r) prawo łączności alternatywy 16. p (q r) (p q) (p r) prawo rozdzielności koniunkcji względem alternatywy 17. p (q r) (p q) (p r) prawo rozdzielności alternatywy względem koniunkcji 18. (p q) (q r) (p r) prawo sylogizmu hipotetycznego 19. (p q) (q r) (p r) sylogizm hipotetyczny koniunkcyjny dla równoważności 20. ((p q) r) (p (q r)) prawo eksportacji 21. (p (q r)) ((p q) r) prawo importacji 1.3 (kpn) Formuła jest w koniunkcyjnej postaci normalne (kpn), jeśli ma postać: (ϕ 1 ) (ϕ 2 )... (ϕ n ) oraz dla dowolnego i = 1, 2,..., n, ϕ i jest alternatywą elementarną (tzn. ma postać: (ψ i1 ) (ψ i2 )... (ψ imi ), gdzie ψ ik jest zmienną zdaniową lub jej negacją (literałem)).

4 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 1.1. Dla podanych zdań utwórz schemat w języku rachunku zdań. (d) (e) (f) (g) (h) (i) Jeśli ktoś kradnie drewno w lesie lub poluje na zwierzynę łowną w okresie ochronnym, to podlega karze. Przyjąłeś fałszywe założenia lub popełniłeś błąd w rozumowaniu. Rozumiesz treść mojej wypowiedzi wtedy i tylko wtedy, gdy potrafisz wyrazić ją własnymi słowami. Jeżeli nieprawda, że twierdzenia matematyki mogą okazać się fałszywe, to nieprawda, że twierdzenia logiki mogą okazać się fałszywe. Nieprawda, że jeżeli spory filozoficzne są nierozstrzygalne, a uczeni biorą w nich udział, to filozofia hamuje postęp w nauce. Jeżeli dwa trójkąty mają parami równe boki lub parami równe kąty, to są one przystające. Jeżeli nie jest prawdą, że albo prosta l jest równoległa do prostej m albo prosta p nie jest równoległa do prostej m, to albo prosta l nie jest równoległa do prostej m, albo prosta p jest równoległa do prostej m. (2 interpretacje) Będziesz matematykiem lub będziesz informatykiem i założysz firmę komputerową. (5 interpretacji) Będziesz matematykiem lub będziesz informatykiem i założysz firmę komputerową wtedy i tylko wtedy, gdy nie poświęcisz się pracy nauczycielskiej. Zadanie 1.2. Dla podanych zdań utwórz schemat w języku rachunku zdań. Jeśli czytasz swobodnie po angielsku, to o ile nie potrafisz mówić w tym języku, to znasz angielski biernie. Polubisz logikę i uznasz ją za łatwą, jeśli nie masz złych wspomnień z lekcji matematyki. Nie posiadasz gruntownej wiedzy o języku, jeśli słabo znasz gramatykę i nigdy nie uczyłeś się logiki. Zadanie 1.3. Które z poniższych zdań są zdaniami w sensie logicznym? Paryż jest stolicą Francji. Wszyscy ludzie są wzrostu powyżej 1,6 m. Jutro będzie padał śnieg. (d) Studiowanie matematyki zajmuje 5 lat. (e) Tydzień temu Polska wygrała z USA. Zadanie 1.4. Zdefiniować: koniunkcję za pomocą alternatywy i negacji, alternatywę za pomocą implikacji i negacji, negację, koniunkcję, alternatywę, implikację i równoważność za pomocą dysjunkcji. Zadanie 1.5. Zapisz podane zdania w symbolice prefiksowej (Łukasiewicza): (d) (e) p ( q r), (p r) [(q r) (p r)], p (q r) (p q) (p r), (p q) ( p q), p [( q r) (p q)]. Zadanie 1.6. Zapisz podane zdania w symbolice infiksowej: (d) (e) CCKpqrCpCqr, CApqCKN rpkrq, CKpCqrCKN pqr, CCpAqrCpKqr, AKCpqCprCpKqr,

5 DB Wstęp do matematyki (ns) semestr zimowy (f) CAKpqrCpCN qn r. Zadanie 1.7. Sprawdź metodą zero-jedynkową, czy podane formuły są tautologiami. p p p q (p q) ( p q) (d) (p q) ( p q) (e) p (q r) (p q) (p r) (f) [(p q) (r s)] [(p r) (q s)] (g) [(p r) (q s)] [(p q) (r s)] (h) [(p q) (q r)] [ p ( q r)] Zadanie 1.8. Sprawdź metodą skróconą, czy podane formuły są tautologiami. [(p q) (s q)] (s p) [(p q) (p r)] [p (q (r s))] [(p q) (r s)] [(p r) (q s)] (d) (p q) (q r) (p r) (e) (p q r) (p r q) (f) (p q) ( p q) (g) ((p q) q) p (h) (p q) (p ( q p)) (i) ((p q) p) q Zadanie 1.9. Czy prawdziwe są następujące zdania: (d) (e) Jeżeli z faktu, że wszystkie boki trójkąta ABC są równe wynika, że wszystkie kąty trójkąta ABC są równe, i trójkąt ABC ma nierówne kąty, to ma on również nierówne boki. Jeśli figura A jest czworokątem i A ma wszystkie kąty równe, to z faktu, iż A jest czworokątem wynika, że A ma wszystkie boki równe. Jeśli liczba a dzieli się przez 3 i dzieli się przez 5, to z faktu, że a nie dzieli się przez 7 wynika, że a dzieli się przez 3. Jeżeli Jan nie zna logiki, to jeśli Jan zna logikę, to urodził się w IV wieku p.n.e. Jan zna logikę wtedy i tylko wtedy, gdy nieprawdą jest, że nieprawdą jest, że Jan zna logikę. Zadanie Wskaż warunek konieczny i dostateczny. Jeżeli liczba kończy się na cyfrę 2 lub 4, to liczba jest parzysta. Każdy romb jest czworokątem. W dowolnym trójkącie prostokątnym suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej tego trójkąta. (tw. Pitagorasa) (d) Jeśli dane są trzy dodatnie liczby a, b, c takie, że a 2 + b 2 = c 2, to istnieje trójkąt o bokach długości a, b, c, a kąt między bokami o długości a i b jest prosty. Zadanie 1.11 (studia niestacjonarne). Sprawdź niezawodność następujących wnioskowań: Jeśli Jan nie będzie grał systematycznie na loterii, to nie wygra. Jeśli Jan będzie grał systematycznie na loterii, to musi znaleźć dodatkowe źródło dochodów. Jeśli Jan nie wygra na loterii, to też musi znaleźć dodatkowe źródło dochodów. A zatem musi znaleźć dodatkowe źródło dochodów. Jeśli Marta nie będzie schlebiała Piotrowi, to straci posadę. Jeśli Marta straci posadę, to popadnie w kłopoty finansowe. Jeśli Marta będzie schlebiała Piotrowi, to straci dobrą opinię. Zatem Marta wpadnie w kłopoty finansowe lub straci dobrą opinię.

6 DB Wstęp do matematyki (ns) semestr zimowy (d) Jeżeli Artur uczy się logiki, to jeżeli jego poglądy są wewnętrznie sprzeczne, to Artur zmieni swe poglądy. Jeśli Artur zmieni swe poglądy, to straci autorytet. Jeżeli zatem poglądy Artura są wewnętrznie sprzeczne i Artur nie uczy się logiki, to Artur nie straci autorytetu. Jeśli piękno jest wyłącznie własnością ciała, to anioły nie są piękne i idee nie są piękne. Anioły są piękne. Zatem, jeśli idee są piękne, to piękno nie jest wyłącznie własnością ciała. Zadanie 1.12 (studia niestacjonarne). Sprawdzić, które z poniższych formuł są tautologiami rachunku zdań sprowadzając do kpn: (p q) p q [p (q r)] (p q r) (p q) ( p q) (d) (p q) (r p p q) (e) (p q) (r p r q) (f) (p q) ( p q) (g) (h) (i) (j) (k) (l) (p q) ( q p) p q p [q ( p r)] p [q (q p)] p [q ( p q)] p [(q p) (q p)]

7 DB Wstęp do matematyki (ns) semestr zimowy Rachunek predykatów 2.1 Podstawowe definicje 1. Nazwa indywidualna to taka nazwa, która może występować jako podmiot w zdaniu podmiotowo-orzecznikowym, tj. P jest O (P podmiot, O orzecznik). 2. Nazwa generalna to taka nazwa, która może występować jako orzecznik w zdaniu podmiotowo-orzecznikowym. 3. Predykat jednoargumentowy to wyrażenie, które z jedną nazwą indywidualną tworzy zdanie, np. jest zielony. 4. Predykat dwuargumentowy to wyrażenie, które po uzupełnieniu dwiema nazwami indywidualnymi tworzy zdanie, np. jest bardziej zielony niż. 5. Predykat n-argumentowy to wyrażenie, które po uzupełnieniu n nazwami indywidualnymi tworzy zdanie. 6. Symbol funkcyjny to nazwa indywidualna, która jest zbudowana z nazw prostszych. Np. symbole funkcyjne jednoargumentowe: ojciec..., starszy brat..., sin, symbole funkcyjne dwuargumentowe: +,, itd. 7. Kwantyfikatory to symbole zastępujące wyrażenia: dla każdego..., tzw. duży kwantyfikator, oznaczany (lub ), istnieje... lub dla pewnego..., tzw. mały kwantyfikator, oznaczany (lub ). Definicja 2.1. Następujące symbole są znakami języka rachunku predykatów: a 1, a 2, a 3,... stałe indywiduowe x 1, x 2, x 3,... zmienne indywiduowe P 1 1, P 1 2, P 1 3,... predykaty jednoargumentowe P 2 1, P 2 2, P 2 3,... predykaty dwuargumentowe... P n 1, P n 2, P n 3,... predykaty n-argumentowe... F 1 1, F 1 2, F 1 3,... symbole funkcyjne jednoargumentowe F 2 1, F 2 2, F 2 3,... symbole funkcyjne dwuargumentowe... F n 1, F n 2, F n 3,... symbole funkcyjne n-argumentowe...,,,, spójniki logiczne, kwantyfikatory ( ), [ ] znaki pomocnicze, tj. nawiasy przecinek. Definicja 2.2. (i) Każda zmienna indywiduowa i stała indywiduowa jest termem. (ii) Jeśli α 1, α 2,..., α n są termami, to F n k (α 1, α 2,..., α n ) jest termem (dla dowolnych k, n). (iii) Nie ma innych termów poza wymienionymi w punkcie (i) oraz takich, które mogą powstać według reguły (ii). Definicja 2.3. Formułą zdaniową atomową jest każde wyrażenie postaci P n k (α 1, α 2,..., α n ), gdzie α 1, α 2,..., α n są dowolnymi termami. Definicja 2.4. (i) Każda formuła zdaniowa atomowa jest formułą zdaniową rachunku predykatów. (ii) Jeśli φ, ψ są formułami zdaniowymi rachunku predykatów, to (φ), (φ) (ψ), (φ) (ψ), (φ) (ψ), (φ) (ψ), x i (φ) i x j (φ) są formułami zdaniowymi rachunku predykatów.

8 DB Wstęp do matematyki (ns) semestr zimowy (iii) Nie ma innych formuł zdaniowych rachunku predykatów poza formułami atomowymi i takimi, które powstają dzięki zastosowaniu reguły (ii). Definicja 2.5. Jeśli formuła ma postać x i (φ) lub x i (φ), to mówimy, że odpowiedni kwantyfikator wiąże zmienną x i. Definicja 2.6. Wyrażenie φ w formule x(φ) oraz w y(φ) nazywamy zasięgiem odpowiedniego kwantyfikatora. Definicja 2.7. Zmienna x i występująca w danym miejscu w formule zdaniowej jest w tym miejscu związana wtedy i tylko wtedy, gdy występuje w zasięgu kwantyfikatora, bezpośrednio po którym napisana jest zmienna x i lub jest napisana bezpośrednio po jakimś kwantyfikatorze. Zmienna występująca w danej formule jest związana w tej formule, gdy jest związana w każdym miejscu, w którym występuje w tej formule. Jeśli zmienna występująca w danej formule nie jest związana w danej formule, nazywamy ją zmienną wolną. Definicja 2.8. Zdaniem języka rachunku predykatów nazywamy formułę zdaniową nie zawierającą żadnych zmiennych wolnych. Definicja 2.9. Tautologią rachunku predykatów albo prawem rachunku predykatów jest formuła zdaniowa języka rachunku, prawdziwa przy dowolnym rozumieniu występujących w niej predykatów, symboli funkcyjnych, stałych indywiduowych i zmiennych. 2.2 Wybrane tautologie rachunku predykatów 1. x φ(x) x φ(x) prawo De Morgana 2. x φ(x) x φ(x) prawo De Morgana 3. x (φ(x) ψ(x)) x φ(x) x ψ(x) prawo rozdzielności dużego kwantyfikatora względem koniunkcji 4. x (φ(x) ψ(x)) x φ(x) x ψ(x) prawo rozdzielności małego kwantyfikatora względem alternatywy 5. x φ(x) x ψ(x) x (φ(x) ψ(x)) prawo rozdzielności dużego kwantyfikatora względem alternatywy 6. x (φ(x) ψ(x)) x φ(x) x ψ(x) prawo rozdzielności małego kwantyfikatora względem koniunkcji 7. x φ(x) φ(x) dictum de omni 8. φ(x) x φ(x) dictum de singulo 9. x φ(x) x φ(x)

9 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 2.1. W podanych wyrażeniach wskaż zasięg kwantyfikatorów: x R(x) x y ((P (x) S(x, y)) z Q(z)) x (R(x) y (P (y) z S(y, z))) x y z (R(x, w, z) S(x, w, y)) (d) x y z R(x, w, z) S(x, w, y) Zadanie 2.2. Czy następujące formuły są zdaniami języka rachunku predykatów: P1 1 (x) x z P1 2 (x, y) x P1 1 (x) P2 1 (x) x (P1 1 (x) P2 1 (x)) (d) y x (P1 1 (y) z (P1 2 (z, y) w P2 2 (w, y))) Zadanie 2.3. Napisz zaprzeczenia poniższych zdań x P (x) x (P (x) Q(x)) x y (P (y) z R(x, z)) (d) x (P (x) y ( P (y) Q(x, y))) (e) x y R(x, y) Zadanie 2.4. Zbuduj schematy poniższych zdań w rachunku predykatów. (d) (e) (f) (g) (h) (i) (j) (k) (l) (m) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) Istnieją krasnoludki. Wszystko jest piękne. Wszyscy matematycy są muzykalni. Tylko ludzie są filozofami. Ojciec Gawła jest astronomem. Niektórzy ludzie mają koty. Nic nie jest doskonałe. Niektórzy ludzie kochają wszystkich. Wszyscy ludzie się kochają. Nie wszystko jest złotem co się świeci. Ktoś zwiedził wszystkie kontynenty. Każdy człowiek ma ojca i matkę. Każdy student zdał pewien egzamin. Ktoś nie jest uczciwy. Wszyscy są uczciwi. Nie ma nikogo, kto byłby uczciwy. Nie wszyscy są uczciwi. Wszyscy są nieuczciwi Pewien mężczyzna jest ojcem. Niektórzy mężczyźni nie są ojcami. Wszyscy ojcowie są mężczyznami. Tylko ojcowie są mężczyznami. Wszystkie kobiety są matkami. Żadna kobieta nie jest mężczyzną.

10 DB Wstęp do matematyki (ns) semestr zimowy (y) Tylko osoby nie będące matkami są ojcami. (z) Wszyscy wykładający logikę są złośliwi i wymagający. (a1) Nie ma niezłośliwych wykładowców logiki, którzy dbaliby o dobro studentów. (b1) Żaden wykładowca logiki, który dba o dobro studentów, nie jest złośliwy. (c1) Tylko wykładowcy logiki są złośliwi i wymagający. (d1) Niektórzy wykładowcy logiki dbają o dobro studentów, mimo że są złośliwi lub wymagający. (e1) Nikt, kto albo jest wymagający albo dba o dobro studentów, nie wykłada logiki. (f1) Tylko wykładowcy logiki lub filozofii dbają o dobro studentów. Zadanie 2.5. Napisz schematy następujących zdań: (d) (e) (f) (g) Istnieje co najmniej jedna mrówka. Istnieje co najwyżej jedna mrówka. Istnieje dokładnie jedna mrówka. Istnieją co najmniej dwie mrówki. Istnieją co najwyżej dwie mrówki. Istnieją dokładnie dwie mrówki. Istnieją dokładnie trzy mrówki. Zadanie 2.6. Zakładając, że zmienne x, y R i korzystając z predykatów =, <,, a także symboli funkcyjnych +,, zapisz następujące zdania: (d) (e) Funkcja f(x) ma co najmniej jedno miejsce zerowe. Funkcja f(x) ma co najwyżej jedno miejsce zerowe. Funkcja f(x) ma dokładnie jedno miejsce zerowe. Funkcja f(x) ma co najmniej dwa miejsca zerowe. Funkcja f(x) ma dokładnie dwa miejsca zerowe. Zadanie 2.7. Stosując kwantyfikatory o ograniczonym zakresie, przy założeniach poczynionych w poprzednim zadaniu, mając dodatkowo do dyspozycji predykat n N (n jest liczbą naturalną), zapisz następujące zdania: Ciąg (a n ) jest rosnący. Ciąg (a n ) przyjmuje wartości dodatnie. Ciąg (a n ) jest od pewnego miejsca stały.

11 DB Wstęp do matematyki (ns) semestr zimowy Algebra zbiorów 3.1 Teoria Podstawowe definicje i fakty 1. Zasada ekstensjonalności: Dwa zbiory są równe wtedy i tylko wtedy, gdy mają dokładnie te same elementy. Symbolicznie możemy zapisać: A = B x (x A x B). 2. Zbiory A i B są różne wtedy i tylko wtedy, gdy istnieje obiekt x taki, że jest on elementem zbioru A, ale nie należy do zbioru B lub na odwrót. Symbolicznie: A B x [(x A x / B) (x / A x B)]. 3. Relacja inkluzji/zawierania się zbiorów oznaczamy symbolem. Definiujemy ją następująco: A B x (x A x B). Lemat 3.1. Relacja inkluzji ma następujące własności: (i) zwrotność, tzn. A A, (ii) antysymetria, tzn. A B B A A = B, (iii) przechodniość, tzn. A B B C A C. 4. Inkluzja właściwa oznaczana. Definiujemy ją następująco: A B A B A B. Lemat 3.2. Relacja inkluzji właściwej ma następujące własności: (i) przeciwzwrotność, tzn. (A A), (ii) przeciwsymetria, tzn. A B (B A), (iii) przechodniość, tzn. A B B C A C. 5. Zbiór pusty definiujemy następująco: := {x : x = x x x}. UWAGA 1. Zauważmy, że dla każdego zbioru A, mamy: A. 6. Zbiór potęgowy zbioru A to rodzina wszystkich podzbiorów danego zbioru A. Oznaczamy symbolem P(A) lub 2 A. 7. Mając dwa elementy a, b A możemy utworzyć parę uporządkowaną (a, b) o poprzedniku a i następniku b. 8. Dwie pary uporządkowane (a, b) i (c, d) są równe wtedy i tylko wtedy, gdy a = c i b = d. 9. Niech A i B będą dowolnymi niepustymi zbiorami. Iloczynem kartezjańskim albo produktem kartezjańskim zbiorów A i B nazywamy zbiór A B := {(a, b) : a A, b B}. 10. Jeśli zbiory A i B są skończone np. m i n-elementowe odpowiednio, to iloczyn A B ma m n elementów.

12 DB Wstęp do matematyki (ns) semestr zimowy Działania na zbiorach Definicja Sumą zbiorów A i B nazywamy zbiór A B spełniający następujący warunek: czyli A B := {x : x A x B}. x A B x A x B, 2. Przekrojem/iloczynem/częścią wspólną zbiorów A i B nazywamy zbiór A B spełniający warunek: czyli A B = {x : x A x B}. x A B x A x B, 3. Różnicą zbiorów A i B nazywamy zbiór A \ B spełniający warunek: czyli A \ B := {x : x A x / B}. x A \ B x A x / B, 4. Różnicą symetryczną zbiorów A i B nazywamy zbiór A B spełniający warunek: x A B (x A x / B) (x / A x B), czyli A B := {x : (x A x / B) (x / A x B)}. Zatem A B = (A \ B) (B \ A). 5. Zbiory A i B nazywamy rozłącznymi, wtedy i tylko wtedy, gdy: A B =. 6. Dopełnieniem zbioru A w zbiorze (względem zbioru) (uniwersum) U nazywamy zbiór A spełniający równość: A = U \ A = {x U : x / A}. Lemat 3.3. Jeśli zbiory A i B są podzbiorami ustalonego zbioru U, to A B, A B, A \ B oraz A B są także zawarte w U, czyli zbiór potęgowy P(U) jest zamknięty ze względu na działania sumy, przekroju, różnicy \ oraz różnicy symetrycznej. Twierdzenie Dla dowolnych zbiorów A, B, C zachodzą następujące własności: zwane prawami De Morgana. A \ (B C) = (A \ B) (A \ C) oraz A \ (B C) = (A \ B) (A \ C) 2. Jeśli U jest danym uniwersum oraz zbiory A i B są zawarte w U, to B \ A = B A. 3. Dla dowolnych podzbiorów ustalonego uniwersum U zachodzą następujące równości: (1) A B = B A, (1 ) A B = B A, (2) A (B C) = (A B) C, (2 ) A (B C) = (A B) C, (3) A (B C) = (A B) (A C), (3 ) A (B C) = (A B) (A C), (4) A = A, (4 ) A U = A, (5) A U = U, (5 ) A =, (6) = U, (6 ) U =, (7) (A B) = A B, (7 ) (A B) = A B. Prawa (7) i (7 ) nazywamy prawami De Morgana.

13 DB Wstęp do matematyki (ns) semestr zimowy Jeśli A = B, to B = A, gdzie A, B są zawarte w pewnym uniwersum U. 5. Dodawanie i mnożenie zbiorów są działaniami idempotentnymi, tzn. dla dowolnego zbioru A zachodzi: A A = A oraz A A = A. Spełnione są też następujące pochłaniania: A (A B) = A oraz A (A B) = A. 6. Mamy następujące inkluzje: oraz A B A i A B B A A B i B A B. 7. Dla dowolnych zbiorów A i B następujące warunki są równoważne: (i) A B, (ii) A B = B, (iii) A B = A.

14 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 3.1. Obliczyć A B, A B, A \ B, B \ A oraz A B dla następujących zbiorów : A = {{a, {b}}, c, {c}, {a, b}}, B = {{a, b}, c, {b}} A = [0, 1) {5} R, B = (, 0) [1, 5) R A = {x N : 2 x}, B = {x N : 2 (x + 1)} (d) A = {x N : x < 3}, B = {x N : x 3} (e) A = {x R : x < 2}, B = {x N : x < 2} (f) A = {x R : x < 3}, B = {x R : x < 2} (g) A = ( 5, 2) {3} R, B = { 3} [1, ) R Zadanie 3.2. Zbadaj, czy pomiędzy zbiorami A i B zachodzi w którąś ze stron relacja inkluzji: A =, B = {a, b} A = {a}, B = {{a}} A = {x N : x 3 > 3}, B = {x N : x 3 > 7} (d) A zbiór kwadratów, B zbiór równoległoboków Zadanie 3.3. Udowodnij następujące implikacje: A B A C B C A B A C B C A B C \ B C \ A Zadanie 3.4. Korzystając z aksjomatu ekstensjonalności uzasadnij, że zachodzą następujące równości zbiorów: (A B) \ C = (A \ C) (B \ C) A \ (B \ C) = (A \ B) (A C) A \ (B C) = (A \ B) \ C (d) (A \ B) C = A (B C) (e) A B = (A B) \ (A B) (f) A (B C) = (A B) (A C) (g) A (B \ A) = Zadanie 3.5. Znajdź iloczyn kartezjański A B oraz B A następujących zbiorów: A = {a, b}, B = {a, c, d} A = {x R : 0 < x 1}, B = {x R : 0 x < 2} A = {x R : 0 < x}, B = {x R : 0 < x} (d) A = {x R : x < 1 1 < x}, B = {x R : 0 < x 2 } (e) A = {x R : 0 < x < 1 2 < x 3}, B = {x R : 1 < x 2 3 < x 4} Zadanie 3.6. Korzystając z aksjomatu ekstensjonalności uzasadnij, że zachodzą następujące równości zbiorów: A (B C) = (A B) (A C) A (B C) = (A B) (A C) A (B \ C) = (A B) \ (A C) (d) (A B) C = (A C) (B C) (e) (A B) (C D) = (A C) (B D) (f) (A B) \ (C D) = [(A \ C) B] [A (B \ D)]

15 DB Wstęp do matematyki (ns) semestr zimowy Relacje 4.1 Teoria Podstawowe definicje Definicja 4.1. Niech n 2. Relacja n-członowa to dowolny zbiór, którego elementami są n-ki uporządkowane. Relacja n-członowa R jest relacją w zbiorze X, gdy R X... X. }{{} Gdy n = 2, to relację nazywmy binarną, gdy n = 3, to nazywmy ją relacją ternarną Relacje binarne i ich własności n Niech R będzie relacją binarną. UWAGA 2. Zamiast pisać x, y R, piszemy: xry. Definicja 4.2. Niech R X Y. Dziedziną lewostronną lub po prostu dziedziną relacji R nazywamy zbiór: D R := {x X : y (xry)}, a dziedziną prawostronną lub przeciwdziedziną nazywamy zbiór: DR := {y Y : x (xry)}. Definicja 4.3 (Własności relacji binarnych w zbiorze X). Niech R X X. Mówimy, że R jest: 1. zwrotna, gdy x X (xrx), 2. przeciwzwrotna, gdy x X (xrx), 3. niezwrotna, gdy x X (xrx) lub równoważnie x X (xrx), 4. symetryczna, gdy x X y X (xry yrx), 5. przeciwsymetryczna lub asymetryczna, gdy x X y X (xry yrx), 6. antysymetryczna, gdy x X y X (xry yrx x = y), 7. przechodnia, gdy x X y X z X (xry yrz xrz), 8. spójna, gdy x X y X (xry yrx x = y), 9. diagonalna, gdy x X [xrx y X (y x xry yrx)], 10. totalna, gdy x X y X (xry). Definicja 4.4 (Operacje na relacjach binarnych). Niech R, S X X. 1. Suma relacji R i S R S jest określona następująco: x(r S)y xry xsy. 2. Przekrój relacji R i S R S jest określony następująco: x(r S)y xry xsy. 3. Różnica relacji R i S R \ S jest określona następująco: x(r \ S)y xry xsy.

16 DB Wstęp do matematyki (ns) semestr zimowy Różnica symsetryczna relacji R i S R S jest określona następująco: x(r S)y (xry xsy) (xsy xry). 5. Dopełnienie relacji R R jest określone następująco: x(r )y xry. 6. Złożenie lub iloczyn względny relacji R i S R S, to relacja określona następująco: x(r S)y z X (xrz zsy). Definicja 4.5. Konwersem lub relacją odwrotną do relacji R X X jest relacja R określona wzorem: Relacje równoważności x Ry yrx Definicja 4.6. Niech R X X. R jest relacją równoważności, gdy jest zwrotna, symetryczna i przechodnia. Definicja 4.7. Niech R będzie relacją równoważności w zbiorze X i niech x X. Klasą abstrakcji lub klasą równoważności elementu x względem relacji R jest zbiór zdefiniowany następująco: [x] R := {y X : xry}. Twierdzenie 4.1. Niech R będzie relacją równoważności w niepustym zbiorze X. Wtedy dla dowolnych elementów x, y X: 1. x [x] R, 2. [x] R = [y] R wtedy i tylko wtedy, gdy xry, 3. jeśli [x] R [y] R, to [x] R [y] R =. Twierdzenie 4.2 (Zasada abstrakcji). Każda relacja równoważności R w niepustym zbiorze X ustala podział zbioru X na rozłączne i niepuste podzbiory (klasy abstrakcji) w taki sposób, że dwa elementy x, y zbioru X należą do tego samego podzbioru wtedy i tylko wtedy, gdy xry. UWAGA 3. Zbiór wszystkich klas abstrakcji relacji równoważności R w zbiorze X oznacza się przez X/R.

17 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 4.1. Wyznacz dziedzinę i przeciwdziedzinę relacji R N N. xry y = x + 1, xry y < x 2, xry y < 3x. Zadanie 4.2. Znaleźć R S, S R, R R, R S T, R S, R S, R \ S następujących relacji określonych w {a, b, c, d} {a, b, c, d}: R := {(a, b), (b, a), (c, d), (d, a), (c, a)}, S := {(a, c), (c, d), (d, d)}, T := {(a, a), (b, b), (d, c)}. Narysować diagramy i macierze odpowiednich relacji. Zadanie 4.3. Niech R X 2. Pokazać, że: jeśli R jest asymetryczna, to R jest przeciwzwrotna. jeśli R jest przeciwzwrotna i przechodnia, to R jest asymetryczna. Zadanie domowe 4.4. Czy relacja diagonalna jest symetryczna? Czy jest przechodnia? Czy jest antysymetryczna? Zadanie domowe 4.5. Scharakteryzuj własności następujących relacji, określonych w zbiorze {a, b, c, d} 2. (d) {(a, a), (b, b), (c, c), (d, d)}, {(a, b), (b, a), (c, c)}, {(a, b), (b, c), (c, a)}, {(a, b), (b, a), (c, d), (d, c)}. Narysuj diagramy i macierze tych relacji. Zadanie 4.6. Złożeniem jakich relacji jest relacja x(r S)y x jest teściem y, x(r S)y x jest szwagrem y (szwagier=mąż siostry). Zadanie 4.7. Jakie własności mają relacje opisane na zbiorze ludzi: relacja bycia przeciwnej płci, relacja bycia o rok starszym. Zadanie 4.8. Wykazać, że relacja R n przystawania modulo n, dla n N, określona w zbiorze Z wzorem: a R n b a b (mod n) n a b, dla dowolnych a, b Z jest relacją równoważności. Wyznaczyć klasy abstrakcji tej relacji. Wypisać kilka elementów należących do klasy [ 3] Rn, dla n = 5. Zadanie 4.9. Zdefiniować relację równoważności odpowiadającą następującym podziałom zbioru A: A = {a, b, c, d, e}; podział B = {a, b, c}, C = {d, e}, A = Z; podział B = N, C = {0}, D = {x Z : x B}, A = C (rozumiany jako zbiór punktów płaszczyzny R 2 ); podział dany jest przez okręgi o środku w punkcie (0, 0) oraz punkt (0, 0).

18 DB Wstęp do matematyki (ns) semestr zimowy Zadanie Sprawdzić, że relacja R R 2 jest relacją równoważności, gdzie xry (x y) Q i znaleźć [ 2] R oraz [1] R, xry z Z (x y) = z i znaleźć [ 3] R oraz [0] R. Zadanie Scharakteryzuj własności następujących relacji: R N 2 ; xry 2 (x + y), R N 2 ; xry x y, R Z 2 ; xry x = 2 y = 3, (d) R relacja prostopadłości w zbiorze P wszystkich prostych płaszczyzny Euklidesowej R 2. (e) R N 2 N 2 ; (a, b)r(c, d) a + d = b + c, (f) R R 2 ; xry x 2 + y 2 = 1, (g) R Z 2 ; xry 3 (x y), (h) R R 2 ; xry x = y, (i) R R 2 ; xry x + y = 2, (j) R R 2 ; xry x y = 2, (k) R R 2 ; xry x + y = 3, (l) R {1, 2,..., 15, 16} 2 ; xry 4 (x 2 + y 2 ). Jeśli któraś z powyższych relacji jest relacją równoważności, wyznaczyć klasy abstrakcji.

19 DB Wstęp do matematyki (ns) semestr zimowy Funkcje 5.1 Teoria Podstawowe definicje Definicja 5.1. Relację R X Y nazywamy funkcją, gdy spełnione są następujące dwa warunki: x D R y Y (xry) oraz x D R y Y z Y (xry xrz y = z), które możemy równoważnie zapisać jednym warunkiem: UWAGA 4. x D R! y Y (xry) dom(f) := D f zbiór argumentów lub dziedzina funkcji f, rng(f) := Df zbiór wartości lub przeciwdziedzina funkcji f. Jeśli dane są dwie funkcje f, g, takie że f g, to funkcja g nazywa się przedłużeniem funkcji f, a funkcja f obcięciem funkcji g. Jeśli f X Y jest funkcją oraz dom(f) = X, to piszemy f : X Y i mówimy, że f odwzorowuje lub przekształca zbiór X w zbiór Y. Definicja 5.2. Niech f : X Y i niech A X. Obcięciem funkcji f do zbioru A nazywamy funkcję f A := f (A Y ). (Często oznaczamy takowe obcięcie jako f A ). Definicja 5.3. Funkcję f : X Y nazywamy: 1. różnowartościową lub iniekcją, gdy x 1 X x 2 X [x 1 x 2 f(x 1 ) f(x 2 )]. Powyższy warunek jest równoważny następującemu warunkowi Piszemy wtedy f : X 1 1 Y. 2. funkcją na zbiór Y lub suriekcją, gdy: Piszemy wówczas f : X na Y. x 1 X x 2 X [f(x 1 ) = f(x 2 ) x 1 = x 2 ]. y Y x X [y = f(x)]. 3. bijekcją, gdy f jest iniekcją i suriekcją. Piszemy wtedy f : X 1 1 na Y Operacje na funkcjach Definicja 5.4. Niech f : X 1 1 w następujący sposób: na Y. Funkcją odwrotną do funkcji f jest funkcja f 1 : Y X zdefiniowana x = f 1 (y) y = f(x). Definicja 5.5. Niech f : X Y oraz g : Y Z. Złożeniem lub superpozycją funkcji f i g nazywamy funkcję g f : X Z określoną następującym wzorem: (g f)(x) = g(f(x)). (Choć podręcznik oznacza takowe złożenie f g, gdyż oznaczenie to nawiązuje do pojęcia złożenia relacji, ponieważ składanie funkcji to nic innego jak składanie relacji f i g). Twierdzenie 5.1. Niech f : X Y oraz g : Y Z. Wówczas jeśli f i g są iniekcjami (odpowiednio suriekcjami, bijekcjami), to g f jest również iniekcją (odpowiednio suriekcją, bijekcją).

20 DB Wstęp do matematyki (ns) semestr zimowy Obrazy i przeciwobrazy Definicja 5.6. Niech f : X Y i niech A X. Obrazem zbioru A przez funkcję f nazywamy zbiór: f (A) := {f(x) : x A} = {y Y : x A (y = f(x))}. UWAGA 5. Zauważmy, że f (X) = rng(f). UWAGA 6. Niech f : X Y. Zauważmy, że funkcja f jest suriekcją wtedy i tylko wtedy, gdy f (X) = Y. Twierdzenie 5.2. Niech f : X Y i niech A 1, A 2 X. Wówczas: 1. f (A1 A 2 ) = f (A 1 ) f (A 2 ), 2. f (A1 A 2 ) f (A 1 ) f (A 2 ), 3. f (A1 \ A 2 ) f (A 1 ) \ f (A 2 ). Twierdzenie 5.3. Niech f : X Y i niech A 1, A 2 X. Wówczas następujące warunki są równoważne: 1. f jest iniekcją, 2. f (A1 A 2 ) = f (A 1 ) f (A 2 ), 3. f (A1 \ A 2 ) = f (A 1 ) \ f (A 2 ). Definicja 5.7. Niech f : X Y i niech B Y. Przeciwobrazem zbioru B przez funkcję f nazywamy zbiór: f 1 (B) := {x X : f(x) B}. UWAGA 7. Zauważmy, że f 1 (Y ) = X. UWAGA 8. Niech f : X Y. Zauważmy, że funkcja f jest iniekcją wtedy i tylko wtedy, gdy dla dowolnego elementu y rng(f), zbiór f 1 ({y}) jest jednoelementowy. Twierdzenie 5.4. Niech f : X Y i niech B 1, B 2 Y. Wówczas: 1. f 1 (B 1 B 2 ) = f 1 (B 1 ) f 1 (B 2 ), 2. f 1 (B 1 B 2 ) = f 1 (B 1 ) f 1 (B 2 ), 3. f 1 (B 1 \ B 2 ) = f 1 (B 1 ) \ f 1 (B 2 ). Twierdzenie 5.5. Niech f : X Y i niech A X oraz B Y. Wówczas: 1. f ( f 1 (B)) B, przy czym jeśli B rng(f), to zachodzi tutaj równość, 2. f 1 ( f (A)) A.

21 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 5.1. Czy następujące relacje są funkcjami: R R 2 ; xry x 2 = y, R R 2 ; xry x = y 2, R R 2 >0; xry x = y 2, (d) R N Z; xry x 2 = y 3, (e) R N Z; xry x 3 = y 2, (f) R R 2 >0; xry y x = 1, (g) R R 2 >0; xry y x = 1, (h) R C 2 ; xry y = 10 x. Zadanie 5.2. Wyznacz dziedzinę i przeciwdziedzinę funkcji f : R R, gdzie f(x) := x x 2, f(x) := x x+1, f(x) := log(3x 2 4x + 5), (d) f(x) := x x, (e) f(x) := 2 x x. Zadanie 5.3. Dla danego przekształcenia f : suriekcją wyznacz obraz dziedziny. R R sprawdź, czy f jest iniekcją lub suriekcją. Jeśli nie jest f(x) := 3 x, { 2x+1 x 1, dla x 1, f(x) := 0, dla x = 1, { ln x, dla x 0, f(x) := 0, dla x = 0, { x x+1, dla x 1, (d) f(x) := 0, dla x = 1. Zadanie 5.4. Dla podanych funkcji f, g : R R wyznacz f g, g f, f f, g g, jeśli { f(x) := x 2 x 1, dla x 0,, g(x) := x, dla x < 0, { { x + 1, dla x 0, 2x 3, dla x 1, f(x) := g(x) := x 2, dla x < 0, 1 x, dla x < 1. Zadanie 5.5. Niech f : X Y oraz g : Y Z. Udowodnić, że jeśli g f : X Z jest: iniekcją, to f jest iniekcją, suriekcją, to g jest suriekcją, bijekcją, to f jest iniekcją a g jest suriekcją. Zadanie 5.6. Podaj przykład zbiorów X, Y, Z oraz funkcji f : X Y oraz g : Y Z takich, że: g nie jest iniekcją, ale g f jest iniekcją, f nie jest suriekcją, ale g f jest suriekcją. Zadanie domowe 5.7. Niech f : X Y będzie bijekcją. Pokazać, że: f 1 jest bijekcją,

22 DB Wstęp do matematyki (ns) semestr zimowy f 1 f = id X, f f 1 = id Y. Zadanie domowe 5.8. Niech f : X Y oraz g : Y Z. Pokazać, że jeśli f i g są bijekcjami, to (g f) 1 = f 1 g 1. Zadanie 5.9. Niech f : R R będzie określone wzorem f(x) := x 2 3x + 2. Znajdź: f ([0, 1]), f ([ 2, 1]), f 1 ((, 6]), f 1 ({3, 4}), f ({1, 2}). Zadanie Niech f : (N {0}) 2 N {0} będzie funkcją zadaną wzorem f((x, y)) := max(x, y). Czy jest to iniekcja? Czy jest to suriekcja? Wyznacz f 1 ({3}). Zadanie Niech f : R R będzie określone wzorem f(x) := sin x + 1. Znajdź f ([0, 3π 2 ]), f ({0, π}), f 1 (( 1 2, )), f 1 ({1}), f 1 ({0}), f 1 ({ 1}). Zadanie Niech R n [t] oznacza zbiór wielomianów o współczynnikach rzeczywistych stopnia n 0. Niech f : R[t] R[t] będzie określona wzorem f(ϕ(t)) := ϕ 2 (t). Wyznacz: f 1 (R 4 [t]), f 1 ({t 6 +2t 3 +1}), f 1 ({t 2 +2t+2}), f (R 0 [t]), f ({ 3, 3}).

23 DB Wstęp do matematyki (ns) semestr zimowy Relacje porządkujące Definicja 6.1. Relacją binarną R na zbiorze X nazywamy relacją częściowo porządkującą zbiór X lub częściowym porządkiem na X, gdy jest zwrotna, antysymetryczna i przechodnia. Definicja 6.2. Zbiór X z relacją częściowego porządku R nazywamy zbiorem częściowo uporządkowanym i oznaczamy go przez X, R. Definicja 6.3. Para X, R jest zbiorem liniowo uporządkowanym, gdy R jest relacją częściowego porządku, a ponadto R jest spójna. Z reguły porządek liniowy jak i częściowy oznacza się symbolem. Definicja 6.4. Relacja binarna R w zbiorze X jest silnym porządkiem lub ostrym porządkiem, gdy jest przeciwzwrotna, asymetryczna i przechodnia. Z reguły silny porządek oznaczamy symbolem <. Jeśli ponadto relacja < jest spójna, to nazwiemy ją relacją silnego (lub ostrego) porządku liniowego. 6.1 Częściowy porządek Przykłady częściowych porządków: Z,, R,, Q, N,, gdzie a b c (b = ac) dla a, b, c naturalnych, dla dowolnego zbioru A, P(A),. Definicja 6.5. Zbiory częściowo uporządkowane X, 1, Y, 2 są izomorficzne, gdy istnieje bijekcja f : X Y taka, że x 1 x 2 (x 1 1 x 2 f(x 1 ) 2 f(x 2 ). Twierdzenie 6.1 (twierdzenie o reprezentacji relacji częściowo porządkujących). Każdy niepusty zbiór częściowo uporządkowany X, jest izomorficzny z pewną rodziną podzbiorów zbioru X, uporządkowaną relacją inkluzji. Definicja 6.6. Niech X, będzie zbiorem częściowo uporządkowanym. Zbiór Y X nazywamy łańcuchem, gdy relacja jest spójna w Y Elementy wyróżnione Definicja 6.7. Niech X, będzie zbiorem częściowo uporządkowanym i niech Y X. Element x 0 X jest ograniczeniem górnym zbioru Y, gdy x 0 spełnia następujący warunek: Analogicznie definiujemy ograniczenie dolne: y (y Y y x 0 ). Definicja 6.8. Niech X, będzie zbiorem częściowo uporządkowanym i niech Y X. Element x 0 X jest ograniczeniem dolnym zbioru Y, gdy x 0 spełnia następujący warunek: y (y Y x 0 y). Zauważmy, że w powyższych definicjach nie wymaga się, by x 0 Y. Definicja 6.9. Niech X, będzie zbiorem częściowo uporządkowanym. Element x 0 X nazywamy elementem największym, gdy: x (x X x x 0 ). Podobnie definiujemy element najmniejszy, mianowicie element x 0 X nazywamy elementem najmniejszym, gdy: x (x X x 0 x).

24 DB Wstęp do matematyki (ns) semestr zimowy Definicja Niech X, będzie zbiorem częściowo uporządkowanym i niech Y X. Supremum albo kresem górnym zbioru Y nazywamy element najmniejszy w zbiorze wszystkich ograniczeń górnych zbioru Y, jeśli takowy istnieje. Analogicznie, infimum albo kresem dolnym zbioru Y nazywamy element największy w zbiorze wszystkich ograniczeń dolnych, o ile takowy element istnieje. Definicja Kratą nazywamy zbiór częściowo uporządkowany X, taki, że dla dowolnych dwóch elementów a, b X istnieje największe ograniczenie dolne (infimum) względem relacji i najmniejsze ograniczenie górne (supremum) względem tej relacji. Definicja Niech X, będzie zbiorem częściowo uporządkowanym. Element x 0 jest elementem maksymalnym, gdy spełnia warunek y (y X x 0 y y x 0 ), tzn. nie istnieje element większy od x 0. Podobnie definiuje się element minimalny, jako taki, od którego nie istnieją mniejsze, tzn. taki x 0, który spełnia następujący warunek: y (y X y x 0 y x 0 ). Lemat 6.1 (lemat Kuratowskiego-Zorna). Niech X, będzie zbiorem częściowo uporządkowanym. Jeśli każdy łańcuch L X elementów zbioru X ma ograniczenie górne, to w zbiorze X istnieje element maksymalny. Inne, równoważne sformułowanie lematu Kuratowskiego-Zorna jest następujące: Lemat 6.2 (lemat Kuratowskiego-Zorna). Jeśli dla każdego liniowo uporządkowanego podzbioru X 0 zbioru częściowo uporządkowanego X istnieje ograniczenie górne, to w zbiorze X istnieje element maksymalny. 6.2 Dobry porządek Definicja Relację R X X nazywamy dobrym porządkiem, gdy R jest częściowym porządkiem takim, że Y X, Y y Y x Y (yrx), tzn. R jest dobrym porządkiem, gdy R jest relacją zwrotną, antysymetryczną i przechodnią oraz taką, że każdy niepusty podzbiór Y zbioru X ma element najmniejszy względem relacji R. Twierdzenie 6.2 (zasada indukcji). Niech X, będzie zbiorem dobrze uporządkowanym i niech ϕ(v) będzie funkcją zdaniową o jednej zmiennej wolnej v przebiegającej zbiór X. Załóżmy, że 1. najmniejszy element zbioru X ma własność ϕ, 2. dla dowolnego elementu x X, jeśli wszystkie elementy poprzedzające x mają własność ϕ, to również element x ma własność ϕ. Wówczas każdy element zbioru X ma własność ϕ. Wniosek Jeśli ϕ jest funkcją zdaniową o dziedzinie N taką, że: 1. ϕ(1), 2. n N (ϕ(n) ϕ(n + 1)), to n N ϕ(n). Twierdzenie 6.3 (o dobrym uporządkowaniu; Zermelo 1904). Dla każdego zbioru X istnieje relacja dobrze porządkująca zbiór X. Aksjomat wyboru. Dla każdej rodziny zbiorów niepustych i parami rozłącznych istnieje zbiór mający z każdym ze zbiorów tej rodziny po dokładnie jednym elemencie wspólnym (zbiór ten nazywa się selektorem). Inne równoważne sformułowanie aksjomatu wyboru jest następujące:

25 DB Wstęp do matematyki (ns) semestr zimowy Aksjomat wyboru. Dla dowolnej rodziny A zbiorów niepustych istnieje funkcja wyboru, tzn. funkcja przyporządkowująca każdemu zbiorowi z rodziny A pewien jego element. Twierdzenie 6.4. Wszystkie poniższe zasady są sobie równoważne: aksjomat wyboru, twierdzenie Zermela o dobrym uporządkowaniu, lemat Kuratowskiego-Zorna. UWAGA 9. Nie są to jedyne, równoważne aksjomatowi wyboru, zasady.

26 DB Wstęp do matematyki (ns) semestr zimowy Zadania Zadanie 6.1. Narysować diagramy następujących zbiorów częściowo uporządkowanych, których uniwersum stanowi zbiór {a, b, c, d}, a relację stanowią następujące pary: {(a, a), (b, b), (c, c), (d, d), (a, d), (b, d), (c, d)}, {(a, a), (b, b), (c, c), (d, d), (a, c), (b, c), (c, d), (a, d), (b, d)}, {(a, a), (b, b), (c, c), (d, d), (a, b), (a, c), (d, c)}. Zadanie 6.2. Poniżej narysowany jest diagram zbioru {a, b, c, d, e, f, g} częściowo uporządkowanego. g d e f b c a Wskaż elementy: maksymalny, minimalny, najmniejszy i największy (o ile istnieją). i górne oraz kres górny i dolny (o ile istnieją) zbioru: {b, c}. Znajdź ograniczenie dolne Zadanie 6.3. Rozważmy następujące zbiory: A 0 = {x R : 0 x 1}, A 1 = {x R : 1 x 2}, A 2 = {x R : 0 x 3}, A 3 = {x R : 1 x 4}, A 4 = {x R : 2 x 5}, A 5 = {x R : 3 x 6}, A 6 = {x R : 2 x 7} z relacją. Narysuj diagram relacji. Wskaż elementy: maksymalny, minimalny, najmniejszy i największy (o ile istnieją). Znajdź ograniczenie dolne i górne oraz kres górny i dolny (o ile istnieją) zbiorów: {A 1, A 2 }, {A 4, A 5, A 6 }. (d) Wskaż wszystkie łańcuchy długości 3. Zadanie 6.4. Udowodnić, że relacja podzielności określona w zbiorze N jest relacją częściowego porządku. Znaleźć wszystkie elementy minimalne. Pokazać, że w zbiorze N \ {1} istnieje nieskończenie wiele elementów minimalnych. Pokazać, że w zbiorze N nie ma elementów maksymalnych względem. Zadanie 6.5. Rozważmy zbiór T = {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} wraz z relacją podzielności ograniczoną do elementów tego zbioru. Narysuj diagram relacji. Wskaż elementy: maksymalny, minimalny, najmniejszy i największy (o ile istnieją). Wskaż wszystkie łańcuchy długości 3. Zadanie 6.6. W zbiorze N N (ciągów liczb naturalnych) wprowadźmy relację R w następujący sposób: (a n )R(b n ) n N (a n b n ). Udowodnić, że zbiór N N jest częściowo uporządkowany. Znajdź elementy: maksymalny, minimalny, najmniejszy i największy (o ile istnieją). Czy zbiór ten uporządkowany liniowo? Zadanie 6.7. Udowodnij, że jeśli w zbiorze częściowo uporządkowanym jest element: największy, to jest on jedynym elementem maksymalnym.

27 DB Wstęp do matematyki (ns) semestr zimowy najmniejszy, to jest on jedynym elementem minimalnym. Zadanie 6.8. Dlaczego zbiory Z,, R, nie są dobrze uporządkowane? 1 Zadanie 6.9. Czy zbiór wszystkich ułamków postaci n, gdzie n N z relacją jest dobrze uporządkowany? A z relacją? Zadanie Pokazać, że porządek liniowy w zbiorze skończonym jest dobrym porządkiem.