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

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

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

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

Analiza matematyczna 1

Zbiory, relacje i funkcje

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

FUNKCJE. 1. Podstawowe definicje

Elementy logiki matematycznej

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

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Zadania z analizy matematycznej - sem. I Liczby i funkcje

Zadania z analizy matematycznej - sem. I Liczby i funkcje

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

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

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

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ę

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

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

1 Działania na zbiorach

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Pytania i polecenia podstawowe

Wykłady z Matematyki Dyskretnej

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

ZALICZENIE WYKŁADU: 30.I.2019

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

KARTA KURSU. Kod Punktacja ECTS* 7

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

1. Funkcje monotoniczne, wahanie funkcji.

Zasada indukcji matematycznej

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

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

Podstawy matematyki dla informatyków. Funkcje. Funkcje caªkowite i cz ±ciowe. Deniowanie funkcji. Wykªad pa¹dziernika 2012

Zbiory i odwzorowania

II. Funkcje. Pojęcia podstawowe. 1. Podstawowe definicje i fakty.

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

Matematyka II - Organizacja zajęć. Egzamin w sesji letniej

Funkcja. x X! y Y : x, y f. f : X Y f x = y f : x y. Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f XxY taka, że: Notacje:

WYKŁAD Z ANALIZY MATEMATYCZNEJ I. dr. Elżbieta Kotlicka. Centrum Nauczania Matematyki i Fizyki

Zbiór zadań ze wstępu do matematyki

Rozdział 6. Ciągłość. 6.1 Granica funkcji

Logika I. Wykład 3. Relacje i funkcje

KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)

FUNKCJE. (odwzorowania) Funkcje 1

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

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

Funkcje: wielomianowa, wykładnicza, logarytmiczna wykład 2

Wykład z Analizy Matematycznej 1 i 2

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

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

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

11. Pochodna funkcji

Wykładowcy. Podstawy matematyki dla informatyków. Różne książki dla dociekliwych. Materiały. Books in English. Zaliczenie. Klasówka.

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

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

Zbiór X nazywamy dziedziną funkcji f i oznaczamy przez D f. Jego elementy to argumenty

Funkcje elementarne. Matematyka 1

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

Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat)

Funkcje rzeczywiste jednej. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski

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.

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

1. Definicja granicy właściwej i niewłaściwej funkcji.

Wstęp do Matematyki (1)

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

Zbiory liczbowe i funkcje wykład 1

Rekurencyjna przeliczalność

7. Miara, zbiory mierzalne oraz funkcje mierzalne.

Ciągłość funkcji f : R R

14. Przestrzenie liniowe

B jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.

Algebra. Jakub Maksymiuk. lato 2018/19

Podstawy matematyki dla informatyków

KOGNITYWISTYKA UAM, JERZY POGONOWSKI Zakład Logiki i Kognitywistyki UAM

Wykłady ostatnie. Rodzinę P podzbiorów przestrzeni X nazywamy σ - algebrą, jeżeli dla A, B P (2) A B P, (3) A \ B P,

Strona główna. Strona tytułowa. Spis treści. Strona 1 z 403. Powrót. Full Screen. Zamknij. Koniec

Logika i teoria mnogości Ćwiczenia

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe

LOGIKA ALGORYTMICZNA

Granica funkcji wykład 4

RACHUNEK ZBIORÓW 5 RELACJE

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

Wstęp do Matematyki (4)

Granica funkcji wykład 5

Funkcje: wielomianowa, wykładnicza, logarytmiczna wykład 3

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

Analiza Matematyczna I Wydział Nauk Ekonomicznych. wykład XI

3 Abstrakcyjne kompleksy symplicjalne.

Ćwiczenia z wyliczania wartości funkcji

III. Funkcje rzeczywiste

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

Wykładowcy. Podstawy matematyki dla informatyków. Materiały. Różne książki dla dociekliwych. Books in English. Zaliczenie

Weronika Siwek, Metryki i topologie 1. (ρ(x, y) = 0 x = y) (ρ(x, y) = ρ(y, x))

Zadania z algebry liniowej - sem. I Struktury algebraiczne

Granice funkcji. XX LO (wrzesień 2016) Matematyka elementarna Temat #8 1 / 21

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Matematyka ETId I.Gorgol. Funkcja złożona i odwrotna. Funkcje

Ćwiczenia 1 - Pojęcie grupy i rzędu elementu

