Ступеняванне

Узвядзе́нне ў ступе́нь (ці падвышэ́нне да ступе́ні), або ступеняванне — арыфметычная аперацыя над двума лікамі: асновай b і пака́зчыкам (або ступе́нню) n. На пісьме ступеняванне пазначаецца як bⁿ. Калі n ёсць натуральным лікам, ступеняванне адпавядае кратнаму (паўтаральнаму) множанню; інакш кажучы, b ў ступені n — гэта здабытак n множнікаў, кожны з якіх роўны b (такі здабытак таксама называецца ступенню):

$b^n=\underset{n}{\underbrace{b\times \cdots \times b}}.$

Тут відаць падабенства з аперацыяй множання на натуральны лік, якая адпавядае кратнаму складанню:

$b\times n=\underset{n}{\underbrace{b+\cdots +b}}.$

Гістарычна, аперацыя ступенявання была спачатку вызначана для натуральных лікаў, і толькі потым, з цягам часу, яна была распаўсюджана на адмоўныя цэлыя ступені (увабраўшы ў сябе аперацыю кратнага дзялення), на рацыянальныя ступені (такім чынам, сюды была ўключана і аперацыя здабывання кораня). Пазней ступеняванне для адвольных рэчаісных ступеней было вызначана як непарыўны працяг з мноства рацыянальных ступеней.

Паказчык ступені звычайна запісваюць як надрадковы знак справа ад асновы. Запіс ступенявання bⁿ можна чытаць наступным чынам:

b ўзвеШаблон:Націскдзенае ў n-ую ступеШаблон:Націскнь,

b ўзвеШаблон:Націскдзенае ў ступеШаблон:Націскнь n ,

b ў ступеШаблон:Націскні n ,

або коратка, b ў n-ай.

Некаторыя ступені маюць свае ўласныя назвы:

b² звычайна называюць квадра́там ліку b і чытаюць як b ў квадраце,

b³ называецца ку́бам ліку b і чытаюць як b ў кубе.

Таксама варта падкрэсліць некаторую розніцу паміж тэрмінамі «ўзвядзенне ў ступень» і «ступеняванне»:

1. словазлучэнне «ўзвядзенне ў ступень» ужываецца, калі паказчык ступені — сталая велічыня, а аснова — зменная.
2. слова «ступеняванне» выкарыстоўваюць, калі маюць на ўвазе, што паказчык з’яўляецца зменнай велічынёй, а аснова нязменная.

Аднак у якасці назвы аперацыі і ў выпадках, калі не трэба падкрэсліваць сталасць ці зменнасць аргументаў, аднолькава можна ўжываць і «ступеняванне», і «ўзвядзенне ў ступень».

Як адзначалася вышэй, ступень bⁿ можна вызначыць і для адмоўных цэлых n, калі b не нуль. Не існуе натуральнага пашырэння ступенявання на ўсе рэчаісныя асновы b і паказчыкі n, аднак калі аснова b з’яўляецца дадатным рэчаісным лікам, ступеняванне bⁿ можна вызначыць для ўсіх рэчаісных і нават камплексных паказчыкаў n з дапамогай паказнікавай функцыі e^z. Трыганаметрычныя функцыі таксама можна выразіць праз камплекснае ступеняванне.

Ступеняванне матрыц выкарыстоўваецца пры развязанні сістэм лінейных дыферэнцыяльных ураўненняў.

Ступеняванне паўсюдна сустракаецца ў шматлікіх мадэлях і вылічэннях у самых разнастайных галінах навукі і прамысловасці, сюды можна ўключыць фізіку (хвалі, ядзерны распад), хімію (хімічная кінетыка), біялогію (рост папуляцый), эканоміку (складаныя працэнты) і камп'ютарныя навукі (крыптаграфія з адкрытым ключом).

Графікі y=b^x для розных асноў b: аснова 10 (зялёны), аснова e (чырвоны), аснова 2 (сіні), і аснова ½ (блакітны). Кожная крывая праходзіць праз пункт (0, 1), таму што любы ненулявы лік у нулявой ступені роўны адзінцы. Пры x=1, значэнне y роўнае аснове.

Цэлыя паказчыкі

Для ступенявання з цэлымі паказчыкамі патрэбна толькі элементарная алгебра.

Натуральныя паказчыкі

Фармальнае азначэнне:

Ступені з натуральным паказчыкам можна вызначыць з дапамогай пачатковай умовы

$b^1=b$

і зваротнай формулы

$b^{n+1}=b^n\cdot b.$.

Са спалучальнасці множання вынікае, што для любых натуральных m і n,

$b^{m+n}=b^m\cdot b^n.$

Адвольныя цэлыя паказчыкі

Пры ненулявых b і натуральных n зваротныя суадносіны з папярэдняга падраздзела можна перапісаць у выглядзе

$b^n=\frac{b^{n+1}}{b}.$

Лічачы гэтыя суадносіны справядлівымі да ўсіх цэлых n і ненулявых b, атрымліваем

$\begin{array}{cc}{b}^0& =\frac{b^1}{b}=1,\\ b^{-1}& =\frac{b^0}{b}=\frac{1}{b},\end{array}$

ці больш агульна,

$b^{-n}=\frac{1}{b^n}.$

для любой ненулявой асновы b і любога цэлага паказчыка n.

Варта адзначыць наступнае:

• Любы лік у першай ступені роўны самому сабе.
• Любы ненулявы лік у нулявой ступені роўны адзінцы; нулявы паказчык можна вытлумачыць як пусты здабытак, г.зн. здабытак, які не мае множнікаў.
• Прыведзеныя вышэй роўнасці ніяк не вызначаюць выраз 0⁰. Гэты выраз з’яўляецца нявызначанасцю і падрабязней разглядаецца ніжэй.
• Узвядзенне нуля ў адмоўную ступень прадугледжвала б дзяленне на нуль, таму нуль у адмоўнай ступені нявызначаны.

