Աստիճան (հանրահաշիվ)

**Աստիճան**, մաթեմատիկական գործողություն, գրվում է b^n, որտեղ  թիվը հիմքն է իսկ -ը՝ աստիճանացույցը կամ ցուցիչը։ Երբ -ը դրական ամբողջ թիվ է, աստիճան բարձրացնելը համապատասխանում է հիմքի կրկնվող ( անգամ) բազմապատկմանը, այսինքն՝ b^n թիվը հավասար է  հիմքի  արտադրյալին.

:b^n = \underbrace{b \times \dots \times b}_{n\, \text{անգամ}}։

Ցուցիչը սովորաբար գրվում է հիմքի աջ վերտողում։ Այդ դեպքում b^n արտահայտությունը կարդում են «b-ն բարձրացրած n աստիճանի» կամ «b-ի n աստիճան»։

Կամայական  և  դրական ամբողջ թվերի համար ճիշտ է b^n \cdot b^m = b^{n+m} նույնությունը։ Այս հատկությունը ոչ բնական ամբողջ ցուցիչների վրա տարածելու համար b^0-ը սահմանում են 1 և b^{-n}-ը, որտեղ -ը դրական ամբողջ թիվ է իսկ -ն՝ զրոյից տարբեր կամայական թիվ, որպես \frac{1}{b^n}։ Մասնավորապես՝ b^{-1} հավասար է \frac{1}{b}։

Աստիճանի սահմանումը կարելի է ընդլայնել կամայական իրական կամ կոմպլեքս ցուցչի համար։ Ամբողջ ցուցիչով աստիճանը կարելի է սահմանել տարբեր հանրահաշվական կառույցների, այդ թվում մատրիցների համար։

Աստիճանը լայնորեն կիրառվում է տարբեր ոլորտներում, այդ թվում՝ տնտեսագիտություն, կենսաբանություն, քիմիա, ֆիզիկա և ինֆորմատիկա, այնպիսի կիրառություններով ինչպիսիք են՝ բարդ շահատոկոս, բնակչության աճ, քիմիական կինետիկա, ալիքների վարք և ծածկագիտություն։

## Նշանակման պատմություն
Հետևելով Հիպոկրատ Քիոսացուն՝ հույն մաթեմատիկոս Էվկլիդեսը *աստիճան* եզրը օգտագործում էր հատվածի քառակուսու համար։ Արքիմեդեսը բացահայտել և ապացուցել է ցուցիչների 10^a \cdot 10^b = 10^{a+b} կանոնը, որը անհրաժեշտ է -ի աստիճանների հետ աշխատելու համար։ Պարսիկ մաթեմատիկոս Ալ-Խորեզմին 9-րդ դարում *mal* եզրը օգտագործում էր քառակուսու համար, իսկ *kahb*-ը՝ խորանարդի, ինչի պատճառով հետագայի (սկած 15-րդ դարից) իսլամական մաթեմատիկոսները դրանք համապատասխանաբար նշանակում էին *m* և *k* տառերով։

16-րդ դարում Յոսթ Բուրգին ցուցիչների համար օգտագործում էր հռոմեական թվերը։

17-րդ դարի սկզբին Ռենե Դեկարտն իր *[[Երկրաչափություն (Դեկարտ)|Երկրաչափություն]]* աշխատության առաջին գրքում ներմուծել է աստիճանի ժամանակակից նշանակումը։

Որոշ մաթեմատիկոսներ (օրինակ՝ Իսահակ Նյուտոնը) աստիճան օգտագործել են միայն երկուսից մեծ ցուցիչների համար՝ նախընտրելով թվի քառակուսին կրկնվող արտադրյալի տեսքով գրել։ Այսինքն, բազմանդամները նրանք գրում էին ax + bxx + cx^3 + d տեսքով։

1748 թվականին Լեոնարդ Էյլերը գրում է. «Պատկերացրեք աստիճանները, որտեղ ցուցիչը փոփոխական է։ Պարզ է, որ այս տեսակի մեծությունները հանրահաշվական ֆունկցիաներ չեն, քանի որ սրանցում ցուցիչը պետք է հաստատուն լինի»։ Այսպիսով, Էյլերը ներկայացրեց տրանսցենդենտ ֆունկցիաները՝ հիմք դնելով բնական լոգարիթմի՝ որպես ցուցչային ֆունկցիայի հակադարձ ֆունկցիա ներմուծմանը ()։

## Ամբողջ ցուցիչներ
Ամբողջ ցուցիչով աստիճանը կարելի է սահմանել տարրական թվաբանական գործողություններով։

### Դրական ցուցիչ
Դրական ամբողջ ցուցիչով աստիճանը կարելի է խիստ սահմանել միայն հետևյալ նախնական պայմանով՝
:b^1 = b
և անդրադարձ առնչությամբ
:b^{n+1} = b^n \cdot b։

Բազմապատկման զուգորդականությունից հետևում է, որ կամայական դրական ամբողջ  և  թվերի համար՝
:b^{m+n} = b^m \cdot b^n։

### Զրո ցուցիչ
Զրոյից տարբեր կամայական թվի  աստիճանը հավասար է -ի.

:b^0=1։

Այս հատկության մեկնաբանություններից մեկը դատարկ արտադրյալն է։

 արտահայտության արժեքի ընտրությունը կամ որևէ արժեք տալու հարցը կարող է կախված լինել համատեքստից 

### Բացասական ցուցիչ
Հետևյալ նույնությունը ճիշտ է կամայական ամբողջ  և զրոյից տարբեր  թվերի համար՝
:b^{-n} = \frac{1}{b^n}։
Զրոյի բացասական աստիճանը սահմանված չէ, բայց որոշ դեպքերում այն մեկնաբանվում է որպես անվերջություն ()։

Որպեսզի այս նույնությունը ստացվի բացասական թվերի համար ևս, զրոյից տարբեր  և դրական  թվի համար վերոհիշյալ անդրադարձ առնչությունը պետք է ձևափոխել հետևյալ կերպ՝
:b^n = \frac{b^{n+1}}{b}, \quad n \ge 1 ։

Ապա այս առնչությունը պետք է սահմանել ճիշտ բոլոր ամբողջ  և զրոյից տարբեր  թվերի համար, ինչից հետևում է, որ 
:\begin{align}
  b^0    &= \frac{b^1}{b} = 1, \\[3pt]
  b^{-1} &= \frac{b^0}{b} = \frac{1}{b},
\end{align}

Առհասարակ, զրոյից տարբեր կամայական  և ոչ բացասական ամբողջ  թվերի համար կունենանք՝
:b^{-n} = \frac{1}{b^n}։

### Նույնություններ և հատկություններ
Հետևյալ նույնությունները ճիշտ են բոլոր ամբողջ ցուցիչների համար, եթե հիմքը տարբեր է զրոյից.
:\begin{align}
           b^{m + n} &= b^m \cdot b^n \\
  \left(b^m\right)^n &= b^{m \cdot n} \\
       (b \cdot c)^n &= b^n \cdot c^n
\end{align}

Ի տարբերություն գումարման և բազմապատկման՝

### Գումարի աստիճան
Գումարի աստիճանը սովորաբար կարելի է հաշվել Նյուտոնի երկանդամի միջոցով,
:(a+b)^n=\sum_{i=0}^n \binom{n}{i}a^ib^{n-i}=\sum_{i=0}^n \frac{n!}{i!(n-i)!}a^ib^{n-i}
Սակայն, այս բանաձևը ճիշտ է միայն, երբ գումարելիները պատկանում են կոմուտատիվ հանրահաշվական կառույցի կամ առնվազն ab=ba։ Այլապես, օրինակ երբ a-ն և b-ն նույն չափի քառակուսի մատրիցներ են, այս բանաձևը չի կարող կիրառվել։ Սրանից հետևում է, որ հաշվողական հանրահաշվում ամբողջ ցուցիչների հետ կապ ունեցող շատ ալգորիթմներ պետք է փոփոխվեն, եթե հիմերը կոմուտատիվ չեն։ Հաշվողական հանրահաշվի որոշ ընդհանուր համակարգեր ոչ կոմուտատիվ հիմքով աստիճանի համար կիրառում են այլ նշանակում (հաճախ -ի փոխարեն ), որը կոչվում է **ոչ կոմուտատիվ աստիճան**։

### Կոմբինատոր մեկնաբանում
Ոչ բացասական ամբողջ  և  թվերի դեպքում n^m արժեքը համապատասխանում է  տարր ունեցող բազմությունից դեպի  տարր ունեցող բազմություն գնացող ֆունկցիաների քանակին։ Նման ֆունկցիաները կարելի է ներկայացնել որպես -շարաններ (կորտեժ)  տարր ունեցող բազմությունից (կամ  տառ ունեցող բառեր  տառ ունեցող այբուբենից)։ Հետևյալ աղյուսակում տրված է  և  թվերի որոշակի արժեքների օրինակներ.

:

### Մասնավոր հիմքեր
#### 10-ի աստիճան
Տասնորդական հաշվման համակարգերում -ի ամբողջ ցուցիչով աստիճանները գրվում են որպես , որին հետևում է կամ նախորդում է զրոներ՝ կախված ցուցչի նշանից և չափից։ Օրինակ՝  և ։

 հիմքով աստիճանները օգտագործվում են գիտական նշանակման մեջ՝ չափազանց մեծ կամ չափազանց փոքր թվերը նշանակելու համար։ Օրինակ՝ 2.99792458 \times 10^8 \text{մ/վ} (Լույսի արագությունը վակուումում), որը մոտարկվում է 2.998 \times 10^8 \text{մ/վ}-ի։

Տասնորդական նախածանցները, որոնք նույնպես օգտագործվում են չափազանց փոքր կամ չափազանց մեծ թվերը նշանակելու համար, հիմնված են  հիմքով աստիճանների վրա։ Օրինակ՝ կիլոն նշանակում է , հետևաբար մեկ կիլոմետրը հավասար է  մետրի։

#### 2-ի աստիճան
Երկու հիմքով առաջին մի քանի բացասական աստիճանները լայնորեն կիրառվում են և ունեն հատուկ անուններ, օրինակ՝ *կես* և *քառորդ*։

Բազմությունների տեսությունում  տարր ունեցող բազմության բոլոր ենթաբազմությունների քանակը հավասար է  -ի։