Transkrypt:

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 8 Funkcje 8.1 Pojęcie relacji 8.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu kartezjańskiego dwóch zbiorów. Dziedziną lewostronną relacji R nazywamy zbiór D l (R) = {x : x, y R dla pewnego y}, a dziedziną prawostronną relacji R nazywamy zbiór D r (R) = {y : x, y R dla pewnego x}. Zbiór D l (R) D r (R) nazywamy polem relacji R. 8.2 Definicja (Złożenie relacji, relacja odwrotna). Złożeniem relacji R i S nazywamy relację S R = { x, z : dla pewnego y, x, y R oraz y, z S}. Relacją odwrotną do R nazywamy relację R 1 = { y, x : x, y R}. 8.3 Twierdzenie. Dla dowolnych relacji R i S mamy (S R) 1 = R 1 S 1. 8.2 Pojęcie funkcji 8.4 Definicja (Funkcja, dziedzina i zbiór wartości funkcji). Funkcją nazywamy dowolny zbiór f spełniający warunki: 1. z ( z f x, y (z = x, y ) ), 2. x, y 1, y 2 ( x, y1 f x, y 2 f y 1 = y 2 ). 1

8 Funkcje 2 Zgodnie z konwencją, piszemy f(x) = y w przypadku, gdy x, y f. Dziedziną i zbiorem wartości 1 funkcji f nazywamy odpowiednio zbiory dom(f) = {x : x, y f, dla pewnego y}, rng(f) = {y : x, y f, dla pewnego x}. 8.5 Uwaga. Oczywiście, rng(f) = {f(x) : x dom(f)} oraz f dom(f) rng(f), a zatem funkcje są w szczególności relacjami. 8.6 Twierdzenie. Dla dowolnych funkcji f i g, f = g wtedy i tylko wtedy, gdy 1. dom(f) = dom(g) oraz 2. f(x) = g(x), dla wszystkich x dom f. 8.7 Uwaga. Jeżeli f jest funkcją, dla której dom(f) = X oraz rng(f) Y, to piszemy f : X Y. 8.8 Przykład. 1. Funkcja pusta. : A. 2. Ciągi skończone a : {0, 1, 2,..., n} X; a k := a(k). Ciągi nieskończone a : N X. 3. Indeksowane rodziny zbiorów. Niech A będzie rodziną zbiorów, będącą zbiorem wartości funkcji A o dziedzinie I, czyli ={A i : i I}. Funkcję A = A i : i I nazywamy indeksowaną rodziną zbiorów. 8.3 Injekcje, surjekcje, bijekcje 8.9 Definicja (Injekcja, surjekcja, bijekcja). Funkcję f : X Y nazywamy 1. różnowartościową (lub injekcją), gdy x 1, x 2 dom(f) ( x 1 x 2 f(x 1 ) f(x 2 ) ) ; 2. na zbiór Y (lub surjekcją), gdy y Y x X f(x) = y lub równoważnie, gdy rng(f) = Y ; 1 Należy odróżniać zbiór wartości od przeciwdziedziny.

8 Funkcje 3 3. wzajemnie jednoznaczną z X na Y (lub bijekcją), gdy f jest różnowartościowa i na Y. 8.10 Przykład. 1. f : R R, f(x) = x 2 (nie na R, nie 1-1), 2. 4, 2, 3, 5, 2 (nie na {4, 2, 3, 5, 2}, nie 1-1), 3. g : P(N) \ { }, g(x) = min X (na N, nie 1-1), 4. h : N \ {0} P fin (N), h(n) = zbiór wszystkich dzielników liczby n (nie na P fin (N), 1-1). 8.11 Definicja (Obcięcie i przedłużenie funkcji). Obcięciem funkcji f : X Y do zbioru Z X nazywamy funkcję f Z taką, że f Z = f (Z Y ). Funkcję f nazywamy przedłużeniem funkcji g, gdy 8.4 Złożenie funkcji g = f dom(g). 8.12 Definicja (Złożenie funkcji). Złożeniem funkcji f i g nazywamy funkcję g f zdefiniowaną następująco: g f = { x, z dom(f) rng(g) : dla pewnego y, x, y f y, z g}. 8.13 Uwaga. Dla dowolnych funkcji f i g mamy 1. dom(g f) = {x dom(f) : f(x) dom(g)}, 2. (g f)(x) = g(f(x)), dla x dom(g f). 8.14 Twierdzenie. Niech dane będą funkcje f : X Y oraz g : Y Z. Wówczas 1. Jeżeli f i g są różnowartościowe, to również g f : X Z jest funkcją różnowartościową. 2. Jeżeli f jest funkcją na Y i g jest funkcją na Z, to g f : X Z jest funkcją na Z. 3. Jeżeli f i g są bijekcjami, to funkcja g f : X Z jest bijekcją. 8.15 Twierdzenie. Operacja składania funkcji jest łączna ale nie jest przemienna.