Тоеснасць

$b^{m+n}=b^m{b}^n,$

спачатку вызначаная толькі для натуральных m і n, спраўджваецца для адвольных цэлых m і n, з тым толькі абмежаваннем, што m і n павінны быць дадатнымі, калі b — нуль.

Камбінаторнае вытлумачэнне

Для неадмоўных цэлых n і m, ступень Шаблон:Math роўная магутнасці мноства m-ак з n-элементнага мноства, або ліку ўсіх m-літарных слоў, якія можна ўтварыць з дапамогай азбукі, складзенай з n букваў.

05 = │ {} │ = 0	Няма пяцёрак з пустога мноства (азбукі).
14 = │ { (1,1,1,1) } │ = 1	Існуе адзіная чацвёрка з адналітарнай азбукі.
2³ = │ { (1,1,1), (1,1,2), (1,2,1), (1,2,2), (2,1,1), (2,1,2), (2,2,1), (2,2,2) } │ = 8	Існуе восем троек з двухэлементнага мноства.
3² = │ { (1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3) } │ = 9	Існуе дзевяць двоек з трохэлементнага мноства.
41 = │ { (1), (2), (3), (4) } │ = 4	Існуе чатыры адзінкі з чатырохэлементнага мноства.
50 = │ { () } │ = 1	Існуе адзінае пустое слова (з букваў любой азбукі).

Тоеснасці і ўласцівасці

• Калі аснова b не роўная нулю, наступныя тоеснасці спраўджваюцца для любых цэлых паказчыкаў m і n:

$\begin{array}{cc}{b}^{m+n}& =b^m\cdot b^n,\\ (b^m{)}^n& =b^{m\cdot n},\\ (b\cdot c{)}^n& =b^n\cdot c^n.\end{array}$

• Ступеняванне не перастаўляльнае ў адрозненне ад складання і множання. Таму, увогуле кажучы:

  $a^b\ne b^a.$

  Напрыклад, Шаблон:Nowrap і Шаблон:Nowrap, але Шаблон:Nowrap, у той час як Шаблон:Nowrap.

• Ступеняванне не спалучальнае, тады як для складання і множання спалучальнасць ўласціва. У агульным выпадку:

  $b^{p^q}=b^{(p^q)}\ne (b^p{)}^q=b^{p\cdot q}.$

  Напрыклад, Шаблон:Nowrap і Шаблон:Nowrap, аднак 2³ ў 4-й ступені роўнае 8⁴ або 4,096, а 2 ў ступені 3⁴ роўнае 2⁸¹ або 2 417 851 639 229 258 349 412 352.

Без дужак, якія змяняюць парадак вылічэнняў, па дамоўленасці парадак ступенявання зверху-ўніз, а НЕ знізу-ўверх.

Заўвага: У вышэйпрыведзенай формуле пра парадак вылічэнняў можна здагадацца дзякуючы адрозненням у памерах шрыфту, якім пададзеныя паказчыкі ступені. Тым не менш, дамоўленасць распаўсюджваецца і на радковыя запісы ўзору b^p^q = b^(p^q) ≠ (b^p)^q (такое адлюстраванне ўласціва камп’ютарным сістэмам алгебры).

Рацыянальныя паказчыкі

зверху ўніз: x^1/8, x^1/4, x^1/2, x¹, x², x⁴, x⁸. Заўвага: для восей x і y розныя адзінкі даўжыні

Корань n-й ступені з ліку b — такі лік x, n-ая ступень якога роўная b: Шаблон:Math.

Калі b — дадатны рэчаісны лік, а n — натуральны, тады існуе адзінае рэчаіснае рашэнне ўраўнення Шаблон:Math. Гэтае рашэнне называецца арыфметычным коранем ступені n з b. Ён абазначаецца як $\sqrt[n]{b}$, дзе сімвал √  — так званы радыкал; іншым шляхам гэта можна запісаць як Шаблон:Math. Напрыклад: 4^1/2 = 2, 8^1/3 = 2.

Калі кажуць корань n-й ступені з дадатнага рэчаіснага ліку b, звычайна маюць на ўвазе арыфметычны корань n-й ступені.

Калі n — цотны, то ўраўненне Шаблон:Math мае два рэчаісныя рашэнні пры дадатным b: дадатны і адмоўны карані n-й ступені. Пры адмоўным b ураўненне не мае рашэнняў.

Пры няцотным n ураўненне Шаблон:Math мае адзінае рэчаіснае рашэнне. Яно дадатнае пры дадатным b і адмоўнае пры адмоўным b.

Няхай Шаблон:Math — нескарачальны дроб.

Пры цотных m значэнне ступені $b^{\frac{m}{n}}$ дадатнае для любых рэчаісных b.

Калі m і n абодва няцотныя, то знак ступені супадае са знакам асновы.

Калі ж m няцотны, а n цотны, то значэнне ступені можа быць і дадатным, і адмоўным пры дадатным b.

Прыклады: (−27)^1/3 = −3, (−27)^2/3 = 9, а 4^3/2 мае два карані 8 і −8.

Калі b адмоўны, а n цотны, пры вызначэнні ступені Шаблон:Math даводзіцца выкарыстоўваць уяўную адзінку i, як апісана ніжэй у раздзеле Ступені камплексных лікаў. Прычынай гэтага з’яўляецца адсутнасць рэчаісных рашэнняў ураўнення x² = −1.

