T

is
.-!
Lots
S&
E
-

?S
"L?(E)
& (
C
1i
I
-
T
2

E E
o
A
&
&!
↑
f
I
g Logika i teoria mnogości – Ćwiczenia 9
1. Niech X będzie zbiorem zawierającym przynajmniej dwa elementy. Rozważmy U = P(X) \ {;, X} wraz
z relacją inkluzji czyniącą z U zbiór częściowo uporządkowany.
(2) (b)
-
-
element rejuighsy
rimoniesey :
isteine At P(X) ; (A) 141-1
=
nie
(a) Sprawdzić, czy U posiada element największy, a jeśli tak, to jaki. () maxicsytlic ching
(b) Sprawdzić, czy U posiada element najmniejszy, a jeśli tak, to jaki. cuszytkie singletory EP(#)
S
mini

(c) Scharakteryzować elementy minimalne i maksymalne w U . (llmin) Imax1 = /x) =

-

(d) Jeśli X jest skończony, podać liczbę jego elementów minimalnych i maksymalnych.
2. Udowodnić, że jeśli R jest częściowym porządkiem na zbiorze X, to R 1 również jest częściowym
porządkiem na X. Znaleźć zależność pomiędzy elementami wyróżnionymi (X, R) oraz (X, R 1 ).
3. Niech X będzie zbiorem zawierającym przynajmniej dwa elementy. Czy istnieje relacja R na X, która
jest jednocześnie częściowym porządkiem oraz relacją równoważności? Podać przykład takiej relacji dla
dowolnego X lub udowodnić, że nie dla każdego X taka istnieje.
4. Podać przykład zbioru częściowo uporządkowanego (X, R) zawierającego dokładnie jeden element min-
imalny, ale niezawierającego elementu największego.
ExyNXky - X =
Say Ga by : da &<YY linky : , ,
rateen

5. (To zadanie liczy się za dwa,Y jeśli poprzednie nie zostało zrobione) Podać przykład zbioru częściowo
= ,

uporządkowanego (X, R) zawierającego dokładnie jeden element minimalny oraz dokładnie jeden ele-
ment maksymalny, ale niezawierającego ani elementu największego, ani najmniejszego.
6. Udowodnić, że dowolny skończony zbiór częściowo uporządkowany zawiera przynajmniej jeden element
minimalny oraz przynajmniej jeden element maksymalny.
Wskazówka: Zastosować twierdzenie z wykładu.

7. Rozważmy zbiór T = {2, 3, 4, . . . , 15} z relacją podzielności.

(a) Narysować diagram Hessego relacji podzielności na T .
(b) Znaleźć elementy wyróżnione relacji podzielności na T .

8. (*) Udowodnić, że zdefiniowana na wykładzie relacja izomorfizmu porządkowego określona na dowolnej

rodzinie zbiorów częściowo uporządkowanych jest relacją równoważności.
9. Sprawdzić, czy następujące zbiory są częściowo uporządkowane:
(a) R z relacją R na R ⇥ R określoną dla dowolnych x, y 2 R przez xRy , x3 6 y 3 .
(b) Zbiór A = {f 2 [0, 1]⇥[0, 1] : f jest funkcją} z relacją R na A⇥A określoną dla dowolnych f, g 2 A
przez f Rg , (9x2[0,1] f (x) 6 g(y)).
(c) Zbiór A = {f 2 [0, 1]⇥[0, 1] : f jest funkcją} z relacją R na A⇥A określoną dla dowolnych f, g 2 A
przez f Rg , (8x2[0,1] f (x) 6 g(y)).

Zadamia 3 ~

varmuli podem myscioness recli

relay enroweinosi
:

XRX :
zurstre XRz
prechochria x Ry
1 = >
R2
·
·

XR2
XRy "yRz Y
=
·
proba Rx
·

symetigaa xRy
= 1
Y
· state anity syntigene
=> x = zuratre XRX
Ry" yRx
x y ·

(Ry (Ry "ye y) (xRy

-
R2)
-

v ymu
- = )
XRX =
yRx)
x = =
-x =

Odp :

XRy =
x =

y
Weing aEX VaeX : u Ra v

aRar => a =
a uRanaha Re
=> u
 -/
(a) (b)
minimaliy 2, 3 5
,
,
7 11 03
, ,

- ↑
23
maksymalry 8 ,
3 10
,
,
11
,
12 13 1 ,
,
,

najmniegszy sie
strigic

o-
↑
↑
0
- -
-↑
14 najwighsy nie
istninje

42 3
19 S m 13

12

/
8 6 1 IS 14
/1
--
2
-3
-
s 711 13