Anre6pa H normta, 9, N°4 (1970), 375-405.

XflK 517.11:518.5

OBOBlUEHHtJE BblHHCflEHHfl H APH*METHKA BTOPOft CTynEHH

H.B.BEflHKHH

B 1964 rooy KpmiKe onySnHKOBan Kpaxicoe coo6meHHe Cl3 , B KOTO-

POM snepBbie 6binH BbicicaaaHbi ocuoBHbie nono»:eHHa xaK HaabisaeMOB re -

opnn MexapexypcHH. BnocnencxBHH ara xeopna nonyimia nanbHefiuiee paa-

BHTHG B paSorax paaa aBTOpoa. KpHnxe paccMarpHBaer B L l U (JiyHKiiKH, y

KOTOpbix apryMeHTH H sHaieHHfl npHHanjiexar HeKoxopoMy HananfaHOMy OTpea-

xy opflHHanbHbix MHcen. Ha Bbi6op aroro orpeaKa HaKJiaflbiBaroxca aeKOTppbie

orpaHHHGHHfl, HO ero nnHHa Mower SbiTfa CKOnfa yroAHO 6oni>iiiott (B lacxHoc-

TH, ijecH^THofl). Una xaKHx 4>yHKUnJi (fopMyjiHpyexcs o6o6meHHe sp6paH-re-

aeneBCKoro onpeaeneHna peicypcHBHocxH (CM. Q2H , cxp. 237,238). Ma-

aecTHbie npaBHna noacxaaoBKH H aaMeHbi npHMenaioTCH B C 13 K pasencT -

conepJKamHM opnHaa^bi. Hapaay c STHMH npaBHjiaMH BBOAHTCH eme

aaanor axaMii-onepaunn (CsD, cxp. 254), Koxopaa, KBK Hasecx-

HO, arpaex ocHOBononaraHDinyM pojifa B xeopnn rnnepapa(j)MexHHecKHx (})yHK-

UHft. FIpH yBejiHneHHH flnHHW ncxoziHoro opzumajibHoro orpeaKa nonyiaexca

TpaacijHHHTHaa HepapxHa paajiHiHhix ypOBHefi BWHHCJIHMOCXH. Ilpn SXOM

coxpanaioTca ocnoBHwe xeopeMbi xeopHH peKypciiBHbix (fcyHKUnft.

IlpeflnaraeMaa cxaxta HSKOXOPMM o6paaoM npHMWKaex K xoMy >Ke

HanpasneEHK). flna KaKaoro c i e x H o r o opaanajia c MH onpe -

flenflGM T - BbllHCJIHMbie (jjyHKHHH H B 3XHX XepMHHaX CXpOHM <-O -MO -

nent xnaccKiecKOft apaiJiMexHKH Bxopoft cryneHH. OrjiHHHe namero noaxo -

aa ox nonxona KPHHKO aaKnioHaeTca, jcopoxso roaopa, B cnenyrameM. MH

o6o6maeM onpeneneaae BHIHC^IHMOCXH xonbKO ana n n c n o B b i x

ijiyHKUHfl. BbiHHcneHHa npon3BOAflxca aa ofiwHHbix MauiHHax TbropHHra c

opaxynaMH. Opaxynbi xo»ce aanaioxca HHcnoabiMH (JjyHKiiHaMH. Bee "xpaHc-

(JiHHHxHbie a4x))eK,Tbi" flocxHraroTca aa CH6T nonxonamero noaSopa opaKynoB.

TSKHM oSpaaoM, OCHOBHUO noaaxna 3 name ft cxaxi>e, nq-BHAHMOMy, B

376 H.B.BensKHH

6onfaiueH cxeneHH, HCM a H O , Bbmep>i<aHbi B oyxe xpanHUHOHHofl TeopHH

anropHTMOB. ripn STOM. OAnaKO, HBM npauijiocfa orpaMHHTbca CHGTHMMH

McnojibayeMbie naMM Meroabi TBCHO caaaaHbi c reopneft rnnepapni}>Me-

<}>yHKuHH. OflHaKo MW npennoiJiH HHrae He onapaTbca BBHO Ha

peayjibTaTtr STOH reopHH. floKaaarenfaCTBa B sroil craxbe ocnoBbiBaroTca

aa o6wiiHofi TexHHice nporpaMMHposaHHa ana MauiHH TbropHHra.

MH 6yneM nojib3OBarbca oSraenpaHHTbiMH oSoaHaneHHaMH HS Mare -

MarHHecKofi norHKH, reopHH MHOscecTB H TeopHH anropHTMOB. CnejiaeM

oano saMenaHHe no STOMy noBOoy. Hn>Ke npeflnonaraerca, HTO 3a<j)HKCnpo-

BaHa HeKOTOpaa siJuJieKTHBHaa aaaHMHo OAHoaaaiHaH uyMepauHfl Bcex Kop-

Teweii, cocraBneHKbix HS HaTypanbHbix nncen. 4epe3<t/y,..., UK> o6oaHa -

laeTca HOMep KopTejKa u1 ,..., UK , a nepes £/i (u.) - fljiana KOpTewa

c HOMepoM u . B nacTHocTH, ecnit oc - iJ>ynKUHOHanfaHas nepeMeHHaa, TO

oTc^c) ^ <.<x.(o))...l<3c(JC—<)>. <t>yHKUHa mt-t) onpenenaerca nocpeacT -

BOM cooTHomeHHa <uf,..., u<>-*V= < uf,..,. i/.K , v > . IloMHMO HyMepa -

UHH KOpTeweft, naM 6yaeT HywHa HyMepauna nap HarypanfaHbix HHcen.

(tyHKUHio, naiomyio HOMep napw u.0 , u. , MH Toace SyaeM oSosaaiaTb ne-

pea <: u u, > i a cooTBeTCTsyiomHe o6paTHbie (JiyHKunu - iepea < £/..> H

<. u. >r . TaKHM oSpaaoM, yrnoBbie cKoSxH 6yayT ynoTpeSnarbca B CBBSH

c HByMH paanHHHbiMH HyMepaunaMH. Ha KOHTeKCTa sceraa SyneT acao, o

KOTOpOH H3 3THX HyMBpaUHft Hfl8T p6Hb.

§ 1. MaiiiHHbi H opaxynw

MauiHHbi TbropHHra c opaKynaMH HeoflHOKpaTHO paccMarpHBa/iHCb B

nHTeparype. HasecTHo nosojibHo MHOFO BapaaHTOB 3Toro nonaTHa (CM. ,

nanpHMep, C2l , cTp. 322 HjinCS^] , cTp. 129). Bbi6op KaKoro-nn6o on -

penejienHoro BapnanTa ana Hac He HMeeT aHaneHHa. OosTOMy MW HG naeM

cooTBeTCTByromero (j)opManbHoro onpeneneHHH a ocTaanaeM 6ea noacHSHHfl

TaxHe TepMHHU, KaK 'jienTa", 'nporpaMMa", "o6pameaHe K opaKyjiy" H

T.n., npeflnonaran HX nonaTHbiMH. HaM 6yny-r HyxHbi MaiuHHW, pa6oTaio -

mxe oaHOBpeMeHHO c aecKOJibKHMH opaKynaMH. B COOTBSTCTBHH c STHM

ycnosHMCfl, HTO KaxAaa MauiHHa HMeeT KOHenHoe incno a w x o a o B

(ana o6meHHa c opaKynaMH) H KajKAbift Bbixon CHa6>KeH

H H f l e x c o M (ana paanHHeana opaKynos). FIpH STOM B

y MauiHHbi c n BbixonaMH MoryT (])iiryPHPOBaTfa nKD6we /T_ paa -

O6o6meHHbie BbinHcnenHa H apHcJiMexHica BxopoJi cxyneHH 377

HaxypanfaHbix HHcen. Hepes 3 (fd) oSosHaiHM MHOMGCTBO

COB, cooTBeTCTByrauiHx BwxoaaM MauiHHbi /V . Mbi npennonaraeM,

UHH MaiUHH. B flajlbHefiUlGM Mbl 6yfl6M OTOJKfleCTBnaXb MaiUHHbl C HX HOM6-

paMH.

B KanecTse opaKynoB B 3Toft craTbe 6yoyx HcnojibaoaaTfaca npona -

BOJlbHbie HHOIOBbie (jlyHKUHH. FIOflHepKHeM, HTO 3TH (JlyHKUHH MOFyT 6bITb H

nacTHHHbiMH, r.e. Mbi nonycnaeM, HTO MauiHHa, o6paTHBmncb K opaKyny,

MO>K6T He ncxnyHHTb oxBera. FloacHHM Bxparue pa6ory MauiHH c xaKHMH

opanynaMH, onycKaa o6men3BecTHbie nonpo6HOCTH. OaHoapeMeHHO ycnosHM-

ca o TepMHHOJiomH.

FlycTb na neary MauiHHbi M aanncaHo HHCJTO X H nycTt xawnoMy

tc 3 (.M) nocTasneH B cooTBexcxBHe HeKOTopwfl opaicyji f^ . Mbi 6y-

ueM roBopHTb, H T O M coenHHeHa c H a 6 o - p O M o p a K y n o s

{•f^\ (M) H nPHMeHaeTCH K a p r y M e H T y J E . Mamnaa M

pa6oxaeT o6biHHHM o6paaoM comacHO csoeil nporpaMMe, T.e. a&H>KeTca no

neHTe, nHiuex H crnpaeT, a TaK»ce aanaeT Bonpoc-w. Bonpocw BbiHHcnaroT-

ca caMOfl MauiHHofi B npouecce ee npenbrnymeft pa6oTbi, H Kaacawfi aonpoc

noaaeTca Ha onpenene«Hbift BUXOA. Flycxb B aaHHbifl MOMSHT Ha Bbixoa z.'

noaaH Bonpoc U . Ecna aHanenHe £• (i/) onpeneneHo, TO OHO naexca

MauiHHe B xanecTBe oxsexa, H pa6oTa nponojmaexca. EcnH we f- (y)

He onpenejieno, TO MauiHHa He nojiynaex HHKaKoro OTBeTa, H ee pa6oTa

npeKpamaeTca. TaKyro 'cHxyaUmo MM naabisaeM 6eapeayjibxaTHbiM oSpbiBOM.

Bynew xaK>Ke rosopHTb, .HTO M nojiynnna o x x a a n a B W X O -

n e t . YCJIOBHMCH, naKOHeu, HTO ecnH MauiHHa aaKaHHHBaex paSoTy, TO

npH STOM npoHcxonHT BbmaHa HBKOxoporo HHCrtoaoro p e a y n b T a -

T a.

TaKHM oSpaaoM, npH pa6oTe MauiHHbi c nan HUM apryMBHTOM H aan-

HWM na6opoM opaKynoB BO3MO>KHbi xpH ojiyHaa: ocxanoBKa c Bbinanefl pe -

ayjibxaxa, 6ecKOHeHHbifl npouecc H SeapeaynbraTHbifl o6pwB. Opouecc pa -

6oru MauiHHbi aaBHCHT, KOH6HHO, OT OTB6TOB, KOxopbie OHa nonynaex Ha

CBOH BOnpocw, xaK HXO naHHaa MauiHHa npH paaHbix naSopax opaKynoB 6y-

BecxH ce6a no— paaHOMy. Huoraa HaM nyjKHo 6ynex auaTb, KBK nose —

ce6a MauiHHa npH BceBO3MO>KHbix nocnenoBaxenbHOcxax OTseroB Ha ee

BOnpOCbl. SaMBTHM, HTO TaKHB paCCMOTpeHHa y>K6 H6 3aBHC3T OT HCnOHb-

opaKynos, a Kacaroxca ronbKO caMOfl Maumabi. SBMBTHM TaK>Ke,

378 H.B.BejiHKHH

ITO B flajibHeflmeM npH paccMorpeHHH pa6oTW ManiHH nac 6yaex HHxepeco-

saxb, rnaBHHM o6paaoM, nocJieaoBaxejibHocxb Bonpocos, Koxopwe MauiHHa

aanaex, H peayjibxax ee BHiHCJieHUH (Koraa OH onpeneneH). B cooxaexcx-

BHH c 3XHM Mw ceftiac BBeneM 4>yHKUHK> §b(M,x,u.) , KoxopaH naex

BCK) HyKHyK) HH<j)OpMaUHIO O B03MOJKHOM UOBefleHHH MaiUHHbl M .