Такім чынам, ступень рэчаіснага ліку b з рацыянальным паказчыкам Шаблон:Math (нескарачальны дроб) можна вызначыць праз цэлую ступень і корань:

$b^{\frac{m}{n}}={\left(b^m\right)}^{\frac{1}{n}}=\sqrt[n]{b^m}$

дзе m — цэлы лік, а n — натуральны лік.

Заўвага: ужываючы ступенныя тоеснасці ў выпадку адмоўнага значэння кораня n-ай ступені, нельга губляць пільнасці. Напрыклад: выснова −27 = (−27)^{((2/3)⋅(3/2))} = ((−27)^2/3)^3/2 = 9^3/2 = 27 відавочна няправільная. Праблема, з якой мы тут сутыкнуліся, заключаецца ў адвольнасці выбару нейкага аднаго значэння кораня з мноства магчымых яго значэнняў. Яшчэ выразней гэта ж праблема выяўляецца пры вызначэнні ступеней камплексных лікаў (гл. раздзел Няздатнасць ступенных і лагарыфмічных тоеснасцей). З гэтай прычыны ў якасці значэння кораня n-ай ступені варта браць значэнне арыфметычнага кораня.

Рэчаісныя паказчыкі

Прыведзеныя вышэй для цэлых паказчыкаў тоеснасці і ўласцівасці спраўджваюцца таксама і для дадатных рэчаісных лікаў з няцэлымі паказчыкамі. Аднак тоеснасць

$(b^r{)}^s=b^{r\cdot s}$

нельга пашырыць на адмоўныя рэчаісныя асновы b (гл. Рэчаіснае ступеняванне з адмоўнымі асновамі). Непрыдатнасць гэтай тоеснасці ляжыць у аснове праблем са ступенямі камплексных лікаў, разгледжаных падрабязней у раздзеле Непрыдатнасць ступенных і лагарыфмічных тоеснасцей.

Пашырэнне ступенявання на рэчаісныя паказчыкі можна ажыццявіць або непарыўна працягваючы рацыянальныя ступені да рэчаісных, або выкарыстоўваючы паказнікавую функцыю і адваротны ёй натуральны лагарыфм.

Граніцы рацыянальных ступеней

А раз ірацыянальны лік можна прыблізіць рацыянальным, то ступеняванне дадатнага рэчаіснага ліку b с адвольным рэчаісным паказчыкам x можна вызначыць непарыўным працягам згодна з правілам

$b^x=\underset{r\to x}{\lim }{b}^r(r\in \mathbb{Q},x\in ℝ),$

дзе граніца бярэцца па r, якія імкнуцца да x, прабягаючы рацыянальныя значэнні. Гэта граніца існуе толькі для дадатных b. З (ε, δ)-азначэння граніцы вынікае, што можна выбраць дастаткова малы прамежак вакол x так, што ўсе рацыянальныя ступені ўнутры яго будуць набліжаць рэчаісную ступень Шаблон:Math з патрэбнай дакладнасцю.

Напрыклад, няхай Шаблон:Math і Шаблон:Math. Тады каб атрымаць прамежкі, якія сцягваюцца да пункта і абмежаваныя рацыянальнымі ступенямі, (дзякуючы строгай манатоннасці рацыянальных ступеней) можна выкарыстаць бесканечнае дзесятковае прадстаўленне Шаблон:Math:

$[b^3,b^4],[b^{3.1},b^{3.2}],[b^{3.14},b^{3.15}],[b^{3.141},b^{3.142}],[b^{3.1415},b^{3.1416}],[b^{3.14159},b^{3.14160}],\dots .$

Гэтыя прамежкі збягаюцца да адзінага рэчаіснага ліку, абазначанага як Шаблон:Math. Гэты спосаб можна ўжываць для атрымання любой ірацыянальнай ступені ліку b. Такім чынам, функцыя Шаблон:Math вызначана для любога рэчаіснага ліку x.

Паказнікавая функцыя

Вядомая матэматычная сталая e (таксама вядомая як лік Ойлера і прыблізна роўная 2,718) з’яўляецца асновай натуральнага лагарыфма. І хоць ступеняванне ліку e можна разгледзець такім жа чынам, як і ступеняванне ўсіх іншых рэчаісных лікаў, такі падыход пакідае па-за ўвагай некаторыя прыгожыя і карысныя ўласцівасці. Сярод іншага, гэтыя ўласцівасці дазваляюць натуральным чынам абагульніць ступеняванне ліку e на іншыя віды паказчыкаў, такія як камплексныя лікі ці, нават, матрыцы.

Як вынік, запіс Шаблон:Math звычайна пазначае абагульненую паказнікавую функцыю Шаблон:Math, якую можна вызначыць некалькімі раўназначнымі спосабамі, напрыклад як:

$\exp (x)=\underset{n\to \mathrm{\infty }}{\lim }{(1+\frac{x}{n})}^n.$

Сярод іншых уласцівасцей функцыя Шаблон:Math задавальняе паказчыкавую тоеснасць:

$\exp (x+y)=\exp (x)\cdot \exp (y)$

Паказнікавая функцыя Шаблон:Math вызначана пры ўсіх цэлых, дробных, рэчаісных і камплексных значэннях x. Гэтае азначэнне можна выкарыстоўваць нават пры пашырэнні ступенявання на некаторыя нялікавыя велічыні, такія як квадратныя матрыцы (у гэтым выпадку паказчыкавая тоеснасць спраўджваецца, толькі калі x і y перастаўляльныя).

А раз Шаблон:Math, і функцыя Шаблон:Math задавальняе паказчыкавую тоеснасць, то адразу атрымоўваем, што азначэнне функцыі Шаблон:Math з дапамогай граніцы раўназначнае кратна-дамнажальнаму азначэнню Шаблон:Math для цэлых x, адсюль вынікае супадзенне пры ўсіх рацыянальных паказчыках, а далей праз непарыўнасць і пры ўсіх рэчаісных паказчыках.

