Komplexní čísla (z lat. complexus - spojení, kombinace [1] ; pro dvojí přízvuk viz pozn. [K 1] ) - čísla tvaru kde - reálná čísla , - imaginární jednotka [2] , tedy číslo, pro které platí rovnost: Množina komplexních čísel se obvykle označuje symbolem Reálná čísla lze považovat za speciální případ komplexních čísel, mají tvar Hlavní vlastností je, že je v ní splněna hlavní věta algebry , tzn. , každý polynom tého stupně ( ) má kořeny . Osvědčený že systém komplexních čísel je logicky konzistentní [K 2] .
Stejně jako pro reálná čísla jsou i pro komplexní čísla definovány operace sčítání , odčítání , násobení a dělení . Nicméně, mnoho vlastností komplexních čísel se liší od těch reálných čísel; například nelze určit, které ze dvou komplexních čísel je větší nebo menší než . Je vhodné reprezentovat komplexní čísla body na komplexní rovině ; například pro zobrazení sdružených čísel se používá operace odrazu kolem vodorovné osy . Alternativní reprezentace komplexního čísla v goniometrickém zápisu se ukázala jako užitečná pro výpočet mocnin a odmocnin . Komplexní argumentační funkce jsou studovány v komplexní analýze .
Zpočátku myšlenka potřeby používat komplexní čísla vznikla jako výsledek formálního řešení kubických rovnic , ve kterém bylo záporné číslo získáno ve vzorci Cardano pod odmocninou [ 3] . Velkým přínosem pro studium komplexních čísel byli takoví matematici jako Euler , který zavedl obecně přijímaný zápis imaginární jednotky, Descartes , Gauss . Termín „komplexní číslo“ zavedl do vědy Gauss v roce 1831 [4] .
Jedinečné vlastnosti komplexních čísel a funkcí našly široké uplatnění při řešení mnoha praktických problémů v různých oblastech matematiky, fyziky a techniky: ve zpracování signálů , teorii řízení , elektromagnetismu , teorii oscilací , teorii pružnosti a mnoha dalších [5] . Komplexní rovinné transformace se ukázaly jako užitečné v kartografii a dynamice tekutin . Moderní fyzika se spoléhá na popis světa prostřednictvím kvantové mechaniky , která se opírá o systém komplexních čísel.
Je také známo několik zobecnění komplexních čísel - například čtveřice .
Každé komplexní číslo se skládá ze dvou složek [6] :
Opakem komplexního číslaje čísloNapříkladopakem čísla je číslo
Na rozdíl od reálných čísel nelze komplexní čísla porovnávat za více/méně ; bylo prokázáno, že neexistuje způsob, jak rozšířit pořadí dané pro reálná čísla na všechna komplexní čísla tak, aby pořadí bylo v souladu s aritmetickými operacemi (například tak, že z vyplývá ). Komplexní čísla však lze porovnat pro rovno/nerovná se [6] :
Čtyři aritmetické operace pro komplexní čísla (definované níže) mají stejné vlastnosti jako ty pro reálná čísla .
Definice sčítání a odčítání komplexních čísel [6] :
V následující tabulce [6] jsou uvedeny základní vlastnosti adice pro libovolný komplex
Vlastnictví | Algebraický zápis |
---|---|
komutativnost ( přenositelnost ) | |
Asociativita ( kompatibilita ) | |
Nulová vlastnost | |
Vlastnost opačného prvku | |
Provádění odčítání pomocí sčítání |
Definujme součin [6] komplexních čísel a
V následující tabulce [6] jsou uvedeny základní vlastnosti násobení pro libovolný komplex
Vlastnictví | Algebraický zápis |
---|---|
komutativnost ( přenositelnost ) | |
Asociativita ( kompatibilita ) | |
jednotkový majetek | |
Nulová vlastnost | |
Distributivita (distributivita) násobení vzhledem ke sčítání |
Pravidla pro mocniny imaginární jednotky:
atd.To znamená, že pro jakékoli celé číslo platí vzorec true , kde výraz znamená získání zbytku po dělení 4.
Po definování operací s komplexními čísly lze výraz vnímat nikoli jako formální zápis, ale jako výraz sestavený podle výše uvedených pravidel sčítání a násobení. Abychom to ukázali, rozšiřme všechny proměnné, které jsou v něm obsaženy, podle výše uvedených konvencí a definice sčítání a násobení:
Komplexní číslo se nazývá konjugované na komplexní číslo (podrobněji níže ).
Pro každé komplexní číslo kromě nuly můžete najít jeho inverzní [10] komplexní číslo Chcete-li to provést, vynásobte čitatel a jmenovatel zlomku komplexním sdruženým číslem jmenovatele.
Definujme výsledek dělení [6] komplexního čísla nenulovým číslem
Stejně jako u reálných čísel lze dělení nahradit vynásobením dividendy převrácenou hodnotou dělitele .
Pro komplexní čísla jsou také definovány extrakce odmocnin , umocňování a logaritmus .
Již bylo zmíněno, že komplexní čísla nelze více či méně porovnávat (jinými slovy, relace pořadí není nastavena na množině komplexních čísel ). Další rozdíl: každý polynom stupně s komplexními (zejména reálnými) koeficienty má s přihlédnutím k násobnosti přesně komplexní kořeny ( Základní věta algebry ) [11] .
V systému reálných čísel je nemožné vytáhnout kořen sudého stupně ze záporného čísla. Pro komplexní čísla je možné extrahovat odmocninu z libovolného čísla libovolného stupně, ale výsledek je nejednoznačný – komplexní odmocnina tého stupně z nenulového čísla má různé komplexní hodnoty [12] . Viz například kořeny jednoty .
Další rozdíly mají funkce komplexní proměnné .
Číslo není jediné číslo, jehož druhou mocninou je Číslo má také tuto vlastnost.
Výraz dříve často používaný v moderních učebnicích je považován za nesprávný a pod znaménkem radikálu jsou povoleny pouze nezáporné výrazy (viz „ Aritmetický kořen “). Aby se předešlo chybám, výraz s odmocninou záporných hodnot se v současné době zapisuje jako a ne přesto, že ještě v 19. století byla druhá verze zápisu považována za přijatelnou [13] [14] .
Příklad možné chyby při neopatrném použití zastaralého záznamu:
Tato chyba je způsobena tím, že druhá odmocnina z je definována nejednoznačně (viz níže vzorec #De Moivre a extrahování odmocnin ). S moderní notací by tato chyba nenastala [14] :
Komplexní čísla mohou být reprezentována v rovině s pravoúhlým souřadnicovým systémem : číslo odpovídá bodu v rovině se souřadnicemi (stejně jako vektor poloměru spojující počátek s tímto bodem). Taková rovina se nazývá komplexní . Reálná čísla na něm jsou umístěna na vodorovné ose, pomyslnou jednotku představuje jednotka na svislé ose; z tohoto důvodu se horizontální a vertikální osy nazývají reálné a imaginární osy [15] .
V komplexní rovině může být vhodné uvažovat i polární souřadnicový systém (viz obrázek vpravo), ve kterém jsou souřadnice bodu vzdálenost k počátku ( modul ) a úhel vektoru poloměru . bodu s vodorovnou osou ( argument ).
V této reprezentaci součet komplexních čísel odpovídá vektorovému součtu odpovídajících poloměrových vektorů a odečítání čísel odpovídá odečítání poloměrových vektorů. Při násobení komplexních čísel se jejich moduly násobí a argumenty se sčítají (ten lze snadno odvodit z Eulerova vzorce nebo z goniometrických součtových vzorců ). Pokud je modul druhého faktoru roven 1, pak násobení jím odpovídá otočení vektoru poloměru prvního čísla o úhel rovný argumentu druhého čísla [16] . Tato skutečnost vysvětluje rozšířené použití komplexní reprezentace v teorii kmitů , kde se místo termínů „modul“ a „argument“ používají termíny „ amplituda “ a „ fáze “ [17] .
Příklad : Násobení ootočí vektor poloměru čísla o pravý úhel v kladném směru a po vynásobenívektorem poloměru se otočí o pravý úhel v záporném směru.
Modul ( absolutní hodnota ) komplexního čísla je délka vektoru poloměru odpovídajícího bodu komplexní roviny (nebo ekvivalentně vzdálenost od bodu komplexní roviny k počátku). Modul komplexního čísla se označuje (někdy nebo ) a je určen výrazem [16]
Jestliže je reálné číslo , pak se shoduje s absolutní hodnotou tohoto čísla ve skutečném smyslu slova.
Pro jakýkoli complex platí následující vlastnosti modulu [16] [18] :
1) a pouze pro 2) ( trojúhelníková nerovnost ); 3) čtyři) 5) pro dvojici komplexních čísel a modul jejich rozdílu je roven vzdálenosti mezi odpovídajícími body komplexní roviny; 6) modul čísla je vztažen k reálné a imaginární části tohoto čísla vztahy:Argumentem nenulového komplexního čísla je úhel mezi vektorem poloměru odpovídajícího bodu a kladnou skutečnou poloosou. Argument číslo se měří v radiánech a označuje se . Z této definice vyplývá, že [16]
Pro komplexní nulu není hodnota argumentu definována, pro nenulové číslo je argument definován až , kde je libovolné celé číslo. Hlavní hodnota argumentu je taková hodnota , kterou lze označit jako hlavní [19] .
Některé vlastnosti argumentu [18] :
1) argument opačného čísla se znaménkem liší od argumentu původního: 2) argument součinu se rovná součtu argumentů faktorů: 3) argument podílu z dělení se rovná rozdílu mezi argumenty dividendy a dělitele:Pokud je komplexní číslo rovno, pak se toto číslo nazývá konjugované (nebo komplexně sdružené) s (také označované ). Na komplexní rovině jsou sdružená čísla získána od sebe navzájem zrcadlovým odrazem kolem reálné osy. Modul konjugovaného čísla je stejný jako původní a jejich argumenty se liší znaménkem [20] :
Na přechod ke konjugátu lze pohlížet jako na jednomístnou operaci , která zachovává všechny aritmetické a algebraické vlastnosti. Tato operace má následující vlastnosti [20] :
Součin komplexně sdružených čísel je nezáporné reálné číslo, které se rovná nule pouze pro nulu z [18] :
Součet komplexně konjugovaných čísel je reálné číslo [18] :
Jiné poměry [18] :
Nebo v obecném tvaru: kde je libovolný polynom s reálnými koeficienty. Konkrétně, je-li komplexní číslo kořenem polynomu s reálnými koeficienty, pak sdružené číslo je také jeho kořenem. Z toho vyplývá, že v podstatě složité kořeny takového polynomu (tedy kořeny, které nejsou reálné) se rozloží na komplexně konjugované páry [18] .
PříkladSkutečnost, že součin je reálné číslo, lze využít k vyjádření komplexního zlomku v kanonické podobě, tedy k zbavení se pomyslného jmenovatele. Chcete-li to provést, vynásobte čitatel a jmenovatel výrazem spojeným se jmenovatelem [21] , například:
Výše jsme použili zápis komplexního čísla ve formě , kdy se takový zápis nazývá algebraická forma komplexního čísla. Další dvě hlavní formy zápisu jsou spojeny s reprezentací komplexního čísla v polárním souřadnicovém systému .
Pokud jsou reálné a imaginární části komplexního čísla vyjádřeny pomocí modulu a argumentu (tj . , , ), pak každé komplexní číslo , kromě nuly, lze zapsat v trigonometrickém tvaru [16] :
Jak bylo uvedeno výše, nula nemá žádný argument; pro nenulové číslo se určuje až celočíselný násobek
Eulerův vzorec [21] má zásadní význam pro komplexní analýzu :
kde je Eulerovo číslo , , je kosinus a sinus , je komplexní exponent , pokračuje skutečným v případě běžného komplexního exponentu.
Aplikováním tohoto vzorce na goniometrický tvar získáme exponenciální tvar komplexního čísla [21] :
Důsledky
(1) Modul výrazu , kde je číslo reálné, je 1. (2) — s v podstatě komplexním argumentem mohou tyto rovnosti sloužit jako definice (komplexního) kosinusu a sinusu .Příklad [22] . Představme číslo v goniometrickém a exponenciálním tvaru
(protože je v souřadnicovém čtvrtletí III).Odtud:
Tento vzorec pomáhá umocnit nenulové komplexní číslo reprezentované v goniometrickém tvaru na celočíselnou mocninu. De Moivreův vzorec má tvar [12] :
kde je modul a je argument komplexního čísla. V moderní symbolice ji vydal Euler v roce 1722. Výše uvedený vzorec je platný pro jakékoli celé číslo , nemusí být nutně kladné.
Podobný vzorec platí také při výpočtu kořenů tého stupně z nenulového komplexního čísla [21] :
kde k přebírá všechny celočíselné hodnoty od do . To znamená, že odmocniny nenulového komplexního čísla existují pro libovolné přirozené číslo a jejich počet je roven . V komplexní rovině, jak je vidět ze vzorce, jsou všechny tyto kořeny vrcholy pravidelného -gonu vepsaného do kruhu o poloměru se středem v počátku (viz obrázek).
Pokud je ve vzorci Moivre zvolena jeho hlavní hodnota jako argument , pak se hodnota odmocniny at nazývá hlavní hodnota odmocniny [23] . Například hlavní hodnota čísla je
Chcete-li extrahovat druhou odmocninu komplexního čísla, můžete toto číslo převést na goniometrický tvar a použít Moivreho vzorec pro Ale existuje také čistě algebraická reprezentace dvou odmocnin. Když kořeny čísla jsou dvojice čísel: kde [24] :
Zde je funkce "znak" a radikály označují obvyklý aritmetický kořen nezáporného reálného čísla. Vzorec lze snadno ověřit pomocí kvadratury. Číslo je hlavní hodnotou odmocniny.
Příklad : pro druhou odmocninuvzorce jsou uvedeny dvě hodnoty:
Zdá se, že poprvé byly imaginární veličiny zmíněny v díle Cardana „Velké umění, nebo o algebraických pravidlech“ (1545), jako součást formálního řešení problému výpočtu dvou čísel, jejichž součet se rovná na 10 a součin je roven 40. Pro tyto úlohy dostal kvadratickou rovnici, jejíž kořeny jsou: a V komentáři k řešení napsal: „tyto nejsložitější veličiny jsou zbytečné, i když velmi důmyslné“, a „aritmetické úvahy se stávají stále obtížnějšími a dosahují limitu tak rafinovaného jako zbytečného“ [25] .
Možnost využití imaginárních veličin při řešení kubické rovnice poprvé popsal Bombelli (1572), dal také pravidla pro sčítání, odčítání, násobení a dělení komplexních čísel. Rovnice má skutečný kořen , ale podle Cardanových vzorců dostáváme: Bombelli zjistil, že součet těchto veličin tedy dává požadovaný skutečný kořen. Poznamenal, že v takových ( neredukovatelných ) případech jsou komplexní kořeny rovnice vždy konjugované, takže součet je skutečná hodnota. Bombelliho vysvětlení položilo základ pro úspěšnou aplikaci komplexních čísel v matematice [26] [25] .
Výrazy, které lze reprezentovat jako objevující se při řešení kvadratických a kubických rovnic, kde se jim v 16.-17. století začalo říkat „imaginární“ na návrh Descarta , který je tak nazýval, odmítaje jejich realitu. Pro mnoho dalších významných vědců 17. století se povaha a právo na existenci imaginárních veličin také zdály velmi pochybné. Leibniz například v roce 1702 napsal: „Duch Boží našel nejjemnější výstup v tomto zázraku analýzy, podivín ze světa idejí, duální esence, nacházející se mezi bytím a nebytím, kterou nazýváme pomyslným kořenem. záporné jednotky." Přes tyto pochybnosti matematici sebevědomě aplikovali na „imaginární“ čísla obvyklá algebraická pravidla pro reálné veličiny a získali správné výsledky [25] .
Dlouho nebylo jasné, zda všechny operace s komplexními čísly vedou ke komplexním výsledkům, nebo zda například vyjmutí kořene může vést k objevu nějakého jiného nového typu čísla. Problém vyjádření kořenů daného čísla vyřešili Moivre (1707) a Cotes (1722) [27] .
Symbol pro imaginární jednotku navrhl Euler (1777, publ. 1794), který pro to převzal první písmeno latinského slova imaginarius - „imaginární“. Také rozšířil všechny standardní funkce, včetně logaritmu , na komplexní doménu. Euler také vyjádřil v roce 1751 myšlenku, že v systému komplexních čísel má každý polynom kořen ( základní věta algebry , před Eulerem podobné předpoklady dělali Albert Girard a René Descartes ) [28] . d'Alembert (1747) dospěl ke stejnému závěru , ale první rigorózní důkaz této skutečnosti patří Gaussovi (1799) [26] . Gauss a zavedl termín „komplexní číslo“ do širokého použití v roce 1831 (dříve tento termín používal ve stejném smyslu francouzský matematik Lazar Carnot v roce 1803, ale poté si nezískal popularitu) [29] .
Geometrická reprezentace komplexních čísel, která velkou měrou přispěla k jejich legalizaci, byla navržena na konci 18. a začátku 19. století nejprve Wesselem a Arganem (jejich práce nevzbudily pozornost) a poté Gaussem [30]. . Aritmetický (standardní) model komplexních čísel jako párů reálných čísel sestrojil Hamilton (The Theory of Algebraic Pairs, 1837); to prokázalo konzistenci jejich vlastností. Termíny „modul“, „argument“ a „konjugované číslo“ zavedl na začátku 19. století Cauchy , který významně pokročil v komplexní analýze . Od 19. století začal rychlý a mimořádně plodný rozvoj výzkumu funkcí komplexní proměnné. [2] [31] .
Vzhledem k tomuto úspěšnému přístupu začalo hledání způsobu, jak reprezentovat vektory v trojrozměrném prostoru , podobném komplexní rovině. Jako výsledek patnácti roků hledání , Hamilton navrhl v 1843 zobecnění komplexních čísel - quaternions , který on byl nucený dělat ne trojrozměrný, ale čtyřrozměrný (trojrozměrné vektory líčily imaginární část čtveřice); Hamilton také musel opustit komutativitu operace násobení [2] .
V roce 1893 Charles Steinmetz navrhl používat komplexní čísla k výpočtu střídavých elektrických obvodů (viz níže ).
Komplexní funkce jedné proměnné je funkce , která je definována na nějaké oblasti komplexní roviny a přiřazuje komplexní hodnoty bodům této oblasti [32] . Příklady:
Každou komplexní funkci lze považovat za dvojici reálných funkcí dvou proměnných: definujících její reálnou a imaginární část. Funkce , se nazývají komponenty komplexní funkce Podobně je definována funkce více komplexních proměnných [32] .
Vizuální reprezentace komplexní funkce grafem je obtížná, protože i pro funkci jedné komplexní proměnné potřebuje graf čtyři rozměry (dva pro definiční obor a dva další pro rozsah hodnot). Pokud místo hodnoty funkce uvažujeme její modul, pak je výsledný reliéf funkce umístěn ve třech rozměrech a dává určitou představu o chování funkce [33] .
Všechny standardní analytické funkce - polynom , lineární zlomková funkce , mocninná funkce , exponenciální , goniometrické funkce , inverzní goniometrické funkce , logaritmus - lze rozšířit do komplexní roviny. V tomto případě pro ně budou platit stejné algebraické, diferenciální a jiné identity jako pro skutečný originál [32] , například:
Pro komplexní funkce jsou pojmy limita , spojitost a derivace definovány stejným způsobem jako v reálné analýze, přičemž absolutní hodnota je nahrazena komplexním modulem [32] .
Diferencovatelné komplexní funkce (tedy funkce, které mají derivaci) mají oproti reálným řadu vlastností [34] .
Určitý integrál pro funkce jedné komplexní proměnné, obecně řečeno, závisí na integrační cestě (tj. volbě křivky od počátečního bodu ke koncovému bodu v komplexní rovině). Pokud je však integrovatelná funkce analytická v jednoduše spojené oblasti , pak její integrál v této oblasti nezávisí na cestě [35] .
Jakoukoli komplexní funkci lze považovat za transformaci komplexní roviny (nebo za transformaci jedné komplexní roviny do jiné). Příklady:
Protože jakýkoli pohyb po rovině je kombinací výše uvedených tří transformací, funkce a dávají obecný výraz pro pohyb po komplexní rovině [36] .
Další lineární transformace [36] :
Důležitou roli v komplexní analýze hrají lineárně-frakční transformace [37] :
V tomto případě (jinak funkce degeneruje do konstanty). Charakteristická vlastnost lineárně zlomkové transformace: převádí kružnice a přímky na kružnice a přímky (tedy na tzv. zobecněné kružnice [38] [39] , mezi které patří „kruhy o nekonečném poloměru“ - přímky ). V tomto případě se obraz kruhu může ukázat jako přímka a naopak [37] .
Mezi další prakticky užitečné transformační funkce patří: inverze Žukovského funkce . Inverze, stejně jako lineárně-zlomková transformace, převádí zobecněné kružnice na zobecněné kružnice.
Studium rovinných obrazců je často usnadněno, pokud jsou přeneseny do komplexní roviny. Mnoho teorémů planimetrie umožňuje jasný a kompaktní zápis pomocí komplexních čísel, například [40] :
Parametrická rovnice přímky na komplexní rovině má tvar [42] :
kde jsou komplexní čísla, je libovolný reálný parametr.Úhel mezi dvěma přímkami a je Zejména přímky jsou kolmé pouze tehdy, když je čistě imaginární číslo. Dvě přímky jsou rovnoběžné právě tehdy, když existuje reálné číslo; pokud je také skutečný, pak se obě linie shodují. Každá přímka rozděluje komplexní rovinu na dvě poloroviny: na jedné z nich je výraz kladný, na druhé záporný [42] .
Rovnice kruhu se středem a poloměrem má extrémně jednoduchý tvar: Nerovnice popisuje vnitřek kruhu ( otevřený kruh) [42] . Parametrický tvar kruhové rovnice je často výhodný [43] :
Množina komplexních čísel tvoří těleso , které je konečným rozšířením oboru reálných čísel stupně 2. Hlavní algebraickou vlastností je, že je algebraicky uzavřený , to znamená, že každý polynom v něm má (komplexní) kořeny, a proto , se rozkládá na lineární faktory. Také se říká, že existuje algebraické uzavření [44] pole
Charakteristika komplexního tělesa je nulová, mocnina jako množina je stejná jako u tělesa reálných čísel, tedy kontinua . Frobeniův teorém stanovil, že existují pouze dvě šikmá pole , která jsou konečnými rozšířeními – pole komplexních čísel a šikmé pole čtveřic [45] .
Není možné přeměnit pole komplexních čísel na uspořádané pole , protože v uspořádaném poli je druhá mocnina libovolného prvku nezáporná a imaginární jednotka v něm nemůže existovat.
Z vlastností modulu vyplývá, že komplexní čísla tvoří strukturu dvourozměrného normovaného prostoru nad polem
Pole připouští nekonečně mnoho automorfismů , ale pouze jeden z nich (nepočítaje identitu) ponechává reálná čísla na místě [46] .
Pole a jsou jedinými připojenými lokálně kompaktními topologickými poli [47] .
Ty vlastnosti komplexních čísel a funkcí, které je odlišují od skutečných, se ukázaly být užitečné a často nepostradatelné v matematice, přírodních vědách a technice.
Samotné aplikace komplexních čísel jsou v matematice prominentní – zejména koncepty algebraických čísel , hledání kořenů polynomů , Galoisova teorie , komplexní analýza atd.
Přenesením geometrického problému z obyčejné roviny do složitého často získáme možnost jeho řešení výrazně zjednodušit [48] [49] .
Mnoho komplexních problémů v teorii čísel (například teorie bikvadratických zbytků ) a skutečné matematické analýze (například výpočet komplexních nebo nesprávných integrálů ) bylo možné vyřešit pouze pomocí nástrojů komplexní analýzy . Mocným nástrojem pro objevy v teorii čísel se ukázala být například Gaussova čísla ve tvaru kde jsou celá čísla [50] . Ke studiu distribuce prvočísel bylo zapotřebí komplexní Riemannovy zeta funkce [51] .
Problémy reálné analýzy jsou často objasněny jejich komplexním zobecněním. Klasickým příkladem je Taylorova expanze
Tato řada konverguje pouze v intervalu , i když body nejsou pro redukovanou funkci speciální . Situace se vyjasní při přechodu na funkci komplexní proměnné , která má dva singulární body: póly Podle toho lze tuto funkci rozšířit do řady pouze v kružnici o jednotkovém poloměru [52] .
Při řešení lineárních diferenciálních rovnic je důležité nejprve najít všechny komplexní kořeny charakteristického polynomu a poté se pokusit vyřešit systém z hlediska základních exponenciál [53] . V diferenčních rovnicích se pro podobný účel používají komplexní kořeny charakteristické rovnice soustavy diferenčních rovnic [54] . S pomocí teorie reziduí , která je součástí komplexní analýzy, se počítá mnoho komplexních integrálů přes uzavřené obrysy [55] ..
Studium funkce je často spojeno s analýzou jejího frekvenčního spektra pomocí komplexní Fourierovy nebo Laplaceovy transformace [56] .
Reprezentace komplexních čísel v informatice a počítačové podpoře komplexní aritmetiky je popsána v článku Komplexní datový typ .
Jak bylo uvedeno výše, jakoukoli komplexní funkci lze považovat za transformaci jedné komplexní roviny do jiné. Hladká ( analytická ) funkce má dvě vlastnosti: pokud v daném bodě není derivace rovna nule, pak je poměr roztažení/komprese v této transformaci stejný ve všech směrech, úhel natočení je také konstantní ( konformní zobrazení ) [ 57] . Tato skutečnost souvisí s širokým uplatněním komplexních funkcí v kartografii [58] [59] a hydrodynamice [60] .
Základem kvantové mechaniky je koncept komplexní vlnové funkce , k popisu dynamiky kvantového systému se používají diferenciální rovnice s komplexními koeficienty, jako je Schrödingerova rovnice . Řešení těchto rovnic jsou dána v komplexním Hilbert prostoru . Operátory odpovídající pozorovaným veličinám jsou hermitovské . Komutátor operátorů polohy a hybnosti je imaginární číslo [61] :
Zde je redukovaná Planckova konstanta , tj. ( Diracova konstanta ).
Důležitou roli v kvantové mechanice hrají Pauliho matice a Diracovy matice , některé z nich obsahují komplexní hodnoty [61] .
Protože střídavý proud je oscilační proces, je vhodné jej popisovat a studovat pomocí komplexních čísel. Pojmy impedance neboli komplexní odpor jsou také zavedeny pro reaktivní prvky elektrického obvodu, jako je kapacita a indukčnost, což pomáhá vypočítat proudy v obvodu [62] . Vzhledem k tomu, že tradičně symbol v elektrotechnice označuje velikost proudu, označuje se tam imaginární jednotka písmenem [63] . V mnoha oblastech elektrotechniky (hlavně radiofrekvenční a optické) se nepoužívá záznam rovnic proudu a napětí pro obvod, ale přímo Maxwellovy rovnice v jejich spektrálním vyjádření, jejichž fyzikální veličiny jsou dány v komplexní rovině a při přechodu z - do - prostoru (kde - čas , je úhlová frekvence ) pomocí Fourierovy transformace získáme jednodušší rovnice bez derivací [64] .
Rozšíření oboru reálných čísel na komplexní, jako každé jiné rozšíření algebraické struktury, vyvolává mnoho otázek, z nichž hlavní jsou otázky, jak definovat operace na novém typu čísel, jaké vlastnosti budou mít nové operace. , a (hlavní otázka), zda je to přípustné rozšíření, zda povede k neodstranitelným rozporům.
K analýze takových otázek v teorii komplexních čísel je nutné vytvořit soubor axiomů.
Je možné definovat axiomatiku množiny komplexních čísel , pokud se opíráme o axiomatickou teorii reálných čísel . Konkrétně definujeme jako minimální pole obsahující množinu reálných čísel a alespoň jedno číslo, jehož druhá mocnina je −1, imaginární jednotka . Přesněji řečeno, axiomy komplexních čísel jsou následující [65] [66] .
C1 : Pro všechna komplexní čísla je definován jejich součet C2 : Sčítání je komutativní : Dále v některých axiomech pro stručnost vynecháme klauzuli "pro libovolné ". C3 : Sčítání je asociativní : C4 : Existuje prvek 0 (nula) takový, že C5 : Pro každé komplexní číslo existuje opačný prvek takový, že C6 : Pro všechna komplexní čísla je definován jejich součin C7 : Násobení je komutativní : C8 : Násobení je asociativní : C9 : Násobení souvisí se sčítáním podle distributivního (distributivního) zákona: C10 : Existuje prvek 1 (jedna), který se nerovná nule a takový, že C11 : Pro každé nenulové číslo existuje jeho převrácená hodnota taková, že C12 : Množina komplexních čísel obsahuje podpole izomorfní s oborem reálných čísel Pro jednoduchost je toto podpole níže označeno stejným písmenem C13 : Existuje prvek ( pomyslná jednotka ) takový, že C14 ( axiom minimality ): Nechť je podmnožina , která: obsahuje imaginární jednotku a je uzavřená pod sčítáním a násobením. Pak odpovídá všemuVšechny ostatní vlastnosti vyplývají z těchto axiomů. Prvních 11 axiomů znamená, co tvoří pole , a 12. axiom říká, že toto pole je rozšířením .
Existují i jiné verze axiomatiky komplexních čísel. Například místo spoléhání se na již zkonstruované uspořádané pole reálných čísel lze jako základ použít axiomatiku teorie množin [68] .
Standardním způsobem, jak dokázat konzistenci nové struktury, je modelovat ( interpretovat ) její axiomy pomocí objektů jiné struktury, o jejíž konzistenci nelze pochybovat. V našem případě musíme tyto axiomy implementovat na základě reálných čísel [69] .
Standardní modelZvažte všechny možné uspořádané dvojice reálných čísel. V tomto modelu bude každý takový pár odpovídat komplexnímu číslu [70]
Dále definujte [69] :
Vysvětlení: zdánlivě komplikovaná definice násobení je snadno odvozena ze vztahu
Je snadné ověřit, že popsaná struktura dvojic tvoří pole a vyhovuje celému seznamu axiomů komplexních čísel. Reálná čísla jsou modelována ve dvojicích tvořících podpole a operace s takovými dvojicemi jsou v souladu s obvyklým sčítáním a násobením reálných čísel. Páry a odpovídají nule a jednotce pole. Tato metoda je speciálním případem Cayley-Dixonovy procedury .
Imaginární jednotkou je dvojice , jejíž druhá mocnina se rovná , tj. libovolné komplexní číslo lze zapsat jako
Popsaný model dokazuje, že daná axiomatika komplexních čísel je konzistentní. Protože pokud by v tom byl rozpor, pak by to znamenalo rozpor v základní aritmetice reálných čísel pro tento model, o kterém jsme předem předpokládali, že je konzistentní [69] .
Maticový modelKomplexní čísla mohou být také definována jako podkruh kruhu skutečných 2×2 matic formuláře
s obvyklým maticovým sčítáním a násobením [2] . Skutečná jednotka bude odpovídat
pomyslná jednotka -
.Množina takových matic je dvourozměrný vektorový prostor . Násobení komplexním číslem je lineární operátor . V základu je lineární operátor násobení pomocí reprezentován výše uvedenou maticí, protože [2] :
Maticový model usnadňuje demonstraci vztahu mezi komplexními čísly a lineárními transformacemi určitého typu roviny. Konkrétně existuje korespondence jedna ku jedné mezi komplexními čísly a rotačními stejnoměrnostmi roviny ( kombinace rozšíření kolem bodu a rotace ): každá rotační stejnoměrnost může být reprezentována na komplexní rovině jako násobení komplexním číslem [71 ] .
Faktorový prstencový model polynomůUvažujme polynomický okruh s reálnými koeficienty a sestrojíme jeho podílový okruh modulo polynom (nebo, který je stejný, podle ideálu generovaného zadaným polynomem). To znamená, že budeme považovat dva polynomy od za ekvivalentní , pokud po dělení polynomem dávají stejný zbytek. Například polynom bude ekvivalentní konstantě , polynom bude ekvivalentní atd. [72]
Sada tříd ekvivalence tvoří kruh s identitou. Vzhledem k tomu, že polynom je ireducibilní , je tímto faktorem prstenec pole. Roli imaginární jednotky hraje polynom, protože jeho druhá mocnina (viz výše) je ekvivalentní Každá třída ekvivalence obsahuje zbytek tvaru (z dělení ), který lze s ohledem na řečené zapsat as Proto je toto pole izomorfní s polem komplexních čísel [72] .
Tento izomorfismus objevil Cauchy v roce 1847. Tento přístup lze použít ke konstrukci zobecnění komplexních čísel, jako jsou Cliffordovy algebry [73] .
Jak bylo uvedeno výše , obor komplexních čísel je algebraicky uzavřený a má charakteristickou nulu (z poslední vlastnosti vyplývá, že obsahuje podpole racionálních čísel ). Navíc každý základ transcendence nad má mohutnost kontinua [K 3] . Tyto tři vlastnosti postačují k definování oboru komplexních čísel až po izomorfismus pole — mezi jakýmikoli dvěma algebraicky uzavřenými poli charakteristiky 0 se základem transcendence kontinua existuje určitá identifikace konzistentní s operacemi sčítání a násobení těchto polí [74] [75] [K 4] .
Při této identifikaci nemusí být zachovány jiné struktury, jako je norma nebo topologie . Například algebraické uzavření oboru -adických čísel také splňuje tři naznačené vlastnosti. Norma -adic však není archimedovská , a proto není ekvivalentní obvyklé normě komplexních čísel pro jakýkoli výběr izomorfismu [76] . Proto definují odlišnou strukturu topologického vektorového prostoru : množina libovolného prvku vektorového prostoru a jeho integrálních násobností je diskrétní v komplexním případě a kompaktní v -adic [76] .
Nejbližší zobecnění komplexních čísel bylo objeveno v roce 1843. Ukázalo se, že jde o těleso kvaternionů , které na rozdíl od oboru komplexních čísel obsahuje tři imaginární jednotky, tradičně označované Podle Frobeniovy věty jsou komplexní čísla jedním ze tří možných případů algebry konečného dělení přes pole. reálných čísel. V roce 1919 se ukázalo, že jak komplexní čísla z reálů, tak čtveřice z komplexních čísel lze získat jednorozměrnou procedurou zdvojení , známou také jako „ Cayley-Dixonova procedura “ [77] .
Další aplikací tohoto postupu se tvoří čísla popsaná Arthurem Cayleym v roce 1845, před objevením tohoto postupu, a nazývaná „ Cayleyova čísla “ (oktoniony, oktávy). Čísla získaná další aplikací postupu se nazývají sedeniony . Navzdory tomu, že tento postup lze dále opakovat, další počty jmen zatím nemají [77] .
Další typy rozšíření komplexních čísel ( hyperkomplexní čísla ):
Numerické soustavy | |
---|---|
Počitatelné sady |
|
Reálná čísla a jejich rozšíření |
|
Nástroje pro numerické rozšíření | |
Jiné číselné soustavy | |
viz také |
Algebra nad prstenem | |
---|---|
Dimenze – mocnina 2 |
|
viz také |