Zbiory, relacje i funkcje

Podobne dokumenty
1 Działania na zbiorach

Elementy logiki matematycznej

LOGIKA I TEORIA ZBIORÓW

FUNKCJE. (odwzorowania) Funkcje 1

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

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

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

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

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

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

Zasada indukcji matematycznej

FUNKCJE. 1. Podstawowe definicje

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

Zajęcia nr. 3 notatki

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

Matematyka dyskretna. 1. Relacje

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

Liczby zespolone. x + 2 = 0.

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

Funkcje elementarne. Matematyka 1

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)

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ę

RACHUNEK ZBIORÓW 5 RELACJE

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

Analiza matematyczna 1

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012

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

020 Liczby rzeczywiste

Algebra zbiorów. Materiały pomocnicze do wykładu. przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak

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

Wykłady z Matematyki Dyskretnej

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Definicja odwzorowania ciągłego i niektóre przykłady

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.

RELACJE I ODWZOROWANIA

PRZEDMIOTOWY SYSTEM OCENIANIA PROSTO DO MATURY KLASA 1 ZAKRES PODSTAWOWY

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

PLAN WYNIKOWY PROSTO DO MATURY KLASA 1 ZAKRES PODSTAWOWY

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

ZALICZENIE WYKŁADU: 30.I.2019

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

III. Funkcje rzeczywiste

Algebra abstrakcyjna

Rozdział 7 Relacje równoważności

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

Relacje. Relacje / strona 1 z 18

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

1. ZBIORY PORÓWNYWANIE ZBIORÓW. WYKŁAD 1

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

Przykładowe zadania z teorii liczb

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

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

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

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Zdarzenia losowe i prawdopodobieństwo

Logarytmy. Historia. Definicja

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

1. Wykład NWD, NWW i algorytm Euklidesa.

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

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

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

Wykład 5. Ker(f) = {v V ; f(v) = 0}

Elementy logiki i teorii mnogości

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

6. FUNKCJE. f: X Y, y = f(x).

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne.

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.

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:

Pytania i polecenia podstawowe

1. Pochodna funkcji. 1.1 Pierwsza pochodna - definicja i własności Definicja pochodnej

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

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Technologie i systemy oparte na logice rozmytej

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

Roger Bacon Def. Def. Def Funktory zdaniotwórcze

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

Funkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa.

LX Olimpiada Matematyczna

Treści programowe. Matematyka 1. Efekty kształcenia. Literatura. Warunki zaliczenia. Ogólne własności funkcji. Definicja 1. Funkcje elementarne.

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

Wykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0

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)

Działanie grupy na zbiorze

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Logika binarna. Prawo łączności mówimy, że operator binarny * na zbiorze S jest łączny gdy (x * y) * z = x * (y * z) dla każdego x, y, z S.

Równoliczność zbiorów

1.1 Definicja. 1.2 Przykład. 1.3 Definicja. Niech G oznacza dowolny, niepusty zbiór.

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

Treści programowe. Matematyka. Literatura. Warunki zaliczenia. Funkcje elementarne. Katarzyna Trąbka-Więcław

Analiza funkcjonalna 1.

Teoria ciała stałego Cz. I

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Definicja i własności wartości bezwzględnej.

Działanie grupy na zbiorze

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.

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Transkrypt:

Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację przynależności do zbiory zapisujemy następująco x X, i czytamy: x jest elementem zbioru X (lub x należy do zbioru X ). Zaprzeczeniem tego zdania jest x nie należy do zbioru X co zapisujemy jako x X. Zbiór którego elementami są x,, 1 x n będziemy oznaczać w następujący sposób { x1,, x n}. W szczególności {} x oznacza zbiór, którego jedynym elementem jest x. Zbiór, który nie ma żadnych elementów jest oznaczany symbolem (można udowodnić, że jest tylko jeden taki zbiór). Jeżeli zbiór zawiera dużo elementów lub nieskończenie wiele, to definiując zbiór możemy użyć zapisu { x X : ( x)} co czytamy zbiór x -ów należących do X spełniających własność ( x). Na przykład X { n : n}. Oznacza zbiór liczb naturalnych podzielnych przez dwa, czyli jest to zbiór liczb naturalnych parzystych. Jeżeli pomiędzy zbiorami X oraz Y zachodzi własność x X x Y, (1.1) Tzn. jeżeli każdy element zbioru X jest elementem zbioru Y, to mówimy, że X jest podzbiorem zbioru Y ( X zawiera się w Y ). Zapisujemy to następująco X Y lub Y X. (1.) Z tego określenia wynika, że dla dowolnego zbioru mamy: X, X X. Mamy także następujący fakt X Y i Y X X Y. (1.3) Definicja. Sumą zbiorów X i Y nazywamy zbiór Z do którego należą wszystkie elementy zbioru X oraz wszystkie elementy zbioru Y. Zbiór taki oznaczamy przez X Y. Formalnie mamy zatem x X Y x X lub x Y. (1.4) Iloczynem zbiorów X i Y nazywamy zbiór Z do którego należą wszystkie te elementy zbioru X, które jednocześnie należą zbioru Y. Zbiór taki oznaczamy przez X Y. Formalnie mamy zatem