Ступеняванне праз лагарыфмаванне

Натуральны лагарыфм ln(x) з’яўляецца адваротнай функцыяй да паказнікавай функцыі e^x. Ён вызначаны пры b > 0 і задавальняе тоеснасць

$b=e^{\ln b}$

З лагарыфмічных і паказчыкавых тоеснасцей вынікае, што для любога рэчаіснага ліку x справядліва тоеснасць

$b^x=(e^{\ln b}{)}^x=e^{x\cdot \ln b}.$

Гэту тоеснасць можна выкарыстаць у якасці яшчэ аднаго азначэння рэчаіснай ступені b^x, якое ўзгоднена з вышэй прыведзеным азначэннем, заснаваным на выкарыстанні рацыянальных паказчыкаў і непарыўнасці. Азначэнне ступенявання праз лагарыфмаванне шырока ўжываецца ў камплексным аналізе, гл. ніжэй.

Рэчаісныя ступені з адмоўнымі асновамі

Ступені дадатных рэчаісных лікаў заўсёды з’яўляецца дадатнымі рэчаіснымі лікамі. Аднак ураўненне x² = 4 мае два рашэнні: 2 і −2. Галоўным, або арыфметычным, значэннем кораня 4^1/2 ёсць 2, але −2 таксама дапушчальнае значэнне квадратнага кораня. Такім чынам, тут узнікае неадназначнасць. І калі ў азначэнні ступенявання дазволіць выніку гэтай аперацыі прымаць адмоўныя значэнні, то паводзіны вызначанай так ступені становяцца цяжка апісальнымі і губляюць пры гэтым шматлікія карысныя ўласцівасці.

Пры адмоўным b ні праз лагарыфмаванне, ні з дапамогай граніцы па рацыянальных паказчыках нельга вызначыць Шаблон:Math як рэчаісны лік для ўсіх рэчаісных лікаў r. Больш таго, Шаблон:Math з’яўляецца дадатным пры любым рэчаісным значэнні r, таму Шаблон:Math не вызначаны для Шаблон:Math.

Спосаб рацыянальных паказчыкаў нельга выкарыстаць для адмоўных значэнняў b, таму што ён заснаваны на непарыўнасці. Функцыя Шаблон:Math мае адзіны непарыўны працяг з мноства рацыянальных лікаў на рэчаісныя лікі пры любым b > 0. Але пры b < 0 функцыя Шаблон:Math нават не з’яўляецца непарыўнай на мностве рацыянальных лікаў r, для якіх яна вызначана.

Напрыклад, разгледзім b = −1. Корань n-ай ступені з −1 роўны −1 пры любых няцотных натуральных n. Так што пры няцотным натуральным n маем Шаблон:Math для няцотных m, і Шаблон:Math маем для цотных m. Адсюль атрымліваем, што мноства рацыянальных лікаў q, для якіх Шаблон:Math, шчыльнае ў мностве рацыянальных лікаў, гэтак жа як і мноства тых q, для якіх Шаблон:Math. Гэта азначае, што функцыя Шаблон:Math разрыўная ў любым рацыянальным ліку q, дзе яна вызначана.

Гэтыя, на першы погляд бязладныя, з’явы атрымліваюць стройнае апісанне пры пераходзе да камплексных ступеней. Так адвольныя камплексныя ступені адмоўных лікаў b можна вызначыць выбіраючы нейкае значэнне камплекснага лагарыфма ліку b.

Камплексныя ступені з дадатнымі рэчаіснымі асновамі

Уяўныя ступені з асновай e

Паказнікавую функцыю Шаблон:Math можна вызначыць як граніцу паслядоўнасці Шаблон:Math пры N, накіраваным да бесканечнасці, і адсюль Шаблон:Math ёсць граніцаю паслядоўнасці Шаблон:Math. На гэтай анімацыі N прымае нарастальныя значэнні ад 1 да 100. Вылічэнне Шаблон:Math падаецца як сукупны вынік N-кратнага дамнажэння на камплекснай плоскасці, дзе канцавы пункт адлюстроўвае бягучае месцазнаходжанне велічыні Шаблон:Math. Відаць, што пры нарастанні N значэнне Шаблон:Math прыбліжаецца да гранічнага пункта −1. Як вынік, спраўджваецца тоеснасць Шаблон:Math, вядомая як тоеснасць Ойлера.

Каб усвядоміць, што ўяўляе сабой выраз Шаблон:Math для рэчаісных Шаблон:Math, варта звярнуцца да геаметрычнага сэнсу аперацый над камплекснымі лікамі і азначэння паказнікавай функцыі як граніцы. Разгледзім прамавугольны трохвугольнік Шаблон:Math Пры вялікіх значэннях n гэты трохвугольнік амаль тое ж, што і кругавы сектар с малым цэнтральным вуглом, роўным Шаблон:Math радыянаў. Трохвугольнікі Шаблон:Math узаемна падобныя пры любых цэлых k. Так што пры досыць вялікіх n значэнні Шаблон:Math набліжаюцца да свайго гранічнага пункта, які ляжыць на адзінкавай акружнасці і мае палярныя каардынаты Шаблон:Math (каардыната Шаблон:Math азначае адлегласць паміж пунктам і пачаткам каардынат, каардыната Шаблон:Math ёсць палярны вугал, які адлічваецца ад дадатнага прамяня рэчаіснай восі); дэкартавы каардынаты гэтага пункта роўныя Шаблон:Math. Такім чынам, маем формулу

