Функциялар системасининг тўлиқлигини аниқлаш - Алгебра - Рефераты

Функциялар системасининг тўлиқлигини аниқлаш

Загружено в:

20.09.2019

Скачано:

0

Размер:

335.5 KB

Функциялар системасининг тўлиқлигини аниқлаш REJA : I.Kirish 1 Функционал ёпик синфлар. 2.Берилган мисол ёрдамида амалий кўрсатмалар.

1 Функционал ёпик синфлар. Мантик алгебрасининг },...,{ 1 n  функциялар системаси берилган булсин. 1-таъриф. Агар мантик алгебрасининг исталган функциясини },...,{ 1 n   системадаги функциялар суперпозицияси оркали ифодалаш мумкин булса, у холда Ф га тулик функциялар системаси деб айтилади. Исталган функцияни МКНШ ёки МДНШ куринишида ифодалаш мумкинлигидан , , { y x xy  x} функциялар системасининг туликлиги келиб чикади. }1, , { y x xy  функциялар системаси хам тулик булади, чунки исталган функцияни Жегалкин купхади куринишига келтириш мумкин. Куйидаги функциялар системасининг туликлигини исботланг: а) , xy x ; б) ,y x x ; в) 1, , y x xy  ; г) x y  ; д) xy ; и) 1, , y x y x   ; ж) 1,0, ,xy z y x   ; з) ,y x x ; е) 0,y x . Исбот. а). y x = yx , яъни дизъюнкция амалини конъюнкция ва инкор амаллари оркали ифодалаш мумкин. Демак, { xy , x } функциялар системаси тулик булади. б). xy = xy = y x эканлиги маълум. Демак, исталган мантикий функцияни дизъюнкция ва инкор амаллари оркали ифодаласа булади. Шунинг учун { ,y x x } функциялар системаси туликдир.

в). Ихтиёрий мантик алгебрасининг функциясини ягона Жегалкин купхади куринишига келтириш мумкинлигидан {1, , y x xy  } функциялар системасининг туликлиги келиб чикади. г) ва д). Мантик алгебрасидаги исталган функцияни ) , ( y x  xy ва ) , ( y x  x y  Шеффер функциялари оркали ифодалаш мумкин. Хакикатан хам, x ) , ( x x    y x x y  ( , ) x y )),( ), ,( ( yx yx    ва ( xy x y, ) , ( ( ) x x   , )) , ( y y  асосий мантикий амалларни Шеффер функцияси оркали ифодалаш мумкин. Демак, { xy } ва { x y  } функциялар системаси тулик булади. и). y x xy y x     булганлиги учун xy y x y x     ) ( булади. { 1, , y x xy  } тулик система эканлиги в) пунктида исбот килинган эди, демак, { 1, , y x y x   } cистема туликдир. Худди шундай бошка функциялар системасининг туликли-гини исбот килиш мумкин. 1-теорема. Агар },...,{ 1 n   функциялар системаси тулик булса, у холда унга иккитарафлама булган } ,..., { * * *1 n    функциялар системаси хам тулик булади. Исбот. *  системанинг туликлигини исботлаш учун исталган ),...,( 1 nxxf функцияни *  системасидаги функциялар суперпозицияси оркали ифодалаш мумкинлигини курсатишимиз керак. Бунинг учун аввал *f функцияни },...,{ 1 n   cистемасидаги функциялар оркали ифодалаймиз (  система тулик булганлиги учун бу процедурани бажариш мумкин). Кейин иккитарафлама конунга асосан

иккитарафлама функциялар суперпозицияси оркали f функцияни хосил киламиз. Мисол. Куйидаги функциялар системасининг тўли қ эмаслигини исботлайлик: а) x , 1 ; б) y x xy  , ; в) ,y x x ; г) , xz yz xy   x ; д) , xz yz xy   ,0 1 . а). x 1  x га тенг. Демак, { x 1, } системасидаги функциялар бир аргументли функциялар булади. Бизга маълумки, бир аргументли функцияларнинг суперпозицияси натижасида хосил килинган функция яна бир аргументли функция булади. Натижада, бу системадаги функциялар оркали куп аргументли функцияларни ифодалаб булмайди. Шунинг учун { x 1, } тулик система эмас. б). { , xy y x } системасидаги функцияларнинг иккаласи хам монотондир. Монотон функцияларнинг суперпозицияси оркали хосил килинган функция яна монотон булишини исбот килган эдик. Демак, бу иккала функциянинг суперпозицияси оркали монотон булмаган функцияларни ифодалаш мумкин эмас ва натижада, { , xy y x } система туликмас система булади. в). { ,y x x } cистемасидаги функциялар чизикли функциялардир. Шунинг учун бу функциялар оркали чизиклимас функцияларни ифодалаб булмайди. Демак, { ,y x x } функциялар системаси тулик эмас. г). { , xz yz xy   x } системасидаги функциялар уз-узига иккитарафлама функциялардир. Бу функцияларнинг суперпозициясидан хосил килинган хар кандай функция хам уз-узига иккитарафлама функция булади.

