Θεωρία Συνόλων

Ενότητα: Ισοπληθικότητα

Γιάννης Μοσχοβάκης

Τμήμα Μαθηματικών
Θεωρία Συνόλων

Σημειώματα
Σημειώμα ιστορικού εκδόσεων έργου

Το παρόν έργο αποτελεί την έκδοση 1.1. ΄Εχουν προηγηθεί οι κάτωθι εκδόσεις:

• ΄Εκδοση 1.0 διαθέσιμη στο σύνδεσμο http://www.math.ucla.edu/ ynm/lectures/g.pdf

Σημείωμα αναφοράς

Copyright 2015. Γιάννης Μοσχοβάκης. «Θεωρία Συνόλων». ΄Εκδοση: 1.1. Αθήνα 2015. Διαθέσιμο
από τη δικτυακή διεύθυνση: http://opencourses.uoa.gr/courses/MATH24/

Σημείωμα αδειοδότησης

Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά, ΄Οχι
Παράγωγα ΄Εργα, Μη Εμπορική Χρήση 4.0 [1] ή μεταγενέστερη, Διεθνής ΄Εκδοση. Εξαιρούνται τα
αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα
οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης ΄Εργων Τρίτων».

[1] http://creativecommons.org/licenses/by-nc-nd/4.0/

Ως Μη Εμπορική ορίζεται η χρήση:

• που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από τη χρήση του έργου, για το
διανομέα του έργου και αδειοδόχο

• που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο
έργο

• που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό όφελος (π.χ.
διαφημίσεις) από την προβολή του έργου σε διαδικτυακό τόπο

Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπο-
ρική χρήση, εφόσον αυτό του ζητηθεί.
Θεωρία Συνόλων

Διατήρηση σημειωμάτων

Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει:

• το Σημείωμα Αναφοράς

• το Σημείωμα Αδειοδότησης

• τη δήλωση Διατήρησης Σημειωμάτων

• το Σημείωμα Χρήσης ΄Εργων Τρίτων (εφόσον υπάρχει)

μαζί με τους συνοδευόμενους υπερσυνδέσμους.

 !"#$#%& '

!"$%& '"(%()

()+ ,-. ,/+ , -012,,0232+ 4-10154) 6, 73,/-891/4) 1/: ;,93215:

1039415: 1/ <=>?@A B3, 1 -CDE32. 4FB)E1: G6 9/6.CG6H
!"! #$%&'()! I51 9561C, J ! )K6,3 %&*+,-.%/0 LMNOP>OQMA@ORS T 1&2 &3
+,4.*) ,6 /-+0U)3 L,413;,K,J F6,V-01:VF6,S ,63913UK, G6 913U)KG6 1/:J
9/4;1C32+W
= ! ⇐⇒ ! (∃" )[" : ֌ → ! ]#
#/.: 1 10394.: D: 391-CDE32.D,: -01X,68: ;,9KY),3 93: 73,39ET9)3:
4,: B3, , -)-)0,94F6, 9561C,H (-10154) 6, )K4,9) 9KB1/013 -HUH .3 F6,
4,B,YK -,-1/9386 -019XF0)3 16 K731 ,03E4. ,039)086 2,3 7)Z386 -,-1/9386J
UG0K: 6, ZF01/4) ,203;8: -131: )K6,3 ,/.: 1 ,03E4.:W D 9/6+0D9D -1/ 9/V
9U)KY)3 2+E) ,039)0. -,-1593 4) 1 7)ZK -,-1593 91 K731 Y)/B+03 )K6,3
,63913UK, -1/ X,6)086)3 D6 391-CDE32.D, ,/86 G6 751 9/6.CG6H [1 03V
Y19-,932. 913U)K1 1/ 1039415 1/ <=>?@A )K6,3 D -0.,9D 6, 7)U154) D6
5-,0ZD ,413;,K,: ,63913UK,: G: U,0,2D03932T 373.D, D: 391-CDE32.D,:
B3, .C, , 9561C,J -,0+ 1 B)B16.: .3 D )X,041BT D: 9, +-)30, 9561C, 4-1V
0)K 6, E)G0DE)K -01;CD4,32TH \93 1 9561C1 G6 X/93286 ,03E486 N )K6,3
391-CDE32. 4) 1 B6T931 /-19561C. 1/ N \ {0}J
{0$ 1$ 2$ # # # } = {1$ 2$ 3$ # # # }$
;+9)3 D: ,63913UK,: (% 7→ % + 1)H !-K9D:J 91/: -0,B4,3215: ,03E415:J
(0$ 1) = (0$ 2)
;+9)3 D: ,63913UK,: (% 7→ 2%) .-1/J G: 9/6TEG:J B3, 751 -0,B4,3215:
,03E415: & ' ( J
(&$ ( ) = {% ∈ R | & ' % ' ( }#
], U0D9341-13154) 16 ,6+C1B1 9/4;1C394. 2,3 B3, , 2C)39+ T D4K2C)39,
73,9T4,, [&$ ( ]J [&$ ( ) 2HC-H
! ! $(2&-! !" #$" " &'()$" $ !$ ) *
= $
"( = !$ #+ ! = $
"( ( = ! & ! = ) )$ #+ = )#
"
 !"#$%&#$' &! )*+,+-#./01
" : 3 1 0 1✒ 5 3✒ 9 7 !!!
✻ ✻ ✻ ✻ ✻ ✻
(0) (1) (2) (3) (4) (5) !!!

2$34/1""1 !"5 !"#$%#&' ()#*#+',(-* ."#/ #)#%01.232/4

6789#$:!5 "# 2* %02 37*()#$-$' )#%#8(0$.#9/ :;%"*< #* 9" #*"39"=

:0(/ : # ֌→ $ >#" % : $ ֌
→ & &#*(%?*97* "/ "39)+21">@2(/ 2/ 7)@1(32/<
@( 2 3A*1(32 % : # ֌→ & &#*(%?*(" @" # = & 4 ⊣
!#! $%&'()*! B9 3A*9+9 # (0*#" (&+%)-%./0'. 97 $ 1* 2%.* . 2345.*
#* (0*#" "39)+21">@ .( >;)9"9 7)93A*9+9 97 $ < 37.C9+">;D
# ≤ $ ⇐⇒ (∃& )[& ⊆ $ & # = & ]!
!6! %)8'9! # ≤ $ ⇐⇒ (∃ )[ : # ֌ $ ]!
6789#$:!5 E* # = & ⊆ $ >#" 2 : # ֌ → & &#*(%?*(" #7' 2* "39=
87*#.0#< @( 2 (0*#" .9*9.9%&"3.@/ #)@ 9 # 39 $ 4 "# 2* #*03%9&2
37*()#$-$'< #* 7);%:(" >;)9"9/ .9*9.9%&"3.@/ : # ֌ $ < @( #7@/ 9
&#*(%?*(" @" # = [#] ⊆ $ < F3" )97 ' ≤ ( #)@ 9* 9%"3.@4 ⊣
!:! ;'+9'9! !" #$" " &'()$" #) $) & *
# ≤ #)
"( (# ≤ $ & $ ≤ & )) #+ # ≤ &!

!<! $%&'()*! B9 3A*9+9 # (0*#" 2-2-%8'(=>. GHIJKLM #* 7);%:(" >;)9"9/

&73">@/ #%"1.@/ * ?3(
# = {+ ∈ N | + , *} = {0) 1) ! ! ! ) * − 1})
#++"?/ 9 # (0*#" ?2-&%. GJIHIJKLM4 N#; 37*F)("# 9 >(*@ 3A*9+9 ∅ (0*#"
)()(%#3.F*9< #&9A ∅ = {+ ∈ N | + , 0}!
B9 3A*9+9 # (0*#" 828%&5(9) ' 8%&5(4'&(. G PQIKRSTL ' ULIQVLWRSTLM #*
(0*#" )()(%#3.F*9 ' "39)+21">@ .( 9 3A*9+9 -* &73">?* #%"1.?* N< #++"?/
(0*#" 8>828%05(9. ' (9 8%&5(4'&(. GQI PQIKRSTLM4

!@! %)8'9! !" ,-.+ &'()$) #* )! ",#$)/.+0 12)-&+!0 +3("! !&)4'("5+06

GXM ) # +3("! "1"2!.57#*
GYM # ≤ N8
GZM 93+ # = ∅* +3+ ) # +1!4:;+"! 828%05(9'9* 47$"4< /1-2;+! +1!5)2=
>!&5#0 " : N →
→ #* :&! ?&+
# = " [N] = {" (0)) " (1)) " (2)) ! ! ! }!
6789#$:!5 [# #)98(0\97.( "/ 37*()#$-$F/ >7>+">;4

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =

 !"#$%&' () *+',$-.&/0-%
!"# $⇒ !%#& '( * +,(-. -/-0.12345 4+ +,+ = {! ∈ N | ! " #} 6.-
78/*.* #5 +,+ = N5 */4+ 7-. 9.: ;<* /+0./=9+.:5 = $ 6.- 78/*.*
$ ⊆ N5 80- ≤ N&
!%# $⇒ !>#& ?9@ 6= ∅& A/.BC6*D2+ 78/*.* %0 ∈ 5 7-. -/4 * !%#
/-,0(*D2+ & : ֌ N& .- 781+ ! ∈ N5 1C*D2+

'(!) = %& 0−1( -( ! ∈

) & [ ](
(

(!)( ;.-F*0+.785 ;3B&5 -( ! ∈ & [ ]*

G ':N→ → +,(-. 7-B8 *0.92C(3 !;.4. 3 & +,(-. 2*(*2*0F.924:5 C9. /*D 3
& −1 (!) +,(-. 2*(*9H2-(- *0.92C(3#5 7-. +,(-. +/.2*0F.924:5 -F*< %0 ∈ 7-.
6.- 781+ % ∈ 5 % = ' (& (%))&
!># $⇒ !"#& '( /+/+0-92C(*5 4+ * !"# -B31+<+.& ?9@ 4I. /+/+0-J
92C(* 7-. ' : N → → -/-0,12393 *D & 0C/+. (- 7--97+D89*D2+ 2.-( 8BB3
-/-0,12393 & : N → → !"#$ %&'(')*+%,$5 C9. =9+ (- +,(-. 3 & -(.9*.I,-
*D N 2+ * /*D F-(+0=(+. 4. * +,(-. -0.12H9.2- 8/+.0*& L -/4;+.M3
+M36+,-. /BH0@: -/4 * N.860-22- !"O -/B=: ;.-608F*D2+ .: +/-(-BHP+.:
-/4 3( -/-0,12393 ' *D & .- (- ;=9*D2+ -D93045 -(-;0*2.74 *0.924 3:
& 5 /-0-30*<2+ /0=- 4. +/+.;H * ;+( +,(-. /+/+0-92C(*5 6.- 781+ -7*B*DJ
1,- +0 ( * * * ( +! 2+B=( *D D/80I+. 78/*.* , C9. /*D ' (,) ∈) {+0 ( * * * ( +! }( 7-.
1C*D2+O
& (0) = '(0)(
,! = * +B8I.9* , - # =9+ '(,) ∈) {& (0)( * * * ( & (#)}(
& (# + 1) = '(,!)*
0*F-(=: 3 & +,(-. 2*(*2*0F.924: 7-. -07+, (- ;+,M*D2+ 4. 781+ % ∈
+,(-. .2H 3:& AM *0.92*< % = ' (0) = & (0)& ?9@ % = ' (# + 1)Q -( % ∈
{& (0)( * * * ( & (#)}5 4+ % = & (!) 6.- 78/*.* ! ≤ #5 7-. -( % ∈
) {& (0)( * * * ( & (#)}5
4+ +M *0.92*< ,! = # + 1 7-. & (# + 1) = ' (,! ) = %& ⊣
!#! $%&'%'! -( / %#(', '",01*2,1/ 3', 4&5" %, 1/(/1/"6,217$ & : . ֌ 8
7% 3', / . %#(', '",01*2,1/9 :,;,37%"'8 350% 4&/2<(/)/ '",01*2,1/4 24=
(7)/4 %#(', '",01*2,1/9
!(! $%&'%'! -( / %#(', '",01*2,1/ 3', 4&5" %, %&,1/"6,217$ & : → .8
→
7% 3', / . %#(', '",01*2,1/9
R* +/42+(* -/B4 1+=032- +,(-. -/4 - /.* S-9.78 3: 9D(*B*1+@0,-:&
!")! *+,-'./ !TUVWXY#! ,' 350% '3/)/40#' 0 ( 1( * * * '&'",01?@( 24(7=
)!(8 ? A(!2?
S∞
= !=0 ! = 0 ∪ 1 ∪ ···
%#(', %&#2?$ '&'",01?7 2<(/)/9
:,;,37%"'8 ? A(!2? ∪ . ;</ '&'",01?@( 24(7)!( %#(', '&'",01?7 2<=
(/)/9

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =

 ! !"#$%&#$' &! )*+,+-#./01

!0 : 0✒ 0✒ 0✒ ···
0 1 2

!1 : 1
0
1
1
1
2 ···

!2 : 2
0
2
1
2
2 ···

"" ···
"

2$34/1""1 ! 5 # $%&( )*+,&-*./ 012.)./ .3 456789"

6789#$:!5 *+ .- );<;%. *=>3%*=0? +%@;A -+ ;B+%0?=.30; .- $%&. =(-

+@.C.32A+
!" #" #" $ $ $
*+ .- $%&.D +%@;A E,*+AFG -+ +$.);AH.30; . 2;&%(0+ =(- ;*)*@I $;%A$J=(
$.3 @+-1-+ ! );- ;A-+* @;-?D .$?; 0$.%.<0; -+ K%.<0; 0*+- +$+%A20(=(
% :N→ → ! ,*+ @L2; ! " M- 21=.30;
! = % (&)
,*+ -+ +$C.$.*I=.30; . =30K.C*=0?D ?; ,*+ @L2; '
! ={ 0 " 1 " $ $ $ }"

@+* 0$.%.<0; -+ @++=@;3L=.30; 1-+- $A-+@+ =.*>;AJ- +$? +31/ */ +$+%*2N
0I=;*/ $.3 $;%*1>;* ?C+ + =.*>;A+ (/ 1-J=(/ !" O+ K1C( =. P*L,%+00+
! );A>-.3- $&/ 0$.%.<0; -+ +$+%*20I=.30; (- 1-J=(Q
! = { 00 " 0 " 1 " 0 " 1 " $ $ $ }$
1 0 2 1
⊣

!""! $%&'()! ! "#$!%! '$ ()*+,-$ ,.+ ./$0+,-$1 .,2/.+'$ ./+)3-$

Z = {$ $ $ " −2" −1" 0" 1" 2" $ $ $ }
*4$.+ ./+)35"+3!6
6789#$:!5 Z = N ∪ {−1" −2" $ $ $ } @+* . =<-.C. J- +%-(*@&- +@1%+*J-
+%*20&- ;A-+* +%*20I=*0. 01=J (/ +-*=.*>A+/ (( 7→ −(( + 1))" ⊣
!" ! $%&'()! ! "#$!%! Q '$ /0-$ ./+)3-$ *4$.+ ./+)35"+3!6
6789#$:!5 O. =<-.C. Q+ J- ≥ 0 %(&- ;A-+* +%*20I=*0.D ;$;*)I
S∞ )
Q+ = =1 { | ) ∈ N}
'
@+* @L2; { " | ) ∈ N} +$+%*20;A+* +$? (- () 7→ " )" R; .- A)*. %?$.D .
=<-.C. Q− J- +%-(*@&- %(&- +%*20&- ;A-+* ;$A=(/ +%*20I=*0.D @+2&/ @+* (
1-J=( Q+ ∪ Q− " ⊣

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 !"#$%&' () *+',$-.&/0-%
!0 : 0
0
0
1
0
2 ···

❘
!1 : 1
0
1
1
1
2 ···

❘
!2 : 2
0
2
1
2
2 ···

!! ❘
···
!

2&#34%55% !") " #$%$'( #)*+,-)./ 012.#./ .3 456789!

:3; . <;')=0* >*- . <',. =(0*-)?; @>0* <'.;#.3 <.3 1?*-$ . 456789
=. <';@A(0* (/ *B)-;0(=(/ C- DB$C- *<$E'.3 ?*) 2$C'>2(?$ ?D<C/ <*'DF
#.B. =(- $<.G> .3H $<$)#> . Q I*E-$*) ;=. 0$+*A%$'. *<; . N! :01=C/
0$D . 456789 *<1#$)B$ ;) 3<D'G.3- ?*) *-*<*'E20(* =%-.A*!
!#"! $%&'()* J456789K! ! "#$!%!
∆ = {( 0 " 1" # # # ) | (∀$)[ =0∨ = 1]}
'$ ()*+,'$- ./(.012$ (1!%!/302$ *+$(0 ($()(,+345!6
6,07!&8-) './ *<*+C+> =$ D.<.H 3<.21.30$3 ;) . ∆ $E-*) *<*')20(;H
#(A*#>
∆ = {!0 " !1 " # # # " }"
;<.3 +)* ?D2$ %H
!! = ( 0" 1"###)
! !

$E-*) 0)* *?.A.32E* *<; M ?*) ! N)DG-.30$ 1-*- <E-*?* 0$ *31/ )/ *?.A.32E$/
;<C/ <')-H ?*) 0$D .'EO.30$ (- *?.A.32E* & $-*AAD==.-*/ * M 0$ * =(
P#)*+,-).Q *?.A.32E* 00 " 11 " # # # R
& (%) = 1 − !
! #
SE-*) <'.I*-1/ ;) & 6= !! H +)* ?D2$ %H $<$)#>
& (%) = 1 − !! (%) 6= !! (%)'
=3-$<,/ ( *?.A.32E* !0 " !1 " # # # #$- *<*')20$E .A;?A('. . ∆H *-E2$* 0$ (-
*'G)?> 0*/ 3<;2$=(! ⊣
!#+! -'./)* J456789K! ! "#$!%! R '$ ),(74(012$ (,0342$ *+$(0 ($(8
)(,+345!6

!" #" "$%&'()%*+' +!" $,-"/0 +' ! "#"$ %& ')!)1 &'2-+"/' 0# 3,#0/4 05
3

¬ 6"! "$7 "*4# /*+$',"(#%*+' 63! $%* "#!(8'"! /' $,39+"" 9#:/31 +!"# "#(;"/01
63$%!% ')!) < /*#39'"! -! 0 3,#0/0 05 &'# +$%,'( #" "=08'>'!1 6"! '$%+?#:5 "=08'>'!
0 @ A?%!'5 "$%&'()'!5 *$!63 ",2(B%*# +' 0 ;,3/0C6='!&( !*)+ ! "#"$ %& ')!)1 $%*
$,%'!&%$%!'( %# "#"9#D/0 -! 0 *$-8'/0 $%* "6%=%*8'( '(#"! 0 3,#0/0 05 $,-"/05 0#
%$%(" 8?=%*+' #" "$%&'()%*+'@

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% ==

 ! !"#$%&#$' &! )*+,+-#./01
C0
C1
C2
C3

2$34/1""1 !"5 "# $%&# ())*%# )+,-# )./ 0##)0*12 31 C 4

6789#$:!5 5%67318* $%&# 8-#/ #03931:6# )1/;9</ C0 C1 !!! $%#=8#->

0&/ #%-:8&/ $31 -0#/3$3-3?/ -@ *A2@ )1/:20*@B
4 C0 = [0 1]4
!4 C+:* C *6/#- (/<). 2 09*-)&/ ,-#).8+</ 0#-
C0 ⊇ C1 ⊇ · · · C ⊇ C +1 ⊇ ··· !

D4 "3 C +1 0##)0*1+7*#- #E#-%&/#@ 3 F#/3-0;G 8()3 %63 0+:* ,-#)2>

8#3@ 31 C H ,.9#,2 8* ./ #/-0#+)#). 0+:* 09*-)3? ,-#)28#3@
[" #] )3 C #$; # ,?3 09*-)+ ,-#)28##
1
[
$ " # + (# − ")]
] = [" "
3
2
%[" #] = [" + (# − ") #]!
3
I* 0+:* ,1#,-02 #03931:6# Æ ∈ ∆ #/-)3-J67318* &%# 8-#/ #03931:6#
09*-)&/ ,-#).8+</
'
Æ 'Æ !!!
0 1
8* ./ *A2@ #/#,%382B
Æ = C = [0 1]
'0 0
 Æ #/ Æ (() = 0
Æ
' +1 =
$'

%'
Æ #/ Æ (() = 1!

K$#=<=-0+H =-# 0+:* (H 3 '

Æ *6/#- (/# #$; # 09*-)+ ,-#)28## 31 C
82031@ 3− H 0#- $%3E#/&@
'0
Æ ⊇ 'Æ ⊇ ··· !
1
L :*8*9-#02 -,-;.# #$%&'%)* +, #&)-.)/01, )&/2.1, )1/*$+=*#-
&%# ;- . 382 #12@ .@ #03931:6#@ ,*/ *6/#- 0*/2H 8+9-)# $*%-(J*- #0%-M&@
(/#/ $%#=8#-0; #%-:8;H #@ 3/ 3/38+)318*
) (Æ ) = 3 8;/3 )3-J*63 .@ 382@
T∞ Æ
' !
=0

L )1/+%.). ) #$*-03/67*- 3 #/#$#%6:8.3 )?/393 ∆ 8()# )3 )?/393

C = ∞=0 C
T

3 9*=;8*/3 34,5$5 56 789:;<H 0#- =-# /# *9*-&)318* ./ #$;,*-A. #%0*6
/# ,*6A318* ;- . ) *6/#- (/#>$%3@>(/#4 N99+ #/ 3 ( *6/#- 3 *9+J-)3@ #%-:8;@

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 !"#$%&' () *+',$-.&/0-% !

"#$% Æ (!) 6= "(!) &'( )#*+*, Æ (!) = 0- .+$%/0 #!Æ = #!" '#" 23 0#(4$56 $% !-
$ (Æ ) ∈ #!Æ+1 = %#!Æ & $ (") ∈ #!"+1 = '#!Æ & &'( %#!Æ ∩ '#!Æ = ∅&

#$% 72/'830( "( #9:5/'( 2 $ 083'( /$3$/$9;(7/"<* ⊣

= 0#8&4272 2< #429"2'< >3 #9'5/'(&?3 '9(@/?3 083'( $ /2 09(//.3$
7$(+08$ '%6< 2< '#"A0(B2<- &'( 083'( '#'9'822- ';$C "42 2 &''7&0%6 0&"<
'#" 23 040%'8' 59'//6 /#$908 3' 0#'3'42;@08 5(' $ Q #$% 083'( '#'9(@/2"
D +>98< E.E'(' 3' 083'( #4690<* F23 #429"2' >3 #9'5/'(&?3 '9(@/?3 @'
/04067$%/0 '95"09' #9$70&(&:- 7$ '9:92/' *
= @0/04('&6 72/'78' '%$C $% @0>96/'$< 6'3 #9$;'36< '#'9+6<- (A('809'
0#0(A6 $ HIJKLM $ 0;:9/$70 '/.7>< 70 /(' 72/'3(&6 #9"'72 2< @0>98'<
>3 '450E9(&?3 '9(@/?3* 9(3 0&@.7$%/0 '%6 23 0;'9/$56 +90('N"/'70
/09(&$C< $9(7/$C< &'( 46//''*
!"#$" %&'()*+" (' &:@0 7C3$4$ ( &'( &:@0 7C3$4$ )- $ 7C3$4$ >3 ),'-.
0-1)2343, 506173 >3 (& ) 7%/E$48N0'( /0 $
( × ) = {(*& + ) | * ∈ ( & + ∈ ) },

P': $3 8A($ 9"#$- 5(' &:@0 ! ≥ 2-

(1 × · · · × (! = {(*1 & , , , & *! ) | *1 ∈ (1 & , , , & *! ∈ (! }&
(! = {(*1 & , , , & *! ) | *1 & , , , & *! ∈ (},

F$ (1 × · · · × (! 4.50'( $ 8-&0('-3* 1'3*)039 >3 (1& , , , & (!*

!"#:" ;<))-" ) , ! # (1& , , , & (! $%!#& #'#(&)*+,- .$ /#& 0 1#($2&#!.
034 5&!.*$!0 (1 × · · · × (! $%!#& $'%2+4 #'#(&)*+.6
)Q, &# /,)$ #'#(&)*+. 28!090 (- # (! :! ≥ 2; /#& + <!=2> 034
!
!=2 ( = {(*1 & , , , & *! ) | ! ≥ 2& *1 & , , , & *! ∈ (}
S∞

$%!#& $'%2+4 #'#(&)*+, 28!09#6

2,03!&4-) ) , R3 &:#$($ (# 083'( &03"- "0 &'( $ 5(3"/03$ 083'( &03"- 0B
$9(7/$C* S(';$90(&:- 5(' AC$ 7C3$4' (& ) - .+$%/0 /('3 '#'98@/272
) = {-0 & -1 & , , , }

$% ) - #9$;'3?<
(×) = !=0 (( × {-! })&
S∞

&'( &:@0 ( × {-! } 083'( (7$#42@(&" /0 $ ( )&'( 0#$/.3>< '#'9(@/2", /0

23 '3(7$(+8' (* 7→ (*& -! ))* T7( .+$%/0 $ N2$C/03$ 5(' ! = 2* (' 3'
'#$A08B$%/0 23 #9"'72 5(' "4' ' ! ≥ 2- '9&08 3' #'9'2967$%/0 "(
(1 × · · · × (! × (!+1 = ((1 × · · · × (! ) × (!+1

/0 23 '3(7$(+8'
$ (.1 & , , , & .! & .!+1 ) = ((.1 & , , , & .! )& .!+1 ),

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 ! !"#$%&#$' &! )*+,+-#./01
"$%& '( )*+, -%(./,(0 '1. ≥ 2 '1'2%+/3045 1'2*-0(,5 ,6('% '1'2%+/3.&
., '1'2%+/3. +' ,6('% )'% )*+, -%(./,(0 '1. + 1 1'2*-0(,5& )'% 7$%& /,
,1'-8-9 7:0;/, 0 < =>
<?= @*+, ! ,6('% '1'2%+/3. S '1. 0 < =& )'% /, /6' ')./' ,16)A3$3 $0
B,C23/' !"# $;(*-0;/, .% 0 =2 ! ,6('% ,16$35 '1'2%+/3.>
∞
⊣
!"$! %&'()*+! "('5 12'-/'%).5 '2%+/.5 " ,6('% ,-./0&'1*+ '( ,6('% 26D'
)*10%0; 10A;C(;/0;
# ($) = %0 + %1 $ + · · · + % $
/, ')72'%0;5 $;(,A,$75 %0 & ' ' ' & % ∈ Z& ( ≥ 1& % 6= 0)& E3A'E9 '(
# (") = 0'
√ √
F;1%)* 1'2'E,6-/'' 'A-,G2%)C( '2%+/C( ,6('% 0% 2& (1 + 2)2 <-%'6H=
'AA* )'% 3 12'-/'%)9 26D' 35 ,I6$8$35 $5 + $ + 1 = 0 10; ;1*2:,% <-%'6H=
'AA* 10; E,( /102,6 (' ,)J2'$,6 /, 2%D%)* $4/J8(' /, 7(' )A'$%). +,C23/'
0; KLMN> F0 G'$%). '107A,$/' <'1. 3( OA-,G2'= -%' 0;5 'A-,G2%)045
'2%+/045 10; +' :2,%'$04/,& ,6('% .% !" #$%&'!&($ )"*($+ ≥ 1 ,-. $
#$%+ #0"1(".2 3 045-3>
!"2! *&'(),! 6$ 7+!$%$ ( 8! #0"1(".2'! "%1-)0.2'! "0.*('! -4!".
"#"0.*(9: <PQRSTU=; 2". -#$( !83 &#<0,$&! #0"1(".2$4 "0.*($4 #$& =-! -4!".
"%1-)0.2$4 <VWTXYWNNM=>
2345#$6!7 F0 $4(0A0 Π .A8( 8( 10A;C(;/8( /, ')72'%0;5 $;(,A,$75
,6('% '1'2%+/3.& 'J04 )*+, 70%0 10A;C(;/0 )'+026D,'% '1. 3( ')0A0;+6'
8( $;(,A,$C( 0;& )'% ,10/7(85 ;1*2:,% '(%$0%:6' 0; Π /, 0 '1'2%+/3.
=2 Z > %' )*+, 10A;C(;/0 # ($)& 0 $4(0A0 8( 2%DC( 0;
S ∞

Λ(# ($)) = {" | # (") = 0}

,6('% 1,1,2'$/7(0 )'% ,10/7(85 '1'2%+/3.> "1,'% .% 0 $4(0A0 8( 'A-,[
G2%)C( ( ,6('% 7(8$3 /%'5 ')0A0;+6'5 1,1,2'$/7(8( $;(.A8( )'% ,10/7(85
,16$35 '1'2%+/3.> ⊣
\;9 3 12C3 ,J'2/0-9 35 )'%(042%'5 <.,= +,826'5 $;(.A8( 71'%I, $3[
/'(%). 2.A0 $3 -29-023 )'% ,;(0])9 1'2'E0:9 35 '1. 0;5 /'+3/'%)045
35 ,10:95 ,),6(35& ,1,%E9 3 1203-04/,(3 '1.E,%I3 0; VWTXYWNNM <.% ;1*2:0;(
/3 'A-,G2%)06 '2%+/06= 9'( E4$)0A3> ^ PQRSTU '17E,%I, )*% 1%0 %$:;2.& .%
_$:,E.( .A0%` 0% 12'-/'%)06 '2%+/06 E,( ,6('% 'A-,G2%)06& /, 10A4 '1A04$,23
'1.E,%I3 10; :23$%/010%,6 /.(0 0 -,-0(.5 .% 7(' 10A;C(;/0 G'+/04 E,(
/102,6 '( 7:,% 1,2%$$.,2,5 '1. 26D,5& 3( 1A32.3' 0; R& )'%& J;$%)*& 3
(7' /7+0E0 35 "#"04*(9793 8! (-%'! <#-.08! 7&!:%8!>
a7:2% C2' 7:0;/, '10E,6I,% 3( 41'2I3 /.(0 E40 *I,8( '1,620;& ';9( 0;
N b' '1'2%+/3*& *1,%2' $4(0A'b )'% ';9( 0; R> c1*2:0;( 10AA75 *AA,5>
!"4! %&'()*+! F0 567,)8(978-8 <dTeMUfMS= P(!) ,(.5 $;(.A0; ! ,6('% 0
$4(0A0 .A8( 8( ;10$;(.A8( 0; !&
P(!) = {) | ) ,6('% $4(0A0 )'% ) ⊆ !}'

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 !"#$%&' () *+',$-.&/0-% !

! "! #$%&$&! !" #$" " &'()$" ! "*

= " "⇒ P( ) = P(" )#
! '! ()*+&,- #$%&'()*! !" +,-. &'()$) *
$ P( )!
/0$"/1 ≤ P( ) "$$, 6= P( )2 3!/!+#.4"* /.( 56,47.! .6!8)49!&8#:
%: → P( )2
→
2,03!&4-) +, -/ ≤ P( ) 012345231/ 16- , 7,2,7,40/87-
(& 7→ {&})!
6,9 12/8,/:;<3/ 83 =>?3 8,/:3;, & ,9 , ,./.$0/.1. {&} 73 7-2, @21
8,/:3;,A , &B #4,8@D3E , 7,2,8F2,G, {&} 3;21/ H/10,43/=- 12/=3;732,
16- , 8,/:3;, &A 6,9 6/?12-2 H32 3;21/ =12 8F2,G,I*
4,J 161KLKM 83 >,6,A H3:-7183 -/ 96>4:3/ =>6,/1 12/8,/:;1
%: → P( )
֌
6,9 H3;:23/ -/ = P( )A =1/ ,4;<,973 , 8F2,G,
" = {& ∈ |&∈
' %(&)}#
@8/ 6,9 K/1 =>?3 &∈ A
&∈"
& ∈' %(&)#
⇐⇒ #NO *
P0,F , " 3;21/ 96,8F2,G, ,9 =1/ Q % 3;21/ 36/7,40/87-JA 64@63/ 21 96>4O
:3/ =>6,/, ( ∈ 583 " = % (()R ?@L21J & = ( =1/ % (() = " 8Q #NO *A
=11GMK,973 8Q2 12/01/=M /8,H9217;1
(∈" ⇐⇒ ( ∈' "# ⊣
S6>4:,92 G,/6-2 6,GG@J >D3/J 163;4,9A =1/ 3/H/=-341 #,9G>:/8,2* 19@J
L2 892-GL2
N $ P(N) $ P(P(N)) $ · · · #
P2 ,4;8,973 1 8F2,G1 )! 73 Q2 121H4,7M
)0 = N! #NON*
)!+1 = P()! )!
-3 Q @2L8M ,9J )∞ = !∞=0 )! @:3/ 73K1GF34Q 6GQ?/=-Q1 16- =>?3 )! A
S
4-TGQ71 2 !3B U 1D/2-7Q8Q =1/ 73G@Q L2 >D3L2 163;4,9 3;21/ @21 16- 1
=324/=> 64,TGM711 QJ 892,G,?3L4;1JB
V/1 K32/=-34Q @22,/1 16- 19M2 ,9 H9217,892-G,9A 3;21/ ,/ 7;4)! &5("4<
1&.=(B
! ! 4+5$,67! /1 -G1 1 8F2,G1 ! "A
( → " ) = ! {* | * : → " }
= , 8F2,G, -GL2 L2 89214M83L2 16- , 8, "#
! 8! #$%&$&! >( 1 = 2 +"! "1 = "2 * #. ( 1 → "1 ) = ( 2 → "2 )2

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 ! !"#$%&#$' &! )*+,+-#./01
"# $%&'# ()*+&-(./* +0'.1'2* 34.*#5.2(.#67 /* 8)*+9'()*:1/* .0.#8-
5;<. )0'(2*'1' !
⊆ +*#0&'(/0.2.+# +0: = !"!#%"&'&#( ') ()*;&>
=(= !
: → {0 1}? #
$

# $ ! # $ !%
1 @A ∈ ∩
( )=
# $ ! #
0 @A ∈ \
( ∈ ) BC>DE

F0'&'29. *+ +*+5-(')9. ' +0: = ?

= {$ ∈ ! | ($) = 1}#
0') ()*.0;4.+# :# = ()*;&=(= ( 7→ ) .G*+# +*#('#$G+ ') P(!) 9. '
(! → {0# 1})H I(#?
(! → {0# 1}) = P(!) & !# BC>JE
5+# '# $%&'# ()*+&-(./* 9+6 '8=4'2* (. 9.4;1+? 9= +0+&#<9=; (2*'1+H K'
.0:9.*' 0&'L+*M6 0&:N1=9+ .G*+# *+ ()45&G*')9. /6 0&'6 ' 01-<'6 +); +
+*+0+&G<9=+ (2*'1+? O.5#*%*+6 +0: + 82' +01'2(.&+P ' 8)*+9'(2*'1'
P(N) /* L)(#5%* +&#<9%* 5+# ' (2*'1' R /* 0&+49+#5%* +&#<9%*H
! "! #$%%&! P(N) ≤ R)
2345#$6!7 QL'2 M$')9. -8= 8.GO.# :# ∆ ≤ R? +&5.G *+ +0'8.GO')9. :#
P(N) ≤ ∆H Q): :9/6 M0.+# ;9.(+ +0: = BC>JE? +L'2 ∆ = (N → {0 1})H ⊣ #
! '! #$%%&! R ≤ P(N))
2345#$6!7 Q&5.G *+ +0'8.GO')9. :# R ≤ P(Q)? +L'2 ' (2*'1' /* &=%*
Q .G*+# #('01=<#5: 9. ' N 5+# .0'9M*/6 P(N) = P(Q)H Q): L+*.&%*.+#
+0: = ()*;&=(=
' ('
7→ ( ) = { ∈ Q | ) }⊆Q)*'
0') .G*+# 9'*'9'&L#(9:6? .0.#8- +* '*+
.G*+# 8#+L'&.#5'G 0&+49+#5'G
)
+&#<9'G? :. )0;&$.# 5;0'#'6 &=:6 +*;9.(; ')6? 8=1+8- '*)*+
5+#
) (+ ('
∈ ( ) \ ( )H ⊣
Q0R +); + +01; S-99++ M0.+# :# = #('01=<#5:=+ R = P(N) <+ .G*+#
;9.(' 0:&#(9+ ') .0:9.*') N+(#5'2 <./&-9+'6H
! (! )*+,-%& BT VWXYZ[W>\[W]^_[@]E! &! +,! ! '-./,! !# ,0
!. ! ≤ , #!& , ≤ !# +1 ! = ,%
2345#$6!7 4 `0'<M')9. :# )0;&$')* 9'*'9'&L#(9'G
- : ! ֌ ,# . : , ֌ !#
5+# '&Ga')9. + (2*'1+ !" ? ," 9. =* +*+8&'9-
!0 = !# ,0 = ,#
!"+1 = .- [!"]# ,"+1 = -.[," ]#
4 !" #$"%&'($*+ ",-#($./ 0*$"1'"%(!"$ 0" '&34+5"" !"#$6 !"#%7

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 !"#$%&' () *+',$-.&/0-% !

0
" !0

❥
#[!0 ]
"[ 0]
!1
1
✮
#[!1 ]
"" # ""
"
"[ 1]
"
∗
!∗

2&#34%55% !") #$%&'()* ,- .'/0123,4 5 789:;<8=><8?@A<B?"

%$,- "# [$ ] = {" (# (%)) | % ∈ $} C3( 3DEF,G3 G(3 * H-DE0*H* #" " I'
'$3G/G1 H, & J'KC,F3L
⊇ # [! ] ⊇ +1 '
! ⊇ "[ ] ⊇ ! +1 '
MH' NO,-2' (4 P3F-HQ&'4 H-D%F/DR
0 ⊇ # [!0 ] ⊇ 1 ⊇ # [!1 ] ⊇ 2 · · · '
!0 ⊇ " [ 0 ] ⊇ !1 ⊇ " [ 1 ] ⊇ !2 · · · (
S0QT,-2' '$QH*4 (4 ,2N4
' !∗ = !'
T∞ T∞
∗
= =0 =0

NH( MH'
! ∗ = T ∞=0 ! "[ ! = !∗
T∞ T∞
⊇ =0 ]⊇ =0 +1

C3( 3U,K *" 'QD3( 2,D,2,0U(H2%4V 3$% , 0%XF*23 #$!%V

" [ ∗ ] = " [T ∞=0 ] = T ∞=0 " [ ] = ! ∗ (
Y-D'$M4 * " 'QD3( 3D(H,(OQ3 ,- ∗ 2' , ! ∗ " #$% *D EFF* 2'0(EV
= ∗ ∪ ( 0 \ # [!0 ]) ∪ (# [!0 ] \ 1 ) ∪ ( 1 \ # [!1 ]) ∪ (# [!1 ] \ 2 ) ( ( (
! = ! ∗ ∪ (!0 \ " [ 0 ]) ∪ (" [ 0 ] \ !1 ) ∪ (!1 \ " [ 1 ]) ∪ (" [ 1 ] \ !2 ) ( ( (
C3( 3-N4 ,( 3C,F,-ZQ'4 'QD3( &(3O/0(H2ND'4V &*F3&1 C3DND3 HKD,F, &'D NO'(
C,(DE H,(O'Q3 2' CE$,(, EFF," (3 D3 'F'(MH,-2' *D 3$%&'()* 30C'Q D3

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 ! !"#$%&#$' &! )*+,+-#./01
"#$%&'()" *, %,- ./0" 1
! [" \ #[$ ]] = ! [" ] \ $ +1 %
#[$ \ ! [" ]] = # [$ ] \ " +1 %
-2* ,3 '2'4"3 5 2675 829:9; -#50"<", "2",=> 5 ! "4?-, )'?')'6@,A)*3 .-,
! [" \ #[$ ]] = ! [" ] \ !# [$ ] = ! [" ] \ $ +1 &
B"#,./ $:'()" 5? -?,A',:4- ' : " ֌ → $1
! (()% -? ( ∈ "∗ > (∃ )[( ∈ " \ #[$ ]]%

'(() = #−1 (()% -? ( ∈) "∗ .-, (∃ )[( ∈ #[$ ] \ " ]%
+1

2'( @-?"67?", *, " = $ .-, "#",7?", 5? -2*=",&59 ⊣

C65A,)'2',7?-3 ' 0"765)- D FGH IJKGLMKGNOPKQN )2'6'<)" ?- -2'="4&'()"
2'##$3 ,A'2#50,.*5"3 2'( -##,73 "4?-, =<A.'#"39

!"#$%&'' )*' " +,-.$'*" /

!"#" ,- ./0" * + , )" *1 , 26-%)-,.'<3 -6,0)'<31 ∞ > −∞1 .--A."<-A"
,A')'6@,A)'<3 2'( @-?"67?'(? ,3 ,A'2#50,.*5"3
(*% , ) = (0% 1) = R&
!"!" ,- ./0" * + , 1 .--A."<-A" ,A')'6@,A)'<3 2'( @-?"67?'(? ,3 ,A'L
2#50,.*5"3
[*% , ) = [*% , ] = R&
!"$" P(N) = R = R 1 %,- ./0" ≥ 29
!"%" ,- *#- - A<?'#- "% $ 1 (" → $ ) ≤ P(" × $ )9 2345#$6!9 S?,26'L
A72"(A" ./0" A(?/65A5 ! : " → $ )" ' !"#$%" 53
-" = {((% .) ∈ " × $ | . = ! (()}&
!"&" (N → N) = P(N)9
∗
!"'" (N → R) = R9
∗
!"(" ,- *#- - A<?'#- "% $% / 1
((" × $ ) → / ) = (" → ($ → / ))&
2345#$6!9 ,- ./0" 0 : " × $ → / 1 *6,A" 5? '(0) = 1 : " → ($ → / ) )"
'? <2'
1 (()(.) = 0((% .)&
!")" T" '? '6,A)* 8ULU;1 %,- ./0" 21
3# + 3∞ = ∞=0 3 &
S

,- - "#"(-4- =<' 26'V#>)-- :6",/W"-, ./2',- ',.",*5- )" ,3 A(?":"43

A(?-6>A",39

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>
 !"#$%&' () *+',$-.&/0-% !

∗
!"#" "# $%&#'# [0! 1] (')& )& $+&,-.&/ 01234256.& $+&217$,)& $#
6',5$( 859$:42 [0! 1] ,;&25 5$#0':<56( 4, # R=
∗
!"$%" "# $%&#'# )& 4#&##&56.& 01234256.& $+&217$,)& $# 6',5$(
859$:42 [0! 1] ,;&25 5$#0':<56( 4, # R=

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>