let's Sou A and B are faite sets Tt Tal> wel, See 2 fnetm 4:4 28 2” Ae Lo233 B= fa,6 which is 104 eee No a->? Te ale |s),.is Hoe % finction $:A2B whieh is onto? A: &B Bz {abe 4 (2a Wo db? ra, Ly br tute sets Aow B if there i lor Define. a relation, S) “i He set of all sets: a somorphis m a Ase if tee is a biyection f:A> a is isomorphic t0.B) ection A 8 the. Leomorphism relation, ee (oaeare 1s reloxkion on cot of all sts. gui valenle Re flexie : GAA lo Gd=x is a biection So ASA Jp? all Sets an Tf Axé dten BYA for all Seis AB ace vb tere s@ bijechn f: “then f7':B2A S@ hice chon ee T 0 B2A rangtie: TEA SB ond BEC Yon ALC br all sets ABC 7 Qymmebefog Stace A&B here is a biection 9:48 Sime B&O tHew is 4 bijection 4. Bae We, heed to prove AG, Ue seed te pre tog: A2e iso biyechon. To do So 8 one-b-00e. thm Tf 4: A28 and (B20 4 “Binetions Yhen ogi Ae is 2 One-f-one facter t %1%) 4 )a,€F bone) glade 4) (oS ea 4 Calan) 4 £(9(60) Cf is ano-ti-ene ) fos(a)e fog() (Det eg) th 4 gA>8 aid £:B2L we onte dretions then “fog; AC is an om function: frock. Toke ceC. Sine 7 - fiaetian , Hele ig a beb with fO)=-c. Since c) is an oth Munch on here is an aeA with g(a= b. So fog@) = #(9la)- f= Ts hiem t an eguivalence felation cope eat pat ‘and there fore “the cot oy He Sets can be partitioned inte gui valence Clagses.Det lPleN, Caleph avll) Pz Coaa 3 “th, N= fat2,..3 IN/=Xo Got ff: P2aN 4tp=p-1 is a dijechon ‘tha Qe {en-a-vaten-- J lel x Rut f:29P Pld> aan faze , 4 i oon s a byecton. az if x | beck Qe £0, 44 yy 3 f. pod is a byec' an tha | PxPl= No 5 Oro ChivPeu2>, Uyprr2: - P2 er Be Hy Ca AD, Za), - Pads feuds Cady 2d,» - 5 CBB ID? Follow ees f:P> PxP is & biechanDeft 7 , cua ae fel is a sof with Countable Sel is o y i or Coun tal fondo. $ one which és er ter Anite Def An enaeration of A isa lig ting of A: A= (41) 2 2) Maye) which lic A wetheut fepotitien and has one % fr each ne P (most be an inffmte Set one fu each ne P) ‘thm rf a set can be enumerated, tle set has Cara inal fy No. Goof A: (01,42, wy Aye ) (det inj tien of eninerdion) 4: Pa A by Benz is & byection th Subsets of countable sets are Countable. Heat Prose eae of P are Countable: bef AS i A finde, it is coun tab b- Uppese. is in imi te f S i. here a= least element A= (autertay ) ee Ot [eh elemest in A-{ai3 hn the courte le Union of Coontable. sets © iS Covatable- Ac let Zi countable tadex set Either T= Chand ao LaP cetTe {ny 2 jt 4 fet Lund gej7 WMekmest of set Ae UA = {1,4 wy nty Wty Aary Qn)... 5 ue! is an endmeration of the onion Cit infinte) (each Ay ig Countable - assum at & A; inf be ) aad ia by ker T= P + o Av ve will shew it Can be enumerated : Ay: a. Ll 0, Aa! aca’, Qi, -- VA can be enumerated ce? An: Gm 42 Mp ~~~ C follow arous ad kee ol : repeats Na Def An infsde Set which & not Countable 1S Called uncountably intute .Then. the teal numbers are Ua coun ebly phate C Cantor's Diagonal Acguaent ) 5 Pool Ascune tHe mal numbers are Coun tab ly inbube and Can be enumerated % (R= (ar 7) ey ane re QA, + bu ba --- bin -" djs integer pocton of re rae boibir bene * bij J decimal of bes Clay 93 T= An: bas bm bna--- Define & ree. | nom ber be Be bres Uineas 5.6/7 FF a. : Cue Byn where Dee = 1 & beso ic isa feel nmber and Should be on the list Re (hits tor - because Brant baa bat 64 en fe Aer (Hey ore different at He n cleeimal place Contradiction : he veal numbers Cannot be and are vacountebly in finite: enumerate d Note: Why dees He above argument net work br hed rational numbers” B= .by be bass 8 4 real nue ber, bal we can't be suve tis @ rotienal hunberx : : Rave, Lo N= (rlosrzs, relR3 us uncantably Use. Same argument as with tHe real numbers cy Change Q;= 0 EX Prue Da) = Cr perea, rele (3 Uncounfably vatiarte s Use same argument as wi He real avmbers Change a =f Be 1. by ba -- Baa ee EY. Prove Yhe cet of all Segvencec at a's, bhye!'s Is uncourbbly infin tes Assome the Set s countably infias te and Con be enumereted: S= (su Sap) Wyre ») 2 GO 7Sl2Y,-- 5 SM) ook 5 Spe SAD ,Snlad,-+7 Sul -s Se Labo<3 Defive @ Sequence 37 S028 5O,-- ubhere sO /¢ if %0)22 cenady-- a if See FAS, for nelid--~ Siace San) #Snln) (different at n* valve ) Cntradiction : te Set of all seg vamos of ais bsac's Cannot be envaerated and ¢s Uacountably in-fiate.& P & 6 Bt ee mee aber Change previsss argument KG) € fo, 13 ae oe sce Ia | if Z0)-0 b= 2,3, -. “thn. Tt A 1S acon eel fa fiarcte and AEB Hen & is Uncosatable lafute- [foot Gn trad iction, Assume 4 is countable. (subsex of One ASB then A és counteb le Countable sels ae countable). Contradiction Shoe. is uncountably (> male. EX Bove Rx 2 is uacova tab ly ratinte- IR& [Rx $03 S Ix 2 th Avis vacogatah inate A ¢B Cisomordhic (2) and ASB ten 8 is Uacasatebly intiacde hn, TL A is yacountbly infinite Aad Bes Covntabk Hen A-B is Tacovn ty infincte, Poot Carladekon. Assume A-B 6s Qoun'table. is Countable (4 Coun table Union af ten (4-8)UB Core ic Boe} 64 A <@-AVA A> Kk adxd Bn & . So A is cour (x0 Su af Countable selk are Countebk. COntradchen-