Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
24
I.Wstępdomatematyki
1.2.3.Funkcja.NiechXjYbędądowolnymizbiorami,afX×Ybędzie
relacjąonastępującejwłasności:
(1)
^
^
^
[(xfg1xfg2)g1=g2].
xX
y1Y
y2Y
Wtedyrelacjęfnazywamyfunkcją(odwzorowaniem,przekształceniem).Ponieważ
ustalonemuelementowixXodpowiadaconajwyżejjedenelementgwrelacji
f,więcwprzypadkufunkcjipiszemyg=f(x)zamiastxfg.
Dziedzinafunkcjifijejprzeciwdziedzinaodpowiedniodziedzinamiiprze-
ciwdziedzinamirelacjif,tzn.
Df={xX:V
g=f(x)}jVf={gY:V
g=f(x)}.
yY
xX
Wykresemfunkcjifnazywamyzbiór{(xjf(x)):xDf}.Zatemwykresfunkcji
jestzbioremidentycznymzrelacjąodpowiadającątejfunkcji.
JeżeliDf=X,tomówimy,żefodwzorowujezbiórXwYipiszemyf:X
Y.ZbiórwszystkichfunkcjiodwzorowującychXwYoznaczamysymbolemYX.
Mówimy,żefunkcjaf:XYodwzorowujezbiórXnaY(jestsurjekcją),
jeżeliVf=Y.JeżelifodwzorowujeXnaY,topiszemyf:X
−→Y.
na
Jeżelifunkcjaf:XYmanastępującąwłasność:
^
^
[x1/=x2f(x1)/=f(x2)]j
x1X
x2X
tofunkcjęfnazywamyfunkcjąróżnowartościową(injekcją)ipiszemyf:X
−→
111
Y.OdwzorowanieróżnowartościowefzbioruXnazbiórYnazywamyodwzoro-
waniemwzajemniejednoznacznymXnaY(bijekcją)ipiszemyf:X
−→
111
na
Y.
NiechfbędzieodwzorowaniemzbioruXwzbiórY,aAniepustympod-
zbioremX.Odwzorowanieg:AYokreślonewzoremg(x)=f(x)dlakażdego
xAnazywamyrestrykcjąlubobcięciemfunkcjifdozbioruAioznaczamyf|A
lubkrótkofA.
Jeżelifunkcjef:XYig:XYprzyjmujątesamewartościnazbiorze
A,tj.f(x)=g(x)dlaxA,topiszemyf=gnaA.Jeślif(x)=g(x)dlaxX,
topiszemyf=g.Natomiastjeżeliajestpewnąstałąif(x)=adlaxX,to
będziemypisaćfa.
Funkcjęf:XXokreślonąwzoremf(x)=xnazywamyidentycznościąna
zbiorzeXioznaczamyidX.
1.2.4.Ciąg.FunkcjęodwzorowującązbiórliczbnaturalnychwpewienzbiórA
nazywamyciągiemowartościachwzbiorzeA.Ponieważkażdejliczbienaturalnej
nodpowiadajedenelementanzezbioruA,więcciągjestokreślonyjednoznacznie
przezpodanieelementówa1ja2j....Ciągimożemywięcoznaczaća1ja2j...lub
(an)nNewentualnie(an).Elementya1ja2j...nazywamywyrazamiciągu.