Zbiory i odwzorowania

Podobne dokumenty
A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.

Zdzisªaw Dzedzej, Katedra Analizy Nieliniowej pok. 611 Kontakt:

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

Indeksowane rodziny zbiorów

Wykªad 4. Funkcje wielu zmiennych.

1 Poj cia pomocnicze. Przykªad 1. A A d

Podstawy matematyki dla informatyków

1 Granice funkcji wielu zmiennych.

x y x y x y x + y x y

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.

Materiaªy do Repetytorium z matematyki

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

Metody dowodzenia twierdze«

Podstawy logiki i teorii zbiorów wiczenia

Zadania z PM II A. Strojnowski str. 1. Zadania przygotowawcze z Podstaw Matematyki seria 2

Elementy geometrii w przestrzeni R 3

ELEMENTARNA TEORIA LICZB. 1. Podzielno±

Oba zbiory s uporz dkowane liniowo. Badamy funkcj w pobli»u kresów dziedziny. Pewne punkty szczególne (np. zmiana denicji funkcji).

Liczby zespolone Pochodna Caªka nieoznaczona i oznaczona Podstawowe wielko±ci zyczne. Repetytorium z matematyki

Zadania. 4 grudnia k=1

FUNKCJE. 1. Podstawowe definicje

Funkcje wielu zmiennych

AM II /2019 (gr. 2 i 3) zadania przygotowawcze do I kolokwium

W poprzednim odcinku... Podstawy matematyki dla informatyków. Relacje równowa»no±ci. Zbiór (typ) ilorazowy. Klasy abstrakcji

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.

Wektory w przestrzeni

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

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:

Rachunek caªkowy funkcji wielu zmiennych

I Rok LOGISTYKI: wykªad 2 Pochodna funkcji. iloraz ró»nicowy x y x

Elementy geometrii analitycznej w przestrzeni

Funkcje jednej zmiennej. Granica, ci gªo±. (szkic wykªadu)

Macierze i Wyznaczniki

1 Przypomnienie wiadomo±ci ze szkoªy ±redniej. Rozwi zywanie prostych równa«i nierówno±ci

Liczby zespolone. dr Krzysztof yjewski Mechatronika; S-I 0.in». 6 pa¹dziernika Oznaczenia. B dziemy u»ywali nast puj cych oznacze«:

Funkcja. Poj cie funkcji i podstawowe wªasno±ci. Dziedzina

Przekroje Dedekinda 1

2 Liczby rzeczywiste - cz. 2

Zadania z analizy matematycznej - sem. II Ekstrema funkcji wielu zmiennych, twierdzenia o funkcji odwrotnej i funkcji uwikªanej

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

det A := a 11, ( 1) 1+j a 1j det A 1j, a 11 a 12 a 21 a 22 Wn. 1 (Wyznacznik macierzy stopnia 2:). = a 11a 22 a 33 +a 12 a 23 a 31 +a 13 a 21 a 32

Wyra»enia logicznie równowa»ne

istnienie elementu neutralnego dodawania (zera): 0 K a K a + 0 = a, istnienie elementu neutralnego mno»enia (jedynki): 1 K a K a 1 = a,

Macierze i Wyznaczniki

Informacje pomocnicze

f(x) f(x 0 ) i f +(x 0 ) := lim = f(x 0 + x) f(x 0 ) wynika ci gªo± funkcji w punkcie x 0. W ka»dym przypadku zachodzi:

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

Funkcje, wielomiany. Informacje pomocnicze

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

2. L(a u) = al( u) dla dowolnych u U i a R. Uwaga 1. Warunki 1., 2. mo»na zast pi jednym warunkiem: L(a u + b v) = al( u) + bl( v)

Ÿ1 Oznaczenia, poj cia wst pne

Rachunek zda«. Relacje. 2018/2019

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

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Geometria Algebraiczna

Pytania i polecenia podstawowe

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1

Zadania z analizy matematycznej - sem. I Liczby i funkcje

Funkcje wielu zmiennych

Zadania z analizy matematycznej - sem. I Liczby i funkcje

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

Metodydowodzenia twierdzeń