Երկու հիմքով և ամբողջ ցուցիչով աստիճանները կարևոր նշանակություն ունեն ինֆորմատիկայում։ -բիթ երկուական ամբողջ թվի բոլոր հնարավոր արժեքները հավասար է . օրինակ՝ բայթը ընդունում է  տարբեր արժեք։ Հաշվարկման երկուական համակարգում կամայական թիվ արտահայտվում է 2-ի աստիճանների տեսքով, որը նշանակելու համար սովորաբար օգտագործվում է  և  թվերի հաջորդականություն և բինար կետ. կետից աջ գտնվող -երը դիտարկվում են որպես երկուսի բացասական աստիճան (ցուցիչը համընկնում է կետից հետո 1-ի դիրքի հետ), իսկ կետից ձախ գտնվող -երը՝ որպես երկուսի դրական աստիճան (ցուցիչը համընկնում է մեկի դիրքի հետ, որտեղ հաշվարկը սկսվում է զրոյից։ Թիվը հավասար է այս աստիճանների գումարին։ Օրինակ՝  թիվը հավասար է 1 \cdot 2^3 + 1 \cdot 2^2 + 0 \cdot 2^1 + 1 \cdot 2^0 + 1 \cdot 2^{-1} + 0 \cdot 2^{-2} + 1 \cdot 2^{-3}

#### 1-ի աստիճան
Մեկ հիմքով կամայական աստիճան հավասար է մեկի. ։

#### 0-ի աստիճան
Դրական  ցուցիչի դեպքում () զրոյի  աստիճանը հավասար է զրոյի. ։

Բացասական  ցուցիչի դեպքում () զրոյի  աստիճանը  որոշված չէ, քանի որ այն պետք է հավասար լինի 1/0^{-n} = 1/0-ի՝ ըստ սահմանման։

 արտահայտությունը կամ սահմանվում է որպես 1, կամ չի սահմանվում (*տե՛ս  [[զրոյի զրո աստիճան]]*)։

#### -1-ի աստիճան
Զույգ  թվի դեպքում ։

Կենտ  թվի դեպքում ։

Այս հանգամանքը  թվի աստիճանները օգտակար է դարձնում նշանափոխ հաջորդականությունների նշանակման համար։

### Մեծ ցուցիչներ
Մեկից մեծ թվի աստիճանների հաջորդականության սահմանը տարամետ է, այլ կերպ ասած՝ հաջորդականությունն աճում է առանց սահման.
:b^n \to \infty, երբ n \to \infty, եթե b > 1։

Սա կարելի է կարդալ որպես «*b* թվի *n*  աստիճանը ձգտում է +∞-ի, երբ *n*-ը ձգտում է անվերջության, եթե *b*-ն մեծ է մեկից»։

Բացարձակ արժեքով մեկից փոքր թվի աստիճանը ձգտում է զրոյի, երբ ցուցիչը ձգտում է անվերջության.
:b^n \to 0, երբ n \to \infty, եթե |b| ։

Մեկի կամայական աստիճան հավասար է մեկի.
:b^n = 1 կամայական  թվի համար, եթե b = 1։

-ի աստիճանները փոխվում են  և  թվերի միջև, երբ -ը փոխվում է կենտ և զույգ թվերի միջև, հետևաբար սահմանը գոյություն չունի, երբ -ը ձգտում է անվերջության։

Եթե b , b^n-ը փոխվում է ավելի ու ավելի մեծ դրական և բացասական թվերի միջև, երբ -ը փոխվում է կենտ և զույգ թվերի միջև (ձգտվելով անվերջության), հետևաբար այս սահմանը նույնպես գոյություն չունի։

Եթե հիմքը ձգտում է մեկի, իսկ ցուցիչը՝ անվերջության, վերևում նշված պայմանները միշտ չէ, որ գործում են։ Օրինակ՝
:\left( 1 + \frac{1}{n} \right)^n \to e, երբ n \to \infty։

Այլ սահմանների, մասնավորապես անորոշ տեսք ունեցող սահմանների մասին ավելի ավելի մանրամասն նկարագրությունը #Աստիճանների սահմաններ բաժնում։

### Աստիճանային ֆունկցիաներ

thumb|left|Աստիճանային ֆունկցիաներ <math>n=1,3,5</math> արժեքների համար։
thumb|Աստիճանային ֆունկցիաներ <math>n=2,4,6</math> արժեքների համար։

f(x) = cx^n տեսքի իրական ֆունկցիաները, որտեղ c \ne 0, կոչվում են աստիճանային ֆունկցիաներ։ Եթե n-ը ամբողջ թիվ է և n \ge 1, գոյություն ունեն երկու հիմնական ընտանիքներ. զույգ և կենտ n-երի համար։ Ընդհանուր առմամբ, եթե c > 0 և n-ը զույգ է, f(x) = cx^n ֆունկցիան կձգտի դրական անվերջության, երբ x-ը ձգտի դրական կամ բացասական անվերջության։ Զույգ աստիճանային ֆունկցիաների գրաֆիկն ունի y=cx^2 ֆունկցիայի գրաֆիկին նման տեսք։ Նման համաչափություն ունեցող  ֆունկցիաները կոչվում են զույգ ֆունկցիաներ։

Կենտ n ցուցիչի դեպքում f(x) ֆունկցիայի ասիմպտոտ վարքը փոխվում է կախված x-ի նշանից։ Եթե c > 0, f(x) = cx^n ֆունկցիան կձգտի դրական անվերջության, երբ x-ը ձգտի դրական անվերջության, բայց երբ x-ը ձգտում է բացասական անվերջության՝ f(x) = cx^n ֆունկցիան ձգտում է բացասական անվերջության։ Կենտ աստիճանային ֆունկցիաների գրաֆիկն ունի y=cx^3 ֆունկցիայի գրաֆիկին նման տեսք։ Նման համաչափություն (f(-x)= -f(x)) ունեցող ֆունկցիաները կոչվում են կենտ ֆունկցիաներ։

Երկու դեպքում էլ տեղի ունի հակառակ ասիմտոտ վարքը, երբ c ։

### Աստիճանների ցանկ

## Ռացիոնալ ցուցիչ

right|thumb|300px|Վերևից՝ ներքև, ''x''<sup>1/8</sup>, ''x''<sup>1/4</sup>, ''x''<sup>1/2</sup>, ''x''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>4</sup>, ''x''<sup>8</sup>.
Տրված *b* թվի *n*-րդ աստիճանի արմատը այն x թիվն է, որը բավարարում է x^n = b պայմանին։

Եթե *b*-ն դրական իրական թիվ է իսկ *n*-ը՝ դրական ամբողջ թիվ, x^n = b արտահայտությունն ունի ճիշտ մեկ լուծում։

Այս լուծումը կոչվում է **գլխավոր ''n''-րդ արմատ** *b* թվից։ Այն նշանակվում է \sqrt[n]{b}-ով, որտեղ -ը կոչվում է արմատի նշան, գլխավոր արմատը նաև նշանակում են b^{1/n}-ով։ Օրինակ՝ 9^{1/2} = \sqrt{9} = 3 և 8^{1/3} = \sqrt[3]{8} = 2։

Այն փաստը, որ x = b^\frac{1}{n}-ը լուծում է x^n = b-ի համար կարելի է ապացուցել հետևյալ կերպ՝
:\begin{align}
  x^n &= \left(b^\frac{1}{n}\right)^n
       = \underbrace{b^\frac{1}{n} \times b^\frac{1}{n} \times \cdots \times b^\frac{1}{n}}_{n \, \text{անգամ}} \\
      &=  b^{\underbrace{\left(\frac{1}{n} + \frac{1}{n} + \cdots + \frac{1}{n}\right)}_{n \, \text{անգամ}}}
       = b^\frac{n}{n} = b^1 = b\text{։}
\end{align}

Եթե *n*-ը զույգ է և *b*-ն՝ դրական, ուրեմն x^n = b արտահայտությունն ունի երկու իրական լուծում, որոնք *b*-ի դրական և բացասական *n*-րդ արմատներն են, այսինքն՝ b^{1/n} > 0 և -(b^{1/n}) ։

Եթե *n*-ը զույգ է և *b*-ն՝ բացասական, հավասարումը իրական լուծում չունի։

Եթե *n*-ը կենտ է, ուրեմն x^n = b արտահայտությունն ունի ճիշտ մեկ լուծում, որը դրական է, եթե *b*-ն դրական է (b^{1/n} > 0) և բացասական է, եթե *b*-ն բացասական է (b^{1/n} )։

Դրական իրական *b* թիվը ռացիոնալ *u*/*v* աստիճան բարձրացնելով, որտեղ  *u*-ն ամբողջ թիվ է իսկ *v*-ն՝ դրական ամբողջ թիվ, և միայն գլխավոր արմատները դիտարկելով ստացվում է՝

:b^\frac{u}{v} = \left(b^u\right)^\frac{1}{v} = \sqrt[v]{b^u} =  \left(b^\frac{1}{v}\right)^u = \left(\sqrt[v]{b}\right)^u։

Բացասական իրական *b* թիվը ռացիոնալ *u*/*v* բարձրացնելիս, որտեղ *u*/*v*-ը չկրճատվող կոտորակ է, արդյունքում ստացվում է դրական իրական թիվ, եթե *u*-ն զույգ է (զույգ *u*-ից հետևում է, որ *v*-ն կենտ է, քանի որ *u*/*v*-ը չկրճատվող կոտորակ է ըստ սահմանման), որովհետև b^u-ը դրական է, իսկ եթե *u* և *v* թվերը կենտ են, արդյունքում ստացվում է բացասական իրական թիվ, որովհետև b^u-ն բացասական է։ Զույգ *v* (հետևաբար՝ կենտ *u*-ի) հնարավոր չէ դիտարկել այս ձևով, քանի որ գոյություն չունի իրական *x* թիվ, որը բավարարում է x^{2k} = -1 պայմանին։ Այս դեպքում b^{u/v}-ի արժեքը նկարագրվում է i կեղծ միավորով։

Այսպիսով, ունենք (-27)^{1/3} = -3 և (-27)^{2/3} = 9։ Չորս թիվը ունի երկու 3/2*-րդ* աստիճան. 8 և −8, սակայն, ընդունված է 4^{3/2} նշանակմամբ հասկանալ **գլխավոր արմատը**, հետևաբար՝ 4^{3/2} = 8։ *u*/*v*-րդ աստիճանը նաև կոչվում է *v*/*u*-րդ արմատ, իսկ զույգ *v*-ի դեպքում *գլխավոր արմատ* եզրը նաև վերաբերում է դրական արդյունքին։

Այս նշանային անորոշությունը պետք է հաշվի առնել աստիճանների նույնությունները կիրառելիս։ Օրինակ՝

:-27 = (-27)^{\left(\left(\frac{2}{3}\right)\left(\frac{3}{2}\right)\right)} = \left((-27)^\frac{2}{3}\right)^\frac{3}{2} = 9^\frac{3}{2} = 27,

որը ակնհայտորեն սխալ է։ Խնդիրը սկսվում է առաջին հավասարությունից՝ անորոշ իրավիճակում *ստանդարտ* նշանակում ներմուծելով (զույգ արմատ պահանջել) և պարզապես հիմնվելով միայն մեկ՝ *ընդունված* կամ *գլխավոր* մեկնաբանման վրա։  Նույն խնդիրբ առաջանում է անտեղի արմատի նշանը օգտագործելիս.
:\left((-27)^\frac{2}{3}\right)^\frac{3}{2} = \sqrt{\left(\sqrt[3]{(-27)^2}\right)^3} = \sqrt{(-27)^{2}} \ne -27
փոխարենը պետք է լինի՝
:\left((-27)^\frac{2}{3}\right)^\frac{3}{2} = -\sqrt{\left(\sqrt[3]{(-27)^2}\right)^3} = -\sqrt{(-27)^2} = -27։

