Հանրահաշվի հիմնական թեորեմ

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search

Հանրահաշվի հիմանական թեորեմը պնդում է, որ կոմպլեքս գործակիցներով ցանկացած մեկ փոփոխականի բազմանդամ ունի առնվազն մեկ կոմպլեքս արմատ։ Թեորեմի պնդումը ճիշտ է իրական գործակիցներով բազմանդամների համար նույնպես, քանի որ իրական թվերը կարելի է համարել զրոյական կեղծ մասով կոմպլեքս թվեր։

Թեորեմին համարժեք ձևակերպում է, այն պնդումը որ կոմպլեքս թվերի դաշտը հանրահաշվորեն փակ է։

Թեորեմ նաև կարելի է ձևակերպել հետևյալ կերպ․ յուրաքանչյուր ոչ զրոյական, մեկ փոփոխականի,  -րդ կարգի կոմպլեքս փոփոխականի բազմանդամ, հաշված պատիկությամբ ունի ճիշտ  արմատներ: Նշված երկու պնդումերի համարժեքությունը կարելի է ապացուցել բազմանդամների բաժանաման ալգորիթմի հաջորդական կիրառմամբ։

Հակառակ իր անվանմանը, այս թեորեմի համար հանրահաշվական ոչ մի ապացույց գոյություն չունի, քանի որ ապացույցներից ցանկացածում օգտագործվում է իրական թվերի լրիվությունը (կամ համարժեք որևէ փաստ), ինչը հանրահաշվական գաղափար չէ։ Բացի այդ, այս պնդումը ժամանակակից հանրահաշվի համար հիմնային դեր չունի․ այս անվանումը տրվել է այն ժամանակ, երբ հանրահաշվի ուսումնասիրությունը սահմանափակվում էր իրական կամ կոմպլեքս գործակիցներով բազմանդամային հավասարումների լուծման գոյության խնդիրներով։

Գրականության ցանկ[խմբագրել | խմբագրել կոդը]

Պատմական աղբյուրները[խմբագրել | խմբագրել կոդը]

Ժամանակակից գրականություն[խմբագրել | խմբագրել կոդը]