$e^{ix}=\cos x+i\sin x,$

якая называецца формулай Ойлера і звязвае ступеняванне з трыганаметрычнымі функцыямі праз камплексныя лікі.

Заўвага: прыведзеныя разважанні — не доказ формулы Ойлера, а ўсяго толькі так званыя «праўдападобныя», або «эўрыстычныя», разважанні.

Рашэнні ўраўнення Шаблон:Math з’яўляецца кратнымі цэлымі ад Шаблон:Math:

$\{z:e^z=1\}=\{2k\pi i:k\in \mathbb{Z}\}.$

Ці больш агульна, калі спраўджваецца роўнасць Шаблон:Math, то любое рашэнне ўраўнення Шаблон:Math можна атрымаць складаючы Шаблон:Math і нейкае цэлае кратнае ад Шаблон:Math:

$\{z:e^z=w\}=\{v+2k\pi i:k\in \mathbb{Z}\}.$

Такім чынам, камплексная паказнікавая функцыя з’яўляецца перыядычнай функцыяй з перыядам Шаблон:Math.

Прасцей: Шаблон:Math; Шаблон:Math.

Трыганаметрычныя функцыі

Шаблон:Асноўны артыкул З прыведзенай вышэй формулы Ойлера вынікае, што трыганаметрычныя функцыі сінус і косінус можна вызначыць праз паказнікавую функцыю:

$\cos (z)=\frac{e^{iz}+e^{-iz}}{2};\sin (z)=\frac{e^{iz}-e^{-iz}}{2i}$

Гістарычна сінус і косінус былі вызначаны з дапамогай геаметрычных паняццяў да вынаходніцтва камплексных лікаў. Дзякуючы формуле Ойлера і ўласцівасцям паказнікавай функцыі складаныя формулы трыганаметрычных функцый ад сумы можна ўключыць у адну простую паказчыкавую формулу

$e^{i(x+y)}=e^{ix}\cdot e^{iy}.$

Выкарыстанне ступенявання з камплекснымі паказчыкамі дазваляе зводзіць трыганаметрычныя задачы да алгебраічных.

Камплексныя ступені з дадатнымі рэчаіснымі асновамі

Няхай b з’яўляецца дадатным рэчаісным лікам, а z ёсць камплексны лік. Тады ступень Шаблон:Math вызначаецца як Шаблон:Math, дзе Шаблон:Math з’яўляецца адзіным рашэннем ураўнення Шаблон:Math. (Такім чынам, спосаб, прыдатны для рэчаісных паказчыкаў, працуе і ў выпадку камплексных паказчыкаў).

Напрыклад:

2ⁱ = e ^i·ln(2) = cos(ln(2)) + i·sin(ln(2)) ≈ 0.76924 + 0.63896i

eⁱ ≈ 0.54030 + 0.84147i

10ⁱ ≈ −0.66820 + 0.74398i

(e^2π)ⁱ ≈ 535.49ⁱ ≈ 1

Тоеснасць $(b^z{)}^u=b^{zu}$, увогуле кажучы, не выконваецца для камплексных ступеней. Просты проціпрыклад:

$(e^{2\pi i}{)}^i=1^i=1\ne e^{-2\pi }=e^{2\pi i\cdot i}$

Аб прычынах гэтай з’явы гл. раздзел #Непрыдатнасць ступенных і лагарыфмічных тоеснасцей.

Ступені камплексных лікаў

Спробы пашырыць ступеняванне на агульны выпадак камплексных паказчыкаў і камплексных асноў сутыкаюцца з цяжкасцямі. Пры гэтым прыйдзецца мець справу з мнагазначнымі функцыямі, якія прымаюць у пункце не адно значэнне, а адразу нейкае мноства значэнняў. Акрамя таго, адны са ступенных і лагарыфмічных тоеснасцей будуць спраўджвацца толькі з пэўнымі ўдакладненнямі, а другія наогул стануць непрыгоднымі.

Пры апісанні мнагазначных функцый натуральным чынам узнікае паняцце рыманавай паверхні. Камплексныя ступені і лагарыфмы можна разглядаць як адназначныя функцыі на адпаведных рыманавых паверхнях. Рыманава паверхня мнагазначнай функцыі мнагапластовая, гэта значыць аднаму пункту на звычайнай камплекснай плоскасці адпавядае мноства пунктаў рыманавай паверхні. Аднак можна зрабіць такі разрэз камплекснай плоскасці, што рыманава паверхня распадзецца на асобныя пласты (або лісты), прычым кожнаму пункту камплекснай плоскасці на такім пласце будзе адпавядаць не больш за адзін пункт. Выбіраючы пэўны пласт рыманавай паверхні, мы тым самым выбіраем пэўную адназначную галіну функцыі. Значэнне выбранай галіны мае разрыў уздоўж разрэзу. Таму звычайныя правілы для ступеней могуць прывесці нас да памылкі.

Паколькі камплексны лагарыфм з’яўляецца мнагазначнай функцыяй, то любая нерацыянальная ступень камплекснага ліку мае бесканечную колькасць магчымых значэнняў. Галоўнае значэнне выбіраецца з мноства ўсіх значэнняў так, каб яно супадала са значэннем звычайнай рэчаіснай ступені ў выпадку дадатных рэчаісных асноў і рэчаісных паказчыкаў.

Узвядзенне дадатных рэчаісных лікаў у камплексную ступень фармальна адрозніваецца ад узвядзення камплексных лікаў у камплексную ступень. Гэта выклікана ў першую чаргу тым, што для вызначэння першай аперацыі дастаткова звычайнага адназначнага рэчаіснага лагарыфма, у той час як для другой неабходны мнагазначны камплексны лагарыфм. Тым не менш, камплекснае ступеняванне ўключае ў сябе і ступеняванне з дадатнымі рэчаіснымі асновамі.

