Камплексны лік

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

КамплеШаблон:Націскксныя ліШаблон:Націсккі — пашырэнне мноства рэчаісных лікаў. Мноства камплексных лікаў звычайна пазначаецца праз $ℂ$.

Камплексны лік вызначаюць як фармальную суму Шаблон:Math, дзе Шаблон:Math і Шаблон:Math — рэчаісныя лікі, Шаблон:Math — [[уяўная адзінка|уяШаблон:Націскўная адзіШаблон:Націскнка]], гэта значыць лік, які задавальняе раўнанне

$i^2=-1.$

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

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

Азначэнні

Стандартнае

Фармальна, камплексны лік Шаблон:Math — гэта ўпарадкаваная пара сапраўдных лікаў Шаблон:Math з аперацыямі складання і множання, вызначанымі наступным чынам:

• $(x,y)+(x^{\prime },y^{\prime })=(x+x^{\prime },y+y^{\prime })$
• $(x,y)\cdot (x^{\prime },y^{\prime })=(x{x}^{\prime }-y{y}^{\prime },x{y}^{\prime }+y{x}^{\prime }).$

Пры такім азначэнні ролю ўяўнай адзінкі выконвае пара $i=(0,1)$. Заўважым, што ў якасці ўяўнай адзінкі можна ўзяць таксама пару $i_2=-i=(0,-1)$ (гэта прывядзе да замены кожнага камплекснага лікі спалучаным да яго).

Заўвага. Выраз выгляду $i=\sqrt{-1}$ неадназначны і можа выклікаць шэраг непаразуменняў, бо арыфметычны корань вызначаецца над мноствам неадмоўных лікаў. Аж да канца XIX стагоддзя запіс на ўзор $5+\sqrt{-3}$ лічылі дапушчальным, аднак цяпер, каб пазбегнуць памылак, прынята запісваць гэты выраз як $5+i\sqrt{3}.$ Прыклад магчымай памылкі пры неасцярожным выкарыстанні састарэлага запісу:

$\sqrt{-3}\cdot \sqrt{-3}=\sqrt{(-3)\cdot (-3)}=\sqrt{9}=3,$

тым часам правільны запіс дае іншы адказ:

$\left(i\sqrt{3}\right)\cdot \left(i\sqrt{3}\right)=i\cdot i\cdot \sqrt{9}=-3.$

Матрычнае

Камплексныя лікі можна таксама азначыць як сямейства рэчаісных матрыц выгляду

$\left(\begin{array}{cc}x& y\\ -y& x\end{array}\right)$

са звычайным матрычным складаннем і множаннем. Рэчаіснай адзінцы будзе адпавядаць

$\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),$

уяўнай адзінцы —

$\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right).$

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

$|z{|}^2=\left|\begin{array}{cc}a& -b\\ b& a\end{array}\right|=(a^2)-((-b)(b))=a^2+b^2.$

Камплекснаму спалучэнню $\bar{z}$ адпавядае транспанаванне матрыцы.

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

Дзеянні над камплекснымі лікамі

• Складанне

  $(a+bi)+(c+di)=(a+c)+(b+d)i$

• Адыманне

  $(a+bi)-(c+di)=(a-c)+(b-d)i$

• Множанне

  $(a+bi)(c+di)=ac+bci+adi+bd{i}^2=(ac-bd)+(bc+ad)i$

• Дзяленне

  $\frac{(a+bi)}{(c+di)}=\left(\frac{ac+bd}{c^2+d^2}\right)+\left(\frac{bc-ad}{c^2+d^2}\right)i$

Звязаныя азначэнні

Камплексную зменную звычайна пазначаюць як Шаблон:Math. Хай Шаблон:Math і Шаблон:Math ёсць рэчаіснымі лікамі, такімі, што Шаблон:Math. Тады

• Лікі $x=\mathrm{\Re }(z)$ або $\mathrm{Re}(z)$ і $y=\mathrm{\Im }(z)$ або $\mathrm{Im}(z)$ называюцца адпаведна рэчаіснай (Real) і уяўнай (Imaginary) часткамі ліку Шаблон:Math.
  • Калі Шаблон:Math, то лік Шаблон:Math называюць уяўным або чыста ўяўным.
• Камплексны лік $\overline{z}=x-iy$ называецца спалуШаблон:Націскчаным (або камплексна спалучаным) да $z$.
• Лік $|z|=\sqrt{x^2+y^2}=\sqrt{z\overline{z}}$ называецца [[Абсалютная велічыня|моШаблон:Націскдулем]] ліку $z$
• Вугал $\phi$ такі, што $\cos \phi =x\cdot |z{|}^{-1}$ і $\sin \phi =y\cdot |z{|}^{-1}$, называецца аргумеШаблон:Націскнтам ліку $z$.

Паданне камплексных лікаў

Алгебраічная форма

Запіс камплекснага ліку $z$ у выглядзе $x+iy$, $x,y\in ℝ$, называюць алгебраічнай формай камплекснага ліку.

Суму і здабытак камплексных лікаў можна вылічыць непасрэдным сумаваннем і перамнажэннем такіх выразаў, з улікам тоеснасці $i^2=-1$.

Трыганаметрычная і паказнікавая формы

Калі рэчаісную $x$ і ўяўную $y$ часткі камплекснага ліку выразіць праз модуль $r=|z|$ і аргумент $\phi$ ($x=r\cos \phi$, $y=r\sin \phi$), то камплексны лік $z$ можна запісаць у трыганаметрычнай форме

$z=r(\cos \phi +i\sin \phi )$.