FTycxb M npHMenaexca K apryMeaxy se. H nycxb OHa y>Ke safla-

JB n, sonpocoB H nonyKKtna Ha HHX oxsexbi L£f,...,L^fl cooTBexcrBeHHO.

HUH npoHSBOjibHbix M, jc, ur ,. . . , u,^ xaxaa caxyauHH Moatex OKaaaxbca

H6BO3MO>KHOfi (lIOCKOJIblCy M MOJK6X OrpaUHKHXfaCS MeHblUHM HHCHOM BOH-

pocos) ; HO ecJiH OHa BoaMOMcna, xo nono>KHM:

( A j ) S> (_M t SB, •< Lt-t,..., u-^z*) ==• -<o,z> , ecjiH M ae aafla-

ex nanbHeftuiHx aonpocoB. n ocTaHaanHBaexcH c peaynbxaxow z

(A2) g> (_\f, se <. ur, . . ., i^fl>') =•<•/, <^ i» • SCIH ^"^ / -* BOn-

poc M paseH if H noaaexca aa BUXOH i- .

(A- ) £) CM, & , •< u ,..., n>) He onpefleneno, ecnH M He saaaex

Bonpocos H paSoxaex 6ecKOHeiHO.

ECJIH xe ana naHHwx l^l^se^j,,.-,^,^ ynoMHHyxaa Buuie cHxyauHH

, xo £> (_/v1tjc <fu,,.,-, tcn">) se onpefleneno. Tax 6yner B

XOM H xojibxo B XOM cnyHae, xorna cyinecxsyex ^^n^ xaKoe, HXO ana

M, 3£t Uj, • • - , z^£ HMeex MBCXO (A . ) wna (A<,) . /lerKO BHnexb.HXO 4>yHK-

utia S>(Mt^c, vc-") nacxHiHO pexypcHBHa. BnocnencxsHH HaM noHaao6aTca

cnenywmHe

, cc, u~) ^ •< SD(.M,a=, u)>f .J^S)

(M, x, ; ^ «S>C*f, sct-u)>> • S)0 CM, cc, u) ;

Ka>Kaaa H3 axHx (JiyHKUHft aaex HacxHHHyra nHij)opMauHio o noseneHHH Ma-

UIHH. HanpHMep, S>o (A/t a:, u) yKasHisaex, ocxaHOBHxcs JIH A^ sepea KO -

neiHoe HHcno uiaros nocjie oxsexa na csofi onepenHofi aonpoc HHH }«e OHB

aaaacx cneoywiuHH sonpoc. CoaepjKaxejibHbift CMHCJI ocxajibHHx

<S)-- cxojib xe

§ 2. OcHOBHaa onepaiiHa

/? - npoHSBOJibHoe Henycxoe MHOKBCXBO HaxypanbHbix

O6o6genHMe BMiRcneHHg H apH$Mexmca Bxopofi cxyneHH 378

H nycTb k. - HeKOTOpwfl BbineneHHbift aneMeHX fl . non.crx.mA /f —/I —

MM 6yneM paccMaxpuBaxb ceMeftcxsa opaxyjios BHna:

/J H k B 3TOM naparpa<}>e Syayx 4>HKCHpoBaHbi. MH onpenenHM onepa-

HHHD ffltflk ' K-°'roP&a xajKfloe ceMeftcxBO c/" BHna (1) oxo6pa?Kaex B HO-

Koxopbifl opaxyn <£=.3ti . (^~) . OnacaHHio aroft onepamm npeanoiujieM

HexoTOpue BcnoMoraxenfaHwe nocTpoeHKa.

nro6yK> Mauinny M , y

E /?. (2)

sxa MauiHHa coenHHeaa c Ha6opoM opaKynos Oj.

H npKMSHaeTca K apryMenry JC . BseneM (JjymuiHio:

O , ecnH M

y , ecnH M pa6oxaex

2 , ecnH M nonynaex oxxaa na Bbixoae i&fl ~,

HO onpeneneno, ecnn M nonyiaex oxxaa na BM-

xone K. .

IlocnenHHH cnyiaft, OHeBtmno, BoaMoweH xonbxo xoraa, xorna

PaccMorpHM Tenepb npoHssonbHoe ceMeftcTBO opaKynos *f BHjaa ( l ) ,

a raiwce npoHssonbHbift opaxyn ~l . Kawaoft MauidHe */ , yaoBneTBOparo -

iaefl ycnoBRio (2) , nocTaBHM B cooTBexcTBHe Ha6op opaKynoB d^ ^ cjie -

nyromHM o6paaoM. ECHH K.G. ^C/^) , TO Bbixon K. coenHHaeM c opaicy-

noM § . OcTanbHbie Bbixonw MauiKHu M (npHHaaneacamiie// ) coeflHHa-

em c cooTBeTCTByioiuHMH opaxynaMH H3 ceMeficTBa >f . OnpenenHM HO -.

opaicyn ^ TBK. IlycxbK—<M,x> (roe M - MauiEHa, a sc - ap-

. Torna:

'*! 'ecnHHe onpeaeneao - B HPOTHBHOM cnyiae.

MH onpeflennnR zwia xa^Kfloro ^f OTo6pa>KeHH6 $ ~

OHO HBjiaeTcs ecrecTBeHHbiM attanoroM nxcaMn-onepauiiH, nocKonbKy op a -

Kyn ty <J)aKTHHecKH pemaex npo6neMy ocxanoBKH Ana MauiHH, paSoxaioiHHX

c opaxynoM ^ (a xaxxe c HexoxoptiMH opaxynaMH us ceMeftcxBa ^ ,

xoxopoe Bwcxynaex anect B pona napaMexpa). B flanfaHefliuHX paccvioxpe-

380 H.B.BenflKHH

SToro naparpadia HBM 6yaeT ynoQtto OTOwaecTBJiHTt (jjyHKUHio c ee

rpatJ'HKOM H, T3KHM o6p;i3OM, BM6CTO (fyHKUHH TOBOpHTfa O MHOWBCTBaX.

/IEMMA 1. £, <= £, — f/ = fe*.

flOKASATE/IbCTBO. Cornacno noCTpoeHttro 40* H #*" nocraTOHHO

HTO ec.TM J/C/W) — X7 . TO:

PaccMOTpHM xpn arty Has.

(i) JS.,, (MtOCif, )~O. Toraa MauiHHa M c apryMeHTOM x.

opaxynaMH ^ ocxaHaBnHBaercfl Hepea KOHenHoe HHC/IO uiaros.A-f,

ona aanaeT KonenHoe MHCJIO sonpocos H aa see Bonpocw nonynaer

HM Ha Bbixoae K opaKyji -&j opaicynoM & . Tax Kas ^,,^= . TO OT

saMeHbi noBo/ieHHe MauiHHbi A/ HO H3MennTca, nocKOJibKy ona 6yneT

Te xe Bonpocw (B TOM »e nopanKe) H nojiyiarb re xe OTBeTti. Cne-

"S- (M, cc, J\* f/)~Q H B ABHHOM cnyiae cooTHOuieHHe (3) BW-

n on He HO.

(ii) -^_ ..( M ac,, J~. „, ) —S . PaocMaTpHBaeTCH ananorHMHO.A,K ' ,\ J£,

(iii) ^3 CA , cc, ./". )- £ . 3xor cnyiaft OTJianaeTca OT (1) TonbKOr?,K '&*

TGM, HTO M "fojiyiaer orxao Ha CBOH nocnenHHft Bonpoc. Ho, cor.iacHO onpe-

nenennjo Jfy , STOT orxaa nonyneH OT onHoro H3 opaKynos £" e. ./", Tax ITO^, A

Ha see Bonpocw. o6pameHHwe K , Bbinu aanki orBeTw. Orcioaa MOJKHO oa -

K-TIOIHTJ., K8K H B (l) ,HTO 0pH SaMeHG & Ha L pa6OT3 A7 H6 H3M6HHTCa, H

noTOMy (3) cuosa BbrnoJineHO. /leMMa aoKaaaaa.

OepexonHM K onpeflejieHHK) Haiuefl OCHOBHOI! onepaiiHK "- ., . OycTb£j9 t\o nio6oe ceivreiicTBO opaKyjios BHfla (1). flna STOJTO ceMeftcTBa nocTpo-

