Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.4.Odwzorowania
Funkcjagf:RRprzyjmujenatomiastpostać
(gf)(x)1g(f(x))1g(x
3)1sinx3,xR.
19
Przykładtenpokazuje,żeskładanieodwzorowańniemusibyćprzemienne.
NiechAiBbędąniepustymizbiorami.Powiemy,żezbioryAiB
równoliczne,jeśliistniejeodwzorowanieodwracalne(różnowartościowe
i„nan)f:AB.
Jestoczywiste,żejeślizbioryAiBskończone,torównoliczne
wtedyitylkowtedy,gdymająsamąilośćelementów.ZbiórAnazwie-
myprzeliczalnym,jeślijestrównolicznyzpewnympodzbioremzbioruN
liczbnaturalnych.Zbiory,którenieprzeliczalne,nazywamynieprze-
liczalnymi.Wykażemypóźniej,żekażdyniezdegenerowanyprzedziałna
prostej(tj.ododatniejdługości)jestnieprzeliczalnyijestrównoliczny
zR,atakżepokażemy,żezbiórliczbwymiernychjestrównolicznyzN.
Terazzauważmy,żezbiórZwszystkichliczbcałkowitychjestrównoliczny
zN.Funkcjaf:ZNdanawzorem
(
I
I
2k+2dlak{−1,2,...},
f(k)1
4
I
I
l
2k1
2
dlak10,
dlakN,
jestbowiemodwracalna.
Rozważmyterazjeszczejednąoperację(opróczn,ni\n)two-
rzenianowychzbiorów.Operacjatazwanajestiloczynemkartezjańskim
(lubproduktem)zbiorów.NiechXiYbędądowolnyminiepustymizbio-
rami.IloczynkartezjańskizbiorówXiYoznaczamysymbolemXXY
idefiniujemynastępująco:
XXY:1{f:{1,2}XY:f(1)Xf(2)Y}.
(1.1)
KażdeodwzorowanieF:{1,2}XYspełniającewarunkif(1)X
if(2)Ynazywamyparąuporządkowaną(elementówzbioruXY)
Paryuporządkowanebędziemyzapisywaćwpostaci(f(1),f(2)),aozna-
czającf(1)1xorazf(2)1y,możemyiloczyn(1.1)zapisaćnastępująco:
XXY1{(x,y):xXyY}.