Цэлыя ступені камплексных лікаў

Месцазнаходжанне камплекснага ліку з модулем r і аргументам θ

Пры цэлых паказчыках можна карыстацца азначэннем ступені, прыведзеным у раздзеле #Адвольныя цэлыя паказчыкі. Цэлая ступень камплекснага ліку з’яўляецца адназначнай функцыяй. Акрамя таго існуе цікавая формула для ступенявання камплексных лікаў у выпадку цэлых паказчыкаў.

Няхай n — цэлы лік, і

$z=r(\cos \theta +i\sin \theta ),$

дзе Шаблон:Math — модуль камплекснага ліку Шаблон:Math, Шаблон:Math — аргумент ліку Шаблон:Math.

Тады згодна з формулай Муаўра цэлую ступень ліку Шаблон:Math можна вылічыць як:

$w=z^n=r^n(\cos (n\theta )+\sin (n\theta )).$

Заўвага 1: калі Шаблон:Math прымаем па азначэнні Шаблон:Math.

Заўвага 2: калі Шаблон:Math аргумент Шаблон:Math не вызначаны.

Рацыянальныя ступені камплексных лікаў

Рацыянальныя ступені камплексных лікаў з’яўляюцца рашэннямі пэўных алгебраічных ураўненняў. А таму, з улікам асноўнай тэарэмы алгебры, яны заўсёды маюць канечную колькасць значэнняў.

Спярша вызначым корань n-ай ступені з камплекснага ліку. Коранем n-ай ступені з ліку Шаблон:Math называецца любое рашэнне Шаблон:Math ураўнення Шаблон:Math. Згодна з асноўнай теарэмай алгебры гэтае ўраўненне мае n рашэнняў (калі Шаблон:Math, то ўраўненне мае адзін n-кратны корань). Напрыклад, квадратны корань Шаблон:Math з’яўляецца рашэннем ураўнення Шаблон:Math і, адпаведна, мае два значэнні.

З формулы Муаўра вынікае, што ўсе значэнні кораня n-й ступені можна вылічыць па формуле:

$w=\sqrt[n]{z}=\underset{+}{\sqrt[n]{|z|}}(\cos \left(\frac{\arg z+2k\pi }{n}\right)+i\sin \left(\frac{\arg z+2k\pi }{n}\right)),k=0,1,\dots ,n-1,$

дзе $\underset{+}{\sqrt[n]{|z|}}$ — арыфметычны корань з абсалютнай велічыні камплекснага ліку Шаблон:Math; Шаблон:Math — галоўнае значэнне аргумента ліку Шаблон:Math, якое належыць прамежку Шаблон:Math.

Карані пятай ступені з адзінкі (вяршыні пяцівугольніка, упісанага ў адзінкавую акружнасць)

Для любых Шаблон:Math, не роўных нулю і бесканечнасці, гэта формула дае n розных значэнняў, якія ляжаць на акружыне радыуса $\underset{+}{\sqrt[n]{|z|}}$ і ўтвараюць правільны n-вугольнік.

Значэнне кораня n-ай ступені, роўнае

$\underset{+}{\sqrt[n]{z}}=\underset{+}{\sqrt[n]{|z|}}(\cos \frac{\arg z}{n}+i\sin \frac{\arg z}{n}),$

называецца галоўным значэннем. Няцяжка пераканацца, што для дадатных рэчаісных лікаў галоўнае значэнне кораня супадае з арыфметычным коранем n-ай ступені.

Нарэшце, вызначым ступень з адвольным рацыянальным паказчыкам як:

$z^{\frac{m}{n}}={\left(\sqrt[n]{z}\right)}^m.$

Адвольныя ступені камплексных лікаў

Ступеняванне ў выпадку адвольных камплексных асноў і паказчыкаў вызначаецца праз камплексны натуральны лагарыфм:

$w=a^z=e^{z\cdot \mathrm{Ln}a},$

дзе Шаблон:Math — камплексны лагарыфм ліку Шаблон:Math.

Варта заўважыць: раз камплексны лагарыфм — мнагазначная функцыя, то ступеняванне камплекснага ліку, ўвогуле кажучы, з’яўляецца мнагазначнай аперацыяй.

Запішам аснову Шаблон:Math ў паказчыкавай форме

$a=r{e}^{i\theta }=e^{\ln (r)+i\theta },$

дзе Шаблон:Math — абсалютная велічыня (модуль) ліку Шаблон:Math, Шаблон:Math — галоўнае значэнне аргумента ліку Шаблон:Math.

З улікам таго, што Шаблон:Math}, ступеняванне ліку Шаблон:Math прымае выгляд

$w=a^z=e^{z\cdot (\ln r+\theta i+2k\pi i)}.$

Адсюль відаць, што пры ірацыянальным паказчыку Шаблон:Math ступень камплекснага ліку мае бесканечна многа значэнняў. Такім чынам, каб вылічыць пэўнае значэнне ступені, найперш трэба выбраць нейкую галіну камплекснага лагарыфма (выбраць пэўнае Шаблон:Math).

Прыклады ступенявання камплексных лікаў

У прыведзеных прыкладах пераважна выкарыстоўваецца галоўнае значэнне лагарыфма. Абсяг вызначэння галоўнага значэння — гэта камплексная плоскасць з разрэзам уздоўж адмоўнага напрамку рэчаіснай восі і выкалатым нулём. Пры гэтым галоўнае значэнне аргумента Шаблон:Math належыць прамежку Шаблон:Math. Каб вылічыць Шаблон:Math, запішам Шаблон:Math ў паказчыкавай і алгебраічнай формах:

$\begin{array}{cc}i& =1\cdot e^{\frac{1}{2}i\pi }\\ i& =0+1i\end{array}$

Падстаўляючы ў формулу ступенявання, атрымліваем:

$i^i=e^{i\cdot \frac{i\pi }{2}}=e^{-\frac{1}{2}\pi }\approx 0.2079.$

Гэткім жа чынам, каб вылічыць Шаблон:Math, запішам лік −2 ў паказчыкавай форме,

$-2=2e^{i\pi }$

і выкарыстаем вышэйпрыведзеную формулу

$(-2{)}^{3+4i}=e^{(3+4i)\cdot (\ln (2)+i\pi )}=e^{3\ln (2)-4\pi +i(3\pi +4\ln (2))}\approx (2.602-1.006i)\cdot 10^{-5}$

Значэнне камплекснай ступені залежыць ад таго, якая галіна выкарыстоўваецца. Напрыклад, калі пры вылічэнні Шаблон:Math у якасці значэння Шаблон:Math ўзяць Шаблон:Math, значэнне ступені будзе роўным Шаблон:Math; у той час як галоўнае значэнне ступені Шаблон:Math, вылічанае вышэй, раўняецца Шаблон:Math. Мноства ўсіх магчымых значэнняў велічыні Шаблон:Math задаецца як:

$\begin{array}{cc}i& =e^{\frac{1}{2}i\pi +i2\pi k},k\in \mathbb{Z}\\ i^i& =e^{i(\frac{1}{2}i\pi +i2\pi k)}=e^{-(\frac{1}{2}\pi +2\pi k)}\end{array}$

Такім чынам, існуе бесканечна многа магчымых значэнняў Шаблон:Math, па адным для кожнага цэлага k. Усе яны з’яўляецца рэчаіснымі лікамі, так што можна сказаць, што Шаблон:Math мае бесканечна многа рэчаісных значэнняў.

Непрыдатнасць ступенных і лагарыфмічных тоеснасцей

Некаторыя тоеснасці для ступеней і лагарыфмаў, справядлівыя ў выпадку рэчаісных лікаў, непрыдатныя для камплексных лікаў. Прычынай гэтага ёсць тое, што нельга вызначыць камплексныя лагарыфмы і камплексныя ступені так, каб яны былі адназначнымі і ўзгодненымі са сваімі рэчаіснымі адпаведнікамі, і захоўвалі пры гэтым усе свае суадносіны, справядлівыя ў рэчаісным выпадку.

Прыклады непрыдатнасці тоеснасцей:

• Тоеснасць Шаблон:Math праўдзіцца пры любых дадатных рэчаісных b і любых рэчаісных x. Аднак для галоўнай галіны камплекснага лагарыфма маШаблон:Націскем

  $i\pi =\ln (-1)=\ln [(-i{)}^2]\ne 2\ln (-i)=2(-\frac{i\pi }{2})=-i\pi$

  Тоеснасць не будзе выконвацца, якую б галіну лагарыфма мы не ўзялі. З вышэйпрыведзенага прыклада можна было б зрабіць выснову, што:

  $\ln (w^z)\equiv z\cdot \ln (w)(\mathrm{mod}2\pi i)$

  Але гэта тоеснасць таксама несправядлівая, калі разглядаць Шаблон:Math як мнагазначную функцыю. Магчымыя значэнні велічыні Шаблон:Math утрымліваюць значэнні Шаблон:Math як падмноства. Няхай цяпер Шаблон:Math абазначае галоўнае значэнне лагарыфма, а Шаблон:Math — мноства ўсіх магчымых значэнняў лагарыфма. Тады

  $\begin{array}{cc}\mathrm{Ln}\left(w^z\right)& =\{z\cdot \ln (w)+z\cdot 2\pi im+2\pi in:m,n\in \mathbb{Z}\}\\ z\cdot \mathrm{Ln}(w)& =\{z\cdot \ln (w)+z\cdot 2\pi im:m\in \mathbb{Z}\}\end{array}$

• Тоеснасці Шаблон:Math і Шаблон:Math спраўджваюцца, калі b і c з’яўляецца дадатнымі рэчаіснымі лікамі, а x з’яўляецца рэчаісным лікам. Аднак, калі пры вылічэнні ступеней выкарыстоўваць галоўныя значэнні, можна атрымаць наступныя супярэчнасці:

  $1=(-1\times -1{)}^{\frac{1}{2}}=(-1{)}^{\frac{1}{2}}(-1{)}^{\frac{1}{2}}=-1,$

  $i=(-1{)}^{\frac{1}{2}}={\left(\frac{1}{-1}\right)}^{\frac{1}{2}}=\frac{1^{\frac{1}{2}}}{(-1{)}^{\frac{1}{2}}}=\frac{1}{i}=-i.$

  З другога боку, калі x — цэлы лік, тоеснасці справядлівыя для ўсіх ненулявых камплексных лікаў.