Նման խնդիրներ առաջանում են նաև կոմպլեքս թվերի դեպքում, ինչն ավելի մանրամասն նկարագրված է #Աստիճանային և լոգարիթմական նույնությունների ձախողում բաժնում։

## Իրական ցուցիչ
Դրական իրական թվերի իրական աստիճանը կարելի է սահմանել կամ իրական թվերի ռացիոնալ աստիճանի սահմանման ընդլայնմամբ, կամ այնպես, ինչպես նկարագրված է «Լոգարիթմներով աստիճան» բաժնում։ Արդյունքում միշտ ստացվում է դրական ամբողջ թիվ և պահպանվում են դրական իրական հիմքով և ամբողջ ցուցիչով աստիճանների նույնությունները և հատկությունները։

Մյուս կողմից, բացասական իրական թվի իրական աստիճան կայուն կերպով սահմանելը շատ ավելի դժվար է, քանի որ այն կարող է լինել ոչ իրական և ունենալ մեկից ավելի արժեքներ։ Հնարավոր է ընտրել այս արժեքներից մեկը՝ գլխավոր արժեքը, բայց գոյություն չունի գլխավոր արժեքի այնպիսի ընտրություն, որի դեպքում տեղի ունի հետևյալ առնչությունը (տես #Աստիճանային և լոգարիթմական նույնությունների ձախողում)՝
:\left(b^r\right)^s = b^{r\cdot s}
Հետևաբար՝ ոչ դրական իրական հիմքով աստիճանը հիմնականում դիտարկվում է որպես բազմարժեք ֆունկցիա։

### Ռացիոնալ ցուցիչների սահմաններ
thumb|Քանի որ ցուցչային ֆունկցիան անընդհատ է, ունենք որ <math>\lim_{n\to\infty} e^{x_n} = e^{\lim_{n\to\infty} x_n}</math> զուգամետ հաջորդականությունների (''x<sub>n</sub>'') համար։ Այստեղ ցույց է տրված ''x<sub>n</sub>'' =  դեպքը։
Քանի որ կամայական իռացիոնալ թիվ կարելի է ներկայացնել ռացիոնալ թվերի հաջորդականության սահմանի տեսքով, դրական իրական *b* թվի կամայական իրական *x* աստիճանը կարելի է սահմանել անընդհատությամբ և հետևյալ կանոնով՝
: b^x = \lim_{r (\in\mathbb{Q})\to x} b^r\quad(b \in\mathbb{R}^+,\,x\in\mathbb{R}),
որտեղ *r*-ը մոտենում է *x*-ին՝ ընդունելով միայն ռացիոնալ արժեքներ։ Սահմանը գոյություն ունի միայն դրական *b* թվերի համար։ Այստեղ օգտագործվել է սահմանի (*ε*, *δ*) սահմանումը. այսինքն, ցույց է տրվել, որ տրված կամայական *δ* ճշգրտության դեպքում հնարավոր է ընտրել -ի այնպիսի *ε* շրջակայք, որպեսզի այդ շրջակայքի բոլոր ռացիոնալ աստիճանները b^x-ից տարբերվեն ամենաշատը տրված ճշգրտության չափ։

Օրինակ՝ եթե x=\pi, կարելի է օգտագործել \pi թվի \pi = 3.14159... ներկայացումը (հիմնվելով ռացիոնալ աստիճանների խիստ մոնոտոնության վրա)՝ ռացիոնալ թվերով սահմանափակված միջակայքեր գտնելու համար
:\left[b^3, b^4\right], \left[b^{3.1}, b^{3.2}\right], \left[b^{3.14}, b^{3.15}\right], \left[b^{3.141}, b^{3.142}\right], \left[b^{3.1415}, b^{3.1416}\right], \left[b^{3.14159}, b^{3.14160}\right], …

Սահմանափակված միջակայքերը զուգամիտում են ճիշտ մեկ իրական թվի, որը նշանակվում է b^\pi-ով։ Նմանապես կարելի է ստանալ կամայական դրական իրական *b* թվի կամայական իռացիոնալ աստիճան։ Հետևաբար, f_b(x) = b^x ֆունկցիան սահմանված է բոլոր իրական *x* թվերի համար։

### Ցուցչային ֆունկցիա

Մաթեմատիկական հաստատուն  թիվը մոտավորապես հավասար է 2.718 և բնական լոգարիթմի հիմքն է։ Չնայած *e* թվի աստիճանը կարելի է դիտարկել այնպես, ինչպես կամայական իրական թվի աստիճանը, այն ունի բազմաթիվ օգտակար հատկություններ։ Այս հատկությունները թույլ են տալիս *e*-ի աստիճանները բնականորեն ընդլայնել այլ տեսակի աստիճանների վրա, ինչպես օրինակ՝ կոմպլեքս թվերը կամ մատրիցները։

Որպես հետևանք, e^x արտահայտությամբ սովորաբար նշանակում են աստիճանի ընդհանրացված սահմանումը՝ *ցուցչային ֆունկցիան* (exp(*x*)), որը հնարավոր է սահմանել բազմաթիվ ձևերով, օրինակ՝
:\exp(x) = \lim_{n \rightarrow \infty} \left(1+\frac x n \right)^n 
Այլ հատկություններից բացի, exp-ը նաև բավարարում է ցուցչային նույնությանը՝
:\exp(x + y) = \exp(x) \cdot \exp(y)։

Ցուցչային ֆունկցիան սահմանված է բոլոր ամբողջ, ռացիոնալ, իրական և կոմպլեքս թվերի համար։ Իրականում, ցուցչային մատրիցը սահմանված է  քառակուսային մատրիցների համար (այս դեպքում ցուցչային նույնությանը ճիշտ է, երբ  *x*-ը և *y*-ը կոմուտատիվ են) և օգտակար է գծային դիֆերենցիալ հավասարումների համակարգել լուծելու համար։

Քանի որ exp(1) = e և exp(x)-ը բավարարում է ցուցչային նույնությանը, հետևաբար exp(x)-ը համընկնում է ամբողջ *x*-երի համար e^x-ի սահմանմանը (կրկնվող բազմապատկում), ինչպես նաև այն, որ ռացիոնալ աստիճանները նշանակում են (դրական) արմատներ։ Այսպիսով, exp(x)-ը համընկնում է նախորդ բաժնում իրական թվերի համար e^x-ի սահմանմանը՝ ըստ անընդհատության։

### Լոգարիթմներով աստիճան
e^x արտահայտությունը ցուցչային ֆունկցիա սահմանելու դեպքում b^x-ը (կամայական դրական իրական  թվի դեպքում) կարելի է սահմանել e^x-ի միջոցով։ Մասնավորապես,  բանական լոգարիթմը e^x ցուցչային ֆունկցիայի հակադարձ ֆունկցիան է։ Այն սահմանված է դրական b թվերի համար և բավարարում է հետևյալ պայմանին՝
:b = e^{\ln b}։

Որպեսզի b^x արտահայտությունը պահպանի ցուցիչների և լոգարիթմի կանոնները, այն կամայական իրական x թվի համար պետք է բավարարի հետևյալ պայմանին՝
:b^x = \left(e^{\ln b}\right)^x = e^{x \cdot\ln b}։

Սա կարող է օգտագործվել որպես իրական թվերի աստիճանի այլընտրանքային սահմանում, այն համապատասխանում է վերևում ռացիոնալ ցուցիչներով և անընդհանտությամբ տրված սահմանմանը։ Աստիճանի լոգարիթմներով սահմանում ավելի տարածված է կոմպլեքս թվերի համատեքստում։

### Բացասական հիմքով իրական ցուցիչ
Դրական իրական թվի աստիճանը միշտ դրական իրական թիվ է։ Չնայած x^2=4 հավասարումն ունի երկու լուծում՝ 2 և -2։ 4^{1/2} արտահայտության գլխավոր արժեքը 2–ն է, բայց -2-ը նույնպես թույլատրելի քառակուսի արմատ։ Եթե իրական թվերի աստիճանի սահմանումը ընդլայնվի բացասական արժեքների համար, ապա արդյունքը լավ վարք չի ունենա։

Լոգարիթմի կամ ռացիոնալ ցուցիչի մեթոդների միջոցով հնարավոր չէ b^r արտահայտությունը սահմանել որպես իրական թիվ՝ բացասական իրական b թվի և կամայական իրական r թվի համար։ Քանի որ e^r արտահայտությունը դրական է կամայական իրական r թվի համար, ապա \ln{b} արտահայտությունն իրական թիվ չէ, երբ b \le 0։

Ռացինալ ցուցիչի մեթոդը չի կարող օգտագործվել բացասական b արժեքների համար, քանի որ այն հիմնվում է անընդհատության վրա։ Կամայական b > 0 թվի համար f(r) = b^r ֆունկցիան ունի ճիշտ մեկ ընդլայնում ռացիոնալ թվերից դեպի իրական թվեր։ Բայց երբ b , f ֆունկցիան նույնիսկ անընդհատ չէ ռացիոնալ r թվերի բազմության վրա։

Օրինակ՝ դիտարկենք b = -1 դեպքը։ Կամայական բնական կենտ n թվի դեպքում -1-ի n-րդ արմատը -1 է։ Այսպիսով, եթե n-ը կենտ դրական ամբողջ թիվ է, ապա (-1)^{m/n}=-1, եթե n-ը զույգ է՝ (-1)^{m/n}=1։ Հետևաբար, (-1)^q=1 պայմանին բավարարող q ռացիոնալ թվերի բազմությունը խիտ է ռացիոնալ թվերում, ինչպես նաև այն q թվերի բազմությունը, որոնց համար տեղի ունի (-1)^q = -1 նույնությունը։ Սա նշանակում է, որ (-1)^q ֆունկցիան անընդհատ չէ կամայական ռացիոնալ q թվի համար, որտեղ սահմանված է։

Մյուս կողմից, բացասական b թվի կամայական կոմպլեքս աստիճան հնարավոր է սահմանել՝ ընտրելով b-ի կոմպլեքս լոգարիթմ։

### Իռացիոնալ ցուցիչ

Եթե b-ն դրական իրական հանրահաշվական թիվ է, իսկ x-ը՝ ռացիոնալ, ապացուցված է, որ b^x-ը հանրահաշվական թիվ է։ Այս պնդումը ճիշտ է նաև կամայական հանրահաշվական b թվի դեպքում, միայն այն տարբերությամբ, որ b^x-ը կարող է ընդունել մի քանի արժեք (վերջավոր թվով), որոնք բոլորը հանրահաշվական են։ Գելֆոնդ-Շնայդերի թեորեմը որոշ տեղեկություններ է տալիս  իռացիոնալ x-ի դեպքում b^x-ի մասին, մասնավորապես՝

## Կոմպլեքս ցուցիչ և դրական իրական հիմք
Եթե b-ն դրական իրական թիվ է իսկ z-ը՝ կամայական կոմպլեքս թիվ, ուրեմն b^z աստիճանը սահմանվում է հետևյալ կերպ՝
:b^z = \left(e^{\ln b}\right)^z = e^{(z\ln b)},
որտեղ x = \ln{b}-ը e^x = b հավասարման միակ իրական լուծումն է, իսկ e թվի կոմպլեքս աստիճանը սահմանված է ցուցչային ֆունկցիայով, որը կոմպլեքս փոփոխականով այն միակ ֆունկցիան է, որի ածանցյալը հավասար է իրեն և x=0 կետում ընդունում է 1 արժեքը։

Քանի որ b^z-ը միշտ չէ, որ իրական թիվ է, (b^z)^w տիպի արտահայտությունները չեն սահմանվում նախորդ սահմանմամբ։ Այն պետք է ներկայացվի կոմպլեքս թվերի աստիճանների կանոնների միջոցով, և եթե z-ը իրական չէ կամ w-ը ամբողջ չէ, այն ընդհանուր առմամբ հավասար չէ b^{zw}-ի։

Ցուցչային ֆունկցիան ունի բազմաթիվ սահմանումներ, բայց բոլորն էլ հաջողությամբ տարածվում են կոմպլեքս թվերի վրա և բավարարում են ցուցչային հատկությանը։ Կամայական կոմպլեքս z և w թվերի համար ցուցչային ֆունկցիան բավարարում է e^{z+w} = e^z e^w պայմանին։ Մասնավորապես, կամայական կոմպլեքս z = x+iy թվի համար
:e^z = e^{x+iy} = e^x \cdot e^{iy},

Արտահայտության երկրորդ արտադրյալը՝ e^{iy}-ը, կարելի է ներկայացնել Էյլերի բանաձևի միջոցով՝
:e^{iy} = \cos y + i \sin y։

Հետևաբար, կամայական կոմպլեքս z = x+iy թվի համար 
:e^z = e^{x+iy} = e^x \cdot e^{iy} = e^x (\cos y + i \sin y)։

Պյութագորասի եռանկյունաչափական նույնության հետևանքով \cos y + i \sin y արտահայտության բացարձակ արժեքը 1 է։ Հետևաբար, իրական e^x արտադրյալը e^z-ի բացարձակ արժեքն է իսկ ցուցիչի կեղծ y մասը արտահայտում է e^z կոմպլեքս թվի արգումենտը (աստիճանը)։

### Շարքերով սահմանում
Քանի որ ցուցչային ֆունկցիան հավասար է իր ածանցյալին և բավարարում է e^0=1, պայմանին, հետևաբար ֆունկցայի Թեյլորի շարքը կունենա հետևյալ տեսքը՝
:e^z = \sum_{n=0}^\infty {z^n \over n!} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \frac{z^4}{4!} + \cdots։

Այս անվերջ շարքը, որը հաճախ ընդունվում է որպես կամայական կոմպլեքս ցուցիչի համար e^z ֆունկցիայի սահմանում, բացարձակ զուգամիտում է կամայական z կոմպլեքս թվի համար։

Եթե z-ը ունի միայն կեղծ մաս, այսինքն՝ z = iy կամայական իրական y-ի համար, շարքը վերածվում է հետևյալին՝
:e^{iy} = 1 + iy + \frac{(iy)^2}{2!} + \frac{(iy)^3}{3!} + \frac{(iy)^4}{4!} + \cdots,

որը (բացարձակ զուգամիտության պատճառով) կարելի է վերադասավորել և ստանալ
:e^{iy} = \left(1 - \frac{y^2}{2!} + \frac{y^4}{4!} - \frac{y^6}{6!} + \cdots\right) + i \left(y - \frac{y^3}{3!} + \frac{y^5}{5!} - \cdots\right)։

Այս արտահայտության իրական և կոմպլեքս մասերը համապատասխանում են սինուսի և կոսինուսի Թեյլորի շարքերին (զրո կենտրոնով), որից հետևում է Էյլերի բանաձևը.
:e^{iy} = \cos y + i \sin y։

### Սահմանով սահմանում
[300px|thumb|right|Այս անիմացիան [կոմպլեքս հարթությունում կրկնվող բազմապատկման միջոցով ցույց է տալիս, թե ինչպես է (1 + i\pi/n)^n-ը ձգտում -1-ի (n-ը փոխվում է 1-ից մինչև 100)։ (1 + i\pi/n)^k,-ի արժեքները (k=0, 1, ..., n) բեկյալի գագաթներն են, որի ամենաձախ կետը (1 + i\pi/k)^k-ն է (իրական k-ի համար)։ Այստեղից երևում է, որ k-ի մեծ արժեքների դեպքում (1 + i\pi/k)^k-ը ձգտում է -1-ի, ինչը պատկերավորում է Էյլերի նույնությունը՝ e^{i\pi} = -1։]]

Ցուցչային e^z ֆունկցիան կարելի է նաև սահմանել որպես (1 + z/n)^n-ի սահման, երբ n-ը ձգտում է անվերջության։ Այս սահմանման մեջ n-րդ աստիճանը ներկայացնելով որպես բևեռային տեսքով կրկնվող բազմապատկում՝ հնարավոր է վիզուալ ցույց տալ Էյլերի բանաձևը։ Կամայական կոմպլեքս թիվ կարելի է ներկայացնել բևեռային (r,\theta) տեսքով, որտեղ r-ը թվի բացարձակ արժեքն է, \theta-ն՝ արգումենտը։ Երկու կոմպլեքս \left(r_1, \theta_1\right) և \left(r_2, \theta_2\right) թվերի արտադրյալը հավասար է \left(r_1 r_2, \theta_1 + \theta_2\right)-ի։

Կոմպլեքս հարթությունուն դիտարկենք այն ուղղանկյուն եռանկյունը, որի գագաթները 0, 1 և 1 + ix/n թվերն են։ n-ի մեծ արժեքների դեպքում եռանկյունը գրեթե սեկտոր է՝ 1 շառավղով և x/n ռադիան կենտրոնական անկյամբ։ 1+ix/n-ը այդ դեպքում կարելի է մոտարկել (1, x/n) բևեռային տեսքն ունեցող թվով։ Այսպիսով, երբ n-ը ձգտում է անվերջության, (1 + ix/n)^n-ը ձգտում է (1, x/n)^n = \left(1^n, nx/n\right) = (1, x)-ի՝ միավոր շրջանագծի այն կետրին, որի և դրական իրական առանցքի անկյունը կազմում է x ռադիան։ Այս կետի Դեկարտյան կոորդինատներն են՝ (\cos x, \sin x), հետևաբար՝e^{ix} = \cos x + i \sin x, որը Էյլերի բանաձևն է։

### Պարբերականություն
e^z = 1 հավասարման լուծումները 2 \pi i-ի ամբողջ արտադրյալներ են. 
:\left\{ z : e^z = 1 \right\} = \{ 2k\pi i : k \in \mathbb{Z} \}
Հետևաբար, եթե v-ն այնպիսի կոմպլեքս թիվ է, որ e^v = w, ուրեմն e^z = w-ին բավարարող կամայական z կարելի է ստանալ e^z = e^v\cdot 1 =  e^{v+i2k\pi}-ից (v-ին 2 \pi i-ին բազմապատիկ որևէ թիվ գումարելով).
:\left\{ z : e^z = w \right\} = \{ v + 2k\pi i : k \in \mathbb{Z} \}
Այլ կերպ ասած, կամայական ամբողջ k-ի համար կոմպլեքս ցուցիչային e^z = \exp(z) = \exp(z + 2k\pi i) ֆունկցիան 2 \pi i պարբերությամբ պարբերական ֆունկցիա է։

### Օրինակներ
:\begin{align}
                      2^i &= e^{i \ln(2)} = \cos(\ln(2)) + i \sin(\ln(2)) \approx 0.76924 + 0.63896 i \\
                      e^i &= \cos(1) + i\sin(1) \approx 0.54030 + 0.84147 i \\
  \left(e^{2\pi}\right)^i &= {(535.49165\dots)}^i = e^{i\ln\left(e^{2\pi}\right)} = e^{i(2\pi)} = \cos(2\pi) + i\sin(2\pi)= 1\text{։}
\end{align}

## Կոմպլեք թվերի աստիճան
Զրոյից տարբեր կոմպլեքս թվերի ամբողջ ցուցիչով աստիճանները սահմանվում են կրկնվող բազմապատկման կամ բաժանման միջոցով։ Եթե i-ը կեղծ միավորն է իսկ n-ը՝ ամբողջ թիվ, ուրեմն i^n արտահայտությունը հավասար է 1, i, -1 կամ -i` կախված նրանից, թե n-ը կոնգուրենտ է 0, 1, 2 կամ 3 թվերին (մոդ 4-ում)։ Այս պատճառով i-ի ամբողջ աստիճանները օգտագործվում են 4 պարբերությաբ հաջորդականություններ նշանակելու համար։

Դրական իրական թվերի կոմպլեքս աստիճանները սահմանվում են e^x ֆունկցիայի միջոցով՝ ինչպես նկարգրված է նախորդ «Կոմպլեքս ցուցիչ և դրական իրական հիմք» բաժնում։ Սրանք անընդհատ ֆունկցիաներ են։

Այս ֆունկցիաները կոմպլեքս թվի կամայական աստիճանի համար ընդհանրացնելիս առաջանում են որոշակի դժվարություններ. ֆունկցիաները ստացվում են կամ խզվող, կամ բազմարժեք են լինում։ Այս տարբերակներից ոչ մեկը բավարարող չէ։

Կոմպլեքս թվի ռացինոալ աստիճանը պետք է հանրահաշվական հավասարման լուծում լինի։ Հետևաբար, այն միշտ ունի վերջավոր թվով արժեքներ։ Օրինակ՝ w=x^{1/2}-ը պետք է լինի w^2 = z հավասարման լուծում։ Բայց, եթե w-ն լուծում է, ուրեմն լուծում է նաև -w-ն, քանի որ (-1)^2 = 1։ Միակ, բայց ինչ-որ առումով կամայական լուծում, որը կոչում են գլխավոր արժեք, կարելի է ընտրել օգտվելով ինչ-որ ընդհանուր կանոնից։

Կոմպլեքս աստիճանները և լոգարիթմները ավելի բնականորեն մեկնաբանվում են որպես Ռիմանյան մակերևույթի վրա միարժեքանի ֆունկցիաներ։ Միարժեքանի ֆունկցիաները սահմանվում են ատլաս ընտրելով։ Արժեքը ունի խզում ճյուղավորման կտրվածքում։ Հնարավոր բազմաթիվ արժեքներից մեկն ընտրելով որպես հիմնական արժեք՝ ստացվում է ընդհատ ֆունկցիա և աստիճանների ծանոթ կանոնները կարող են  սխալների հանգեցնել։

Կամայական կոմպլեքս թվի ոչ ռացիոնալ աստիճան ունի անթիվ բազմությամբ արժեքներ՝ կոմպլեքս լոգարիթմի բազմարժեքանիության պատճառով։ Սրանցից որպես գլխավոր արժեք ընտրվում է այն արժեքը, որի դեպքում դրական իրական և զրոյական կեղծ մասով կոմպլեքս թվերի աստիճանների արժեքները համընկնում են վերևի կանոնով սահմանված իրական հիմքով աստիճանների արժեքին։

Իրական թվի կոմպլեքս աստիճան բարձրացնելու գործողությունը ֆորմալ առումով տարբերվում է կոմպլեքս թիվի կոմպլեքս աստիճան բարձրացնելու գործողությունից։ Սակայն, դրական իրական թվերի դեպքում գլխավոր արժեքը նույնն է։

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

### Կոմպլեքս ցուցիչ և կոմպլեք հիմք-կոպլեքսը այստեղ սխալ է գրված,խնդրում եմ ուշադիր լինել։
Տրված w \neq 0 և z կոմպլեքս թվերի համար w^z նշանակումը բազմիմաստ է այնպես, ինչպես log{w} արտահայտությունը։

w^z-ին արժեք վերագրելու համար սկզբում ընտրում են w-ի լոգարիթմի համար արժեք՝ \log{w}: Այս ընտրությունը կարող է լինել գլխավոր արժեքը` Log{w} (եթե այլ պայման տրված չէ) կամ կարող է լինել \log{w}-ի այլ արժեք։ Օգտագործելով այս արժեքը և ցուցչային ֆունկցիան կարելի է սահմանել՝

:w^z = e^{z \log w},

քանի որ սա համընկնում է նախկին սահմանմանը, երբ w-ն դրական իրական թիվ էր և օգտագործվում էր \log{w}-ի (իրական) գլխավոր արժեքը։

Եթե z-ը ամբողջ թիվ է, ուրեմն w^z արտահայտության արժեքը կախված չէ \log{w}-ի ընտրությունից և համընկնում է ամբողջ ցուցիչով աստիճանների նախկին սահմանմանը։

Եթե z-ը m/n տեսքի (չկրճատվող) ռացիոնալ թիվ է և z > 0, ուրեմն \log{w}-ի հաշվելի քանակությամբ անվերջ արժեքները w^z արտահայտության համար տալիս են n արժեք։ Այս արժեքները s^n = w^m հավասարման n կոմպլեքս s լուծումներն են։

Եթե z-ը իռացիոնալ թիվ է, ուրեմն \log{w}-ի հաշվելի քանակությամբ անվերջ արժեքները w^z արտահայտության համար տալիս են անվերջ քանակությամբ իրարից տարբեր արժեքներ։

Կոմպլեքս աստիճանը հաշվելու համար օգտվում են դրա բևեռային տեսքից՝ ինչպես նկարագրված է նախորդ բաժնում։

Նման կառուցում օգտագործվում է նաև քվատերնիոնների համար։

### Միավորի կոմպլեքս արմատներ

thumb|right|1-ի 3 աստիճանի երեք արմատները

Դրական ամբողջ n թվերի համար w^n = 1 պայմանին բավարարող w կոմպլեքս թիվը կոչվում է **միավորի n աստիճանի արմատ**։ Երկրաչափորեն միավորի n աստիճանի արմատները կոմպլեքս հարթությունում գտնվում են միավոր շրջանագծին ներգծված այն n չափանի կանոնավոր բազմանկյան վրա, որի գագթներից մեկը գտնվում է 1 իրական թվի վրա։

Եթե w^n = 1, բայց 0  պայմանին բավարարող բոլոր k բնական թվերի համար w^k \neq 1, ուրեմն w-ն կոչվում է **միավորի n աստիճանի պարզունակ արմատ**։ Բացասական մեկը միավորի միակ երկրորդ աստիճանի պարզունակ արմատն է։ Միավորի 4-րդ աստիճանի պարզունակ արմատներն են i և -i։

e^\frac{2\pi i}{n} թիվը միավորի n աստիճանի ամենափոքր դրական արգումենտով պարզունակ արմատն է։ Այն երբեմն կոչվում է **միավորի n աստիճանի գլխավոր արմատ**, բայց այս եզրը համընդհանուր տարածում չունի և պետք չէ այն շփոթել \sqrt[n]{1}-ի գլխավոր արժեքի հետ, որը հավասար է 1-ի։

Միավորի n աստիճանի արմատները տրվում են հետևյալ կերպ՝
:\left( e^{ \frac{2}{n} \pi i } \right) ^k = e^{ \frac{2}{n} \pi i k }

որտեղ 2 \le k \le n։

### Կամայական կոմպլեքս թվի արմատներ
Չնայած ընդհանուր կոմպլեքս լոգարիթմի համար կան անթիվ բազմությամբ արժեքներ, w^q արտահայտությունը ունի վերջավոր արժեքներ, երբ q = 1/n, որտեղ n-ը դրական ամբողջ թիվ է։ Սրանք w թվի n-րդ աստիճանի արմատներն են՝ z^n = w հավասարման լուծումները։ Իրական արմատների նման 2-րդ աստիճանի արմատը կոչվում է քառակուսի արմատ, իսկ 3-րդ աստիճանի արմատը՝ խորանարդ արմատ։

Սովորաբար w^{1/n}-ով նշանակում են արմատի գլխավոր արժեքը, որը ընդունում են n-րդ աստիճանի այն արմատը, որի արգումենտը բացարձակ արժեքով ամենափոքրն է։ Երբ w-ի կեղծ մասը զրո է իսկ իրական մասը դրական, այս սահմանումը համապատասխանում է իրական թվերի համար w^{1/n}-ի ընդունված սահմանմանը։ Մյուս կողմից, երբ n-ը կենտ ամբողջ թիվ է իսկ w-ն՝ բացասական իրական թիվ, w^{1/n}-ի արժեքը կախված է համատեքստից։

w կոմպլեքս թվի n-րդ աստիճանի արմատների բազմությունը կարելի է ստանալ w^{1/n} գլխավոր արժեքը միավորից n-րդ աստիճանի արմատներով բազմապատկելով։ Օրինակ, 16-ի չորս արմատներն են՝ 2, -2, 2i և -2i, քանի որ 16-ի գլխավոր 4-րդ արմատը 2 է իսկ միավորի 4-րդ աստիճանի արմատները՝ 1, -1, i և -i։

### Կոմպլեքս աստիճանի հաշվում
Կոմպլեքս աստիճանները հաճախ ավելի հեշտ է հաշվել օգտվելով կոմպլեքս թվերի բևեռային ներկայացումից։ Կամայական z կոմպլեքս թիվ հնարավոր է ներկայացնել բևեռային տեսքով հետևյալ կերպ՝
:z = re^{i\theta} = e^{\ln(r) + i\theta},
որտեղ r-ը ոչ բացասական իրական թիվ է, իսկ \theta-ն՝ z-ի իրական արգումենտն է։ Բևեռային տեսքը ունի պարզ երկրաչափական մեկնաբանություն․ եթե u + iv կոմպլեքս թիվը ներկայացվի որպես կոմպլեքս հարթության կետ, որի Դեկարտյան կոորդինատը (u, v) է, ապա (r, \theta)-ը նույն կետի կոորդինատն է բևեռային կոորդինատներով։ Այսինքն, r-ը «շառավիղն» է (r^2 = u^2 + v^2), իսկ \theta-ն՝ ակնյունը (\theta = atan2(v, u))։ Բևեռային \theta կոորդինատը միարժեք չէ, քանի որ \theta-ին կարելի է գումարել 2\pi-ի կամայական ամբողջ բազմապատիկ և ստանալ նույն կետը։ \theta-ի յուրաքանչյուր ընտրություն տալիս է աստիճանի հավանական տարբեր արժեք։ Կոնկրետ արժեք ընտրելու համար կիրառվում է ճյուղավորման կտրվածք։ Գլխավոր արժեքը (ամենատարածված ճյուղավորման կտրվածքը) համապատասխանում է (-\pi, \pi] միջակայքից ընտրված \theta-ի հետ։ Դրական իրական մաս և զրոյական կոմպլեքս մաս ունեցող կոմպլեքս թվերի դեպքում գլխավոր արժեքը համընկնում է իրական թվերի աստիճանի համապատասխան արժեքին։

w^z կոմպլեքս աստիճանը հաշվելու համար նախ պետք է w թիվը ներկայացնել բևեռային տեսքով՝
: w = r e^{i\theta}։

Հետո՝
: \log(w) = \ln(r) + i \theta,

հետևաբար՝
: w^z = e^{z \log(w)} = e^{z(\ln(r) + i\theta)}։

Եթե z-ը ներկայացվում է c + di տեսքով, ապա w^z-ի բանաձևը կարելի է ավելի հստակորեն ներկայացնել հետևյալ տեսքով՝
: (r^c e^{-d\theta}) e^{i (d \ln(r) + c\theta)} = (r^c e^{-d\theta}) \big[\cos\big(d \ln(r) + c\theta\big) + i \sin\big(d \ln(r) + c\theta\big)\big]։

Վերջնական բանաձևը հնարավորություն է տալիս կոմպլեքս աստիճանները հեշտությամբ հաշվել հիմքի բևեռային և ցուցիչի Դեկարտյան վերլուծումից։

Հետևյալ օրինակները օգտագործում են գլխավոր արժեքը՝ այն ճյուղային կտրվածքը, որի արդյունքում \theta \in (-\pi, \pi]։ i^i թիվը հաշվելու համար նախ պետք է i-ը ներկայացնել բևեռային և Դեկարտյան տեսքով՝
: \begin{align}
  i &= 1 \cdot e^{\frac{1}{2} i \pi}, \\
  i &= 0 + 1i\text{։}
\end{align}

Հետևաբար նախորդ բանաձևի մեջ տեղադրելով r = 1, \theta = \frac{\pi}{2}, c = 0 և d = 1, կստացվի
: i^i = \left( 1^0 e^{-\frac{1}{2}\pi} \right) e^{i \left[1 \cdot \ln(1) + 0 \cdot \frac{1}{2}\pi\right]} = e^{-\frac{1}{2}\pi} \approx 0.2079։

Նմանապես (-2)^{3 + 4i}-ի արժեքը գտնելու համար պետք է հաշվել -2-ի բևեռային տեսքը․
: -2 = 2e^{i \pi}
և տեղադրել ստացված բանաձևի մեջ
: (-2)^{3 + 4i} = (2^3 e^{-4\pi}) e^{i[4\ln(2) + 3\pi]} \approx (2.602 - 1.006 i) \cdot 10^{-5}։

Կոմպլեքս աստիճանի արժեքը կախված է ընտրված ճյուղավորումից։ Օրինակ, եթե i^i թիվը հաշվելու համար օգտագործվի i = 1e^{5\pi i /2} բևեռային տեսքը, ապա արդյունքը կստացվի e^{-5\pi/2}, մինչդեռ գլխավոր արժեքով ստացվել էր e^{-\pi/2}։ i^i արտահայտության բոլոր հնարավոր արժեքների բազմությունը տրվում է այսպես՝
: \begin{align}
  i   &= 1 \cdot e^{\frac{1}{2} i\pi + i 2 \pi k} \mid k \isin \mathbb{Z}, \\
  i^i &= e^{i \left(\frac{1}{2} i\pi + i 2 \pi k\right)} \\
      &= e^{-\left(\frac{1}{2} \pi + 2 \pi k\right)}\text{։}
\end{align}
Այսպիսով, i^i արտահայտությունն ունի անթիվ բազմության հնարավոր արժեքներ՝ յուրաքանչյուր k ամբողջ թվի համար մեկ արժեք։ Այդ բոլոր արժեքները ունեն զրոյական կոմպլեքս մաս, հետևաբար կարելի է ասել, որ i^i արտահայտությունը ունի անթիվ բազմությամբ ընդունելի իրական արժեքներ։

### Աստիճանային և լոգարիթմական նույնությունների ձախողում
Դրական իրական թվերի համար աշխատող որոշ աստիճանային և լոգարիթմական նույնություններ չեն աշխատում կոմպլեքս թվերի համար՝ անկախ նրանից, թե ինչպես է սահմանվում կոմպլեքս լոգարիթմը կամ կոմպլեքս աստիճանը որպես *միարժեքանի ֆունկցիա*։ Օրինակ՝

{(-1)^\frac{1}{2}} = \frac{1}{i} = -i

Մյուս կողմից, երբ x-ը ամբողջ թիվ է, նույնությունները տեղի ունեն բոլոր ոչզրոյական կոմպլեքս թվերի համար։

Եթե աստիճան բարձրացնելը համարենք բազմարժեք ֆունկցիա, ապա (-1 \cdot -1)^{1/2} արտահայտության հնարավոր արժեքներն են \{1, -1\}։ Նույնությունը գործում է, բայց չի կարելի ասել թե \{1\} = \{(-1 \cdot -1)^{1/2}\}։

| (e^x)^y = e^{xy} նույնությունը ճիշտ է կամայական x, y իրական թվերի համար, բայց ենթադրությունը թե այն ճիշտ է կոմպլեքս թվերի համար, հանգեցնում է հետևյալ պարադոքսին, որը բացահայտել է Թոմաս Քլաուսենը 1827 թվականին։

Կամայական ամբողջ n թվի համար ունենք․
# e^{1 + 2 \pi i n} = e^1 e^{2 \pi i n} = e \cdot 1 = e
# \left(e^{1 + 2\pi i n}\right)^{1 + 2 \pi i n} = e\qquad (երկու կողմերը (1 + 2 \pi i n) աստիճան բարձրացնելով)
# e^{1 + 4 \pi i n - 4 \pi^2 n^2} = e\qquad (ըստ \left(e^x\right)^y = e^{xy} նույնության)
# e^1 e^{4 \pi i n} e^{-4 \pi^2 n^2} = e\qquad (ըստ e^{x+y} = e^x e^y նույնության)
# e^{-4 \pi^2 n^2} = 1\qquad (բաժանելով e-ի)

բայց սա սխալ է, երբ n \neq 0։

Խնդիրը հետևյալն է․ ըստ սահմանման e^y-ը \exp(y) արտահայտության նշանակում է, որը ֆունկցիա է և նմանապես x^y-ը \exp(y\log x)-ի նշանակում է, որը բազմարժեքանի ֆունկցիա է։ Հետևաբար այդ նշանակումը անորոշ է, երբ x = e։ Այստեղ, նախքան ցուցիչը պարզեցնելը, երկրորդ տողը պետք է լիներ
: \exp\left((1 + 2\pi i n)\log \exp(1 + 2\pi i n)\right) = \exp(1 + 2\pi i n)։

Հետևաբար, ցուցիչը պարզեցնելիս ենթադրվել էր, որ z-ի կոմպլեքս արժեքների համար ճիշտ է \log \exp z = z արտահայտությունը, ինչը սխալ է, քանի որ կոմպլեքս լոգարիթմը բազմարժեք ֆունկցիա է։ Այլ կերպ ասած, (e^x)^y = e^{xy} նույնությունը պետք է փոխարինվի հետևյալ նույնությամբ՝

: \left(e^x\right)^y = e^{y\log e^x},

որը ճիշտ նույնություն է բազմարժեք ֆունկցիաների համար։
}}