x X Y x X i x Y. (1.5) Iloczyn zbiorów nazywamy także przekrojem lub częścią wspólną zbiorów. Podstawowe prawa dodawania i mnożenia zbiorów 1) Przemienność: X Y Y X, X Y Y X. ) Łączność: ( X Y) Z X ( Y Z), ( X Y) Z X ( Y Z). 3) Rozdzielność iloczynu względem sumy 4) Rozdzielność sumy względem iloczynu 5) X X Y, X X, X X X. 6) X Y X, X, X X X. Definicja. Różnicą zbiorów X ( Y Z) ( X Y) ( X Y). X ( Y Z) ( X Y) ( X Y). X i Y nazywamy zbiór tych elementów zbioru X, które nie należą do zbioru Y. Zbiór taki oznaczamy przez X \ Y. Mamy zatem formalnie x X \ Y x X i x Y. (1.6) Często mamy do czynienia z taką sytuacją, że wszystkie rozważane zbiory są podzbiorami jednego dużego zbioru U. Na przykład w rachunku różniczkowym jednej zmiennej rzeczywistej wszystkie rozpatrywane zbiory są zawarte w zbiorze liczb rzeczywistych, U. W takim przypadku różnicę c U \ X nazywamy dopełnieniem zbioru i oznaczamy X. Z okreslenia tego mamy oczywiście c c ( X ) X. (1.7) Twierdzenie. (prawa de Morgana). Dla dowolnych zbiorów XY, zachodzą równości c c c ( X Y) X Y, c c c ( X Y) X Y. (1.8) Iloczyn kartezjański zbiorów Mając dane zbiory X, Y możemy łatwo tworzyć nowe zbiory wykorzystując poznane dotycz as operacje sumy, iloczynu czy różnicy. Okazuje się, że można zdefiniować jeszcze jedną operacje, która w istotny sposób rozszerza możliwości tworzenia nowych zbiorów. Tą operacją jest właśnie iloczyn kartezjański. Aby go wprowadzić musimy najpierw określić pojęcie pary uporządkowanej. Nieformalnie para uporządkowana elementów x oraz y jest opisana jako uporządkowany ciąg dwuelementowy ( xy, ). Precyzyjna definicję podał Kazimierz Kuratowski:

Niech X, Y będą danymi zbiorami. Jeżeli x X, y Y, to parą uporządkowaną nazywamy następujący zbiór dwuelementowy Z definicji (1.9) wynika podstawowy fakt dla par uporządkowanych ( x, y) : {{ x},{ x, y}}. (1.9) ( x, y ) ( x, y ) x x i y y. 1 1 1 1 Teraz możemy podać już formalna definicję iloczynu kartezjańskiego. Definicja. Iloczynem kartezjańskim zbiorów X i Y nazywamy zbiór wszystkich par uporządkowanych ( xy, ), takich że x X i y Y. Oznaczamy go przez X Y. Tak więc formalny zapis jest następujący Przykład Niech X {0, 1, }, Y {1, 3}. Wtedy iloczyn kartezjański X Y : {( x, y) : x X, y Y}. (1.10) X Y {(0,1),(0,3),(1,1),(1,3),(,0),(,3)}. Niech oznacza zbiór liczb rzeczywistych, który utożsamiamy ze zbiorem punktów na prostej. Wtedy możemy utożsamić z płaszczyzną. Dla zbiorów skończonych określamy moc zbioru jako liczbę jego elementów. Można to pojęcie uogólnić dla dowolnych zbiorów (nieskończonych). Moc zbioru X oznaczamy przez X (spotyka się też oznaczenia # X, X ). Mamy więc Przykład a) Jeżeli X {0,, 4}, to X 3. b) Jeżeli X {1,3,5,,99}, to X 55. X : liczba elementów zbioru X. (1.11) c) Jeżeli X {0,{0,1},{0,1,},{0,{0,1},{0,1,}}}, to X 4. Łatwo widać, że dla zbiorów skończonych zachodzi równość X Y X Y. (1.1) Definicję iloczynu kartezjańskiego można uogólnić na dowolną liczbę zbiorów. W szczególności dla n zbiorów X,, 1 X n iloczynem kartezjańskim nazywamy zbiór wszystkich n -elementowych układów uporządkowanych ( x1, x,, x n) takich, że xi Xi dla i 1,, n. Mamy więc z definicji X X : {( x,, x ) : x X i 1,, n}. (1.13) 1 n 1 n i i

Zadania 1) Niech X n. Uzasadnić, że wtedy PX ( ) n gdzie PX ( ) oznacza zbiór potęgowy. ) Obliczyć moce podanych zbiorów A { 30, 8, 6,,18, 0} B n n 6 { : 10 } C x x x x 3 { : 0} D x x 6 { : 1 0} X {,{ },{{ }}} 3) Uzasadnić następujące tożsamości dla zbiorów a. ( A B) \ C ( A\ C) ( B \ C). b. A\ ( B \ C) ( A\ B) ( A C). c. ( A\ B) C (( A C) \ B) ( B C). d. A ( B C) ( A B) ( A C). e. A ( B C) ( A B) ( A C). f. A ( B \ C) ( A B) \ ( A C). 4) Uzasadnić, że A B A\ B A B B. Relacje Przypomnijmy, że iloczyn (produkt) kartezjański A B zbiorów A i B jest to zbiór wszystkich uporządkowanych par A B {( a, b) : a A i b B}. Analogicznie określa się produkt n zbiorów A1 A A n, który składa się z uporządkowanych n ek. Możemy teraz podać teoriomnogościową definicję relacji (skoncentrujemy się tylko na przypadku relacji dwuargumentowych). Definicja. Relacją (dwuargumentową) nazywamy podzbiór iloczynu kartezjańskiego X Y, a więc X Y. Gdy mamy zdefiniowaną relację i jeżeli para ( xy, ), to mówimy, że x jest w relacji z y. Przykłady a) Relacja mniejszości w zbiorze liczb rzeczywistych. Na przykład mamy (, 5) ale w praktyce piszemy: 5.

b) Relacja podzielności w zbiorze liczb całkowitych. Mamy przykładowo (3, 6), (3, 7). Oczywiście piszemy raczej tak: 3 6 czy 3 / 7. c) Relacja prostopadłości, relacja równoległości, relacja zawierania się zbiorów. d) Relacja pusta w zbiorze X, tzn. (czyli żadne dwa elementy nie są w relacji); relacja totalna X X (czyli każde dwa elementy x, y X są ze sobą w relacji. Gdy mamy dane dwie relacje 1 X Y, Y Z, to superpozycją (złożeniem) relacji 1 i nazywamy taki podzbiór X Z, że 1 Możemy to wyrazić też tak {( x, z) X Z : y Y ( x, y) oraz ( y, z) } 1 1 x z y Y : x y oraz y z. Gdy X Y Z, można utworzyć relację, którą oznaczać też będziemy przez. Różne typy relacji Relacja X X jest i) zwrotna (refleksywna), gdy x : x x ii) symetryczna, gdy x, y : x y y x iii) przechodnia, gdy x, y, z : x y i x y x z iv) spójna, gdy x, y : x y lub y x v) asymetryczna, gdy x, y : x y ~ ( y x) Przykłady 1) Relacje zwrotne: równoległość prostych, zawieranie się zbiorów, prostopadłość prostych, podzielność. ) Relacje symetryczne: równoległość prostych, prostopadłość prostych, relacja pokrewieństwa. 3) Relacje przechodnie: równoległość prostych, zawieranie się zbiorów, relacja podzielności, relacja mniejszości w, relacja większości w. 4) Relacje spójne: słaba mniejszość ( ). 5) Relacje asymetryczne: relacja mniejszości ( ), relacja bycia potomkiem. Relacja równoważności Jednym z ważniejszych typów relacji w matematyce są tzw. relacje równoważności. Można powiedzieć, że jest to pewnego rodzaju uogólnienie pojecie równości. Definicja. Relację w zbiorze X nazywamy relacją równoważności, jeśli jest ona zwrotna, symetryczna i przechodnia. Przykłady