• Тоеснасць Шаблон:Math справядліва для ўсіх рэчаісных лікаў x і y. Але дапушчэнне справядлівасці тоеснасці і для камплексных лікаў прыводзіць да супярэчнасці, заўважанай у 1827 годзе Томасам Клаўзенам:

  Для любога цэлага n маем:

  1. $e^{1+2\pi in}=e^1{e}^{2\pi in}=e\cdot 1=e,$
  2. ${\left(e^{1+2\pi in}\right)}^{1+2\pi in}=e,$
  3. $e^{1+4\pi in-4{\pi }^2{n}^2}=e,$
  4. $e^1{e}^{4\pi in}{e}^{-4{\pi }^2{n}^2}=e,$
  5. $e^{-4{\pi }^2{n}^2}=1.$

  Але гэта няпраўда для любога n, не роўнага нулю.

  У прыведзеным разважанні паўстае шэраг праблем:

  Галоўная памылка — гэта змена парадку ступенявання пры пераходзе ад другога радка да трэцяга: якое са значэнняў выбіраецца ў якасці галоўнага.

  Аднак з погляду мнагазначнасці першая памылка была зроблена раней. У першым радку лік e разглядаецца як рэчаісны, тады як вынік Шаблон:Math з’яўляецца камплексным лікам, які лепш запісаць у выглядзе Шаблон:Math. Падстаноўка камплекснага ліку замест рэчаіснага ў другім радку надае ступені мнагазначнасць. Змена парадку ступенявання пры пераходзе ад другога радка да трэцяга таксама ўплывае на мноства значэнняў выніку. Таму $(e^z{)}^w\ne e^{zw}$, а дакладней спраўджваецца роўнасць $(e^z{)}^w=e^{(z+2\pi in)w}$, дзе апошні выраз прымае розныя значэнні ў залежнасці ад цэлых n.

Нуль у нулявой ступені

Графік Шаблон:Math. Чырвоныя крывыя (на якіх z мае сталае значэнне) даюць розныя граніцы, калі Шаблон:Math прыбліжаецца да Шаблон:Math. Зялёныя ж крывыя (якія маюць канечны сталы нахіл: Шаблон:Math) усе даюць граніцу 1.

Дыскрэтныя паказчыкі ступені

Часцей за ўсё, у абставінах, дзе паказчыкі прымаюць дыскрэтныя (звычайна, цэлыя) значэнні, вытлумачэнне значэння 0⁰ як адзінкі спрашчае формулы і здымае патрэбу ва ўвядзенні адмысловых выпадкаў у тэарэмах. (Гл. наступны падраздзел пра абставіны, дзе паказчыкі прымаюць значэнні з непарыўнага мноства.) Напрыклад:

• Разгляд выразу Шаблон:Math як пустога здабытку надзяляе яго значэннем 1, нават калі Шаблон:Math.
• У камбінаторыцы выраз 0⁰ тлумачыцца як колькасць пустых 0-ак (нулёвак), складзеных з элементаў пустога мноства. Існуе адзіная пустая нулёўка.
• Гэтак жа тэорыя мностваў вытлумачвае выраз 0⁰ як лік функцый з пустога мноства ў пустое. Існуе адзіная такая функцыя, а іменна пустая функцыя.
• Пішучы $\sum a_n{x}^n$ для мнагачленаў і ступенных радоў, мяркуюць, што Шаблон:Math. Тоеснасці на ўзор $\frac{1}{1-x}={\sum }_{n=0}^{\mathrm{\infty }}{x}^n$ і $e^x={\sum }_{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}$, а таксама біном Ньютана $(1+x{)}^n={\sum }_{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})x^k$ справядлівыя для Шаблон:Math толькі пры ўмове 0⁰ = 1 .
• У дыферэнцыяльным злічэнні правіла дыферэнцавання ступеневай функцыі $\frac{d}{dx}{x}^n=n{x}^{n-1}$ выконваецца для n = 1 у пункце Шаблон:Math толькі пры ўмове 0⁰ = 1.

У аналізе

З другога боку, калі выраз 0⁰ узнікае пры спробе вызначыць граніцу $\underset{x\to 0}{\lim }f(x{)}^{g(x)}$, яго трэба разглядаць як нявызначанасць.

• Граніцу выразу часта можна вылічыць, замяніўшы падвыразы іхнімі граніцамі, ці проста падставіўшы гранічныя значэнні аргумента. Калі ж выраз пры такой падстаноўцы страчвае сэнс, яго называюць нявызначанасцю. На самай справе, калі f(t) і g(t) з’яўляецца рэчаіснымі функцыямі і абедзве імкнуцца да 0 (пры t, накіраваным да рэчаіснага ліку або ±∞), і акрамя таго f(t)>0, функцыя Шаблон:Math не абавязана імкнуцца да 1. У залежнасці ад f і g, граніца выразу Шаблон:Math можа быць любым неадмоўным рэчаісным лікам або +∞, ці можа проста не існаваць. Напрыклад, усе прыведзеныя ніжэй функцыі выглядаюць як Шаблон:Math, дзе Шаблон:Math,Шаблон:Math пры [[аднабаковая граніца функцыі|Шаблон:Math]], аднак іхнія гранічныя значэнні розныя:

$\underset{t\to 0^{+}}{\lim }{t}^t=1,\underset{t\to 0^{+}}{\lim }{\left(e^{-\frac{1}{t^2}}\right)}^t=0,\underset{t\to 0^{+}}{\lim }{\left(e^{-\frac{1}{t^2}}\right)}^{-t}=+\mathrm{\infty },\underset{t\to 0^{+}}{\lim }{\left(e^{-\frac{1}{t}}\right)}^{at}=e^{-a}$.

Такім чынам, выраз 0⁰ з’яўляецца нявызначанасцю. Такія паводзіны паказваюць, што функцыя ад двух зменных Шаблон:Math, хоць і непарыўная на мностве Шаблон:Math}, але не можа быць непарыўна працягнута ні на адно мноства, якое ўтрымлівае пункт (0,0), бо няма спосабу несупярэчліва вызначыць 0⁰.

• На камплекснай плоскасці функцыя Шаблон:Math вызначаецца для ненулявых z згодна з Шаблон:Math. Аднак ніводная галіна функцыі Шаблон:Math не вызначана ў пункце Шаблон:Math.

Літаратура

• Шаблон:Крыніцы/БелЭн