Polynumerot

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 24. marraskuuta 2017 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .

Polylukujen algebra toteutetaan muodon elementeillä :

jossa  a on joukko generaattoreita, jotka noudattavat seuraavia kertolaskusääntöjä (kertominen on kommutatiivista ja assosiatiivista):

ja itse on seuraava objekti ( suora summa ):

Polynumerot (n-numerot)

On helppo tarkistaa, että kertominen polylukujen algebrassa valitussa kannassa pelkistyy vastaavien komponenttien kertolaskuksi ja jako määritellään vain polyluvuille, joilla on kaikki (tästä syystä polyluvut eivät muodosta lukukenttää ) . Algebrallisella yksiköllä on seuraava esitys valitussa perustassa:

.

Algebrassa on n-1 kompleksista konjugaatiooperaatiota . Yksi niistä voidaan määrittää seuraavalla säännöllä:

joka pelkistyy polyluvun komponenttien sykliseksi permutaatioksi . k - nen kompleksinen konjugaatio voidaan määritellä kaavalla :

(  - kertaa)

Se on selvää

Harkitse muodon polylukua

(yksi)

missä .

On helppo tarkistaa, että se on totta siinä mielessä

missä .

Lukua kutsutaan polyluvun (quasi)normiksi . Kvasinormi ilmaistaan ​​polyluvun koordinaatteina kaavalla :

, (2)

missä  on n-muoto

, (3)

 on symmetrisointioperaattori. Tämä lomake on (Finsler) metriikka Berwald-Moor-avaruuksissa . Kaavat (1)-(3) selventävät polylukualgebran ja Berwald-Moor-avaruuksien välistä yhteyttä: metrisen n-muodon (3) indusoi todellinen algebrallinen muoto , joka on euklidisen neliulotteisen muodon moniulotteinen analogi . monimutkainen taso .

Analogisesti kompleksisen bilineaarisen muodon kanssa:

,

jossa , voimme harkita n - lineaarista muotoa

(neljä)

Tässä summaus suoritetaan kaikkien elementtien permutaatioiden joukolle . Viimeinen yhtäläisyysmerkki kohdassa (4) (se määritetään suoralla todennuksella) paljastaa myös geneettisen yhteyden polylukujen algebroiden ja vastaavien Berwald-Moor-avaruuksien geometrioiden välillä.

Yllä kuvattu polylukualgebra voidaan osoittaa olevan reaalilukualgebran esiintymien suora summa . Kaikista assosiatiivis-kommutatiivisista algebroista se on tietyssä mielessä maksimaalisesti symmetrinen (sisältää hyperbolisia imaginaariyksiköitä). Yleisempi konstruktio on polylukualgebra , joka on suora summa reaalilukujen algebran ja kompleksilukujen algebran ilmentymistä [1] .

Muistiinpanot

  1. G. I. Garasko, Finsler-geometrian perusteet fyysikoille, M.: Tetru, 2009.

Kirjallisuus