Seçme Aksiyomu ve Eşdeğerleri

!"#$ %%
!"#! $% &'(#)
!"#! $% &'(#) *! !+,!-!./!.&
!" #$%$&
!" X #$%&'! ($)$*&+!%, - #$%& ./ 01)2-" ./ (&3!+(!", 4&3!+'&5 X #$%&'!*&
/!2 0!" 63& '&7!+&0!+!", 8!%(! 0/)#/ 0!" Y #$%&'! (/9/ ($)$*&+!%, X !+& Y *!*
#/"2&:.&* 7/";<%<*< X × Y !+& =6'2&"%!)2!#, >3&" X !+& Y (&* 0!"!'! ./ (/
!#!'! (& 01)'/ X × Y (& 01) 1+/?/#2<", >3&" 9&" !#!'! (& 01) (&3!+'&5 0!" x ∈
X @& 0!" y ∈ Y @/"(<" @& 0- !#! 63&*!* 1+-)2-"(-3- (x, y) '<"/+< 7!A2! X × Y
#/"2&:.&* 7/";<%<*/ /!22!"B (1+/.<'<.+/ 0- #/"2&:.&* 7/";<% 01) #$%& (&3!+(!",
- ($)$*$)+&5 =!(&"&#5 '1*+- '/.<(/ 0!" #$%&+&" /!+&'!*!* #/"2&:.&* 7/";<%<*<*
01) 1+%/'< !7!*5 0- #$%&+&"(&* &* /: 0!"!'!*!* 01) 1+%/'<*<* =&"&#+! @& .&2&"+!
1+(-3-*- '6.+&.&0!+!"!:, -*- 0/)#/ 2$"+$ '6.+&"'&#5 !"#$% &'()*' +", "$-'('#
./-0$012# .'1304(0# 5'16)-) +", *072$*21 (!.&0!+!"!:, C&"7&#2&*5 0-*- &"#$%
3/-0 8'1)- (9#30-2($0 #1+/.?/ =6'2&"&0!+!"!:,
D?/0/ !+# 0/#<)2/ ;&# (13/+ =6"$*&* 0- 6:&+!3!5 &"#&%4 &'()*' ./-0$01 '2$0&2
!7!* (& '6.+&.&0!+!" %!.!:E :0+21; '#'$24; 3"6"$"<2 =!0! /+/*+/"(/ 6*&%+! 0!" /"/7
1+/"/# #-++/*<+/* 0- 6:&+!# @& 0-*/ &)(&3&" 1+/* 0/)#/ 6:&+!#+&"!* @/"+<3< !';/2F
+/*/%/(<, -*-* $:&"!*&5 GHII .<++/"<*(/ D+%/* %/2&%/2!#7! =1#&3 >01-0$"
0- 6:&+!3!* 0!" /#'!.1% 1+/"/# #/0-+ &(!+%&'!*! 6*&"(!, !05-0 ?.&2("-% (!.&
/(+/*(<"<+/* 0- 6:&+!3! )6.+& !A/(& &(&0!+!"!:J
!"#!$ %%&'&'& @!05-0 ?.&2("-%A B", "$-'('# ./-0$01*0# "$%,'# +", "$C
-'('# +21 '2$0#2# .'1304(0# 5'16)-) +", *072$*21D
-*- (/9/ !.! /7<#+/%/# !7!* 9&"9/*=! 0!" {Aı : ı ∈ I} /!+&'!*!* #/"2&:.&*
7/";<%<*< /*<%'/./+<%J Πı∈I Aı !+& =6'2&"(!3!%!: 0- 7/";<%5 9&" ı ∈ I !7!* f (i) ∈
Aı #1)-+-*- '/3+/./* 0$2$*
f :I→
[
ı∈I
LNO
Aı
KLL,GM
!"#$ %%& '()$( *+',-.$/
!"
#$%&'()$%*+,-%-% $*./0.,1.2. &345 (1(6 7. f #$%&'()$%*+,-%1+% 85,9(,('(%5 9(,
!"#! $%&' ()%&* 15%(*(,6 :+,05;)5% <+,=-4-% 9$/ $*4+4+'- 1545&> 5% +; 9(,
'5<45 #$%&'()$%. ?+, 1545&0(, @9&;6 @ 6ABB
C545% 95*(,05*(4 &( +!"#! ,' ()%#*> ).&+,-1+&(%5 15%& $*+% 152(/(& 9+/&+
9(<(4*5,15 15 (#+15 51(*59(*(,6 7(,+; '$%,+ $%*+,- DE,5F52(;6
!
"#$%# &'"()*%+ ,&-.%"./0.1
4+054+0(&05 E%54*( .)D.*+4+*+,- $*+% 9(, ?+,'+)-41-,6 7.
9+&-41+%> 4+054+0(&<(*5,5 93)3& 9(, <+*-/4+ &$%.'. $*4./0.,6 7.,+1+> +!"#!
,' ()%#* (<(% 15> +-.!) /(0%1!2( (<(% 5*15 51(*5% '$%.<*+,-% 95%;5,*5,(%(% ?+,G
*-2-%- 'E)*545&*5 )50(%5F52(;6 7. '$%.<*+,> )(%5> 3*.1 456!7 @AHIJB ?5 89*7 :%;
<!& @AHK!B 0+,+#-%1+% ?5,(*4(/0(,6 :-'+F+ E;50*5,'5&> 456!7> :345*5, :.,+4-%-%
+&'()$4*+,-%+ L5<45 M&'()$4. 5&*5%1(2(%15 '('05415 9(, <5*(/&( 1$24+1-2-%-N
)+%(> :345*5, :.,+4-%-% E05&( +&'()$4*+,-)*+ 9(,*(&05 L5<45 M&'()$4.%.%
"!7(=#!2 >(. ( 1!# $*./0.,1.2.%. DE'05,1(6 :%<!& ('5> L5<45 M&'()$4.%.%>
:345*5, :.,+4-%-% E05&( +&'()$4*+,-%1+% >9?@# @2 $*1.2.%. DE'05,1(6 7.%+
DE,5> L5<45 M&'()$4.%. ?+,'+)+% 9(, :345*5, :.,+4- &.,.*+9(*1(2( D(9(> 9.
+&'()$4. ?+,'+)4+)+% 9(, 3-#!7!. 3*.9#@ 1+ &.,.*+9(*(,6 C5, (&( '('054 &5%1(
(<*5,(%15 0.0+,*-1-, @<5*(/45;B> +4+ 9(,9(,*5,(%15% #+,&*- '('054*5, $*.,*+,6 OAJP
+!"#! ,' ()%#*
!2 "&,(3 4*'3& 3#*1#%(
!"#$ %%&'&(& Q(&5* '-,+*- 9(, &345%(% 0345* '-,+*- 85, +*0 &345'( 9(, ;(%F(,1(,6
R;5* $*+,+&> 0345* '-,+*- 85, &345 9(, ;(%F(,1(,6
!"#$ %%&'&%&
(E, ) 0(&5* '-,+*+%4-/ '('054 ?5 a ∈ E $*'.%6 E %(% +/+2-1+&(
3< E;5*(25 '+8(= 9(, B +*0 &345'(%5 ("!.!& 9(, &345 1()5F52(;S
@(B a ∈ B
@((B f (B) ⊂ B
@(((B B (<(%15&( 85, ;(%F(,(% 5% &3<3& 3'0 '-%-,- )(%5 B )5 +(00(,6
)*+)$ %%&'&(&
(E, ) 1('!7 @.979&#@= ( 1!#( ("(&6!'( <!. 2(&A(.(& >(. - 1
f : E → E 9297#9)9& >(. $%&' ()%& ( !E f $%&' ()%&*
w ∈ E 5?! ( [email protected]
@&@.@ B9. %7 *&C D?!.
971@&69 9>(1 '979& >(.
!"#$%
x ∈ E ⇒ x ≤ f (x)
@ 6 B
(∃w ∈ E) f (w) = w
@ 6TB
('5
!"! #$%&' ()*'$ '+),+-&
!"
#$%&'&(& )*+,-./-$01023
40. a ∈ E *'-+0 +-5-$0/3 4& 0+67, 8#1&(97 +-5,0'0/02 8& a *'-+0 +780, :7$797:;
,<.3 E (0( 8=,=( 05-.-( 7$, :=/-$-.0(%-( #$&>7( 70$-1- B %01-$0/3 E :=/-+0(0(
!"#"$ 80. :=/- #$%&'& 7675<:,<.? 17(0 B 70$-+0 8#> %-'0$%0.3 @#$7197 )*.=$-9-'0
=2-.- 05-.-( :=/-$-.0( 7.7:-+0,0 %- 05-.-( 80. :=/-%0.? *1$-1+-A
A = ∩B = ∩{B : B ∈ B}
B 3CD
7.7:-+0,0A -( :=5=: 05-.-( :=/-%0.3 E0/%0
A = {x ∈ E | a x}
B 3!D
:=/-+0(0 %=>=(-$0/3 4&(&( 05-.-( 80. :=/- #$%&'&(& )*+,-.-9-'02A a ∈ A
#$%&'& 7675<:,<.? 17(0 A :=/-+0 B0D :#>&$&(& +7'$7.3
A :=/-+0(0( F- f G#(:+01#(&(&( ,7(</<(%7(A H-. x ∈ A 050( a x f (x) ∈
E 5<:7.3 I1$-1+- f (A) ⊂ A #$&.? 17(0 (ii) :#>&$& +7'$7(<.3
J#( #$7.7:A A 050(%- H-.H7()0 80. Z 20(90.0 7$7$</3 Z (0( -( :=5=: =+, +<(<.<
t #$+&(3 K'-. t ∈
/ A #$+71%<A A (<( ,7(</< )-.-'0(9-A t ≺ a #$&.%&3 I,- 17(%7(A
H-. r ∈ Z 050( r t %0.3 E& H7$%-A H-. r ∈ Z 050( r t ≺ a #$797:,<.A :0 8&A A
:=/-+0 Z 10 :76+7/72A %-/-:,0.3 4& 5-$0>:0 :78&$=/=2%-( )-$%0'0(- )*.-A t ∈ A
#$/7$<%<.? 17(0 (iii) :#>&$& %7 +7'$7(<.3
4*1$-9- A (<( 05-.-( 80. :=/- #$%&'& )*.=$=1#.3 LH7$%-A -( :=5=: 05-.-(
:=/-10 :76+7.? 17(0 A ⊂ A %<.3 4&.7%7(
B0FD x ∈ A ⇒ a x
#$%&'& 5<:7.3 E0/%0 %- 80. P :=/-+0(0 >*1$- ,7(</$717$</M
P = {x ∈ A | (y ∈ A ∧ y x) ⇒ f (y) x}
B 3ND
4& :=/-(0( 8#> #$/7%<'</ )*./-: 050(A *.(-'0(A
a∈P
B 3OD
#$%&'&(& H-/-( )*+,-.-80$0.023 P-.5-:,-(A B0FD )-.-'0(9-A H0580. y ∈ A 050( y ≺ a
#$7/71797'<(%7(A B 3ND ,7(</<(%7:0 *(-./- %#'.& #$&.3
4&.7%7( H-/-( )*.=$-9-'0 =2-.-A a *'-+0A P (0( -( :=5=: *'-+0%0.3 E0/%0
P 050(%- +780, 80. p *'-+0 +-5-$0/ F- 8&(7 87'$< #$7( 80. Mp :=/-+0(0 >*1$,7(</$717$</M
Mp = {m ∈ A | m p ∨ f (p) m}
B 3QD
R-#.-/0( 0+67,<(< 7>7'<%7:0 8-> 7%</%7 ,7/7/$71780$-9-'023
!"#$%& Mp 05-.-( 80. :=/-%0.3
a *'-+0A P (0( -( :=5=: *'-+0 #$%&'&(%7(A a p %0.3 I1$-1+-A B 3QD %-(A
a ∈ Mp #$&.3 S-/-: :0 Mp :=/-+0 (i) :#>&$&(& +7'$<1#.3
E0/%0 Mp (0( (ii) :#>&$&(& +7'$7%<'<(< )*+,-.-$0/3 T-.H7()0 80. m ∈ Mp
+-5-$0/3 U5 %&.&/ F7.%<.M
!"#$ %%& '()$( *+',-.$/
!"
!"#$#%& #$%& f (p) m '(%) * + , -%.) f (p) m f (m) /01&) 2' 31
* +4, 5%&%$'.6% f (m) ∈ Mp /078(9 -%7%2:'&+
'!"#$#%& m = p '(% f (m) = f (p) /01&+ ;<(8 p ∈ Mp =% f (p) ∈ Mp
/0-1$1 * +4, -%. >%7%. 5?&@0@&+
(!"#$#%& m ≺ p '(%) p ∈ P /0-1$1.-8.) * +!, 5%&%$'.6%) f (m) p
/08682:9&) 2' 31 * +4, -%. f (m) ∈ Mp /078(9 -%7%2:'&+
A?<0%6% f (Mp ) ⊂ Mp B928&+
C'7-' -% p ∈ Mp .'. (iii) 2/D101.1 (8$08-9$9.9 5?(:%&%0'7+ N 2@7%(') Mp
'B'.-% >%&>8.5' 3'& E'.6'& =% N .'. %. 2@B@2 @(: (9.9&9 u /0(1.+ N ⊂ Mp
/0-1$1.-8.) * +4, 5%&%$'.6%) '2' -1&17 -@D@.@0%3'0'&F
G8 >%& y ∈ N 'B'. y p -'& <8 -8 f (p) y 2/D101.1 (8$08<8. 38E9
y ∈ N ?$%0%&' =8&-9&+ A'&'.6' -1&17 =8&(8) p) N 2@7%('.'. 3'& @(: (9.9&9-9&H
-/08<9(9<08) p) N .'. %. 2@B@2 @(: (9.9&9.-8. 2@B@2 /0878EH <8.' u p -'&+
A1 -1&17-8) * +4, 5%&%$'.6%) u ∈ Mp /01&+ I2'.6' -1&17 =8&(8H <8.' 38E9
*3%02' -% >%&, y ∈ N 'B'. f (p) y 2/D101 (8$08.9</&(8) y u /0-1$1.-8.)
<'.% f (p) u /08682:9&+ A1 -1&17-8 -8) * +4, 5%&%$'.6%) u ∈ Mp /01&+
A?<0%6% Mp .'.
!"#"$
3'& 2@7% /0-1$1.1 5?(:%&7'D /01</&1E+
'!)*+%& Mp = A -9&+
J+K-97-8. Mp ∈ B B928&+ ;>80-% * +L, 5%&%$'.6% Mp ⊃ A /08682:9&+
;<(8 * +4, -%.) Mp ⊂ A /08&82 :8.9708.79D:9&+ M%7%2 2' Mp = A -9&+
A1 %D':0'2:%. D1 ?E%0'$' <8E83'0'&'EF
*=, (x ∈ P ∨ z ∈ A) ⇒ (z x ∨ f (x) z)
(!)*+%& P = A -9&+
a ∈ P /0-1$1.1 * +N, -%. 3'0'</&1EH <8.' P 2@7%(' (i) 2/D101.1 (8$08&+
C'7-' P .'. (ii) 2/D101.1 (8$08-9$9.9 5?(:%&%0'7+ O%&>8.5' 3'& x ∈ P
=%&'0('.) f (x) ∈ P /0-1$1.1 5?(:%&%6%$'E+ A1.1. 'B'.) * +!,, 5%&%$'.6%)
(z ∈ A) ∧ (z ≺ f (x)) ⇒ f (z) f (x)
* +P,
/0-1$1.1 5?(:%&7%0'<'E) *=, 5%&%$'.6%) x ∈ P =% z ∈ A =8&(8<97979E <8
z x <8 -8 f (x) z /078(9.9 5%&%2:'&'&+ ;<(8 '2'.6' -1&17 z ≺ f (x)
/0-1$1 28310@7@E% 8<08&9-9&+ M%7%2 2' <80.9E68 z ≺ x -1&171 =8&/083'0'&+
x ∈ P /0-1$1.-8.) %$%& z x '(%) * +!, =% * + , -%. f (z) x f (x)
/01&+ #$%& z = x '(% f (z) = f (x) /01&+ A?<0%6% x ∈ P '(% f (x) ∈ P /0-1$1H
<8.' f (P ) ⊂ P /0-1$1 5?&@0@&+
Q/. /08&82) P .'. *''', 2/D101.1 (8$08-9$9.9 5?(:%&%0'7+ P 'B'.-% 3'& F
E'.6'&' =%&'0('.+ F .'. %. 2@B@2 @(: (9.9&9.8 v -'<%0'7) v ∈ P /0-1$1.1
5?(:%&7%2 'B'.) * +!, <8 5?&%)
(z ∈ A ∧ z ≺ v) ⇒ f (z) v
* +J",
!"! #$ %& &'(&)&*+&*,
!"
#$%&'&(& )*+,-./-$01023 456 %-( 7-/-( )*.8$-9-'0 82-.-3 7-. x ∈ F 0:0( 1;
z x 1; %; x f (x) z #$;9;<,=.> ?'-. 0<0(90+0 +;'$;(=1#. #$+;1%= v z
#$&.%&3 <0 @& <;@&$8/82- ;1<=.=%=.> A7;$%- 7-. x ∈ F 0:0( z x #$;9;<,=.>
?'-. z ≺ x 0+- f (z) x v 4P (0( ,;(=/=(%;(6 #$&.> ?'-. z = x 0+- z 6= v
#$%&'&(%;(3 F 0:0(%- *1$- @0. y *'-+0 5;.%=. <0 z ≺ y #$&.B ;<+0 7;$%- F (0(
-( <8:8< 8+, +=(=.= v %-'0$ z #$/;$= 0%03 <0 @& #$;/;2> A7;$%- f (z) y v
#$;9;<,=.> C-/-< <0 7-. 0<0 7;$%- %- 4 >"D6 +;'$;(=1#.B E1$-1+- v ∈ P %0.>
F*1$-9- P (0( !"#"$ @0. <8/- #$%&'& )*+,-.0$/0G #$/;<,;%=.B %#$;1=+=1$;
4 >H6 %-( P ⊃ A :=<;.> A1+; 4 >!6 ,;(=/=(%;( P ⊂ A %=.> C-/-< <0
P = A %=.>
!"#$%& A <8/-+0 E 0:0(%- @0. 20(90.%0.>
A = P #$%&'&(& %8G8(8.+-< 456 %-( 7-. x, z ∈ A 0:0( 1; z x 1; %;
x f (x) z :=<;.B 1;(0
x, z ∈ A ⇒ (z x) ∨ (x z)
4 >""6
#$&.3 <0 @&3 A (=( E 0:0(%- ,;/ +=.;$= @0. ;$, <8/- #$%&'&(&3 %#$;1=+=1$;
@0. % $& # #$%&'&(& +*1$-.>
'!"#$%& A (=( -( <8:8< 8+, +=(=.= f (0( +;@0, @0. (#<,;+=%=.>
A /( -( <8:8< 8+, +=(=.=(; w %01-$0/> A <8/-+0 0:-.-( #$%&'&(%;(3 w ∈ A
5- %#$;1=+=1$; f (w) ∈ A %=.> ?( <8:8< 8+, +=(=. ,;(=/=(; )*.- f (w) w
#$/;< 2#.&(%;%=.> A1+; 4 > 6 %-(3 w f (w) %=.> *1$-1+- w = f (w)
#$;9;<,=.>
!" #$ %& '()'*'+,'+I;,-/;,0'0( @0.:#< J.#@$-/0(%- %#'.&%;( %#'.&1; K-:/- L<+01#/& 4KL6 <&$M
$;(=$/;2> K-:/- L<+01#/& 1-.0(- #(; -G%-'-. #$;( @;2= *2-$0<$-. <&$$;(=$=.>
N-.:-<,-3 K-:/- L<+01#/&(&( -G%-'-.$-.0 J-< :#<,&.> L(9;< @&.;%;3 :#< +=<
<&$$;(=$;( 8: ,;(-+0(0 5-./-<$- 1-,0(-9-'02>
()*+%* ,,! !-!
'()*+,)-
.$"#/"0"# 1 #1 #0"# $" "(,"*"#, #2
." .*/%* "01234%5& F#G #$/;1;( <8/-$-.%-( #$&G;( @#G #$/;1;( @0. ;0$-(0(
<;.,-21-( :;.J=/= @#G %-'0$%0.>
67 6851#4+9 7:3:0/*;20 <;0*12& F#G #$/;1;( ,0<-$ +=.;$;(/=G 7-. <8/0:0(%- %;0/; @818<:- 4/;<+0/;$6 @0. 20(90. 5;.%=.>
=> =4+) >*4+*%2& F#G #$/;1;( 5- 7-. 20(90.0 @0. 8+, +=(=.; +;70J #$;( ,0<-$
+=.;$;(/=G @0. <8/-(0( @818<:- @0. *'-+0 5;.%=.>
?@ <32 .$+8;8%8 >*4+*%2& OP-./-$#Q R-. <8/- 010 +=.;$;(;@0$0.>
!"#$ %%& '()$( *+',-.$/
!
!"#$% "# $%&' ()*&+*),) -,&-,&.*&,)* $*)/ 0.$#1#)# ,234'.4+4/ ,5,) 6# 27&487
,9.*8*:*1,9;
[SA] ⇒ [HB] ⇒ [ZT ] ⇒ [W O] ⇒ [SA]
!
⇒ "#
!"#! $%&'()#*+* <4&2484&24/= >%2'*&*:*1,9 /, -06 0.+484) ',/*.
27&4.4)+76 ?*& /@+* ,5,)$* ,-(-%"! ,'. /'+0'. <4&$7&A "#)# -,&49 $4?4 457/B
.484.7+; (L, ) ',/*. 27&4.4)+76 -,& /@+* 0.2#)A L ,5,)$*/, -@'@) 9,):,&.*&B
$*) 0.#64) 4,.*8* L $,8*.,+C 84), L = L ),) '@+*. D'4+E 27&4.7 -@'@) 4.'
/@+*.*&,),) 4,.*2, 0.2#)A L 4,.*2, /4324+4 -417)'727)4 >%&* ',/*. 27&4.7$7&A
F%2'*&*:*1,9 /, (L , ⊂) ',/*. 27&4.4)+76 2,2'*+,),) -,& ,-(-%"! 12!&' <4&$7&A
G234'7 )3#4(4+4 !.5' 8%)'*+,8.* 8434:4179A (L , ⊂) ',/*. 27&4.4)+76 2,2B
'*+,),) -@8@/5* -,& %1*2, <4& 0.+427)A "# $#&#+$4 ?*& A %1*2,)$*)
D/@+*2,)$*)E $4?4 -@8@/ 0.4)C 84), A ⊂ B 0.4)= -,& B ∈ L /@+*2,
$4,+4 <4&0.4:4/'7&A "#)4 >%&*= ?*& A ∈ L ,5,)
LA = {B ∈ L | A * B}
D AH E
∅=
6 LA ⊂ L
D AHIE
A = {LA | A ∈ L }
D AHJE
4,.*2,), '4)7+.484.7+A
0.4:417 43457/'7&= %8.*82*
4,.*2, -06 0.+484) LA /@+*.*&,)$*) 0.#64) -06 0.+484) -,& 4,.*$,&A !"#!
$%&'()#*+4 >%&* D AHJE 4,.*2,),) /4&'*98*) 54&37+7 -06 $*1,.$,&C 84), %8.*
-,&
[
f :L →
LA
D AHKE
A∈L
L0)/2,80)# <4&$7& /,
A ∈ L ⇒ f (A) ∈ LA
D AH!E
0.#&A D AH E <* D AH!E $*)
A ∈ L ⇒ A * f (A)
D AHME
57/4&A N824 D AHIE <* D AHKE $*)
f :L →L
D AHOE
8494-,.,&,9A D AHME /06#.# (L ⊂) 2,2'*+, ,.* -# f L0)/2,80)#)#)
7)%64 8!).!#' ),) /06#..4&7)7 241.4$717)7 >%2'*&,&A (8.*82*
(∃Ω ∈ L ) f (Ω) = Ω
4,'6
D AHPE
0.+4.7$7&A D AHME ,.* D AHOE ),) 5*.,6,/.,1,= (L . ⊂) 2,2'*+,),) -@8@/5*
-,& %1*2,),) <4& 0.+4$717 /4-#.@+@9$*) >*.+*/'*$,&A Q*+*/ /, L ),) -,&
-@8@/5* %1*2, <4&$7&A L ),) '4)7+7 >*&*1,):*= <4&.717)7 2%8.*$,1,+,9 -#
-@8@/5* %1* DL , ) ,5,)$* -,& -@8@/ 9,):,&$,&=
!"! #$ %& &'(&)&*+&*,
!"
! ⇒ "#$ !"#$%&' ()*)+,)+ -,+.#/0/
#$%&' ()(*(# 1%&0 2.%&.3/0/ +,-$.
()(/(0+12 (L , ) .+#(' ,3*$'$4536 %+* ,+,.(5 7',&42 89:+; <(*(0+4/(= %&4&4
+>+4)( %?@?# %+* 1+4/+* A$*)3*2 :& 1+4/+*+ D +'( <B,.(*('+52 8CD; 4+4 A$*,$E
@3534)$4 D 4+4 %+* ?,. ,343*3 A$*)3*F %&4$ x )+@('+52 GB,.(*(/(0+1 #+ %& x
B0(,+ (L , ) 4+4 4)*)+5. %+* B0(,+)+*2 G(*>(#.(4= x y #76&'&4& ,$0'$@$4
%+* y ∈ L \ D B0(,+ A$* 7',$@)3= D %?@?#>( %+* 1+4/+* 7')&0&4)$4 D ∪ {y}
#?5(,+ )( $@43 %$034.3,34$ <B*( %+* 6/07/& 7'&*)&2 H@,$ D %?@?#>( %+*
1+4/+* 7')&0&4)$4 %&4& #$-,$@$4 %$6#$ %+* 1+4/+* A$* 7'$5$12 H I$')( I+>
%+* y ∈ L +>+4 x y 7'$5$1F @$4+ x B0(,+ (L , ) ,+,.(5+4+4 4)*)+5.83!+9
#/3!,: %+* B0(,+)+*2
"# ⇒ %&$ S I(*I$4<+ %+* #?5( 7',&42 :?.?4 G ⊂ S × S <*$J#'(*+ +>+4)(
B@'( %+* .$4(,+4+4 A$*'30343 <B,.(*(/(0+1 #+= %& <*$J0( .(#$%?' ()(4 %$034.3=
S ?1(*+4)( %+* /*/ #;&!,!3! %$034.3,3 7'$/$#.3*2 K,-$.3 )B*. $)35)$ .$5$5E
'$@$/$0312
L2M)35N G*$J# +'( %$034.3 %+*%+*'(*+4+ .(# 7'$*$# %('+*'()+#'(*+4( <B*(= @$'431/$
<*$J#'(*'( +'<+'(45(# @(.(/(#.+*2 O4/( %+* <B,.(*+5 .$435'$@$/$031N
P0(* A= S 4+4 I(*I$4<+ %+* G <*$J0+4+4 .(5,+' (..+0+ %$034.3@$ <B*(
+@+ ,3*$'$4536 %+* $'. #?5(,+ +,(= %&4& #3,$/$= (A, G) +'( <B,.(*('+52
S #?5(,+4+4 I(*I$4<+ %+* %$034.3@$ <B*( +@+ ,3*$'$4536 %?.?4 $'.
#?5('(*+4+4 $+'(,+4+ Z +'( <B,.(*('+5N
Z = {(A, G) | G, A ⊂ S
?1(*+4)( %+* +@+ ,3*$'$5$ <*$J0+)+* }
Q 2 RS
T+5)+ Z ?1(*+4)( ≺ ,+5<(,+@'( <B,.(*(/(0+5+1 %+* %$034.3@3 6B@'(
.$435'$@$'35N 9(* A, G), (A′ , G′ ) ∈ Z +>+4

′

(a) A ⊂ A
′
′
(A, G) ≺ (A , G ) ⇔ (b) G ⊂ G′


(c) x ∈ A ∧ y ∈ A′ \ A ⇒ (x, y) ∈ G
Q 2 LS
7',&42 (Z , ) 4+4 .+#(' ,3*$'$4536 %+* ,+,.(5 7')&0& #7'$@/$ <B*?'(%+'+*2
2M)35N
A = {(Aı , Gı ) | ı ∈ I}
#?5(,+ Z +>+4)( %+* 1+4/+* 7',&42
A=
[
Aı
[
Gı
ı∈I
G=
ı∈I
)+@('+52 :& )&*&5)$ (A, G) ∈ Z )+*2 G(*>(#.(4= A ⊂ S 7'$/$03 $>3#E
.3*2 O@'(@,(= G ⊂ A × A <*$J0+4+4 %('+*'()+0+ %$034.3434 A ?1(*+4)(
!"#$ %%& '()$( *+',-.$/
!"
#$% ! "#$%&%'% #&'()*(+( ,-./'/)/ 01+*2%324 52*2624*$%7 8$3.$ #/)/
01+*2%2-$37
!"#$%# &'$()*(&(+,
x ∈ A ⇒ ∃ı(ı ∈ I ∧ x ∈ Aı ) ⇒ (x, x) ∈ Gı ⊂ G
.2) $+*2)2) 925 :(4&%7
!"#$%# !$%-.-/0%+-1%-+,
(x, y), (y, x) ∈ G ⇒ (∃ı ∈ I)(∃ ∈ I)[(x, y), (y, x) ∈ Gı ]
.(%7 ;5+& A #$% <$)6$% ,-./'/).&) 5& Gı ⊂ G 5& .& G ⊂ Gı
.$%7 =$%$)6$+$)$) ,-./'/)/ >&%+&5&-(37 =/ ./%/3.& (x, y) ∈ G >2
(y, x) ∈ G .$%7 G &)*$+$32*%$4 ,-./'/).&)? #/? x = y ,-3&+()(
02%24*$%$%7
!"#$%# 203-)*-&-+,
(x, y), (y, z) ∈ G ⇒ (∃ı ∈ I)(∃ ∈ I)[(x, y), (y, z) ∈ Gı ]
.$%7 Z #$% <$)6$% ,-./'/).&) 5& Gı ⊂ G 5& .& G ⊂ Gı ,-&6&4*(%7
=$%$)6$+$ >&%,-+/)7 =/? (x, y) ∈ Gj ∧ (y, z) ∈ G?j ,-3&+()( >2 #/
.& (x, z) ∈ G ⊂ G ,-3&+()( 02%24*$%$%7 =/%&.&)? +1< 4,)/+/
#&'()*()() #$% *$42- +(%&-&3& #&'()*(+( ,-./'/)/ +15-252#$-$%$<7
=/)/ 01+*2%324 $:$)? +1<4,)/+/ +(%&-&3&
#&'()*(+()& 01%2 A )() @2% &-* 4A32+$)$) 2) 4A:A4 1'2+$)$) ,-./B
'/)/ 01+*2%32-$5$<7 A )() #,9 ,-3&5&) #$% &-* 4A32+$)2 D .$52B
-$37 D ∩ Bı 6= ∅ ,-&6&4 924$-.2 #$% ı ∈ I >&%,-&6&4*(%7 D ∩ Bı ⊂ Bı
>2 Bı $5$ +(%&-( ,-./'/).&) D ∩ Bı ⊂ Bı )$) (Bı , Gı ) $:$).2 2)
4A:A4 1'2+$ >&%.(%7 =/)& b .$52-$3C
!"#$%# -4- .#+!*!/!&#+,
(∀y ∈ D ∩ Bı )
(b, y) ∈ Gı
.$%7 8$3.$ #/ b 1'2+$)$) D )$) (A, G) $:$).2 2) 4A:A4 1'2+$
,-./'/)/ 01+*2%262'$<7 =$% x ∈ D +2:2-$37 D4$ @&- >&%.(%C
x ∈ Aı ⇒ (b, x) ∈ Gı ⊂ G
x∈
/ Aı ⇒ (∃ ∈ I) x ∈ A ⇒ A * Aı
⇒ (A , G ) (Aı , Gı )
⇒ (Aı , Gı ) ≺ (A , G )
.$%7 b ∈ Aı , x ∈ (A \ Aı ) >2 (Aı , Gı ) ≺ (A , G ) ,-./'/).&)
E 7 FG 02%2'$)62 (b, x) ∈ G ⊂ G ,-&6&4*(%7 H5-25+2 b? D )$)
(A, G) $:$).2 2) 4A:A4 1'2+$.$%7
I7J.(3C =/).&) 1)624$ &.(3.& 4&#/- 2.$-2) >&%+&5(3-&% &-*().& (A, G) ? A
)() #$% A+* +()(%(.(%7