Пусть a-люб. мн., и пусть зад мн Х, тогда если сущ. отображение A в->Х, то говорят что задано индексированное мн. Эл. из Х.
f: A в->X f(<альфа>)=X<альфа> э X
/-\ - семейство сост. из. мн., если сущ отображение Y в->/-\, то задано индексир. сем. множеств.
/-\={Xi}iэY
x1={1,2,3…}
x2={2,3,4…}
xn={n,n+1,n+2,…}
i=N U ({Xi}iэN) Xi=X1
2<=3. Пусть Х не пустое мн. Р-бинароное отношение мн. Х. Будем наз Р – отнош. частичного порядка, если оно удовл. 3-м усл.:
1. Р реорлексивно /\xcP; (все хэХ, (х,х)эР)
2. Р перазинтивно P^2cP; ((x,y)эP&(y,z)эP)=>(x,z)эP
3. Р антисимметрично PлP^(-1)=/\x (x,y)эP&(y,x)эP=>(x=y)
(x,y)эP&(y,x)эP – возм., поэтому говор. отнош. частичного порядка.
1)Отношение в пл. в алгебре мн.
Если A вкл.(в пл.) B и B вкл. в A, то отнош. совпадают. (A;B)эP<=>(AcB)
2)Отнош. делит. в мн. целых чисел mэn<=>(n=km)(Еk)
(m,n) не эРу
(n,m) не эРу
Отнош. частичного порядка Р наз. множ. порядков если для других Эл. все(x,y)эХ, (х,у)эРv(y,x)эР
3) PлP^-1=/\х (x,<=); AcX, A<>о (пустому мн.-ву)
|
