Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział3
Relacje
3.1
Podstawowedefinicje
Relacjęn-argumentową,gdzienN+,definiujemyjakodowolnypodzbióriloczynukartezjań-
skiegozbiorówX1XX2...XXn.PrzykładamirelacjiwprzestrzeniRnnaprzykładzbiory:
R11j
R21{(0j0j...j0)j(1j0j...j0)}
R31{(x1jx2j...jxn):x11x21...1xn}
R41{(x1jx2j...jxn):xiQjź{1j2j...jn}}
Definicja3.1NiechXiYbędązbiorami.Relacjądwuargumentową(binarną)nazywamydo-
wolnypodzbiórRiloczynukartezjańskiegoXXY.Mówimywtedy,żeelementyxXjgX
wrelacjiR,cozapisujemy(xjg)R-używamytakżenotacjixRgzamiast(xjg)R.
Wniniejszejksiążceskoncentrujemysięnarelacjachdwuargumentowychorazpewnychszcze-
gólnychrodzajachrelacji,któreodgrywająbardzoważnąrolęwmatematyce.Relacjetakże
dobrymiużytecznymnarzędziemdoopisywaniaiobrazowaniasytuacjiwróżnychdziedzinach
nauki.PrzyjmijmyzazbiórXludzizamieszkującychnasząplanetę.Pomiędzyobiektamitego
zbiorumożnarozpatrywaćpewnerelacjeitraktowaćjejakoparyuporządkowanezezbioruXXX,
np.powiemy,żedwieosobywrelacjiR,gdymajątensamwzrostlub,innyprzykład,pozo-
stajązesobąwrelacji,gdytejsamejpłci.Jeszczeinnymprzykłademjestrelacja,którapolega
natym,żedwieosobywrelacji,gdyoddałygłosnategosamegokandydatawwyborach.
JakozbiórXmożnarozważaćnaprzykładdowolnyzbiórliczbowy.Jeśliustalimy,żeX1N+,
tomożemyrozważyćrelacjęRpomiędzyliczbamimjnztegozbioruokreślonąwtensposób,
żemRnwtedyitylkowtedy,gdym|n.Wtymsamymzbiorzemożnaokreślićrelacjęmiędzy
elementamimjn,przyjmując,żemRnwtedyitylkowtedy,gdymjnliczbamipierwszymi
takimi,żemn12(sątotzw.liczbybliźniacze).Przykłademparnależącychdotejrelacji
np.(3j5),(5j7).
Definicja3.2DziedzinąrelacjiRXXYnazywamyzbiórDR1{xX:yY(xRg)}.
Definicja3.3PrzeciwdziedzinąrelacjiRXXYnazywamyzbiór:D
11
R
1{gY:xX(xRg)}.
JeżeliXiYniepustymi,skończonymiidyskretnymizbiorami,torelacjęwygodniejest
przedstawiaćwpostacitablicy.Naprzykład,niechX1{ajb}iY1{cjdje}orazR1
{(ajc)j(bjd)j(bje)}.RelacjęRmożnaprzedstawićnastępująco:
39