Таксама можа быць карыснай так званая паказнікавая форма запісу камплексных лікаў, цесна звязаная з трыганаметрычнай праз формулу Ойлера:

$z=r{e}^{i\phi }$,

дзе $e^{i\phi }$ — пашырэнне экспаненты на выпадак камплекснага паказчыка ступені.

Геаметрычнае паданне

Калі на плоскасці па восі абсцыс размясціць рэчаісную частку, а па восі ардынат — уяўную, то камплекснаму ліку будзе адпавядаць кропка з дэкартавымі каардынатамі $x$ і $y$ (або яе радыус-вектар, што тое ж самае), а модуль і аргумент будуць палярнымі каардынатамі гэтай кропкі.

У геаметрычным паданні сума камплексных лікаў адпавядае вектарнай суме адпаведных вектараў. Пры перамнажэнні камплексных лікаў іх модулі перамнажаюцца, а аргументы складаюцца. Адсюль, у прыватнасці, атрымоўваецца Формула Муаўра.

Формула Муаўра

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

Формула Муаўра дазваляе ўзводзіць у ступень камплексны лік, які пададзены ў трыганаметрычнай форме. Формула Муаўра мае выгляд:

$z^n=[r(\cos \phi +i\sin \phi ){]}^n=r^n(\cos n\phi +i\sin n\phi ),$,

дзе $r$ — модуль, а $\phi$ — аргумент камплекснага ліку. У сучасных абазначэннях яна апублікавана Ойлерам у 1722 г.

Гэтая формула дастасавальная пры вылічэнні каранёў n-й ступені з камплекснага ліку.

$z^{1/n}=[r(\cos (\phi +2\pi k)+i\sin (\phi +2\pi k)){]}^{1/n}=$
$=r^{1/n}(\cos \frac{\phi +2\pi k}{n}+i\sin \frac{\phi +2\pi k}{n}),$
$k=0,1..n-1$

Гісторыя

Упершыню, відаць, уяўныя велічыні з’явіліся ў вядомай працы «Вялікае мастацтва, або аб алгебраічных правілах» Кардана (1545), які злічыў іх непрыдатнымі да ўжывання.

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

Выразы выгляду $a+b\sqrt{-1}$, якія з’яўляюцца пры развязанні квадратных і кубічных раўнанняў, сталі называць «уяўнымі» ў XVI-XVII стагоддзях, аднак нават для многіх буйных вучоных XVII ст. алгебраічная і геаметрычная сутнасць уяўных велічынь здавалася няяснай. Вядома, напрыклад, што Ньютан не ўключаў уяўныя велічыні ў паняцце ліку, а Лейбніцу належыць фраза: «Уяўныя лікі — гэтае выдатнае і цудоўнае сховішча чароўнага духу, амаль што амфібія быцця з нябытам»Шаблон:Fact.

Задача аб выразе каранёў ступені $n$ з дадзенага ліку была ў асноўным развязаная ў працах Муаўра (1707) і Шаблон:Не перакладзена (1722).

Знак $i=\sqrt{-1}$ прапанаваў Ойлер (1777, апубл. 1794), які ўзяў для гэтага першую літару слова imaginarius. Ён жа выказаў у 1751 думку аб алгебраічнай замкнёнасці поля камплексных лікаў, да такой жа высновы прыйшоў Д’Аламбер (1747), але першы строгі доказ гэтага факта належыць Гаўсу (1799). Ён жа пачаў шырока ўжываць тэрмін «камплексны лік» у 1831 г, хоць у навуковай літаратуры тэрмін «камплексны лік» выкарыстаў яшчэ раней французскі матэматык Лазар Карно ў 1803 г.

Геаметрычнае вытлумачэнне камплексных лікаў і дзеянняў над імі з’явілася ўпершыню ў працы Веселя, (1799). Першыя крокі ў гэтым кірунку былі зроблены Ўолісам (Англія) у 1685 г. Геаметрычнае паданне камплексных лікаў, часам называнае «дыяграмай Аргана», увайшло ва ўжытак пасля апублікавання ў 1806 і 1814 працы Аргана, якая паўтарала незалежна высновы Веселя.

Арыфметычная тэорыя камплексных лікаў як пар рэчаісных лікаў была пабудавана Гамільтанам (1837). Яму ж прыналежыць абагульненне камплексных лікаў — кватэрніёны, алгебра якіх некамутатыўна.

Функцыі камплекснага пераменнага

• Гама-функцыя
• Гіпербалічныя функцыі
• Дзэта-функцыя Рымана
• Лагарыфм
• Сталая функцыя
• W-функцыя Ламберта

Абагульненні

• Гіперкамплексныя лікі — канечнамерныя алгебры над полем рэчаісных лікаў.

Спасылкі

• Понтрягин Л., «Комплексные числа», Квант, № 3, 1982.
• Арнольд В. И., «Геометрия комплексных чисел, кватернионов и спинов», МЦНМО, 2002
• Просты калькулятар камплексных лікаў Шаблон:Архівавана
• CaRevol Jet — Формульны калькулятар камплексных лікаў пад Windows.
• Елисеев В. И., «Введение в методы теории функций пространственного комплексного переменного», Цэнтр навукова-тэхнічнай творчасці моладзі «Алгоритм». — М.:, НИАТ. — 1990. Шыфр Д7-90/83308

Дадатковыя спасылкі

• Просты калькулятар камплексных лікаў Шаблон:Архівавана.
• CaRevol Jet — Формульны калькулятар камплексных лікаў пад Windows.