Amoeba (matematiikka)
On matematiikka , ja erityisemmin monimutkainen analyysi , amoeba on geometrinen kuvio, joka liittyy polynomin useita monimutkaisia muuttujia . Ameballa on sovelluksia algebrallisessa geometriassa , erityisesti trooppisessa geometriassa .
Määritelmä
Anna funktion
Log:(VS∖{0})ei→Rei{\ displaystyle \ mathrm {Loki}: \ vasen ({\ mathbb {C}} \ taaksepäin vinoviiva {0 \} \ oikea) ^ {n} \ - \ mathbb {R} ^ {n}}![{\ displaystyle \ mathrm {Loki}: \ vasen ({\ mathbb {C}} \ taaksepäin vinoviiva {0 \} \ oikea) ^ {n} \ - \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef23c7df2fe1fcf3b5336a9469daf885519067b7)
määritellään joukko kaikki n- tuplat ei-nolla kompleksiluvut, ja arvot Euclidean tilan , jolla on kaava
z=(z1,z2,...,zei){\ displaystyle z = (z_ {1}, z_ {2}, \ pisteitä, z_ {n})}
Rei,{\ displaystyle \ mathbb {R} ^ {n},}![{\ displaystyle \ mathbb {R} ^ {n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7035fcb9fe3ebecc6bc9f372f82d0352202c8bf)
Log(z1,z2,...,zei)=(ln|z1|,ln|z2|,...,ln|zei|).{\ displaystyle \ mathrm {Lokki} (z_ {1}, z_ {2}, \ pisteitä, z_ {n}) = (\ ln | z_ {1} |, \ ln | z_ {2} |, \ pisteitä, \ ln | z_ {n} |). \,}![{\ displaystyle \ mathrm {Lokki} (z_ {1}, z_ {2}, \ pisteitä, z_ {n}) = (\ ln | z_ {1} |, \ ln | z_ {2} |, \ pisteitä, \ ln | z_ {n} |). \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6755d9e9007e574b3f1846a8e4d573bd24fa839)
(missä ln tarkoittaa luonnollista logaritmia ). Jos p ( z ) on polynomi monimutkaisia muuttujia, sen amoeba määritellään kuva on joukko nollia on p funktion Log, toisin sanoen, että:
ei{\ displaystyle n}
ATs{\ displaystyle {\ mathcal {A}} _ {p}}![{\ displaystyle {\ mathcal {A}} _ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3b04b19b79c4117dfb80d999ad3870f21687d87)
ATs={Log(z):z∈(VS∖{0})ei,s(z)=0}.{\ displaystyle {\ mathcal {A}} _ {p} = \ vasen \ {\ mathrm {Log} (z) \ ,:, z \ sisään \ vasen ({\ mathbb {C}} \ käänteinen \ {0 \} \ oikea) ^ {n}, p (z) = 0 \ oikea \}. \,}![{\ displaystyle {\ mathcal {A}} _ {p} = \ vasen \ {\ mathrm {Log} (z) \ ,:, z \ sisään \ vasen ({\ mathbb {C}} \ käänteinen \ {0 \} \ oikea) ^ {n}, p (z) = 0 \ oikea \}. \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea01a645d07a875c9a8947b972e5e457d183720a)
Amoebas määriteltiin vuonna 1994 kirjan Israelin Gelfand , AV Kapranov ja Andrei Zelevinsky (in) .
Ominaisuudet
- Jokainen ameba on suljettu kokonaisuus ;
- Mikä tahansa kytketty komponentti on komplementti on kupera ;Rei∖ATs{\ displaystyle \ mathbb {R} ^ {n} \ taaksepäin viiva {\ mathcal {A}} _ {p}}
![{\ displaystyle \ mathbb {R} ^ {n} \ taaksepäin viiva {\ mathcal {A}} _ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/742a3c5f3ffe6a4a5546b0757ba6f7ba85ff75b2)
- Kahden muuttujan polynomin ameban pinta-ala on rajallinen;
- Dimensiossa 2 olevalla ameballa on äärettömän pitkät "lonkerot", jotka lähestyvät eksponentiaalisesti nopeasti asymptoottisiin linjoihin .
Ronkin-toiminto
Ronkin toiminto , joka liittyy polynomin p ( z = ( z 1 , ..., z n )) (tässä n monimutkaisia muuttujia), kulkee kohti , ja on määritelty
Rei{\ displaystyle \ mathbb {R} ^ {n}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
EIs(x)=1(2πi)ei∫Log-1(x)ln|s(z)|dz1z1∧dz2z2∧⋯∧dzeizei,{\ displaystyle N_ {p} (x) = {\ frac {1} {(2 \ pi i) ^ {n}}} \ int _ {\ mathrm {Log} ^ {- 1} (x)} \ ln | p (z) | \, {\ frac {dz_ {1}} {z_ {1}}} \ wedge {\ frac {dz_ {2}} {z_ {2}}} \ wedge \ cdots \ wedge {\ frac {dz_ {n}} {z_ {n}}},}![{\ displaystyle N_ {p} (x) = {\ frac {1} {(2 \ pi i) ^ {n}}} \ int _ {\ mathrm {Log} ^ {- 1} (x)} \ ln | p (z) | \, {\ frac {dz_ {1}} {z_ {1}}} \ wedge {\ frac {dz_ {2}} {z_ {2}}} \ wedge \ cdots \ wedge {\ frac {dz_ {n}} {z_ {n}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e579d18f9297124b599a51d4fb95e85e09d3eab)
missä on vektori , joka vastaa
x{\ displaystyle x}
x=(x1,x2,...,xei){\ displaystyle x = (x_ {1}, x_ {2}, \ pisteitä, x_ {n})}![{\ displaystyle x = (x_ {1}, x_ {2}, \ pisteitä, x_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d750ee2fffa2be890b9626b672037f0104cfe7a)
EIs(x)=1(2π)ei∫[0,2π]eiln|s(z)|dθ1dθ2⋯dθei,{\ displaystyle N_ {p} (x) = {\ frac {1} {(2 \ pi) ^ {n}}} \ int _ {[0,2 \ pi] ^ {n}} \ ln | p ( z) | \, d \ theta _ {1} \, d \ theta _ {2} \ cdots d \ theta _ {n},}![{\ displaystyle N_ {p} (x) = {\ frac {1} {(2 \ pi) ^ {n}}} \ int _ {[0,2 \ pi] ^ {n}} \ ln | p ( z) | \, d \ theta _ {1} \, d \ theta _ {2} \ cdots d \ theta _ {n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae01eb433171cf7543a479d77f8dc550fdc4a494)
missä .
z=(ex1+iθ1,ex2+iθ2,...,exei+iθei){\ displaystyle z = \ left (e ^ {x_ {1} + i \ theta _ {1}}, e ^ {x_ {2} + i \ theta _ {2}}, \ pisteitä, e ^ {x_ { n} + i \ theta _ {n}} \ oikea)}![{\ displaystyle z = \ left (e ^ {x_ {1} + i \ theta _ {1}}, e ^ {x_ {2} + i \ theta _ {2}}, \ pisteitä, e ^ {x_ { n} + i \ theta _ {n}} \ oikea)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb184d340b4524faeb116ff1bf44cc5b0c9eaf3e)
Ronkin-funktio on kupera ja tarkentaa amoeba-komplementin jokaista liitettyä komponenttia .
s(z){\ displaystyle p (z)}![p (z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/601d64b4ef16c5669c6c083c2998e53a6ec9c9d1)
Esimerkiksi Ronkin funktio monomi , jossa on
s(z)=kloz1k1z2k2...zeikei{\ displaystyle p (z) = az_ {1} ^ {k_ {1}} z_ {2} ^ {k_ {2}} \ pisteitä z_ {n} ^ {k_ {n}}}
klo≠0{\ displaystyle a \ neq 0}![{\ displaystyle a \ neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
EIs(x)=Hirsi|klo|+k1x1+k2x2+⋯+keixei.{\ displaystyle N_ {p} (x) = \ log | a | + k_ {1} x_ {1} + k_ {2} x_ {2} + \ cdots + k_ {n} x_ {n}. \,}![{\ displaystyle N_ {p} (x) = \ log | a | + k_ {1} x_ {1} + k_ {2} x_ {2} + \ cdots + k_ {n} x_ {n}. \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f10d635ef311f0e6222928af33024004af45d68)
Ameban luuranko
Jos me korvata määrittelyssä funktion Log luonnollisen logaritmin jonka logaritmi pohja b , ja teemme b pyrkivät kohti ääretöntä, osoitamme, että ameeba sopimukset kohti joukko nollia siihen liittyvän toiminnon p jäljellä R n ja korvaamalla polynomi trooppisella analogilla , jolle monomiaalien summat korvataan muodon ilmaisujen maksimilla (nämä lausekkeet ovat polynomin monominaalien Ronkin-funktioita). Tämän seurauksena tämä sarja, jota kutsutaan ameban luurangoksi , muodostuu suorista osista.
kloxmyei{\ displaystyle ax ^ {m} y ^ {n}}
b+mx+eiy{\ displaystyle b + mx + ny}![{\ displaystyle b + mx + ny}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4aba9aa87176e58f69259270834262bff2797f2)
Viitteet
-
(in) IM Gelfand , MM Kapranov ja AV Zelevinsky , diskriminantti JOTKA ja moniulotteinen taustatekijät , Boston, MA, Birkhauser,
1994, 523 Sivumäärä ( ISBN 0-8176-3660-9 ).
-
Itenberg 2007 , s.3
-
(in) Martin Guest , UK-Japani 2004 talvella koulun geometria ja analyysi kohti quantum theory. Luentoselitykset koulusta, University of Durham, Durham, Iso-Britannia, 6. – 9. Tammikuuta 2004 , voi. 30, Yokohama, Keion yliopisto, matematiikan laitos,2004, 24–36 Sivumäärä , "Monimutkaisten ja trooppisten käyrien amoebat".
-
Chambert-Loir 2018
Katso myös
Aiheeseen liittyvät artikkelit
Bibliografia
- (en) Ilia Itenberg, Grigory Mikhalkin ja Eugenii Shustin , Tropical algebraic geometry , voi. 35, Basel, Birkhäuser,2007, 103 Sivumäärä ( ISBN 978-3-7643-8309-1 , lue verkossa )
- (in) Oleg Viro , " Mikä on. . . Amoeba? ” , Notices of the American Mathematical Society , voi. 49, n o 8,2002, s. 916–917 ( lue verkossa )
-
(en) Thorsten Theobald , ” Computing amoebas ” , Exp. Matematiikka. , voi. 11,2002, s. 513–526 ( DOI 10.1080 / 10586458.2002.10504703 , lue verkossa ).
- Antoine Chambert-Loir , ” Kun geometria muuttuu trooppinen ” Pour la Science , n o 492,lokakuu 2018, s. 26-33
Ulkoiset linkit
Trooppiset oikeudet , sivustolla Images of Mathematics .
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">