Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
Elementyteoriizbiorów
1.1.Zbioryirelacje
Gdyrozważamypewnąilośćobiektów,„elementów”,mówimyo„zbiorze”,
„rodzinie”,„mnogości”.Mówimynp.ozbiorzestudentówznajdującychsięw
auli,zbiorzeludziwtramwajunumer13,zbiorzezapałekwpudełku,zbiorze
kątówwielokąta,itd.
Pojęciezbiorujestpodstawowympojęciemwmatematyce.Jesttopo-
jęciepierwotne,awięctakie,któregoniedefiniujemy.Obiekty,którenależą
dodanegozbiorunazywamyjegoelementami.
ZbioryoznaczamydużymiliteramiA,B,C,
...BędziemypisaćaA
zamiastajestelementemzbioruA(anależydozbioruA)oraza/∈A
zamiastaniejestelementemzbioruA(anienależydozbioruA).
Wmatematycekorzystnejestwprowadzeniepojęciazbiorupustego,któ-
ryniezawierażadnegoelementu.Możnawówczasmówićnp.zbiórliczbrze-
czywistychspełniającychnierównośćx2<0jestpusty,zamiastnieistnieje
liczbarzeczywistaxspełniającanierównośćx2<0.Zbiórpustybędziemy
oznaczaćsymbolem.
Zbiór,któregowszystkimielementamia1,...,anbędziemyoznaczać
wnastępującysposób{a1,...,an}.Wszczególności{a}oznaczazbiór,któ-
regojedynymelementemjesta.Czasaminiemożliwejestwyliczeniewszyst-
kichelementówdanegozbioru.Możnawówczaszdefiniowaćzbiórprzezpo-
daniewłasności,którąmusząmiećjegoelementyA={x:w(x)},czyliA
jestzbioremtychx,któremająwłasnośćw,np.A={x:x21<0}.
JeślikażdyelementzbioruAjestelementemzbioruB,tomówimy,że
AjestpodzbioremBlub,żeAzawierasięwB.PiszemywówczasAB
lubBA.Zdefinicjipodzbioruwynika,żezawszeAiAA.Jeśli
ABiBA,tozbioryAiBmajądokładnietesameelementy.Piszemy
wówczasA=B.Ponadtojestoczywiste,żejeśliABiBC,toAC.
NiechTiXbędązbiorami.Załóżmy,żekażdemuelementowitT
odpowiadapewienpodzbiórAtzbioruX.Zbiór,któregoelementami
zbioryAt,będziemyoznaczaćsymbolem{At:tT}lubkrócej{At}.Za-