## Ընդհանրացումներ
### Մոնոիդներ
Ամբողջ ցուցիչով աստիճան բարձրացնելու գործողությունը կարելի է սահմանել կամայական բազմապատկական մոնոիդում։ Մոնոիդը հանրահաշվական կառույց է՝ կազմված X բազմությունից և դրա անդամների վրա սահմանված զուգորդական «բազմապատկման» գործողությամբ  և ունի բազմապատկական նույնություն, որը նշանակում են 1-ով։ Աստիճան բարձրացնելու գործողությունը տրվում է հետևյալ ինդուկտիվ սահմանմամբ՝

* x^0 = 1 կամայական x \in X համար,
* x^{n+1} = x^n x կամայական x \in X և ոչ բացասական ամբողջ n թվի համար,
* Եթե n-ը բացասական է, ապա x^n-ը սահմանված է միայն այն դեպքում, երբ x-ը ունի հակադարձ X-ում։

Մոնոիդների մեջ են մտնում մաթեմատիկայի շատ կառույցներ, այդ թվում՝ խմբեր և օղակներ, որի ավելի մասնակի օրինակներից են մատրիցային օղակները և դաշտերը։

### Մատրիցներ և գծային օպերատորներ
Եթե A-ն քառակուսի մատրից է, ապա A-ն ինքն իր հետ n անգամ բազմապատկման արդյունքը կոչվում է A-ի n աստիճան։ Ըստ սահմանման՝ A^0-ը հավասար է միավոր մատրիցի, իսկ եթե A-ն հակադարձելի է, ապա A^{-n} = \left(A^{-1}\right)^n։