8 Funkcje 4 8.5 Funkcja odwrotna 8.16 Definicja (Funkcja odwrotna). Niech f będzie funkcją różnowartościową. Wówczas zbiór { y, x : x, y f} jest funkcją. Funkcję tę nazywamy funkcją odwrotną do f i oznaczamy symbolem f 1. 8.17 Uwaga. Dla dowolnej różnowartościowej funkcji f mamy 1. dom(f 1 ) = rng(f). 2. Dla dowolnych x dom(f) i y rng(f) mamy f 1 (y) = x f(x) = y. 8.18 Przykład. [GZ, Przykład 3.9] f : R R, f(x) = x 2 i f 1 (x) = x. 8.19 Definicja (Funkcja identycznościowa). Funkcją identycznościową na zbiorze X nazywamy funkcję id X = { x, x : x X}. 8.20 Uwaga. dom(id X ) = X, id X (x) = x, dla x X. 8.21 Twierdzenie. Dla dowolnej funkcji f: f id dom(f) = f, id rng(f) f = f. Ponadto, jeżeli f jest funkcją różnowartościową, to f 1 f = id dom(f), f f 1 = id rng(f). 8.22 Twierdzenie. Dla dowolnych funkcji różnowartościowych f i g, (g f) 1 = f 1 g 1.

8 Funkcje 5 8.6 Obrazy i przeciwobrazy 8.23 Definicja (Obraz i przeciwobraz). Obrazem zbioru A względem funkcji f nazywamy zbiór f[a] = rng(f A) = {f(x) : x A dom(f)}. Przeciwobrazem zbioru A względem funkcji f nazywamy zbiór f 1 [A] = {x dom(f) : f(x) B}. 8.24 Twierdzenie ([GZ, Twierdzenie 3.14]). Dla dowolnych funkcji f i g i dowolnych zbiorów V i W : 1. (g f)[v ] = g[f[v ]]. 2. (g f) 1 [V ] = f 1 [g 1 [V ]]. 3. f[f 1 [W ]] = W rng(f). 4. Jeśli V dom(f), to V f 1 [f[v ]]. 8.25 Twierdzenie. 1. Operacja obrazu i przeciwobrazu jest monotoniczna, czyli jeżeli A B, to f[a] f[b] i f 1 [A] f 1 [B]. 2. Obraz sumy zbiorów jest równy sumie obrazów tych zbiorów. Obraz przekroju dwóch zbiorów jest zawarty w przekroju ich obrazów. 3. Przeciwobraz sumy (przekroju) dwóch zbiorów jest równy sumie (przekrojowi) przeciwobrazów tych zbiorów. 8.26 Twierdzenie. Dla dowolnej funkcji f oraz indeksowanej rodziny zbiorów A i : i I : 1. f[ i I A i ] = i I f[a i ]. 2. f[ i I A i ] i I f[a i ], o ile I. 3. f 1 [ i I A i ] = i I f 1 [A i ]. 4. f 1 [ i I A i ] = i I f 1 [A i ], o ile I.

8 Funkcje 6 8.7 Uogólniony produkt kartezjański 8.27 Definicja. Uogólnionym produktem kartezjańskim indeksowanej rodziny zbiorów A i : i I, gdzie I, nazywamy zbiór wszystkich funkcji f : I i I A i takich, że f(i) A i dla każdego i I. Produkt ten oznaczamy jako A i. i I W przypadku, gdy A i = B dla wszystkich i I, produkt i I A i oznaczamy też symbolem B I. Zatem B I jest zbiorem wszystkich funkcji f : I B. 8.28 Przykład. {0, 1} N, N N, R N, R R. Literatura [GZ] W. Guzicki, P. Zakrzewski, Wykłady ze wstępu do matematyki, PWN 2007. tp