Демак, {, xz yz xy   x } функциялар системаси тулик эмас. д). { , xz yz xy   ,0 1 } системадаги функцияларнинг хаммаси монотон функциялар булади. Монотон эмас функциялар бу системадаги функциялар оркали ифодаланмайди. Демак, { , xz yz xy   ,0 1 } система тулик эмас. Шундай килиб, юкорида келтирилган масала ечимининг анализидан куйидаги хулоса келиб чикади. Берилган  функциялар системасининг тулик эмаслигини исботлаш учун системадаги функцияларнинг шундай умумий хусусиятини топиш керакки, бу хусусият функциялар суперпозицияси натижасида саклансин. Хакикатан хам, у вактда бундай хусусиятга эга булмаган функцияни  системадаги функциялар суперпозицияси оркали хосил килиб булмайди. Функцияларнинг бу маълум хусусиятларини текшириш учун одатда функционал ёпик синфлар тушунчасидан фойдаланадилар. 2-таъриф. Агар A си c темадаги функциялар суперпозициясидан хосил булган функция яна шу системанинг элементи булса, у холда бундай системага суперпозицияга нисбатан ёпик система деб айтилади. 3-таъриф. Суперпозицияга нисбатан ёпик булган хар кандай мантик алгебрасининг функциялар системасига функционал ёпик синф деб айтилади. Равшанки, маълум бир хил хусусиятга эга булган функциялар системаси функционал ёпик синфни ташкил этади ва, аксинча, маълум функционал ёпик синфга кирувчи функциялар бир хил хусусиятга эга булган функциялардир.