Մատրիցների աստիճանները հաճախ կիրառվում են դիսկրետ դինամիկական համակարգերում, որտեղ A մատրիցը արտահայտում է որոշակի համակարգի x վիճակի վեկտորից համակարգի մեկ այլ՝ Ax, վիճակին անցումը։ Սա Մարկովի շղթայի ընդունված մեկնաբանությունն է։ Նմանապես, A^2x-ը համակարգի վիճակն է երկու քայլ հետո, ավելի ընդհանուր՝ A^nx-ը համակարգի վիճակն է n քայլ հետո։ Այս դեպքում A^n մատրիցը համակարգի ներկա վիճակից n քայլ հետո եկող վիճակի անցման մատրիցն է։ Այսպիսով, մատրիցի աստիճան հաշվելը համարժեք է դինամիկական համակարգի էվոլյուցիայի լուծմանը։ Շատ դեպքերում մատրիցի աստիճանը հնարավոր է արագ հաշվել սեփական արժեքների և սեփական վեկտորների միջոցով։

Աստիճան բարձրացնելու գործողությունը կարելի է սահմանել ոչ միայն մատրիցների, այլև ավելի ընդհանուր գծային օպերատորների վրա։ Օրինակ՝ մաթեմատիկական անալիզի d/dx ածանցյալ օպերատորը, որը f(x) ֆունկցիայի վրա ազդող գծային օպերատոր է, ինչի արդյունքը՝ (d/dx)f(x) = f'(x)-ը, մեկ այլ ֆունկցիա է։ Ածանցման գործողության n-րդ աստիճանը կարելի է սահմանել որպես ֆունկցիայի n-րդ ածանցյալ․

