OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6...

16
Am-e5oa n jiornKa, 7, M> 1 (1968), 75-00. OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B.B.KO3bMHHbIX OnpenejieHHe anre6pbi Po5HHcoaa, a xaKKe onepanHfi •#• , + , •y, (noacxanoBKH, cno;«eHHa, Mxepamin 11 o6paineHHa) CM, .nanpiiMep, B C.23 OSosHaieHHH LL , p^ , ex:(srry), $Q X , l-^-J , Kx) , H3 []2 ~] . B n. 1 3TOH aa.MeTKH (B xeope.Me 1) c^opMynnposaH xoro, iroSbi naHHoe CBOftcrso onHOMecxHbix npaMHTasHo peKypcw- BHHX 4>yHKUHft 6bino anropHTMHHecKH HopacnosHaBaeMo (B yKaaaHHofi TBM KOHKpeTHoft HyMepauHH scex raKHx (jjyHKuHii). B noKaaaxenfaCTBe flocTaro«j- HOCTH npHsnaKa ncnojibsyerca Mexon, KoropbiJi (B HecKOJibKO Menee o6meM BHne H B npyrofl cnxyauHH) npHMeHaexcH B £6j (noKaaaxejifacxBO xeope - MW 10 H3 § 11). AnanornHKbie Bonpocw pacc.MaxpHBaniicfa B (^31, § 4 KaK cnencxBue as sxoro npHanaKa Moxex Sbixt nonyieno yxBep^neane o TOM, HXO He cyinecxayex anropHTMa, Koxopufi no Kone^Hofi cncxeM« OAHO- MecxHbix npuMHXHBHO peKypcHBHbix (fiyHKUHfi nosBonan SBI onpenejinxt, SB- naexcfl nn OHa SasHcoM (TO ecxt> cacxeMofi nopo»caaiomnx) anre6pbi Po- SHHCOHa. B n. 2 flOKasbiBaexca cymecTBosaHHe y anreSpbi Po6aHcoHa KOHXH - HyyMa MaKCHManfaiibix nona;ire6p (B £4j noKaaaHO cymecxBOBaHne KOHTH- nyyMa nonanreSp H CHernoro HHcna MaKCHMajibHbix nonanreQp, npnn6M onncaHa cnerHaa ceptin MaKCHManbHbix noaanreQp, pacumpeHnaa aare.M B C5] ). npHMHXHBHO peKypcHBHyra (JiyHKUHio G(X) , aBJiaioiuyK>CH neKoxopofi (HG o6asaxenbHO s^eKXHBHoft B KSKOM-TO CMbicne)

Transcript of OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6...

Page 1: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

Am-e5oa n jiornKa, 7, M> 1 (1968), 75-00.

OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X

B.B.KO3bMHHbIX

OnpenejieHHe anre6pbi Po5HHcoaa, a xaKKe onepanHfi •#• , + , •y,

(noacxanoBKH, cno;«eHHa, Mxepamin 11 o6paineHHa) CM, .nanpiiMep, B C.23 •

OSosHaieHHH LL , p^ , ex:(srry), $Q X , l-^-J , Kx) ,

H3 []2 ~] .

B n. 1 3TOH aa.MeTKH (B xeope.Me 1) c^opMynnposaH

xoro, iroSbi naHHoe CBOftcrso onHOMecxHbix npaMHTasHo peKypcw-