Куйидаги функциялар системаси функционал ёпик синфларга мисол була олади: а) бир аргументли функциялар; б) хамма мантик алгебрасининг функциялари; в) L - чизикли функциялар; г) S - уз-узига иккитарафлама функциялар; д) M - монотон функциялар; е) 0P - нуль кийматни сакловчи функциялар; ж) 1P - бир кийматни сакловчи функциялар. 4-таъриф. Буш синфдан ва мантик алгебрасининг хамма функциялари тупламидан фарк килувчи функционал ёпик синфга хусусий функционал ёпик синф деб айтилади. Шундай килиб, функциялар системасининг туликлиги учун бу системада хар кандай хусусий функционал ёпик синфга кирмовчи функция топилиши етарли ва зарурдир. 5-таъриф. Уз-узидан ва мантик алгебрасининг хамма функциялари синфи ) ( 2P дан фарк килувчи функционал ёпик синфларга кирмовчи хусусий функционал ёпик синфга максимал функционал ёпик синф деб айтилади. Мантик алгебрасида хаммаси булиб бешта максимал функционал ёпик синф мавжуд: 0P - ноль сакловчи функциялар синфи, 1P - бир сакловчи функциялар синфи, S - уз-узига иккитарафлама функциялар синфи, L - чизикли функциялар синфи. 2 Пост теоремаси. },...,{ 1 n   функциялар системасининг туликлиги учун бу системада 0P , 1P , M , S , L максимал функционал ёпик синфларнинг хар бирига кирмовчи камида битта функция мавжуд булиши етарли ва

зарур (яъни },...,{ 1 n  шунда ва факат шундагина тулик система буладики, качонки у 0P , 1P , M , S , L максимал функционал ёпик синфларнинг бирортасининг хам кисм туплами булмаса). Исбот. },...,{ 1 n   тулик система булсин, яъни 2 ] [ P  . Фараз киламизки,  максимал функционал ёпик синфларнинг бирортаси. У вактда F нинг ёпиклигини хисобга олиб, F F P    ] [ ] [2 ни ёзиш мумкин, яъни 2P F  . Аммо бундай булиши мумкин эмас. Демак, F   муносабат бажарилмайди. Теореманинг етарлилигининг исботини укувчиларга хавола этамиз. Натижа. Мантик алгебрасидаги хар кандай функционал ёпик синф 0P , 1P , M , S , L максимал функционал ёпик синфларнинг бирортасининг кисм туплами булади. Амалда бирорта },...,{ 1 n   системанинг тулик ёки тулик эмаслигини аниклаш учун Пост жадвалидан фойдаланадилар. Пост жадвали куйидаги куринишда булади: 0P 1P S L M 1  2 ... ... ... ... ... ... 1n n  Жадвалнинг хоналарига уша сатрдаги функция функционал ёпик синфларнинг элементи булса “+” ишора, булмаса “-” ишораси куйилади. } ,..., { 1 n    система тулик функциялар системаси булиши учун, теоремага асосан, жадвалнинг хар бир устунида камида битта “-” ишораси булиши етарли ва зарур.

} ,..., { 1 n    функциялар системаси тулик булмаслиги учун 0P , 1P , M , S , L максимал функционал ёпик синфларнинг бирортасининг кисм туплами булиши, яъни Пост жадвалининг бирор устуни тулик “+” ишораларидан иборат булиши керак. Функциялар системасининг туликлиги тушунчаси билан синфнинг (тупламнинг) ёпиги тушунчаси узаро богланган. 6-таъриф. A билан 2 P (n аргументли мантик алгебрасининг хамма функцияларини уз ичига олган) тупламнинг бирор кисм тупламини белгилаймиз. A туплам функцияларнинг суперпозициясидан хосил этилган хамма буль функциялари туплами ( A туплам функциялари оркали ифодаланган хамма буль функциялари туплам)га A тупламнинг ёпиги деб айтилади ва [ A ] каби белгиланади. Мисол. A = 2 P булсин, у холда [ A ]= 2 P . 2. A ={ 2 1 ,1 x x  } булсин, у вактда A тупламнинг ёпиги хамма L - чизикли функциялар тупламидан иборат булади. Туплам ёпиги куйидаги хоссаларга эга: [ A ] Ê A ; 2. [[ A ]] = [ A ]; 3. агар A 1  A 2 булса, у холда [ A 1 ]  [ A 2 ] булади; 4. [ A 1  A 2 ] Ê [ A 1 ]  [ A 2 ]. 7-таъриф. Агар [ A ]= A булса, у холда A туплам (синф)га функционал ёпик синф деб айтилади. Мисол. A = 2 P синфи ёпик синф булади. 2. A ={ 2 1 ,1 x x  } cинфи ёпик синф булмайди. 3. L - синфи ёпик синф булади.

Осонгина куриш мумкинки, хар кандай [A ] синф ёпик синф булади. Бу хол купгина функционал ёпик синфларни топишга ёрдам беради. Туплам ёпиги ва ёпик синф тилида функциялар системасининг туликлиги хакидаги таъриф (аввалги таърифга эквивалент булган таъриф) ни бериш мумкин. 8-таъриф. Агар [ A ]= 2 P булса, у холда A функция-лар системаси тулик деб айтилади. Мисол. Куйидаги функциялар системаларининг тулик эмаслигини Пост жадвали оркали исбот килайлик: а) } , ,0{ 1 z y x xy     ; б) } , ,1{ 2 z y x xy     ; в) { 3  xy xz yz   } ; г) } ,1,0{ 4 y x   ; д) },1,0{ 5 xy 0P 1P S L M а) 0 + - - + + xy + + - - + z y x   + + + + - б) 1 - + - + + xy + + - - + z y x   + + + + - в) xy xz yz   - - + - - г) 0 + - - + + 1 - + - + + y x + - - + - д) 0 + - - + + 1 - + - + + xy + + - - + Жадвалдан куриниб турибдики, юкорида келтирилган хамма функциялар системаси тулик эмас, чунки хар бир система учун жадвалда битта устун факатгина “+” ишораларидан иборат. Шуни таъкидлашимиз керакки, хар