:\left(\frac{d}{dx}\right)^nf(x) = \frac{d^n}{dx^n}f(x) = f^{(n)}(x)։

Այս օրինակներում խոսվում է գծային օպերատորների դիսկրետ ցուցիչով աստիճանի մասին, բայց որոշ դեպքերում ցանկալի է նման օպերատորների վրա սահմանել նաև անընդհատ ցուցիչով աստիճանի հասկացությունը։ Սա կիսախմբերի մաթեմատիկական տեսության սկիզբն է։ Ինչպես մատրիցի դիսկրետ ցուցիչով աստիճանի ստացումը լուծում է դիսկրետ դինամիկական համակարգերը, այնպես էլ մատրիցի անընդհատ ցուցիչով աստիճանի ստացումը լուծում է անընդհատ դինամիկայով համակարգերը։ Այս մեթոդներով լուծվում են Շրյոդինգերի հավասարումը, ալիքային հավասարումը և ժամանակից կախված այլ մասնակի դիֆերենցիալ հավասարումներ։ Ածանցյալի օպերատորը ոչ ամբողջ ցուցիչով աստիճան բարձրացնելը կոչվում է կոտորակային ածանցյալ, որը կոտորակային ինտեգրալի հետ միասին կոտորակային հաշվի հիմնական օպերատորներից է։

### Վերջավոր դաշտեր

Դաշտերը աբստրակտ կառույցներ են, որոնցում բազմապատկման, գումարման, հանման և բաժանման գործողությունները լավ սահմանված են և բավարարում են այդ գործողությունների ծանոթ հատկություններին։ Դաշտերի օրինակ են իրական թվերը, ռացիոնալ թվերը և կոմպլեքս թվերը։ Այս դաշտերը անվերջ բազմություններ են, սակայն գոյություն ունեն դաշտեր, որոնք ունեն վերջավոր տարրեր։ Օրինակ՝ երկու տարրից բաղկացած F_2=\{0,1\} դաշտը, որտեղ գումարումը սահմանված է 0+1=1+0=1 և 0+0=1+1=0 ձևով, իսկ բազմապատկումը՝ 0\cdot 0=1\cdot 0 = 0\cdot 1=0 և 1\cdot 1=1։

Վերջավոր դաշտերում աստիճան բարձրացնելու գործողությունը կիրառվում է հանրային բանալու գաղտնագրությունում։ Օրինակ՝ Դիֆֆի-Հելլմանի բանալու փոխանակումն օգտագործում է այն փաստը, որ վերջավոր դաշտերում աստիճան բարձրացնելը հաշվելու առումով ավելի հեշտ է, մինչդեռ դիսկրետ լոգարիթմը (աստիճան բարձրացնելու հակադարձը) հաշվելու առումով դժվար է։

Կամայական F վերջավոր դաշտում գոյություն ունի միակ p պարզ թիվ, այնպես որ F-ին պատկանող կամայական x թվի համար px=0, այսինքն՝ x թիվը p անգամ ինքն իրեն գումարելու դեպքում ստացվում է զրո։ Օրինակ՝ F_2 դաշտի դեպքում p=2 թիվը ունի այդ հատկությունը։ Այս պարզ թիվը կոչվում է դաշտի բնութագրող։ Ենթադրենք F-ը p բնութագրող թվով դաշտ է և դիտարկենք f(x) = x^p ֆունկցիան, որը F-ի յուրաքանչյուր տարր բարձրացնում է p աստիճան։ Սա կոչվում է F դաշտի Ֆրոբենիուսի ավտոմատիզմ։ Այն դաշտի ավտոմորֆիզմ է առաջին կուրսեցու երազանք նույնության՝ (x+y)^p = x^p+y^p-ի պատճառով։

