Améba (matematika)
V matematice , a zejména v komplexní analýze , je améba geometrický útvar spojený s polynomem s několika složitými proměnnými . Améby mají aplikace v algebraické geometrii , zejména v tropické geometrii .
Definice
Nechte funkci
LÓG:(VS∖{0})ne→Rne{\ displaystyle \ mathrm {Log}: \ left ({\ mathbb {C}} \ zpětné lomítko \ {0 \} \ right) ^ {n} \ to \ mathbb {R} ^ {n}}![{\ displaystyle \ mathrm {Log}: \ left ({\ mathbb {C}} \ zpětné lomítko \ {0 \} \ right) ^ {n} \ to \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef23c7df2fe1fcf3b5336a9469daf885519067b7)
definováno na množině všech n -tic nenulových komplexních čísel a s hodnotami v euklidovském prostoru vzorcem
z=(z1,z2,...,zne){\ displaystyle z = (z_ {1}, z_ {2}, \ tečky, z_ {n})}
Rne,{\ displaystyle \ mathbb {R} ^ {n},}![{\ displaystyle \ mathbb {R} ^ {n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7035fcb9fe3ebecc6bc9f372f82d0352202c8bf)
LÓG(z1,z2,...,zne)=(ln|z1|,ln|z2|,...,ln|zne|).{\ displaystyle \ mathrm {Log} (z_ {1}, z_ {2}, \ tečky, z_ {n}) = (\ ln | z_ {1} |, \ ln | z_ {2} |, \ tečky, \ ln | z_ {n} |). \,}![{\ displaystyle \ mathrm {Log} (z_ {1}, z_ {2}, \ tečky, z_ {n}) = (\ ln | z_ {1} |, \ ln | z_ {2} |, \ tečky, \ ln | z_ {n} |). \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6755d9e9007e574b3f1846a8e4d573bd24fa839)
(kde ln označuje přirozený logaritmus ). Pokud je p ( z ) polynom v komplexních proměnných, jeho améba je definována jako obraz množiny nul v p pomocí funkce Log, to znamená, že:
ne{\ displaystyle n}
NAp{\ displaystyle {\ mathcal {A}} _ {p}}![{\ displaystyle {\ mathcal {A}} _ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3b04b19b79c4117dfb80d999ad3870f21687d87)
NAp={LÓG(z):z∈(VS∖{0})ne,p(z)=0}.{\ displaystyle {\ mathcal {A}} _ {p} = \ left \ {\ mathrm {Log} (z) \ ,: \, z \ in \ left ({\ mathbb {C}} \ zpětné lomítko \ {0 \} \ vpravo) ^ {n}, p (z) = 0 \ vpravo \}. \,}![{\ displaystyle {\ mathcal {A}} _ {p} = \ left \ {\ mathrm {Log} (z) \ ,: \, z \ in \ left ({\ mathbb {C}} \ zpětné lomítko \ {0 \} \ vpravo) ^ {n}, p (z) = 0 \ vpravo \}. \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea01a645d07a875c9a8947b972e5e457d183720a)
Améby byly definovány v roce 1994 v knize Israel Gelfand , AV Kapranov a Andrei Zelevinsky (in) .
Vlastnosti
- Každá améba je uzavřený celek ;
- Každý připojený komponent na komplementu je konvexní ;Rne∖NAp{\ displaystyle \ mathbb {R} ^ {n} \ zpětné lomítko {\ mathcal {A}} _ {p}}
![{\ displaystyle \ mathbb {R} ^ {n} \ zpětné lomítko {\ mathcal {A}} _ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/742a3c5f3ffe6a4a5546b0757ba6f7ba85ff75b2)
- Oblast améby polynomu se dvěma proměnnými je konečná;
- Améba v dimenzi 2 má nekonečně dlouhá „chapadla“, přibližující se exponenciálně rychle k asymptotickým liniím .
Ronkinova funkce
Funkce Ronkin , spojené s polynomem p ( z = ( z 1 , ..., z n )), (v n komplexní proměnné), jde z k , a je definován
Rne{\ displaystyle \ mathbb {R} ^ {n}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
NEp(X)=1(2πi)ne∫LÓG-1(X)ln|p(z)|dz1z1∧dz2z2∧⋯∧dznezne,{\ displaystyle N_ {p} (x) = {\ frac {1} {(2 \ pi i) ^ {n}}} \ int _ {\ mathrm {Log} ^ {- 1} (x)} \ ln | p (z) | \, {\ frac {dz_ {1}} {z_ {1}}} \ klín {\ frac {dz_ {2}} {z_ {2}}} \ klín \ cdots \ klín {\ 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}}} \ klín {\ frac {dz_ {2}} {z_ {2}}} \ klín \ cdots \ klín {\ frac {dz_ {n}} {z_ {n}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e579d18f9297124b599a51d4fb95e85e09d3eab)
kde je vektor , který je ekvivalentní s
X{\ displaystyle x}
X=(X1,X2,...,Xne){\ displaystyle x = (x_ {1}, x_ {2}, \ dots, x_ {n})}![{\ displaystyle x = (x_ {1}, x_ {2}, \ dots, x_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d750ee2fffa2be890b9626b672037f0104cfe7a)
NEp(X)=1(2π)ne∫[0,2π]neln|p(z)|dθ1dθ2⋯dθne,{\ 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)
kde .
z=(EX1+iθ1,EX2+iθ2,...,EXne+iθne){\ displaystyle z = \ left (e ^ {x_ {1} + i \ theta _ {1}}, e ^ {x_ {2} + i \ theta _ {2}}, \ dots, e ^ {x_ { n} + i \ theta _ {n}} \ vpravo)}![{\ displaystyle z = \ left (e ^ {x_ {1} + i \ theta _ {1}}, e ^ {x_ {2} + i \ theta _ {2}}, \ dots, e ^ {x_ { n} + i \ theta _ {n}} \ vpravo)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb184d340b4524faeb116ff1bf44cc5b0c9eaf3e)
Ronkinova funkce je konvexní a zdokonaluje se nad každou spojenou složkou doplňku améby .
p(z){\ displaystyle p (z)}![p (z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/601d64b4ef16c5669c6c083c2998e53a6ec9c9d1)
Například, funkce Ronkin z monomial , s , je
p(z)=naz1k1z2k2...znekne{\ displaystyle p (z) = az_ {1} ^ {k_ {1}} z_ {2} ^ {k_ {2}} \ tečky z_ {n} ^ {k_ {n}}}
na≠0{\ displaystyle a \ neq 0}![{\ displaystyle a \ neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
NEp(X)=log|na|+k1X1+k2X2+⋯+kneXne.{\ 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)
Kostra améby
Pokud nahradíme v definici funkce Log přirozený logaritmus logaritmem na základně b a dáme b tendenci k nekonečnu, dokážeme, že améba se smršťuje směrem k množině nul přidružené funkce k p, zatímco zůstává v R n a nahrazení polynomu jeho tropickým analogem , pro který jsou součty monomiálů nahrazeny maximem výrazů formy (tyto výrazy jsou Ronkinovy funkce monomiálů polynomu). Výsledkem je, že tato sada, nazývaná kostra améby, je tvořena přímými částmi.
naXmyne{\ displaystyle ax ^ {m} y ^ {n}}
b+mX+ney{\ displaystyle b + mx + ny}![{\ displaystyle b + mx + ny}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4aba9aa87176e58f69259270834262bff2797f2)
Reference
-
(in) IM Gelfand , MM Kapranov a AV Zelevinsky , diskriminující VÝSLEDKY a multidimenzionální determinanty , Boston, MA, Birkhauser,
1994, 523 s. ( ISBN 0-8176-3660-9 ).
-
Itenberg 2007 , s. 3
-
(in) Martin Guest , UK-Japan 2004 zimní škola Geometrie a analýza Směrem ke kvantové teorii. Přednášky ze školy, University of Durham, Durham, UK, 6. – 9. Ledna 2004 , roč. 30, Jokohama, Keio University, Katedra matematiky,2004, 24–36 s. „Améby složitých křivek a tropických křivek“.
-
Chambert-Loir 2018
Podívejte se také
Související články
Bibliografie
- (en) Ilia Itenberg, Grigory Mikhalkin a Eugenii Shustin , Tropická algebraická geometrie , sv. 35, Basilej, Birkhäuser,2007, 103 s. ( ISBN 978-3-7643-8309-1 , číst online )
- (in) Oleg Viro , „ Co je. . . Améba? ” , Oznámení Americké matematické společnosti , sv. 49, n o 8,2002, str. 916–917 ( číst online )
-
(en) Thorsten Theobald , „ Výpočet améb “ , Exp. Matematika. , sv. 11,2002, str. 513–526 ( DOI 10.1080 / 10586458.2002.10504703 , číst online ).
- Antoine Chambert-Loir , „ Když geometrie stane tropický “, Pour la vědu , n o 492,října 2018, str. 26-33
externí odkazy
Tropická práva , na stránkách Obrazy matematiky .
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">