бир система учун бу устунлар хар хил. Демак, Пост теоремаси шартидан 0P , 1P , M , S , L максимал функционал ёпик синфларнинг бирортасини хам олиб ташлаш мумкин эмас. Бу хулосадан уз навбатида 0P , 1P , M , S , L максимал функционал ёпик синфларнинг бирортаси иккинчисининг кисм туплами була олмаслиги келиб чикади. 3 Берилган мисол ёрдамида амалий кўрсатмалар. Ф={ 1, , , x y x y x   } функциялар синфининг тўлиšлигини Пост жадвали ёрдамида текширинг. 1-кадам. Пост жадвали орšали берилган функциялар синфини тўлиšлигини текшириш учун, системадаги барча функцияларнинг чинлик жадвалини тузамиз x y y x y x x 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 2- кадам. Берилган функцияларнинг P 0 , P 1 , L , S , M функционал ёпиš синфларга тегишлилигини юšоридаги чинлик жадвалидан аниšлаймиз.Функциямиз P 0 –ноль саšловчи функциялар синфига кириши учун аргументларнинг барчаси бир ваšтда ёлђон šиймат šабул šилганда функция ќам ёлђон šиймат šабул šилиши керак. Чинлик жадвалидан кўриниб турибдики фаšат y x функция ноль саšловчи, šолган функцияларимиз ноль саšловчи эмас. Пост жадвалида мос устунни тўлдирамиз. P 0 P 1 L S М y x +