### Աբստրակտ հանրահաշիվ
Աբստրակտ հանրահաշվում ամբողջ ցուցիչով աստիճանը կարելի է սահմանել բավական ընդհանուր կառույցների համար։

Եթե X-ը բազմություն է, որի վրա սահմանված է աստիճանի ասոցիատիվությամբ բինար օպերատոր, ապա x^n արտահայտությունը սահմանված է X բազմության կամայական x տարրի և զրոյից տարբեր կամայական n բնական թվի համար հետևյալ կերպ՝
:\begin{align}
  x^1 &= x, \\
  x^n &= x^{n-1} x \quad \text{եթե } n > 1\text{։}
\end{align}

Այս դեպքում կունենանք հետևյալ հատկությունները՝
: \begin{align}
  (x^i x^j) x^k &= x^i (x^j x^k), && \text{(աստիճանի ասոցիատիվություն)} \\
        x^{m+n} &= x^m x^n, \\
        (x^m)^n &= x^{mn}\text{։}
\end{align}

Եթե օպերատորը ունի երկկողմանի միավոր տարր 1, ապա x^0 արտահայտությունը կամայական x-ի համար հավասար է 1-ի՝ ըստ սահմանման․
: \begin{align}
   x1 &= 1x = x, && \text{(երկկողմանի միավոր տարր)} \\
  x^0 &= 1.
\end{align}

Եթե բինար օպերատորը ունի երկկողմանի հակադարձ և ասոցիատիվ է, ապա խմբոիդը (մագման) խումբ է։ x-ի հակադարձը նշանակում են x^{-1}-ով և այն դրա համար գործում են ցուցիչների բոլոր հայտնի կանոնները․
: \begin{align}
  x x^{-1} &= x^{-1} x = 1, && \text{(երկկողմանի հակադարձ)} \\
   (x y) z &= x (y z), && \text{(ասոցիատիվություն)} \\
    x^{-n} &= (x^{-1})^n, \\
   x^{m-n} &= x^m x^{-n}\text{։}
\end{align}

Եթե բազմապատկման գործողությունը կոմուտատիվ է (օրինակ՝ Աբելյան խմբերում), ապա ճիշտ է հետևյալ նույնությունը՝
: (xy)^n = x^n y^n։

Եթե բինար գործողությունը գրվում է գումարի տեսքով, ինչպես սովորաբար արվում է Աբելյան խմբերում, ապա «աստիճան բարձրացնելը կրկնվող բազմապատկում է» արտահայտությունը կարելի է վերաձևակերպել որպես «բազմապատկումը կրկնվող գումարում է»։ Այսպիսով, վերևում նշված աստիճանի յուրաքանչյուր օրենք ունի իր անալոգը բազմապատկման օրենքներում։