Matematyka 1. Šukasz Dawidowski. Instytut Matematyki, Uniwersytet l ski

XVII Warmi«sko-Mazurskie Zawody Matematyczne

Przeksztaªcenia liniowe

punkcie. Jej granica lewostronna i prawostronna w punkcie x = 2 wynosz odpowiednio:

r = x x2 2 + x2 3.

RACHUNEK ZBIORÓW 2 A B = B A

gdzie wektory α i tworz baz ortonormaln przestrzeni E n

Równania ró»niczkowe I rz du (RRIR) Twierdzenie Picarda. Anna D browska. WFTiMS. 23 marca 2010

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Twierdzenie Wedderburna Witold Tomaszewski

1 Otwarto± i domkni to±

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

Podzbiory Symbol Newtona Zasada szuadkowa Dirichleta Zasada wª czania i wyª czania. Ilo± najkrótszych dróg. Kombinatoryka. Magdalena Lema«ska

Ciaªa i wielomiany. 1 Denicja ciaªa. Ciaªa i wielomiany 1

Informacje pomocnicze:

Matematyka dyskretna dla informatyków

Zbiory ograniczone i kresy zbiorów

Rozwi zanie równania ró»niczkowego metod operatorow (zastosowanie transformaty Laplace'a).

Macierze. Dziaªania na macierzach. 1. Niech b d dane macierze , D = , C = , B = 4 12 A = , F = , G = , H = E = a) Obliczy A + B, 2A 3B,

Macierze. 1 Podstawowe denicje. 2 Rodzaje macierzy. Denicja

Pochodna funkcji jednej zmiennej

Funkcje elementarne. Matematyka 1

Funkcje wielu zmiennych

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

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

CAŠKA NIEOZNACZONA. Politechnika Lubelska. Z.Šagodowski. 18 lutego 2016

1 Ró»niczka drugiego rz du i ekstrema

1. Przedstaw w postaci algebraicznej liczby zespolone: 2. Narysuj zbiory punktów na pªaszczy¹nie:

Twierdzenie Wainera. Marek Czarnecki. Warszawa, 3 lipca Wydziaª Filozoi i Socjologii Uniwersytet Warszawski

Analiza Matematyczna MAT1317

Matematyka. Justyna Winnicka. rok akademicki 2016/2017. Szkoªa Gªówna Handlowa

Wielomiany o wspóªczynnikach rzeczywistych

Wybrane poj cia i twierdzenia z wykªadu z teorii liczb

Zadania z z matematyki dla studentów gospodarki przestrzennej UŠ. Marek Majewski Aktualizacja: 31 pa¹dziernika 2006

Teoria grafów i sieci 1 / 58

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.

Funkcja kwadratowa, wielomiany oraz funkcje wymierne

Transkrypt:

Zbiory i odwzorowania 1

Sposoby okre±lania zbiorów 1) Zbiór wszystkich elementów postaci f(t), gdzie t przebiega zbiór T : {f(t); t T }. 2) Zbiór wszystkich elementów x zbioru X speªniaj cych warunek ϕ(x): {x X : ϕ(x)}. 3) Zbiór sko«czony mo»emy okre±li przez wypisanie jego elementów, np. {n N 1 : n 6} = {1, 2, 3, 6}. 2

Zbiór liczb parzystych mo»emy okre±li na dwa sposoby: {2k; k Z} = {n Z : 2 n}. Prost o równaniu y = ax + b mo»emy okre±li jako zbiór punktów o wspóªrz dnych (x, ax + b), gdzie x R: {(x, ax + b); x R} lub jako zbiór tych punktów o wspóªrz dnych (x, y), które speªniaj warunek y = ax + b: {(x, y) R 2 : y = ax + b}. 3

Wa»ny przykªad zbiorów stanowi przedziaªy osi liczbowej. (a, b)={x R : x > a x < b}, [a, b)={x R : x a x < b}, (, a)={x R : x < a}. 4

