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 “.
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.
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.
Tyto duální čísla jsou báze s prvkem nilpotentní .
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í.
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.
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).
Č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 .
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.
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í .