Երբ բազմության վրա սահմնաված են մի քանի աստիճանի ասոցիատիվությամբ բինար օպերատորներ, հաճախ կրկնվող օպերատորը նշելու համար վերտողային մասում ցուցիչից բացի նշում են նաև գործողության սիմվոլը։ Այսպիսով, x^{*n}-ը նույնն է ինչ x*...*x կամ x^{\#n}-ը նույնն է ինչ x\#...\#x, որտեղ *, \#-ը համապատասխան բինար օպերատորների սիմվոլներն են։

Վերտողային նշանակումը նաև օգտագործվում է (հատկապես խմբերի տեսությունում) համալուծումը նշելու համար։ Այսինքն՝ g^h = h^{-1}gh, որտեղ g-ն և h-ը որոշոկի խմբի տարրեր են։ Չնայած համալուծումը ենթարկվում է աստիճանի որոշ օրենքներին, այն չի կարող ինչ-որ կերպով համարվել կրկնվող բազմապատկում։

### Բազմությունների տեսություն

Եթե n-ը բնական թիվ է և A-ն կամայական բազմություն, ապա A^n արտահայտությամբ հաճախ նշանակում են A բազմության տարրերի n չափանի շարանների (կորտեժ) բազմությունը։ Սա համարժեք է նրան, եթե A^n-ով նշանակվի \{1, 2,, ..., n-1\} բազմությունից A գնացող ֆունկցիաների բազմությունը․ (a_0, a_1, a_2, ..., a_{n-1}) շարանը համապատասխանում է այն ֆունկցիային, որը i-ն արտապատկերում է a_i-ին։

\kappa անվերջ կարդինալ թվի և A բազմության համար A^\kappa նշանակումը կիրառվում է \kappa չափանի բազմությունից դեպի A տանող ֆունկցիաների բազմությունը նշանակելու համար։ Սա հաճախ նշանակվում է κ***A*** ձևով՝ կարդինալ աստիճանից, որը սահմանվում է ներքևում, տարբերելու համար։

Այս ընդհանրացված աստիճանները կարելի է նաև սահմանել բազմությունների վրա արվող գործողությունների կամ հավելյալ կառույցներով բազմությունների համար։ Օրինակ՝ գծային հանրահաշվում իմաստ ունի ըստ կամայական ինդեքսների բազմությամբ ինդեքսավորել վեկտորական տարածությունների ուղիղ գումարները։ Այսինքն, կարող ենք խոսել
: \bigoplus_{i \in \mathbb{N}} V_i
արտահայտության մասին, որտեղ V_i-ը վեկտորական տարածություն է։

Եթե կամայական i ինդեքսի համար V_i = V, ապա արդյունքում ստացված ուղիղ գումարը կարելի է գրել V^{\oplus N} կամ պարզապես V^{N} (հասկանալով, որ խոսքն ուղիղ գումարի մասին է) տեսքով։ Այս դեպքում ևս կարելի է N բազմությունը փոխարինել n կարդինալ թվով՝ V^n ստանալու համար, չնայած, առանց n հզորությամբ բազմություն ընտրելու սա սահմանված է մինչև իզոմորֆություն։ Եթե V-ն վերցնենք իրական թվերի \mathbb{R} դաշտը և n-ը որևէ բնական թիվ, ապա կստանանք գծային հանարահշվում ամենահաճախ ուսումնասիրվող վեկտորական տարածությունը՝ \mathbb{R}^n-ը։

Եթե աստիճանի հիմքը բազմություն է, ապա աստիճան բարձրացնելու գործողությունը նույն Դեկարտյան արտադրյալն է, եթե այլ նշում չկա։ Քանի որ Դեկարտյան արտադրյալի արդյունքը n-շարաններ են, որոնք հնարավոր է ներկայացնել համապատասխան հզորությամբ բազմության վրա սահմանված ֆունկցիայով, հետևաբար S^N-ը նույն է ինչ N-ից S տանող բոլոր ֆունկցիաների բազմությունը․

: S^N \equiv \{f \colon N \to S\}։

Սա համապատասխանում է կարդինալ թվերի աստիճանին այն իմաստով, որ |S^N| = |S|^, որտեղ |X|-ը X-ի հզորությունն է։ Երբ «2»-ը սահմանվում է որպես \{0, 1\}, ունենում ենք |2^X|=2^, որտեղ 2^X-ը (սովորաբար նշանակվում է \textbf{P}(X)-ով) X բազմության բոլոր ենթաբազմությունների բազմությունն է․ X բազմության կամայական Y ենթաբազմությանը միակորեն համապատասխանում է X-ի վրա սահմանված ֆունկցիա, որը x \in Y արժեքների դեպքում հավասար է 1-ի, այլապես՝ 0-ի։

### Կատեգորիաների տեսություն

Դեկարտյան փակ կատեգորիայում աստիճան բարձրացնելու գործողությունը կարող է օգտագործվել կամայական օբյեկտ այլ օբյեկտի աստիճան բարձրացնելու համար։ Սա ընդհանրացնում է բազմությունների կատեգորիայում Դեկարտյան արտադրյալը։ Եթե Դեկարտյան փակ կատեգորիայում 0-ն սկզբնական օբյեկտն է, ապա 00 ցուցչային օբյեկտը իզոմորֆ է կամայական 1 տերմինալ օբյեկտի։

### Կարդինալ և օրդինալ թվերի աստիճան
Բազմությունների տեսությունում գոյություն ունեն աստիճան բարձրացնելու գործողություններ կարդինալ և օրդինալ թվերի համար։

Եթե \kappa-ն և \lambda-ն կարդինալ թվեր են, ապա \kappa^\lambda արտահայտությունը ներկայացնում է բոլոր այն ֆունկցիաների բազմության հզորությունը, որոնք սահմանված են \lambda հզորությամբ կամայական բազմության վրա և որոնց արժեքների բազմությունը ունի \kappa հզորություն։ Եթե \kappa-ն և \lambda-ն վերջավոր են, ապա սա համապատասխանում է սովորական աստիճան բարձրացնելու գործողությանը։ Օրինակ՝ 2 տարր ունեցող բազմության անդամներից 3 չափանի շարանների բազմության հզորությունը 8 = 2^3 է։ Կարդինալ թվաբանությունում \kappa^0 արտահայտությունը միշտ 1-ի է հավասար (նույնիսկ եթե \kappa-ն զրո է կամ անվերջ կարդինալ)։

Կարդինալ թվերի աստիճանը տարբեր է օրդինալ թվերի աստիճանից, որը սահմանվում է տրանսֆինիտ ինդուկցիայի և սահմանի միջոցով։

## Կրկնվող աստիճան բարձրացում
Ինչպես բնական թվերի աստիճան բարձրացնելը մոտիվացված է կրկնվող բազմապատկմամբ,  նմանապես հնարավոր է սահմանել գործողություն ըստ կրկնվող աստիճան բարձրացնելու․ այս գործողությունը հաճախ կոչվում է հիպեր-4 կամ տետրացիա։ Կրկնվող տետրացիայի գործողությամբ սահմանվում է մեկ այլ գործողություն, և այդպես շարունակ (տես՝ հիպերգործողություն)։ Գործողությունների այս հաջորդականությունը ներկայացվում է  Ակերմանի ֆունկցիայի և Կնուտի վերսլաքային նշանակմամբ։ Ինչպես աստիճան բարձրացնելը աճում է ավելի արագ, քան բազմապատկումը, որն էլ իր հերթին աճում է ավելի արագ, քան գումարը, այդպես էլ տետրացիան աճում է ավելի արագ, քան աստիճան բարձրացնելը։ Այսպես, (3, 3) կետում գումարման, բազմապատկման, աստիճան բարձրացման և տետրացիա ֆունկցիաների արժեքները համապատասխանաբար հավասար են 6, 9, 27 և 7625597484987 (=3^{27} = 3^{3^3} = ^33)-ի։

## Աստիճանների սահմաններ
Զրոյի զրո աստիճան (0^0) տեսքի սահմանները անորոշ են։ Այս օրինակներում սահմանը գոյություն ունի, բայց կարող է ունենալ տարբեր արժեքներ, ինչը ցույց է տալիս, որ f(x, y) = x^y երկու փոփոխականով ֆունկցիան սահման չունի (0, 0) կետում։

Այլ կետերում սահմանի գոյությունը ստուգելու համար ենթարդենք, որ f(x, y) = x^y սահմանված է D=\{(x, y) \in \mathbb{R}^2 : x > 0\} բազմությունում։ Այս դեպքում D-ն կարելի է համարել \bar{\mathbb{R}}^2 (բոլոր (x, y) զույգերի բազմությունը, որտեղ x, y-ը պատկանում են \bar{\mathbb{R}} = [-\infty, +\infty] ընդլայնված թվային ուղղին) բազմության ենթաբազմություն, որը կպարունակի այն կետերը, որոնցում ֆունկցիան սահման ունի։

Ընդ որում, f-ը D-ի բոլոր կուտակման կետերում սահման ունի՝ բացառությամբ (0, 0),  (+\infty, 0), (1, +\infty) և (1, -\infty) կետերի։ Հետևաբար, սա հնարավորություն է տալիս x^y աստիճանը սահմանել ըստ անընդհատության, երբ 0 \leq x \leq +\infty, -\infty \leq y \leq +\infty` բացառությամբ 0^0, (+\infty)^0, 1^{+\infty} և 1^{-\infty}-ի, որոնք մնում են անորոշ ձևեր։

Ըստ այս սահմանման՝
* x^{+\infty} = +\infty և x^{-\infty} = 0, երբ 1 ,
* x^{+\infty} = 0 և x^{-\infty} = +\infty, երբ 0 \leq x ,
* 0^y = 0 և (+\infty)^y = +\infty, երբ 0 
* 0^y = +\infty և (+\infty)^y = 0, երբ -\infty \leq y ։

Այս աստիճանները ստացվել են x-ի դրական արժեքների համար x^y-ի սահմանը հաշվելու արդյունքում։ Այս մեթոդով չի սահմանվում x^y-ը, երբ x , քանի որ այդ դեպքում (x, y) կետերը D-ի կուտակման կետ չեն։

Մյուս կողմից, երբ n-ը ամբողջ թիվ է, x^n արժեքը արդեն իմաստ ունի x-ի կամայական՝ այդ թվում բացասական արժեքների դեպքում։ Սա կարող է բացասական n-երի համար վերևում սահմանված 0^n = +\infty արտահայտությունը խնդրահարույց դարձնել կենտ n-երի համար, քանի որ այս դեպքում x^n \to +\infty, երբ x-ը ձգտում է 0-ի դրական արժեքներով (աջից), բայց ոչ բացասական արժեքներով ձգտելու դեպքում (ձախից)։

## Արդյունավետ հաշվում ամբողջ ցուցիչով
Կրկնվող բազմապատկումների միջոցով b^n-ը հաշվելու համար անհրաժեշտ է n-1 բազմապատկման գործողություն, սակայն այս արտահայտությունը կարելի է հաշվել ավելի արդյունավետ՝ ինչպես ցուցադրված է հետևյալ օրինակում։ 2^{100} արտահայտությունը հաշվելու համար կարելի է նկատել, որ 100 = 64 + 32 + 4։ Այնուհետև հաշվել հետևյալ հերթականությամբ․

# 2^2=4
# (2^2)^2 = 2^4 = 16
# (2^4)^2 = 2^8 = 256
# (2^8)^2 = 2^{16} = 65536
# (2^{16})^2 = 2^{32} = 4294967296
# (2^{32})^2 = 2^{62} = 18446744073709551616
# 2^{64}2^{32}2^{4} = 1267650600228229401496703205376:
Գործողությունների այս հաջորդականությունը պահանջում է միայն 8 բազմապատկման գործողություն (վերջին քայլում անհրաժեշտ է 2 բազմապատկում)՝ 99-ի փոխարեն։

Ընդհանուր առմամաբ b^n արտահայտությունը հաշվելու համար անհրաժեշտ  բազմապատկման գործողությունների քանակը կարելի է կրճատել մինչև Θ(log *n*)` աստիճան բարձրացնելու արագ ալգորիթմի կամ (ավելի ընդհանուր) գումարման շղթայով աստիճան բարձրացնելու ալգորիթմի միջոցով։ b^n արտահայտությունը հաշվելու համար անհրաժեշտ նվազագույն բազմապատկման գործողությունների քանակը գտնելը դժվար խնդիր է, որի համար հայտնի արդյունավետ ալգորիթմ չկա (տես ենթաբազմության գումարի խնդիր), բայց գոյություն ունեն բազմաթիվ արդյունավետ էվրիստիկական ալգորիթմներ։

## Ֆունկցիաների անունների համար աստիճանային նշանակում
Ֆունկցիայի անվան կամ սինվոլի վերտողում թիվ գրելը սովորաբար վերաբերում է ֆունկցիայի կոմպոզիցիային, ոչ թե կրկնվող բազմապատկմանը։ Այսպիսով, f^3(x) սովորաբար նշանակում է f(f(f(x))), մասնավորապես՝ f^{-1}(x)-ով սովորաբար նշանակում են f-ի հակադարձ ֆունկցիան։ Այս նշանակումը ներմուծվել է Հանս Հայնրիխ Բյուրմանի և Ջոն Ֆրեդերիկ Ուիլյամ Հերշելի կողմից։ Իտերատիվ ֆունկցիաները կարևոր դեր ունեն ֆրակտալների և դինամիկ համակարգերի հետազոտությունում։ f^{1/2}(x) ֆունկցիոնալ քառակուսի արմատը գտնելու խնդիրը առաջին անգամ ուսումնասիրել է Չարլզ Բեբիջը։

Ֆունկցիայի կոմպոզիցիան և աստիճանը իրարից տարբերելու համար հաճախ աստիճան բարձրացնելու դեպքում ֆունկցիայի ցուցիչը գրում են փոփոխականի փակագծից հետո։ Այսինքն՝ f(x)^3-ը նշանակում է (f(x))^3 իսկ f(x)^{-1}-ը՝ 1/f(x)։

Պատմական պատճառներով և հաշվի առնելով այն, որ փակագծերի բացթողման պատճառով անորոշություն է ստեղծվում՝ որոշակի եռանկյունաչափական և հիպերբոլական ֆունկցիաների անվան վերտողում գրվող թվերը հատուկ իմաստ ունեն․ ֆունկցիայի անվան վերտողում գրվող դրական ցուցիչը նշանակում է արդյունքը այդ աստիճան բարձրացնել, իսկ -1 ցուցիչը շարունակում է նշանակել հակադարձ ֆունկցիան։ Այսինքն՝ \sin^2 x-ը պարզապես (\sin 2)^2=\sin(x)^2-ի կարճ գրելաձևն է, իսկ \sin^{-1} x-ը սինուս ֆունկցիայի հակադարձն է՝ \arcsin(x)-ը։ Նման սովորույթ կա նաև լոգարիթմների գրառման ժամանակ, որտեղ \log^2 x-ը հաճախ նշանակում է (\log x)2 ոչ թե \log \log x։

Երկիմաստությունից խուսափելու համար որոշ մաթեմատիկոսներ ֆունկցիայի կոմպոզիցիան նշանակում են \circ-ով՝ f(x) ֆունկցիայի n-րդ իտերացիան f^{\circ n}(x) նշանակելով, այսինքն՝ f^{\circ 3}(x) = f(f(f(x)))։ Նույն խնդրի պատճառով Բենջամին Պիրցը օգտագործում էր f^{[n]}(x) նշանակումը, իսկ Ալֆրեդ Պրինգսհայմը և Ժյուլ Մոլքը առաջարկել են  նշանակումը։

## Ծրագրավորման լեզուներում
Ծրագրավորման լեզուները սովորաբար աստիճանի գործողությունը ներկայացնում են միջածանցային օպերատորով կամ ֆունկցիայի տեսքով․
* `x ↑ y`: Algol, Commodore BASIC, TRS-80 Level II/III BASIC։
* `x ^ y`: AWK, BASIC, J, MATLAB, Wolfram Language (Mathematica), R, Microsoft Excel, Analytica, TeX (և իր ածանցյալ լեզուները), TI-BASIC, bc (ամբողջ ցուցիչների համար), Haskell (ոչ բացասական ցուցիչների համար), Lua և համակարգչային հանրահաշվական համակարգերի մեծ մասը։ `^` սինվոլը նաև կիրառվում է որպես XOR POSIX Shell թվաբանական արտահայտություններում, AWK, C, C++, C#, D, Go, Java, JavaScript, Perl, PHP, Python, Ruby և Tcl լեզուներում, անուղղակիություն Pascal լեզվում և սինվոլային տողերի (string) միացում OCaml և Standard ML լեզուներում։
* `x ^^ y`: Haskell (կոտորակային հիմքի և ամբողջ ցուցիչի համար), D։
* `x ** y`: Ada, Z shell, Korn shell, Bash, Կոբոլ, CoffeeScript, Ֆորտրան, FoxPro, Gnuplot, Groovy, ՋավաՍկրիպտ, OCaml, F#, Perl, PHP, PL/I, Python, Rexx, Ruby, SAS, Seed7, TCL, ABAP, Mercury, Haskell (սահող կետով ցուցիչների համար), Turing, VHDL.
* `pown x y`: F# (ամբողջ հիմքի և ամբողջ ցուցիչի համար).
* `x⋆y`: APL.

Շատ ծրագրավորման լեզուներ աստիճանի համար հատուկ նշանակում չունեն, բայց ունեն ֆունկցիա համապատասխան գրադարանում․ 
* `pow(x, y)`: C, C++.
* `Math.Pow(x, y)`: C#.
* `math:pow(X, Y)`: Erlang.
* `Math.pow(x, y)`: Ջավա.
* `[Math]::Pow(x, y)`: PowerShell.

Որոշ ցուցիչների համար գոյություն ունեն x^y արտահայտությունը հաշվելու ավելի արագ եղանակներ։ Այս ցուցիչներից են՝ փոքր դրական կամ բացասական ամբողջ թվերը (x \cdot x-ը ավելի հեշտ է հաշվել, քան x^2-ն, 1/x-ը ավելի հեշտ է, քան x^{-1}-ը) և քառակուսի արամատը (sqrt(*x*)-ը ավելի հեշտ է, քան x^{0.5}-ը, cbrt(*x*) ավելի հեշտ է, քան x^{1/3}-ը)։

Ոչ բոլոր ծրագրավորման լեզուներն են ենթարկվում գործողությունների կատարման նույն հերթականությանը․ չնայած Wolfram language-ը, Գուգլ որոնողական համակարգը և այլ լեզուներ գործողությունը կատարում են աջից ձախ (`a^b^c`-ը համարժեք է `a^(b^c)`-ի), շատ համակարգչային ծրագրեր (Microsoft Excel կամ Matlab) գործողությունները կատարում են ձախից աջ (`a^b^c`-ը համարժեք է `(a^b)^c`-ի)։

## Նշումներ

## Ծանոթագրություններ

## Արտաքին հղումներ
* 
* , 

Կատեգորիա:Բինար գործողություններ
Կատեգորիա:Ունար գործողություններ
Կատեգորիա:Թվաբանություն
Կատեգորիա:Տարրական հանրահաշիվ