y x- x - 1 - 3 - кадам. Функция P 1 –бир са қ ловчи функциялар синфига кириши учун аргументларнинг барчаси бир ва қ тда чин қ иймат қ абул қ илганда функция ќам чин қ иймат қ абул қ илиши керак. Чинлик жадвалидан кўриниб турибдики фаšат x функция бир са қ ловчи эмас, қ олган функцияларнинг барчаси бир саšловчи. Пост жадвалида мос устунни тўлдирамиз. P 0 P 1 L S М y x + + y x - + x - - 1 - + 4- кадам Энди системадаги функцияларни L - чизи қ ли функциялар синфига тегишли ёки тегишли эмаслигини текширамиз. Бунинг учун функцияларнинг Жегалкин кўпќади кўринишини хосил қ иламиз. Кўпќадда кўпайтириш амали иштирок этмаса, бундай функция чизи қ ли бўлади 1 1 1 1 1 1 )1 ( ,                           x x x xy y x y xy y x y x y x yx y x y x y x xy y x Кўриниб турибдики y x ва y x функциялар чизи қ ли эмас, x ва 1 чизикли. Пост жадвалида мос устунни тўлдирамиз P 0 P 1 L S М y x + + - y x - + - x - - + 1 - + +

5- кадам. Чинлик жадвали ёрдамида функцияларнинг S -ўз –ўзига қ ўшма функциялар синфига киришини текширамиз. Буни 3 хил усулда амалга ошириш мумкин 1-усул. Чинлик жадвалида функцияларни қ ийматлари сатрини чизи қ билан ўртасидан ажратиб, шу чизи ққ а нисбатан қ ийматларнинг симметриклигини текширамиз x y y x y x x 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 2- усул. Чинлик жадвалида функция кийматлирини тескари œгириб, (кушмалик принципига к у ра) инкорларини олганда функциянинг чинлик киймати билан мос тушса, бу функция у з- у зига қ у шма бœлади 3-усул . ) ,... , ( 2 1 nx x x f функцияга қ у шма ) ,... , ( ) ,... , ( 2 1 2 1 * n n x x x f x x x f  функцияни топиш учун функциянинг барча у згарувчиларини ва функцияни инкорини топиш керак. Агар ) ,... , ( 2 1 nx x x f = ) ,... , ( 2 1 * nx x x f б у лса, функция у з- у зига иккитарафлама ёки у з- у зига қ œшма функция дейилади y x y x y x f y x f         * , *f f демак бу функция у з- у зига қ у шма эмас. y x y x y x f y x f         * , *f f демак бу функция у з- у зига қ у шма эмас. x x f x f    * бу холда, *f f бу функция у з- у зига қ у шма функция бœлади. 1 га қ у шма функция 0 бœлади

P 0 P 1 L S Мy x + + - - y x - + - - x - - + + 1 - + + - 6- кадам . Функциялар системасидаги функцияларни монотонлигини текширамиз. Функция монотон бœлиши учун барча j i    ларда ) ( ) ( j i f f    шарт бажарилиши керак. Чинлик жадвалидан к у риниб турибдики y x монотон, y x номонотон, x номонотон, 1 монотон бœлади. P 0 P 1 L S М y x + + - - + y x - + - - - x - - + + - 1 - + + - + Пост жадвалнинг барча устунларида камида биттадан «-» ишора šатнашган, яъни максимал функционол синфларга кирмайдиган камида биттадан функция мавжуд. Демак кœрилган функциялар системаси тœлиš. Топширик вариантлари Агар },...,{ 1 n   ва },...,{ 1 nffF  функционал ёпик синфлар булса, у холда F   ва } ,..., { * * *1 n    лар хам функционал ёпик синфлар ва F   ни функционал ёпик синф булмаслигини исботланг. 2. Куйидаги максимал функционал ёпик M L S P P , , , , 10 синфларнинг бирортаси иккинчисининг кисм тœплами бœлмаслигини исботланг. 3. Хар кандай шахсий функционал ёпик синф M L S P P , , , , 10 максимал функционал ёпик синфларнинг бирортасининг кисм тœплами эканлигини исботланг.

4. Қ уйидаги функциялар синфининг тўли қ лигини Пост жадвали ёрдамида текширинг. Ф={y x x y x y x    , , , }                          zy x zy z x yz x F x yz y x z y x F y x zy xz yz x F yx x zy xz xy xy F y x y xy xy z xy F z x yx xy y x F x y x y x F x y x y x F yx x zy xyz xy xy F y xy xy z xy F x yx xy y x F x y x y x F x y x y x F                                                   , , . 14 0, , , . 13 1, , , . 12 , , . 11 , , . 10 0, , , .9 0, , , .8 1, , , .7 , , .6 1, , .5 1, , , .4 0, , , .3 1, , , .2            1, , , . 20 , , . 19 1, , . 18 1, , , . 17 0, , , . 16 1, , , . 15 x xy yzx y x F yx x zy z y x xy xy F y xy xy z yx F x yx xy yx yx F x yz xz xy yz xz F x yu xz y x F                       

                   1, , , . 30 0, , , | | . 29 1, | , , . 28 , , | | . 27 0, , , . 26 1, , , . 25 , , . 24 , , . 23 0, , , . 22 0, , , . 21 x yx z xy zyx yzx F x y z x z y z x F y x yu xz yz x F zy x zy z x z y z x F x yz y x yz x F xy x zy zx zy x F yx x zy xz x x F y x y y x xy z xy F yz x yx xy xy x F x y xz xy y x F                                          

Похожие

Элементар функциялар

Ўлчовли функциялар

Ошкормас функциялар

Функциялар назарияси фанининг мақсад ва вазифалари. Эллиптик функциялар

Кўп ўзгарувчили функциялар кўп ўзгарувчили функциялар ҳақида умумий тушунчалар