BHHX 4>yHKUHft 6bino anropHTMHHecKH HopacnosHaBaeMo (B yKaaaHHofi TBM

KOHKpeTHoft HyMepauHH scex raKHx (jjyHKuHii). B noKaaaxenfaCTBe flocTaro«j-

HOCTH npHsnaKa ncnojibsyerca Mexon, KoropbiJi (B HecKOJibKO Menee o6meM

BHne H B npyrofl cnxyauHH) npHMeHaexcH B £6j (noKaaaxejifacxBO xeope -

MW 10 H3 § 11) . AnanornHKbie Bonpocw pacc.MaxpHBaniicfa B (^31, § 4

KaK cnencxBue as sxoro npHanaKa Moxex Sbixt nonyieno yxBep^neane o

TOM, HXO He cyinecxayex anropHTMa, Koxopufi no Kone^Hofi cncxeM« OAHO-

MecxHbix npuMHXHBHO peKypcHBHbix (fiyHKUHfi nosBonan SBI onpenejinxt, SB-

naexcfl nn OHa SasHcoM (TO ecxt> cacxeMofi nopo»caaiomnx) anre6pbi Po-

SHHCOHa.

B n. 2 flOKasbiBaexca cymecTBosaHHe y anreSpbi Po6aHcoHa K O H X H -

HyyMa MaKCHManfaiibix nona;ire6p (B £4j noKaaaHO cymecxBOBaHne KOHTH-

nyyMa nonanreSp H CHernoro HHcna MaKCHMajibHbix nonanreQp, npnn6M

onncaHa cnerHaa ceptin MaKCHManbHbix noaanreQp, pacumpeHnaa aare.M B

C5] ).

npHMHXHBHO peKypcHBHyra (JiyHKUHio G(X) , aBJiaioiuyK>CH

neKoxopofi (HG o6asaxenbHO s^eKXHBHoft B KSKOM-TO CMbicne)

Page 2: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

76 B.B.KoabMHHbix

MOXHO npeflcxaBHTb KBK nxepanmo noflxonnmeft nacxHHHO peKypcHBHofl

, Rax noKaabisaex paseHCTBO

ECJIH GC^c) BaaHMHO oaHosHaHHO DTo6pajKaex HaxypanbHbift pan Ha ce-

6a, TO /(jc) 6yaex o6mepeKypcHBHOft, B n. 3 aoicaabiBaexca, HTO STH yx-

oxHocnxejibHO (JiyHKHH ^ KSK 6H mnbaa yciWHTb.

B n. 4 paccMarpHBaerca onepauHa, KoropyK) MOJKHO nasBarb *roq -

oSpameHHGM*. noncxaHOBKa, cno>KeHH6 H 'roiHoe o6pameHne" nepe-

Bonar nnoi{)aHTOBbi (j>yHKunH CHOBB B nno({)aHTOBbi; B npnnoweHHH A.B.Kya-

HeUOBa K Q l ^ B CBH3H C 3THM BbICKa3bIBaSTCa COMHeHlie B TOM, HTO BC6

o6mepeKypcnBHbie (JiyHKUHH MOJKHO nonyiHTfa HS (anoij)aHTOBbix) (

nQ'(^K) 3THMH TpeMs onepauHSMH. HerpyAHo flOKasaTfa, HTO Ha

HX aeiicTBHre^biHo nenbaa nonynHTb; B n. 4 npnaeaeHo

CTBO.

ABTOP Snaroaapea fl.A.SaxapoBjy, nocraBHBiueMy peuigHHbie B axoft

aaMeTKe sonpocbi, OTMeTHBiiieMy OIIIHSKH B nepaoHaiajibHOM aanoKeHHH H

aaameviy pan UGHHHX yKaaaHHft.

1. ByneM paccMarpHBarb repMbi, cocraBJieHHwe npa noMoma CHMBO-

noB onepamift X- , + , 7 HS 6yKB d t <Z (oSoaHaiaioinHx

Hbie <}>yHKUHH 4,(x) H Cf(X)). B [12l]Bce Taxne repMb

B noKaaarenbCTBe xeopeMbi Po6HHco»a, npHBSflenHOM B

uaa ^ (3Cj , • • • , J?^ ) Haabisaexca ztoaycTHMofl, GCJIH flna jiroBbix oflHOMecxnwx

£ (X), ____ rfzC^)' npencxaBHMbix B BHfle xepua ,

(^ (x), • • ., •/ft(cc')') xaKwe npencxaBHMa B BHUG xepMa.

abiBaerca, HTO Ka^naa npHMHXHBHO penypcHBHaa ^YHKUiia nonycxHMa.

YcnoBJiMCH BpeMeHHo HaswBaTfa HPHMHXHBHO peKypCHBHyro 4>yHKIiHI0a

f - ( X j , . . ., x^ ~) 3<J>4>eKxnbHo nonycxHMoft, ecna cyiuecxByex o6mepeKypcHB -

naa ij)yHKUHH (6yneM o6oaHanaxb e6 nepea <?/ (•X/,...,z'n)\a

ne eflHHcxaeHHa) , o6naaaiomaa cBoflcxsoM: ecjia npn BCHKOM /, c^=/t...,1

JC^ ecTb HOMep xepMa, npencxaBnaroraero neKoxopyio

xo if* (•??{,. ••>-x~*) ecTt> Howcep xepMa, npeflcxasnaiomero

MO>KHO B noKaaaxenbcxae xeopeMbi Po6nHcona saMGHHXb Bcioay yx-

B6p>KneHHa O flOnyCXHMOCTH (JiyHKUlIH yXBep>KAeHH3MH 06 HX 3(J>4)eKXHBHOft

Page 3: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

O6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77

H; reM caMUM 6yaex aonaaaua cneayromaa

JIEMMA 1. K a >K n a a H P H M H T H B H O p e x y p -

c H B H a a <{> y H K u H a (c JnoSbiM HHcnoM apryMeHToe) 3 $ -

< J > e K T H B H O a o n y c T H M a .

SaHyMepyeM ace OAHOMecTHbie IIPHMHTHBHO peicypCHBHbie tj>yHKUHH,

flBHB HarypanbHoe IHCJIO n. HOMOPOM ({lyHKUHH J)^ (x)=-2) (n,x~) (CM. £2J)

flna 3TOJS nyMepauHH sepna cnenyramaa

TEOPEMA 1 . n y c T b ^ H ^ l - n a e n e n e p e c e -

K a r o m H e c a c H c x e M b i o n a o M e c T H b i x n p n -

M H T H B H O p e K y p C H B H H X ( J i y H K H H f t . I l y C T f a

H K U H H ^ t H C r ,c y m e c T B y r o T ( j i y H K U H H ^ t H C r , T a K n e , H T O

a n a K a > K a o r o rrz e £^ , r n e

n P H ^<^Z,

n p H ar > /TZ.

T o r n a M H O W B C T B O a c e x H o M e p o B

^ y H K U H f i H 3 5/ H M H O J K e C T B O B C 6 X H O -

M e p O B ( J j y H K H H f t H 3 ^ p O K y p C H B H O H 6 -

O T f l e J l H M b l .

HOKASATE/lbCTBO. riycrfa ce - HeKOTOpoe HepeicypcHBHoe peKyp-

CHBHO nepenHcnHMoe MHOXOCTBO, u.(x) - ero npHMHTHBHO peicypcHBHbift ne-

pecier.

/lerxo npoaepiiTb, HTO cymecreyeT o6mepeKypcnBHaa 4>yHKUH9 &(n) ,

npH nro6oM n. pasna HexoropoMy HOMepy 4>yHKUHH-KOHCTaHTbi ,t

pasHofl n , TO ecTt J}^.fn, (x') = re .

IlyCTb CO. - HeKOTOpblfi HOM6P TO>KneCTB6HHOft c[)yHKUHH X

PaCCMOTpHM npHMHTHBHO pexypCHBHyK) (JjyHKUHK)

ecnnf

f-(3C) - B npOTHBHOM cjiyiae.

EcnH/?c«, TO P (/-c,x) (xax ({tyHKuna onnoro nepeMenHoro JT

^; B HPOTHBHOM cnyiae ^(n,^') npnHanne>KHT §~'f . ''

JleMMa 1 yTBepjKflaeT cyraecTBOBaHHe nna f 4>yHKUHH ^^(XM) .

Ecnn 6bi cyraecTBoaana o6uiepeKypcHBHaH 4>yHKUHa ct?(fz) , pas nan

, ecna n- - HOMep 4>yHKUHH H3 £j , H paBHafl / , ecain rt- - HO-

Page 4: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

78 B.B.KoabMHHUX

Mep (JiyHKUHH 113 S , TO oSiuepeKy pcHBHaH (JiyHKUHa or oaHoro nepeMGHHoro

n. t&CSf. (-a(rt) , &)) paBHanact, 6bi / npn rieoc. H O npa ,

3ro npOTHBopeiHT HepeKypcHBHOCTH cc

Ma xeopeMbi 1 Jierxo no/iynaeTca cnenyioiiiHH peaynbrar 06 anropHT -

MHiecKoft nepaapeuiHMOCTH npo6neMU nojinorbi B anre6pe Po6nHCOHa:

MHOWBCTBO Bcex HOMepos (j)yHKUnfl, Ka>Kaaa MS Koropux (B oraenb -

HOCTH Bsnxaa) oSpaayer 6aanc anre6pw Po6HHCoHa ( o cyiuecTBoaaaHH ra-<

KOft 4>yHKUHH CM. C^U ), HepenypcHBHo; cneAOBarenbHO, He»O3MO>KHO no

npOHSBonbtioft KOHeinofl cHcreMe §ywnu.v& (aaaaHHtix HX HOMepaMH) 3iJ)(j)eK-

THBHO onpenenHTt, asnaerca nw oaa 6aaHcoM anre6pw PoSHHCona.

Ma reopeMbi 1 MO>KHO nonyiHTt ranwe yxBepwaeHHa o HepeKypCHBHO-

CTH MHOwecTBa Bcex HOMepoB npoHSBonfaHoft 4>HKCHpoBaHHOft (JiyHKUHH, o He-

peKypcHBHOCTH MHO>KecTBa Bcex HOMepOB (JiyHKUHH, npHHHMaroniHx XOTB 6bi B

OHHOft TOHK6 B KflHGCTBe 3HaH€HHa iflHKCHpOBaHHOe HHCJ1O H ap.

2. ByneM roaopHTb, HTO <}>yHKUHa ^(sc) MajKOpnpyeTca $yuKuiieRg'£r),

ecnH npn KawflOM zc f(x}^-^Cx}.

ECJIH f - oflHOMecTHaa (fiyHKUHa, f CX.) onpeuenHM cneayraiuHM o6pa-

3OM:

lj)yHKUHH

3AMEHAHME 1. £Lna npoHaeonbHoro SecKOHenHoro npHMHTHBHO peKyp-

cHBHoro MHO»ecTBa oC cneayioiHHe neTbipe yTBepJKaeHHa paBHOCHnbHfai:

1) Oi aBnaeTCH cnnHHTepoM (T.&.CC -cruiHHTepOM npH noaxonameM

£Z ) H6KOTOpOft npHMHTHBHO peKypCHBHOH (JiyHKUHH;

2) <X HMeeT npHMHTHBHO peKypcHBHbiH nepec^eT 6ea noBTOpeHHB;

3) npaMOfl nepecHGT oc MawopHpyeTca HPHMHTHBHO peKypCHBHoft

4) npflMofl nepecHfir <x HPHMHTHBHO peKypcHBeH.

B [̂ 61 npHBeaeii npHMep 6ecKOHeqaoro HPHMHTHBHO peKypcHBHoro MHO-

, ana Koroporo He BbinojiHerca 4).

ECJIH S - CHCTeMa (JiyHKUHH, npHHaane>KamHx anre6pe POSHHCOHB ,

nepea £ o6oaHa<uiM aaMWKaHHe tS (oTHOcHTenbno onepaunft * , + , 7" ).

ECJTH f - onaoMecTHaa <J>yHKUHa,

Page 5: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

O6 OHHOMeCTHfalX npHMHTHBHO peKypCHBHblX (}>yHKUHHX 79

(r.e. flononneHHe ee neijjeKTHoro MHo>KecTBa).

ByaeM roBopHTb, HTO CHcreMa S' (JiyHKUHfi (KOHenHaa HJIH 6ecKOHeq-

naa) yaoBnexBopaex ycnoBHro ( A ) , ecnH

n p H n K) 6 o M /£ < k— Q,*, 2, ..., fl n a B c a K o ft

n o c n e n o B a x e n f a H o c x H (MO/Kex OHTB.C noBropeHnaMH )

4 > y H K u n f i ^ , , . ',/^ , n p n H a a n e } K a i U H x < S ' , H 3 T O -

ro , t r o n p n K a * A O M i ' , O^.c^./c, aCCf;) 6 e c -

K o n e n H O , c j i e a y e r , H T O n p a M o f l n e p e -k .

c H 6 T U ot C&.- ) H e M a w o p H p y e r c a H H K a n o f ti=o '

n p H M H T H B H O p e K y p C H B H O f l ( j ) y H K U H e H .

/1EMMA 2 . H c n n c H c x e M a i? < j > y H K u H H u s

a n r e S p w P o f i H H c o H a y a o B J i e x s o p a e x y c -

n o B H K) ( A ) , x o H i S y a o B n e x B O p s i e x ( A ) .

flOKASATE/lbCTBO. npoHSBonbHaa KOHSHHaa nocneaoBaxenbHocxb

(pyHKuaft H3 i? conep>KHXca B HeKoxopOM pacuinpeHHH £ , nonyienHOM us

.S' KOHeiHbiM HHCJIOM npuMeHeHHH onepauHfl •)(• , -f~ , V .

FlosxoMy aocxaxoHHO aoKaaaxb, HTO npoHaaojibnaa cacxeivia S^S<*>i?\,

rae /^ nonyneHa HS iJiyHKUHH cncxeMbi 5^ OBHHM npHMeneHweM onepauuH

* , + HJIH 7 , ynoBJiexaopaex ycnoBHro ( A ) .

PaccMOXpHM 3 cnynaa.

TaK Kax &.( f) £ ocC/^ • TO onesHflHO, HXO npn aoSasnenHH ^

S ycnoBKe (A) He Hapymaexca.

Cfly^Afi 2. ^=^H-/t, y,ke.S.

FIpeanoJiowHM, HTO ana ,5? He BbinonHaexca ( A ) , x.e. cymecTBywT

H6KOTOpOM •••••fi: H3 ^ ' TaKHe ' "1TO BCe

6ecKOH9HHbi H npaMoft nepecnSx a. = £/ <x.(ff-) MaxopHpyexca4=(3

poft npHMHTHBHO peKypCHBHOH (J)yHKUHeH tY«; .

Toraa HeKoxopwe H3 /^ paBHbi ^ (Hnane, sonpeKH JCJIOBHIO, H

3 He Bbinonnanocfa 6bi ( A ) ) . ByneM CHHrarfa, HTO /^, ____ ̂ ( rae

K TOnbKO OHH pBBHbl f .

riycxt. Ttx.)- npaMofi nepecnex

Page 6: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

80 B.B.Ko3bMHHbIX

Bbi6epeM 113 <*-(f) nonMHo»ecxBo o , onpeaenHB ero

cnenyromHM oSpasoM:

f UCO) = tco) ;

7 2

TaK Kax cx.(^) 6ecKOH6HHO H s£ npHHHMaer paanbie sHaneHHH Ha

cf-(f-) , TO peaynbrar MHHHMHaauHH anecb BCK.ay onpenenea; ^ 6ecKOHen-

HO, U(X) aanaeTCfl npaMHM nepecn&TOM <5^

OnpenenHM

Ka*noM x. cpeflH HHcen, He npeBwuiaromHx

no Kpaftneft Mupe jc+ j sneMeHT MHO*6CTBa

fleftcTBHrenbHo, npn JC=O STO oneBHaHO (c yqfiTOM roro, HTO

Hwft aneMeHT ot.(ff) BXOHHT B (^ ) . Ilyctb STO yTsep>KneHne sepno npH

HexoTopoM x . CpeflH iHcen, He npeBbiiDaroinux t^fx+-()

2 (rrLctx { x , 2ntccx.y*u*(x)

Ha oc ; acHo, HTO no KpaftHeft Mepe

•[ JC, 2mccx /fy)} +" 2.max

as HHX npHnaane>KaT onHoapeMeHHo HJIH (J OL(/,-) , HJIH <x.Cl?) • B nep-'c r

BOM H3 3THX CJlyHa6B ( T8K K3K

cpaay nonyiaeM, HTO noKaabiBaeMoe yTBepscaeHHe sepno nna x*--f . Bo

BTOPOM cnynae HMeeM, HTO no Kpaftneft Mepe

-I- 2

H3 3JieM6HTOB cc npHHanjieMcaT tcc(/) . TaK KBK ^ npHHHMaer paanwe

Page 7: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

OS OflHOXieCTHblX npHMHTHBHO pBKypCHBHblX <J)y IIKUHHX 81

3HaieHna na<X(/) . TO XOTH 6u na OHHOM H3 HHX aHaneHMe f 6onbiue,HeM

2. max: z\) ; anaiHT, xora 6u oniiH us STHX ajieMCHTOB npeBbimaeTc^r^/*«*»•; , __

H npnHaane>KHT <7 , a TBM caMbiM H ex . KPOMB roro, no npennono/Kenmo

HHflyKUHH cpezm queen , He npeBbimaiouiHx LiJ'(-x) , ecffa ir-(-/ sjieMeHTtx" .

STUM noicaaaHO rpe6yeMOe yrBepJKaeHHe ana x+j

TaKHM oSpaaoM, npaMoft nepecnSr » Ma*opnpyeTca HPHMHTHBHO pe-

(JjyHKUHeft i^(X)

K3 °° /TPaccMorpiiM MHO>K0CTBa & = (J A H y '= i/ O , rne

^ -T-=C> ' " ^=0 f

ripn

- B npoTHBHOM cnyiae

- B npoTHBHOM c<iyHae

& vmvi V

u. npn nro6oM

H nosroMy ana Bcex m oaHOBpeMeHno Q fafn.-'t- /)) > <y (u. (fn.)) HJIH >xe

flJIH BCeX /Vt OflHOBpeMeHHO fa.(u.(f*^"/)) 7/T (Cf. C/Tt)) .

$=^SUy , H XOTa 6bl OflHO H3y3 H y 6eCKOHeiHO.

B LS y , ecjtn & H V 6ecKOHeHHbi;

B , ec.iii y KoneiHo;

V , 6CJTH fi KOH6HHO.

TaK K8K MHO>KeCTBO O U (U QC.ff.')') JIHUIfa KOH61HbIM HHCJ1OM 3JI6-A^/^ /< r

M6HTOB MOKST OTJIHHaTbCfl OT OC , TO 6FO npHMOfl nep6CH§T M3>KOpHpyeT-

CH npHMHTHBHO peKypCHBHoJi (^yHKUHeil; 0c oc '̂p'y' • y&<X(/i)- riosTOMy, pac-

CMOTpeB nocJieflOBaTenbHocTb ^ /^ rf+f • • •> & ' ecnw/$ K y 5ec-

KOHeiHbl (l«lH /Z, !^+1r,--;/'k , mH ^> ^4-/'"-'^ • eCnH COOTBeTCTB6HHO

yj nan v KOHeiHo), MOJKHO y6ennTfaCH, ITO ana £ He BbinonHaercsi

K HTO npOTHBOpeiHT yCJIOBHIO neMMbl.

C^Y HAH 3. /— O7, a e S.

ECJIH 6w cx.cfi Swjio SecKOHeiHHM, TO f(X) npHHnMana bw paaHbie

Page 8: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

B.B.KoabMHRbix

npH paaHwx x . IIosTOMy npaMoft nepecsfeT &•(&)

sancs 6u HPHMHTHBHO pexypcuBHoft <J>yHKHHe* max f(u} . Ho roraa Anay±x f

£> He BbinonHanocb 6bi (A).

, cC(/>) KOHeiHO, H, cneaoBarenbHo, npH Ao6aaneHHH ^ K S

ycnoBHa ( A ) He HapyuiaeTca.

paccMajpHBarb 4>yHicuHH AKKepMana 3(/z,x) H /9(sc) , on-

peneneHHbie cneayramaM o6paaoM:

/IEMMA 3. P p a i f i i K ( J i y H K U H H 3(n,x) n p H M H -

T R B R O p e K y p C H B C H .

flOKASATE/lbCTBO. Ha onpeaeneHna (JiyiacuHH & (n,x) H HS roro,

HTO oaa crporo aoapacraeT no x lipH nioSoM (JiHKCHpoBaHHOM /z. , cneoy—

•T BbinonHeHHe npH Bcex /t , x. , <j ycnoBHH: &(n.±-S, cc) = u rorna H

rorfla, Koraa cymecTByer nocneAosaTenbHocTb (xaKaa nocneAOBa —

MOxex cymecTBOBarb xonbito

HTO &, = B (1+ f , O), &x~ u H npn nro6oM c

3TOM CL • ̂ (J , £7-^- i.'̂ - JC .

SaHyMepyeM BceeoaMOiKHue HCTHHHbie pasencTBa BHAB

OTo6pa3HB BSaHMHO OAHO3Ra<IHO MHOJKOCTBO 9THX paB6HCTB H8 HCKOTOpOe

HaxypanbHbix HHcen (<iepo3 V(rz,x,) oSoaaanHM HOMep pa-

Page 9: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

O6 OOHOMeCTHblX npHMHTHBHO pBKypCHBHblX (jjyHKUHflX 83

rne a- - sneMeHTbi nocnenoBaTenfaHocTH anna (1) ana

( O , ecnH £ - HOMep HeKOTOporo paBencTBa,

/ - B npOTHBHOM cnyiae

npHMHTHBHO peKypCHBHB, T3K K8K npHMHTHBHO pGKypCHBHa C

Koropyro MOKHO aanaTb paBeacTBaMH (HS HHX nerKO nojryiHTi> cxeMy npa

pexypCHH ana ^ ):

Czf ^ .

(t= > B (n -I-/, O)) &

, Z))=

CT/..: cnyqae

(<J>yHKUHH B>(rt+J,O) , B(O,3C) npHMHTHBHO p6Ky pCHBHbl) .

no /z MOKHO noxaaaTfa, HTO

rne u.(/ztjc,u) - noaxoaamaH npHMHTHBHO peicypcHBHaH (jiyHKuna, nanpHMep,

^u

Page 10: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

84 B.B.KoabMHHbix

TO ecTb npenHicaT (n,oc)—£/ HPHMHTHBHO peKypcHBeH.

/1EMMA 4 . C y m e c T B y e r S e c K O H G H H o e

n p H M H T H B H O p e K y p C H B H O B M H O J K 6 C T B O

ot , n p a M o H n e p e c ' i o T K o r o p o r o h-(x) 0 6 -

j i a n a e r c n e a y i o m H M C B O H C T B O M : a n a

K a >K n O f t n p H M H T H B H O p e K y p C H B H O H $ y H K -

n H H f(£) c y m e c T B y e T T a K o e H H C J J O jc0 ,

H T O n p n j c ? zc0 A (x~) y f-Ctc) •

flOKASATE/lbCTBO. flocTaTOHHO B KanecTBe oc esHTb oSjiacrb ana-

H6HHH (JiyHKUHH /? '(JC) .

fleftCTBHTenbHO, at npHMHTHBHO peKypCHBHO, T3K K8K /?(X) ^ X HpH

scex x. H rpa4>HK /}(x) B cany neMMbi 3 npHMHTHBHO peKypcHBeH.

TaK KaK /7 (x.) npn nocTaroHHO 6onfaumx *z: CTporo Boapacraer ,

npHMOH nepecnfiT oc npn nocTaTOHHO 6onbuiHx JC pasen /?fx+c) , rue

C - noaxoflauiaa KOHCTaHTa. flna xa>Knoft onaoMecTHofi HPHMHTHBHO pe-

KypCHBHOH 4>yHKUHH f CyiaeCTByGT T8KO6 HHCJTO JCf , HTO HpH JC?SC.

^(x)>f(x) (CM. £2] ). Oxciona cneayer cnpaBennHBOCTb

n E M M A 5 . C y m e c T B y i O T S e c K o n

n p H M H T H B H O p S K y p C H B H b i e M H O

^ (*)P. , C=0, /.£,... , -1—0,-/ . T S K H e , HTO

{,

- HaTypanbHbiJi pan) H ana n r o 6 o H n e n y c T o f i

K O H G H H O f t C H C T G M b l A ' M H O J K e C T B / 7 . , T a -

K O H, H T Q

(2)

o 6 T > e n H H e H H e s c e x M H O x c e c T B H 3 /C

H M e e r n p s M o f t n e p e c n f i T , H e M a w o p n -

p y e M b l H n p H M H T H B H O p e K y p C H B H O f i 4 > y H K -

u K e H .

flOKASATE/lbCTBO. Hepea \M\M oSoanaHaTb MoniHOCTt, MHO-

KecTBa M

ripeflCTaanaiouieH (JiyHKuneil MHOJKecTBa HaaoaeM iJiyHKiiHio, pasnyio O

Ha MHowecrse H / BHG ero.

OnpenenHM MHOwecTBO & aanaHKeM ero npencTasnaiomeft <JiyHKiiHH;t:

Page 11: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

O6 OaHOMeCTHblX np-:MiiTitBHO pSKypCKBHMX 4'Y H K U U 8 X 85

'x.(o)=o;

p o

=. ^ j j £ | c e a & t < .r J. I ^ j •{ r I (3-i)f,:\

cjiyiao,

rae oc - MHOMSCTBO H3 /le.MMt! 4.

Ha3OB6M "HHrepBaaoM" MHO/KecrBO Bima

or

ecna

PaCCMOTpMM npOH3BOJlb:ibri5 "

ne nepecexaeTca c HHM, TO

Jl*. ECJIM V!HO>;eCTBO

e, rae Mn«n\tanb-

, HSM HpHMOli H6~

Oo3TOMy npsiMoJi nepecnfeT A/ B

Hblfi 3/ieM6HT /V , ©OJlWJIHft HJ1H

pOClfiT CX B 3TOft TOHK6.

HarypanfcHbift pan pa36HT Ha ciSTHoe HHC.'JO "

3anyM©pyeM "HHrepBanu* ecrec TBeHHbiM oopaaoM (npi inauJOM

^ "HHTepBany*, coaepKameMy <7 : npHnnmeM HOMep

coaep>KaiueMy MUHUMantnoe Hncno, npesbiiuaromee ace nucna 03 "HHrepaa-

na* c HOMepoM jc ).

Ka>Kflbiil "HHTepaan" HMeex PCBHO OHHH HOMep, a Ka:Kaoe HHCJIO eci-fo

HOMep HSKOTOporo 'HHTepeana*.

OnpeaenHM ann ;iio6oro .̂' MHOsiecTBO ^f^Kaic o6i>ennHeKHe scex "HH-

repsanoB*, HOMepa Koxopux HMSIOT BHZI k- 21** ~*~ t ,rae /V^-C1, 0*

nycTb ecTb aononneHHe

"KycKOM* MHOwecrBa /?.'*'' HaaoBeM Ka«<aoe MHOwecrso

me

"icyc-OK*

. HTO

wP. paaeH o6i,enHHeHHio 2L "HHrepsa -

Page 12: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

86 B.B.KoabMHHHx

HOB .

Kycoic* MHcmecTBa P-+^ paseH oS-beaHHeHHio HeKoroporo

*KycKa* MHojKecTsa P.'0> H Heicoxoporo "icycKa* MHOJKecxBa P. ( STO

aepHO npH aaxaoM i ).

Oxcioaa cneztyex, HTO nna nK>6oft aenycxoft KOHeinoft cacxeMbi K ,

cocTOHmeft us MHO%ecfB /^^ H yaoBnerBopaiouiefl (2) , B aononneHHH K

'"**HMeexcs 6ecKOHeiHO MHOPO "KycKOB* MHOwecTBa PQ HJIH 6ecxoHeHHO

MHOrO 'KyCKOB* MHOJKeCTBa PQ .

flpyrHMH cnosaMH, B nonojiHeHHH K U*< HMeerca SecKOHSHHO MHOPO

nepecHfix UK B 6ecKOHeiHOM HHcne xoieK He

npHMoft nepecnex cc (HMSHHO, B rex XOHKBX, rae 'nepeHHcnawxca*

MS UK , HenocpeflCTB«HHO cnenyioinHe aa He npHHazwtewamHMH UK 'HH -

xepBanaMH* ) .

FIoaroMy npaMofl nepecnfex U/< He MaxcopHpyerca HHnaicoft npHMK -

THBHO pexypcHBHofi ijiyHKiiHeft ( B CHny Bw6opa oc. ).

TEOPEMA 2 . A n r e 6 p a P o 6 H H c o H a H w e e x

K O H T H H y y M M a K C H M a j i b H U x n o a a n r e 6 p .

flOKA3ATE;i bCTBO. DycTb &cx) - yKaaaHHaa B jjl] 4>yHKUHa, 06-

paayiomaa onHosneMSHTHbifl 6aanc anreSpu PoSHHcona.

flna KajKfloro MHOwecTBa p!** HS neMMbi 5 onpenejiHM

jio)ft

MHO^cecTBy M HarypanbHtix HHCB/I nocxaBHM B cooTBercT-

BHG cHcreMy <J>yHKunfl

B CHny Bbi6opa P. *'npu KarcnoM M SM ynoanerBopaex

( A ) , nosTOMy 5^ xo«e ynoBnerBopaex (A) H, cnenosaxenbHo, HS coBnaaa-

ST co Bceft anre6pofi.

Page 13: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

O6 OAHOMeCTHblX npHMHTHBHO DeXypCHBHMX forHKIIBM 87

TaK xax anre6pa Po6nHcoHa xoH6HHonopo>KfleHHaa, Kaunas noaa/ireO-

pa BxnroqaeTca B HexoTOpyio MaxcHManbHyro noaanreflpy._ rt fgl

MaxcHManbHaa noaanre6pa, BxnroHaiomaa SM , conep>KHT j- ± , ec-a <.°>nia. i.eM , H He coaepwnr -f ^ , ecnn ceM (HHaqe, Tax xax MBKCH-

^ ^ J>o°) s<*>ManbHaa noaanreopa conepwana OBI npn HeKoxopoM L a. . wjC. , oua^ yf°;, y7^ -coaepxana OH f^ -t-fa=aeu, cneaoBarenbHo, coBnaaana OH co Bceft an -

raSpoft).

TaxHM o6pa3OM, ana paaHux A/ MaKCHMajibHbie noaanreSpbi, BKJIIO-

iaiomne S.. » pasnHHHti.wTeopeMa noKasaaa.

3.TEOPEMA 3 . C y m e C T B y e r H P H M H T H B H O

p e x y p c H B H a a (fi y H K n H a , K o T o p a fl, H B -

n a a c b H r e p a u H e f t H e x o T o p o f t 4> y H K -

U H H , H e f l B J i f l e r c a H r e p a u n e f t K H K B —

K o f t o 6 i n e p e K y p c H B H o f l i J i y H K U H H .

AOKA3ATE/lbCTBO. FlycTb oc0 H/30 ~ peKypcuBHo nepenncnHMbie

peKypCHBHo HeoxnenHMbie MHOMcecTsa, cx=pc/.z:=.=?yf-/ , TAB yecx0 I ,

y3 = {je|.or=v>y4-/ , me ^£yS0j.

a: yi j3 xaioKe pexypciiBHo nepeHHcnHMw H peKypcuBHo HeoxaenH-

K<bi (rax K3K ecna 6u oc OTnenanocb or e peKypcHBHHM MHo»cecTBOM

9 , Toac0 ornenanocfa 6bi ofj30 peKypCHBHWM MHOJKOCTBOM -|,x|

rne ^ey H y Heierno 1 .

IlycTb cffjc) H tT(x) - npHMHTHBHO peKypcHBHbie (jiyHKUHH, nepe -

awmHe oc H 0 cooTBeTCTBeHHO.

OnpeaenHM fyymtuiuo 9(-x:l '•

f <-*(u) , ecnu x=4ujr1 K

J <J(y) , ecjiH jr=4yh3 H

\ - B ocranfaHfaix cnyiaax.

npHMHTHBHO peicypCHBHa, npH pasHbix -x. npHHHMaer paanwe

(rax xax cin.tr nepeqacnaror Henepecexaio|iHec9 MHO>KecT-

aa oc H A , cocToamne H3 HenerHbix nncen); 0(01 = 0 ; <y npHHHMaer

B xaqecTBe 3na«ieHHJl Bee incna H3occ/y3 . ECJIH <y(jc)e.ct. , tocr(x-'r-f)

BHfl 8u+-4- ; ecnn a(sc)e.& , TO &(jc+f) HMBBT Ban Su .

aanaerca HTepauneft (})yHKUHH

Page 14: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

88 B.B.KoabMHHbix

(a raKxe nio6oro e& pacuiHpeHHa) .

/Iro6aa 4>yHKUHH, HrepauHS Koropoft pasna Q- , scrb paciuiipeuHe ' •£.

ECHH ^recx . TO fix.) HMeer BHU ^^-t--^ ; emu jcen ,TO

.

EcnH 6bi c: 6una Brepaunefi

UHH <^ , £ 6 bin a 6bi noonpeaeneaiie.M £ ; roraa <x oTflensuiocb 6w

or ^ peKypcHBHHM MHOjKecTBOM jc| (^u^Cfa (x)= &eJ+4-)^ . Ho a: n /9

peicypcHBHO HeoraenHMbi.

TEOPEMA 4 . C y m e c T B y e x H P H M H T H B H O

p e x y p c H B H a f l 1̂ 1 y H K u H H , B a a H M H o o a~

H o s H a M H O O T o S p a M c a w m a a H a r y p a n b

H b i f t p a n H a c e 6 a , K O T O p a H , a u . T a a c b

H r e p a u H e f t H e K o r o p o f i <)i y H x u H H , He « B -

n a e T C H H r e p a u H e f t H H K a x o f t n p H M H

T H B H O p S K y p C H B H O f l 4 > y H K 1 I H H -

flOKASATE/lbCTBO. CymecrsyeT HPHMHTUBHO peicypcHBHaH fyyux. -

una a0czc') , saanMHO onHosnaHHO oroepawaiouiaa HarypanbHtift paa Ha

ce6a H Taxaa, HTO G^(x) ne flBnaerca HPHMHTHBHO peicypcHBHoft [61 .

OnpeaenHM Q (x) CXSMOH:

X HfeTHOM,

X H6H6THOM.

npHMHTHBflo peKypciiBHa, BaaHMHo oflHoaHaHHO OTo6pa>KaeT Hary -

pan Ha ce6a; &co)=- O . &(xj nansieTcsi HTepauneft (

f 2<y 6- )-t-/nP« x iSTHOM,> = J >;i^i/\f%o(

, oqeBHflHo, raxaa -f-

Ecnn 6bi f(x) 6bina HPHMHTHBBO peKypCHBHa, TO , B CHJTJ pasencT-

Ba

jr.t \- [

Page 15: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

OS OAHOMeCXHblX npHMHTHBHO peKypCHBHblX $y HKIIHHX 89

6bi xaK>Ke ITPHMHXHBHO peKypciiBHa, HTO npoxnBopennT BW-

TeopeMa flOKaaaua.

4. OnpeaeniiM onepaumo "xoHHoro o6pameHHH" cneny»mnM oopaaotvi:

ecnH &(x) BaaiiMHo oflHoanaHHo oTo6pa>KaeT HaxypanfaHbiii pan na ce6a,

sxa onepauHH craBHT efi & cooTBercrBue (J'yHKU1110 T (-D > B nporHB -

HOM cjiyiae 3ra onepauns HenpiiMeHHMa K f(x) .

3AME4AHME 2. Ha (jsyHKuafi ±(x) H <7(x) onepauHSMH •* , -+- H

"TOHHOTO o6pameHHa" HeBO3MO>i<no nonyiHTfa see oaHOMecTHue o6mepeKyp-

CHBHbie (})yHKUHH.

fleiScTBHTent-HO, Ha -arax asyx ^yHKKHfl onepauHHMH ^- H 4- Kent. -

aa nonymTb (JjyHKUHio, aaaiiMHO oflHO3nanHO oToSpaxaroiuyio

psia Ha ce6s (H, cnenoBatenbHo, oiiepauHH ''TOHHOTO oSpameHHSj"

lecKH He yqacTsyer B nonyieHHH HOBBIX

3ro BbixeKaeT HS cnenyioinero

/Iio6aH (J'yHKiiHfl ^t , nonyieHHaH us 1 H ^ onepainiflMii Tf H 4-

(B TOM HHcne caMH i H o; ) , ynoB.neTBopHer xora 6bi OAHOM/ aa

ycnoBHii:

(1) ^ HHrae He npHHHMaer aHaneHHa o H f (3?) -f- a,, x: •>>-$,:/?rne ctf H Of - neKOxopbie KOHcxaHTbi.

1 2 ) jf, '(zc) £ a., \Gc 4- ̂ /^ , rne ov H ^f - HeKOTOpwe

i , OHesHflHo, ynosneTBopaeT (1 ) ; a yaoBJierBOpaeT (2) (

KaK &(jc) -^*2Vx ); paaSopo.M cnyiaea HerpynHO nposepHTb, >ITO ecnH

xa>Kflasi Ha (jjyHicuHH G' , /z. yaoBnexBopaer ( 1 ) «nn (2) H ^£=C' <* /4.

£= c/->t- /z. , TO if ynoB.ieTBOpHST ( 1 ) HUH (2) .HHH ,(f

B

3. XII. 1967 r.

/ i H x e p a x y p a

1. P./l.TyacxeflH. MaxeMai/inecKaa nornKa. H/I, 1960.

2. A.H.Manfauea. A.TropuxMbi H peicypCHBHfare 4>yHKUHn. M., 'Ha'yKa"

1965.

Page 16: OB OflHOMECTHbPX HPHMHTHBHO PEKYPCHBHblX *7HKUH«X B…math.nsc.ru/~alglog/01-10/07/07N1-5.pdfO6 oaHOMecTHbix HPHMHTHBHO peicypcHBHbix (JiyHKUHax 77 H; reM caMUM 6yaex aonaaaua cneayromaa

80 B.B.KO3bMHHMX

3. Hryen Xwy Hrw.

4. E.A.rlonaKOB.

5. E.A.rlonaKOB.

6. B.A.ycneHCKHft.

OueHKH ana nocnenoBaxenbKocTeft cocroHHHft Ma -

UIHH TbropHHra. FlpoSneMbi Kn6epHeTHKH, 17 (1986),

67-89.

Artre6pbi peKypcHBHbix (j>yKKUHft. AnreSpa n norHKa.

CeMHHap, 3, (1964), 41-56.

O HeKOTopbix cBoflcTBax anreSp peKypcHsnux 4>yHK-

UHft. Anre6pa H norHKa. CeMHHap, 3, N° 3 (1964),

38-57.

JleKUHH O BblHHCJIHMHX ^yHKUHSX. M., 4>H3MaTrH3,

1960.