HM cHaqana nocnenosaTenbHOCTb HacTHHHbix (fyHKUHft Zr ( $ npo6eraer ace

opflHHa.ibi) cjieziyiomHM o6paaoM:

(3.) f°=0;' a

(B0) Una npenenfaHbix y* f^ ~ LJ2 •no y c noMOmbio neMMbi 1 nerKO

y, < y , — '^ ^ . (4)Piu i M o r p H M Tenepfa BbrpaweHHe (J j ° , rae cyMMHpoBaHHe npoHSBO -

yno B i - p M CHPTHUM opaHHanaM. B cany (4) STO BbipaweHHe onpenenaeT

HeKOTopyio qacTHHHyro (tyHKUHio j/ ,.3aBHCflmyio OT aanHoro ceMefiCTaa ./ .

HojTaraeM -^- j-^)-/-, ll TeM caMMM HCKOMasi onepamifl onpeneneHa.

TEOPEMA 1. 0 y c T b ^=^ (.f) H n y c T b 7(7^^ /7.

T o r a a

oxh 'qxBjBwoimsdu wetrXg eiueoa nn wemijeHquBcr a ! j| (/

Bxeadxo ojoxe Xmiu^" 'aoirBBHtrdo xiquxeho Bxeedxo oaoHiL-BhBH OJodo-iox

-8H BHnBdejMXH BBHhBHeoHtro OHroHBea BBHqiToaenodu ixoe ^\o 'g §

OOWOXOH xeXnei/o

Xwoxou H ' OHei/eDsduo 6H ( '3? '

ox ' - j jyg- -a/} nuoe ' A OJOXBOB

F n j o x '-oa s / U o x i q a BH j, e B 0 o 11 ' ^ H W

H or w o x H s w X a d B a B B x o g e d '

o d 11

-B H =£ ^ x o X LI 'I aHSXOI73I/O

wenXg raw JJ ox£

:oxh 'SOSBX A aoHHsaxoHHtre xa^ V-XaxoetnXo £Q^?' OJOHWBX Biftr oxh 'xsjtoeiro (' r^ Tlf, =$ BHHeodxooii

eH ' jf BHHairatreduo qxoBirgo xaBHFHeo ^g 'OHhiqgo SBS '

f+i

*n

< A

:oxoeJ^i XBBJMH C oaomqitog OHHOXBXOOB Kim OXH 'xeXtreiro (^) en SOITBH

-Htrdo xiqHxsho Baxo8*OHW HxooHxehoeH XifHO g 'OSXCRI/SXVEVMOtT

'( ^T B3XOHSJM8O EH HWBUjfXBdO O H ) _7f WOUXx

-Bdo WHWBO o XHmwBXogBd 'HHmew BITD HsaoHBxoo Xwsugodu xeemed -f

oxh 'xeBDxdeaxX i ewsdoax OH«!irexB5KdsiioQ '3HHVh3WV£

HHauXxo godoxa H BHHawoHhwa

382 H.B.EejiflKHH

HBJiaexca npeaejibjibiM opaHHanoM. flna ^ _ < l / V ; | nycxb K ecxb

" • A A ' 1 ' J'

C noMoinbK) HHayKUHH no X onpeaeniiM ceMeftcrBO opaKynos c^" •=

*, }A*..VII ^^y10™^

A *~i /

B lacxHOCTH, npH \=- O nonynaeM opaxyn lf=^ 3tia ($) • STOT opa -K0 "o'K0

Kyn xopomo HSBecTen B reopHH rnnepapn4IMe'rlIt!ecKftx '<J>y'HKiinft ( H3H , crp.

406,407).

Ha onpeneJieHHfl $1 ' -onepaunn H us xeopeMbi 1 nerjco cnenyex:" y ^C

(c ) ECJIH n< x< ii v n , TO y £ ^r .1 . ' • • • • *•? A

(C'2) 'ff(M)^/f^ {^ (<M,jr>)He onpen&neHoj— 5

o ? ^(V^ nB 3XOM GMticne KaiKafcin opaKyji H:I - - cnjit.Hee npeflbiayiuHX. Monyc -

XHM, HXO Ka>K0aa MauiHHa fvt coemiHeHa c cooTBexcxsyfoiuHM na6opOM opa-

KyjiOB \¥:\3 cGMeflcTBa j^" (xax sixo Bbixoa ><, coenHHHex-

CH c opaKynoM J^, ) .A

Torna Ka>Kaa5i Mami-ma B oneEHflHOM cMbic.ie Bbmacnsiex 4 ) i i K C H p o B f l H -

Hyio HacxHH-Hyio (j)yHKUnio fox aanaHHoro HHcna apryMeuxoB) .

B SXOM H cneayiomeM naparpa<})ax HyMepauHH V 6yaex 3a4>iiKCHpoBa-

na. FIosTOMy Mbi SyaeM oSoaHanaxb • &~ • npocxo qepea 3E . AHaJiornMHO MW^A *

oxojKaecxB.THXb y Ka»flOH Mamtiuu HHqeKcw ee Bfaixoaos c cooxsexcx-

opuHHajiaMH. B aa/it>ueHiueM npii nocxpoeHHH paoJTHHHbix acnoMO —

MBUIHH MM. HHorna 6yaeM neaBHo npeanonaraxb, HXO STH Maum -

>KecxKO cBffaaHbi c opaKyxiaMH us ^~ . flanHM xenepb ocnoBHbie on -

OOPEflE/IEHME 1. HacxHHHaa (JjyHKUHH £ Haabisaexca o6o6menHo

( oxHocHxejitHO HyMepauHH V '), "ecj iH •£ BbiHHCJifierca H^KQ-

xopofi MauiHHofl A^ , coeaHHeHHQH c 'Ha6op.OM opaKynoB \^n \ e 3 (M ) H3

ceMeftcxBa f . ECJIH npH SXOM - D'(f^l')c.fJ , xo .f HaawBaexca [V, AJ-

BblHHCnHMOH.

OnPEflE^EHHE 2. OpenHKaT Haabiaaexca \\>, Xj -paapeuiHMbiM. ec-

nH ero xapaKxepHGXHHeCKaa ijiy-MKUHH I \>, X\.

OOPEflE/IEHHE 3. MHOMOCXBO HaabiBaexca |v, A-J -nepeHncnnMbiM,ec-

JIH OHO ecxb o6jiacxb onpeaeneHHa naexHiHoft ) \J, Aj-BbiqncnHMOH (j

O6o6meHHbie BbiiHCJietmg H apmjiMeTmca Bi-opoft cryneHH 383

<t>yHKUHK), BblHHCJlHMyK) OTHOCHT9JIbHO *J Ha MaUIHHe A// , Mbl 6yflSM

nepea |A/\ , HJIH npocro nepea |A/jfjc:). A HanoraiHwe

o6o3HaH6HHH npHMGM ana 4>yHKUHH HecKonbKHX nepeMeHHbix. Ana o6o6iueHHO

BblHHCJIHMblX (JjyHKUHH HM96T M6CTO CJieflyK>fflHH aHanOF TeOpeMbI O HenOflBHK

HOH TOHK6 ( C 2 H , CTp, 314),

J1EMMA 2. (i^ flnfl K a x n o i t M a m H H bi ,vf cy-

m e c T B y e r M a u i H H a e T a K a a, H T o:

C y m e c T B y e r o 6 i n e p e K y p c H B H a a

t | ) y H K U n a , O T o 6 p a > K a i o m a f l M B e. B c o -

O T B 6 T C T B H H C (l) .

flOKASATEJIbCTBO. nocxpoHM CHanana oSmepeKypcHBHyK)

, HTo6bi nna Ka?i<AOH MauiHHbi z BbinonHHnncfa ycnoana:

CymecTBOBaHHe TaKOH (jjynKUHH oneBHaHO. (Hy>KHO aoSaaHTfa K nporpaMMe

Z HecKonbKO KOMaHfl , npeo6pa3y KiiuHx apryMeHT -zc B napy (Z,^C ) .

SareM crpOHM ManiHHy t~l .j raKyio,

nocneanee paBeHcrso, no cymecTBy, oaHanaeT, HTO MauiHHa H

Jc:. , aonwHa CHanana BbiHHcnurfa 6 (Z) , a .aareM MonennpoBart.

M npHMGHHTenbHo K apryMeHTaM df«>, 3£ . Oxciona SJCHO, HTO

nepexon OT M K H. , coBepuiaeTca"~ l(H . Toraa

TaKHM o6pa3OM, (i) BbinojiHeHo. nocKO,-ifaKy MauiHHa £M crpoHnacb 3(})-

(jieKTHBHO, TO (il) TaK>Ke Bbino.THeHo, H neMMa noKasana.

3AMEHAHHE. /lerno BHaeTb, HTO nocrpoeHHoe oroSpaweHHe M B e^

H6 33BHCHT OT HyMBpaUHH \}

4. r ^ '—

384 H.B.BenHKHH

(v) HBJIHGTCS! oieBHflHbiM aHanoroM MHOmecTsa renejieacKHX HOMepos

- n e p e i H c n H M o e/IEMMA 3. /" 'WeA.

M H O J K 6 C T B O .

flOKASATE/IbCTBO. xawnoro MO>KHO 3(}>4>eKTHBHo nocxpoHxt>

P C ef lHHCTBSHHWM BblXOflOM A T8K, HXo6bI SblJIO BbinOJIHGHOzcjienyroiuee ycnoane. HesaaHCHMO OT apryMenxa, P^ nocneaoBarenbHo aa -

naeT Bonpocbi <^,o> , •<•%, />, . .. . EcnH Ha onepenHoit sonpoc nonyieH

OTB6T O , TO /-^ oanaex cneAyiomHft Bonpoc. ccnH >Ke oiepeflHoft orBex

c opaxynoMox O , TO f? ocxaHaBjiHsaexcfl. CoeAHHHB , ,

J p paSoxaex

B cMy xeopeMbi 1 ?

onpeneneao)

\P pa6oxaex

FlycTfa, win onpeaeneHHOcxK,

sa B cuny xeopeMbr

Ha (1) H (2)

/ . (1)

pa6oxaex

npHMewaexca K apryMenxy O . CHO-

— f. (2)

(3)

OoCXpOHM Xenepb MaiUHHy Q C enHHCXB6HHbIM BblXOflOM A , KOXO -

paa paSoxaex xax. FIonyHHB K. , Q BbiHHcnaex HOMep MauiHHbi PX H aana-

ex Bonpoc <'1~^j Q> . Ecnu oxsex pasen 1, xo Q ocxaHaanHBaexca. ECJIH

OXBGT oxnHHeH ox 1, xo & snaflaex B 6ecKOHeHHbifl npouecc, He aaaasaa

apyrHx aonpocoB. B cray (3), HMeeM:

onpeneneHo ze./T.

§ 4. flepeafaa c oSpbisOM ueneA

Una jiyimero noHHMaHHa t()opMaJibHbix nocxpoeHHft axoro naparpa<t)a

adat? aowHrnedeed- (Y '/i { xaBiratradiio H J^^c ox ' J~3Z

H OHSirauaduo

OXH ' ^^ eosBX qxHodxooii oHanxae({)({ie

•jjaiian woaiqdgo o B<aaed

atr eiqjNHmsdeed- fy ' \ qxeaooadaxHH j.£o£g OBH e^Bdaedeu woxe g 'ownm

(~Y 'A / a>KSBX c' HHindaa xwaanHOs oaxoswonw ( t f ) ^ifno g 'oaxo

aowHtnedeBd— ("^ ' 7 fjogoo xeBuaBxatradii 5" oaedatr

xaoa

fa *S*)%oaA\/(s ^HHindaa BBHHsdxXna - 77}

-• — BHHmdaa BBaennos - 77

:BHaoiroX Bat? WHaHirouiqa (7*)%} BiBsiinadu oaodoxoseH BITH

a H H n x X t T H H H O H X H H H c | ) O H B d X UHUHHdU