Następujące relacje są relacjami równoważności: 1) równość w dowolnym zbiorze, ) podobieństwo figur geometrycznych, 3) relacja podzielności modulo n (tzw. kongruencja), 4) relacja równoległości prostych. Funkcje Jak już wiemy ścisłe pojęcie relacji jest sformalizowaniem na gruncie teorii mnogości intuicyjnego pojęcia związku pomiędzy obiektami. Pojęcie funkcji będzie zaś odpowiednikiem intuicyjnego pojęcie przyporządkowania. W taki bowiem intuicyjny sposób określa się funkcję w szkole ( jest to przyporządkowanie, które ). Podobnie jak w przypadku relacji, funkcję będziemy utożsamiali z jej wykresem, czyli ze zbiorem uporządkowanych par. Ale oczywiście nie każda relacje będzie funkcja. Podstawową własność wyróżniającą funkcje ze zbioru relacji jest prawostronna jednoznaczność. Definicja. Funkcją f ze zbioru X do zbioru Y nazywamy relację w X Y, która jest prawostronnie jednoznaczna, tzn. f X Y : Pamiętając, że zapis x f y jest skrótem zapisu ( x, y) jednoznaczności zapisać następująco x, y, z : ( x f y oraz x f z ) y z. (1.14) x, y, z : (( x, y) f oraz ( x, z) f )) y z. f możemy warunek prawostronnej W matematyce spotyka się często dla pojęcia funkcji inną nazwę odwzorowanie. Możemy więc słowa: funkcja i odwzorowanie używać zamiennie. Przykład Rozważmy zbiory X {1,,3,4}, y { a, b, c}. Relacja R X Y jest funkcją, ale relacja S nie jest funkcją. R {(1, a), (3, a), (4, b)}, S {(1, a), (, c),(1, b)}, Wprowadzimy teraz bardzo użyteczne oznaczenie: funkcję f ze zbioru X do zbioru Y oznaczamy następująco f : X Y Z warunku (1.14) wynika, że dla funkcji możemy zamiast zapisu x f y używać notacji y f ( x), który odczytujemy jako y jest wartością funkcji f dla argumentu x.

W przypadku funkcji zdefiniowanych w zbiorach liczbowych często posługujemy się wzorem do określenia funkcji. Na przykład f :, f ( x) x 1. W szczególności mamy wtedy f (3) 7, f ( 5) 9. Zadania 1) Wypisać wszystkie możliwe relacje w zbiorze X, gdzie X {1, }. ) Dane są dwa zbiory skończone: X n, Y m. Ile jest wszystkich możliwych relacji w zbiorze X Y? 3) W zbiorze X zdefiniowana jest relacja w sposób następujący x R y x y 0. Podać, którą z własności (zwrotność, symetria, przechodniość, asymetria, spójność, prawostronna jednoznaczność) posiada ta relacja. 4) Sprawdzić, która z następujących relacji, określonych w zborze liczb całkowitych, jest relacją równoważności: x y, x y 3, x y 5, x y 1. 5) Dane są zbiory X {1,,3}, Y {1,}. Wypisać wszystkie relacje f X Y, które są funkcjami. 6) Czy relacja w zbiorze liczb rzeczywistych R określona następująco jest funkcją? x R y x y Funkcja odwrotna Definicja. Funkcję f : X Y nazywamy a) injekcją, gdy ma następująca własność b) surjekcją, gdy ma następującą własność x, x X : f ( x ) f ( x ) x x. 1 1 1 y Y x X : f ( x) y. c) Funkcję nazywamy bijekcją wtedy i tylko wtedy, gdy jest iniekcją i surjekcją Jeżeli funkcja jest injekcją, to mówimy też, że jest różnowartościowa. Dla funkcji, która jest suriekcją używa się też określenia, że jest funkcją na zbiór.

Niech f : będzie dana wzorem a) Czy f jest surjekcją? b) Czy f jest różnowartościowa (iniekcja)? c) Jeżeli f jest bijekcją, to wyznaczyć Rozwiązanie Ad a) x dla x, f( x) x dla x. 1 f (funkcję odwrotną). Niech y będzie dowolną liczbą rzeczywistą. Czy istnieje wtedy x Df taki, że f ( x) y? Sprawdzamy: Gdy y, to x y, x x y( x ), x yx y, x( y) y, y x. y Gdy y, to weźmy x, bo f ( x) f () y (z definicji funkcji f ). Tak wiec pokazaliśmy, że dla dowolnego y należącego do istnieje x należący do dziedziny funkcji f taki, że f ( x) y. To oznacza, że funkcja f jest surjekcją. Ad b) Niech f ( x1) f ( x). Musimy pokazać, że z tej równości wynika x x. 1 Jeżeli x1 i x, to Wtedy x1 x. x x 1