Rozwa»my dowolne dwa zbiory A i B. Suma A B skªada si z wszystkich elementów, które nale» do zbioru A lub do zbioru B: (x A B) (x A x B). 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: (x A B) (x A x B). Ró»nica A \ B skªada si z wszystkich elementów, które nale» do zbioru A, ale nie nale» do zbioru B: Oczywi±cie (x A) (x A). (x A \ B) (x A x B). 5

Ró»nica symetryczna A B skªada si z wszystkich elementów, które nale» do zbioru A, a nie nale» do B, oraz tych, które nale» do B, a nie nale» do A: (x A B) (x A x B). Zauwa»my,»e A B = (A \ B) (B \ A). 6

Przykªady: [0, 2) [1, 3) = [0, 3), [0, 2) [1, 3) = [1, 2), [0, 2) \ [1, 3) = [0, 1), [0, 2) {2} = [0, 2], ( 1, + ) (, 1) = ( 1, 1), [ 1, 1] \ { 1, 1} = ( 1, 1), [ 1, 1] \ {0} = [ 1, 0) (0, 1]. Inny przykªad: {n N 1 : n 12} {n N 1 : n 18} = {n N 1 : n 6}. 7

Wªasno±ci dziaªa«na zbiorach Dla dowolnych zbiorów A, B i C zachodz nast puj ce równo±ci: 1) (A B) C = (A C) (B C), 2) (A B) C = (A C) (B C), 3) (A B) \ C = (A \ C) (B \ C), 4) (A B) \ C = (A \ C) (B \ C), 8

5) (A \ B) C = (A C) \ B, 6) (A \ B) C = (A C) \ (B \ C), 7) (A \ B) \ C = A \ (B C), 8) A \ (B \ C) = (A \ B) (A C). Takich równo±ci mo»na dowodzi dwiema metodami rachunku zda«(bardziej formalna) i diagramów Venne'a (bardziej obrazowa). 9

Inkluzja zbiorów Mówimy,»e zbiór A jest zawarty w zbiorze B, co zapisujemy A B, je±li wszystkie elementy zbioru A nale» do zbioru B, czyli dla dowolnego elementu x prawdziwe jest zdanie (x A) (x B). Przykªady: {0} [0, 1) ( 1, 1) [ 1, 1] (, 1], N 1 N Z Q R. 10

Wªasno±ci: 1) Je»eli A B i B A, to A = B. 2) Je»eli A B i B C, to A C. 3) Je»eli A C i B C, to A B C. 4) Je»eli A B i A C, to A B C. Zadanie. Wyka»,»e dla dowolnych zbiorów A, B i C zachodz nast puj ce równowa»no±ci: A B A B = A A B = B. 11

Zbiór pusty to zbiór posiadaj cy 0 elementów, oznaczamy go symbolem. Zbiór pusty jest zawarty w ka»dym zbiorze: A. Jest tylko jeden zbiór pusty: ( 1 2 ) ( 2 1 ) ( 1 = 2 ). 12

Algebra podzbiorów danego zbioru Przez X oznaczmy dowolny zbiór. Zbiór podzbiorów zbioru X oznaczamy symbolem 2 X, na przykªad: je±li X = {a, b}, to 2 X = {, {a}, {b}, {a, b}}, je±li X = {1, 2, 3}, to 2 X = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}. Twierdzenie. 2 n elementów. Je±li zbiór X ma n elementów, to zbiór 2 X ma Je±li mamy ustalony zbiór X i rozwa»amy tylko jego podzbiory, to zbiór X nazywamy przestrzeni lub uniwersum. 13

Dopeªnieniem zbioru A (w przestrzeni X) nazywamy zbiór A = X \ A. Dla ka»dego elementu x X prawdziwe jest zdanie x A (x A). Zachodz nast puj ce zale»no±ci: A A =, A A = X, (A ) = A, = X, X =. 14

Odnotujmy prawa de Morgana dla zbiorów: (A B) = A B, (A B) = A B. Podobne zale»no±ci zachodz dla wi kszej liczby zbiorów, na przykªad: (A B C) = A B C, (A B C D) = A B C D. 15