xaawn itauan woaiqdgo o aaqaadatr Birfl • ( ^(^Ox1) ^E^A Huoa

' j j e u e n w o a i q d g o o w o a a d a u BOxaBatqcBH Gf oaedaff

C -3 < v<7 ' '"'^7 ^Jx'/v Hitos ' 5" Baadatr o i q i i a n H O H h e H

o x o e g uoxsBaiqeBH • "l2Jfi'"-'7fi 'L(2- qxooH^iraxBaoDauooij

•HetTHaaho OHKOXBXOOD aoHHwdsx xHxe xaoa

' H i \ H H H a d x X H a BoxcuBaiqesH iqHHmdaa

BOxesaiqeBH < n ' /2>-

' j5* XHwaiftTBHHdii <• 5- Ksxdox goxoAii oxh 'xaAliaLfo ( U ) ej^ •

paedatr

:BHaoir

- oA Ban HHaHirouiqa OJodoxos BUD H jfewaxdox BdewoH SBS qxaaodHxadudax

-HH i^atfjCg ojodoxosi itxnawsife ' i~ oaxoa»OHW eoaoifOHh aoxoXiisn soxsoa

w o a 8 d e tr ixsaneBH ^etJXg nw 'BHXBHOII aiqxoodu aiqdoxoxeH wansaa

S8C HneiiXio ijodoxa Bxaxai\({)HdB H BHHei/OHhiqa

388 H.B.Ben*KHH

BO /SK cneflyiontHM o6paaoM:

OnPEAEflEHHE 5. O C* = (z } %e-T C^A &„ - c o6PbiBOM neneft)./- 1 ^~ ^~ /«Jl

, ^7 £= f {^ . CoaepHcaTejiBHbift CMBICJI £7 aceH HS npe -^A. ^ ,X.

paccMOTpeHHft. Tax Kas HyMepaiwa V y aac noxa .<|>HKCHpOBaHa,

M M 6yaeM nacaxfa O-, , /"I BMecro O f .• A A A

JIEMMA 4 . C y n j e c T B y e T o 6 m e . p e K y p c H . B H a 'a

( J i y H K H H H A (^ T a K a 'a, I T O e c i i a cc /* , T o

AOKASATEJIbCTBO. Kawnofi Maiimne A/ nocTaaHM B

MauiHHy M xaK, iTo6bi 6binH BfamonneHM asa ycnoBHa: •

(i) ^C/vO = ^TA/;C/{A}..(11) Pa6ota M (neaaBHCufMO OT apryMGHTfl) COCTOHT B BbinonneHHH

cnejiyiomeft ndcnenoBarejiBHOcTH HHKJIOB. B /t -M mucne A/ MoaennpyeT pa-

6oty M npHMeHHTenbHO K apryMeHTy n. . ECJIH aj-a irpouenypa

TO nonyHeHHoe 3HaHeHne | M } ( ri} noriaeTca KaK sonpoc na Bbixoa

A . ECJIH na STOT Bonpoc SyneT nan OTBBT (KaKofi yrOAHo), TO A/ ne—

pexpflHT K cjieflyiomeMy nmuiy.

Ha (i) cneflye-r:

£ /? . . (1)A ' . '

o6 me peKypc HBHy HD

M B M B COOTBBTCTBHH c (i) n (II) . Ha:*® npeflnonaraeTca,

TTO M coeaHHeHa c opaicynaMH na •£" H npHMeriaeTca K apryineHTy O

. Toraa Ka»abift UHIOI pa6oTw M

onepeflHoro aHaisHHa {A/J (n.) n nonaiefl ero Ha Bbixoa A, . • Ta-

KHM oSpasoM, . .

V/T (IA^ \) e. o ¥, ) —*"A/ pa6oTaeT SecKOHeiHo:U JV A (2)

^, ) — *-M nonyiafeT OTKBS Ha Bwxoae /L

Ha (1), (2) H TeopeMbi 1 oneayeT

KpoMe roro, cornacHo cneacTBHio 1:

O6o6meHHbie BbiqncneHHa H apmfrMeTHKa Bropoft cryneHH 387

, (4)

rne p onpenejiaerca npHMeHHrenbHo K opaicyny .J . /^

IloCTpOHM TBK^e o6fflepeKypCHBHyK> (JjyHKIlHK) jf (">/, tJ.) T3K, HT06H

SBIJIH BbinonHeHbi ycnoBna;

(.3)

BO3MOJKHOCTb nOCTpO6HHa TaKOfl (tyHKUHH OH6BHHHa. flOGXaTOHHO no6aBHTfa K

nporpaMMe M HecKOjifaKo KOMann, npeo6pa3yK>raHx apryMGHT /z B apry -

M8HT «*•/!'. JleTKO BHfleTfa,

, rA '*•

Ha (3), (8), (7) nonynaeM:

). (8)

3aij)HKCHpyeM C

> e 5 ^ . (8 )

C noMomfaK) jieMMbi 2 MH MOHCSM ana Ka*aoro IS 3<Jxj)eKTHBHo

Taxoe „ , HTO:

<c,0>

e/' • , TO 4>yHKUHH •%%(.&) BcwAy onpenejiBHa.

Bcrony onpeneneHfci. OTcroaa, Hcnonbaya (10),

(12)

rax HTO (jjyHKmifl {iLfa j (ju) BCK>fly onpenenena. Ha (8), (11), (12) one -

nyer, HTO ecna ^e /T , (<^lz}f'u')= / , TO:

coaep>KaTenfaHbift CMMCH (JiynKUHn ^ jt_ \ nna .

(JiyHKUHa Kaacaoii BepuiHHe CZ nepeBa <S,j craBHT B cooTBercxBHe HB-

KOTOpyro MauiHHy M BMecre c apryvieHTOM O ^^•u~"£'{f }('&-) "? r> ^ '

388 H.B.EensKHH

xaK ITO HMeex Mecxo cnenyromee. ECJIH z/*-KOHH6Baa BepmHHa, TO ,y== £- •

ECJIH #ce Z.C— BHyxpennafl BepmHHa, xo A/ nocxpoena XBK, HTO ona nocneno-

BaxenbHO nonaex Ha Bbixon A. aonpocbi o nosefleHHH MauiHH Mfj,<rT.

( n =0, /, ... ) -

C noMonifaio xpanc(J)HHHTHoS HHflyKUHH nerKO flOKaabiBaerca:

I (H)A

B caMOM aene, ecnH [Q \ •/ , TO npennonaraeM no

(13).

floKa>KeM xenepb, qxo:

, xo ncnontayeM (9) . Ecna we {<f '^i^=

( I (tt*n.')€-&&i )• H HC ~

riycxb i?e r — £7 Toraa cymecTByex nocnenoBaxentHocxB V , V. , .. £> ../C /A. 1 £r rl

, HXO:

. Ha (13), (16) HHnyKUHefi no < nony -flonycxHM, HXO [jf j

IIonaraeM B (4) A/=

HTO

< ,..,, VK>) • Ha (5), (7), (12) cnenyex,

. OoaxoMy, B cnny ( 6 ) , ( 1 1 ) , (16) , (17):

Hxax, MM nonyiHUH 6ecKOHeiHO y6bisaioinyio nocnenoBaxejifaHOCTt. opnHHanoB,

nero He Moacex 6bixb>.

HO. Ha (14) , (15) onenyex:

, j £ • H (15)

HanoMHHM, HXO oxo6pa>KeHne % B -f-^ aBjiaexca

nacHO neMMe 2 (ii) . IlosxoMy ana Ka>Kfloro X MH

nocxpoHTfa MaiiiHHy m xaK, ixo6w BbinonHajincb ycnoBHa:

, cor -

(iii)

(IY) (c \ >) H

O6o6meHHbie BMiHcneaHg H apmfrMeTHica Bxopoft cxyneHH 388

noaaer ero aa BWXOA X • nonyiHB OTBST , m-

Ha (18) H TeopeMbi 1 cneAyex (nna Z6. H . )'•A-

«"«. O^ •"» * < m. ; O > *=. <5* £

l

TEOPEMA 2 . £7, e c r b { V , X } - n e p e i H C J i H M o e

M H O » < e C T B O .

flOKASATEflbCTBO. IIocTpoHM MauiHHy 7" c eHHHCTBeHHbiM Bbixonow

ft, , KOTOpan pa6oraeT TBK.

(1*) FIonyHHB ^", 7~ Moaennpyex MauiHHy ^ (cM.aoKasaTenbcrBO

neMMw 3) npHMeHHTenbHo K ss . ECJIH STB npouenypa aaKantHBaeTca, TO 7"

nepexonnx K ( 2 ) .

(2 ) BbiHHcnaeTca A(se) (us JIGMMW 4), KOTOpoe aaxeM noflaexca

ua Bbixon A. . FlonyinB OTBBT, T ocTaHasnHBaeTCH.

Ha neMM 3 H 4 cnenyer:

{ 7"J ( J onpeneneHO •* »• ^ 6 O .

TeopeMa noKaaaHa.

CHEflCTBHE 2 . E c n H { ^ , A j - p a a p e u i H M O e n e -

p e a o H M e e r 6 e c K O H 6 H H y i o u e n f a , T O

O H O H M e e x ^ V , /!•+• Y J - B b i H H c n n M y i o 6 e c K O -

H e i H y r o u e n b .

flOKA3ATE/IbCTBO. OneBHAHO, Bcaxoe [ V, A} -nepeiHCJiHMoe MHO -

>KGCTBO |v, /L+-fJ -paapeuiHMO (B cany (C7~), (c^) us § 3). FlosTOMy, nepe-

6npaa nonaepesfafl aaHHoro aepesa H npoeepaa win xa>Kaoro H3 HHX ycnoBHe

uenefl (c noMorabio opaxyna ^^+i ). MOJKHO BbiaenHTb

6ecKOHeiHyio

§ 5. 3aMeaa

Ao CHX nop Mbi paccMaxpHBanH o6o6meHHyK> BbinncnHMOCTb OTHOCH

xenbHO 4>HKCKpOBaHHOii HyMepauHH V> . PBCCMOTPHM Tenepb ABC HyMepa

HHH *Jf H ^ , npHHGM HyCTb 11^,11 ^ H ^_j H . EcjIH Me*fly 3THMH Hy

HeT HHKHKOft CB33H, TO H6T TapaHTHR, HTO (JiyHKUHH ,B WHHCnHMa

, , 6ynex xaxxe BbiiHc/iHMoft oxHocHxenbHO \ . MH, OA-

, 6yA6M aAecfa npeAnonaraxfa, HTO V? OAHOcsoAHMa K V, . 3xo ana

390 H.B.BejiHKHH

HHT, KaK H3B6CTHO, HTO HMeeTCS oSfflepeKypCHBHaH pa3HO3HaHHaa <j>yHKHHH <f>

xaicaa, HXO v> sc = J <^CZJ • B 9TOM naparpa<J>e v>r, v^ K <4> Qynyr aa -

fj>HKCnpoBaHbi, H Mbi noKaweM, HTO npH 3aM6He HyMepanHH \)f wyMepamiefi

Vj Knacc o6o6meHHo BWHHCJIHMHX (J)ymcuHfi MO>K6T jiHiut pacuiapHTbca. B

lacxHocxH, ecnH \?f H v^ peKypcHBHo H30Mop<j)Hbi, TO 3TOT KJiacc BooSme He

H3M6HHTCS npH TaKOft SBMeOB .

TEOPEMA 3 . C y i n e c T B y e r o S m e p e K y p C H B -

a a s i j j y H K H H H e(M) T a K a a , H T O a n n B C H K O H

M a m H H H M : [M}f*'\x) ^ { & (M)}^ fsc) .

flOKASATETlbCTBO. FIpoHaBOjiBHoK nape MamHH M, Li nocTaBHM B

cooTBeTCTBHe MauiHHy H .. . , TBK iTo6bi 6biJiH BbinojineHbi cjieflyroniHe ABafn fjj

(i) H (ii) . 7cnoBHe (ii) MW caaiana BbicKaxeM Heij)op -

, a HOTOM BneceM Heo6xoflHMbie yxoiHeHUfl (CM. (hi) - (h4) HH-xe).

, )= * y<w uJ(.L,i .r*1,Lt

L, MOnenHPyeT noBeaeHHe M c OAHHM JIHUII. HCKJIIO-

HMeHHo: KajKflbiii pas, Korna M aonxna noaarb

sonpoc < a, i/ y. aa cBoft Bbixoa v , A/4/ BMBCTO aroro no -/w, //naeT Bonpoc •<. {Z,} (.a~),y > «a BHXOZI 'fCi-)

flnH 6onfauiefi narjianHOCTH MOJKHO npeacTaBHTfa ce6e xaKyra npouenypy.

MauiHHa // "nepexBaTbmaeT* sonpocH, Koxopwe saaaex M , H saMBHa -

ex HX npyrHMH. nonyieHHbie oTBexbi oHa nepeaaer MauiHHe M . B HTore

M nonyiaer OTBeTbi HS Ha xe sonpocbi, Koropwe oaa aaaaex. SaMexHM,

ITO MBI HHiero ne cKa3ann 06 opaxynax, yiacxByioinHx B sxoft npouenype.

TaK H nonxHO 6wxfa, nocKonbKy na caMOM nene B Cii) Hfl&T pent He o

paSoxe H '., , , a o ee nporpaMMe, Koropaa aon>KHa Sbixt cocxaBJieHa ny -

xeM HaAnexamero KOM6nHnpoBaHHa naHHbix nporpaMM M w. £> . B nacx-

HOCTH, odosna'ieHHe j//j CczJ yKaabmaeT numb Ha TO, ixo npH onpeneneH -

HMX o6cxoaxejih.cxBax HywHO npHMeHHXfa noanporpaMMy L K apryMeHTyc2r .

Peayjibxax STOPO npHMeneHna SBBHCHT, KOHenao, OT BbifipaHHbix opaicyjioB.

Onnpaacb na STH npeflBapHxenbHbie noacHeHHa, naaHM xeneps 6onee

pa3BepHyxoe H 6onee (})opManbHoe onncaHHe MauiHHW f~l / ^ . Hpn STOM MM

HcnonbayeM (j)yHKHHK) S)("A/, JT, u.) H3 § 1 H csasanHbie c Heft <J>yHKiiHH

S>£ (i=-O,-f,2,3) . ynoTpe6neHHe STHX (JiyHKUHii nossojiHT HBM H36e>KaTb

pasroBopa o MOflennpoBaHKH. IlporpaMMa f~l ycTpoena xaK, HXO ee pa -

6oxa C npOH3BOJIfaHHM apryM6HTOM -SC COCTOHT B BbinOnHeHHH KOH6HHO9

O6o6meHHbie BbmHcjiemag H aprnfrMexnica axopoft cxyneHH 381

nocjieflOBarenfaHocTH UHKJIOB. KaKAbift HHKJI (KPOMG, 6biTb

nocnezmero) aaKaHHHBaexca nonaiefi aonpoca Ha HeKoropbiH Bbixoa us

Bonpocbi sxoro pona H ecxn 'nepenejiaHHbie' Bonpocu MauiHHbi A/ , o KO-

Topwx roBOpHJiocb B (ll) . Bee npOHHe Bonpocbi, T.e. saaaeaeMbie MauiH-

Hofl MM BHyxpn UHKJIOB, HM6H3T BcnoMoraxenfaHHH xapaKxep: OHH

c pa6oTo8 Li H noaaioTCfl Ha Bbixoabi HS

, HTO yxe BbinojiHeno /z, EHKHOB, npnieM f~f /^ ^ erne

He ocTaHaBHnacb (n.^o'j • OycTi. ana /-^- € •«. /t- t/^- ecrt OTBGT, no-

nyieKHbift B KOHUB i -ro UHKna. Torna B /*-+•/ _M UHKJIO npoHcxonHT cne-

nyioinee.

(hi ) • BbiHUcnneTca aHaieHHe £> CM,x, -< ur, ..., i/^ >) . (Ecna

n.— O , TO <. z/r , . .. , LL^— < >) . ECJIH OHO onpeflsjieHO, TO onpenene-

HW TaKxe cooTBSTCTByiomHe SHaneHHa Bcex S)^ . BbiincjiHB HX, rfjj ^ ne-

peXOAHT K (h2) HHH (fa3) .

(h2) • EcnH &o (M,3c.><.u.i,...,U/l>')= ° ' T0 HM,L Bwaaer pe-

£) j LM , JC, < z/ ,...,un>) H

Cf, y raKHe, HTO £) f M, x.,<u ,.. U >)=<ay?- SaxeM BBOAHTCH B

CTBHB noanporpaMMa // , Koxopaa npHMeHaerca K ex . ECJIH

JIHT KaKoft-HH6yflfa peaynfaxax (o6o3HainM ero [L^ (a) ), TO HM >Zr

nepexoAHT K

. Ha Bwxofl <f> (£) CM,^c, -<ur, ...,un >)) nonaerca aonpoc

. FIojiyHHB OTBex , /V nepexoHHx K cnenyromeMy uHKJiy.

Ha STOM onncaHHe MauiKHw /•/., , aaKOHHOHO. EcnH MW HOJIOJKHM

xo Bonpoc, Koxopbiii ;I x ^ aanaex B KOKHG /i+ / — ro UHKna, MOJKHO

caxb B BHne:

>"CM,JC^ U,,..., u/t>)>. ( I )

, cymecxayex oSmepeKypCHBHaa cjjyHKHHa n.(_M,j!j) TaKaa,

ITO H .. — /i(.M,L') . C noMomfaio JIGMMW 2 HafiaeM xaKoe e , nnn KO-"fl-jiJ

xoporo:

i7ce; = /, (2)^ (3)

392 H.B.BenaKHH

B nanbHeftuieM BMecxo /£j (Ml MM 6yaeM nacaxfa e(.M) . HCHO, HXO

$yHKiiHa e(_M) oSmepeKypcHBHa. Ha (2) , (3) H (i) cneayex:

t A\ = fJCM)-

Ha (2) cneayex, ixo MauiHHa e(M) , x.e. //^g , BwnonHaer npone-

nypy (h3) • He npaSeraa K opaxynaM. TaKHM oSpaaoM, sxa MauiHHa aaaa-

ex xonbKO Bonpocbi Buna (1). FloaxoMy HMeer MBCXO ecxecxsenHoe cooxBex-

cxBHe B noaefleHHH MauiHH M H e(M) . HMeHHo:

(6)

. (7)

,<: Uf,...,U^^<p(£>3(M,x:,*u,,...,L'n>)). (9)

flna Toro, HTo6w noxasaTfa ace STH paseHcTBa, nocraTOHHO npucnenHTfa no -

BeneHHe MauinHbi H B /z+/ -M umcne.W,e

floKaxceM renept cneoyromee BcnOMorarejifaHoe yTBep*fleHHe.

(ill) HycTfa M coeaHHeaa c HaSopOM opaKynoa £# = { %i J £

a €(M) - c Ha6opOM opaKyjios $4= {$••

Torna A/ H e(.M) BbiHHcnnioT onHy H xy »e

B caMOM nene, nycxb A^ H e(fd) oaHoapeMenHo npaMenaiOTca K

topoMy apryMenry X . FIpn caoefi pa6ore o6e MainHHbi, aooSme roaopa,

6yayr aanasarb sonpocbi. PaccMorpHM nocnenoBarenbHOCTfa oraeTOB, KOXO -

pwe M nojiynaex Ha CBOH aonpocw:

IIpH 3TOM ycJTOBHMca, Hxo OTBex t . He onpeaeJieH, GCJiH A/ nojiyHaex

oxKaa Ha /z- -ft sonpoc HHH ecnH A/ aanaex Menee HSM /t sonpocos.

nycxb

ecTfa nocJieflOBaxenfaHocxb oxsexoa, nonyneHHbix MaiuHHoit

O6o6meHHbie BHHHcneHHg H apaftMexHKa BTOpoit cryneHH _ 393

Zlajiee, xamaaa HS MauiHH /V H e(\f) conocxaBJiaex c aaHHbiM ap —

ryweHTOM jc HBKOTOpoe BbiHKcneHHoe eio aHaneHiie (BOSMOKHO, neonpe -

neneHHoe). Oycxfa STH 3HaneHHH 6yayT u)r K uJ , cooxBexcxBeHHo.

Ha (S), (8) nerKO cneayex, HTO ecaiH ana scex /z. tl^ ^. ^f^ , TO

t-t^1 !±L ^z • OCTan°cfa npoaepHTb, HTO HyjKHOe coBnaaenHe OTBGTOB aeftcx-

Mecro./ ^no HnnyKUHH, HTO tt — W^. nna x^-n. . AonycTHM cna-

nana, HTO A/ aanaeT He Menee /z.4- / Bonpocos, H nycTb ee /z.4- / -fl BO-

npoc paseH •£&, y> a noflaerca na Bbixoa i, . Torna, B cmiy (7) , (8), ( 9 ) ,

/T+/ -ft Bonpoc MauiHHbi e.(M) 6ya.er^e(ac),y> H OH 6yaeT nonaa na

Btixon <p(i) . Ha ( 10) cnenyeT, HTO

Morno cnynHTBCH, HTO A/ He aaaaeT nA-t -ro sonpoca. Ho xoraa, B cmiy

(5), e.(fiS} TOJKG He aanaeT /t+ / -ro Bonpoca. rioaxoMy CHOBB c / . a? w f ^ ./Vrf /ITT

TeM caMbiM (iii) aoKaasHo.

O6paTHMca, HaKOHeu, K noKaaaxenbCTBy xoro, ITO (JiyHKuaa e(fr/J yao -

naineft TeopeMe. FlycTb

cyTfa CHcxeMbi opaKynoB, nocxpoeHHwe ana HyMepaanJi \ * B cooTBeT-

CTBHH C § 3. AOKaKGM, HTO anH A •£ II V II HMeeT M6CTO:

, y>) ^ C< « <:«;, y > ). ( 1 1 )

no HHoyKUHH, HTO:

Civ) fljia Bcex opaHHanoB, MeHbiiiHx nexoTOporo /i , cooTHOineHHe

(11) BbinonneHO.

Kaxabift H3 opaxynoB ff^ H ^ CTPOHTCH nocpeacTBOM HeKOxopoS

^'^fl!^ -onepanHH (npH noaxonarnHx /? H *r ), npHMenaeMofi K cosoKyn -

HOCTH npeAiuecTByiomHx opaxynos cooTBexcTByromero ceMeftcraa. CpaBHHaaa

STB onepauHH H Hcnonbaya (.iv) , ySeanMca, HXO (11) BbinojiHsexcsi H ana

paccMaxpHBaeMoro A . HUJKB MU 6yaeM npHMeHflTb ofioaHaneHHa HS § 2,

MOflH(})HUHpOBaHHbie OHeBHflHblM o6pa3OM npHMeHHTSJIbHO K

'=.\?~ A , /7A={£, ]V,i^ A] H x.n.)

no V aoxa>KeM, HTO ana scex A/,cc;

394 H.B.BenaKHH

a, B cany (iv) H onpeneneHHa ffi# ^ -onepauHH, H 6ynex

( 1 1 ) . EflHHCTBeHHblH HSTpHBHaJIfaHblfi CnyHafi, KOTOpblft HaflO

npH aOKaaaTejifaCTBe (12), - STO nepexon OT jf K y+ / (CM. (B-) ,

H3 § 2). HxaK, npHMBM euie OflHO HHnyKTHBHoe npeflnonojKeHHe:

(v) flna HeKOTOporo •{ HMeer Mecro cooTHOineaHe (12).

B cany (4) , JXCA/^ £ /?, -*—*~^(€CM)) £Z /}. . FIosTOMy, ecnH

He ^fl, , TO &. '" fcMfZ'?) H & (^eCMjjo) oflHOBpeMBHHo He onpene-* • » . ' • • A .

nenw. PaccMorpHM Tenepb TaKyro MauiHHy M , HTO Cf(.M) C A . Ilono—

er, ITO CM H O^ yaoBnexBoparoT ycnoanio (10). Paccy*aaa npHMepHO ran

«e, Kax npH aoKaaarenbCTBe (iii) , nonynaeM

OrcKma, B cnjiy (B.) us § 2 cnenyer, HTO (12) BbinonHHercH ana

TeM caMbiM MH noKaaanH cooTHomaHHe (12), a BMBCTB c HHM H (11). Ha

(11) H (iii) cjienyeT, ITO {A/j ( f )c^c; a^ { e ( /V)} *\x) . TeopeMano-

xasaHa

§ 6. CoBMecTHaa cacTSMa

PaccMOTpHM CHCTemy HyMepauHfi { \ ) , rae f npo6eraeT see CH&T-

HHe opuHHajiw, a n v^ll HanaercH npenejifaHbiM opnHHanoM >•£" .

OFIPEflE/IEHHE 6. CncTeMa \_^v} HaawBaerca COBMBCTHOH, ecnH npn

2" ^ Z^ acaKaa (JiyHKUHa, (o6o6uieHHo) BbiiHcnHMaa OTHOCHTenfaHO HyMepaiiHH

Vj. , BblHHCJIHMa TBKiKe OTHOCHTenfaHO V*- .' ri

CyinecTBOsaHHe coBMecTHofi cucTeMbi nyMepauHfl 6yneT noKasaHO HH«e.

flna a-roro HBM npHflerca npeABapHTenfaHO cnerKa MonH$HHHpOBaTb reopewy 3.

OycTb y3 - Kaxofi-HHSyab cieTHbifl opnHHan. ByaeM roBopHTfa, HTO uyviepa-

una j t oziHOCBOAHMa K HywrepauHH v^ co C f l B H r o M / 5 , ecna

cymecTByeT oSmepeKypcHBHaa pasHosHaHHaa ({jyHKUHS <f> raKaa, ITO ana

Bcex K yS-f V,Z= ^ <P(x) . IlycTb Tenept, iJiyHKiiBa e(/^fj nocTpoeHa, HC-

xoaa K3 3Toft (JjyHKHHH 'f , TOHHo ran »e, K8K B npeflbinymeM napaTpa^e.

HEMMA 5. { M\^ (x) t* { e(M)} (x).

flOKAS ATE/1 bCTBO. flna nroSoft MauiHHbi M HMSOM (no nocrpoeHHio

(*< I V, W -

O6o6meHHfaie BWHHcneHHa H apmJjMexHKa BTOpofi CTyneHH 395

Orciofla, paccy>Kn.as TBK JKG, KBK npn flOKasarejifaCTBe reopeMw 3, nonynaeM:

Ha 3Toro cooTHouienHH (B ciuiy (iii) HS § 5) BHTeKaex HCKOMOG yrsep -

TEOPEMA 4 . C y m e c T B y e r c o B M e c T H a a c H -

C T B M B H y M e p a u H f l .

flOKASATE/IfaCTBO. Pa3o6i,eM MHOJKSCTBO HarypajibHbix HHcen ^V na

HHCJIO 6ecKOHeiHfaix HenepeceKaMfflHxca peKypcHBHtix

M = U Jf .

<}>yHKUHa, oxo6pa>Kaiomaa BaaHMHo OZIHO -

-V na JVrrl (,m= O, -f, ... ).

HcKOMyro CHcreMy HyMepauHft 6yneM crpoHTt c noMoaifaio rpaHC({)HHHT -

HOft HHAyKUHH. flonyCTHM, HTO flnfl K3>KflOrO O «= Z Mbl yMC6 HOCTpOHTIH Hy -

MepauHKD N?C , npuieM xaK, HTO fl/ia cr, < o£ •< 2T HyMepauna v^ OAHOCBO-

flHMH K HyMepailHH \ .,. C HeKOTOpbIM CflBHrOM.L

BoabMeM renept npoHaaonbHyio nyMepauHio V^ , ana KOTOpoft ''

ecrfa npenejibHtifi opaHHan ^.T ' . BoafaMeM xaKace npoHasojifaflyio

6 O"*-) , oxo6pa>Kaioinyio -V Ha MHoacecxBO opflHHajioB : t . flna

i ll Vg II , ecnH 0 <: zr ;

*V^ , ecnH f t- .

OnpenejiHM HyMepaimro v1 . cneayiomuM oSpasoM. riycxfa ze. J^m ana KBKO

roporo m . Torna:

* -//3 + "J y/ eui r -*-/n

PaccMOTpHM nio6oe C •£. t , H nycTb rn. TaKoao, HTO ff(m)= G . Toraa,

no nocrpoeHHio Vj. , v onnocBoaHMa K v*^ co caBHroM 2< lbQ , npHies/ &(L)

CBonamefi <j)ynKUHeft asjiaeTCH ^f

B cany neMMw 5, nocrpoeHHaa raKHM o6pasoM cHcreMa HyMepaunft [v^J

coBMecTHa, H TeopeMa

396 H.B.EensKHH

H a H H H a a c a T o r o M e c x a H no K O H -

u a c x a x b H M H 6 y a e M n p e n n o n a r a x b ,

H x o 3 a ( j ) H K C H p O B a u a H e K O T O p a a c o B M e c T-

Haa c H c x e M a H y M e p a n a f t ^ r • KpoMe roro, MH

noTpe6yeM, ixoSw ana <$ < £ v? 6bwa oaaocBoaHMa (co caBHroM) K

nocpeacxBOM HeicoTopoft 4>yHKUHH < ? _ H BbinonHHnocb HepaseHCTBO:

2

, cucTGMa HyMepauuft, nocrpoeBHaa B AOKaaarenfaCTBe xeopeMW 4,

flonojiHHTent>HOMy Tpe6oBaHHK>.

OnPEflE/IEHHE 7. 4>yHKuHa HaabiBaexca f -BbiHHcnHMoft, ecnH oaa

o6o6meHHO BbiHHcnHMa OTHOCHxenbHo HywepauHii v'— . AHanornHHo onpene-t*naerca X -paapeuiHMOCTfa ana npeflHKaxoB.

MM 6yjieM ynoTpe6naTt> orpaHHHeHHbie (jiyHKUHOHa^faHwe KBaHTOpw BHna

Voc H 3 'oc , noapaayMeBaa, HTO nonKBanropHaa nepeMeHHaa irpofieraer co-"c t

BOKynHocxfa scex oaHOMecrHbix BCioziy onpeaeneHHbix T -BbiiHCJLHMbix ijiyHK-

UHft.

OlEflCTBHE 3. U y c T b ,/2(a,a.) e c T .b 2* - p a a p e

u i H M w f t n p e a H K a r . T o r n a :

Voc 3jc & ca.Zfte)) — -*- Voc ^^c >« (iz.^rar^ .E"

flOKASATE/IbCTBO. Ha nesofl nacTH HCKOMOU sKBHBaneHTHOCTH rpn-

cneayex npasaa nacxb. floKa>KeM o6paxHoe. Ilycxfa ana HesoToporo

cnpaaennHBo:

OpeflHxax Q. "? -paapeuiHM; noaxoMy npH HBKOTOPOM A. •* 11 tf_ )l OH aana-

exca (VpiAj -paapeiiiHMbiM. CornacHO cneacTBHro 2, Ha (2) Btixeicaex, HXO

cymecxsyex £V.j.,.X-MJ-BbiHncnHMaa uent Qffi , ana Koropoft cnpaseanHBo:

Tax K3K offl 2T -BHHHcnHMa, xo ana aaHnoro OL

r

TeM caviHM cneacxBHe

C/IEflCTBHE 4 . E c n H ex ZT , T O M H O X B C X B O

O6o6meHHbie BbiHHcjieHHH H apHjiMerHKa BTOpoft cryneHH _ 387

B c K> a y o n p e a e n e n o } a B n a-

e T c a t - p a a p e u i H M M M .

flOKA3ATEflbCTBO. B cuny neMMbi 5,

( I , , (^J <z I I Z j

{ Z |

Bcrofly onpeneneno I =

scrony onpeneneHOJ , (3)

rne £03? nocrpoena, HCXOA« HS cBonnnieft (JiyHKUHH S j. . Ha (1) cnenyer,

HTO ana HexoToporo \ II \>zl\

} C-«9 Bcrofly onpefleneHoV £ ?. (4)

Ma (3), (4) c noMomfajo neMMBi 3 nonynaeM, HTO paccMaTpHBaeMoe

CTBO {\^, Aj -nepeiHcnHMO H, cnenoBaTejibHo, {^,A.+ ^} -paapeuiHMO.

CnencTBHe

§ 7. CTa6HjiH3auHa

. Pac-

3<x.0 Voc,

rue 6?^? ecTfaj'V npn /z, HBTHOM H V-^ np« /^- HenetHOM, aA.^,...,

cyTb cneTHbie opflHHanbi. MHOWBCTBO Tex a. , ana KOTOPHX (1) HCTHHHO,

nepea:

ITpeflnonowHM, HTO A,0,...,A-n onHOBpeMeHHo BoapacxaiOT no neKOTOpOMy aa-

KOHy, T.e. A-=A^Cr ; Ci.=O,...,n.) , rae napaMeTp -ZT npo6eraeT Bee

CHGTHbie opflHHanbi H see Afc- C2\ cyTt MOHOTOHHbie (JiyHKUHH. Torna nnxep

nperauHH (j>yHKUHOHanbHbix KsaHropOB B (1) 6yaex MGHHTIJCH c H3M6H6HHeM

f . CoOTBeTCTB6HHO 6yn6T MCHflTfaCH H MHOJK6CTBO (2). Mbl SaHHTepeCOBa-

Hbi B raKOM aaxone pocTa A-j , npn KOTOPOM (2) MO»eT jiHiiifa pacuiHpHTfaca ,

Korna Z" BoapacTaeT. Torna, B cnny HecnexHocTH MHoxocxsa cnexHbix op-

aHHanos, MHOMOCTBO (2) Korna-HH6yAb cxa6HnH3Hpyexca.

3xH paccMOxpeHHH noncKaawBaiox aienyromyio aanany, peuieHHio KOXO —

poft H nocBflineu nanHbifi naparpa4>. Mw XOXHM nocxpoHTb

(3)

398 H.B.EensKHH

jrna xoxopofi BbinonHeHw ycnosHH (i) , (ii), (ill) ,yica3aHHbie HHJKO B

7. CoAepJKaxenbHHfi: CMbicn SXHX ycnoBHii MOXHO npeflBapaxenbHO no-

Tax. fljia npoHasonbUbix n K <5 H npoHSBpjibHoro o -paspeuiH -

Moro n.+2 -MecxHoro npenHKaxa & oSpaayeM (JiopMyny (1). Toraa HCKO-

Mbie 4>yHKUHH A-t' (z) , oSecneHHBaroniHe MOHOXOHHOS KSMeHeuHe cooxBercxBy—

jomero MHOwecxsa (2), MO*HO nonynnxb KBK cynepnoaiiuHH (Jiymcmifi HS no-

cnenosaxenbHOcxii (3). BHA SXHX cynepnoaHuaft 6ynex aaaHcexb xonbico ox

n , a paciiinpeHHe MHOwecxaa (2) rapaHTHpyexca nna 2~>e .^Cc-^ecxb

MOM6HX CXa6njIH3aUHH 3XOPO MHO)KeCXBa.

BaeaeM Henoxopwe BcnoMoraxenbHwe o6oaHaieHHa, cBasaHHwe c no —

cnefloaaxenfaHOCTbKi (3). FlycTfa

flanee, nna/z.,* / H npOHSBOjibHoro /i-HJ -MecTHOro npeflHKara G nono-

>KHM:

/1EMMA 7 . C y m e c x s y e x n o c n e n o B a x e n b —

H O C T b O p f l H H a n b H W X ( j j y H K U H f l ^ C t ^ (TV* 4,2,...)

x a K a a , i x o : ( i ) a c e _ c x p o r o M O H O X O H -

H W H n p H /n. < /t (f^ C-t^-C. S^ C ~ H fllfl B C H K O -

ro cs - p a s p e u i H M o r o n.+ 2i - M e c x H o r o n p e -

n e x a x a - C (_n,z* f) H M e e x M e c r o :

(ii) E o j i H e < r 7 < Z ^ , xo 3 %*' S S£v',

(iii) Ben. r^^fe;. , TO 'r = ' ^ .

flOKASATS/IbCTBO. FIocxpOHM cHaia.na (J)yHKHHio «^ . flycxfacs— npo -

ciexHMft opflHHan H nycxb £ (a , U,v) - Kaicoft-HiJByflb <5 -paa-

peuidMbift npenHKar. flna npoHaso/ibHoft iiicnoBOit (JiymcnHH oCCx) HOJIOJKHM:

ecjiH oc - Z -BwiHcnHMaa (jiysKUHH C^y-o) , xo -^ ecxb

_ O6o6meHHbie BbiHHcneHHa H apmfrMexHKa Bxopoft cxynenH _ 398

paspeuiHMHft npeanicax. Ha (4), (5), (6) wieayex:

,^— — «e-S£ [>, Z\ »-_3x: Vfij3jce(a<£(jc),fi(x))

flna T >T? H ana BCaKOft £" -BblHHCJIHMOft (JiyHKIIHH CC C IIOMOIUblO

cneacTBHH 3

* ^ , , / ;/ . ( 8 Jr <*• r

HaKOHeu, OIBBHAHO, (nnsi £^>r );

C v> ^c /e. co-;/5 cj=;;3 — *- ^?oc [ v/s -c ^c^e;; ] , ( 9)f r/ •*• z> zj

nocKonfaicy €" -BbiHHCJiHMaa (JiyHKuiia oc H noaaBHO tf -

FIpaByio lacTt. HwnnHKauHH (9) MO>KHO nepermcaTb B BHne ae. £:> ' *

rio3TOMy as (7), (8), (9)

TaKHM o6pa3OM, ana /T.= f HMeer MSCTO (ii).

BsHny HecieTHOGTH MHO*ecTBa cnerHbix opaHHajios cymecTByex

opnHHan Zp , nasHHaa c Koxoporo MHO«ecTBO £& CTa6HjiH3HpyexcH,r ^v ' ' ' ei'.e.T.e. ana ^ ^-^ -Sg = S . Tax KaK HMeexca Bcero nnuifa ciexHoe

iHcno cs -paapeuiHMbix npeanKaxos, xo HafiaeTcs xaKofl cifeTHbift opaHHan

Z* , HXO ana Bcex es -pasneuiHMbix /^ 6yaer:

Bbi6epeM (j>yHKUHK> «? xaK, ixoSbi ana scex c BbinonHHjiocb

9>, (0) > v' . (11)r c

Ha (10), (11) cneayer, ixo ana /r=./ cnpaBeanHBo (iii) . ECJIH Mbi ao-

nonHHTenb.no noxpeSyeM, ixo6bi &f 6bina cxporo MOHOTOHaofl, TO ana/^t=/

6yaer xaKxe BbinonHeno (1) .

flanfaHefimne ^YHKn118 ^ f/z>Y) MH 6yaeM cxponxb no HHayKuHH. 3a-

MexHM, HXO ana Ka»caoro n. ycnoBue (ii; sasHCHx xonbKO OT fyyaxMiaXi

<?£ npn i -f n . rioaxoMy nnan nocneayromero aoicaaaxejibcxBa Syaer xa-

KOB. flonycxHM, ixo y*e nocxpoeHbi (fiyHKUHn ff,--,v'/^.f • 4xo6ti npoeecxH

Hy>KHoe HHayKXHBHoe paccy«aeHHe, HBM aocxaxoiHo npezuionoxHXfa, HTO ^n-f

cxporo MOHOxoHHa H ycnoBHe (iii) BbmojTHsexcH ana fi—-f . C Banana MH

400 H.B.BejiHKHH

y6enHMca, «JTO nun rt, BbinojiHaeTca (ii) , a aareM nocrpOHM cp^ H

ana He6 (iii) H (i) . BoabMeM npoHSBontHbifi opaHHan <s

PaccMOxpHM <5 -paapeuiHMbifi npenHKaT •£• (.or, vc, ....

HHcnoBoft 4>yHKIw* cc

#« Ca.ur,...,

Ha (4) cnenyer (

Ha (4) , ( 5 ) , (12) , (13) nonyiaeM:

H ana npona -

(12)

C J7/8,

., ft; .

. B cany MOHOTOHHOCTH

< Vn~ f ("2",) . 3aT6M flnfl 2" -BbiiHcnHMoii oc fZ'ye^ npenHKaT ^^

1 -paspeuiHM. flanee, MU npeanonownnH no HnnyKuHH, HTO ana ^— / HMO -

MBCTO (iii) . ConocTaBJiaa STH c()aKTbi,

, OTKyaa (ana r

J7cc*"

(15)

KBK H Bbiuie, HTO HS ?r -BbiHHcnHMocTH oc cnenyeT ee 2", -BH -

, 6yaeM

IlponenaB TaKHe

(16) B

l2-"^-r(i>>). (16)oc c~ •

! BbiKnanKH, KaK B (14), Mbi MO>KeM nepenHcaTfa npaayio

a&g£'T* . OosTOMy H3 (14), (15), (16)

_ O6o6meHHbie BbinncneHHa H apHifrMeTHica BTOpoft cryneHH _ 401

TBKHM o6paaoM, aoicaaaHO, HTO (ii ) BbinonHHeTca ans n. . Ocranocb

nocTpoHTfa (JjyHKUHKD v^ . CHOBa BOcnoJibsyeMca HecneTHOCTbRJ MHOwecxaa

cngTHbix opAHHanoB H cH§THocTfaK> MHowecTBa <5 -paapeuiHMbix npeAHKa -

TOB ana nonyneHHa cjieayiofflHx <J>aKTOB. Bo-nepsbix, Ana Ka>Knoro 6 -paape-

uiHMoro £ cyujecTByer CHerHbifi opaaHan •zr^ , HaiHHaa c Koxoporo

MHO«ecTBo £> g' cTa6nnn3HpyeTca. Bo-BTopbix, cyiaecTByer cnSTHbifl op-

an«an fn xaxoft, iTO'Eny- Z:^ ana nio6oro t=> -paspeuiHMoro ^

Bw6epeM <p TBK, HTo6bi ana Bcex e> 6bmo ^L(e>) >• ~C^ • Torna ana

naHHoro n. 6yneT BbinonneHO (iii). flononHHrejifaHo norpeSyeM, HTo6bi

f- Sana crporo MOHOTOHHa H MawopnpoBana see ^YHKUHH *P,..,, <f> _

Torfla nna ~n. 6yaeT BbinonHeHO (i) . TGM caMbiM neMMa noKaaana.

§ 8. Moaenfa apnifiMeTHKH Bxopoft cryneHH

PaccMOTpHM (JiopMajifaHbiH asbiK oC^ , npe ACTaBnaioiuHfl co6ofi paaHO -

apH<J>M6THHecKoro aswKa BTOpofi cTyneHH. B o£^ HMewTca nepe -

flByx THHOB: npeaMernbie -sc,^/, . , . H (JiyHKUHOHanbHue or, /g, . . .

riojio»HM nna onpenejieHHocru, HTO cnrnaTypa *C COCTOHT HS CHMBOJIOB

0, 1 H 3H3KOB apH(J)MeTHHeCKHX OnepaUHH CJIOJK6HHa H yMHOJKeHHa. ECTBCT -

HHTepnpexauHa scex STHX CHMBOHOB aaHnroqaeTca B TOM, HTO npen-

nepeM6HHbie npoSeraiOT MHOWGCTBO HaTypanfaHbix HHcen, anaKH

HHTepnpeTHpylOTCa B COOTB6TCTBHH C HX o6bIHHbIM nOHHMaHH6M

B apHi})MeTHKe HaTypanfaHbix HHcen, a 4)yHKUHOHanb.Hbie nepeMSHHbie npoSe -

raror MHO«ecTBO acex oanoMecTHbix Bcroay onpefleneHHbix HHCJIOBWX

KaK o6biiHO, TepMaMH Hamero asbiKa £ HBJiaioTCH: 0,1, npeflMeT-2i

Hbie nepeMGHHbie H BbipaxeHHa BHna ^,~t" ^2 , ^-,'^2 t*^ ) , rae oc -

(|)yHKUHOHajifaHaa nepeMGHHaa, a "t ,~t.- paHee nocrpoeHHwe repMbi. SneMen-

TapHbie (JiopMynbi cyTfa pasencTBa TepMos. OcTantHbie (jjopMynbi cTpoarca HS

aneMeHTapubix nocpencTBOM onepauHfi /IOPHKH npeflUKaroB, npnneM paapeuia-

eTca HaaeiuHBaTfa KBaHTOpw Ha nepeMGHHbie o6onx THHOB.

PaccMOTpHM Tenepb- (JwpMajifaHyio cncTeMy^-^ , HasecTHyio IIOA

HHGM ap«(j)MeTHKH BTOpofi cTyneHjj. STB CHCTeMa nonfaayexca aawKOM at. H

cocTaBJiena H3 nocTynaroa cneAyroimix Tpex BHAOB:

(1) AKCHOMW H npaanna BbiBOAa KJiaccHnecKoro Hc<jHcneHna npeAHKa -

TOB BTOpOfi CTynOHH.

(FI) AKCHOMbI apH({)MeTHKH H3Typa.TbHbIX

'"TV n = TV

:WH>KOIfOU •H

-iqa- ,3, xiqiraaireDaduo Xnoioa 'xiiHxoawoHUo xeoa oaxoaxoRW qxoa

( 1 ) '*2>(3.)*cf> -*— ^ Z ^ l

: is. OJOXBOS Bim oxh 'woaxogoao wax ieetwugo^^ ifBHHBdo V2- eadah uatradii

es WHhBHeogo 'xaBXOBdeos oaodxo «u.ooH«JiraxBaorrauoou BXS ' (f )

XITHO g -a(j)8djBdBii wafflXniqt?edu a ewHHsodxooii 'HunanXe}) qxXo

:aoifBHHEdo xiqHxgho qxooH

wndxcwooed oaoxe Birp -ijHnsHXij) xiqwHi/OHhiqa-OHnemgogo

en <xXniBOJ,ooo ' ^^r iiretrow- cr> wnodxoou iqw e^Bdjeden woxe g

'(m) sowaxo oxqirox

BOIXBWHHBE wat?Xg HW iDedua Xwoxeoij 'fwiroHh wwHqiredXxBH on emnoi

-eaagodii xes BOxoijCdHxadiidaxHH aiiBHa^iadau annxawnadu odoso quox 'Hao

BOxcuBHUoiima (jj) rmoHoxy " ( (m) wowaxo Boxaeaiihauoago ecd

oxh 'HxooxXHMFvpe gHaoi/oX xisdoxoaaH eHHanwirgoo 'Hxaonexotrou WOUHH

- edu o HBBao a 'qmHir soxaXgadj,) • £j edogwa xo XHOHaee e« ( j ) aoxeu

- XJ.OOLI xHsoeKHviou eaxoHHrnqirog IXOOHHHXOH 'aiiaw woiseo g ''(ni)

wwaxo BHHaHirouna Boqxugou wgoxh 'wox a BOxaefccmrsFe '

-BX HHHeodiOou Hdii BBmwBSHHeoa '«ixooHUXdx BBHHaaxoHHEfg •

aoa HHnBxadiida.tHH aoxe Hdii OXH 'wnxoXiioU

goao xcxBHBdxoo raiioawHO awniirexoo eoa B ' j7

- own xcHBjagodu awHHewadau erJH«jirBHOHii3iHX<}> oxi. 'qxBXHho warr/Cg '(BOH

- Heaxoaxoa xo ouCnhHirxo) 3° BXHBB oiHiiBxadiidaiHH ct£m<x&tait3

-OBJ • (xiiHHSuetfadiio Xtrcaoa H xranxoewoHrro) IJHIIHH./C<{) xwaouoHh

eodoxoseH ixoa Q qxojCjj 'aHXBHon aoHWBa ont7o aina

H awHxaywedu 'eraHHawadaii aiqHtrogoao anaXdu qxBwdatroo

exe ' a

:HHHBaiqxdaao WOHOHB

O6o6meHHbie BbiiHcjieHHH H apnj)MeTHKa BTopoft CTyneHH _ 403

TEOPEMA 5. M. s o r b CL) - M o a e ji B n. n a c x e -

M b l a K C H O M (111).

flOKA3ATE/IbCTBO. BosbMeM Jiio6yio <{>opMyny ,^ (..v > , .. .,

£, H npHBeaeM ee K npeaBapeHHoft <t>opMe. SaMeTHM, HTO B -^

cnpaBeanHBH TOwaecTBa:

, , , HSBGCTHO, HTO ana BCH-

Koro pexypcHBHoro npeztHKara & (ct ,...,£Xrri,Qcf,.~Pcs') cyraecTByeT peicyp-

fTl,Uf,...,t^ A") raKofi, HTO nna Jiro6bix (j)yHK-

r,, ••• ,<X3 HM66T M6CTO:

;. (3)

(2) , (3) Mbi MOJKBM npeo6pa3OBaTb Haiay

),^^) (4)

JiH6o K flBoftcTBeHHOfi iJiopMe, HaHHHaHDineftcH c KBaHTOpa o6fflHOCTH, rne fZf-

nonxoaflmnft peicypcHBHbift npeaaKBT. OiesHnHo, ana noKaaaTenbCTBa Teope -

MH AOcraTOHHO paccMOTperb BceaoaMOJKHbie <J>opMynbi BHfla (4) (npn scex

n. ) H noKaaaxb, HTO ecjiH (JiyHKHHOHanfaHbie nepeMeHHbie npoSeraiOT MHO-

JK6CTBO M. , TO ofijiaCTfa HCTHHHOCTH Ka«nOH TaKOH (JlOpMyjlbl HBnHGTCH 'C -

paapeiuHMbiM MnoxecTBOM ana HeicoToporo /C^IC*.

ripewae Bcero Mbi HCJUIIOHHM HS aanbHefimero paccMOTpeHHa H36biTOH-

Hbie cBo6oflHwe nepeMeHHbie, BxoaamHe B (4). Ana aToro 3a4>HKCHpyeM Ka-

KHe-HH6yafa HHcna u°..., u° H KaKHe-HH6yafa (t>yHKiinn h° ,.„, h£ , npHHaa-

jie>KafflHe M. , n noacxaBHM HX B (4) Bwecro cooTBeTCTBywraHX nepeMen -

HWX. B peaynbTare npeflHKar /2 nepeftaeT B HeKOTOpbifi HOBUH npeaHKaT

ft, OT ocTaBiiiHACH nepeMeHHbix. BbiSepeM Taxoe *£•<• "C*, HTo6bi ^yHK -

UHH p*,.~, hg 6bmH •£" -BbiHHcnHMbi. Toraa ynoMaHyTbiii npeaHKaT H, OKB-

£" -paapeuiHMHM. TaKHM o6paaoM, Haw ocTaeTca aoxasaTB cneay -

mixce yTBep*aeHne (E). Opn ero 4>opMyjiHpoBKe H aoKaaaTenbcrse MW

6yaew ynoTpe6jiHTb KBaHTOpfai BHaa \/ <X H 3 (X , nro6bi yicasaTfa, HTO

noaKBanTopnaa nepeMSHHaa npo6eraeT JU. .

(E) IlycTfa Q - <S -paspeuiHMbiH n •* 2. -MecrHwft npeaHKaT

404 H.B.BenaKHH

Torna o6jiacTb HCTHHHOCTH Bbipa>xeHHS

ecTb •ZT -paapeuiHMOe MHOMOCTBO npn HeKOTOpoM 'C ^- t* .

Paccy>KAaa raic >Ke, Kax npn noicasaTenfaCTBe enencTBHa 3, y6e»naeM-

ca, HTO (E) BbinojinaeTca npH ri=O . ZLna -n.~?O flOKaweM no

4TO flna O"< C*H nioSoro <3 -paapeuiHMoro /i :

llpn -n, =/ , B cany (1) cnencTBHS 3 H neMMbi 7, HMeeM (ana gr -paapeuiH-

MOTO H )

rz?y npennojioKHM no HHayioiHH, MTO (5) BbuionnaeTCH

Torna ana <S -paapeuiHMoro -n.+ Q. -MecTHoro PL

[a 1 3*<x V*p, ... Q*p^ Q.'ac.R(.a.,*.<x),

. (6)

Ho, B cnny HHayKTHBnoro npeanono>KeHHa, ana acaKoft "C -

<t>yHKUHH oc. (T >ss) cnpaaennHBo:

CorjiacHO (1) , (7) H neMMe 7, MM MOWCM nponon>KHTfa (6) cneAyiomHM 06-

O6o6m3HHbie BbiiHCJieaaa n apmfrMeTHKa BTOPOH CTyneaH _ 405

U 5 = U

HraK, (5) noKaaaHO. HanoHeu, B cnny cneACTBHa 4, ecjiH Q £f -paape -

UIHM H 6", A ,,.., Tt< t •*• t* • T0 MHoacecTBo S^ C-^o' — »^-rr] ^ ~

paspeuiHMO. flocraroiHo aaMerHTfa, HTO cneacTBHe 4 noaeonaeT HBM nepe-

6part (na ypoBHe f -BWHHCJIHMOCTH) see 7~ .- -BbinncnHMbie Bcrofly onpe -C-

cfiyHKUHH ana Ka*floro A - . B lacTHOCTH, ecnH (3 H

, TO MHowecTBO o ' " -paapeuiHMO ana JIK>-

6oro o- -paapeuiHMoro £_ , Oxcrofla, B CHJiy (1 ) , cnenyeT, HTO (E) Bbi-

nonHflerca ana BCGX n. . Teopevia

/ l a T e p a x y p a

1. S.KRIPKE, Tranefinite recursione on admissible ordinals, I,

J. Symbolic Logic,29.N3,(1964),161.2. C.K.JCflHHH, BBeneHHe B MeraMaTeMaTHKy, \\I\, 19S7.3. H.ROGERS,Jr, Theory of Recursive Functions and Effective

Computability ,Mc Graw-Hill Book Company.

6 anpena 1970 r.