Professional Documents
Culture Documents
WN AE. Than Sf > W exactly in Cas (1)
D rm ngowaurscs TOR h
Te eationship 57 — Le. AT -~N, evidently fats under Case (2) by
Peet, an Mth impeop sabes ents for any evo anal
te he hee eelationshie NN. Jd — Nand M> N are
Seip excluce, Le. nt tore than one of them can hol
2 cx appeal an advanced stage othe theory eras fa
Af fener Oy are exhaustive ia. whether a least eof the thee
$97 The stuaton i paral cafod by the next theorem,
int Jit che queton remains only whether Case (9) can ari.
tg.4. The equivalence theorem, finite and infinite sets. Tueo
woth J[M 8, € 8 and N mM, ©, then M ~N, In other words
Ta ee (2) of §3, 3 —N. (P, ernstein 2858
Poor. By the hypotheses, we may suppose given a partcaar 11
ormapolence MN between Mf and hesaset 2 of Nand sinaly
Ft hr, Out problem isto finda third I-1corespondence MN
[et dy = M~ Myla the given coespondence MN, the cements
atthe atbnct Ay of A wil correspond to ements orming robe! By of,
fea ence of), orn symbols Dy. Then a the other given corres:
Fondence N-©Afy the elements ofthe subset By of wil correspond to
‘ithcats forming’ sabe ty of M, fad Bence of M), or In symbols
By2 Aysand soon, Thos
Ay 8 dy By 2 Ay By Ay
The situation may be grasped by picturing M and N as miro by which
the port Ay of M outside I, i eletod ack and forth to prodoce an
Infinite succession of ages dy, dy dy «=. in A and Bi, By By in
Iya shown inthe figure (le sets AE, Mf, and ae vepresented by
the prt ofthe horizontal ines to the right of the labels“, "ay
and'N', the sets dy By, Ay. by the intercepted segments}
Mat A= Ay + Ay ly fly pot fe is the subset of M com
tuning the elements which fallin dy oF Ia any of is images dy, dy
Agree in ME, Also let B— By By’ Bb v3 he. B i the subset‘of N containing the elements which fll in any of the fmages By, By
Baa of yin
To obtain the we state a rule hie
etcnines to each clement of Hf corresponding element» of N,
dea peove that the resulting coeespondence fs -1 between AY and
1-1 comrespondence AF 2.
"Rous, Consider aay elmnent m of M. Ether m belongs t the subset
Avon mdoes not belong tod, Lembo to M— A. Im belongs to
‘Be tomesponding lament of bal be that which comesponds to mn
the cemsponveace Af-L Ny, Im belongs to Af —A (in which ce m
Tongs to 3) the enresponding element » of 9 shal be that to which a
omespondsin the corespondence Ny
The resulting cormspondence is 1-1 between Mand N, fr
(a) To diferent ements m of Mf, sy my and My tte correspond
Aiforens elements my asd ny of 1 This clear when mad bth
felony tond or both to Af-A. But it also so when m € 4 and
SM =A. since then my € Band my @ N-— Bh
ib) Each cement of correspond to some clement m of Af, Naty
hemes of al conespond to clemants in and the elements of
NB all corespond to elements in Mf — A
Te method of bringing A and N seto Io] correspondence may be
visualised asa sifting in the above picture ofeach of the parts dy
Tals dy. + of Af one potion to the ight, 2 that A, takes the plat
Say of dy dy of dy, Tht ehanges 2, into N AF
Comorian A IF MEN, thn 32 = B.
(ii 2 moeane: SF =F of MY = Ny) Forf ME, then eter Cove
(0a) or Cave (2) applies with AF a5 the 2
Tha candost nub ofthe emply et O we ell 0, (Nove: M' ~O
cnly 0) The cardinal number of any st N (a) whore af N we
GIN 1, (Nore: A0°-~ No} where a #N ifand only M'= Nha}
shure a BN" and N'~2,)
"Regering the natal numbers, 1,2, <0. m+
cof abject avealy knows to a, the tv defintons jst stated coteate
fo cach natura nur » respective cardinal number which we ale
‘ten, Weal these cardinal ft cardinals, and ets whi have thee
arvinas finite ee, The following two propositions will be proved i=
Example 147
TI) For eat maura under, te init cardinal » the codinal of
seo he nator mers which recede the natural wmber nthe wal
itr of the natural manbere orn sya, = 0,1, Bow 9TH
ssa suenee
ce ga
a
(a) 1) ~ mora naeral mumbo 9) and M~ My ©, then My
risk fn et mt eietent any proper sie of tsa.
Mya tese two popeition itis mot hard to show thatthe quality
‘ttn wand order ration § ae exhaustive (nd $9), appears asa co
Say ol che "welherering theo” of Zermeo 904 (el eg, Hause
oop or mgey p61 or Feuele x92 p. 208). Fora bref account of the
{Sbeted “continua poem”, whi deals wit the question whet
fy cardinal es Beton Ry and 2%, see Gide 1947
"We have begun wth Cantor's theory for two gute opposte reasons
wt some ofthe ens an sets which wil prove bask ter appei
Inti thi orginal and simplest fan, Sevand, the theory, purse (4
far reveals Iga dificult, which are a point of deporte for ot
fui investigation. This wil sppeae in Chapter IL |
xaniurs, Sets oF cARDISAL 2% This is the cardinal assigned to tht
cot of te bert of the set of the natal numbers, which we dseribel
apd aeheset ofthe ste of tara names, There we epcesentd th
Uilncats af the act by the ite eoquncrof's and U's, The Os and
Yr can be interpreta the digit im dual or dyad) umber sytem
ja munber stm ase on 2 the decimal system i aed on 10,50
{Gece have the set of the proper al Jeans. Using Theos) B
{batary D to withdraw the terminating actions, which are ensmerabe,
ive obtain the proper ran-erminating dual fractions, ‘These represent
Wi che rot womans fn the toad <3 1 Prom tha oper
(Geteraating dol fractions. we alo obtain I the infinite se
Wace of natal munbers or funcins of natal number taking
{twe! number sla, by eoorinting Yo faction that fine
fan fe) fo wtih (0) ~ the somber oO doe the Ht 1 in fhe
{fon ft) the numberof O's Betoun the fist | and the send
Siocon (or ample, the fonction at corespnd fo Ue tcton
oleo001000000001
ow eit rom the frre << 1 the numbers = I eaving the
nat ramters inthe intra © << 1A ansiony = fe) el
Geof the rat urns, eg. the function y ~ cot Removing the
Selonl mumber, the (ea retinal numbers ate left or remov
fhe albaic tambers, the trmsendoda “nami Ta. Cartan
caudate geometry, the real mbes recordist t0 the pine
(Gite roel Botan ine, Tals st athe “aca contin’ a0 80°
Erdal th cardia 3% th power ofthe continua
Newt we can proced a follows to. oan the set of the ordwed
agin ral umber cuing 4 pa (9) Se Ca"
‘ates in the plane, the points ofthe rea! Euclidean plane, Under the
tei yi! be hm te ie
Suenes of O's and 1's, any to real mombers,ycorespond respective
ioseuences of sand = , a
Jem
wich can be combine into a sage sequence
carsspring toa sngle real number. Convery, ay sale equnce
Breaks up into determinate pl of squenes ade this thd of
‘oobinton Sina roedar ivsthe wap of el ambrs othe
sit of et Bataan m dimes poe a el Post
mo a cave eget
Tce eit auf mar oh pi a
han Rmeatnl space, Ts st exam eet y anche
netodel Yiocmiine mcequnce of vant Pekinto single sequence
in which each member of each of the given sequenecs has 2 determin
T fer any one of the rel dna fanon of rat cial
1 Ge fenton ve deters bythe conta Pop
a te cs are ven for he rational Yes of be indepen
2 hae ase gen as ann eqns ofa ns
Fae eth andr ofthe aioe aumbers sone eel ener
by fen fos by Tare A Cry A, tt of Ces fs
aoa a et foe eral Batson mut ave at Lt
Gor te a hone exactly thi aia, sine the content font
‘Srna este th the cardia
‘Gers or canDoxal 29%, This is the cardinal of the sts of og
‘Nom the equivalence between the se of nati
frome pnts in eimessional oi
Toners and the real numbers oc the
sree space, i fllons thatthe ets of ral number nd she pe
dist Pactdean dimensional or timansonal space have i
ie represented by hi
efainl The real factions of rat variabl can be rep 7
cae ch ae polnt sets inthe Plane, and hence the st of them
rays he cndial 29, It has exactly ths cardinal, since those of
Ae ick take only O and as Valles are the cepreseting
Temata ate of wel murbers, and so constitute a subset with
resi Tf we extend geometric terminology #0 tht example, we
See tke pute af rot Eustdean Dedimensional space.
J eatyts explain 0,1, 2,3,
caxoren 1
SONE FUNDAMENTAL CONCEPTS
56 ‘The natural numbers. The purpose ofthis chapter to bring
subaher, ply for efrence apart for elon Inspection some ofthe
HEcrand methods of mathematic.
Ayn we write the natura number sequence
Gua ee
we aly onthe dots..." to suggest the continuation of the sequence
Tryon he several members shown,
rnecker remarked (184), "God made dhelntagers, al the resis the
york of man.” We cannot expect thatthe cognivance of the natural
Tmber sequence can be reduced to that of anyehing ental more
rine than all
ut by elaborating wpon what onr conception of comprises, we may
secs In making clearer the bass of our reasoning with the natural
sates
We begin by describing the natural numbers asthe objects which cam
egenerted by staring with an initial object O (zee) and successively
sing roman object n alieady generated to another object mf leew”
Tike srcssor of)
Mlte we conceive of tas posible, no matter how far we have already
uetnreachy, tog theone step further o reach Thus of the accent
felon” ited of the more tlie n+ 1” emphasnes Gat"
“yinitive unary operation or funtion tse in generating the tara
Iu, wile can be defined ts ater stage st. inary operation oe
funtion of two natura numbers, >
To atin the satura mombers with the anual notation, it remains
‘as otanding for
epoctively. This f 9 matter of detail concerning decimal notation.
Tn the foregoing descptan, we have evoked the coaception of aocosion of iserte steps. These consist in stad
ee repetolly frm a number w to the nex #
ree into several clases, lows :
oka ie al namber. 2,14 nina natal mabe, then» tata
ee ene only naira names are those given by 1 and 2
i dean, the saceasion of drt steps becomes an appa
of Cana | ana succession of applications of Cl
Seopa a what we cal a inductive deinition
tet cecal number) whichis being defined iain. The
‘he term (ort lat which provide instances of he term beng defi,
together consis an
sre called di
eB The eee clause
"ees int clause, whch says thatthe only in
ae ree povided bythe peeding ns the ral lw
“Mot tate in this ndutve definition fs the on
only tht numbers generated by applications
Tock ways should be dintinct objects. This ean
farther propositions
oor any natural mu
unbere mand 8
natural number 90
isha it understood that ° isa unvalent ope
faction, 0 that con
wow itm
rsly to Az For any matt
Tore that Propositions 4 and $ do rogue th
two dilereatly genera
that ata given stage i
Orca far generatd ae distinct
Shust be distinct from
ea
vin for distinct
‘ot cluses and 2 i
tye eprint two
only ifm =m S-Forany
crator of sngle-value
fat sumbers m abd
1 distinctness of eve
er, me ean eae. as follows. SUPPOR
dye geneavon of the nabs ll the numbers
"Then the next one generated
the sacecnry Ly 8 senong tose previo
‘ated (by and rm O (by) So cach ses
Son produces 1 new
nomber.
sive step inthe Bene
i ee v0" ag may ako be soem thus. By 4appied wil
vr as them and asthe m0"
ov =o only to
“These five peoprsions IF
‘Peano (i885 1894) as aos ch
Peano stated. Propost
Snduction (67), and placed
fied and four, espectvey
@” only if
0 Bat by 5 with 0" ashe
Gon 3 instead ae the pin
lore ween consiering what th
oO” = 0 By 4 sen
no" 40.
3 vith one diference, were taken
eater he natural monber seen
niple of mathematic
Ff on bs nt, and 5 being moved up ff
ne natural uber re intial
nas they frm he ontra ber sequence, A rrr a
tra number isto be
place i the sequence
eognied as th object
Tnother words parte
‘ccnpying partcll
umber given whe
ng with, and proceed: |
The description ean be
its generation under the inductive definition ia given, For example, the
ie Gel mute 4 given av that object which obtained by starting
Af the inital object O and applying the succesor apeation "once,
els again and again or bly 4s gven as 0”. A number such as
‘Haein decimal notation coli principe be exhibited by appiatons
Af 100, thngh in practice we donot dos
[Ofcourse when we deal with propositions such as that a certain equation
acto rots, we farther employ the assignment of Ue natural numbers
Pe andinal tbr of finite sets (4).
Cxoen, Under the inductive definition ofthe aatrl mune, he
sc gunated fa cetain ere (the falar one. Ths we define
SE Ton itm i genratd lore nn the cure of genesting Die
‘Rohe we ave the allowing lndetive definition of the lation
ES fetes mange ovr the natal nome).
Ol mem OF Mime