Číslo hyperkomplexu

V matematice se termín hyperkomplexní číslo používá k označení prvků algebry, které jsou rozšířené nebo jdou nad rámec aritmetiky komplexních čísel . Čísla v hyperkomplexu měla velký počet příznivců, včetně Hermanna Hankela , Georga Frobeniuse , Eduard Study a Élie Cartana . Studium konkrétních hyperkomplexních systémů vede k jejich reprezentaci pomocí lineární algebry .

Čísla hyperkomplexů se používají v kvantové fyzice k výpočtu pravděpodobnosti události s přihlédnutím k rotaci částice. Při zanedbání rotace postačuje „normální“ komplexní číslo .

Tento článek poskytuje přehled různých systémů, včetně některých typů, které průkopníci před moderním vnímáním z lineární algebry neuvažovali. Podrobnosti, odkazy a zdroje najdete na odkazu spojeném s konkrétním číslem.

Nejběžnější použití termínu hyperkomplexní číslo pravděpodobně odkazuje na algebraické systémy s „dimenzionálností“ (osami), jako jsou ty, které jsou obsaženy v následujícím seznamu. Pro ostatní (stejně jako počty transfinite jsou čísla superréels na čísla hyperreal , podle čísla surrealistické ), viz „  číslo  “.

Distribuční čísla se skutečnou osou n nereálnými osami

Přístupnou a moderní definici čísla hyperkomplexu uvádějí Kantor a Solodovnikov (viz úplný odkaz níže). Jsou to prvky skutečné jednotné algebry (ne nutně asociativní ) dimenze n + 1> 0.

Z geometrického hlediska proto tato algebra obsahuje skutečnou osu a alespoň jednu nerealistickou osu. Jeho prvky jsou lineární kombinace , s reálnými koeficienty , z kanonického základu ( ).

Pokud je to možné, základna jako . Algebry níže mohou mít všechny takový základ.

Quaternion, octonion a další: stavba Cayley-Dickson

Tyto čísla hyperkomplexní se získají zobecnit další výstavbu komplexních čísel z reálných čísel podle konstrukce Cayley-Dickson .

To umožňuje rozšířit komplexní čísla do algeber dimenze ( ). Nejznámější jsou algebra čtveřic (dimenze 4), algebra oktonionů (dimenze 8) a sedenionů (dimenze 16).

Zvýšení rozměru představí algebraické komplikace: násobení čtveřic není komutativní , znásobením octonions je navíc non- asociativní a normou na sedenions není multiplikativní .

V definici Kantora a Solodovnikova tato čísla odpovídají antikomutativním základům typu (s ).

Vzhledem k tomu, že čtveřice a oktoniony nabízejí podobnou (multiplikativní) normu délkám čtyř- a osmrozměrných euklidovských vektorových prostorů , mohou být spojeny s body v některých euklidovských prostorech vyšších dimenzí. Na druhé straně mimo octoniony se tato analogie rozpadá, protože tyto konstrukce již nejsou standardizovány.

Můžeme vytvořit nekonečno algeber stejného typu aplikací konstrukce Cayley - Dickson na algebru nižšího řádu. Je třeba poznamenat některé zajímavé vlastnosti:

ne 2 n příjmení omezit
0 1 nemovitý -
1 2 komplex ztráta srovnání
2 4 čtveřice ztráta komutativity
3 8 octonions ztráta asociativity
4 16 sedimenty ztráta alternativity a integrity
n> 4 stejné vlastnosti jako sedimenty

Po oktonionech obsahují algebry dělitele nuly ( x · y = 0 již neznamená x = 0 nebo y = 0), což znamená, že jejich násobení již neudržuje normy.

Duální číslo

Tyto duální čísla jsou báze s prvkem nilpotentní .

Byla nasazena komplexní algebra

V nasazené komplexní čísla jsou databází s non-real kořene 1. Obsahují prvky idempotents a nulové dělitele .

Modifikovaná konstrukce Cayley-Dickson vede ke kokaternionům (rozmístěným čtveřicím, tj. Základnám s , ) a rozmístěným oktonionům (tj. Základnám s , ). Coaternions obsahují nilpotentní prvky a mají nekomutativní násobení. Nasazené octoniony jsou také neasociativní.

Všechny nerealistické základny rozmístěných komplexních algeber jsou antimutativní.

Cliffordova algebra

Clifford algebra je jednotná, asociativní algebra přes reálné, komplexní nebo kvaternionové vektorových prostorů s kvadratické formy . Zatímco Cayley-Dickson a složité konstrukce nasazené s osmi nebo více dimenzemi již nejsou asociativní pro násobení, Cliffordovy algebry si zachovávají asociativitu pro jakoukoli dimenzi.

Tessarine, biquaternion a kónický sedenion

Zatímco pro Cayley-Dicksonovy konstrukty, rozšířenou komplexní algebru a Cliffordovu algebru jsou všechny nereálné základy antikomutativní, použití komutativní imaginární báze vede k čtyřrozměrným tessarines a biquaternions .

Tessarines nabízejí komutativní a asociativní násobení, biquaterniony jsou asociativní, ale ne komutativní, a kuželovité sedimenty jsou neasociativní a nekomutativní. Všechny obsahují idempotentní prvky a dělitele nuly, všechny jsou nestandardizované, ale nabízejí multiplikativní modul . Bikvaterniony obsahují nilpotentní prvky.

S výjimkou jejich idempotentních prvků, dělitelé nula a nilpotentní prvků, aritmetický z těchto čísel je uzavřena pro násobení, pro dělení, pro umocňování a logaritmy (viz kónické čtveřice , které jsou izomorfní s tessarines).

Hyperbolický čtveřice Macfarlane

Čtveřice hyperbolické of Alexander Macfarlane  (ne) mají non-asociativní a non-komutativní násobení. Přesto, že poskytují strukturu prstence bohatší než Minkowski prostoru ze speciální relativity . Všechny báze jsou kořeny 1, tedy pro .

Multikomplexní číslo

Tyto čísla multicomplexes jsou algebry pro n komutativních rozměrů vytvořených prvkem , který splňuje . Tyto čísla bicomplexes jsou zvláštní případ, oni jsou isomorphic k tessarines a jsou také obsaženy v definici „čísla hyperkomplexní“ od Kantora a Solodovnikov.

Dějiny

Quaternions vynalezl Ir William Rowan Hamilton v roce 1843 . Hamilton hledal způsoby, jak rozšířit komplexní čísla (která lze považovat za body v rovině) na vyšší dimenze euklidovského prostoru (ℝ n ). Pro dimenzi tři to nedokázal, ale dimenze čtyři vytvořila čtveřice.

Tento objev vedl k upuštění od výlučného používání komutativních zákonů, což je radikální krok vpřed. Tyto vektory a matice bylo stále součástí budoucnosti, ale Hamilton nějak zavedení vektoru produkt a skalární součin vektorů.

Hamilton popsal čtveřici jako kvadruplet reálných čísel, přičemž první prvek je „skalární“ a zbývající tři prvky tvoří „vektor“ nebo „čistě imaginární“.

Na konci roku 1843 , John Graves a Arthur Cayley nezávisle objevili osm trojrozměrný algebry: se octonions . To není asociativní .

Reference

Podívejte se také

Související články

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">