" 08 b ' .Le д'ьанэп
что / /7L-сводит |y?^j к jn^j в ючшсги loiua, когда 7^' /71-
сволит i4-}j-^j ^ i^ijçj ^ '■^j®'" 'ОВ"Р'"ь, 410 \B^}^j. сована с f^'j vr . есаи ni Л —^ С1ед>е Б =0 и из
^1^^д + / ^^Д + / -* сле^^ует ^-e^^^/ß^^^) . Я.но, что еспи
Ш^«1^Л --Ч-^Л со,л.сован.с[4.^
Конечную пос тедовате хъносгь lyl'j^^j' арифме^иче^^ких множеств назовем универсл ibHOi-i, ce ш к «си /7г~сводится тюоая со1ласо- ванная с ней последоватетьностг Из счедующеи пеммы вытекает,
чго свойство универсально!.!и з ibhcht тишь -^i семейства |л* i ^C/'j и не зависит ог "нумерации" г\—>Pi » . Это ^ает основание говорить датее об универсачьиых ce^ieni^Tbay множесгв
1ЬММ^ 2. 1 Ес^и lCi]^^j с.г. асов.Hl с [А^]-^ иА^'ПА^'-= А^ .
г J С^П и*== 0^ ^) î^cnu IPf' ' t€fj-\p*fj£jj и [ßlJ универсаль-
н^ , m J \jU') универсальна
ЮКАЗАГЕТЬС ТЬО I) Множества /). /^ i^ »попарно не каются и в объединении дают СО - Поэтом^ п'Г\ п/=^ U)A ' h/^J'^-^J^ fy = ид и равенство Л/ПД/ = Лл. равносильно то-
му , что при всех J^I \\з hjT у С1ед\е1 |^^< 7j~v/-*"^ ><£t/, Носко 1ьку анаюгичные > гверждения справед 1ивы и дня \СЛ > осга-
е1ся проверить, что из L ф (f с тедуе! j 2'^ 7 jQ J '*-* К£ J . Но эго выгекаег из coi ысоваьнсиги \us\ с (л'} •
2 ) Пус1Ь {pj jUj ^^i iccoeana с \S*] , a ф> нкциит/,'/~*ч/
i\ Q \ J—^ J laKOBbi, 4io/|, ~jO/),^ ''^ B'"^ An {:-) • Го1да постедо-
ÎP \ ^ h к Äff 1
BaieibHOcrb [^6^.^j.^j согтасованас Щ]~- \p^^i{l i^J -Поэ-
1 ому наидеюя о р.ф. lb , /72^-сводящая ^б Л M к (j?/'/jf)j • ^з rj. 1 стедует, чго6у~(/о. ^фи j?» = Л , 7^/С € i7 . По атому /^ сводит (6yj к [pyj , I ^ • b^yj универсальна.
ILMMA 3. £г-/и Si - ^^ нечн ( ^н^Аверсадьн с ccj^pucme ариф- J г та ect^ur jAh ecnr , m ikj с mh up erre ^ 24 з 0 (Jrj'^ù^^*^/ /71-
10K\J\lij ] bC ГВО. n\L-h X^S^i^J'^S (jf^) . ^'^ <^/i(^^^2^^j
потучаем л ^ ^^ . Остается npopepnib, чго Y^^ Л при Y^ Z<^ # По leMMe 1 наидеюя С -дерево {J^^J Аля X . По предложению 2
и свойству 4 из [jil , существуют такие множества UL, б'€ >с ,
чтоПф - сд .Щ^и^ прибег Ме-'ф пр^\б]>\С],1/е,^е2^^^^
при\б\<\С\и К<г ,U^l/g^^0 и Y=ü^^^ , где4/ =
= ^./^...^е.' ^<'