(x )( x ) (x )( x ), 1 1 x x 4x x x x 4x x, 1 1 1 1 4x x 4 x x, 1 1 4x x 4 x x, 1 1 3x 3 x, 1 x x. 1 Jeżeli x1 i x, to x x. Wtedy ( x ) x, x 4 x, 4 1, czyli otrzymaliśmy sprzeczność, tak więc, gdy x1, to wtedy też musi być x. Podobnie pokazujemy, że nie może być sytuacji x1 i x. W takim razie podana funkcja jest różnowartościowa (iniekcja). Ad c) Z punktów a) i b) wynika, że funkcja jest jednocześnie surjekcją i iniekcją (różnowartosciowa0, więc z definicji oznacz, że jest bijekcją. Z rachunku w punkcje Ad a) wynika również jaka jest postać funkcji odwrotnej: f y dla y, ( y) y dla y. Dana jest funkcja f : określona wzorem f ( x, y) ( xy, x y). Sprawdzić, czy jest różnowartościowa, czy jest surjekcją. Jeżeli jest bijekcją, to podać wzór na funkcją odwrotną. Rozwiązanie Różnowartościowość: widać, ze funkcja nie może być różnowartościowa, gdyż jest symetryczna, a mianowicie mamy f ( x, y) f ( y, x). Tak więc dla przykładu f(1, ) (, 3) f(, 1). Oznacza to, że różnym argumentom funkcji mogą odpowiadać te same wartości funkcji. To oznacza, że funkcja nie jest iniekcją.

Surjektywność: bierzemy dowolny element z przeciwdziedziny (, ) i pytamy się, czy istnieje element z dziedziny ( xy, ) taki, że f ( x, y) (, ). Ze wzoru funkcji oznacza to, że muszą być spełnione równania xy, x y. Widać, że układ ten nie będzie miał rozwiązania, gdy np. 0 i 0, bo wtedy mamy x y 0, czyli y x co po wstawieniu do pierwszego równania układu da Zatem funkcja nie jest surjekcją. x 0, czyli sprzeczność. Niech f : (0, ) (0, ), f ( x). Podać wzór na funkcją odwrotną. 3 x Rozwiązanie f x y y x x x y y 3 ( ) 3. 3 Tak więc f y ( y) 3. Definicja. Złożeniem (inaczej: superpozycją) dwóch funkcji f : X Y i g : Y Z nazywamy funkcję g f : X Z określoną następująco: Przykłady x X : ( g f )( x) g( f ( x)). Niech h( x) sin( x). Widać, że h g f, gdzie f ( x) x, g( x) sin x. Niech h( x) ln(ln x). W tym przypadku obie funkcje są takie same, f ( x) g( x) ln x. Należy tylko uważać na poprawne określenie dziedzin i przeciwdziedzin. f :(1, ) (0, ), f ( x) ln x, g : (0, ), g( x) ln x. Można udowodnić następujące podstawowe twierdzenie dotyczące funkcji odwrotnej. Twierdzenie. Funkcja f : X Y jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja g : Y taka, że g f id oraz f g id. X Y X

Funkcja taka jest tylko jedna i jest ona funkcja odwrotną, czyli 1 f g. Zauważmy, że z twierdzenia tego wynika, że funkcja odwrotna jest określona przez spełnianie następujących tożsamości f f x x x X ( ( )) dla, f f y y y Y ( ( )) dla. Zadania 1) Niech f : będzie określona następująco x 5 dla x, x 1 f ( x) 7 dla x, dla x. Pokazać, że f jest bijekcją oraz wyznaczyć f. x ) Niech f, g: będą funkcjami określonymi wzorami gx ( ) x oraz Utworzyć złożenia g f, f g. 3) Określić największą możliwie dziedzinę x dla x, f( x) x x dla x. X i przeciwdziedzinę Y dla funkcji danej wzorem f ( x, y) ( x y, xy) tak, aby f : X Y była bijekcją. Obliczyć dla takich zbiorów f.