Iloczyn kartezja«ski zbiorów Rozwa»my dwa zbiory A i B. Z dowolnych elementów a A i b B mo»emy utworzy par (a, b). Zbiór wszystkich takich par oznaczamy symbolem A B i nazywamy iloczynem kartezja«skim zbiorów A i B: przy czym A B = {(a, b); a A, b B}, (a, b) = (a, b ) (a = a ) (b = b ). Uwaga. Je±li zbiory A i B s sko«czone i zbiór A ma m elementów, a zbiór B ma n elementów, to zbiór A B ma m n elementów. 16

Kwadratem kartezja«skim zbioru A nazywamy zbiór A 2 = A A. Przykªad. R 2 = R R pªaszczyzna (z ukªadem wspóªrz dnych), [0, 3) (1, 2] R 2, [0, 3) (1, 2] = {(x, y); x [0, 3), y (1, 2]}. 17

Analogicznie okre±lamy iloczyn kartezja«ski wi kszej liczby zbiorów, na przykªad przy czym A B C = {(a, b, c); a A, b B, c C}, (a, b, c) = (a, b, c ) (a = a ) (b = b ) (c = c ). Zbiór A n = A A... A }{{} n = = {(a 1, a 2,..., a n ); a 1, a 2,..., a n A} nazywamy n-t pot g kartezja«sk zbioru A, na przykªad R 3 to przestrze«trójwymiarowa (z ukªadem wspóªrz dnych) i ogólnie R n to przestrze«n-wymiarowa. 18

Funkcje Je»eli mamy dwa zbiory X i Y, i ka»demu elementowi zbioru X przyporz dkujemy jeden i tylko jeden element zbioru Y, to takie przyporz dkowanie nazywamy funkcj. f : X Y, X dziedzina funkcji f, Y przeciwdziedzina funkcji f. 19

Przykªady: f : Z Z, f(n) = n + 1, g i : R R, g 1 (x) = ax + b, g 2 (x) = sin x, g 3 (x) = 2 x, g 4 (x) = a n x n +... + a 1 x + a 0, E(x) = [x], np. E : R R lub E : R Z, f : N 1 N 1 N 1, f(m, n) = NWD(m, n), 20

g : R 3 R, g(x, y, z) = xy + yz + zx, h: R R 2, h(t) = (cos t, sin t), X zbiór, Id X : X X, Id X (x) = x, T zbiór trójk tów, P : T R, P (ABC) pole trójk ta ABC, ci g a 1, a 2, a 3,... elementów zbioru A to funkcja a: N 1 A, a(n) = a n. 21

Zbiorem warto±ci funkcji f : X Y nazywamy zbiór f(x) = {f(x); x X} = {y Y : x X y = f(x)}. Przykªady: f : R R, f(x) = x n, gdzie n N 1, { [0, + ), je±li n jest parzyste, f(r) = R, je±li n jest nieparzyste. g : R R, g(x) = ax + b, gdzie a, b R, { R, je±li a 0, g(r) = {b}, je±li a = 0. 22

E : R R, f(x) = [x], E(R) = Z h: R R 2, h(t) = (cos t, sin t), h(r) =? Uwaga. Zbiór warto±ci jest podzbiorem przeciwdziedziny: f(x) Y, nie musi by równy caªej przeciwdziedzinie! 23

Denicja. Funkcj f : X Y nazywamy ró»nowarto±ciow lub injekcj, je±li ró»nym elementom zbioru X przyporz dkowuje ró»- ne elementy zbioru Y : Warunek równowa»ny: x1,x 2 X x 1 x 2 f(x 1 ) f(x 2 ). x1,x 2 X f(x 1 ) = f(x 2 ) x 1 = x 2. 24

Przykªady injekcji: f : R R, f(x) = ax + b, gdzie a 0, g : [ π 2, π 2 ] R, g(x) = sin x, dowolna funkcja rosn ca f : R R. Pytanie. Dla jakich n funkcja f : R R, f(x) = x n jest injekcj? 25

Denicja. Funkcj f : X Y nazywamy funkcj na lub surjekcj, je±li ka»dy element zbioru Y jest przyporz dkowany jakiemu± elementowi zbioru X, czyli y Y x X f(x) = y. Funkcja jest na, gdy jej przeciwdziedzina jest zbiorem warto±ci: f(x) = Y. 26

Przykªady surjekcji: f : R R, f(x) = ax + b, gdzie a 0, f : R [ 1, 1], f(x) = sin x, f : R Z, f(x) = [x]. Pytanie. Dla jakich n funkcja f : R R, f(x) = x n jest surjekcj? 27

Denicja. Funkcj f : X Y nazywamy wzajemnie jednoznaczn lub bijekcj, je±li jest ró»nowarto±ciowa i na (czyli jest injekcj i surjekcj ). Przykªady bijekcji: f : R R, f(x) = ax + b, gdzie a 0, f : R \ {0} R \ {0}, f(x) = 1 x, f : [ π 2, π 2 ] [ 1, 1], f(x) = sin x, f : R R +, f(x) = a x, gdzie a > 0 i a 1. 28

Rozwa»my funkcje f : X Y i g : Y Z. Dla x X mamy y = f(x) Y, wi c mamy równie» g(y) = g(f(x)) Z. W ten sposób okre±lamy zªo»enie funkcji f i g: g f : X Z, (g f)(x) = g(f(x)) dla x X. Przykªad: f, g : R R, f(x) = x + 1, g(x) = x 2, f(g(x)) = x 2 + 1, g(f(x)) = (x + 1) 2. 29

Funkcja f : X Y jest bijekcj wtedy i tylko wtedy, gdy ka»dy element y Y jest przyporz dkowany dokªadnie jednemu elementowi x X. Wówczas istnieje funkcja g : Y X taka,»e g(y) = x y = f(x) dla x X, y Y. Funkcja g speªnia warunki: czyli x X g(f(x)) = x i y Y f(g(y)) = y, g f = Id X i f g = Id Y. Funkcj g nazywamy funkcj odwrotn do funkcji f i oznaczamy symbolem f 1. 30

Przykªady funkcji odwrotnych: f : R R, f(x) = ax + b, gdzie a 0, f 1 : R R, f 1 (x) = x b a, g : [0, + ) [0, + ), g(x) = x n, gdzie n N, n 2 g 1 : [0, + ) [0, + ), g 1 (x) = n x, h: R (0, + ), h(x) = a x, gdzie a > 0, a 1, h 1 : (0, + ) R, h(x) = log a (x). 31

Rozwa»my funkcj f : X Y. Dla dowolnego zbioru A X okre- ±lamy jego obraz: f(a) = {f(x); x A} = {y Y : x A f(x) = y}. Dla dowolnego zbioru B Y okre±lamy jego przeciwobraz: f 1 (B) = {x X; f(x) B}. 32

Przykªady: f : R R, f(x) = x 2 + x + 1, f([ 1, 2]) = [ 3 4, 7], f 1 (( 3 4, 1)) = ( 1, 1 2 ) ( 1 2, 0) g : R R, g(x) = sin 3x, g((0, π 3 )) = (0, 1], g 1 ([ 1, 0)) = =... ( π 3, 0) (π 3, 2π 3 ) (π, 4π 3 )... = k Z( (2k 1)π 3, 2kπ 3 ) E : R R, E(x) = [x], E(( 2, 2)) = { 2, 1, 0, 1}, E 1 (( 2, 2)) = [ 1, 2). 33

Zadanie. Rozwa»my funkcj f : Z Z Z, f(x, y) = xy. Znajd¹ obraz zbioru {1, 10, 100, 1000} {1, 10, 100, 1000} oraz przeciwobraz zbioru {1, 2, 3}. 34

Wªasno±ci. Niech f : X Y b dzie dowoln funkcj. Wówczas dla dowolnych zbiorów A, B X: a) f(a B) = f(a) f(b), b) f(a B) f(a) f(b), c) f(a) \ f(b) f(a \ B), oraz dla dowolnych zbiorów C, D Y : a) f 1 (C D) = f 1 (C) f 1 (D), b) f 1 (C D) = f 1 (C) f 1 (D), c) f 1 (C \ D) = f 1 (C) \ f 1 (D). 35